{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2003:WY4HO5HCUXFWA4TMSWB7DK2FMN","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":"6dc2137fa0437e40079728f8a6427682b884be849fde9b468c9af6005fc758e2","cross_cats_sorted":["hep-th","math-ph","math.MP"],"license":"","primary_cat":"cond-mat.str-el","submitted_at":"2003-05-21T19:10:30Z","title_canon_sha256":"dd09db718e7ce59cb0810528f2157b27bcfdf16eba78270f11330a599d6afc40"},"schema_version":"1.0","source":{"id":"cond-mat/0305505","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cond-mat/0305505","created_at":"2026-07-04T16:38:49Z"},{"alias_kind":"arxiv_version","alias_value":"cond-mat/0305505v6","created_at":"2026-07-04T16:38:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cond-mat/0305505","created_at":"2026-07-04T16:38:49Z"},{"alias_kind":"pith_short_12","alias_value":"WY4HO5HCUXFW","created_at":"2026-07-04T16:38:49Z"},{"alias_kind":"pith_short_16","alias_value":"WY4HO5HCUXFWA4TM","created_at":"2026-07-04T16:38:49Z"},{"alias_kind":"pith_short_8","alias_value":"WY4HO5HC","created_at":"2026-07-04T16:38:49Z"}],"graph_snapshots":[{"event_id":"sha256:f3215a7d22ddf1fcce87e405df485e789c5ecf18d5783acbb36def56a7147c4e","target":"graph","created_at":"2026-07-04T16:38:49Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cond-mat/0305505/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A generalization of the Lieb-Schultz-Mattis theorem to higher dimensional spin systems is shown. The physical motivation for the result is that such spin systems typically either have long-range order, in which case there are gapless modes, or have only short-range correlations, in which case there are topological excitations. The result uses a set of loop operators, analogous to those used in gauge theories, defined in terms of the spin operators of the theory. We also obtain various cluster bounds on expectation values for gapped systems. These bounds are used, under the assumption of a gap,","authors_text":"M. B. Hastings","cross_cats":["hep-th","math-ph","math.MP"],"headline":"","license":"","primary_cat":"cond-mat.str-el","submitted_at":"2003-05-21T19:10:30Z","title":"Lieb-Schultz-Mattis in Higher Dimensions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cond-mat/0305505","kind":"arxiv","version":6},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6fefb184883222168dfbbaf33665397f477a6aaf6f2129539337c086780e3391","target":"record","created_at":"2026-07-04T16:38:49Z","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":"6dc2137fa0437e40079728f8a6427682b884be849fde9b468c9af6005fc758e2","cross_cats_sorted":["hep-th","math-ph","math.MP"],"license":"","primary_cat":"cond-mat.str-el","submitted_at":"2003-05-21T19:10:30Z","title_canon_sha256":"dd09db718e7ce59cb0810528f2157b27bcfdf16eba78270f11330a599d6afc40"},"schema_version":"1.0","source":{"id":"cond-mat/0305505","kind":"arxiv","version":6}},"canonical_sha256":"b6387774e2a5cb60726c9583f1ab45637fe1986aa07e86222f9f1d0d60bba1b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b6387774e2a5cb60726c9583f1ab45637fe1986aa07e86222f9f1d0d60bba1b8","first_computed_at":"2026-07-04T16:38:49.874568Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T16:38:49.874568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"juC3N9gkS5qFPlkqOpkObaDa/rSMY3aCqJgvBGNtJVAHUOGAg0gfjbk7ZEgyB0MyUlvkP7N35aI+SZnt/4/BCA==","signature_status":"signed_v1","signed_at":"2026-07-04T16:38:49.874963Z","signed_message":"canonical_sha256_bytes"},"source_id":"cond-mat/0305505","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6fefb184883222168dfbbaf33665397f477a6aaf6f2129539337c086780e3391","sha256:f3215a7d22ddf1fcce87e405df485e789c5ecf18d5783acbb36def56a7147c4e"],"state_sha256":"c4ae4d98218ddf9903ea20a1ad34c73033cfdfde41cd0a0717dfdc809f136be6"}