{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:Z36TCF3AQRBDHDFFCTONRUIGOR","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":"603f1659a9647764cdbaa142198735206a7a11c67b7a8204fcb0f183e0de6d9b","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-02-29T23:18:45Z","title_canon_sha256":"1be64be0558e007fff0a24ecf7bc59d4ecf9e942783ff2595888391b17d4a684"},"schema_version":"1.0","source":{"id":"2403.00182","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.00182","created_at":"2026-07-05T08:18:33Z"},{"alias_kind":"arxiv_version","alias_value":"2403.00182v2","created_at":"2026-07-05T08:18:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.00182","created_at":"2026-07-05T08:18:33Z"},{"alias_kind":"pith_short_12","alias_value":"Z36TCF3AQRBD","created_at":"2026-07-05T08:18:33Z"},{"alias_kind":"pith_short_16","alias_value":"Z36TCF3AQRBDHDFF","created_at":"2026-07-05T08:18:33Z"},{"alias_kind":"pith_short_8","alias_value":"Z36TCF3A","created_at":"2026-07-05T08:18:33Z"}],"graph_snapshots":[{"event_id":"sha256:86a8be8e5f0a32642f1e279849c20948c33afb1d34d69eaeec59fc574a2c16e2","target":"graph","created_at":"2026-07-05T08:18:33Z","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/2403.00182/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Quantum Annealers are basically quantum computers that with high probability can optimize certain quadratic functions on Boolean variables in constant time. These functions are basically the Hamiltonian of Ising models that reach the ground energy state, with a high probability, after an annealing process. They have been proposed as a way to solve SAT.\n  These Hamiltonians can be seen as Max2XOR problems, i.e. as the problem of finding an assignment that maximizes the number of XOR clauses of at most 2 variables that are satisfied. In this paper, we present several gadgets to reduce SAT to Max","authors_text":"Carlos Ans\\'otegui, Jordi Levy","cross_cats":["cs.CC","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-02-29T23:18:45Z","title":"SAT, Gadgets, Max2XOR, and Quantum Annealers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.00182","kind":"arxiv","version":2},"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:cc90b52875a1e61ff30986b76d1d3bbb2110b647f99d5b04105f81aa651466e1","target":"record","created_at":"2026-07-05T08:18:33Z","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":"603f1659a9647764cdbaa142198735206a7a11c67b7a8204fcb0f183e0de6d9b","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-02-29T23:18:45Z","title_canon_sha256":"1be64be0558e007fff0a24ecf7bc59d4ecf9e942783ff2595888391b17d4a684"},"schema_version":"1.0","source":{"id":"2403.00182","kind":"arxiv","version":2}},"canonical_sha256":"cefd3117608442338ca514dcd8d106745f134826d169bd1e11973633dc4ad156","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cefd3117608442338ca514dcd8d106745f134826d169bd1e11973633dc4ad156","first_computed_at":"2026-07-05T08:18:33.325869Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:18:33.325869Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3ax8BB9CKjpEZ9Cb64vF/6zgkIw4uR2Gkj2Fha0YchpJDVxjMMb2httM0YOiBoAS5cbXPqegoydMYzbeEADXDw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:18:33.326387Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.00182","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cc90b52875a1e61ff30986b76d1d3bbb2110b647f99d5b04105f81aa651466e1","sha256:86a8be8e5f0a32642f1e279849c20948c33afb1d34d69eaeec59fc574a2c16e2"],"state_sha256":"178dde55aa4d389b017a7acda0136f53b7b116cd52ab902bb55e26f7b3864b7a"}