{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:JYANZC5UHJ6FU4ACM23RQRN4A2","short_pith_number":"pith:JYANZC5U","schema_version":"1.0","canonical_sha256":"4e00dc8bb43a7c5a700266b71845bc068ebb22420d00b26ab436e2e9db40f0fa","source":{"kind":"arxiv","id":"2507.03201","version":2},"attestation_state":"computed","paper":{"title":"On Frustration-Free Quantum Spin Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.MP","math.OA"],"primary_cat":"math-ph","authors_text":"Danilo Polo Ojito, Emil Prodan, Tom Stoiber","submitted_at":"2025-07-03T22:24:22Z","abstract_excerpt":"The goal of our work is to characterize the landscape of the frustration-free quantum spin models over the Cayley graph of a finitely generated group $G$. This is achieved by establishing $G$-equivariant morphisms from the partially ordered space of frustration-free models to the partially ordered spaces 1) of hereditary $C^\\ast$-algebras of the underlying UHF quasi-local algebra of observables, 2) of open projections in its double dual, and 3) of subsets of pure state space. Our main result consists of an intrinsic characterization of the images of these morphisms, which captures the essence "},"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":"2507.03201","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math-ph","submitted_at":"2025-07-03T22:24:22Z","cross_cats_sorted":["math.MP","math.OA"],"title_canon_sha256":"097060e205ca4b1d6a935dbda3261c76d8056ba913a68f8c66b8cc47be3db6ea","abstract_canon_sha256":"1b0f1e53e43fd32eeccc7aaf080a3b18928e696a463111b32aa23cf9c81b131f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:45:15.267478Z","signature_b64":"zV3ZiPmvm8MQYqLIKaKPtGyOleYO2ogxMwIAMEnK5pjGyw8jXku7EuXdU4QzEyKrsm2MO28o3GEBKW7ROzYwDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e00dc8bb43a7c5a700266b71845bc068ebb22420d00b26ab436e2e9db40f0fa","last_reissued_at":"2026-07-05T11:45:15.266996Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:45:15.266996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Frustration-Free Quantum Spin Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.MP","math.OA"],"primary_cat":"math-ph","authors_text":"Danilo Polo Ojito, Emil Prodan, Tom Stoiber","submitted_at":"2025-07-03T22:24:22Z","abstract_excerpt":"The goal of our work is to characterize the landscape of the frustration-free quantum spin models over the Cayley graph of a finitely generated group $G$. This is achieved by establishing $G$-equivariant morphisms from the partially ordered space of frustration-free models to the partially ordered spaces 1) of hereditary $C^\\ast$-algebras of the underlying UHF quasi-local algebra of observables, 2) of open projections in its double dual, and 3) of subsets of pure state space. Our main result consists of an intrinsic characterization of the images of these morphisms, which captures the essence "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.03201","kind":"arxiv","version":2},"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/2507.03201/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":"2507.03201","created_at":"2026-07-05T11:45:15.267051+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.03201v2","created_at":"2026-07-05T11:45:15.267051+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.03201","created_at":"2026-07-05T11:45:15.267051+00:00"},{"alias_kind":"pith_short_12","alias_value":"JYANZC5UHJ6F","created_at":"2026-07-05T11:45:15.267051+00:00"},{"alias_kind":"pith_short_16","alias_value":"JYANZC5UHJ6FU4AC","created_at":"2026-07-05T11:45:15.267051+00:00"},{"alias_kind":"pith_short_8","alias_value":"JYANZC5U","created_at":"2026-07-05T11:45:15.267051+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.10693","citing_title":"Local topological order, Haag duality, and reflection positivity","ref_index":11,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JYANZC5UHJ6FU4ACM23RQRN4A2","json":"https://pith.science/pith/JYANZC5UHJ6FU4ACM23RQRN4A2.json","graph_json":"https://pith.science/api/pith-number/JYANZC5UHJ6FU4ACM23RQRN4A2/graph.json","events_json":"https://pith.science/api/pith-number/JYANZC5UHJ6FU4ACM23RQRN4A2/events.json","paper":"https://pith.science/paper/JYANZC5U"},"agent_actions":{"view_html":"https://pith.science/pith/JYANZC5UHJ6FU4ACM23RQRN4A2","download_json":"https://pith.science/pith/JYANZC5UHJ6FU4ACM23RQRN4A2.json","view_paper":"https://pith.science/paper/JYANZC5U","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.03201&json=true","fetch_graph":"https://pith.science/api/pith-number/JYANZC5UHJ6FU4ACM23RQRN4A2/graph.json","fetch_events":"https://pith.science/api/pith-number/JYANZC5UHJ6FU4ACM23RQRN4A2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JYANZC5UHJ6FU4ACM23RQRN4A2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JYANZC5UHJ6FU4ACM23RQRN4A2/action/storage_attestation","attest_author":"https://pith.science/pith/JYANZC5UHJ6FU4ACM23RQRN4A2/action/author_attestation","sign_citation":"https://pith.science/pith/JYANZC5UHJ6FU4ACM23RQRN4A2/action/citation_signature","submit_replication":"https://pith.science/pith/JYANZC5UHJ6FU4ACM23RQRN4A2/action/replication_record"}},"created_at":"2026-07-05T11:45:15.267051+00:00","updated_at":"2026-07-05T11:45:15.267051+00:00"}