{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:2WOFRCV6D6UIKLHJMJWQSGPEAJ","short_pith_number":"pith:2WOFRCV6","canonical_record":{"source":{"id":"1006.0744","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-06-03T21:14:00Z","cross_cats_sorted":["cs.CC","cs.DM"],"title_canon_sha256":"b294cf007c8d215ea5ada2ffcdc3474b369dbd10e4745a40b13752c4037a9d75","abstract_canon_sha256":"786c8d220b72edf3d19cf2e9367eb26d49b0bd4fff1d5f63799173761d0df69c"},"schema_version":"1.0"},"canonical_sha256":"d59c588abe1fa8852ce9626d0919e4026b7b5c3b0fa1ab7c9ff5d65b251b244c","source":{"kind":"arxiv","id":"1006.0744","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1006.0744","created_at":"2026-05-18T01:16:37Z"},{"alias_kind":"arxiv_version","alias_value":"1006.0744v3","created_at":"2026-05-18T01:16:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1006.0744","created_at":"2026-05-18T01:16:37Z"},{"alias_kind":"pith_short_12","alias_value":"2WOFRCV6D6UI","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"2WOFRCV6D6UIKLHJ","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"2WOFRCV6","created_at":"2026-05-18T12:26:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:2WOFRCV6D6UIKLHJMJWQSGPEAJ","target":"record","payload":{"canonical_record":{"source":{"id":"1006.0744","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-06-03T21:14:00Z","cross_cats_sorted":["cs.CC","cs.DM"],"title_canon_sha256":"b294cf007c8d215ea5ada2ffcdc3474b369dbd10e4745a40b13752c4037a9d75","abstract_canon_sha256":"786c8d220b72edf3d19cf2e9367eb26d49b0bd4fff1d5f63799173761d0df69c"},"schema_version":"1.0"},"canonical_sha256":"d59c588abe1fa8852ce9626d0919e4026b7b5c3b0fa1ab7c9ff5d65b251b244c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:37.799054Z","signature_b64":"F35iTaDAZY/CMcnzNS4mXt4pPND4ta8wQ9wsiPRqz0GfziprVmEKJ6W6U7FYYRAuzXJtDQwKNVzNe95HY5daBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d59c588abe1fa8852ce9626d0919e4026b7b5c3b0fa1ab7c9ff5d65b251b244c","last_reissued_at":"2026-05-18T01:16:37.798372Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:37.798372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1006.0744","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:16:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kl0tSxe6uC/a/lWoVzmm8VwslKzb0BZO0xCqIOUHUEKwvF5NqsGI8EbU/TrP3vcllPVmIYVcUz5QoLgDIUPbAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T09:04:22.281398Z"},"content_sha256":"fb48f7e560c32d1fb4f604027d8cb917a6c4e95179caba60ddbee6436e7e8d14","schema_version":"1.0","event_id":"sha256:fb48f7e560c32d1fb4f604027d8cb917a6c4e95179caba60ddbee6436e7e8d14"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:2WOFRCV6D6UIKLHJMJWQSGPEAJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Local Lemma is asymptotically tight for SAT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.DM"],"primary_cat":"math.CO","authors_text":"Gabor Tardos, Heidi Gebauer, Tibor Szabo","submitted_at":"2010-06-03T21:14:00Z","abstract_excerpt":"The Local Lemma is a fundamental tool of probabilistic combinatorics and theoretical computer science, yet there are hardly any natural problems known where it provides an asymptotically tight answer. The main theme of our paper is to identify several of these problems, among them a couple of widely studied extremal functions related to certain restricted versions of the k-SAT problem, where the Local Lemma does give essentially optimal answers.\n  As our main contribution, we construct unsatisfiable k-CNF formulas where every clause has k distinct literals and every variable appears in at most"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1006.0744","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:16:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6fhoRafWbJH21ovOknbn0R8UqN4rGUOQCTBT8gDmnlCdLSMyfTJHiTaGeP2EiC5+m1/SJMmFrndmyisA1142DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T09:04:22.281824Z"},"content_sha256":"c6691474c2c9ab7277f135361e4a119922d218b480073707a17f5022291ebb8a","schema_version":"1.0","event_id":"sha256:c6691474c2c9ab7277f135361e4a119922d218b480073707a17f5022291ebb8a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2WOFRCV6D6UIKLHJMJWQSGPEAJ/bundle.json","state_url":"https://pith.science/pith/2WOFRCV6D6UIKLHJMJWQSGPEAJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2WOFRCV6D6UIKLHJMJWQSGPEAJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T09:04:22Z","links":{"resolver":"https://pith.science/pith/2WOFRCV6D6UIKLHJMJWQSGPEAJ","bundle":"https://pith.science/pith/2WOFRCV6D6UIKLHJMJWQSGPEAJ/bundle.json","state":"https://pith.science/pith/2WOFRCV6D6UIKLHJMJWQSGPEAJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2WOFRCV6D6UIKLHJMJWQSGPEAJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:2WOFRCV6D6UIKLHJMJWQSGPEAJ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"786c8d220b72edf3d19cf2e9367eb26d49b0bd4fff1d5f63799173761d0df69c","cross_cats_sorted":["cs.CC","cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-06-03T21:14:00Z","title_canon_sha256":"b294cf007c8d215ea5ada2ffcdc3474b369dbd10e4745a40b13752c4037a9d75"},"schema_version":"1.0","source":{"id":"1006.0744","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1006.0744","created_at":"2026-05-18T01:16:37Z"},{"alias_kind":"arxiv_version","alias_value":"1006.0744v3","created_at":"2026-05-18T01:16:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1006.0744","created_at":"2026-05-18T01:16:37Z"},{"alias_kind":"pith_short_12","alias_value":"2WOFRCV6D6UI","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"2WOFRCV6D6UIKLHJ","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"2WOFRCV6","created_at":"2026-05-18T12:26:03Z"}],"graph_snapshots":[{"event_id":"sha256:c6691474c2c9ab7277f135361e4a119922d218b480073707a17f5022291ebb8a","target":"graph","created_at":"2026-05-18T01:16:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The Local Lemma is a fundamental tool of probabilistic combinatorics and theoretical computer science, yet there are hardly any natural problems known where it provides an asymptotically tight answer. The main theme of our paper is to identify several of these problems, among them a couple of widely studied extremal functions related to certain restricted versions of the k-SAT problem, where the Local Lemma does give essentially optimal answers.\n  As our main contribution, we construct unsatisfiable k-CNF formulas where every clause has k distinct literals and every variable appears in at most","authors_text":"Gabor Tardos, Heidi Gebauer, Tibor Szabo","cross_cats":["cs.CC","cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-06-03T21:14:00Z","title":"The Local Lemma is asymptotically tight for SAT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1006.0744","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:fb48f7e560c32d1fb4f604027d8cb917a6c4e95179caba60ddbee6436e7e8d14","target":"record","created_at":"2026-05-18T01:16:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"786c8d220b72edf3d19cf2e9367eb26d49b0bd4fff1d5f63799173761d0df69c","cross_cats_sorted":["cs.CC","cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-06-03T21:14:00Z","title_canon_sha256":"b294cf007c8d215ea5ada2ffcdc3474b369dbd10e4745a40b13752c4037a9d75"},"schema_version":"1.0","source":{"id":"1006.0744","kind":"arxiv","version":3}},"canonical_sha256":"d59c588abe1fa8852ce9626d0919e4026b7b5c3b0fa1ab7c9ff5d65b251b244c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d59c588abe1fa8852ce9626d0919e4026b7b5c3b0fa1ab7c9ff5d65b251b244c","first_computed_at":"2026-05-18T01:16:37.798372Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:37.798372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F35iTaDAZY/CMcnzNS4mXt4pPND4ta8wQ9wsiPRqz0GfziprVmEKJ6W6U7FYYRAuzXJtDQwKNVzNe95HY5daBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:37.799054Z","signed_message":"canonical_sha256_bytes"},"source_id":"1006.0744","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fb48f7e560c32d1fb4f604027d8cb917a6c4e95179caba60ddbee6436e7e8d14","sha256:c6691474c2c9ab7277f135361e4a119922d218b480073707a17f5022291ebb8a"],"state_sha256":"2909c68c58d05811f3ce81a0a64ea2cf126871cde32fe6e77310458d04805212"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1B6iz3H2kwGXGoYhztcsuwX/BigYxvLacNuXz+3f47xa76ewYUsYL1QlnQEY2n8+l1fANze/QCFCKyl/qv/6BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T09:04:22.284076Z","bundle_sha256":"d0c8daf6b133edc806667fd4522f667125cd01e76d49d6ef228ba4bd56fd8206"}}