{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:OCHLNEUTDMOODVX6DU4COY2EKX","short_pith_number":"pith:OCHLNEUT","canonical_record":{"source":{"id":"1608.00346","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-01T08:05:39Z","cross_cats_sorted":["math.PR"],"title_canon_sha256":"842990440665a5f63a9c05c2a236377cddc7ecca50ed77c05ac91bcf3fcef362","abstract_canon_sha256":"b7c86aab626950dbeef49e7e395fd399df071002297816b92d09adf2faf3f500"},"schema_version":"1.0"},"canonical_sha256":"708eb692931b1ce1d6fe1d3827634455c7931e5fa69327f7be6502e277ef2e51","source":{"kind":"arxiv","id":"1608.00346","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.00346","created_at":"2026-05-18T00:30:28Z"},{"alias_kind":"arxiv_version","alias_value":"1608.00346v1","created_at":"2026-05-18T00:30:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.00346","created_at":"2026-05-18T00:30:28Z"},{"alias_kind":"pith_short_12","alias_value":"OCHLNEUTDMOO","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OCHLNEUTDMOODVX6","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OCHLNEUT","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:OCHLNEUTDMOODVX6DU4COY2EKX","target":"record","payload":{"canonical_record":{"source":{"id":"1608.00346","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-01T08:05:39Z","cross_cats_sorted":["math.PR"],"title_canon_sha256":"842990440665a5f63a9c05c2a236377cddc7ecca50ed77c05ac91bcf3fcef362","abstract_canon_sha256":"b7c86aab626950dbeef49e7e395fd399df071002297816b92d09adf2faf3f500"},"schema_version":"1.0"},"canonical_sha256":"708eb692931b1ce1d6fe1d3827634455c7931e5fa69327f7be6502e277ef2e51","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:28.748948Z","signature_b64":"gNVTstSfGAqz3Ugca3mQv0KA35Jzl8oZiZCoUbBxhZGbMOpKPat7L7fxiWCp9ulqKwOVi776m/qRIuabJ4huCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"708eb692931b1ce1d6fe1d3827634455c7931e5fa69327f7be6502e277ef2e51","last_reissued_at":"2026-05-18T00:30:28.748348Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:28.748348Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.00346","source_version":1,"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:30:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NIAcwV8F4SP28Kykwl0PNTOo/siaV2jiecw/lFFJYvCKOULZMYPQggGjbfJJ4C4QN1SvR/a/xYTvDXu39P6pDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:52:16.312096Z"},"content_sha256":"30bf7cebcb6d4a1e4158d84276caa5a09ef106266f90dac9fc49dd6c9ebc36d0","schema_version":"1.0","event_id":"sha256:30bf7cebcb6d4a1e4158d84276caa5a09ef106266f90dac9fc49dd6c9ebc36d0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:OCHLNEUTDMOODVX6DU4COY2EKX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Walksat stalls well below the satisfiability threshold","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.PR"],"primary_cat":"math.CO","authors_text":"Amin Coja-Oghlan, Amir Haqshenas, Samuel Hetterich","submitted_at":"2016-08-01T08:05:39Z","abstract_excerpt":"Partly on the basis of heuristic arguments from physics it has been suggested that the performance of certain types of algorithms on random $k$-SAT formulas is linked to phase transitions that affect the geometry of the set of satisfying assignments. But beyond intuition there has been scant rigorous evidence that \"practical\" algorithms are affected by these phase transitions. In this paper we prove that \\walksat, a popular randomised satisfiability algorithm, fails on random $k$-SAT formulas not very far above clause/variable density where the set of satisfying assignments shatters into tiny,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.00346","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":""},"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:30:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BWhZozUj/mN0Zt0lOC92YNntM9wv8g5U97KgRg57iJ2WIrc1BwkBfYCZLk3Jm7Z1QqXKxPZJF84tM4MlUudFBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:52:16.312467Z"},"content_sha256":"595b584d408289b897ce03c0fcedf2208985927bd92d79c836850fb94802bdd2","schema_version":"1.0","event_id":"sha256:595b584d408289b897ce03c0fcedf2208985927bd92d79c836850fb94802bdd2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OCHLNEUTDMOODVX6DU4COY2EKX/bundle.json","state_url":"https://pith.science/pith/OCHLNEUTDMOODVX6DU4COY2EKX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OCHLNEUTDMOODVX6DU4COY2EKX/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-02T23:52:16Z","links":{"resolver":"https://pith.science/pith/OCHLNEUTDMOODVX6DU4COY2EKX","bundle":"https://pith.science/pith/OCHLNEUTDMOODVX6DU4COY2EKX/bundle.json","state":"https://pith.science/pith/OCHLNEUTDMOODVX6DU4COY2EKX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OCHLNEUTDMOODVX6DU4COY2EKX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:OCHLNEUTDMOODVX6DU4COY2EKX","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":"b7c86aab626950dbeef49e7e395fd399df071002297816b92d09adf2faf3f500","cross_cats_sorted":["math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-01T08:05:39Z","title_canon_sha256":"842990440665a5f63a9c05c2a236377cddc7ecca50ed77c05ac91bcf3fcef362"},"schema_version":"1.0","source":{"id":"1608.00346","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.00346","created_at":"2026-05-18T00:30:28Z"},{"alias_kind":"arxiv_version","alias_value":"1608.00346v1","created_at":"2026-05-18T00:30:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.00346","created_at":"2026-05-18T00:30:28Z"},{"alias_kind":"pith_short_12","alias_value":"OCHLNEUTDMOO","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OCHLNEUTDMOODVX6","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OCHLNEUT","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:595b584d408289b897ce03c0fcedf2208985927bd92d79c836850fb94802bdd2","target":"graph","created_at":"2026-05-18T00:30:28Z","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":"Partly on the basis of heuristic arguments from physics it has been suggested that the performance of certain types of algorithms on random $k$-SAT formulas is linked to phase transitions that affect the geometry of the set of satisfying assignments. But beyond intuition there has been scant rigorous evidence that \"practical\" algorithms are affected by these phase transitions. In this paper we prove that \\walksat, a popular randomised satisfiability algorithm, fails on random $k$-SAT formulas not very far above clause/variable density where the set of satisfying assignments shatters into tiny,","authors_text":"Amin Coja-Oghlan, Amir Haqshenas, Samuel Hetterich","cross_cats":["math.PR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-01T08:05:39Z","title":"Walksat stalls well below the satisfiability threshold"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.00346","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:30bf7cebcb6d4a1e4158d84276caa5a09ef106266f90dac9fc49dd6c9ebc36d0","target":"record","created_at":"2026-05-18T00:30:28Z","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":"b7c86aab626950dbeef49e7e395fd399df071002297816b92d09adf2faf3f500","cross_cats_sorted":["math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-08-01T08:05:39Z","title_canon_sha256":"842990440665a5f63a9c05c2a236377cddc7ecca50ed77c05ac91bcf3fcef362"},"schema_version":"1.0","source":{"id":"1608.00346","kind":"arxiv","version":1}},"canonical_sha256":"708eb692931b1ce1d6fe1d3827634455c7931e5fa69327f7be6502e277ef2e51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"708eb692931b1ce1d6fe1d3827634455c7931e5fa69327f7be6502e277ef2e51","first_computed_at":"2026-05-18T00:30:28.748348Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:28.748348Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gNVTstSfGAqz3Ugca3mQv0KA35Jzl8oZiZCoUbBxhZGbMOpKPat7L7fxiWCp9ulqKwOVi776m/qRIuabJ4huCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:28.748948Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.00346","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30bf7cebcb6d4a1e4158d84276caa5a09ef106266f90dac9fc49dd6c9ebc36d0","sha256:595b584d408289b897ce03c0fcedf2208985927bd92d79c836850fb94802bdd2"],"state_sha256":"bae20b692440a5fab14bb0a31881ecc90a8e4c1786af0c650a2670ccac07e294"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9dTjVJALktMaAeQicA1oQAm6aBcPmYbEdZjjZL+V3kQrbLkZvYAgPMjHNyMSScbUmICl8Jv2nauZCW1AcSeQCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:52:16.314429Z","bundle_sha256":"c2edd54fb035aaa020be61f96c60203cda6baade284221a1f0453c31af631c70"}}