{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:TVVOXWE6ABR2T4BUHX6YGIAOKO","short_pith_number":"pith:TVVOXWE6","canonical_record":{"source":{"id":"2608.03188","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2026-08-04T06:30:34Z","cross_cats_sorted":[],"title_canon_sha256":"dd412e7ab0418053dde0e0c06c168ee4974c58813e36a2e5403a073cf947a71f","abstract_canon_sha256":"f71f9b72060caa913b779c25db30ccbc0f862a3a191452e23716ad8beedd63de"},"schema_version":"1.0"},"canonical_sha256":"9d6aebd89e0063a9f0343dfd83200e53922428c817a54b2804e9f82aed3c8ac8","source":{"kind":"arxiv","id":"2608.03188","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.03188","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"arxiv_version","alias_value":"2608.03188v1","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.03188","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"pith_short_12","alias_value":"TVVOXWE6ABR2","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"pith_short_16","alias_value":"TVVOXWE6ABR2T4BU","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"pith_short_8","alias_value":"TVVOXWE6","created_at":"2026-08-05T00:46:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:TVVOXWE6ABR2T4BUHX6YGIAOKO","target":"record","payload":{"canonical_record":{"source":{"id":"2608.03188","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2026-08-04T06:30:34Z","cross_cats_sorted":[],"title_canon_sha256":"dd412e7ab0418053dde0e0c06c168ee4974c58813e36a2e5403a073cf947a71f","abstract_canon_sha256":"f71f9b72060caa913b779c25db30ccbc0f862a3a191452e23716ad8beedd63de"},"schema_version":"1.0"},"canonical_sha256":"9d6aebd89e0063a9f0343dfd83200e53922428c817a54b2804e9f82aed3c8ac8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-05T00:46:04.590653Z","signature_b64":"c4qiBuFGtFihCBnlt2Heuuqa2FNjQXCVU7kwNoA0dQhhvbB+FXtr7Hv2z0F9PImlaNoAw2XTKVQCN8SKkj6jBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9d6aebd89e0063a9f0343dfd83200e53922428c817a54b2804e9f82aed3c8ac8","last_reissued_at":"2026-08-05T00:46:04.588069Z","signature_status":"signed_v1","first_computed_at":"2026-08-05T00:46:04.588069Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.03188","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-08-05T00:46:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TuD9ZrVquPplBpkmKd8309kHU1W/dPC02SXu+AJIlBRf+ft2TF1a5R+K2Z9Vs88bkTpaCVQQJcM2T2wDulLcCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T01:40:29.740908Z"},"content_sha256":"1355f658df82cb5ebc18485c894280b208c2090ac4d06692e57fa6aa44cc81d0","schema_version":"1.0","event_id":"sha256:1355f658df82cb5ebc18485c894280b208c2090ac4d06692e57fa6aa44cc81d0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:TVVOXWE6ABR2T4BUHX6YGIAOKO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Factorization of Exclusive-Sum-Of-Products Expressions with Rectangle Covering to Reduce Quantum Circuit Cost","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Ali Al-Bayaty, Audrey Hou, Lucia Zhang, Marek Perkowski","submitted_at":"2026-08-04T06:30:34Z","abstract_excerpt":"The implementation of quantum circuits is currently very expensive, especially due to the usage of large Toffoli gates. Therefore, it is critical to optimize circuit costs by factoring expressions as they become more complex. In the proposed algorithms to factor ESOP expressions, each product term is converted into a cell in a 2D matrix, and optimal factored AND/EXOR solutions are determined using Disjoint and Even-Odd Rectangle covering methods. Two Python programs implementing these algorithms were tested and evaluated using well-known benchmarks. The results showed that both the literal cou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.03188","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/2608.03188/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-08-05T00:46:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k309Oq3OAcdEhir+inry7IVo3SV/UmLkLmEnJ2Q6RWGG4VygA0KFqhP0qLwX7fbcrvRO1ZdtMwIBE8CMeYQ+AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T01:40:29.741289Z"},"content_sha256":"8517d0673eaf4c55dc16c51e1d2b84c1bd8be907a65f2c9528af0848c30ffe39","schema_version":"1.0","event_id":"sha256:8517d0673eaf4c55dc16c51e1d2b84c1bd8be907a65f2c9528af0848c30ffe39"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/bundle.json","state_url":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/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-14T01:40:29Z","links":{"resolver":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO","bundle":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/bundle.json","state":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TVVOXWE6ABR2T4BUHX6YGIAOKO","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":"f71f9b72060caa913b779c25db30ccbc0f862a3a191452e23716ad8beedd63de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2026-08-04T06:30:34Z","title_canon_sha256":"dd412e7ab0418053dde0e0c06c168ee4974c58813e36a2e5403a073cf947a71f"},"schema_version":"1.0","source":{"id":"2608.03188","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.03188","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"arxiv_version","alias_value":"2608.03188v1","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.03188","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"pith_short_12","alias_value":"TVVOXWE6ABR2","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"pith_short_16","alias_value":"TVVOXWE6ABR2T4BU","created_at":"2026-08-05T00:46:04Z"},{"alias_kind":"pith_short_8","alias_value":"TVVOXWE6","created_at":"2026-08-05T00:46:04Z"}],"graph_snapshots":[{"event_id":"sha256:8517d0673eaf4c55dc16c51e1d2b84c1bd8be907a65f2c9528af0848c30ffe39","target":"graph","created_at":"2026-08-05T00:46:04Z","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/2608.03188/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The implementation of quantum circuits is currently very expensive, especially due to the usage of large Toffoli gates. Therefore, it is critical to optimize circuit costs by factoring expressions as they become more complex. In the proposed algorithms to factor ESOP expressions, each product term is converted into a cell in a 2D matrix, and optimal factored AND/EXOR solutions are determined using Disjoint and Even-Odd Rectangle covering methods. Two Python programs implementing these algorithms were tested and evaluated using well-known benchmarks. The results showed that both the literal cou","authors_text":"Ali Al-Bayaty, Audrey Hou, Lucia Zhang, Marek Perkowski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2026-08-04T06:30:34Z","title":"Factorization of Exclusive-Sum-Of-Products Expressions with Rectangle Covering to Reduce Quantum Circuit Cost"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.03188","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:1355f658df82cb5ebc18485c894280b208c2090ac4d06692e57fa6aa44cc81d0","target":"record","created_at":"2026-08-05T00:46:04Z","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":"f71f9b72060caa913b779c25db30ccbc0f862a3a191452e23716ad8beedd63de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2026-08-04T06:30:34Z","title_canon_sha256":"dd412e7ab0418053dde0e0c06c168ee4974c58813e36a2e5403a073cf947a71f"},"schema_version":"1.0","source":{"id":"2608.03188","kind":"arxiv","version":1}},"canonical_sha256":"9d6aebd89e0063a9f0343dfd83200e53922428c817a54b2804e9f82aed3c8ac8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9d6aebd89e0063a9f0343dfd83200e53922428c817a54b2804e9f82aed3c8ac8","first_computed_at":"2026-08-05T00:46:04.588069Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-05T00:46:04.588069Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"c4qiBuFGtFihCBnlt2Heuuqa2FNjQXCVU7kwNoA0dQhhvbB+FXtr7Hv2z0F9PImlaNoAw2XTKVQCN8SKkj6jBA==","signature_status":"signed_v1","signed_at":"2026-08-05T00:46:04.590653Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.03188","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1355f658df82cb5ebc18485c894280b208c2090ac4d06692e57fa6aa44cc81d0","sha256:8517d0673eaf4c55dc16c51e1d2b84c1bd8be907a65f2c9528af0848c30ffe39"],"state_sha256":"95deec27a3b7867b8c80a903d43f3cd8288b0c47b19ac61c587e2c20ab92096e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ljxfseTWN+6izwe3G0hkUiM9Aq5ZKYHrT/My48HPu7OauvxAuVAJ34bDf8f6EoKVbGfnTqeQzH9hCUWlxJOjDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T01:40:29.743721Z","bundle_sha256":"2383fd7bcb9525a478262a2e5581d8f32d13054f6f79baf8db157978ffb2e2bb"}}