{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:SLAUZ4TAPCYINHP3PDP74XBJ5S","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":"8e589d0f5bb67b741cc7c0dfe68265ffc41cdda5fa047a08a8e24df417540f35","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2026-02-19T15:47:13Z","title_canon_sha256":"ebb52bc85c6c5c214a04800e6399827261b6b2412cd25cc382bed34157066699"},"schema_version":"1.0","source":{"id":"2602.17479","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.17479","created_at":"2026-07-28T02:23:26Z"},{"alias_kind":"arxiv_version","alias_value":"2602.17479v5","created_at":"2026-07-28T02:23:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.17479","created_at":"2026-07-28T02:23:26Z"},{"alias_kind":"pith_short_12","alias_value":"SLAUZ4TAPCYI","created_at":"2026-07-28T02:23:26Z"},{"alias_kind":"pith_short_16","alias_value":"SLAUZ4TAPCYINHP3","created_at":"2026-07-28T02:23:26Z"},{"alias_kind":"pith_short_8","alias_value":"SLAUZ4TA","created_at":"2026-07-28T02:23:26Z"}],"graph_snapshots":[{"event_id":"sha256:af4f8d7d5b0236f93cd4da6a1082ec7b6f54aceaa16c10176c3813d77776d986","target":"graph","created_at":"2026-07-28T02:23:26Z","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/2602.17479/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Pauli Correlation Encoding (PCE) reduces the qubit requirements of quantum optimization by embedding the problem variables into the expectation values of Pauli observables, so that the number of qubits can be much smaller than the number of variables. PCE has not yet been studied for constrained optimization. We extend it to constrained combinatorial problems, using the budget-constrained MinCut as a case study, and show that the standard formulation fails to reliably enforce the constraint: feasibility hinges on the binarization of the encoded variables, which depends sensitively on hyperpara","authors_text":"Alejandro Borrallo-Rentero, Ant\\'on Rodr\\'iguez-Otero, Jacobo Pad\\'in-Mart\\'inez, Michal Krompiec, Raquel Alfonso-Rodr\\'iguez, Vicente P. Soloviev","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2026-02-19T15:47:13Z","title":"Progressive Binarization - Pauli Correlation Encoding: a Continuation Method for Constrained Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.17479","kind":"arxiv","version":5},"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:fd9e9c46acfc6906d23e997c2d2390e737519c069cb876313153db9166b0a813","target":"record","created_at":"2026-07-28T02:23:26Z","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":"8e589d0f5bb67b741cc7c0dfe68265ffc41cdda5fa047a08a8e24df417540f35","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2026-02-19T15:47:13Z","title_canon_sha256":"ebb52bc85c6c5c214a04800e6399827261b6b2412cd25cc382bed34157066699"},"schema_version":"1.0","source":{"id":"2602.17479","kind":"arxiv","version":5}},"canonical_sha256":"92c14cf26078b0869dfb78dffe5c29eca79cbb66d7eb2bf730a75ce8ffb8d78d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"92c14cf26078b0869dfb78dffe5c29eca79cbb66d7eb2bf730a75ce8ffb8d78d","first_computed_at":"2026-07-28T02:23:26.437928Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-28T02:23:26.437928Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GcuXVgvKEwngcLKwgLmulGLnCwHM8jddf492CtjoiN8FkBmqOGdEoeHHTf5EzaC4nIuAgFFOa3RV4TwVMQOxDQ==","signature_status":"signed_v1","signed_at":"2026-07-28T02:23:26.438932Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.17479","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd9e9c46acfc6906d23e997c2d2390e737519c069cb876313153db9166b0a813","sha256:af4f8d7d5b0236f93cd4da6a1082ec7b6f54aceaa16c10176c3813d77776d986"],"state_sha256":"3b1c429820015fe3816578b3dab2d9fbf6babbb96af49bf24f3006cae5d3ee1f"}