{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:TVVOXWE6ABR2T4BUHX6YGIAOKO","short_pith_number":"pith:TVVOXWE6","schema_version":"1.0","canonical_sha256":"9d6aebd89e0063a9f0343dfd83200e53922428c817a54b2804e9f82aed3c8ac8","source":{"kind":"arxiv","id":"2608.03188","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.03188","created_at":"2026-08-05T00:46:04.589016+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.03188v1","created_at":"2026-08-05T00:46:04.589016+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.03188","created_at":"2026-08-05T00:46:04.589016+00:00"},{"alias_kind":"pith_short_12","alias_value":"TVVOXWE6ABR2","created_at":"2026-08-05T00:46:04.589016+00:00"},{"alias_kind":"pith_short_16","alias_value":"TVVOXWE6ABR2T4BU","created_at":"2026-08-05T00:46:04.589016+00:00"},{"alias_kind":"pith_short_8","alias_value":"TVVOXWE6","created_at":"2026-08-05T00:46:04.589016+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO","json":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO.json","graph_json":"https://pith.science/api/pith-number/TVVOXWE6ABR2T4BUHX6YGIAOKO/graph.json","events_json":"https://pith.science/api/pith-number/TVVOXWE6ABR2T4BUHX6YGIAOKO/events.json","paper":"https://pith.science/paper/TVVOXWE6"},"agent_actions":{"view_html":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO","download_json":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO.json","view_paper":"https://pith.science/paper/TVVOXWE6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.03188&json=true","fetch_graph":"https://pith.science/api/pith-number/TVVOXWE6ABR2T4BUHX6YGIAOKO/graph.json","fetch_events":"https://pith.science/api/pith-number/TVVOXWE6ABR2T4BUHX6YGIAOKO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/action/storage_attestation","attest_author":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/action/author_attestation","sign_citation":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/action/citation_signature","submit_replication":"https://pith.science/pith/TVVOXWE6ABR2T4BUHX6YGIAOKO/action/replication_record"}},"created_at":"2026-08-05T00:46:04.589016+00:00","updated_at":"2026-08-05T00:46:04.589016+00:00"}