{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2008:JF7TW63P7X7GGP6Z3XMEV4HOW2","short_pith_number":"pith:JF7TW63P","schema_version":"1.0","canonical_sha256":"497f3b7b6ffdfe633fd9ddd84af0eeb68819c3e1eefcd81e29c1aa7942eb74bb","source":{"kind":"arxiv","id":"0811.3412","version":1},"attestation_state":"computed","paper":{"title":"The Detectability Lemma and Quantum Gap Amplification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.other"],"primary_cat":"quant-ph","authors_text":"Dorit Aharonov, Itai Arad, Umesh Vazirani, Zeph Landau","submitted_at":"2008-11-20T20:45:15Z","abstract_excerpt":"The quantum analogue of a constraint satisfaction problem is a sum of local Hamiltonians - each local Hamiltonian specifies a local constraint whose violation contributes to the energy of the given quantum state. Formalizing the intuitive connection between the ground (minimal) energy of the Hamiltonian and the minimum number of violated constraints is problematic, since the number of constraints being violated is not well defined when the terms in the Hamiltonian do not commute. The detectability lemma proved in this paper provides precisely such a quantitative connection. We apply the lemma "},"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":"0811.3412","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2008-11-20T20:45:15Z","cross_cats_sorted":["cond-mat.other"],"title_canon_sha256":"8c69d56f6b43f2a73943e0101318b389d8f9bf133586f6fb877a703a564a8b2e","abstract_canon_sha256":"1e81b5e0218b4550d734b11026e9fe089239d5d3286155b2f612dde8b0dd289b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T15:16:20.626396Z","signature_b64":"wOevP2LT7qMifjd8LUcqGQnSyFHae64UMAMf+CgmId8pO510n/qfpaa/Oprh3mjZBL3PnTNqrRgRaYt3gLOpAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"497f3b7b6ffdfe633fd9ddd84af0eeb68819c3e1eefcd81e29c1aa7942eb74bb","last_reissued_at":"2026-07-04T15:16:20.625914Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T15:16:20.625914Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Detectability Lemma and Quantum Gap Amplification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.other"],"primary_cat":"quant-ph","authors_text":"Dorit Aharonov, Itai Arad, Umesh Vazirani, Zeph Landau","submitted_at":"2008-11-20T20:45:15Z","abstract_excerpt":"The quantum analogue of a constraint satisfaction problem is a sum of local Hamiltonians - each local Hamiltonian specifies a local constraint whose violation contributes to the energy of the given quantum state. Formalizing the intuitive connection between the ground (minimal) energy of the Hamiltonian and the minimum number of violated constraints is problematic, since the number of constraints being violated is not well defined when the terms in the Hamiltonian do not commute. The detectability lemma proved in this paper provides precisely such a quantitative connection. We apply the lemma "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0811.3412","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/0811.3412/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"0811.3412","created_at":"2026-07-04T15:16:20.625991+00:00"},{"alias_kind":"arxiv_version","alias_value":"0811.3412v1","created_at":"2026-07-04T15:16:20.625991+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0811.3412","created_at":"2026-07-04T15:16:20.625991+00:00"},{"alias_kind":"pith_short_12","alias_value":"JF7TW63P7X7G","created_at":"2026-07-04T15:16:20.625991+00:00"},{"alias_kind":"pith_short_16","alias_value":"JF7TW63P7X7GGP6Z","created_at":"2026-07-04T15:16:20.625991+00:00"},{"alias_kind":"pith_short_8","alias_value":"JF7TW63P","created_at":"2026-07-04T15:16:20.625991+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2608.04953","citing_title":"Diffusive Speed Limits for U(1)-Covariant Quantum Error Correction","ref_index":27,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JF7TW63P7X7GGP6Z3XMEV4HOW2","json":"https://pith.science/pith/JF7TW63P7X7GGP6Z3XMEV4HOW2.json","graph_json":"https://pith.science/api/pith-number/JF7TW63P7X7GGP6Z3XMEV4HOW2/graph.json","events_json":"https://pith.science/api/pith-number/JF7TW63P7X7GGP6Z3XMEV4HOW2/events.json","paper":"https://pith.science/paper/JF7TW63P"},"agent_actions":{"view_html":"https://pith.science/pith/JF7TW63P7X7GGP6Z3XMEV4HOW2","download_json":"https://pith.science/pith/JF7TW63P7X7GGP6Z3XMEV4HOW2.json","view_paper":"https://pith.science/paper/JF7TW63P","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0811.3412&json=true","fetch_graph":"https://pith.science/api/pith-number/JF7TW63P7X7GGP6Z3XMEV4HOW2/graph.json","fetch_events":"https://pith.science/api/pith-number/JF7TW63P7X7GGP6Z3XMEV4HOW2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JF7TW63P7X7GGP6Z3XMEV4HOW2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JF7TW63P7X7GGP6Z3XMEV4HOW2/action/storage_attestation","attest_author":"https://pith.science/pith/JF7TW63P7X7GGP6Z3XMEV4HOW2/action/author_attestation","sign_citation":"https://pith.science/pith/JF7TW63P7X7GGP6Z3XMEV4HOW2/action/citation_signature","submit_replication":"https://pith.science/pith/JF7TW63P7X7GGP6Z3XMEV4HOW2/action/replication_record"}},"created_at":"2026-07-04T15:16:20.625991+00:00","updated_at":"2026-07-04T15:16:20.625991+00:00"}