{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FUFC4EXEQMTUFQVHPIWHUQWNGL","short_pith_number":"pith:FUFC4EXE","canonical_record":{"source":{"id":"2506.07635","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-09T11:01:17Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"8851b5c83201f00562ee996343458546cce76be32f754f2c7d17109b250c31fc","abstract_canon_sha256":"d314fa2474f3a7d8cd1ffd2e63ccb0023fa18a0ab12346baa180c7b86a5fed48"},"schema_version":"1.0"},"canonical_sha256":"2d0a2e12e4832742c2a77a2c7a42cd32dc6514213959f55b8a56c3056e8597e2","source":{"kind":"arxiv","id":"2506.07635","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07635","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07635v2","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07635","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"pith_short_12","alias_value":"FUFC4EXEQMTU","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"pith_short_16","alias_value":"FUFC4EXEQMTUFQVH","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"pith_short_8","alias_value":"FUFC4EXE","created_at":"2026-07-05T11:24:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FUFC4EXEQMTUFQVHPIWHUQWNGL","target":"record","payload":{"canonical_record":{"source":{"id":"2506.07635","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-09T11:01:17Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"8851b5c83201f00562ee996343458546cce76be32f754f2c7d17109b250c31fc","abstract_canon_sha256":"d314fa2474f3a7d8cd1ffd2e63ccb0023fa18a0ab12346baa180c7b86a5fed48"},"schema_version":"1.0"},"canonical_sha256":"2d0a2e12e4832742c2a77a2c7a42cd32dc6514213959f55b8a56c3056e8597e2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:24:22.478668Z","signature_b64":"msxknbNuk/2sjLXjqFERi5Niouvp/2DhM5Il6zEkcHekKepi9/4tANdAJnMu+w+ara+tBeE5HmNsA5714zWfDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2d0a2e12e4832742c2a77a2c7a42cd32dc6514213959f55b8a56c3056e8597e2","last_reissued_at":"2026-07-05T11:24:22.478169Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:24:22.478169Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.07635","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-05T11:24:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U/+VoMVXXme+1FmPeiykA/qkVvOe5T3SgfNAVlrq9ixO2WdJTM/FTuWdltxggEoXPPqIj0FvdZPg0vTwPSHCAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:12:21.085163Z"},"content_sha256":"cb6af483ed2ea9681c9ecabccc1cdaf853937921c0f9029a981b104ecc4001fc","schema_version":"1.0","event_id":"sha256:cb6af483ed2ea9681c9ecabccc1cdaf853937921c0f9029a981b104ecc4001fc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FUFC4EXEQMTUFQVHPIWHUQWNGL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Paolo Zuliani, Sadegh Soudjani, Siwei Hu, Victor Lopata","submitted_at":"2025-06-09T11:01:17Z","abstract_excerpt":"In recent years, various techniques have been explored for the verification of quantum circuits, including the use of barrier certificates, mathematical tools capable of demonstrating the correctness of such systems. These certificates ensure that, starting from initial states and applying the system's dynamics, the system will never reach undesired states. In this paper, we propose a methodology for synthesizing such certificates for quantum circuits using a scenario-based approach, for both finite and infinite time horizons. In addition, our approach can handle uncertainty in the initial sta"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07635","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/2506.07635/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-05T11:24:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FhZuuPv8wTzcKF+3HR5jkQ73IMd67zqjjBDhGRJQH/GvWCwbrAbk5A5JIHHhP7XTbKhsx1Mm/ClSiAnh2emZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T23:12:21.085666Z"},"content_sha256":"3e0791dd3f4a3b2937ef6f11439c36a57e2ed94fca13927db634322bfd35e7ea","schema_version":"1.0","event_id":"sha256:3e0791dd3f4a3b2937ef6f11439c36a57e2ed94fca13927db634322bfd35e7ea"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FUFC4EXEQMTUFQVHPIWHUQWNGL/bundle.json","state_url":"https://pith.science/pith/FUFC4EXEQMTUFQVHPIWHUQWNGL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FUFC4EXEQMTUFQVHPIWHUQWNGL/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-07T23:12:21Z","links":{"resolver":"https://pith.science/pith/FUFC4EXEQMTUFQVHPIWHUQWNGL","bundle":"https://pith.science/pith/FUFC4EXEQMTUFQVHPIWHUQWNGL/bundle.json","state":"https://pith.science/pith/FUFC4EXEQMTUFQVHPIWHUQWNGL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FUFC4EXEQMTUFQVHPIWHUQWNGL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FUFC4EXEQMTUFQVHPIWHUQWNGL","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":"d314fa2474f3a7d8cd1ffd2e63ccb0023fa18a0ab12346baa180c7b86a5fed48","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-09T11:01:17Z","title_canon_sha256":"8851b5c83201f00562ee996343458546cce76be32f754f2c7d17109b250c31fc"},"schema_version":"1.0","source":{"id":"2506.07635","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07635","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07635v2","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07635","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"pith_short_12","alias_value":"FUFC4EXEQMTU","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"pith_short_16","alias_value":"FUFC4EXEQMTUFQVH","created_at":"2026-07-05T11:24:22Z"},{"alias_kind":"pith_short_8","alias_value":"FUFC4EXE","created_at":"2026-07-05T11:24:22Z"}],"graph_snapshots":[{"event_id":"sha256:3e0791dd3f4a3b2937ef6f11439c36a57e2ed94fca13927db634322bfd35e7ea","target":"graph","created_at":"2026-07-05T11:24:22Z","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/2506.07635/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In recent years, various techniques have been explored for the verification of quantum circuits, including the use of barrier certificates, mathematical tools capable of demonstrating the correctness of such systems. These certificates ensure that, starting from initial states and applying the system's dynamics, the system will never reach undesired states. In this paper, we propose a methodology for synthesizing such certificates for quantum circuits using a scenario-based approach, for both finite and infinite time horizons. In addition, our approach can handle uncertainty in the initial sta","authors_text":"Paolo Zuliani, Sadegh Soudjani, Siwei Hu, Victor Lopata","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-09T11:01:17Z","title":"Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07635","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:cb6af483ed2ea9681c9ecabccc1cdaf853937921c0f9029a981b104ecc4001fc","target":"record","created_at":"2026-07-05T11:24:22Z","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":"d314fa2474f3a7d8cd1ffd2e63ccb0023fa18a0ab12346baa180c7b86a5fed48","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-09T11:01:17Z","title_canon_sha256":"8851b5c83201f00562ee996343458546cce76be32f754f2c7d17109b250c31fc"},"schema_version":"1.0","source":{"id":"2506.07635","kind":"arxiv","version":2}},"canonical_sha256":"2d0a2e12e4832742c2a77a2c7a42cd32dc6514213959f55b8a56c3056e8597e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2d0a2e12e4832742c2a77a2c7a42cd32dc6514213959f55b8a56c3056e8597e2","first_computed_at":"2026-07-05T11:24:22.478169Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:24:22.478169Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"msxknbNuk/2sjLXjqFERi5Niouvp/2DhM5Il6zEkcHekKepi9/4tANdAJnMu+w+ara+tBeE5HmNsA5714zWfDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:24:22.478668Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.07635","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb6af483ed2ea9681c9ecabccc1cdaf853937921c0f9029a981b104ecc4001fc","sha256:3e0791dd3f4a3b2937ef6f11439c36a57e2ed94fca13927db634322bfd35e7ea"],"state_sha256":"b51c9493f6c08d133d8c095f259aa98288bcb674049f20ffea8b7634746b8115"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/0lgTWXzYB8QSTvqRNwCuhHKi9ZcGOhO27kSZBzIqGFzACzyxjga9IFWlOgjXY4vG3mJwpf5DtqYQ8YnmnSLBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T23:12:21.090575Z","bundle_sha256":"7914b01d78b3d6608215bb3842b6d18224c3a7bc5e3aee479fa145fb30b32de1"}}