{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:RFMF5U2BE3VDNB352I5JKBC3RH","short_pith_number":"pith:RFMF5U2B","canonical_record":{"source":{"id":"2408.07591","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-08-14T14:42:55Z","cross_cats_sorted":["cs.LO","cs.SY","eess.SY"],"title_canon_sha256":"e399eada53da3a75c5d0be6e4c92b1bbdaef875a5945808142fe7d42ae15c386","abstract_canon_sha256":"03b3b6387349e7d8e97eb3080acb2d8e434f6ffbe1ffe54b8b8f105b3e444f9c"},"schema_version":"1.0"},"canonical_sha256":"89585ed34126ea36877dd23a95045b89f2d0cf7e199d88e62325a89f3a2a119c","source":{"kind":"arxiv","id":"2408.07591","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.07591","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"arxiv_version","alias_value":"2408.07591v1","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.07591","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"pith_short_12","alias_value":"RFMF5U2BE3VD","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"pith_short_16","alias_value":"RFMF5U2BE3VDNB35","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"pith_short_8","alias_value":"RFMF5U2B","created_at":"2026-07-05T08:55:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:RFMF5U2BE3VDNB352I5JKBC3RH","target":"record","payload":{"canonical_record":{"source":{"id":"2408.07591","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-08-14T14:42:55Z","cross_cats_sorted":["cs.LO","cs.SY","eess.SY"],"title_canon_sha256":"e399eada53da3a75c5d0be6e4c92b1bbdaef875a5945808142fe7d42ae15c386","abstract_canon_sha256":"03b3b6387349e7d8e97eb3080acb2d8e434f6ffbe1ffe54b8b8f105b3e444f9c"},"schema_version":"1.0"},"canonical_sha256":"89585ed34126ea36877dd23a95045b89f2d0cf7e199d88e62325a89f3a2a119c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:55:27.477153Z","signature_b64":"8qQOi0uDCvLmUZlPY0qUfVp/hqyLBer3Tue7eUQo0y1Tqh/RwJkDOGq7Eay6zAgNsbrgVn8VLxtENI+vDx9NAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"89585ed34126ea36877dd23a95045b89f2d0cf7e199d88e62325a89f3a2a119c","last_reissued_at":"2026-07-05T08:55:27.476761Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:55:27.476761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.07591","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-05T08:55:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BLQMUx8HewYY42WyVW0AAXCDDpUMinnNihshiUzJtUOxC11ZrScyB1HR5zSOh7CZMnJHxhtVUx6gljrT8ICeCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:52:27.086875Z"},"content_sha256":"78a471d1cdd59843ecd9d4377f84fc2b6bfb4b79a905d2c7c7dde659fe682832","schema_version":"1.0","event_id":"sha256:78a471d1cdd59843ecd9d4377f84fc2b6bfb4b79a905d2c7c7dde659fe682832"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:RFMF5U2BE3VDNB352I5JKBC3RH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification of Quantum Circuits through Discrete-Time Barrier Certificates","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.SY","eess.SY"],"primary_cat":"quant-ph","authors_text":"Marco Lewis, Paolo Zuliani, Sadegh Soudjani","submitted_at":"2024-08-14T14:42:55Z","abstract_excerpt":"Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, this paper employs and extends the concepts from the verification of dynamical systems to verify properties of quantum circuits. Our main contribution is to propose k-inductive barrier certificates over complex variables and show how to compute them using Hermitian Sum of Squares optimization. We apply this new technique to verify properties of different quantum circuits."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.07591","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/2408.07591/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-05T08:55:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K+TQ4foMCqBsCkTSviYxaIFOjPcQ/JJ0AgDaoC+GNLP745+0llDLczsry8dm8gxclitbU99rV9wsUecZvGdCDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:52:27.087386Z"},"content_sha256":"c484851e4f50e3d765a8c657185784ce7b0954c28dd516db5716e44db7e4178d","schema_version":"1.0","event_id":"sha256:c484851e4f50e3d765a8c657185784ce7b0954c28dd516db5716e44db7e4178d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RFMF5U2BE3VDNB352I5JKBC3RH/bundle.json","state_url":"https://pith.science/pith/RFMF5U2BE3VDNB352I5JKBC3RH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RFMF5U2BE3VDNB352I5JKBC3RH/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-08T12:52:27Z","links":{"resolver":"https://pith.science/pith/RFMF5U2BE3VDNB352I5JKBC3RH","bundle":"https://pith.science/pith/RFMF5U2BE3VDNB352I5JKBC3RH/bundle.json","state":"https://pith.science/pith/RFMF5U2BE3VDNB352I5JKBC3RH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RFMF5U2BE3VDNB352I5JKBC3RH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:RFMF5U2BE3VDNB352I5JKBC3RH","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":"03b3b6387349e7d8e97eb3080acb2d8e434f6ffbe1ffe54b8b8f105b3e444f9c","cross_cats_sorted":["cs.LO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-08-14T14:42:55Z","title_canon_sha256":"e399eada53da3a75c5d0be6e4c92b1bbdaef875a5945808142fe7d42ae15c386"},"schema_version":"1.0","source":{"id":"2408.07591","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.07591","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"arxiv_version","alias_value":"2408.07591v1","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.07591","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"pith_short_12","alias_value":"RFMF5U2BE3VD","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"pith_short_16","alias_value":"RFMF5U2BE3VDNB35","created_at":"2026-07-05T08:55:27Z"},{"alias_kind":"pith_short_8","alias_value":"RFMF5U2B","created_at":"2026-07-05T08:55:27Z"}],"graph_snapshots":[{"event_id":"sha256:c484851e4f50e3d765a8c657185784ce7b0954c28dd516db5716e44db7e4178d","target":"graph","created_at":"2026-07-05T08:55:27Z","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/2408.07591/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, this paper employs and extends the concepts from the verification of dynamical systems to verify properties of quantum circuits. Our main contribution is to propose k-inductive barrier certificates over complex variables and show how to compute them using Hermitian Sum of Squares optimization. We apply this new technique to verify properties of different quantum circuits.","authors_text":"Marco Lewis, Paolo Zuliani, Sadegh Soudjani","cross_cats":["cs.LO","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-08-14T14:42:55Z","title":"Verification of Quantum Circuits through Discrete-Time Barrier Certificates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.07591","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:78a471d1cdd59843ecd9d4377f84fc2b6bfb4b79a905d2c7c7dde659fe682832","target":"record","created_at":"2026-07-05T08:55:27Z","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":"03b3b6387349e7d8e97eb3080acb2d8e434f6ffbe1ffe54b8b8f105b3e444f9c","cross_cats_sorted":["cs.LO","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-08-14T14:42:55Z","title_canon_sha256":"e399eada53da3a75c5d0be6e4c92b1bbdaef875a5945808142fe7d42ae15c386"},"schema_version":"1.0","source":{"id":"2408.07591","kind":"arxiv","version":1}},"canonical_sha256":"89585ed34126ea36877dd23a95045b89f2d0cf7e199d88e62325a89f3a2a119c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"89585ed34126ea36877dd23a95045b89f2d0cf7e199d88e62325a89f3a2a119c","first_computed_at":"2026-07-05T08:55:27.476761Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:55:27.476761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8qQOi0uDCvLmUZlPY0qUfVp/hqyLBer3Tue7eUQo0y1Tqh/RwJkDOGq7Eay6zAgNsbrgVn8VLxtENI+vDx9NAA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:55:27.477153Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.07591","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:78a471d1cdd59843ecd9d4377f84fc2b6bfb4b79a905d2c7c7dde659fe682832","sha256:c484851e4f50e3d765a8c657185784ce7b0954c28dd516db5716e44db7e4178d"],"state_sha256":"5333ca97b6cf740f82532e255a77c16f9ea0382a37123795ada70851b8154c49"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1LDyqKSoIw5v2OkeKX4kVhF+QhRjTjaznudvnJiZOYsH9PO+kZ/gOUXsUJzBsSCavla7aHOdwLugvsH//T7qAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T12:52:27.091942Z","bundle_sha256":"f81818869e9ab6634529390913a7f40f6d6a33716b0a5bf474394cf7512d454d"}}