{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HOGGQESDQJO3LXOUJN6XYVQMFJ","short_pith_number":"pith:HOGGQESD","canonical_record":{"source":{"id":"1801.06620","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-01-20T03:54:22Z","cross_cats_sorted":["cond-mat.stat-mech","cs.AI","math.DS","nlin.CD"],"title_canon_sha256":"b9f0492e43780b7ec696f67b7e79dd21b1c368a20961a2e7fc47b6d185243a68","abstract_canon_sha256":"59b99000450214b86f769c52d4a168d1777072240e7e83e50b119e82dbb91c21"},"schema_version":"1.0"},"canonical_sha256":"3b8c681243825db5ddd44b7d7c560c2a6d1ff4ab24e18763d4a40455e6aed09d","source":{"kind":"arxiv","id":"1801.06620","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.06620","created_at":"2026-05-18T00:24:59Z"},{"alias_kind":"arxiv_version","alias_value":"1801.06620v2","created_at":"2026-05-18T00:24:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.06620","created_at":"2026-05-18T00:24:59Z"},{"alias_kind":"pith_short_12","alias_value":"HOGGQESDQJO3","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HOGGQESDQJO3LXOU","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HOGGQESD","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HOGGQESDQJO3LXOUJN6XYVQMFJ","target":"record","payload":{"canonical_record":{"source":{"id":"1801.06620","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-01-20T03:54:22Z","cross_cats_sorted":["cond-mat.stat-mech","cs.AI","math.DS","nlin.CD"],"title_canon_sha256":"b9f0492e43780b7ec696f67b7e79dd21b1c368a20961a2e7fc47b6d185243a68","abstract_canon_sha256":"59b99000450214b86f769c52d4a168d1777072240e7e83e50b119e82dbb91c21"},"schema_version":"1.0"},"canonical_sha256":"3b8c681243825db5ddd44b7d7c560c2a6d1ff4ab24e18763d4a40455e6aed09d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:24:59.160623Z","signature_b64":"5x4N4/40RZ+y0HRRztMr/vKgNLUDbiaZR/IBRfnL+d+SMAxOKX8c3hn9SViMgSRFErMlz0939nfhUYi8D+79Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b8c681243825db5ddd44b7d7c560c2a6d1ff4ab24e18763d4a40455e6aed09d","last_reissued_at":"2026-05-18T00:24:59.160211Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:24:59.160211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.06620","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:24:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IXgWqZS+pJyY31yqAf5pZbf/BQ93g75PTQEWxp854Ck4akZGiQrbvxweeug7NCuCdqJei2AWJvcaYCa2rvJAAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T07:21:12.534669Z"},"content_sha256":"cb1aa80c614fd0b7a3c02245da90d16fb4e0f591575c23e62074a759217208d6","schema_version":"1.0","event_id":"sha256:cb1aa80c614fd0b7a3c02245da90d16fb4e0f591575c23e62074a759217208d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HOGGQESDQJO3LXOUJN6XYVQMFJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A high-performance analog Max-SAT solver and its application to Ramsey numbers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.stat-mech","cs.AI","math.DS","nlin.CD"],"primary_cat":"cs.CC","authors_text":"Botond Moln\\'ar, M\\'aria Ercsey-Ravasz, Melinda Varga, Zoltan Toroczkai","submitted_at":"2018-01-20T03:54:22Z","abstract_excerpt":"We introduce a continuous-time analog solver for MaxSAT, a quintessential class of NP-hard discrete optimization problems, where the task is to find a truth assignment for a set of Boolean variables satisfying the maximum number of given logical constraints. We show that the scaling of an invariant of the solver's dynamics, the escape rate, as function of the number of unsatisfied clauses can predict the global optimum value, often well before reaching the corresponding state. We demonstrate the performance of the solver on hard MaxSAT competition problems. We then consider the two-color Ramse"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.06620","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:24:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"34k57e5/ELm/bwTRNM051YDxKQSdzKMU2jjPDdIsMa7ejmsAJmwNf/2cx7xw/e5Evu8tFuROtR1yv8/8w/+eAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T07:21:12.535010Z"},"content_sha256":"28ac84a926b157589a97ceb0bd754e48f4b9bf7306f82f8ae206a155bc3c03a2","schema_version":"1.0","event_id":"sha256:28ac84a926b157589a97ceb0bd754e48f4b9bf7306f82f8ae206a155bc3c03a2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HOGGQESDQJO3LXOUJN6XYVQMFJ/bundle.json","state_url":"https://pith.science/pith/HOGGQESDQJO3LXOUJN6XYVQMFJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HOGGQESDQJO3LXOUJN6XYVQMFJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T07:21:12Z","links":{"resolver":"https://pith.science/pith/HOGGQESDQJO3LXOUJN6XYVQMFJ","bundle":"https://pith.science/pith/HOGGQESDQJO3LXOUJN6XYVQMFJ/bundle.json","state":"https://pith.science/pith/HOGGQESDQJO3LXOUJN6XYVQMFJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HOGGQESDQJO3LXOUJN6XYVQMFJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HOGGQESDQJO3LXOUJN6XYVQMFJ","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":"59b99000450214b86f769c52d4a168d1777072240e7e83e50b119e82dbb91c21","cross_cats_sorted":["cond-mat.stat-mech","cs.AI","math.DS","nlin.CD"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-01-20T03:54:22Z","title_canon_sha256":"b9f0492e43780b7ec696f67b7e79dd21b1c368a20961a2e7fc47b6d185243a68"},"schema_version":"1.0","source":{"id":"1801.06620","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.06620","created_at":"2026-05-18T00:24:59Z"},{"alias_kind":"arxiv_version","alias_value":"1801.06620v2","created_at":"2026-05-18T00:24:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.06620","created_at":"2026-05-18T00:24:59Z"},{"alias_kind":"pith_short_12","alias_value":"HOGGQESDQJO3","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HOGGQESDQJO3LXOU","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HOGGQESD","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:28ac84a926b157589a97ceb0bd754e48f4b9bf7306f82f8ae206a155bc3c03a2","target":"graph","created_at":"2026-05-18T00:24:59Z","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"},"paper":{"abstract_excerpt":"We introduce a continuous-time analog solver for MaxSAT, a quintessential class of NP-hard discrete optimization problems, where the task is to find a truth assignment for a set of Boolean variables satisfying the maximum number of given logical constraints. We show that the scaling of an invariant of the solver's dynamics, the escape rate, as function of the number of unsatisfied clauses can predict the global optimum value, often well before reaching the corresponding state. We demonstrate the performance of the solver on hard MaxSAT competition problems. We then consider the two-color Ramse","authors_text":"Botond Moln\\'ar, M\\'aria Ercsey-Ravasz, Melinda Varga, Zoltan Toroczkai","cross_cats":["cond-mat.stat-mech","cs.AI","math.DS","nlin.CD"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-01-20T03:54:22Z","title":"A high-performance analog Max-SAT solver and its application to Ramsey numbers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.06620","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:cb1aa80c614fd0b7a3c02245da90d16fb4e0f591575c23e62074a759217208d6","target":"record","created_at":"2026-05-18T00:24:59Z","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":"59b99000450214b86f769c52d4a168d1777072240e7e83e50b119e82dbb91c21","cross_cats_sorted":["cond-mat.stat-mech","cs.AI","math.DS","nlin.CD"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-01-20T03:54:22Z","title_canon_sha256":"b9f0492e43780b7ec696f67b7e79dd21b1c368a20961a2e7fc47b6d185243a68"},"schema_version":"1.0","source":{"id":"1801.06620","kind":"arxiv","version":2}},"canonical_sha256":"3b8c681243825db5ddd44b7d7c560c2a6d1ff4ab24e18763d4a40455e6aed09d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b8c681243825db5ddd44b7d7c560c2a6d1ff4ab24e18763d4a40455e6aed09d","first_computed_at":"2026-05-18T00:24:59.160211Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:59.160211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5x4N4/40RZ+y0HRRztMr/vKgNLUDbiaZR/IBRfnL+d+SMAxOKX8c3hn9SViMgSRFErMlz0939nfhUYi8D+79Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:59.160623Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.06620","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb1aa80c614fd0b7a3c02245da90d16fb4e0f591575c23e62074a759217208d6","sha256:28ac84a926b157589a97ceb0bd754e48f4b9bf7306f82f8ae206a155bc3c03a2"],"state_sha256":"f1bf54c1a76695587f1de59901797635897fe5ecb18bb9abe25afef052529f5f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XURjP0xvl6d8FP2Zv+4bMzvbwEEZupFVq4Wn41hpZlRiGVml/zx3USM+Lpd1UluLCjOcItEvkwE3JAn4mZnkCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T07:21:12.537707Z","bundle_sha256":"20b14ff0eb7141c5ede2c46ebe2cfd918e8aac4e89748a35ea7e3ac8e27c902f"}}