{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:SX7PTJJO5TITV6I7PI3VZIVUDH","short_pith_number":"pith:SX7PTJJO","schema_version":"1.0","canonical_sha256":"95fef9a52eecd13af91f7a375ca2b419ddd0bf3fc894d1651db18fac0d697fd8","source":{"kind":"arxiv","id":"2507.23621","version":1},"attestation_state":"computed","paper":{"title":"How to Incorporate Higher-order Interactions in Analog Ising Machines","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP","nlin.AO","nlin.CG","physics.app-ph"],"primary_cat":"cond-mat.stat-mech","authors_text":"Guy Van der Sande, Peter Bienstman, Robbe De Prins, Thomas Van Vaerenbergh","submitted_at":"2025-07-31T15:02:25Z","abstract_excerpt":"Ising machines (IMs) are specialized devices designed to efficiently solve combinatorial optimization problems. Among such problems, Boolean Satisfiability (SAT) is particularly relevant in industrial applications. To solve SAT problems using IMs, it is crucial to incorporate higher-order interactions. However, in analog IMs, interactions of different orders scale unevenly with the continuous spin amplitudes, introducing imbalances that can significantly degrade performance. We present a numerical comparison of methods to mitigate these imbalances, evaluating time-to-solution and success rate "},"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":"2507.23621","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cond-mat.stat-mech","submitted_at":"2025-07-31T15:02:25Z","cross_cats_sorted":["math-ph","math.MP","nlin.AO","nlin.CG","physics.app-ph"],"title_canon_sha256":"d4665f5b8f17d0c6bfdc5098c0f739675118fc5a6f8a448dc1d6e26bb7866a31","abstract_canon_sha256":"6f736269e1bc07c043fbb9a673d5f3b35bb122d4ad2ad4c57f4a9745074acef1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:46:28.162307Z","signature_b64":"FP99kfsXZlohmdA7IDT/qgZSNWh8n+oIKfTQlgYtqNy+a1279APjkHv1OwIBxlHeL63CD4pEasA6cD/S9iukDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95fef9a52eecd13af91f7a375ca2b419ddd0bf3fc894d1651db18fac0d697fd8","last_reissued_at":"2026-07-05T11:46:28.161852Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:46:28.161852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"How to Incorporate Higher-order Interactions in Analog Ising Machines","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP","nlin.AO","nlin.CG","physics.app-ph"],"primary_cat":"cond-mat.stat-mech","authors_text":"Guy Van der Sande, Peter Bienstman, Robbe De Prins, Thomas Van Vaerenbergh","submitted_at":"2025-07-31T15:02:25Z","abstract_excerpt":"Ising machines (IMs) are specialized devices designed to efficiently solve combinatorial optimization problems. Among such problems, Boolean Satisfiability (SAT) is particularly relevant in industrial applications. To solve SAT problems using IMs, it is crucial to incorporate higher-order interactions. However, in analog IMs, interactions of different orders scale unevenly with the continuous spin amplitudes, introducing imbalances that can significantly degrade performance. We present a numerical comparison of methods to mitigate these imbalances, evaluating time-to-solution and success rate "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.23621","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/2507.23621/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":"2507.23621","created_at":"2026-07-05T11:46:28.161911+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.23621v1","created_at":"2026-07-05T11:46:28.161911+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.23621","created_at":"2026-07-05T11:46:28.161911+00:00"},{"alias_kind":"pith_short_12","alias_value":"SX7PTJJO5TIT","created_at":"2026-07-05T11:46:28.161911+00:00"},{"alias_kind":"pith_short_16","alias_value":"SX7PTJJO5TITV6I7","created_at":"2026-07-05T11:46:28.161911+00:00"},{"alias_kind":"pith_short_8","alias_value":"SX7PTJJO","created_at":"2026-07-05T11:46:28.161911+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2508.00565","citing_title":"A More Convex Ising Formulation of Max-3-Cut Using Higher-Order Spin Interactions","ref_index":42,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SX7PTJJO5TITV6I7PI3VZIVUDH","json":"https://pith.science/pith/SX7PTJJO5TITV6I7PI3VZIVUDH.json","graph_json":"https://pith.science/api/pith-number/SX7PTJJO5TITV6I7PI3VZIVUDH/graph.json","events_json":"https://pith.science/api/pith-number/SX7PTJJO5TITV6I7PI3VZIVUDH/events.json","paper":"https://pith.science/paper/SX7PTJJO"},"agent_actions":{"view_html":"https://pith.science/pith/SX7PTJJO5TITV6I7PI3VZIVUDH","download_json":"https://pith.science/pith/SX7PTJJO5TITV6I7PI3VZIVUDH.json","view_paper":"https://pith.science/paper/SX7PTJJO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.23621&json=true","fetch_graph":"https://pith.science/api/pith-number/SX7PTJJO5TITV6I7PI3VZIVUDH/graph.json","fetch_events":"https://pith.science/api/pith-number/SX7PTJJO5TITV6I7PI3VZIVUDH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SX7PTJJO5TITV6I7PI3VZIVUDH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SX7PTJJO5TITV6I7PI3VZIVUDH/action/storage_attestation","attest_author":"https://pith.science/pith/SX7PTJJO5TITV6I7PI3VZIVUDH/action/author_attestation","sign_citation":"https://pith.science/pith/SX7PTJJO5TITV6I7PI3VZIVUDH/action/citation_signature","submit_replication":"https://pith.science/pith/SX7PTJJO5TITV6I7PI3VZIVUDH/action/replication_record"}},"created_at":"2026-07-05T11:46:28.161911+00:00","updated_at":"2026-07-05T11:46:28.161911+00:00"}