{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:RCHZDPJEGCXEOVGZOWQOTK4XQ3","short_pith_number":"pith:RCHZDPJE","canonical_record":{"source":{"id":"2110.07018","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-10-13T20:27:01Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"4ba47e2089668984d497f629f77b8b07bd705bf817e8c09426c383df4e7aa389","abstract_canon_sha256":"04c06ed855ed022f5e460b6c62442fa0f30b158687d3999ca7c8e468b31d85bf"},"schema_version":"1.0"},"canonical_sha256":"888f91bd2430ae4754d975a0e9ab9786cfb6140e9efd77bfc397720b1817e8c3","source":{"kind":"arxiv","id":"2110.07018","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.07018","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"arxiv_version","alias_value":"2110.07018v2","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.07018","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"pith_short_12","alias_value":"RCHZDPJEGCXE","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"pith_short_16","alias_value":"RCHZDPJEGCXEOVGZ","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"pith_short_8","alias_value":"RCHZDPJE","created_at":"2026-07-05T04:09:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:RCHZDPJEGCXEOVGZOWQOTK4XQ3","target":"record","payload":{"canonical_record":{"source":{"id":"2110.07018","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-10-13T20:27:01Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"4ba47e2089668984d497f629f77b8b07bd705bf817e8c09426c383df4e7aa389","abstract_canon_sha256":"04c06ed855ed022f5e460b6c62442fa0f30b158687d3999ca7c8e468b31d85bf"},"schema_version":"1.0"},"canonical_sha256":"888f91bd2430ae4754d975a0e9ab9786cfb6140e9efd77bfc397720b1817e8c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:09:15.813009Z","signature_b64":"346ZG0B8JAJ1TycDnm1eqCtWbiqJAvRPSD88/WcIWs5BPvJLw7j3W3WeoU4e5bNChbTOiZh2+osenTgHGoKdBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"888f91bd2430ae4754d975a0e9ab9786cfb6140e9efd77bfc397720b1817e8c3","last_reissued_at":"2026-07-05T04:09:15.812542Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:09:15.812542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2110.07018","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-07-05T04:09:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7x8rJ0xyQACE9Kep/WKplaIkLLYCULI7IuYsYIywn2IGlkfYlGrt1VhmEHMNNhuGlNqJOp2Xro5Kr/1RsoYTCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T10:49:47.587471Z"},"content_sha256":"85ef1f9b07e614036871599e31527e0b360642b9a605f75b3d23c5c57cfa4b8b","schema_version":"1.0","event_id":"sha256:85ef1f9b07e614036871599e31527e0b360642b9a605f75b3d23c5c57cfa4b8b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:RCHZDPJEGCXEOVGZOWQOTK4XQ3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Mingsheng Ying, Xiaodi Wu, Yuxiang Peng","submitted_at":"2021-10-13T20:27:01Z","abstract_excerpt":"We investigate the algebraic reasoning of quantum programs inspired by the success of classical program analysis based on Kleene algebra. One prominent example of such is the famous Kleene Algebra with Tests (KAT), which has furnished both theoretical insights and practical tools. The succinctness of algebraic reasoning would be especially desirable for scalable analysis of quantum programs, given the involvement of exponential-size matrices in most of the existing methods. A few key features of KAT including the idempotent law and the nice properties of classical tests, however, fail to hold "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.07018","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2110.07018/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"},"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-07-05T04:09:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EpyUdm3kBKlWE9BBt5Mcj4D6FE7Tl5zqAcIBJrOWFXgMFNQRfwlOFCByUhML2zsrgN1wkSJqATphtvqv4M9PCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T10:49:47.588513Z"},"content_sha256":"e61bc6a9fe2efc4275e97ac4576afbb3b55a19dff9c5a9aafaae04b110d14593","schema_version":"1.0","event_id":"sha256:e61bc6a9fe2efc4275e97ac4576afbb3b55a19dff9c5a9aafaae04b110d14593"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RCHZDPJEGCXEOVGZOWQOTK4XQ3/bundle.json","state_url":"https://pith.science/pith/RCHZDPJEGCXEOVGZOWQOTK4XQ3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RCHZDPJEGCXEOVGZOWQOTK4XQ3/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-04T10:49:47Z","links":{"resolver":"https://pith.science/pith/RCHZDPJEGCXEOVGZOWQOTK4XQ3","bundle":"https://pith.science/pith/RCHZDPJEGCXEOVGZOWQOTK4XQ3/bundle.json","state":"https://pith.science/pith/RCHZDPJEGCXEOVGZOWQOTK4XQ3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RCHZDPJEGCXEOVGZOWQOTK4XQ3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:RCHZDPJEGCXEOVGZOWQOTK4XQ3","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":"04c06ed855ed022f5e460b6c62442fa0f30b158687d3999ca7c8e468b31d85bf","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-10-13T20:27:01Z","title_canon_sha256":"4ba47e2089668984d497f629f77b8b07bd705bf817e8c09426c383df4e7aa389"},"schema_version":"1.0","source":{"id":"2110.07018","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2110.07018","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"arxiv_version","alias_value":"2110.07018v2","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2110.07018","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"pith_short_12","alias_value":"RCHZDPJEGCXE","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"pith_short_16","alias_value":"RCHZDPJEGCXEOVGZ","created_at":"2026-07-05T04:09:15Z"},{"alias_kind":"pith_short_8","alias_value":"RCHZDPJE","created_at":"2026-07-05T04:09:15Z"}],"graph_snapshots":[{"event_id":"sha256:e61bc6a9fe2efc4275e97ac4576afbb3b55a19dff9c5a9aafaae04b110d14593","target":"graph","created_at":"2026-07-05T04:09:15Z","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/2110.07018/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We investigate the algebraic reasoning of quantum programs inspired by the success of classical program analysis based on Kleene algebra. One prominent example of such is the famous Kleene Algebra with Tests (KAT), which has furnished both theoretical insights and practical tools. The succinctness of algebraic reasoning would be especially desirable for scalable analysis of quantum programs, given the involvement of exponential-size matrices in most of the existing methods. A few key features of KAT including the idempotent law and the nice properties of classical tests, however, fail to hold ","authors_text":"Mingsheng Ying, Xiaodi Wu, Yuxiang Peng","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-10-13T20:27:01Z","title":"Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2110.07018","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:85ef1f9b07e614036871599e31527e0b360642b9a605f75b3d23c5c57cfa4b8b","target":"record","created_at":"2026-07-05T04:09:15Z","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":"04c06ed855ed022f5e460b6c62442fa0f30b158687d3999ca7c8e468b31d85bf","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-10-13T20:27:01Z","title_canon_sha256":"4ba47e2089668984d497f629f77b8b07bd705bf817e8c09426c383df4e7aa389"},"schema_version":"1.0","source":{"id":"2110.07018","kind":"arxiv","version":2}},"canonical_sha256":"888f91bd2430ae4754d975a0e9ab9786cfb6140e9efd77bfc397720b1817e8c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"888f91bd2430ae4754d975a0e9ab9786cfb6140e9efd77bfc397720b1817e8c3","first_computed_at":"2026-07-05T04:09:15.812542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:09:15.812542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"346ZG0B8JAJ1TycDnm1eqCtWbiqJAvRPSD88/WcIWs5BPvJLw7j3W3WeoU4e5bNChbTOiZh2+osenTgHGoKdBg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:09:15.813009Z","signed_message":"canonical_sha256_bytes"},"source_id":"2110.07018","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85ef1f9b07e614036871599e31527e0b360642b9a605f75b3d23c5c57cfa4b8b","sha256:e61bc6a9fe2efc4275e97ac4576afbb3b55a19dff9c5a9aafaae04b110d14593"],"state_sha256":"84d3a9ca11c8e4faaa688fdc00d1adfc98042449ff9443397f445cb266350887"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u7rZROStuDBvlgi2SjHD0x/W9ttZoNB6sfQ+rZnWnW80K5+KTc6k7050uvSt47TlVRWaMfHl7q8ZAZpszV3eAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T10:49:47.594044Z","bundle_sha256":"f4e373abdf2da1322bec1ccc53e0ace03ac8bd5720b850ca3012912b388aee05"}}