{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:YOTARCFTFIOQYBAWUPSGPSYHDQ","short_pith_number":"pith:YOTARCFT","canonical_record":{"source":{"id":"1303.2896","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-12T14:28:59Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"f4ee478ad896335f161fab25bf23b711210d83100e8d65eaaea6d0f9a47f6dc8","abstract_canon_sha256":"81d9a2ecfc17553d042d2cbafa27ab5d9196434a83c3cc5b207436b548052178"},"schema_version":"1.0"},"canonical_sha256":"c3a60888b32a1d0c0416a3e467cb071c38eb12df3795a80fa48de3ee1b8c141e","source":{"kind":"arxiv","id":"1303.2896","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.2896","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"arxiv_version","alias_value":"1303.2896v2","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.2896","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"pith_short_12","alias_value":"YOTARCFTFIOQ","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"YOTARCFTFIOQYBAW","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"YOTARCFT","created_at":"2026-05-18T12:28:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:YOTARCFTFIOQYBAWUPSGPSYHDQ","target":"record","payload":{"canonical_record":{"source":{"id":"1303.2896","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-12T14:28:59Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"f4ee478ad896335f161fab25bf23b711210d83100e8d65eaaea6d0f9a47f6dc8","abstract_canon_sha256":"81d9a2ecfc17553d042d2cbafa27ab5d9196434a83c3cc5b207436b548052178"},"schema_version":"1.0"},"canonical_sha256":"c3a60888b32a1d0c0416a3e467cb071c38eb12df3795a80fa48de3ee1b8c141e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:46:04.705342Z","signature_b64":"aWBy7KYJtlhxjWpnMnYrzqviss/PJ5u5q9RWq7dqt27DPqShcJPnuwd8HMWF4Ie9zY+gfuf7oYyC1Pb6pbwdBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3a60888b32a1d0c0416a3e467cb071c38eb12df3795a80fa48de3ee1b8c141e","last_reissued_at":"2026-05-18T02:46:04.704857Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:46:04.704857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.2896","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:46:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EMwzY9o0BDgRUbOuCsxbzin5H3U5EwXYQK9jZK/cab7s4Hx5ZwHz+bmrcKbxgKSH4IydJgnLvX48yUZ5HX72DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T22:42:27.740560Z"},"content_sha256":"bfa28ee12680bda57084129aba634d1d83d6ae0cad6f40188bdd688e146a86eb","schema_version":"1.0","event_id":"sha256:bfa28ee12680bda57084129aba634d1d83d6ae0cad6f40188bdd688e146a86eb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:YOTARCFTFIOQYBAWUPSGPSYHDQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Ittoop Vergheese Puthoor (University of Glasgow), Simon J. Gay (University of Glasgow)","submitted_at":"2013-03-12T14:28:59Z","abstract_excerpt":"We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. We have extended the quantum process calculus to describe d-dimensional quantum systems, which has not been done before. We summarise the necessary theory in the generalisation of quantum gates and Bell states and use the theory to apply the quantum process calculus CQP to quantum protocols, namely qudit teleportation and superdense coding."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.2896","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:46:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cqPPx0neB29kHEBgN+UnBaqjJIPwyfRIiZ844ktx+9ubWlGixMsO61UY/yvx2GqoexNsLDPfZQLxHoUdGO/lDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T22:42:27.740934Z"},"content_sha256":"32eceafef96e62ad0235a0d86d76e8966db1ccf41b0512c9de6580b410bc61e9","schema_version":"1.0","event_id":"sha256:32eceafef96e62ad0235a0d86d76e8966db1ccf41b0512c9de6580b410bc61e9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YOTARCFTFIOQYBAWUPSGPSYHDQ/bundle.json","state_url":"https://pith.science/pith/YOTARCFTFIOQYBAWUPSGPSYHDQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YOTARCFTFIOQYBAWUPSGPSYHDQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-25T22:42:27Z","links":{"resolver":"https://pith.science/pith/YOTARCFTFIOQYBAWUPSGPSYHDQ","bundle":"https://pith.science/pith/YOTARCFTFIOQYBAWUPSGPSYHDQ/bundle.json","state":"https://pith.science/pith/YOTARCFTFIOQYBAWUPSGPSYHDQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YOTARCFTFIOQYBAWUPSGPSYHDQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:YOTARCFTFIOQYBAWUPSGPSYHDQ","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":"81d9a2ecfc17553d042d2cbafa27ab5d9196434a83c3cc5b207436b548052178","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-12T14:28:59Z","title_canon_sha256":"f4ee478ad896335f161fab25bf23b711210d83100e8d65eaaea6d0f9a47f6dc8"},"schema_version":"1.0","source":{"id":"1303.2896","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.2896","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"arxiv_version","alias_value":"1303.2896v2","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.2896","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"pith_short_12","alias_value":"YOTARCFTFIOQ","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"YOTARCFTFIOQYBAW","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"YOTARCFT","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:32eceafef96e62ad0235a0d86d76e8966db1ccf41b0512c9de6580b410bc61e9","target":"graph","created_at":"2026-05-18T02:46:04Z","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"},"paper":{"abstract_excerpt":"We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. We have extended the quantum process calculus to describe d-dimensional quantum systems, which has not been done before. We summarise the necessary theory in the generalisation of quantum gates and Bell states and use the theory to apply the quantum process calculus CQP to quantum protocols, namely qudit teleportation and superdense coding.","authors_text":"Ittoop Vergheese Puthoor (University of Glasgow), Simon J. Gay (University of Glasgow)","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-12T14:28:59Z","title":"Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.2896","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:bfa28ee12680bda57084129aba634d1d83d6ae0cad6f40188bdd688e146a86eb","target":"record","created_at":"2026-05-18T02:46:04Z","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":"81d9a2ecfc17553d042d2cbafa27ab5d9196434a83c3cc5b207436b548052178","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-12T14:28:59Z","title_canon_sha256":"f4ee478ad896335f161fab25bf23b711210d83100e8d65eaaea6d0f9a47f6dc8"},"schema_version":"1.0","source":{"id":"1303.2896","kind":"arxiv","version":2}},"canonical_sha256":"c3a60888b32a1d0c0416a3e467cb071c38eb12df3795a80fa48de3ee1b8c141e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3a60888b32a1d0c0416a3e467cb071c38eb12df3795a80fa48de3ee1b8c141e","first_computed_at":"2026-05-18T02:46:04.704857Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:46:04.704857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aWBy7KYJtlhxjWpnMnYrzqviss/PJ5u5q9RWq7dqt27DPqShcJPnuwd8HMWF4Ie9zY+gfuf7oYyC1Pb6pbwdBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:46:04.705342Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.2896","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bfa28ee12680bda57084129aba634d1d83d6ae0cad6f40188bdd688e146a86eb","sha256:32eceafef96e62ad0235a0d86d76e8966db1ccf41b0512c9de6580b410bc61e9"],"state_sha256":"d531bc88cae17f34dab8c6fd0d64a947a02ae81ce8744abea32043304afba64c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5aY3Wfqe63hduDeklJM8gxvGNTG1fbbVc+0gM+KqtApceI1rKyalLVrpvv6pRHktKClGKa6CnDCmVVTGhXfHAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T22:42:27.742981Z","bundle_sha256":"7bd9832c17452db7815ac1a83cbe5f539e8446e5b4f0c2b1e83bd2e35475ff00"}}