{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:3QMOAC2A2C4Z43NJ3XG3QOEWG6","short_pith_number":"pith:3QMOAC2A","schema_version":"1.0","canonical_sha256":"dc18e00b40d0b99e6da9ddcdb838963796960117feab397dbc991fa8f4e8252d","source":{"kind":"arxiv","id":"1411.6614","version":3},"attestation_state":"computed","paper":{"title":"Two-dimensional local Hamiltonian problem with area laws is QMA-complete","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","quant-ph"],"primary_cat":"cond-mat.str-el","authors_text":"Yichen Huang","submitted_at":"2014-11-24T20:56:03Z","abstract_excerpt":"We show that the two-dimensional (2D) local Hamiltonian problem with the constraint that the ground state obeys area laws is QMA-complete. We also prove similar results in 2D translation-invariant systems and for the 3D Heisenberg and Hubbard models with local magnetic fields. Consequently, unless MA = QMA, not all ground states of 2D local Hamiltonians with area laws have efficient classical representations that support efficient computation of local expectation values. In the future, even if area laws are proved for ground states of 2D gapped systems, the computational complexity of these sy"},"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":"1411.6614","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.str-el","submitted_at":"2014-11-24T20:56:03Z","cross_cats_sorted":["cs.CC","quant-ph"],"title_canon_sha256":"acf0e4a7b4225fb6aa76b783cd4230f0fa4e00b405cd6ca65f9e43e5b691bed8","abstract_canon_sha256":"cc5428e4ca9f58001aac2ff3d8fd620aa16a582550d1d735f42a49d8e4834d93"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:02:04.527897Z","signature_b64":"gEzffZ51gDnfJGL+BIANUbRNWxi3hD+7k72lixKzPA+SlLdBjIGhItOLJ777FOvzhN9Szyz9MXLPUHyF/UtZAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc18e00b40d0b99e6da9ddcdb838963796960117feab397dbc991fa8f4e8252d","last_reissued_at":"2026-07-05T03:02:04.527447Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:02:04.527447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Two-dimensional local Hamiltonian problem with area laws is QMA-complete","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","quant-ph"],"primary_cat":"cond-mat.str-el","authors_text":"Yichen Huang","submitted_at":"2014-11-24T20:56:03Z","abstract_excerpt":"We show that the two-dimensional (2D) local Hamiltonian problem with the constraint that the ground state obeys area laws is QMA-complete. We also prove similar results in 2D translation-invariant systems and for the 3D Heisenberg and Hubbard models with local magnetic fields. Consequently, unless MA = QMA, not all ground states of 2D local Hamiltonians with area laws have efficient classical representations that support efficient computation of local expectation values. In the future, even if area laws are proved for ground states of 2D gapped systems, the computational complexity of these sy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.6614","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1411.6614/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":"1411.6614","created_at":"2026-07-05T03:02:04.527511+00:00"},{"alias_kind":"arxiv_version","alias_value":"1411.6614v3","created_at":"2026-07-05T03:02:04.527511+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.6614","created_at":"2026-07-05T03:02:04.527511+00:00"},{"alias_kind":"pith_short_12","alias_value":"3QMOAC2A2C4Z","created_at":"2026-07-05T03:02:04.527511+00:00"},{"alias_kind":"pith_short_16","alias_value":"3QMOAC2A2C4Z43NJ","created_at":"2026-07-05T03:02:04.527511+00:00"},{"alias_kind":"pith_short_8","alias_value":"3QMOAC2A","created_at":"2026-07-05T03:02:04.527511+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.04940","citing_title":"Convergence rates of Sum-of-Hermitian-Squares Hierarchies for the Pauli algebra","ref_index":9,"is_internal_anchor":false},{"citing_arxiv_id":"2509.25821","citing_title":"On the Complexity of the Succinct State Local Hamiltonian Problem","ref_index":51,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3QMOAC2A2C4Z43NJ3XG3QOEWG6","json":"https://pith.science/pith/3QMOAC2A2C4Z43NJ3XG3QOEWG6.json","graph_json":"https://pith.science/api/pith-number/3QMOAC2A2C4Z43NJ3XG3QOEWG6/graph.json","events_json":"https://pith.science/api/pith-number/3QMOAC2A2C4Z43NJ3XG3QOEWG6/events.json","paper":"https://pith.science/paper/3QMOAC2A"},"agent_actions":{"view_html":"https://pith.science/pith/3QMOAC2A2C4Z43NJ3XG3QOEWG6","download_json":"https://pith.science/pith/3QMOAC2A2C4Z43NJ3XG3QOEWG6.json","view_paper":"https://pith.science/paper/3QMOAC2A","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1411.6614&json=true","fetch_graph":"https://pith.science/api/pith-number/3QMOAC2A2C4Z43NJ3XG3QOEWG6/graph.json","fetch_events":"https://pith.science/api/pith-number/3QMOAC2A2C4Z43NJ3XG3QOEWG6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3QMOAC2A2C4Z43NJ3XG3QOEWG6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3QMOAC2A2C4Z43NJ3XG3QOEWG6/action/storage_attestation","attest_author":"https://pith.science/pith/3QMOAC2A2C4Z43NJ3XG3QOEWG6/action/author_attestation","sign_citation":"https://pith.science/pith/3QMOAC2A2C4Z43NJ3XG3QOEWG6/action/citation_signature","submit_replication":"https://pith.science/pith/3QMOAC2A2C4Z43NJ3XG3QOEWG6/action/replication_record"}},"created_at":"2026-07-05T03:02:04.527511+00:00","updated_at":"2026-07-05T03:02:04.527511+00:00"}