{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:IENCCCCZYZ7ZGJHK2TG6ZBQTPS","short_pith_number":"pith:IENCCCCZ","canonical_record":{"source":{"id":"2604.10214","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2026-04-11T13:46:24Z","cross_cats_sorted":[],"title_canon_sha256":"2234d998c2a9a896d7fd523990eba9908a312bf9930396aba952108f43235129","abstract_canon_sha256":"1dcbafd92e52dce5d01105e38d053d5d79613fcc5fccc3c28894fedc2f3caa8e"},"schema_version":"1.0"},"canonical_sha256":"411a210859c67f9324ead4cdec86137cb0b705ce883eb830e6f090ff0c7ba3e2","source":{"kind":"arxiv","id":"2604.10214","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.10214","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"arxiv_version","alias_value":"2604.10214v2","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.10214","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"pith_short_12","alias_value":"IENCCCCZYZ7Z","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"pith_short_16","alias_value":"IENCCCCZYZ7ZGJHK","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"pith_short_8","alias_value":"IENCCCCZ","created_at":"2026-05-26T02:05:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:IENCCCCZYZ7ZGJHK2TG6ZBQTPS","target":"record","payload":{"canonical_record":{"source":{"id":"2604.10214","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2026-04-11T13:46:24Z","cross_cats_sorted":[],"title_canon_sha256":"2234d998c2a9a896d7fd523990eba9908a312bf9930396aba952108f43235129","abstract_canon_sha256":"1dcbafd92e52dce5d01105e38d053d5d79613fcc5fccc3c28894fedc2f3caa8e"},"schema_version":"1.0"},"canonical_sha256":"411a210859c67f9324ead4cdec86137cb0b705ce883eb830e6f090ff0c7ba3e2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T02:05:09.155234Z","signature_b64":"P/hO9hpK+5pp4bIIXwFi7aRcobvP4fEDJFnnFWNV0D33xfVFkLm00l1/TUvHhaTpmTM58cPUdlk06/kGkgriCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"411a210859c67f9324ead4cdec86137cb0b705ce883eb830e6f090ff0c7ba3e2","last_reissued_at":"2026-05-26T02:05:09.154347Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T02:05:09.154347Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.10214","source_version":2,"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-26T02:05:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5nKaYTJRzybjSm6jgb865D+pAbwHryEem1h3bk7kFt7/WNpQHIHFIxXPrI6Lv725KV14Kw2BJ6NWe/o3moWpBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T02:52:45.522639Z"},"content_sha256":"8a4ab3fde353c601ce87062d877cb06bc91ea2cb28fb21994e6f49db6fb86056","schema_version":"1.0","event_id":"sha256:8a4ab3fde353c601ce87062d877cb06bc91ea2cb28fb21994e6f49db6fb86056"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:IENCCCCZYZ7ZGJHK2TG6ZBQTPS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Large deviations for maximum local time of simple random walk in dimensions $d\\ge 3$","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Simple random walks in three or more dimensions have sharp large-deviation asymptotics for their maximum local time, along with Gumbel fluctuations.","cross_cats":[],"primary_cat":"math.PR","authors_text":"Xinyi Li, Yushu Zheng","submitted_at":"2026-04-11T13:46:24Z","abstract_excerpt":"We study downward deviations of the maximum local time of the discrete-time simple random walk on $\\mathbb{Z}^d$, $d\\ge 3$. In our previous paper \\cite{li2026ldmaxlocal}, the corresponding upper bound was established, while the matching lower bound was left open. In the present paper, we prove this lower bound and hence obtain the sharp asymptotic formula for the downward-deviation probability. To provide a discrete-time analogue of the jump-chain/holding-time structure used in the continuous-time argument, we introduce a new random structure which we name as {\\it loop-pruned random walk} and "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We obtain sharp asymptotic probabilities for upward and downward large deviations of the maximum local time of simple random walks on Z^d, d ≥ 3. We also obtain Gumbel-type fluctuations around the logarithmic scale of the maximum local time.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The results assume the standard simple symmetric random walk on Z^d for d ≥ 3 together with implicit regularity conditions that allow the large-deviation and fluctuation statements to hold.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Sharp asymptotic probabilities for large deviations of the maximum local time of simple random walks in d ≥ 3, plus Gumbel fluctuations around its logarithmic scale.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Simple random walks in three or more dimensions have sharp large-deviation asymptotics for their maximum local time, along with Gumbel fluctuations.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"5fba28962c29c636755a76f9ad7fb9347b52410d32f4971a408a9164f810ae19"},"source":{"id":"2604.10214","kind":"arxiv","version":2},"verdict":{"id":"c7bb3e67-4f72-4ade-b76f-bbd88aa3f7b0","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-10T15:54:17.257123Z","strongest_claim":"We obtain sharp asymptotic probabilities for upward and downward large deviations of the maximum local time of simple random walks on Z^d, d ≥ 3. We also obtain Gumbel-type fluctuations around the logarithmic scale of the maximum local time.","one_line_summary":"Sharp asymptotic probabilities for large deviations of the maximum local time of simple random walks in d ≥ 3, plus Gumbel fluctuations around its logarithmic scale.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The results assume the standard simple symmetric random walk on Z^d for d ≥ 3 together with implicit regularity conditions that allow the large-deviation and fluctuation statements to hold.","pith_extraction_headline":"Simple random walks in three or more dimensions have sharp large-deviation asymptotics for their maximum local time, along with Gumbel fluctuations."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.10214/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":"c7bb3e67-4f72-4ade-b76f-bbd88aa3f7b0"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-26T02:05:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HiUIeu9x3rhrlgsA10ZylHD2LmK0zHDLP0enKPOzUqsaU2clvZNgHifFnlJZfWkPeCRkX4TWSvosy7HIAH2OAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T02:52:45.523201Z"},"content_sha256":"c70cd9ee481dbf5a344d83e57bac3c591eef0a343aa17cef6b0f9d3a430a4f7a","schema_version":"1.0","event_id":"sha256:c70cd9ee481dbf5a344d83e57bac3c591eef0a343aa17cef6b0f9d3a430a4f7a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IENCCCCZYZ7ZGJHK2TG6ZBQTPS/bundle.json","state_url":"https://pith.science/pith/IENCCCCZYZ7ZGJHK2TG6ZBQTPS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IENCCCCZYZ7ZGJHK2TG6ZBQTPS/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-01T02:52:45Z","links":{"resolver":"https://pith.science/pith/IENCCCCZYZ7ZGJHK2TG6ZBQTPS","bundle":"https://pith.science/pith/IENCCCCZYZ7ZGJHK2TG6ZBQTPS/bundle.json","state":"https://pith.science/pith/IENCCCCZYZ7ZGJHK2TG6ZBQTPS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IENCCCCZYZ7ZGJHK2TG6ZBQTPS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IENCCCCZYZ7ZGJHK2TG6ZBQTPS","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":"1dcbafd92e52dce5d01105e38d053d5d79613fcc5fccc3c28894fedc2f3caa8e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2026-04-11T13:46:24Z","title_canon_sha256":"2234d998c2a9a896d7fd523990eba9908a312bf9930396aba952108f43235129"},"schema_version":"1.0","source":{"id":"2604.10214","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.10214","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"arxiv_version","alias_value":"2604.10214v2","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.10214","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"pith_short_12","alias_value":"IENCCCCZYZ7Z","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"pith_short_16","alias_value":"IENCCCCZYZ7ZGJHK","created_at":"2026-05-26T02:05:09Z"},{"alias_kind":"pith_short_8","alias_value":"IENCCCCZ","created_at":"2026-05-26T02:05:09Z"}],"graph_snapshots":[{"event_id":"sha256:c70cd9ee481dbf5a344d83e57bac3c591eef0a343aa17cef6b0f9d3a430a4f7a","target":"graph","created_at":"2026-05-26T02:05:09Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We obtain sharp asymptotic probabilities for upward and downward large deviations of the maximum local time of simple random walks on Z^d, d ≥ 3. We also obtain Gumbel-type fluctuations around the logarithmic scale of the maximum local time."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The results assume the standard simple symmetric random walk on Z^d for d ≥ 3 together with implicit regularity conditions that allow the large-deviation and fluctuation statements to hold."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Sharp asymptotic probabilities for large deviations of the maximum local time of simple random walks in d ≥ 3, plus Gumbel fluctuations around its logarithmic scale."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Simple random walks in three or more dimensions have sharp large-deviation asymptotics for their maximum local time, along with Gumbel fluctuations."}],"snapshot_sha256":"5fba28962c29c636755a76f9ad7fb9347b52410d32f4971a408a9164f810ae19"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.10214/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study downward deviations of the maximum local time of the discrete-time simple random walk on $\\mathbb{Z}^d$, $d\\ge 3$. In our previous paper \\cite{li2026ldmaxlocal}, the corresponding upper bound was established, while the matching lower bound was left open. In the present paper, we prove this lower bound and hence obtain the sharp asymptotic formula for the downward-deviation probability. To provide a discrete-time analogue of the jump-chain/holding-time structure used in the continuous-time argument, we introduce a new random structure which we name as {\\it loop-pruned random walk} and ","authors_text":"Xinyi Li, Yushu Zheng","cross_cats":[],"headline":"Simple random walks in three or more dimensions have sharp large-deviation asymptotics for their maximum local time, along with Gumbel fluctuations.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2026-04-11T13:46:24Z","title":"Large deviations for maximum local time of simple random walk in dimensions $d\\ge 3$"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.10214","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-10T15:54:17.257123Z","id":"c7bb3e67-4f72-4ade-b76f-bbd88aa3f7b0","model_set":{"reader":"grok-4.3"},"one_line_summary":"Sharp asymptotic probabilities for large deviations of the maximum local time of simple random walks in d ≥ 3, plus Gumbel fluctuations around its logarithmic scale.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Simple random walks in three or more dimensions have sharp large-deviation asymptotics for their maximum local time, along with Gumbel fluctuations.","strongest_claim":"We obtain sharp asymptotic probabilities for upward and downward large deviations of the maximum local time of simple random walks on Z^d, d ≥ 3. We also obtain Gumbel-type fluctuations around the logarithmic scale of the maximum local time.","weakest_assumption":"The results assume the standard simple symmetric random walk on Z^d for d ≥ 3 together with implicit regularity conditions that allow the large-deviation and fluctuation statements to hold."}},"verdict_id":"c7bb3e67-4f72-4ade-b76f-bbd88aa3f7b0"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8a4ab3fde353c601ce87062d877cb06bc91ea2cb28fb21994e6f49db6fb86056","target":"record","created_at":"2026-05-26T02:05:09Z","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":"1dcbafd92e52dce5d01105e38d053d5d79613fcc5fccc3c28894fedc2f3caa8e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2026-04-11T13:46:24Z","title_canon_sha256":"2234d998c2a9a896d7fd523990eba9908a312bf9930396aba952108f43235129"},"schema_version":"1.0","source":{"id":"2604.10214","kind":"arxiv","version":2}},"canonical_sha256":"411a210859c67f9324ead4cdec86137cb0b705ce883eb830e6f090ff0c7ba3e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"411a210859c67f9324ead4cdec86137cb0b705ce883eb830e6f090ff0c7ba3e2","first_computed_at":"2026-05-26T02:05:09.154347Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T02:05:09.154347Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P/hO9hpK+5pp4bIIXwFi7aRcobvP4fEDJFnnFWNV0D33xfVFkLm00l1/TUvHhaTpmTM58cPUdlk06/kGkgriCA==","signature_status":"signed_v1","signed_at":"2026-05-26T02:05:09.155234Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.10214","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8a4ab3fde353c601ce87062d877cb06bc91ea2cb28fb21994e6f49db6fb86056","sha256:c70cd9ee481dbf5a344d83e57bac3c591eef0a343aa17cef6b0f9d3a430a4f7a"],"state_sha256":"fef80dea16eb9df8c15cb344462edcbbbdec89c66df3ad2edb760fa1fe74b7d8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HFyATmEmFLMXjmwsDapSFoiga+J4THrtuQO3JXYeMMtF1FoDVK2kzk+0ncgNHffw1+kU/TcsVS/UM2OlXMqCDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T02:52:45.526426Z","bundle_sha256":"58a426f9db408f216b7d7da75a390df70eb7673eec09d5c4219d2716e35dac3d"}}