{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2S3OOIBAWRNWXALLGSYOJJUOKC","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":"0c708a76f95481e16710b6eb698c06d0f94e9747aece2d04922058daf889158b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DM","submitted_at":"2026-06-27T05:00:30Z","title_canon_sha256":"ae4d6ea1d061ae09d2338312bfad22c1a28f8da8c466040dba950bede56a830a"},"schema_version":"1.0","source":{"id":"2606.28734","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.28734","created_at":"2026-06-30T01:16:49Z"},{"alias_kind":"arxiv_version","alias_value":"2606.28734v1","created_at":"2026-06-30T01:16:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.28734","created_at":"2026-06-30T01:16:49Z"},{"alias_kind":"pith_short_12","alias_value":"2S3OOIBAWRNW","created_at":"2026-06-30T01:16:49Z"},{"alias_kind":"pith_short_16","alias_value":"2S3OOIBAWRNWXALL","created_at":"2026-06-30T01:16:49Z"},{"alias_kind":"pith_short_8","alias_value":"2S3OOIBA","created_at":"2026-06-30T01:16:49Z"}],"graph_snapshots":[{"event_id":"sha256:1be1627f61c44a907d53482b6dc9d7f2f6a2e08fa494dafe0c935af8f9ad7ed1","target":"graph","created_at":"2026-06-30T01:16:49Z","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/2606.28734/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many combinatorial optimization problems admit quadratic unconstrained binary formulations (QUBO) which can often be relaxed to the box $[0,1]^n$ and optimized using scalable gradient-based methods. However, the resulting non-convex landscape can often contain local optima that are spurious or infeasible. In this paper, we establish sufficient structural conditions on quadratic penalties that rule out these failures, guaranteeing that every local minimizer of the relaxed problem is both binary and feasible. For each problem we study, we examine existing QUBO formulations when available, identi","authors_text":"Chaoyan Huang, Cheng-Han Huang, Ismail Alkhouri, Rongrong Wang, Yongliang Sun","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DM","submitted_at":"2026-06-27T05:00:30Z","title":"Local Minima in Quadratic-Penalty Relaxations of Binary Linear Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.28734","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:01942cc2aadb7bceb19d1dc59f54aa2d49987798c0152e50ed29588dc3c5ad2d","target":"record","created_at":"2026-06-30T01:16:49Z","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":"0c708a76f95481e16710b6eb698c06d0f94e9747aece2d04922058daf889158b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DM","submitted_at":"2026-06-27T05:00:30Z","title_canon_sha256":"ae4d6ea1d061ae09d2338312bfad22c1a28f8da8c466040dba950bede56a830a"},"schema_version":"1.0","source":{"id":"2606.28734","kind":"arxiv","version":1}},"canonical_sha256":"d4b6e72020b45b6b816b34b0e4a68e50b7f2684b56332904fd43e29099dcc4fb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d4b6e72020b45b6b816b34b0e4a68e50b7f2684b56332904fd43e29099dcc4fb","first_computed_at":"2026-06-30T01:16:49.751360Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-30T01:16:49.751360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9WZVbLajXU23nsne6NpIz9f6sug0l3YNCEdIQ9o1Ph1J4Q9FpTrOzVHcUm8tYKRebD4a6c9MvW+Pe1JqbvZ0Bw==","signature_status":"signed_v1","signed_at":"2026-06-30T01:16:49.751900Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.28734","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01942cc2aadb7bceb19d1dc59f54aa2d49987798c0152e50ed29588dc3c5ad2d","sha256:1be1627f61c44a907d53482b6dc9d7f2f6a2e08fa494dafe0c935af8f9ad7ed1"],"state_sha256":"95c58e1c96a8bd0f90d97a353c0185969dd483d361ffc138e5264aaafffb35ad"}