{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:BN7DIKCNPKBPGDEYGWEYOKVXZ3","short_pith_number":"pith:BN7DIKCN","canonical_record":{"source":{"id":"1310.7766","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-29T11:44:51Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"74eb3d8204c669ce388c464ff2ed62a79dc5e3afb98251b909e6ca6409881b72","abstract_canon_sha256":"1f83eebc61581c8c5660f634a71c637360a4e5432af335d091a21cf9419107c3"},"schema_version":"1.0"},"canonical_sha256":"0b7e34284d7a82f30c983589872ab7cee1294f817f632395c7b797084cf20929","source":{"kind":"arxiv","id":"1310.7766","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.7766","created_at":"2026-05-18T00:50:58Z"},{"alias_kind":"arxiv_version","alias_value":"1310.7766v1","created_at":"2026-05-18T00:50:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.7766","created_at":"2026-05-18T00:50:58Z"},{"alias_kind":"pith_short_12","alias_value":"BN7DIKCNPKBP","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"BN7DIKCNPKBPGDEY","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"BN7DIKCN","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:BN7DIKCNPKBPGDEYGWEYOKVXZ3","target":"record","payload":{"canonical_record":{"source":{"id":"1310.7766","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-29T11:44:51Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"74eb3d8204c669ce388c464ff2ed62a79dc5e3afb98251b909e6ca6409881b72","abstract_canon_sha256":"1f83eebc61581c8c5660f634a71c637360a4e5432af335d091a21cf9419107c3"},"schema_version":"1.0"},"canonical_sha256":"0b7e34284d7a82f30c983589872ab7cee1294f817f632395c7b797084cf20929","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:58.089763Z","signature_b64":"+EqjN6czNeyXuLz58F0o5s60k3PHAmPVhdVdRq/IPCmGfZ6MRnkKMJEg/xhHEmbRg7oejebLIE/MVpt+KxtKDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b7e34284d7a82f30c983589872ab7cee1294f817f632395c7b797084cf20929","last_reissued_at":"2026-05-18T00:50:58.088985Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:58.088985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.7766","source_version":1,"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-18T00:50:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K5Mqw+9UyfaFzXm/+f2SEUYV81PFdgT7zqep+A1BcM8uYMAXziOeVDMdt0lDn37pOYL5c0Oj1yT10YVIwZ5hAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:29:45.633137Z"},"content_sha256":"b52b7e1da0439b4ebc874f3b05c6d5889800b5ec490a1648f21d5730a20234f5","schema_version":"1.0","event_id":"sha256:b52b7e1da0439b4ebc874f3b05c6d5889800b5ec490a1648f21d5730a20234f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:BN7DIKCNPKBPGDEYGWEYOKVXZ3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Constructive Quantum Lov\\'asz Local Lemma for Commuting Projectors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"quant-ph","authors_text":"Itai Arad, Or Sattath","submitted_at":"2013-10-29T11:44:51Z","abstract_excerpt":"The Quantum Satisfiability problem generalizes the Boolean satisfiability problem to the quantum setting by replacing classical clauses with local projectors. The Quantum Lov\\'asz Local Lemma gives a sufficient condition for a Quantum Satisfiability problem to be satisfiable [AKS12], by generalizing the classical Lov\\'asz Local Lemma.\n  The next natural question that arises is: can a satisfying quantum state be efficiently found, when these conditions hold? In this work we present such an algorithm, with the additional requirement that all the projectors commute. The proof follows the informat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.7766","kind":"arxiv","version":1},"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-18T00:50:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ePhultRFGqoR65WvkEvI3dhoJCoAbz7ON6tbJ6XNHc7Utx70qhJhjCukbsafCTI+o9V3HT3jUOXWGkV0Yjd5BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:29:45.633692Z"},"content_sha256":"84ee81df02a5fb6199408a8fde4d3ce5801fbc3fc4dd903cf54648609b9ed3dc","schema_version":"1.0","event_id":"sha256:84ee81df02a5fb6199408a8fde4d3ce5801fbc3fc4dd903cf54648609b9ed3dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/bundle.json","state_url":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/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-06-03T14:29:45Z","links":{"resolver":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3","bundle":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/bundle.json","state":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:BN7DIKCNPKBPGDEYGWEYOKVXZ3","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":"1f83eebc61581c8c5660f634a71c637360a4e5432af335d091a21cf9419107c3","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-29T11:44:51Z","title_canon_sha256":"74eb3d8204c669ce388c464ff2ed62a79dc5e3afb98251b909e6ca6409881b72"},"schema_version":"1.0","source":{"id":"1310.7766","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.7766","created_at":"2026-05-18T00:50:58Z"},{"alias_kind":"arxiv_version","alias_value":"1310.7766v1","created_at":"2026-05-18T00:50:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.7766","created_at":"2026-05-18T00:50:58Z"},{"alias_kind":"pith_short_12","alias_value":"BN7DIKCNPKBP","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"BN7DIKCNPKBPGDEY","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"BN7DIKCN","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:84ee81df02a5fb6199408a8fde4d3ce5801fbc3fc4dd903cf54648609b9ed3dc","target":"graph","created_at":"2026-05-18T00:50:58Z","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 Quantum Satisfiability problem generalizes the Boolean satisfiability problem to the quantum setting by replacing classical clauses with local projectors. The Quantum Lov\\'asz Local Lemma gives a sufficient condition for a Quantum Satisfiability problem to be satisfiable [AKS12], by generalizing the classical Lov\\'asz Local Lemma.\n  The next natural question that arises is: can a satisfying quantum state be efficiently found, when these conditions hold? In this work we present such an algorithm, with the additional requirement that all the projectors commute. The proof follows the informat","authors_text":"Itai Arad, Or Sattath","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-29T11:44:51Z","title":"A Constructive Quantum Lov\\'asz Local Lemma for Commuting Projectors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.7766","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:b52b7e1da0439b4ebc874f3b05c6d5889800b5ec490a1648f21d5730a20234f5","target":"record","created_at":"2026-05-18T00:50:58Z","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":"1f83eebc61581c8c5660f634a71c637360a4e5432af335d091a21cf9419107c3","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2013-10-29T11:44:51Z","title_canon_sha256":"74eb3d8204c669ce388c464ff2ed62a79dc5e3afb98251b909e6ca6409881b72"},"schema_version":"1.0","source":{"id":"1310.7766","kind":"arxiv","version":1}},"canonical_sha256":"0b7e34284d7a82f30c983589872ab7cee1294f817f632395c7b797084cf20929","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b7e34284d7a82f30c983589872ab7cee1294f817f632395c7b797084cf20929","first_computed_at":"2026-05-18T00:50:58.088985Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:58.088985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+EqjN6czNeyXuLz58F0o5s60k3PHAmPVhdVdRq/IPCmGfZ6MRnkKMJEg/xhHEmbRg7oejebLIE/MVpt+KxtKDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:58.089763Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.7766","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b52b7e1da0439b4ebc874f3b05c6d5889800b5ec490a1648f21d5730a20234f5","sha256:84ee81df02a5fb6199408a8fde4d3ce5801fbc3fc4dd903cf54648609b9ed3dc"],"state_sha256":"44c8ba6b102425f72a5dd2358890af7d2b0968e8a86f6b0f5927f05051e958a5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wQEjtihRZnL3D0+BFcZ1g1VYHAovjF8qKwCRhc6n+QXwHjYUC1jRFUDxCcxsWiIBDdCnr5JAIXKEmx0qifnbBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T14:29:45.636341Z","bundle_sha256":"c2ae38757f0f578616e650006ca46e0ff7d70a749448d94f7a41c8ff0ff95ba1"}}