{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:ZHLFEDYGSXW5ZRMXY2GFPFPUYK","short_pith_number":"pith:ZHLFEDYG","schema_version":"1.0","canonical_sha256":"c9d6520f0695eddcc597c68c5795f4c2954a6488f0ac84117ba47867663bca37","source":{"kind":"arxiv","id":"1110.2065","version":2},"attestation_state":"computed","paper":{"title":"On the behaviour of random K-SAT on trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cond-mat.stat-mech","authors_text":"Sumedha, Supriya Krishnamurthy","submitted_at":"2011-10-10T15:04:33Z","abstract_excerpt":"We consider the K-satisfiability problem on a regular d-ary rooted tree. For this model, we demonstrate how we can calculate in closed form, the moments of the total number of solutions as a function of d and K, where the average is over all realizations, for a fixed assignment of the surface variables. We find that different moments pick out different 'critical' values of d, below which they diverge as the total number of variables on the tree goes to infinity and above which they decay. We show that K-SAT on the random graph also behaves similarly. We also calculate exactly the fraction of i"},"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":"1110.2065","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.stat-mech","submitted_at":"2011-10-10T15:04:33Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"88632abb1dcd4417376a193f201f037e1bf009636eaeb70c1c722a1d73597b10","abstract_canon_sha256":"9eae4055561b09551bdab0b90dbbb4ec013af4faee8c123488fb841cd0f5edb5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:00:14.210716Z","signature_b64":"xNQflCswfuTIOTdCKlQMJTR5V8e/sglEKsQWN8rRa+YRzZHp/ZyFAyxC6NyMiOYeT9j958ofCND0bVeuj3sQBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c9d6520f0695eddcc597c68c5795f4c2954a6488f0ac84117ba47867663bca37","last_reissued_at":"2026-05-18T02:00:14.210167Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:00:14.210167Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the behaviour of random K-SAT on trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cond-mat.stat-mech","authors_text":"Sumedha, Supriya Krishnamurthy","submitted_at":"2011-10-10T15:04:33Z","abstract_excerpt":"We consider the K-satisfiability problem on a regular d-ary rooted tree. For this model, we demonstrate how we can calculate in closed form, the moments of the total number of solutions as a function of d and K, where the average is over all realizations, for a fixed assignment of the surface variables. We find that different moments pick out different 'critical' values of d, below which they diverge as the total number of variables on the tree goes to infinity and above which they decay. We show that K-SAT on the random graph also behaves similarly. We also calculate exactly the fraction of i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.2065","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1110.2065","created_at":"2026-05-18T02:00:14.210235+00:00"},{"alias_kind":"arxiv_version","alias_value":"1110.2065v2","created_at":"2026-05-18T02:00:14.210235+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.2065","created_at":"2026-05-18T02:00:14.210235+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZHLFEDYGSXW5","created_at":"2026-05-18T12:26:47.523578+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZHLFEDYGSXW5ZRMX","created_at":"2026-05-18T12:26:47.523578+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZHLFEDYG","created_at":"2026-05-18T12:26:47.523578+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZHLFEDYGSXW5ZRMXY2GFPFPUYK","json":"https://pith.science/pith/ZHLFEDYGSXW5ZRMXY2GFPFPUYK.json","graph_json":"https://pith.science/api/pith-number/ZHLFEDYGSXW5ZRMXY2GFPFPUYK/graph.json","events_json":"https://pith.science/api/pith-number/ZHLFEDYGSXW5ZRMXY2GFPFPUYK/events.json","paper":"https://pith.science/paper/ZHLFEDYG"},"agent_actions":{"view_html":"https://pith.science/pith/ZHLFEDYGSXW5ZRMXY2GFPFPUYK","download_json":"https://pith.science/pith/ZHLFEDYGSXW5ZRMXY2GFPFPUYK.json","view_paper":"https://pith.science/paper/ZHLFEDYG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1110.2065&json=true","fetch_graph":"https://pith.science/api/pith-number/ZHLFEDYGSXW5ZRMXY2GFPFPUYK/graph.json","fetch_events":"https://pith.science/api/pith-number/ZHLFEDYGSXW5ZRMXY2GFPFPUYK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZHLFEDYGSXW5ZRMXY2GFPFPUYK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZHLFEDYGSXW5ZRMXY2GFPFPUYK/action/storage_attestation","attest_author":"https://pith.science/pith/ZHLFEDYGSXW5ZRMXY2GFPFPUYK/action/author_attestation","sign_citation":"https://pith.science/pith/ZHLFEDYGSXW5ZRMXY2GFPFPUYK/action/citation_signature","submit_replication":"https://pith.science/pith/ZHLFEDYGSXW5ZRMXY2GFPFPUYK/action/replication_record"}},"created_at":"2026-05-18T02:00:14.210235+00:00","updated_at":"2026-05-18T02:00:14.210235+00:00"}