{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:DUIR4LCGGWH53OS43Z3OFZBZCT","short_pith_number":"pith:DUIR4LCG","schema_version":"1.0","canonical_sha256":"1d111e2c46358fddba5cde76e2e43914e64b784d350008fe5504cd06c69c8f4f","source":{"kind":"arxiv","id":"2101.03608","version":1},"attestation_state":"computed","paper":{"title":"Quantum Theory from Principles, Quantum Software from Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"John van de Wetering","submitted_at":"2021-01-10T19:17:05Z","abstract_excerpt":"This thesis consists of two parts. The first part is about how quantum theory can be recovered from first principles, while the second part is about the application of diagrammatic reasoning, specifically the ZX-calculus, to practical problems in quantum computing. The main results of the first part include a reconstruction of quantum theory from principles related to properties of sequential measurement and a reconstruction based on properties of pure maps and the mathematics of effectus theory. It also includes a detailed study of JBW-algebras, a type of infinite-dimensional Jordan algebra m"},"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":"2101.03608","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2021-01-10T19:17:05Z","cross_cats_sorted":[],"title_canon_sha256":"655b45f42e1f8913dd185f0a1c62e65ff81048f85d82ca23873f99ccb75bb6b5","abstract_canon_sha256":"9fe097534ddb64bcb3e181fa1920a10169303df991035045456cca4d093924a4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:05:51.912827Z","signature_b64":"WhAPDBWkz+nsbRAcq5EJJqLuPQ5orjIZJ+1MkuymRtiJYLHk4u1pBvB829zt8sDFrJJFmIL2AejLI11IfWcBBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d111e2c46358fddba5cde76e2e43914e64b784d350008fe5504cd06c69c8f4f","last_reissued_at":"2026-07-05T02:05:51.912356Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:05:51.912356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantum Theory from Principles, Quantum Software from Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"John van de Wetering","submitted_at":"2021-01-10T19:17:05Z","abstract_excerpt":"This thesis consists of two parts. The first part is about how quantum theory can be recovered from first principles, while the second part is about the application of diagrammatic reasoning, specifically the ZX-calculus, to practical problems in quantum computing. The main results of the first part include a reconstruction of quantum theory from principles related to properties of sequential measurement and a reconstruction based on properties of pure maps and the mathematics of effectus theory. It also includes a detailed study of JBW-algebras, a type of infinite-dimensional Jordan algebra m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.03608","kind":"arxiv","version":1},"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/2101.03608/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":"2101.03608","created_at":"2026-07-05T02:05:51.912424+00:00"},{"alias_kind":"arxiv_version","alias_value":"2101.03608v1","created_at":"2026-07-05T02:05:51.912424+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.03608","created_at":"2026-07-05T02:05:51.912424+00:00"},{"alias_kind":"pith_short_12","alias_value":"DUIR4LCGGWH5","created_at":"2026-07-05T02:05:51.912424+00:00"},{"alias_kind":"pith_short_16","alias_value":"DUIR4LCGGWH53OS4","created_at":"2026-07-05T02:05:51.912424+00:00"},{"alias_kind":"pith_short_8","alias_value":"DUIR4LCG","created_at":"2026-07-05T02:05:51.912424+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.01745","citing_title":"Beyond morphophoricity: $s$-tight IC measurements in geometric generalised probabilistic theories","ref_index":31,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DUIR4LCGGWH53OS43Z3OFZBZCT","json":"https://pith.science/pith/DUIR4LCGGWH53OS43Z3OFZBZCT.json","graph_json":"https://pith.science/api/pith-number/DUIR4LCGGWH53OS43Z3OFZBZCT/graph.json","events_json":"https://pith.science/api/pith-number/DUIR4LCGGWH53OS43Z3OFZBZCT/events.json","paper":"https://pith.science/paper/DUIR4LCG"},"agent_actions":{"view_html":"https://pith.science/pith/DUIR4LCGGWH53OS43Z3OFZBZCT","download_json":"https://pith.science/pith/DUIR4LCGGWH53OS43Z3OFZBZCT.json","view_paper":"https://pith.science/paper/DUIR4LCG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2101.03608&json=true","fetch_graph":"https://pith.science/api/pith-number/DUIR4LCGGWH53OS43Z3OFZBZCT/graph.json","fetch_events":"https://pith.science/api/pith-number/DUIR4LCGGWH53OS43Z3OFZBZCT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DUIR4LCGGWH53OS43Z3OFZBZCT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DUIR4LCGGWH53OS43Z3OFZBZCT/action/storage_attestation","attest_author":"https://pith.science/pith/DUIR4LCGGWH53OS43Z3OFZBZCT/action/author_attestation","sign_citation":"https://pith.science/pith/DUIR4LCGGWH53OS43Z3OFZBZCT/action/citation_signature","submit_replication":"https://pith.science/pith/DUIR4LCGGWH53OS43Z3OFZBZCT/action/replication_record"}},"created_at":"2026-07-05T02:05:51.912424+00:00","updated_at":"2026-07-05T02:05:51.912424+00:00"}