{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7RMF57B3ECXHWOHTNINELWKWUY","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":"b99241f438eb6f87ab9de34f70468a8bea7f0f8f8ee5d21bbdfa5f2df64fa6e1","cross_cats_sorted":["cs.DC","math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2025-02-17T11:28:55Z","title_canon_sha256":"8d35cfe486744bc45718d2164c6c399d77079395d08bcaf7525207d8895030b3"},"schema_version":"1.0","source":{"id":"2502.11690","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.11690","created_at":"2026-07-05T10:15:32Z"},{"alias_kind":"arxiv_version","alias_value":"2502.11690v1","created_at":"2026-07-05T10:15:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.11690","created_at":"2026-07-05T10:15:32Z"},{"alias_kind":"pith_short_12","alias_value":"7RMF57B3ECXH","created_at":"2026-07-05T10:15:32Z"},{"alias_kind":"pith_short_16","alias_value":"7RMF57B3ECXHWOHT","created_at":"2026-07-05T10:15:32Z"},{"alias_kind":"pith_short_8","alias_value":"7RMF57B3","created_at":"2026-07-05T10:15:32Z"}],"graph_snapshots":[{"event_id":"sha256:146c60a8635df54151d5c5615f6b89f3dcbc4e1389a7abd7b35a7c6777237a00","target":"graph","created_at":"2026-07-05T10:15:32Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2502.11690/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Lov\\'asz Local Lemma is a versatile result in probability theory, characterizing circumstances in which a collection of $n$ `bad events', each occurring with probability at most $p$ and dependent on a set of underlying random variables, can be avoided. It is a central tool of the probabilistic method, since it can be used to show that combinatorial objects satisfying some desirable properties must exist. While the original proof was existential, subsequent work has shown algorithms for the Lov\\'asz Local Lemma: that is, in circumstances in which the lemma proves the existence of some objec","authors_text":"Peter Davies-Peck","cross_cats":["cs.DC","math.PR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2025-02-17T11:28:55Z","title":"On the Locality of the Lov\\'asz Local Lemma"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.11690","kind":"arxiv","version":1},"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:55cbc8a05085a13f84b19dd4d96ef0dcb0866a26328508237256dae32b339c59","target":"record","created_at":"2026-07-05T10:15:32Z","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":"b99241f438eb6f87ab9de34f70468a8bea7f0f8f8ee5d21bbdfa5f2df64fa6e1","cross_cats_sorted":["cs.DC","math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DS","submitted_at":"2025-02-17T11:28:55Z","title_canon_sha256":"8d35cfe486744bc45718d2164c6c399d77079395d08bcaf7525207d8895030b3"},"schema_version":"1.0","source":{"id":"2502.11690","kind":"arxiv","version":1}},"canonical_sha256":"fc585efc3b20ae7b38f36a1a45d956a6104efa6cae3211c396ffc27655c93a44","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc585efc3b20ae7b38f36a1a45d956a6104efa6cae3211c396ffc27655c93a44","first_computed_at":"2026-07-05T10:15:32.443297Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:15:32.443297Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KB8Jf21Rp4uXw3YOa/nAXYEWTGLg5yuFUy8O9RGAVKTzZo4pKmuBbKlXiie1mnsuuGmFmmXKO6Wzg5ktwBMTAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:15:32.443786Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.11690","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55cbc8a05085a13f84b19dd4d96ef0dcb0866a26328508237256dae32b339c59","sha256:146c60a8635df54151d5c5615f6b89f3dcbc4e1389a7abd7b35a7c6777237a00"],"state_sha256":"65d88a94d05ec5ce9dc56604737363cd53a6782a01374dfc4f5c3512d0f8abef"}