{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2000:VSBAOXA5LIWC6IY357N74C5EE3","short_pith_number":"pith:VSBAOXA5","schema_version":"1.0","canonical_sha256":"ac82075c1d5a2c2f231befdbfe0ba426cfda617b1244028e03fabb096552fc33","source":{"kind":"arxiv","id":"math/0008243","version":1},"attestation_state":"computed","paper":{"title":"Local statistics for random domino tilings of the Aztec diamond","license":"","headline":"","cross_cats":["math.PR"],"primary_cat":"math.CO","authors_text":"Henry Cohn, James Propp, Noam Elkies","submitted_at":"2000-08-31T20:57:21Z","abstract_excerpt":"We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond at random according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect of the diamond's boundary conditions on the behavior of typical tilings; in addition, it yields a new proof of the arctic circle theorem of Jockusch, Propp, and Shor. Our approach is to use the saddle point method to estimate certain weighted sums of squares of Krawtchouk polynomials (whose relevance t"},"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":"math/0008243","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.CO","submitted_at":"2000-08-31T20:57:21Z","cross_cats_sorted":["math.PR"],"title_canon_sha256":"bd0a0fb9dc644fef2d753f92aa70e01975a5310e51f6a15b78af88c02714d68b","abstract_canon_sha256":"b424df4ab4c0fce1ab9885ffdbb5bfb358ca69acf5588cca9b8894cd585ed44e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:00:03.013478Z","signature_b64":"qVKXdeWnF0nMwRtwD6X9xu2gTeUjzopVESIMqUajX86fknISg2ze8yP7j/fuGJDsNDgBDD7D+ZcSMiDeWNFzDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac82075c1d5a2c2f231befdbfe0ba426cfda617b1244028e03fabb096552fc33","last_reissued_at":"2026-05-18T04:00:03.012740Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:00:03.012740Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Local statistics for random domino tilings of the Aztec diamond","license":"","headline":"","cross_cats":["math.PR"],"primary_cat":"math.CO","authors_text":"Henry Cohn, James Propp, Noam Elkies","submitted_at":"2000-08-31T20:57:21Z","abstract_excerpt":"We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond at random according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect of the diamond's boundary conditions on the behavior of typical tilings; in addition, it yields a new proof of the arctic circle theorem of Jockusch, Propp, and Shor. Our approach is to use the saddle point method to estimate certain weighted sums of squares of Krawtchouk polynomials (whose relevance t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0008243","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"math/0008243","created_at":"2026-05-18T04:00:03.012841+00:00"},{"alias_kind":"arxiv_version","alias_value":"math/0008243v1","created_at":"2026-05-18T04:00:03.012841+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0008243","created_at":"2026-05-18T04:00:03.012841+00:00"},{"alias_kind":"pith_short_12","alias_value":"VSBAOXA5LIWC","created_at":"2026-05-18T12:25:50.254431+00:00"},{"alias_kind":"pith_short_16","alias_value":"VSBAOXA5LIWC6IY3","created_at":"2026-05-18T12:25:50.254431+00:00"},{"alias_kind":"pith_short_8","alias_value":"VSBAOXA5","created_at":"2026-05-18T12:25:50.254431+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/VSBAOXA5LIWC6IY357N74C5EE3","json":"https://pith.science/pith/VSBAOXA5LIWC6IY357N74C5EE3.json","graph_json":"https://pith.science/api/pith-number/VSBAOXA5LIWC6IY357N74C5EE3/graph.json","events_json":"https://pith.science/api/pith-number/VSBAOXA5LIWC6IY357N74C5EE3/events.json","paper":"https://pith.science/paper/VSBAOXA5"},"agent_actions":{"view_html":"https://pith.science/pith/VSBAOXA5LIWC6IY357N74C5EE3","download_json":"https://pith.science/pith/VSBAOXA5LIWC6IY357N74C5EE3.json","view_paper":"https://pith.science/paper/VSBAOXA5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=math/0008243&json=true","fetch_graph":"https://pith.science/api/pith-number/VSBAOXA5LIWC6IY357N74C5EE3/graph.json","fetch_events":"https://pith.science/api/pith-number/VSBAOXA5LIWC6IY357N74C5EE3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VSBAOXA5LIWC6IY357N74C5EE3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VSBAOXA5LIWC6IY357N74C5EE3/action/storage_attestation","attest_author":"https://pith.science/pith/VSBAOXA5LIWC6IY357N74C5EE3/action/author_attestation","sign_citation":"https://pith.science/pith/VSBAOXA5LIWC6IY357N74C5EE3/action/citation_signature","submit_replication":"https://pith.science/pith/VSBAOXA5LIWC6IY357N74C5EE3/action/replication_record"}},"created_at":"2026-05-18T04:00:03.012841+00:00","updated_at":"2026-05-18T04:00:03.012841+00:00"}