{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2002:ENANVO3NX7UYNDCLF7R64WEXZH","short_pith_number":"pith:ENANVO3N","canonical_record":{"source":{"id":"cond-mat/0207194","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"cond-mat.dis-nn","submitted_at":"2002-07-08T08:06:28Z","cross_cats_sorted":["cond-mat.stat-mech"],"title_canon_sha256":"cca8c04734a25dd1be0eecb0c5d3eab3cc6d767496423ca5fffabf6639608737","abstract_canon_sha256":"967ae154ee7406b9de177164bae8a2f6879fc4c54056a6f2f5c2a330f879b779"},"schema_version":"1.0"},"canonical_sha256":"2340dabb6dbfe9868c4b2fe3ee5897c9c97a7be4cac5b4272ddd2ed306d05f51","source":{"kind":"arxiv","id":"cond-mat/0207194","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cond-mat/0207194","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"arxiv_version","alias_value":"cond-mat/0207194v3","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cond-mat/0207194","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"pith_short_12","alias_value":"ENANVO3NX7UY","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"pith_short_16","alias_value":"ENANVO3NX7UYNDCL","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"pith_short_8","alias_value":"ENANVO3N","created_at":"2026-07-04T16:32:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2002:ENANVO3NX7UYNDCLF7R64WEXZH","target":"record","payload":{"canonical_record":{"source":{"id":"cond-mat/0207194","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"cond-mat.dis-nn","submitted_at":"2002-07-08T08:06:28Z","cross_cats_sorted":["cond-mat.stat-mech"],"title_canon_sha256":"cca8c04734a25dd1be0eecb0c5d3eab3cc6d767496423ca5fffabf6639608737","abstract_canon_sha256":"967ae154ee7406b9de177164bae8a2f6879fc4c54056a6f2f5c2a330f879b779"},"schema_version":"1.0"},"canonical_sha256":"2340dabb6dbfe9868c4b2fe3ee5897c9c97a7be4cac5b4272ddd2ed306d05f51","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T16:32:35.884049Z","signature_b64":"4lx9GG+Bvn12aiedpdtt5EJmIQ2UYpjgB+NiWSPn3tVhEXE0aV+YvbvnAy1PV6jnnlt+RdWvV0Q4Kjpy6tcBDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2340dabb6dbfe9868c4b2fe3ee5897c9c97a7be4cac5b4272ddd2ed306d05f51","last_reissued_at":"2026-07-04T16:32:35.883700Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T16:32:35.883700Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cond-mat/0207194","source_version":3,"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-07-04T16:32:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q6dWN8lsjbO2ev7FAZyQ1gosLXV60TMo6xIQSCPJhIR646zn/i6WLJNp9J9pTnYyUsmewn40go4Tx222djjaDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T11:51:05.030722Z"},"content_sha256":"83ac5fecee5b38ea2c8c95fe64574fc1212ff69f5f6b7c6825e45b7ab226f451","schema_version":"1.0","event_id":"sha256:83ac5fecee5b38ea2c8c95fe64574fc1212ff69f5f6b7c6825e45b7ab226f451"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2002:ENANVO3NX7UYNDCLF7R64WEXZH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The random K-satisfiability problem: from an analytic solution to an efficient algorithm","license":"","headline":"","cross_cats":["cond-mat.stat-mech"],"primary_cat":"cond-mat.dis-nn","authors_text":"Marc Mezard, Riccardo Zecchina","submitted_at":"2002-07-08T08:06:28Z","abstract_excerpt":"We study the problem of satisfiability of randomly chosen clauses, each with K Boolean variables. Using the cavity method at zero temperature, we find the phase diagram for the K=3 case. We show the existence of an intermediate phase in the satisfiable region, where the proliferation of metastable states is at the origin of the slowdown of search algorithms. The fundamental order parameter introduced in the cavity method, which consists of surveys of local magnetic fields in the various possible states of the system, can be computed for one given sample. These surveys can be used to invent new"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cond-mat/0207194","kind":"arxiv","version":3},"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/cond-mat/0207194/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"},"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-07-04T16:32:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5sCguKHKlL1ETF1Gxz8crkYDm8dbAC5tC2TiJ7d3h9pdp9/ilyNAmntVNNGNMBPwxMMnkO1t23GWM/skx+dTBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T11:51:05.031755Z"},"content_sha256":"145751996034a3dfbf91309325abdf52fb16ce67a2bf81e8237e37b371ce342a","schema_version":"1.0","event_id":"sha256:145751996034a3dfbf91309325abdf52fb16ce67a2bf81e8237e37b371ce342a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ENANVO3NX7UYNDCLF7R64WEXZH/bundle.json","state_url":"https://pith.science/pith/ENANVO3NX7UYNDCLF7R64WEXZH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ENANVO3NX7UYNDCLF7R64WEXZH/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-08-06T11:51:05Z","links":{"resolver":"https://pith.science/pith/ENANVO3NX7UYNDCLF7R64WEXZH","bundle":"https://pith.science/pith/ENANVO3NX7UYNDCLF7R64WEXZH/bundle.json","state":"https://pith.science/pith/ENANVO3NX7UYNDCLF7R64WEXZH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ENANVO3NX7UYNDCLF7R64WEXZH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2002:ENANVO3NX7UYNDCLF7R64WEXZH","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":"967ae154ee7406b9de177164bae8a2f6879fc4c54056a6f2f5c2a330f879b779","cross_cats_sorted":["cond-mat.stat-mech"],"license":"","primary_cat":"cond-mat.dis-nn","submitted_at":"2002-07-08T08:06:28Z","title_canon_sha256":"cca8c04734a25dd1be0eecb0c5d3eab3cc6d767496423ca5fffabf6639608737"},"schema_version":"1.0","source":{"id":"cond-mat/0207194","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cond-mat/0207194","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"arxiv_version","alias_value":"cond-mat/0207194v3","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cond-mat/0207194","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"pith_short_12","alias_value":"ENANVO3NX7UY","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"pith_short_16","alias_value":"ENANVO3NX7UYNDCL","created_at":"2026-07-04T16:32:35Z"},{"alias_kind":"pith_short_8","alias_value":"ENANVO3N","created_at":"2026-07-04T16:32:35Z"}],"graph_snapshots":[{"event_id":"sha256:145751996034a3dfbf91309325abdf52fb16ce67a2bf81e8237e37b371ce342a","target":"graph","created_at":"2026-07-04T16:32:35Z","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/cond-mat/0207194/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the problem of satisfiability of randomly chosen clauses, each with K Boolean variables. Using the cavity method at zero temperature, we find the phase diagram for the K=3 case. We show the existence of an intermediate phase in the satisfiable region, where the proliferation of metastable states is at the origin of the slowdown of search algorithms. The fundamental order parameter introduced in the cavity method, which consists of surveys of local magnetic fields in the various possible states of the system, can be computed for one given sample. These surveys can be used to invent new","authors_text":"Marc Mezard, Riccardo Zecchina","cross_cats":["cond-mat.stat-mech"],"headline":"","license":"","primary_cat":"cond-mat.dis-nn","submitted_at":"2002-07-08T08:06:28Z","title":"The random K-satisfiability problem: from an analytic solution to an efficient algorithm"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cond-mat/0207194","kind":"arxiv","version":3},"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:83ac5fecee5b38ea2c8c95fe64574fc1212ff69f5f6b7c6825e45b7ab226f451","target":"record","created_at":"2026-07-04T16:32:35Z","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":"967ae154ee7406b9de177164bae8a2f6879fc4c54056a6f2f5c2a330f879b779","cross_cats_sorted":["cond-mat.stat-mech"],"license":"","primary_cat":"cond-mat.dis-nn","submitted_at":"2002-07-08T08:06:28Z","title_canon_sha256":"cca8c04734a25dd1be0eecb0c5d3eab3cc6d767496423ca5fffabf6639608737"},"schema_version":"1.0","source":{"id":"cond-mat/0207194","kind":"arxiv","version":3}},"canonical_sha256":"2340dabb6dbfe9868c4b2fe3ee5897c9c97a7be4cac5b4272ddd2ed306d05f51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2340dabb6dbfe9868c4b2fe3ee5897c9c97a7be4cac5b4272ddd2ed306d05f51","first_computed_at":"2026-07-04T16:32:35.883700Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T16:32:35.883700Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4lx9GG+Bvn12aiedpdtt5EJmIQ2UYpjgB+NiWSPn3tVhEXE0aV+YvbvnAy1PV6jnnlt+RdWvV0Q4Kjpy6tcBDA==","signature_status":"signed_v1","signed_at":"2026-07-04T16:32:35.884049Z","signed_message":"canonical_sha256_bytes"},"source_id":"cond-mat/0207194","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83ac5fecee5b38ea2c8c95fe64574fc1212ff69f5f6b7c6825e45b7ab226f451","sha256:145751996034a3dfbf91309325abdf52fb16ce67a2bf81e8237e37b371ce342a"],"state_sha256":"fa56d98848255a7cb2605e211655c199cc57190afa079f339c86906d2e65a382"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"avhjjLIVIAheBHfPLABDXlRqRJkTg+5g6OrCFX4Z8JWka7GwI0CoEZyiT/7h2Lxos/qmB56ItoP+LwgT7kKNCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T11:51:05.048966Z","bundle_sha256":"24f71b1c958e6dc3fe2ad661d7226a7bf72d494bff005d40e3d3fee7a454a3f8"}}