{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:BN7DIKCNPKBPGDEYGWEYOKVXZ3","short_pith_number":"pith:BN7DIKCN","schema_version":"1.0","canonical_sha256":"0b7e34284d7a82f30c983589872ab7cee1294f817f632395c7b797084cf20929","source":{"kind":"arxiv","id":"1310.7766","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1310.7766","created_at":"2026-05-18T00:50:58.089094+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.7766v1","created_at":"2026-05-18T00:50:58.089094+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.7766","created_at":"2026-05-18T00:50:58.089094+00:00"},{"alias_kind":"pith_short_12","alias_value":"BN7DIKCNPKBP","created_at":"2026-05-18T12:27:40.988391+00:00"},{"alias_kind":"pith_short_16","alias_value":"BN7DIKCNPKBPGDEY","created_at":"2026-05-18T12:27:40.988391+00:00"},{"alias_kind":"pith_short_8","alias_value":"BN7DIKCN","created_at":"2026-05-18T12:27:40.988391+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3","json":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3.json","graph_json":"https://pith.science/api/pith-number/BN7DIKCNPKBPGDEYGWEYOKVXZ3/graph.json","events_json":"https://pith.science/api/pith-number/BN7DIKCNPKBPGDEYGWEYOKVXZ3/events.json","paper":"https://pith.science/paper/BN7DIKCN"},"agent_actions":{"view_html":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3","download_json":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3.json","view_paper":"https://pith.science/paper/BN7DIKCN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.7766&json=true","fetch_graph":"https://pith.science/api/pith-number/BN7DIKCNPKBPGDEYGWEYOKVXZ3/graph.json","fetch_events":"https://pith.science/api/pith-number/BN7DIKCNPKBPGDEYGWEYOKVXZ3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/action/storage_attestation","attest_author":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/action/author_attestation","sign_citation":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/action/citation_signature","submit_replication":"https://pith.science/pith/BN7DIKCNPKBPGDEYGWEYOKVXZ3/action/replication_record"}},"created_at":"2026-05-18T00:50:58.089094+00:00","updated_at":"2026-05-18T00:50:58.089094+00:00"}