{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:AS7JA4E3BHWWLGHLZHTESZHXGJ","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":"c013566e65bd76d206b5693a5f06cb4ccb05c41f56735283c65dedd7d849d42e","cross_cats_sorted":["math-ph","math.MP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-09-29T13:16:12Z","title_canon_sha256":"fe2cabcd538f924868d8828aa1e3cb581257f4837c1580d26b419d26f35e8626"},"schema_version":"1.0","source":{"id":"2409.19699","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.19699","created_at":"2026-07-05T09:45:55Z"},{"alias_kind":"arxiv_version","alias_value":"2409.19699v2","created_at":"2026-07-05T09:45:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.19699","created_at":"2026-07-05T09:45:55Z"},{"alias_kind":"pith_short_12","alias_value":"AS7JA4E3BHWW","created_at":"2026-07-05T09:45:55Z"},{"alias_kind":"pith_short_16","alias_value":"AS7JA4E3BHWWLGHL","created_at":"2026-07-05T09:45:55Z"},{"alias_kind":"pith_short_8","alias_value":"AS7JA4E3","created_at":"2026-07-05T09:45:55Z"}],"graph_snapshots":[{"event_id":"sha256:a809261e3ba45d3c3bf63ad3902941c380303a45685ad404388412672be97681","target":"graph","created_at":"2026-07-05T09:45:55Z","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/2409.19699/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We address the task of verifying whether a quantum computer, designed to be protected by a specific stabilizer code, correctly encodes the corresponding logical qubits. To achieve this, we develop a general framework for subspace verification and explore several stabilizer code subspaces of practical significance. First, we present two efficient verification strategies for general stabilizer code subspaces, utilizing measurements of their stabilizer generators and stabilizer groups, respectively. Then, building on the observation that certain tests can be conducted in parallel when the subspac","authors_text":"Congcong Zheng, Kun Wang, Ping Xu, Xutao Yu, Zaichen Zhang","cross_cats":["math-ph","math.MP"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-09-29T13:16:12Z","title":"Efficient Verification of Stabilizer Code Subspaces with Local Measurements"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.19699","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:b32be7f167964967ef951efa06eab8c634366cdd64fd3412cffb596dfa182d1b","target":"record","created_at":"2026-07-05T09:45:55Z","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":"c013566e65bd76d206b5693a5f06cb4ccb05c41f56735283c65dedd7d849d42e","cross_cats_sorted":["math-ph","math.MP"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-09-29T13:16:12Z","title_canon_sha256":"fe2cabcd538f924868d8828aa1e3cb581257f4837c1580d26b419d26f35e8626"},"schema_version":"1.0","source":{"id":"2409.19699","kind":"arxiv","version":2}},"canonical_sha256":"04be90709b09ed6598ebc9e64964f7327c304fe8f25fd98ca291aac7dea44e2c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"04be90709b09ed6598ebc9e64964f7327c304fe8f25fd98ca291aac7dea44e2c","first_computed_at":"2026-07-05T09:45:55.457045Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:45:55.457045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qyuXqdGgv/rAVFipPYRQ8uklkoHAYhdjcS3K/Fd/3h2PhWAG5a33U+Gmtprea9Q5REjHrekuujFKA1HRj0PdDA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:45:55.457594Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.19699","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b32be7f167964967ef951efa06eab8c634366cdd64fd3412cffb596dfa182d1b","sha256:a809261e3ba45d3c3bf63ad3902941c380303a45685ad404388412672be97681"],"state_sha256":"76ec72150fb70e18e4e964fb930506944381e470c45e6d07e36a566a6eaa6ee5"}