{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:OFCJDN4C3C27WPEKMQK5QJPNDI","short_pith_number":"pith:OFCJDN4C","canonical_record":{"source":{"id":"2106.01658","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2021-06-03T08:03:22Z","cross_cats_sorted":[],"title_canon_sha256":"07a483549a878a8c2379c6573332d21b2274608d2ffe55ee15497d0d9e77f9c0","abstract_canon_sha256":"2f4dcc68c839c12e5017c6c018cbbd4c83b8848231f4d32485c5e95c84f174d2"},"schema_version":"1.0"},"canonical_sha256":"714491b782d8b5fb3c8a6415d825ed1a27cf0264394d43a21d13b334d04339eb","source":{"kind":"arxiv","id":"2106.01658","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.01658","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"arxiv_version","alias_value":"2106.01658v1","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.01658","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"pith_short_12","alias_value":"OFCJDN4C3C27","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"pith_short_16","alias_value":"OFCJDN4C3C27WPEK","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"pith_short_8","alias_value":"OFCJDN4C","created_at":"2026-07-05T02:45:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:OFCJDN4C3C27WPEKMQK5QJPNDI","target":"record","payload":{"canonical_record":{"source":{"id":"2106.01658","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2021-06-03T08:03:22Z","cross_cats_sorted":[],"title_canon_sha256":"07a483549a878a8c2379c6573332d21b2274608d2ffe55ee15497d0d9e77f9c0","abstract_canon_sha256":"2f4dcc68c839c12e5017c6c018cbbd4c83b8848231f4d32485c5e95c84f174d2"},"schema_version":"1.0"},"canonical_sha256":"714491b782d8b5fb3c8a6415d825ed1a27cf0264394d43a21d13b334d04339eb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:45:54.414770Z","signature_b64":"aPWHSnVPXuLJo2mUTtFAK7vyiWL8id5MP3wRDA8uJlnYo29OuboMGusIo4EL/uVWS+mZ7vM8RSkJk+sEvgZfBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"714491b782d8b5fb3c8a6415d825ed1a27cf0264394d43a21d13b334d04339eb","last_reissued_at":"2026-07-05T02:45:54.414336Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:45:54.414336Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2106.01658","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-07-05T02:45:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qj3tl2GCOaLZAYD9QbvlLJqJw8GQiblD4fclOch3Vsq+L/CIUN3ehovLQh+ILjBlfjykGDk/FNAlgLC3700qAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:49:04.150707Z"},"content_sha256":"88110003ec45c1d85e540f680afba16623204cbe7afc3842d15fbb4ebe9c92aa","schema_version":"1.0","event_id":"sha256:88110003ec45c1d85e540f680afba16623204cbe7afc3842d15fbb4ebe9c92aa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:OFCJDN4C3C27WPEKMQK5QJPNDI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Equivalence Checking of Dynamic Quantum Circuits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Mingsheng Ying, Sanjiang Li, Xin Hong, Yuan Feng","submitted_at":"2021-06-03T08:03:22Z","abstract_excerpt":"Despite the rapid development of quantum computing these years, state-of-the-art quantum devices still contain only a very limited number of qubits. One possible way to execute more realistic algorithms in near-term quantum devices is to employ dynamic quantum circuits, in which measurements can happen during the circuit and their outcomes are used to control other parts of the circuit. This technique can help to significantly reduce the resources required to achieve a given accuracy of a quantum algorithm. However, since this type of quantum circuits are more flexible, their verification is m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.01658","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/2106.01658/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-05T02:45:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eVwaLapHrkGy/8lwvV2EFK1W1FmeDUxO5Pe2I5MXl61+r25cccGJDoteJDKGRiQPNUiccB3atCmTCGjap+rrAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:49:04.151202Z"},"content_sha256":"04fcbf3b7dba64e1139f781f36ab9d1ecbc0efb636fe3b91273c029886931b6d","schema_version":"1.0","event_id":"sha256:04fcbf3b7dba64e1139f781f36ab9d1ecbc0efb636fe3b91273c029886931b6d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OFCJDN4C3C27WPEKMQK5QJPNDI/bundle.json","state_url":"https://pith.science/pith/OFCJDN4C3C27WPEKMQK5QJPNDI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OFCJDN4C3C27WPEKMQK5QJPNDI/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-05T02:49:04Z","links":{"resolver":"https://pith.science/pith/OFCJDN4C3C27WPEKMQK5QJPNDI","bundle":"https://pith.science/pith/OFCJDN4C3C27WPEKMQK5QJPNDI/bundle.json","state":"https://pith.science/pith/OFCJDN4C3C27WPEKMQK5QJPNDI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OFCJDN4C3C27WPEKMQK5QJPNDI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:OFCJDN4C3C27WPEKMQK5QJPNDI","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":"2f4dcc68c839c12e5017c6c018cbbd4c83b8848231f4d32485c5e95c84f174d2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2021-06-03T08:03:22Z","title_canon_sha256":"07a483549a878a8c2379c6573332d21b2274608d2ffe55ee15497d0d9e77f9c0"},"schema_version":"1.0","source":{"id":"2106.01658","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.01658","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"arxiv_version","alias_value":"2106.01658v1","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.01658","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"pith_short_12","alias_value":"OFCJDN4C3C27","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"pith_short_16","alias_value":"OFCJDN4C3C27WPEK","created_at":"2026-07-05T02:45:54Z"},{"alias_kind":"pith_short_8","alias_value":"OFCJDN4C","created_at":"2026-07-05T02:45:54Z"}],"graph_snapshots":[{"event_id":"sha256:04fcbf3b7dba64e1139f781f36ab9d1ecbc0efb636fe3b91273c029886931b6d","target":"graph","created_at":"2026-07-05T02:45:54Z","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/2106.01658/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite the rapid development of quantum computing these years, state-of-the-art quantum devices still contain only a very limited number of qubits. One possible way to execute more realistic algorithms in near-term quantum devices is to employ dynamic quantum circuits, in which measurements can happen during the circuit and their outcomes are used to control other parts of the circuit. This technique can help to significantly reduce the resources required to achieve a given accuracy of a quantum algorithm. However, since this type of quantum circuits are more flexible, their verification is m","authors_text":"Mingsheng Ying, Sanjiang Li, Xin Hong, Yuan Feng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2021-06-03T08:03:22Z","title":"Equivalence Checking of Dynamic Quantum Circuits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.01658","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:88110003ec45c1d85e540f680afba16623204cbe7afc3842d15fbb4ebe9c92aa","target":"record","created_at":"2026-07-05T02:45:54Z","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":"2f4dcc68c839c12e5017c6c018cbbd4c83b8848231f4d32485c5e95c84f174d2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2021-06-03T08:03:22Z","title_canon_sha256":"07a483549a878a8c2379c6573332d21b2274608d2ffe55ee15497d0d9e77f9c0"},"schema_version":"1.0","source":{"id":"2106.01658","kind":"arxiv","version":1}},"canonical_sha256":"714491b782d8b5fb3c8a6415d825ed1a27cf0264394d43a21d13b334d04339eb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"714491b782d8b5fb3c8a6415d825ed1a27cf0264394d43a21d13b334d04339eb","first_computed_at":"2026-07-05T02:45:54.414336Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:45:54.414336Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aPWHSnVPXuLJo2mUTtFAK7vyiWL8id5MP3wRDA8uJlnYo29OuboMGusIo4EL/uVWS+mZ7vM8RSkJk+sEvgZfBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:45:54.414770Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.01658","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:88110003ec45c1d85e540f680afba16623204cbe7afc3842d15fbb4ebe9c92aa","sha256:04fcbf3b7dba64e1139f781f36ab9d1ecbc0efb636fe3b91273c029886931b6d"],"state_sha256":"65f3e384354be61dedb836a8c238e9174c9768728cd70f6780b2222849d243f1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YAeDZcPRQlTgEyv7bCCbqzCsOdwED+0hFNt59lmnEi7+SkuDH36+WmzURVrW9GdN+e3CGqYtovHehSy0MOu8AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T02:49:04.154999Z","bundle_sha256":"b88ed9ae644ff918fab66e25c3422be10665c9fc41953861edc0ccfbe02d6d92"}}