{"schema":"pubphys.bundle/1","record":{"author":{"account_ref":null,"orcid":null},"builds_on":[],"content_schema":"pubphys.content.revision/1","content_sha256":"762954b58a661009a57a2781501fd3953d7ee60dd9aed5c0fcd8c3534bc9077a","created":"2026-10-15T23:43:22Z","files":[],"origin":{"assisted_by":["ai:gpt-5.5"],"kind":"seed"},"parents":["3ced313b4e02252ba3ae60c140a434adcbe52073d81dfc87f4fdd857b4cfd39f","ce59fb6cd812fc05906d0c60a71c75ea22bc686bcf38e7c3ef7010834d98ee7b"],"salt":"0b66ef7fb21e5c823215deb3c87fcec47b6fb56f98e169af27bf507606ea771a","schema":"pubphys.record/2","site":"pubphys.com","target":null,"type":"revision"},"content":{"answer_type":"proof","assisted_by":["ai:gpt-5.5"],"external_id":"mathph.quantum-chaos.random-wave-model","kind":"well-posed","literature_status":"open","n":"2","parents":[],"plain":"Berry proposed that a high-frequency standing wave of a chaotic system looks locally like a random superposition of plane waves, so its values follow a bell curve. Even a much weaker consequence, that no eigenfunction has unusually high peaks, is unproven.","posed_since":"1977","precise":"Compact negatively curved surface $M$ (or an ergodic billiard), $-\\operatorname{Lap} \\phi_{j} = \\lambda_{j} \\phi_{j}$, $||\\phi_{j}||_{2} = 1$. Prove that for a density-one subsequence the distribution of $\\phi_{j}(x)$, $x$ uniform on $M$, converges to the Gaussian of variance $1/\\operatorname{vol}(M)$; a weaker target is the sup-norm bound ||phi_j||_inf <= C_eps lambda_j^eps. Answer: a proof.","problem_ref":"3ced313b4e02252ba3ae60c140a434adcbe52073d81dfc87f4fdd857b4cfd39f","references":"","settled_by":"A proof of Gaussian moments (e.g. $||\\phi_j||_4^4 \\to 3/\\mathrm{vol}(M)$) for a density-one subsequence on one negatively curved surface.","status_note":"The general sup-norm bound is $\\lambda^{1/4}$ up to logarithmic improvement; on arithmetic surfaces Iwaniec and Sarnak (1995) proved $\\lambda^{5/24+\\varepsilon}$.","title":"Gaussian value distribution of chaotic eigenfunctions","topic_ref":null},"content_withheld":"false","files":[],"attested":{"attestation":{"batch":null,"client_id":null,"id_token_sha256":null,"kind":"platform"},"record_hash":"ac3e59277e1911de5d85ce150525628bf7fefe24162c9917e4d1314fad9bd8c8","schema":"pubphys.attested/1"},"id_token":null,"id_token_withheld":"false","envelope":{"attested_hash":"c7d9175666f86c980c6845ca02f2cb7b7383e76f7a5c069e7fcdfc706780bbf2","platform_signature":{"key_id":"c6afc19b31429869751f06879c75cd64ea92654423d15b44be775bf1310a60da","sig":"EaUqDMZLhOZKQ63C3WqEPAg6w37YSANzeTk1XOgxddeti6vhWy-Kdfj9bBpsRdzcf71Oh3ZL6gx2z-X9mupUDA"},"schema":"pubphys.envelope/1"},"ots":{"attested":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEIx9kXVmb4bJgMaEXKAvLLe3OD5296XAaef838cGeAu_LxIMfPtwyQP4KBCnLXvEDUvUErjbtL1RV4pvPD7CgtzLxDCPEg2df8-ep5-K_M-6NgH8UBt1J5aKuhT2yZTSsoFlCrAWEI8SBHju8Erg18Wk3MgnX2buoTi6Kjvo9ilQDF2IgwA8QTZwjxIFkUmRNMQfRBRosziXvu79wPep-HNp6-XdAEbcMaUIroCPEgC4UBUk2r3p6N5ePHELIcf74Fc-UaEHAyQbIol04HlkII8CDgwxexIxmrpOhu1lJVX868FkmRS21yEDi-6oEm4lCQ5gjwIFN5Bsm0GrOfAbeKEdWABW0DwjhI5zX9zku3NWou5CmtCPAg5eqR4CU5l8kO1rB2qJB7mTDxO5KdiNtAiUft-v_2wc8I8CCSqAf0sn_1-kk9EDPXEZvjRff_ciLViVfMVybjDX1OsQjxID89HsXrUag9eRv04qSQX18D2ak5pxDN4H8m3_0Qkp84CPAg3mczMYDKOd7Nhf3ojA9ZvuTsN66Y1NnyYTp9j8GKQNwI8SCvAiiN-Hrv7IEejd8wdUihoozu5KOvpoBFJ0vg3UnGAQj_8Ajn9YmozHwo9QjwEJ46aM9ZDv3TdtqV3ZbRsNgI8SBOF8pILGf1kodr5MKmQs6Cd93joraGn3g6UPt_-kewPwjwIOG-gmM7bd_eR4AiDMNfluS3xvr7vicLR-sCBr5qtG2cCPAgrVNFrCoeQcCxhlmnE0BzHgR8HQpZAlfqzDDFzfWb8GUI8QRq0WWT8AjZJ2cF_c7k8ACD3-MNLvkMjiwraHR0cHM6Ly9ib2IuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZ_AI9ZMS1zxd7IEI8BDd00WgJZ0RncsC1Fyai_4aCPEgvxMFrnu7F05IW5INiraQ3OVEYMjNx6JfBxw1Q4jPLi4I8QRq0WWS8Ag2zxPAtI5JsP8Ag9_jDS75DI4uLWh0dHBzOi8vYWxpY2UuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZwjxIHAnv4KFFf4uiYEFJvLxiMxSyz8VowJP4roTfDD9h7bICPAgj5tgvbNF7mxSP4jGGE66ezUFRLnI4g1VTkvuV4VtCPAI8CCxlc1HuKORuHgn7DYIYcDhc4oo99OkTWBEvddBypoa7AjwIFcjjaF8kDNDYCZGaNISlRjvX-I7in-QNwsr4JYQbFJvCPAgnl0k4gs7LuY5i1umiHO-J7My3uBThLJUWQoY9LdVSrQI8SA6-Ft11_K_GqMNWYhkVsVqCFvXSYbp4S8JoLsLBnUzvgjxIBC8_mAE7JBP35SNxDBcG7joLJwURpMxdV2vSO64_jEOCPEge04Coj1xSi7CE8UwqiBGNhPyZ5QdD_YZwn-heSdObU4I8SBgdDSgr3VUx1j8m_pK7-OzMwwFgXeLy43ujffCv-hf5AjwIMl-PnAt4xjoBEVU4-nkyN0NKRa9AvX4kEMfllFyIJS9CPFZAQAAAAHz4rV-uwQFg02bVnEMUFgpIdGKjM4tWuID1kTVnrjisAAAAAAA_v___wJURAIAAAAAABYAFBFys2oc0-U-bYrC3VulGLzND5fbAAAAAAAAAAAiaiDwBHLTDgAICPEgMJIBYi46xOIuFDwzJ9nOx14ngW5HbglUf65ORpkoIYcICPAgHgGWEGCDHWgscwT92NOoJ7s-ezbPkyiWr2RnYZDC_dwICPAgtffMyyLu-MscJsDc0dzwGspwSrrmvVAnMNgsgWhHClgICPAgMUl1OfBDUwhp5VZjHwVA0nuz1F5HZTUJCHAnM1L1F3MICPAgStK7UWpnrUueV5EaE7uE0y6BLMp6EANmrbhrTqEBZu8ICPAg5LVW7IHtUL5mNOvPx1hOTfLMmqlQ7t9EFW-KDtrISIQICPAgABgXZ6upFU8qiDQKFtQFpqkjKwl0PsxM4JUjVLlDKbkICPAgEwb96FiOhjlbwI8GFZQ4a5GXwxs4bUdqVOMKrtBWV30ICPEgqBg-wp0c8CAPV9k6J7wIa9_GtQfpWmhpE1zqFZyi2pQICPAg2pZLTVPGJbriiz0UhMytYDVYAXOgQnWDcrMOewK9O8cICPEgxm3QwzbvT4siJzubQGnST67bWv-exYwSPP1KDi7CaUwICPEgm6udUudfjUaM0gUFTylKGDMypj7ptMTG0zmxd_T5yTcICPAgMpOInkjFCVp1pOZhfZnyPAl8hdWGmHzQcrGLgLwSKLgICAAFiJYNc9cZAQPzpjs"],"envelope":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEIyMtNoad38B8UlaHfQ4SXY8mPi7Dw9z9fCOboBxeB8D_wIMjafiCu2TyPtlxVj3_NFdV3ksLmfzPi2kyPq12mmWq3CPEgBkDv28bAlTB2e6OS8ARv2GH2l5KzQiO8Oxe9fgH9vDYI8SB653jc25p39IVhScdy-hY0l8B9dDJURsCaC6iZeAG9LQjxINd1eT88AOsqjEzc8G-9b-hnu8uphK1h5G04g2qOX0OFCPAgopDdxTgHW7DtyncGG2Ts7Vfkm4HnXT854c_aCpAN6bwI8SAaZ8NYeGnteCIXkJGKL2az6BVeoyDQJ3WjmX055wRf5wjwIFN5Bsm0GrOfAbeKEdWABW0DwjhI5zX9zku3NWou5CmtCPAg5eqR4CU5l8kO1rB2qJB7mTDxO5KdiNtAiUft-v_2wc8I8CCSqAf0sn_1-kk9EDPXEZvjRff_ciLViVfMVybjDX1OsQjxID89HsXrUag9eRv04qSQX18D2ak5pxDN4H8m3_0Qkp84CPAg3mczMYDKOd7Nhf3ojA9ZvuTsN66Y1NnyYTp9j8GKQNwI8SCvAiiN-Hrv7IEejd8wdUihoozu5KOvpoBFJ0vg3UnGAQj_8Ajn9YmozHwo9QjwEJ46aM9ZDv3TdtqV3ZbRsNgI8SBOF8pILGf1kodr5MKmQs6Cd93joraGn3g6UPt_-kewPwjwIOG-gmM7bd_eR4AiDMNfluS3xvr7vicLR-sCBr5qtG2cCPAgrVNFrCoeQcCxhlmnE0BzHgR8HQpZAlfqzDDFzfWb8GUI8QRq0WWT8AjZJ2cF_c7k8ACD3-MNLvkMjiwraHR0cHM6Ly9ib2IuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZ_AI9ZMS1zxd7IEI8BDd00WgJZ0RncsC1Fyai_4aCPEgvxMFrnu7F05IW5INiraQ3OVEYMjNx6JfBxw1Q4jPLi4I8QRq0WWS8Ag2zxPAtI5JsP8Ag9_jDS75DI4uLWh0dHBzOi8vYWxpY2UuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZwjxIHAnv4KFFf4uiYEFJvLxiMxSyz8VowJP4roTfDD9h7bICPAgj5tgvbNF7mxSP4jGGE66ezUFRLnI4g1VTkvuV4VtCPAI8CCxlc1HuKORuHgn7DYIYcDhc4oo99OkTWBEvddBypoa7AjwIFcjjaF8kDNDYCZGaNISlRjvX-I7in-QNwsr4JYQbFJvCPAgnl0k4gs7LuY5i1umiHO-J7My3uBThLJUWQoY9LdVSrQI8SA6-Ft11_K_GqMNWYhkVsVqCFvXSYbp4S8JoLsLBnUzvgjxIBC8_mAE7JBP35SNxDBcG7joLJwURpMxdV2vSO64_jEOCPEge04Coj1xSi7CE8UwqiBGNhPyZ5QdD_YZwn-heSdObU4I8SBgdDSgr3VUx1j8m_pK7-OzMwwFgXeLy43ujffCv-hf5AjwIMl-PnAt4xjoBEVU4-nkyN0NKRa9AvX4kEMfllFyIJS9CPFZAQAAAAHz4rV-uwQFg02bVnEMUFgpIdGKjM4tWuID1kTVnrjisAAAAAAA_v___wJURAIAAAAAABYAFBFys2oc0-U-bYrC3VulGLzND5fbAAAAAAAAAAAiaiDwBHLTDgAICPEgMJIBYi46xOIuFDwzJ9nOx14ngW5HbglUf65ORpkoIYcICPAgHgGWEGCDHWgscwT92NOoJ7s-ezbPkyiWr2RnYZDC_dwICPAgtffMyyLu-MscJsDc0dzwGspwSrrmvVAnMNgsgWhHClgICPAgMUl1OfBDUwhp5VZjHwVA0nuz1F5HZTUJCHAnM1L1F3MICPAgStK7UWpnrUueV5EaE7uE0y6BLMp6EANmrbhrTqEBZu8ICPAg5LVW7IHtUL5mNOvPx1hOTfLMmqlQ7t9EFW-KDtrISIQICPAgABgXZ6upFU8qiDQKFtQFpqkjKwl0PsxM4JUjVLlDKbkICPAgEwb96FiOhjlbwI8GFZQ4a5GXwxs4bUdqVOMKrtBWV30ICPEgqBg-wp0c8CAPV9k6J7wIa9_GtQfpWmhpE1zqFZyi2pQICPAg2pZLTVPGJbriiz0UhMytYDVYAXOgQnWDcrMOewK9O8cICPEgxm3QwzbvT4siJzubQGnST67bWv-exYwSPP1KDi7CaUwICPEgm6udUudfjUaM0gUFTylKGDMypj7ptMTG0zmxd_T5yTcICPAgMpOInkjFCVp1pOZhfZnyPAl8hdWGmHzQcrGLgLwSKLgICAAFiJYNc9cZAQPzpjs"]},"log":{"leaf_index":"3448","tree_size":"3804","proof":["d815a41f76c51c00f9203a2e738a12d7be88a2c8456243bc9d1c351ad94cf3d0","eeb19f9d7f7b5ea0a192e0eb9dd3b9d2ccef7000fc7e98d8c63ebdda54ee1a5b","7a3e15fc23b0d2c6575c17a3e28d1ea2f81955942f62036d70dcc055804c4ac1","c1c4a3513036c99b4ee08de59e90fb3af34c67e9fa64c79871d38838af5e0345","b97e5f8ea13e637caddc43bf95c4486664ff6f2e9a6fc9f825a26eece8c42a49","13aebc7976993ff4cffdacbb303db40c3f168539f7c2261b2aa55d2ad5dfe5e0","217966f7b365dc70af6d616a83ae450e616d3fef50ead5372fb26577cf221836","f543c2acee32c00eed64ca6a002c4cdf20cd84f300a60f431863f4556659c7bc","5bc8f1bbb7a36ffa2afc301ec767424419006f77d79dfc7ac3adb0dab9eb36e8","98b5a14b42b3a202b6ef825f66833fa505601404c4c0f14575f3ec922607a858","af34d80d0065c0ab502282775e865492e2cb49c9493f4594d63ba5577922854a","3c578dccc15502c5f3efe228cadc99fee76ab536ed01f66b14d316fdcc157429"],"checkpoint":"pubphys.com/log/v1\n3804\nAK6t4qgu96+M9wScTrIlsJ10d/zhKVEtYguyM3aeJvo=\n\n— pubphys.com/log/v1 JFPwIPP8EtoxgcsQg7V7CwIdL4UKPqJtpv+eB8sFNJjyQHIdyA1VabmBsPyLqq2bLxJPn57rA6fQi8y0QDDjRXHvlQg=\n","promise":"pubphys.com/log/v1 promise\nd7fb119c1dfb8a4973f66e641c02b46e68bfee19584726ab0f45c85ae9a5e401\n3448\n2026-10-15T23:43:57Z\n2026-10-16T01:43:57Z\n\n— pubphys.com/log/v1 JFPwIHO+qBSyENmF+UWtXZhGbAV7He6l9iuQA0d8hSm3kIIEmJWal+eUsDgjjAm6M9yVl1juRLH3F2wkRJx2joZXMwM=\n"},"orcid_key_evidence":[],"attesting":null}