{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IUKKFGMX3UW4G5VSSRAU4VHR45","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":"04b692d3da91519ccef0141466cdb061a6966477af4fa81e7f8e181ad0c3acd5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-08-29T14:53:56Z","title_canon_sha256":"4b6d7a623b3e4914fd4ca10cb90e3cfb99a25d69e80f9be6a8e4f380fe57605a"},"schema_version":"1.0","source":{"id":"2508.21686","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.21686","created_at":"2026-07-05T12:01:47Z"},{"alias_kind":"arxiv_version","alias_value":"2508.21686v1","created_at":"2026-07-05T12:01:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.21686","created_at":"2026-07-05T12:01:47Z"},{"alias_kind":"pith_short_12","alias_value":"IUKKFGMX3UW4","created_at":"2026-07-05T12:01:47Z"},{"alias_kind":"pith_short_16","alias_value":"IUKKFGMX3UW4G5VS","created_at":"2026-07-05T12:01:47Z"},{"alias_kind":"pith_short_8","alias_value":"IUKKFGMX","created_at":"2026-07-05T12:01:47Z"}],"graph_snapshots":[{"event_id":"sha256:e0289d6493ddc980b8c8165b642739625f3192ee033b0fb3b6b9deb082f3406b","target":"graph","created_at":"2026-07-05T12:01:47Z","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/2508.21686/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The quantum approximate optimization algorithm is commonly used to solve combinatorial optimization problems. While unconstrained problems map naturally into the algorithm, incorporating constraints typically requires penalizing constraint violations in the objective function. In this work, we propose an alternative approach that encodes constraints as Boolean expressions in exclusive-sum-of-products (ESOP) form before penalization. We test this method on the maximum independent set problem using graphs with 3 to 20 vertices and find that ESOP constraint formulations achieve higher approximati","authors_text":"Anthony Wilkie, Matthew Brunet, Mostafa Atallah, Rebekah Herrman, Shilpi Shah","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-08-29T14:53:56Z","title":"An Exclusive-Sum-of-Products Pipeline for QAOA"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.21686","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:438947706dd1778ebea4756bd64de897532f4366ebb00f04346b05835f84a561","target":"record","created_at":"2026-07-05T12:01:47Z","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":"04b692d3da91519ccef0141466cdb061a6966477af4fa81e7f8e181ad0c3acd5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-08-29T14:53:56Z","title_canon_sha256":"4b6d7a623b3e4914fd4ca10cb90e3cfb99a25d69e80f9be6a8e4f380fe57605a"},"schema_version":"1.0","source":{"id":"2508.21686","kind":"arxiv","version":1}},"canonical_sha256":"4514a29997dd2dc376b294414e54f1e761c0c71e0e406405fef66fcbdf9045d1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4514a29997dd2dc376b294414e54f1e761c0c71e0e406405fef66fcbdf9045d1","first_computed_at":"2026-07-05T12:01:47.838939Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:01:47.838939Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kbisdG7b2bCMhcbfN5bBDQC93uLUvW/4DpVnAusrBsgAZpEVwB5FjLzvRgSA6nTqXDFndoYIs++d3RLlxOl9BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:01:47.839469Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.21686","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:438947706dd1778ebea4756bd64de897532f4366ebb00f04346b05835f84a561","sha256:e0289d6493ddc980b8c8165b642739625f3192ee033b0fb3b6b9deb082f3406b"],"state_sha256":"8e1e09c66b454bc92d8c8de8abbb91243256da8df8b21ec08a648ea6e716aee4"}