{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SM25LDDWGSULIN5NVBGJEB4FH6","short_pith_number":"pith:SM25LDDW","canonical_record":{"source":{"id":"1412.8546","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:02:00Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"51aba5dff5704c32894cb5cd88a43cbb79bc25007968bb06fdb93f3d2b850db4","abstract_canon_sha256":"62b4bfccfc91072a344e3ceeeb020f0c83f8d4c3ac1f3a1135d8c81ac6b51ab6"},"schema_version":"1.0"},"canonical_sha256":"9335d58c7634a8b437ada84c9207853fae712f29795b7d7915b65f1d294c72b8","source":{"kind":"arxiv","id":"1412.8546","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.8546","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"arxiv_version","alias_value":"1412.8546v1","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8546","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"pith_short_12","alias_value":"SM25LDDWGSUL","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SM25LDDWGSULIN5N","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SM25LDDW","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SM25LDDWGSULIN5NVBGJEB4FH6","target":"record","payload":{"canonical_record":{"source":{"id":"1412.8546","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:02:00Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"51aba5dff5704c32894cb5cd88a43cbb79bc25007968bb06fdb93f3d2b850db4","abstract_canon_sha256":"62b4bfccfc91072a344e3ceeeb020f0c83f8d4c3ac1f3a1135d8c81ac6b51ab6"},"schema_version":"1.0"},"canonical_sha256":"9335d58c7634a8b437ada84c9207853fae712f29795b7d7915b65f1d294c72b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:30:17.120897Z","signature_b64":"uSntBhzAB3npE729bJXE5LDzWMviJJ1qM4HHFvxY92rS4tyTNHaULSrAdZ2O9Jvw5IF9yY4fwKfl99PaKk1iDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9335d58c7634a8b437ada84c9207853fae712f29795b7d7915b65f1d294c72b8","last_reissued_at":"2026-05-18T02:30:17.120342Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:30:17.120342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.8546","source_version":1,"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:30:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q1S3UoxuqJqFhLAavDFm5GKrHXhM5JG+YFe12BQ8iVLdzpE8wXobfQyQAyFG4k+svv8LpnDi6M9VQbIdQHRsBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T09:02:55.005893Z"},"content_sha256":"8f2f4cf44969648c21d6c3de9b972e287cd64c7a44e09529e57ba473bd34ee4f","schema_version":"1.0","event_id":"sha256:8f2f4cf44969648c21d6c3de9b972e287cd64c7a44e09529e57ba473bd34ee4f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SM25LDDWGSULIN5NVBGJEB4FH6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Observational Equivalence Using Schedulers for Quantum Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Kazuya Yasuda (The University of Tokyo), Takahiro Kubota (The University of Tokyo), Yoshihiko Kakutani (The University of Tokyo)","submitted_at":"2014-12-30T03:02:00Z","abstract_excerpt":"In the study of quantum process algebras, researchers have introduced different notions of equivalence between quantum processes like bisimulation or barbed congruence. However, there are intuitively equivalent quantum processes that these notions do not regard as equivalent. In this paper, we introduce a notion of equivalence named observational equivalence into qCCS. Since quantum processes have both probabilistic and nondeterministic transitions, we introduce schedulers that solve nondeterministic choices and obtain probability distribution of quantum processes. By definition, the restricti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.8546","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":""},"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:30:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fJPYfmIgG9b2a60Ouu4JyoiOmEBZudnAfoKHohc2FkQP3mEqtpxR+WlWayW4629ZdOoTrd1kVDVdZgdy+fLCDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T09:02:55.006686Z"},"content_sha256":"7e734fa320f8af4b4f40c5509dfb11267676c3870ebb20233379429a46e96d2c","schema_version":"1.0","event_id":"sha256:7e734fa320f8af4b4f40c5509dfb11267676c3870ebb20233379429a46e96d2c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SM25LDDWGSULIN5NVBGJEB4FH6/bundle.json","state_url":"https://pith.science/pith/SM25LDDWGSULIN5NVBGJEB4FH6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SM25LDDWGSULIN5NVBGJEB4FH6/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-08-12T09:02:55Z","links":{"resolver":"https://pith.science/pith/SM25LDDWGSULIN5NVBGJEB4FH6","bundle":"https://pith.science/pith/SM25LDDWGSULIN5NVBGJEB4FH6/bundle.json","state":"https://pith.science/pith/SM25LDDWGSULIN5NVBGJEB4FH6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SM25LDDWGSULIN5NVBGJEB4FH6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SM25LDDWGSULIN5NVBGJEB4FH6","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":"62b4bfccfc91072a344e3ceeeb020f0c83f8d4c3ac1f3a1135d8c81ac6b51ab6","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:02:00Z","title_canon_sha256":"51aba5dff5704c32894cb5cd88a43cbb79bc25007968bb06fdb93f3d2b850db4"},"schema_version":"1.0","source":{"id":"1412.8546","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.8546","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"arxiv_version","alias_value":"1412.8546v1","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8546","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"pith_short_12","alias_value":"SM25LDDWGSUL","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SM25LDDWGSULIN5N","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SM25LDDW","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:7e734fa320f8af4b4f40c5509dfb11267676c3870ebb20233379429a46e96d2c","target":"graph","created_at":"2026-05-18T02:30:17Z","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":"In the study of quantum process algebras, researchers have introduced different notions of equivalence between quantum processes like bisimulation or barbed congruence. However, there are intuitively equivalent quantum processes that these notions do not regard as equivalent. In this paper, we introduce a notion of equivalence named observational equivalence into qCCS. Since quantum processes have both probabilistic and nondeterministic transitions, we introduce schedulers that solve nondeterministic choices and obtain probability distribution of quantum processes. By definition, the restricti","authors_text":"Kazuya Yasuda (The University of Tokyo), Takahiro Kubota (The University of Tokyo), Yoshihiko Kakutani (The University of Tokyo)","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:02:00Z","title":"Observational Equivalence Using Schedulers for Quantum Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.8546","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:8f2f4cf44969648c21d6c3de9b972e287cd64c7a44e09529e57ba473bd34ee4f","target":"record","created_at":"2026-05-18T02:30:17Z","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":"62b4bfccfc91072a344e3ceeeb020f0c83f8d4c3ac1f3a1135d8c81ac6b51ab6","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-12-30T03:02:00Z","title_canon_sha256":"51aba5dff5704c32894cb5cd88a43cbb79bc25007968bb06fdb93f3d2b850db4"},"schema_version":"1.0","source":{"id":"1412.8546","kind":"arxiv","version":1}},"canonical_sha256":"9335d58c7634a8b437ada84c9207853fae712f29795b7d7915b65f1d294c72b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9335d58c7634a8b437ada84c9207853fae712f29795b7d7915b65f1d294c72b8","first_computed_at":"2026-05-18T02:30:17.120342Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:30:17.120342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uSntBhzAB3npE729bJXE5LDzWMviJJ1qM4HHFvxY92rS4tyTNHaULSrAdZ2O9Jvw5IF9yY4fwKfl99PaKk1iDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:30:17.120897Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.8546","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f2f4cf44969648c21d6c3de9b972e287cd64c7a44e09529e57ba473bd34ee4f","sha256:7e734fa320f8af4b4f40c5509dfb11267676c3870ebb20233379429a46e96d2c"],"state_sha256":"1f37c4af495900d93c0e1662eeaad7a9159f0d94d9378e4c4446726a3ed01250"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q9SMLNyKmFiN5YPQjPJcpb/GYPLR1MpUe8e/TD6wURfTYTAiSYp6kkdAd2EfThYSBbomfPf0pXGxoOWQiAHuDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T09:02:55.011353Z","bundle_sha256":"6b06a212967d493ef8d397efa8a900ace5587c3b5093a9d3b7aea6795b3eadfc"}}