{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:F6ZS4JEKQR7LF3BISVQC2SS5BX","short_pith_number":"pith:F6ZS4JEK","schema_version":"1.0","canonical_sha256":"2fb32e248a847eb2ec2895602d4a5d0dff92a2d096cd9a0f38afb54fa2fdfc00","source":{"kind":"arxiv","id":"1805.01540","version":2},"attestation_state":"computed","paper":{"title":"Shaded tangles for the design and verification of quantum circuits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"David J. Reutter, Jamie Vicary","submitted_at":"2018-05-01T10:44:32Z","abstract_excerpt":"We give a scheme for interpreting shaded tangles as quantum circuits, with the property that if two shaded tangles are ambient isotopic, their corresponding computational effects are identical. We analyze 11 known quantum procedures in this way -- including entanglement manipulation, error correction and teleportation -- and in each case present a fully-topological formal verification, yielding generalized procedures in some cases. We also use our methods to identify 2 new procedures, for topological state transfer and quantum error correction. Our formalism yields in some cases significant ne"},"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":"1805.01540","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-05-01T10:44:32Z","cross_cats_sorted":[],"title_canon_sha256":"90212730dcbe3852271d892d3ae8bf1ae8cfabe2f3cd5f76f4782f1e6bdf81a7","abstract_canon_sha256":"844fd7a793e0f99fb5565cd3ceedeb142315ddcbaa3013d12fc0f2199c664ec9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:30.585936Z","signature_b64":"NkT+aiqefrBchAvj7MJi5FTmVLhHEIIR5Y2CXNwtpAwqRdmqLh5yftrkyOVfGeLjjnzhzlGy32pD/cMjwVO5DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2fb32e248a847eb2ec2895602d4a5d0dff92a2d096cd9a0f38afb54fa2fdfc00","last_reissued_at":"2026-05-17T23:46:30.585406Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:30.585406Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Shaded tangles for the design and verification of quantum circuits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"David J. Reutter, Jamie Vicary","submitted_at":"2018-05-01T10:44:32Z","abstract_excerpt":"We give a scheme for interpreting shaded tangles as quantum circuits, with the property that if two shaded tangles are ambient isotopic, their corresponding computational effects are identical. We analyze 11 known quantum procedures in this way -- including entanglement manipulation, error correction and teleportation -- and in each case present a fully-topological formal verification, yielding generalized procedures in some cases. We also use our methods to identify 2 new procedures, for topological state transfer and quantum error correction. Our formalism yields in some cases significant ne"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.01540","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":""},"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":"1805.01540","created_at":"2026-05-17T23:46:30.585486+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.01540v2","created_at":"2026-05-17T23:46:30.585486+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.01540","created_at":"2026-05-17T23:46:30.585486+00:00"},{"alias_kind":"pith_short_12","alias_value":"F6ZS4JEKQR7L","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_16","alias_value":"F6ZS4JEKQR7LF3BI","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_8","alias_value":"F6ZS4JEK","created_at":"2026-05-18T12:32:22.470017+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/F6ZS4JEKQR7LF3BISVQC2SS5BX","json":"https://pith.science/pith/F6ZS4JEKQR7LF3BISVQC2SS5BX.json","graph_json":"https://pith.science/api/pith-number/F6ZS4JEKQR7LF3BISVQC2SS5BX/graph.json","events_json":"https://pith.science/api/pith-number/F6ZS4JEKQR7LF3BISVQC2SS5BX/events.json","paper":"https://pith.science/paper/F6ZS4JEK"},"agent_actions":{"view_html":"https://pith.science/pith/F6ZS4JEKQR7LF3BISVQC2SS5BX","download_json":"https://pith.science/pith/F6ZS4JEKQR7LF3BISVQC2SS5BX.json","view_paper":"https://pith.science/paper/F6ZS4JEK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.01540&json=true","fetch_graph":"https://pith.science/api/pith-number/F6ZS4JEKQR7LF3BISVQC2SS5BX/graph.json","fetch_events":"https://pith.science/api/pith-number/F6ZS4JEKQR7LF3BISVQC2SS5BX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F6ZS4JEKQR7LF3BISVQC2SS5BX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F6ZS4JEKQR7LF3BISVQC2SS5BX/action/storage_attestation","attest_author":"https://pith.science/pith/F6ZS4JEKQR7LF3BISVQC2SS5BX/action/author_attestation","sign_citation":"https://pith.science/pith/F6ZS4JEKQR7LF3BISVQC2SS5BX/action/citation_signature","submit_replication":"https://pith.science/pith/F6ZS4JEKQR7LF3BISVQC2SS5BX/action/replication_record"}},"created_at":"2026-05-17T23:46:30.585486+00:00","updated_at":"2026-05-17T23:46:30.585486+00:00"}