{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:REVER4Z5GOJO3LJCATH2SLM636","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":"7a1d6dea9c971436f457d699ba15e107e9323e5832ca02fef9fd3dc7d1ae0eaa","cross_cats_sorted":["cs.CC","cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2021-06-24T01:15:35Z","title_canon_sha256":"2caf308d99356d5d4617f6b8d79493263075268a21af9ec532d8ff9fa034077f"},"schema_version":"1.0","source":{"id":"2106.12710","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.12710","created_at":"2026-07-05T02:52:05Z"},{"alias_kind":"arxiv_version","alias_value":"2106.12710v1","created_at":"2026-07-05T02:52:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.12710","created_at":"2026-07-05T02:52:05Z"},{"alias_kind":"pith_short_12","alias_value":"REVER4Z5GOJO","created_at":"2026-07-05T02:52:05Z"},{"alias_kind":"pith_short_16","alias_value":"REVER4Z5GOJO3LJC","created_at":"2026-07-05T02:52:05Z"},{"alias_kind":"pith_short_8","alias_value":"REVER4Z5","created_at":"2026-07-05T02:52:05Z"}],"graph_snapshots":[{"event_id":"sha256:85e0637d4c9f7e30a8c12b9d5115f042e4a6c41e5322903306d058cc7feac766","target":"graph","created_at":"2026-07-05T02:52:05Z","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/2106.12710/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"An active topic in the study of random constraint satisfaction problems (CSPs) is the geometry of the space of satisfying or almost satisfying assignments as the function of the density, for which a precise landscape of predictions has been made via statistical physics-based heuristics. In parallel, there has been a recent flurry of work on refuting random constraint satisfaction problems, via nailing refutation thresholds for spectral and semidefinite programming-based algorithms, and also on counting solutions to CSPs. Inspired by this, the starting point for our work is the following questi","authors_text":"Jeff Xu, Jun-Ting Hsieh, Sidhanth Mohanty","cross_cats":["cs.CC","cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2021-06-24T01:15:35Z","title":"Certifying solution geometry in random CSPs: counts, clusters and balance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.12710","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:9bc5e9f335f2c93b5303ee13db491bd7b5ad37d6c6e39e1858b6dfa4d022b77e","target":"record","created_at":"2026-07-05T02:52:05Z","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":"7a1d6dea9c971436f457d699ba15e107e9323e5832ca02fef9fd3dc7d1ae0eaa","cross_cats_sorted":["cs.CC","cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2021-06-24T01:15:35Z","title_canon_sha256":"2caf308d99356d5d4617f6b8d79493263075268a21af9ec532d8ff9fa034077f"},"schema_version":"1.0","source":{"id":"2106.12710","kind":"arxiv","version":1}},"canonical_sha256":"892a48f33d3392edad2204cfa92d9edf921a5bca537fac31a405ab47c02cc2b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"892a48f33d3392edad2204cfa92d9edf921a5bca537fac31a405ab47c02cc2b2","first_computed_at":"2026-07-05T02:52:05.141104Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:52:05.141104Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VKibsBqvvpj75bRdKB219LuxK0eamxyHF9wxtYdXIcQMxzW+p6WxtjGXx4zC5xBA9gcm2y1T3koFVyI7KsmpCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:52:05.141459Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.12710","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9bc5e9f335f2c93b5303ee13db491bd7b5ad37d6c6e39e1858b6dfa4d022b77e","sha256:85e0637d4c9f7e30a8c12b9d5115f042e4a6c41e5322903306d058cc7feac766"],"state_sha256":"8deadd8413e5e737db61f90c046169d0c9de734fa969c94a6c4f8c3be1ef3bf8"}