{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TZO5PIQBWFEHC7LD4TDWEBDBE5","short_pith_number":"pith:TZO5PIQB","canonical_record":{"source":{"id":"1810.03742","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-10-08T23:19:23Z","cross_cats_sorted":[],"title_canon_sha256":"8065c460145f7009da99ba2e2d300c93e92fe0275618b700e8b8a858ce152e07","abstract_canon_sha256":"9d9ee5b997834b7be057ec3ec04cee9a09056957ff685b07a02b2f5348779d26"},"schema_version":"1.0"},"canonical_sha256":"9e5dd7a201b148717d63e4c76204612773698a2c91ec5485df5e0af2dde255af","source":{"kind":"arxiv","id":"1810.03742","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.03742","created_at":"2026-05-18T00:03:44Z"},{"alias_kind":"arxiv_version","alias_value":"1810.03742v1","created_at":"2026-05-18T00:03:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.03742","created_at":"2026-05-18T00:03:44Z"},{"alias_kind":"pith_short_12","alias_value":"TZO5PIQBWFEH","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TZO5PIQBWFEHC7LD","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TZO5PIQB","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TZO5PIQBWFEHC7LD4TDWEBDBE5","target":"record","payload":{"canonical_record":{"source":{"id":"1810.03742","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-10-08T23:19:23Z","cross_cats_sorted":[],"title_canon_sha256":"8065c460145f7009da99ba2e2d300c93e92fe0275618b700e8b8a858ce152e07","abstract_canon_sha256":"9d9ee5b997834b7be057ec3ec04cee9a09056957ff685b07a02b2f5348779d26"},"schema_version":"1.0"},"canonical_sha256":"9e5dd7a201b148717d63e4c76204612773698a2c91ec5485df5e0af2dde255af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:44.610415Z","signature_b64":"DifExLcuI9ankoLZYu91PfuLJDWnanByuXo7DCq3crZNijNmG7+3ea0mvgtPR8gZwiIx7HvbT9xhPPK88G9NBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e5dd7a201b148717d63e4c76204612773698a2c91ec5485df5e0af2dde255af","last_reissued_at":"2026-05-18T00:03:44.609911Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:44.609911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.03742","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:03:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"36PrLXVVYUi7tjQtBt9gLOq2NGqByz0/EiIzxQVXG5s3TQ52lPl4tYHrimMeAHwVKZFGDRR4DqoURp1kx1PBBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T00:06:53.958476Z"},"content_sha256":"43918643727c9ab4ad35e2d6ace12a7afc7313728900355bd9fe59ca13833960","schema_version":"1.0","event_id":"sha256:43918643727c9ab4ad35e2d6ace12a7afc7313728900355bd9fe59ca13833960"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TZO5PIQBWFEHC7LD4TDWEBDBE5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Luis Lamb, Marcelo Prates","submitted_at":"2018-10-08T23:19:23Z","abstract_excerpt":"Sudoku is a widely popular $\\mathcal{NP}$-Complete combinatorial puzzle whose prospects for studying human computation have recently received attention, but the algorithmic hardness of Sudoku solving is yet largely unexplored. In this paper, we study the statistical mechanical properties of random Sudoku grids, showing that puzzles of varying sizes attain a hardness peak associated with a critical behavior in the constrainedness of random instances. In doing so, we provide the first description of a Sudoku \\emph{freezing} transition, showing that the fraction of backbone variables undergoes a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.03742","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:03:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lmhR6KY2m3ky6rpCy047yFgGr+73sMJ4eFNL/uPU1SWmWKVZgvFOBi/jvLol+qbS+SW70E9dCMrDEvWvh/9sAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T00:06:53.958895Z"},"content_sha256":"e5c7815c7d65505d355a94145dfc6a8257953484b081dbad64ca8efa352f3d39","schema_version":"1.0","event_id":"sha256:e5c7815c7d65505d355a94145dfc6a8257953484b081dbad64ca8efa352f3d39"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TZO5PIQBWFEHC7LD4TDWEBDBE5/bundle.json","state_url":"https://pith.science/pith/TZO5PIQBWFEHC7LD4TDWEBDBE5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TZO5PIQBWFEHC7LD4TDWEBDBE5/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-27T00:06:53Z","links":{"resolver":"https://pith.science/pith/TZO5PIQBWFEHC7LD4TDWEBDBE5","bundle":"https://pith.science/pith/TZO5PIQBWFEHC7LD4TDWEBDBE5/bundle.json","state":"https://pith.science/pith/TZO5PIQBWFEHC7LD4TDWEBDBE5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TZO5PIQBWFEHC7LD4TDWEBDBE5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TZO5PIQBWFEHC7LD4TDWEBDBE5","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":"9d9ee5b997834b7be057ec3ec04cee9a09056957ff685b07a02b2f5348779d26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-10-08T23:19:23Z","title_canon_sha256":"8065c460145f7009da99ba2e2d300c93e92fe0275618b700e8b8a858ce152e07"},"schema_version":"1.0","source":{"id":"1810.03742","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.03742","created_at":"2026-05-18T00:03:44Z"},{"alias_kind":"arxiv_version","alias_value":"1810.03742v1","created_at":"2026-05-18T00:03:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.03742","created_at":"2026-05-18T00:03:44Z"},{"alias_kind":"pith_short_12","alias_value":"TZO5PIQBWFEH","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TZO5PIQBWFEHC7LD","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TZO5PIQB","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:e5c7815c7d65505d355a94145dfc6a8257953484b081dbad64ca8efa352f3d39","target":"graph","created_at":"2026-05-18T00:03:44Z","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":"Sudoku is a widely popular $\\mathcal{NP}$-Complete combinatorial puzzle whose prospects for studying human computation have recently received attention, but the algorithmic hardness of Sudoku solving is yet largely unexplored. In this paper, we study the statistical mechanical properties of random Sudoku grids, showing that puzzles of varying sizes attain a hardness peak associated with a critical behavior in the constrainedness of random instances. In doing so, we provide the first description of a Sudoku \\emph{freezing} transition, showing that the fraction of backbone variables undergoes a ","authors_text":"Luis Lamb, Marcelo Prates","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-10-08T23:19:23Z","title":"Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.03742","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:43918643727c9ab4ad35e2d6ace12a7afc7313728900355bd9fe59ca13833960","target":"record","created_at":"2026-05-18T00:03:44Z","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":"9d9ee5b997834b7be057ec3ec04cee9a09056957ff685b07a02b2f5348779d26","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2018-10-08T23:19:23Z","title_canon_sha256":"8065c460145f7009da99ba2e2d300c93e92fe0275618b700e8b8a858ce152e07"},"schema_version":"1.0","source":{"id":"1810.03742","kind":"arxiv","version":1}},"canonical_sha256":"9e5dd7a201b148717d63e4c76204612773698a2c91ec5485df5e0af2dde255af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e5dd7a201b148717d63e4c76204612773698a2c91ec5485df5e0af2dde255af","first_computed_at":"2026-05-18T00:03:44.609911Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:44.609911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DifExLcuI9ankoLZYu91PfuLJDWnanByuXo7DCq3crZNijNmG7+3ea0mvgtPR8gZwiIx7HvbT9xhPPK88G9NBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:44.610415Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.03742","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:43918643727c9ab4ad35e2d6ace12a7afc7313728900355bd9fe59ca13833960","sha256:e5c7815c7d65505d355a94145dfc6a8257953484b081dbad64ca8efa352f3d39"],"state_sha256":"a102502da4501cc27a5f53509da6638c05882fdeb9a325d62d0d5ea2c179f498"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oMzQ/kEi1byTLMXguBe7FxbE6yCeaGDh6xAPsYBhgSNEeKlaVLZ6enTR8XjoVVL7aZmfPwgedL5/O7nRgp/mCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T00:06:53.960826Z","bundle_sha256":"4bb5413a470981f4b0cf716965853a032fc157d39dfaaed9aaf9bac888f1c7e2"}}