{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:4UXEHJHLJVPC7Y3SBCMJGGCV5L","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":"4347f7484fdd31611251194e9b31c5749708e638ec6c9c44156e52f628b21df8","cross_cats_sorted":["cond-mat.str-el","math.MP","math.OA","math.QA","quant-ph"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math-ph","submitted_at":"2023-07-24T06:38:48Z","title_canon_sha256":"27293bf650ff29e31016730479f514aad9d052e8087fee9cbb297883dc0b366c"},"schema_version":"1.0","source":{"id":"2307.12552","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.12552","created_at":"2026-06-05T01:15:11Z"},{"alias_kind":"arxiv_version","alias_value":"2307.12552v2","created_at":"2026-06-05T01:15:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.12552","created_at":"2026-06-05T01:15:11Z"},{"alias_kind":"pith_short_12","alias_value":"4UXEHJHLJVPC","created_at":"2026-06-05T01:15:11Z"},{"alias_kind":"pith_short_16","alias_value":"4UXEHJHLJVPC7Y3S","created_at":"2026-06-05T01:15:11Z"},{"alias_kind":"pith_short_8","alias_value":"4UXEHJHL","created_at":"2026-06-05T01:15:11Z"}],"graph_snapshots":[{"event_id":"sha256:4e5a8b30d47811260957c82bd9e4e2e4528d05e79984247a3e02ca25c586df0b","target":"graph","created_at":"2026-06-05T01:15:11Z","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/2307.12552/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev's Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on $\\mathbb{Z}^{k}$, we define a local net of boundary algebras on $\\mathbb{Z}^{k-1}$, which provides a mathematically precise algebraic description of the holographic dual of the bulk topological order. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states witho","authors_text":"Corey Jones, Daniel Wallick, David Penneys, Pieter Naaijkens","cross_cats":["cond-mat.str-el","math.MP","math.OA","math.QA","quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math-ph","submitted_at":"2023-07-24T06:38:48Z","title":"Local topological order and boundary algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.12552","kind":"arxiv","version":2},"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:d07cd497eef4cd5a52089123602addf5b91bb092c8d1f5c14705629def0a1b76","target":"record","created_at":"2026-06-05T01:15:11Z","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":"4347f7484fdd31611251194e9b31c5749708e638ec6c9c44156e52f628b21df8","cross_cats_sorted":["cond-mat.str-el","math.MP","math.OA","math.QA","quant-ph"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math-ph","submitted_at":"2023-07-24T06:38:48Z","title_canon_sha256":"27293bf650ff29e31016730479f514aad9d052e8087fee9cbb297883dc0b366c"},"schema_version":"1.0","source":{"id":"2307.12552","kind":"arxiv","version":2}},"canonical_sha256":"e52e43a4eb4d5e2fe3720898931855ead2ff18aa345cb173a8ca16a5f1d5122e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e52e43a4eb4d5e2fe3720898931855ead2ff18aa345cb173a8ca16a5f1d5122e","first_computed_at":"2026-06-05T01:15:11.106705Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-05T01:15:11.106705Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GeW9pjE5sjioGDdE/+QDfUc7WIpQpCF3sXtFotuS0VTLWTV0NCh9Sx1z19092v3UAPd88fHcrKI7yMvyrgoIAw==","signature_status":"signed_v1","signed_at":"2026-06-05T01:15:11.107231Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.12552","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d07cd497eef4cd5a52089123602addf5b91bb092c8d1f5c14705629def0a1b76","sha256:4e5a8b30d47811260957c82bd9e4e2e4528d05e79984247a3e02ca25c586df0b"],"state_sha256":"9fdc9ebd8d7e47f02bd15834291ca81fa35cf388a649356c340f35d3cd79e7c0"}