{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:N2LEJPGZZRX2UKRW3KQZFF6IXZ","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":"07014e85f5ccd2f228a5cc158b5b4c3ff6d55dcac8fc657c71ffd092b1767f3d","cross_cats_sorted":["cond-mat.str-el","hep-th","math-ph","math.AT","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-03-04T11:25:49Z","title_canon_sha256":"3b68997d5a1e10490301b6c54aa39f61c62f0aa87800d93d805af1dc22516bc3"},"schema_version":"1.0","source":{"id":"2303.02382","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.02382","created_at":"2026-07-05T08:42:28Z"},{"alias_kind":"arxiv_version","alias_value":"2303.02382v1","created_at":"2026-07-05T08:42:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.02382","created_at":"2026-07-05T08:42:28Z"},{"alias_kind":"pith_short_12","alias_value":"N2LEJPGZZRX2","created_at":"2026-07-05T08:42:28Z"},{"alias_kind":"pith_short_16","alias_value":"N2LEJPGZZRX2UKRW","created_at":"2026-07-05T08:42:28Z"},{"alias_kind":"pith_short_8","alias_value":"N2LEJPGZ","created_at":"2026-07-05T08:42:28Z"}],"graph_snapshots":[{"event_id":"sha256:02e6c6d6b437a476399f04faaa024e63a3c72da5932e24baa8ddc15acc6b5b89","target":"graph","created_at":"2026-07-05T08:42:28Z","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/2303.02382/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite the evident necessity of topological protection for realizing scalable quantum computers, the conceptual underpinnings of topological quantum logic gates had arguably remained shaky, both regarding their physical realization as well as their information-theoretic nature.\n  Building on recent results on defect branes in string/M-theory and on their holographically dual anyonic defects in condensed matter theory, here we explain how the specification of realistic topological quantum gates, operating by anyon defect braiding in topologically ordered quantum materials, has a surprisingly s","authors_text":"David Jaz Myers, Hisham Sati, Urs Schreiber","cross_cats":["cond-mat.str-el","hep-th","math-ph","math.AT","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-03-04T11:25:49Z","title":"Topological Quantum Gates in Homotopy Type Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.02382","kind":"arxiv","version":1},"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:e173bfae85439d7bcf4aadb9230801b75bb72b9f8eee490dbacc637f358cda5a","target":"record","created_at":"2026-07-05T08:42:28Z","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":"07014e85f5ccd2f228a5cc158b5b4c3ff6d55dcac8fc657c71ffd092b1767f3d","cross_cats_sorted":["cond-mat.str-el","hep-th","math-ph","math.AT","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-03-04T11:25:49Z","title_canon_sha256":"3b68997d5a1e10490301b6c54aa39f61c62f0aa87800d93d805af1dc22516bc3"},"schema_version":"1.0","source":{"id":"2303.02382","kind":"arxiv","version":1}},"canonical_sha256":"6e9644bcd9cc6faa2a36daa19297c8be40b76d6ae413cae459747a3482a591d9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e9644bcd9cc6faa2a36daa19297c8be40b76d6ae413cae459747a3482a591d9","first_computed_at":"2026-07-05T08:42:28.810661Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:42:28.810661Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bKVRpPUOxOhmEqCPz09VpuM3K9A61DVy5kAnN53K8BfZ3S7WbmFV9Zw1Yp8sfCp7QtCIa2v90xKzEvesd/zrAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:42:28.811092Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.02382","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e173bfae85439d7bcf4aadb9230801b75bb72b9f8eee490dbacc637f358cda5a","sha256:02e6c6d6b437a476399f04faaa024e63a3c72da5932e24baa8ddc15acc6b5b89"],"state_sha256":"9bf00e346b6f33eaf8e90a317d54a2cb370baa512560c21711bf382a781cfacb"}