{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:VV5QI5JYDC5Z5LWVAYJ3Z47NRD","short_pith_number":"pith:VV5QI5JY","canonical_record":{"source":{"id":"2210.12166","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2022-10-21T18:00:04Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"44f944cf9c430d2249256f446be7e84df4a2b22928defa14e9bc68603889b649","abstract_canon_sha256":"5ef580312e8d38e6cbd15118586949011f0e175cdb64e1b5cb04c1d518a030e3"},"schema_version":"1.0"},"canonical_sha256":"ad7b04753818bb9eaed50613bcf3ed88dd201f4d4fc92318aed6fbd633336605","source":{"kind":"arxiv","id":"2210.12166","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.12166","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"arxiv_version","alias_value":"2210.12166v1","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.12166","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"pith_short_12","alias_value":"VV5QI5JYDC5Z","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"pith_short_16","alias_value":"VV5QI5JYDC5Z5LWV","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"pith_short_8","alias_value":"VV5QI5JY","created_at":"2026-07-05T05:40:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:VV5QI5JYDC5Z5LWVAYJ3Z47NRD","target":"record","payload":{"canonical_record":{"source":{"id":"2210.12166","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2022-10-21T18:00:04Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"44f944cf9c430d2249256f446be7e84df4a2b22928defa14e9bc68603889b649","abstract_canon_sha256":"5ef580312e8d38e6cbd15118586949011f0e175cdb64e1b5cb04c1d518a030e3"},"schema_version":"1.0"},"canonical_sha256":"ad7b04753818bb9eaed50613bcf3ed88dd201f4d4fc92318aed6fbd633336605","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:40:09.384831Z","signature_b64":"h28QI2Y0IOh0LGCzD7Y5tbG+p4rQobxzqFnmSJynCqigDIKY1teKl9MAc7zKpuTpHib3r+VkwJMi1PsGurnRCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad7b04753818bb9eaed50613bcf3ed88dd201f4d4fc92318aed6fbd633336605","last_reissued_at":"2026-07-05T05:40:09.384447Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:40:09.384447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.12166","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-05T05:40:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TPKWiSynihhUvicp0Gf/oBaLgmOMXQULayO7HwBdbWjvn+IRQ4a97fZWklHOLQu2Js4L3P6XxEV+0GkpYd7mCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T23:49:23.231844Z"},"content_sha256":"0d9130f6d2287d070e1ae25b40c4082f4689783de59347604ba669cb2ae3614f","schema_version":"1.0","event_id":"sha256:0d9130f6d2287d070e1ae25b40c4082f4689783de59347604ba669cb2ae3614f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:VV5QI5JYDC5Z5LWVAYJ3Z47NRD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC"],"primary_cat":"quant-ph","authors_text":"Lukas Burgholzer, Robert Wille, Tom Peham","submitted_at":"2022-10-21T18:00:04Z","abstract_excerpt":"Variational quantum algorithms have been introduced as a promising class of quantum-classical hybrid algorithms that can already be used with the noisy quantum computing hardware available today by employing parameterized quantum circuits. Considering the non-trivial nature of quantum circuit compilation and the subtleties of quantum computing, it is essential to verify that these parameterized circuits have been compiled correctly. Established equivalence checking procedures that handle parameter-free circuits already exist. However, no methodology capable of handling circuits with parameters"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.12166","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/2210.12166/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-05T05:40:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YmyhcFCh+FBdZ7kx5rRyxMptcT9MazRg/RO5zwBlMY4JscOK2B4Y3tBX9cLKMHkYW2FUHsq4LplH/dFlsM/sCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T23:49:23.232341Z"},"content_sha256":"3e35ee0f6d8119d26584dae9dd0f26321f34dc2659c872fc189adfdd494882d3","schema_version":"1.0","event_id":"sha256:3e35ee0f6d8119d26584dae9dd0f26321f34dc2659c872fc189adfdd494882d3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VV5QI5JYDC5Z5LWVAYJ3Z47NRD/bundle.json","state_url":"https://pith.science/pith/VV5QI5JYDC5Z5LWVAYJ3Z47NRD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VV5QI5JYDC5Z5LWVAYJ3Z47NRD/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-21T23:49:23Z","links":{"resolver":"https://pith.science/pith/VV5QI5JYDC5Z5LWVAYJ3Z47NRD","bundle":"https://pith.science/pith/VV5QI5JYDC5Z5LWVAYJ3Z47NRD/bundle.json","state":"https://pith.science/pith/VV5QI5JYDC5Z5LWVAYJ3Z47NRD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VV5QI5JYDC5Z5LWVAYJ3Z47NRD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:VV5QI5JYDC5Z5LWVAYJ3Z47NRD","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":"5ef580312e8d38e6cbd15118586949011f0e175cdb64e1b5cb04c1d518a030e3","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2022-10-21T18:00:04Z","title_canon_sha256":"44f944cf9c430d2249256f446be7e84df4a2b22928defa14e9bc68603889b649"},"schema_version":"1.0","source":{"id":"2210.12166","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.12166","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"arxiv_version","alias_value":"2210.12166v1","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.12166","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"pith_short_12","alias_value":"VV5QI5JYDC5Z","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"pith_short_16","alias_value":"VV5QI5JYDC5Z5LWV","created_at":"2026-07-05T05:40:09Z"},{"alias_kind":"pith_short_8","alias_value":"VV5QI5JY","created_at":"2026-07-05T05:40:09Z"}],"graph_snapshots":[{"event_id":"sha256:3e35ee0f6d8119d26584dae9dd0f26321f34dc2659c872fc189adfdd494882d3","target":"graph","created_at":"2026-07-05T05:40:09Z","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/2210.12166/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Variational quantum algorithms have been introduced as a promising class of quantum-classical hybrid algorithms that can already be used with the noisy quantum computing hardware available today by employing parameterized quantum circuits. Considering the non-trivial nature of quantum circuit compilation and the subtleties of quantum computing, it is essential to verify that these parameterized circuits have been compiled correctly. Established equivalence checking procedures that handle parameter-free circuits already exist. However, no methodology capable of handling circuits with parameters","authors_text":"Lukas Burgholzer, Robert Wille, Tom Peham","cross_cats":["cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2022-10-21T18:00:04Z","title":"Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.12166","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:0d9130f6d2287d070e1ae25b40c4082f4689783de59347604ba669cb2ae3614f","target":"record","created_at":"2026-07-05T05:40:09Z","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":"5ef580312e8d38e6cbd15118586949011f0e175cdb64e1b5cb04c1d518a030e3","cross_cats_sorted":["cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2022-10-21T18:00:04Z","title_canon_sha256":"44f944cf9c430d2249256f446be7e84df4a2b22928defa14e9bc68603889b649"},"schema_version":"1.0","source":{"id":"2210.12166","kind":"arxiv","version":1}},"canonical_sha256":"ad7b04753818bb9eaed50613bcf3ed88dd201f4d4fc92318aed6fbd633336605","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad7b04753818bb9eaed50613bcf3ed88dd201f4d4fc92318aed6fbd633336605","first_computed_at":"2026-07-05T05:40:09.384447Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:40:09.384447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h28QI2Y0IOh0LGCzD7Y5tbG+p4rQobxzqFnmSJynCqigDIKY1teKl9MAc7zKpuTpHib3r+VkwJMi1PsGurnRCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:40:09.384831Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.12166","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d9130f6d2287d070e1ae25b40c4082f4689783de59347604ba669cb2ae3614f","sha256:3e35ee0f6d8119d26584dae9dd0f26321f34dc2659c872fc189adfdd494882d3"],"state_sha256":"11a99cbd5e9222809ed243271feaa0d10c75a0dc79a9dce4b310489e1bdacffe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I8uA3xKIUUbXVmO1pEM3k5Ehxlp8z2OkEkYR62YU5iShGRybLWc48fQSiZTLH4J5YrdSAm5FRFTaYqCv8uT2Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T23:49:23.235903Z","bundle_sha256":"58d921acdda41fb6f87d9aabbc7c74176277d93a0653619682eafcd8ef6da638"}}