{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:DD7I4FS2Z6KWZAJLBJEFYJZMLX","short_pith_number":"pith:DD7I4FS2","schema_version":"1.0","canonical_sha256":"18fe8e165acf956c812b0a485c272c5ded1060cc575a484929d26e783b40ea93","source":{"kind":"arxiv","id":"1904.02700","version":3},"attestation_state":"computed","paper":{"title":"A proof of the Bloch theorem for lattice models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"cond-mat.stat-mech","authors_text":"Haruki Watanabe","submitted_at":"2019-04-04T17:57:57Z","abstract_excerpt":"The Bloch theorem is a powerful theorem stating that the expectation value of the U(1) current operator averaged over the entire space vanishes in large quantum systems. The theorem applies to the ground state and to the thermal equilibrium at a finite temperature, irrespective of the details of the Hamiltonian as far as all terms in the Hamiltonian are finite ranged. In this work we present a simple yet rigorous proof for general lattice models. For large but finite systems, we find that both the discussion and the conclusion are sensitive to the boundary condition one assumes: under the peri"},"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":"1904.02700","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.stat-mech","submitted_at":"2019-04-04T17:57:57Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"d5b7066a7759fa47b60bff294eef2bde35f64aed97a75a392bb5d349c91d88f7","abstract_canon_sha256":"8e341f7fb8a6b1f3ab4dbc4f1329379d66f7da788f14560778c681e575644915"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:17:26.159944Z","signature_b64":"17OGZpSrbQUMbgXEExmsEVg2y6tCWmK8W9ED8vHHO46huW7CTUWp/xo3bqv27F6MudDUT0DqrSmJpLgddHPaAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"18fe8e165acf956c812b0a485c272c5ded1060cc575a484929d26e783b40ea93","last_reissued_at":"2026-07-05T00:17:26.159491Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:17:26.159491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A proof of the Bloch theorem for lattice models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.MP"],"primary_cat":"cond-mat.stat-mech","authors_text":"Haruki Watanabe","submitted_at":"2019-04-04T17:57:57Z","abstract_excerpt":"The Bloch theorem is a powerful theorem stating that the expectation value of the U(1) current operator averaged over the entire space vanishes in large quantum systems. The theorem applies to the ground state and to the thermal equilibrium at a finite temperature, irrespective of the details of the Hamiltonian as far as all terms in the Hamiltonian are finite ranged. In this work we present a simple yet rigorous proof for general lattice models. For large but finite systems, we find that both the discussion and the conclusion are sensitive to the boundary condition one assumes: under the peri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.02700","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/1904.02700/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":"1904.02700","created_at":"2026-07-05T00:17:26.159542+00:00"},{"alias_kind":"arxiv_version","alias_value":"1904.02700v3","created_at":"2026-07-05T00:17:26.159542+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.02700","created_at":"2026-07-05T00:17:26.159542+00:00"},{"alias_kind":"pith_short_12","alias_value":"DD7I4FS2Z6KW","created_at":"2026-07-05T00:17:26.159542+00:00"},{"alias_kind":"pith_short_16","alias_value":"DD7I4FS2Z6KWZAJL","created_at":"2026-07-05T00:17:26.159542+00:00"},{"alias_kind":"pith_short_8","alias_value":"DD7I4FS2","created_at":"2026-07-05T00:17:26.159542+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/DD7I4FS2Z6KWZAJLBJEFYJZMLX","json":"https://pith.science/pith/DD7I4FS2Z6KWZAJLBJEFYJZMLX.json","graph_json":"https://pith.science/api/pith-number/DD7I4FS2Z6KWZAJLBJEFYJZMLX/graph.json","events_json":"https://pith.science/api/pith-number/DD7I4FS2Z6KWZAJLBJEFYJZMLX/events.json","paper":"https://pith.science/paper/DD7I4FS2"},"agent_actions":{"view_html":"https://pith.science/pith/DD7I4FS2Z6KWZAJLBJEFYJZMLX","download_json":"https://pith.science/pith/DD7I4FS2Z6KWZAJLBJEFYJZMLX.json","view_paper":"https://pith.science/paper/DD7I4FS2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1904.02700&json=true","fetch_graph":"https://pith.science/api/pith-number/DD7I4FS2Z6KWZAJLBJEFYJZMLX/graph.json","fetch_events":"https://pith.science/api/pith-number/DD7I4FS2Z6KWZAJLBJEFYJZMLX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DD7I4FS2Z6KWZAJLBJEFYJZMLX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DD7I4FS2Z6KWZAJLBJEFYJZMLX/action/storage_attestation","attest_author":"https://pith.science/pith/DD7I4FS2Z6KWZAJLBJEFYJZMLX/action/author_attestation","sign_citation":"https://pith.science/pith/DD7I4FS2Z6KWZAJLBJEFYJZMLX/action/citation_signature","submit_replication":"https://pith.science/pith/DD7I4FS2Z6KWZAJLBJEFYJZMLX/action/replication_record"}},"created_at":"2026-07-05T00:17:26.159542+00:00","updated_at":"2026-07-05T00:17:26.159542+00:00"}