{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:35WJKJJ5WKHYJ2IVAKOGRCL3MZ","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":"6ca6c3a7703e9521a833b985845e29d65bed9e0e794313549fd5e742b22d1dd8","cross_cats_sorted":["cond-mat.stat-mech"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cond-mat.str-el","submitted_at":"2026-05-13T14:40:56Z","title_canon_sha256":"1a473a1136bf1c254871c422be3211eed54d5b582759e3578fc961242b8774cc"},"schema_version":"1.0","source":{"id":"2605.13606","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13606","created_at":"2026-05-18T02:44:18Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13606v1","created_at":"2026-05-18T02:44:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13606","created_at":"2026-05-18T02:44:18Z"},{"alias_kind":"pith_short_12","alias_value":"35WJKJJ5WKHY","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"35WJKJJ5WKHYJ2IV","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"35WJKJJ5","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:2a0dffdf42ae23894853df8dc8b35d13a2cb49ed17b0e2311d90e77522c024d6","target":"graph","created_at":"2026-05-18T02:44:18Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We show that the theory in the Gauss law subspace has a U(1) symmetry whose generator commutes with lattice translations, but anticommutes with the lattice reflection operator. This leads to a Lieb-Schultz-Mattis (LSM) theorem that always rules out a trivial gapped ground state in the Gauss law subspace, if the hamiltonian is invariant under translations and reflection."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The Hamiltonian remains invariant under both lattice translations and reflection while the system is strictly confined to the Gauss law subspace; if either invariance or the strict subspace projection fails, the U(1) symmetry and resulting LSM theorem do not hold."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A Z2xZ2 gauge theory on a 1D chain yields an LSM theorem via a U(1) symmetry generated by the Gauss law constraint, ruling out trivial gapped states under translation and reflection symmetry."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Imposing the Gauss law in a Z2 gauge theory on a one-dimensional chain produces a U(1) symmetry that commutes with translations but anticommutes with reflection, forbidding trivial gapped ground states."}],"snapshot_sha256":"cf7246aa1fc5bbe21081370d26a3ada4541f6e84e1b9be89d405b9e44e26d606"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We construct a $\\mathbb{Z}_2 \\times \\mathbb{Z}_2$ gauge theory coupled to matter on a one-dimensional chain, aiming to study the ground-state physics in the Gauss law subspace. We show that the theory in the Gauss law subspace has a U$(1)$ symmetry whose generator commutes with lattice translations, but anticommutes with the lattice reflection operator. This leads to a Lieb-Schultz-Mattis (LSM) theorem that always rules out a trivial gapped ground state in the Gauss law subspace, if the hamiltonian is invariant under translations and reflection. Any point in the parameter space must realize a ","authors_text":"Bhandaru Phani Parasar","cross_cats":["cond-mat.stat-mech"],"headline":"Imposing the Gauss law in a Z2 gauge theory on a one-dimensional chain produces a U(1) symmetry that commutes with translations but anticommutes with reflection, forbidding trivial gapped ground states.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cond-mat.str-el","submitted_at":"2026-05-13T14:40:56Z","title":"Lieb-Schultz-Mattis theorem from gauge constraints"},"references":{"count":58,"internal_anchors":1,"resolved_work":58,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"E. Lieb, T. Schultz, and D. Mattis, Two soluble models of an antiferromagnetic chain, Annals of Physics16, 407 (1961)","work_id":"92d69014-d24c-4358-9610-2726afec6cbd","year":1961},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"I. Affleck and E. H. Lieb, A proof of part of haldane’s con- jecture on spin chains, Letters in Mathematical Physics 12, 57 (1986)","work_id":"e5454d4b-dd16-496c-8ff4-f489a0df24d5","year":1986},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"M. Oshikawa, M. Yamanaka, and I. Affleck, Magneti- zation plateaus in spin chains: “haldane gap” for half- integer spins, Phys. Rev. Lett.78, 1984 (1997)","work_id":"f4d492da-d0c0-4734-b0ed-f12bebe2db13","year":1984},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Oshikawa, Commensurability, excitation gap, and topology in quantum many-particle systems on a peri- odic lattice, Phys","work_id":"749832fd-b47d-4226-96a6-bad94f3f1619","year":2000},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"M. B. Hastings, Lieb-schultz-mattis in higher dimensions, Phys. Rev. B69, 104431 (2004)","work_id":"48548aaa-756b-4ccc-a6e1-9806a9997c3f","year":2004}],"snapshot_sha256":"e3044cc9427d3c9d04c923fe04d223feee4bf2f9a24bcac409c548ae81f87059"},"source":{"id":"2605.13606","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T17:50:44.122896Z","id":"3be2e40d-b063-4310-926b-d962f2a1c1c1","model_set":{"reader":"grok-4.3"},"one_line_summary":"A Z2xZ2 gauge theory on a 1D chain yields an LSM theorem via a U(1) symmetry generated by the Gauss law constraint, ruling out trivial gapped states under translation and reflection symmetry.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Imposing the Gauss law in a Z2 gauge theory on a one-dimensional chain produces a U(1) symmetry that commutes with translations but anticommutes with reflection, forbidding trivial gapped ground states.","strongest_claim":"We show that the theory in the Gauss law subspace has a U(1) symmetry whose generator commutes with lattice translations, but anticommutes with the lattice reflection operator. This leads to a Lieb-Schultz-Mattis (LSM) theorem that always rules out a trivial gapped ground state in the Gauss law subspace, if the hamiltonian is invariant under translations and reflection.","weakest_assumption":"The Hamiltonian remains invariant under both lattice translations and reflection while the system is strictly confined to the Gauss law subspace; if either invariance or the strict subspace projection fails, the U(1) symmetry and resulting LSM theorem do not hold."}},"verdict_id":"3be2e40d-b063-4310-926b-d962f2a1c1c1"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:163d2504c59d7f12af44ac58a2c9f3204c0ef6d8f3d631d3cf96f6453990d4fe","target":"record","created_at":"2026-05-18T02:44:18Z","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":"6ca6c3a7703e9521a833b985845e29d65bed9e0e794313549fd5e742b22d1dd8","cross_cats_sorted":["cond-mat.stat-mech"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cond-mat.str-el","submitted_at":"2026-05-13T14:40:56Z","title_canon_sha256":"1a473a1136bf1c254871c422be3211eed54d5b582759e3578fc961242b8774cc"},"schema_version":"1.0","source":{"id":"2605.13606","kind":"arxiv","version":1}},"canonical_sha256":"df6c95253db28f84e915029c68897b665f21b2a7c1e2855a32661e44c4cf5973","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"df6c95253db28f84e915029c68897b665f21b2a7c1e2855a32661e44c4cf5973","first_computed_at":"2026-05-18T02:44:18.111031Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:18.111031Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FsHWUJdCf3qRPwMyyLrbxLPdQVJGDjKA8CPOxWTBA7x8/NtMs/+H1bJ1kaMErGquRpo+oH6x490N4lYf+MvcAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:18.111463Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13606","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:163d2504c59d7f12af44ac58a2c9f3204c0ef6d8f3d631d3cf96f6453990d4fe","sha256:2a0dffdf42ae23894853df8dc8b35d13a2cb49ed17b0e2311d90e77522c024d6"],"state_sha256":"d4e5070fdde506cf43d9db242bfcc3acb2bf75e706c236daee8bc5c4c99f68bc"}