{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4XEOT6IM6UPHGILZHZV442DDIH","short_pith_number":"pith:4XEOT6IM","canonical_record":{"source":{"id":"2410.18540","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-10-24T08:39:39Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"921bc3a05c971b66acb0c22c5cbef0c1a3f5a11347eb3a360fee050de094eb56","abstract_canon_sha256":"2e939c882c701103816a962c975a0e68977ddb941c930f4a7bff47b63d7bc8a9"},"schema_version":"1.0"},"canonical_sha256":"e5c8e9f90cf51e7321793e6bce686341d92cbc5dd9326147433e12fb80262470","source":{"kind":"arxiv","id":"2410.18540","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.18540","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"arxiv_version","alias_value":"2410.18540v1","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.18540","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"pith_short_12","alias_value":"4XEOT6IM6UPH","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"pith_short_16","alias_value":"4XEOT6IM6UPHGILZ","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"pith_short_8","alias_value":"4XEOT6IM","created_at":"2026-07-05T09:25:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4XEOT6IM6UPHGILZHZV442DDIH","target":"record","payload":{"canonical_record":{"source":{"id":"2410.18540","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-10-24T08:39:39Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"921bc3a05c971b66acb0c22c5cbef0c1a3f5a11347eb3a360fee050de094eb56","abstract_canon_sha256":"2e939c882c701103816a962c975a0e68977ddb941c930f4a7bff47b63d7bc8a9"},"schema_version":"1.0"},"canonical_sha256":"e5c8e9f90cf51e7321793e6bce686341d92cbc5dd9326147433e12fb80262470","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:25:09.994109Z","signature_b64":"IxxkgWE7QsP1Sgg+soIvZMZlUqifI9evhobCcQTXsUVNuTGv2ZBdjkqTRXMqHiorjaCSb8NroNybfqI7t4mxDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e5c8e9f90cf51e7321793e6bce686341d92cbc5dd9326147433e12fb80262470","last_reissued_at":"2026-07-05T09:25:09.993583Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:25:09.993583Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.18540","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-05T09:25:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"039NJIAtEedOunYd8D4ieXscckfEuBamTzNa9SpvODlFHrdXRnr20LQtmNuNXZsI3YPSa9eCAwUdnYsDv2ckBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T19:12:52.424410Z"},"content_sha256":"e2e3d201df1ce1df4e87e0d9202baa89ee59417047189963b09d0c85264c6f30","schema_version":"1.0","event_id":"sha256:e2e3d201df1ce1df4e87e0d9202baa89ee59417047189963b09d0c85264c6f30"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4XEOT6IM6UPHGILZHZV442DDIH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Fang-Yi Lo, Jyun-Ao Lin, Luk\\'a\\v{s} Hol\\'ik, Ond\\v{r}ej Leng\\'al, Parosh Aziz Abdulla, Wei-Lun Tsai, Yo-Ga Chen, Yu-Fang Chen","submitted_at":"2024-10-24T08:39:39Z","abstract_excerpt":"We present a new method for the verification of quantum circuits based on a novel symbolic representation of sets of quantum states using level-synchronized tree automata (LSTAs). LSTAs extend classical tree automata by labeling each transition with a set of choices, which are then used to synchronize subtrees of an accepted tree. Compared to the traditional tree automata, LSTAs have an incomparable expressive power while maintaining important properties, such as closure under union and intersection, and decidable language emptiness and inclusion. We have developed an efficient and fully autom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.18540","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/2410.18540/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-05T09:25:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fxgGbIGokcz5sNhsRRbfS59lZeSCflprR/r4bNgOuc/s9t39V6stgxSvpaCu3DsF/94HP5xZamZ+Q4Mbn81JAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T19:12:52.424787Z"},"content_sha256":"de619ad3f8aa76a4a21113416b8a7a949b6fcc8a92c2f4a71540b4aa6ea5f1ce","schema_version":"1.0","event_id":"sha256:de619ad3f8aa76a4a21113416b8a7a949b6fcc8a92c2f4a71540b4aa6ea5f1ce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4XEOT6IM6UPHGILZHZV442DDIH/bundle.json","state_url":"https://pith.science/pith/4XEOT6IM6UPHGILZHZV442DDIH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4XEOT6IM6UPHGILZHZV442DDIH/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-07-08T19:12:52Z","links":{"resolver":"https://pith.science/pith/4XEOT6IM6UPHGILZHZV442DDIH","bundle":"https://pith.science/pith/4XEOT6IM6UPHGILZHZV442DDIH/bundle.json","state":"https://pith.science/pith/4XEOT6IM6UPHGILZHZV442DDIH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4XEOT6IM6UPHGILZHZV442DDIH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4XEOT6IM6UPHGILZHZV442DDIH","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":"2e939c882c701103816a962c975a0e68977ddb941c930f4a7bff47b63d7bc8a9","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-10-24T08:39:39Z","title_canon_sha256":"921bc3a05c971b66acb0c22c5cbef0c1a3f5a11347eb3a360fee050de094eb56"},"schema_version":"1.0","source":{"id":"2410.18540","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.18540","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"arxiv_version","alias_value":"2410.18540v1","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.18540","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"pith_short_12","alias_value":"4XEOT6IM6UPH","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"pith_short_16","alias_value":"4XEOT6IM6UPHGILZ","created_at":"2026-07-05T09:25:09Z"},{"alias_kind":"pith_short_8","alias_value":"4XEOT6IM","created_at":"2026-07-05T09:25:09Z"}],"graph_snapshots":[{"event_id":"sha256:de619ad3f8aa76a4a21113416b8a7a949b6fcc8a92c2f4a71540b4aa6ea5f1ce","target":"graph","created_at":"2026-07-05T09:25: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/2410.18540/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a new method for the verification of quantum circuits based on a novel symbolic representation of sets of quantum states using level-synchronized tree automata (LSTAs). LSTAs extend classical tree automata by labeling each transition with a set of choices, which are then used to synchronize subtrees of an accepted tree. Compared to the traditional tree automata, LSTAs have an incomparable expressive power while maintaining important properties, such as closure under union and intersection, and decidable language emptiness and inclusion. We have developed an efficient and fully autom","authors_text":"Fang-Yi Lo, Jyun-Ao Lin, Luk\\'a\\v{s} Hol\\'ik, Ond\\v{r}ej Leng\\'al, Parosh Aziz Abdulla, Wei-Lun Tsai, Yo-Ga Chen, Yu-Fang Chen","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-10-24T08:39:39Z","title":"Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.18540","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:e2e3d201df1ce1df4e87e0d9202baa89ee59417047189963b09d0c85264c6f30","target":"record","created_at":"2026-07-05T09:25: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":"2e939c882c701103816a962c975a0e68977ddb941c930f4a7bff47b63d7bc8a9","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-10-24T08:39:39Z","title_canon_sha256":"921bc3a05c971b66acb0c22c5cbef0c1a3f5a11347eb3a360fee050de094eb56"},"schema_version":"1.0","source":{"id":"2410.18540","kind":"arxiv","version":1}},"canonical_sha256":"e5c8e9f90cf51e7321793e6bce686341d92cbc5dd9326147433e12fb80262470","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e5c8e9f90cf51e7321793e6bce686341d92cbc5dd9326147433e12fb80262470","first_computed_at":"2026-07-05T09:25:09.993583Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:25:09.993583Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IxxkgWE7QsP1Sgg+soIvZMZlUqifI9evhobCcQTXsUVNuTGv2ZBdjkqTRXMqHiorjaCSb8NroNybfqI7t4mxDw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:25:09.994109Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.18540","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e2e3d201df1ce1df4e87e0d9202baa89ee59417047189963b09d0c85264c6f30","sha256:de619ad3f8aa76a4a21113416b8a7a949b6fcc8a92c2f4a71540b4aa6ea5f1ce"],"state_sha256":"c626f40e978dc259ae620dc42938e0f325ebe4fcb36585b187aca19154b73d5b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"taz3tRgGom8hXIpFt7hLYzpkwsDXnAwAPty1FUEsDJDdZsIO7C2X3obssHziyLhnHovAwRn0Saj29nPKbq8IBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T19:12:52.427055Z","bundle_sha256":"fd2e466338fbedd19510907bd3c4083e75e5ea1cdb9b002a2ab3c2adc03c17ab"}}