{"schema":"pubphys.bundle/1","record":{"author":{"account_ref":null,"orcid":null},"builds_on":[],"content_schema":"pubphys.content.revision/1","content_sha256":"080500c1a78ecf1b11ca1ee8d4512e5e37a9fa0c9a47f5d5785ec0b88c277c23","created":"2026-10-03T07:18:06Z","files":[],"origin":{"assisted_by":[],"kind":"seed"},"parents":["5475cf5dc5b1a72283d26dc95dc6e00d7ea4e00096a7c6492e409a1816eeb011","7ac9dc1f2c61b3f228a529e27f06d1c4e0fcdde3fcd25c0bef263aee0d566d66"],"salt":"7289ccb9a0370e291ad7d7dd5a22025a5c3514ddc6233a6302c9c1c5908c8d43","schema":"pubphys.record/2","site":"pubphys.com","target":null,"type":"revision"},"content":{"answer_type":"proof","assisted_by":[],"external_id":"mathph.quantum-chaos.bgs-billiard","kind":"well-posed","literature_status":"open","n":"1","parents":[{"note":"","parent_revision":"7ac9dc1f2c61b3f228a529e27f06d1c4e0fcdde3fcd25c0bef263aee0d566d66","relation":"special_case"}],"plain":"Prove for one concrete chaotic shape, such as a stadium-shaped drum, that its high vibration frequencies have random-matrix spacing statistics. No single example is proven.","posed_since":"1984","precise":"Dirichlet Laplacian on the Bunimovich stadium or the Sinai billiard, eigenvalues $\\lambda_n \\to \\infty$ unfolded by Weyl's law. Prove that the pair correlation converges to the GOE two-point function, or at least that the spectral form factor satisfies $K(\\tau) = 2 \\tau - \\tau \\log(1 + 2 \\tau)$ for small $\\tau > 0$. Answer: a proof.","problem_ref":null,"references":"","settled_by":"A proof for one billiard or one negatively curved surface without arithmetic symmetry.","status_note":"","title":"Random-matrix pair correlation for a specific chaotic billiard","topic_ref":"ea13ab5f74a1c82c80da965948277a56b113b5df57a11f41c996b317accddd90"},"content_withheld":"false","files":[],"attested":{"attestation":{"batch":null,"client_id":null,"id_token_sha256":null,"kind":"platform"},"record_hash":"9f982576b3f2f357f6e69fcc3255f8023bd74f6686ad0cd8e3449055b86c481c","schema":"pubphys.attested/1"},"id_token":null,"id_token_withheld":"false","envelope":{"attested_hash":"90a3a2c491a919710230d05e4dd59c287f63196d4363f994d677b16a00d02fe1","platform_signature":{"key_id":"c6afc19b31429869751f06879c75cd64ea92654423d15b44be775bf1310a60da","sig":"3KblsHYMh7mMp9E1RWsg5sRYXlg4dqekiKkA6KNDJ7NhpPi3pIofxXG277Fp5WqouELI_3m1SP9RRzlWFVl-BQ"},"schema":"pubphys.envelope/1"},"ots":{"attested":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEIkKOixJGpGXECMNBeTdWcKH9jGW1DY_mU1nexagDQL-HwIJClmP2Fe6Jx92M5ULOwgOigdF1ikpxU_W5nLbHCR-2eCPEgX5yZd3i4E2ab8Fd7Sre-NEVZ2GOS1kv22y8OlE97VR4I8CDQmMHK4UYCzi-4knCiE6EVvTkgKgMUZ7nTO1BVdZzj_QjwIFM-Jd-kjjwqBWzt-D5ozn4J0NiQtJNeeBgMjMB44aN4CPAgDbDJ5Jts0H26jCr8Dm8LRiW741ad1MNEiQmoGQHS6EwI8CAEwc_TDAArJnS7L12hyepqNpIfWdUKeTwknlQYdJa64wjxID4GM9LaCJsrZhWbEPtHBfDrOPGQi4CH8Bu_7M-4ow1RCPAgyYYKAjmHpniaTNWfQfwaMNMI3Vm3FjqZ7JUny3t_J48I8SAzYkfrMCtnlPZF7RCs0vhySIZDq30HHv5Q-Y2E93F_lgjwIIhzmnVeFxVHRiBmi7SsQd_gIBRvsrzzZf-fzyEkp8wnCPAgy6DmLQtIuWm-zrDRmaSy95vcFWsjvWyppQO7wIWrfC4I8SAQuuTPkAGyvS_wKMy9BtKvnki2puESdY2vXem8hT1uIQjwIBGYo5Vxy-d7U5zKv5vp3Ii7hJPH_BDLCzA13c47p9q7CP_wCHbghVgOFMuNCPAQPZK2lHbTMqcCYUotzOQcmQjwIJ7ruRIs6HnufKxCpmLUgeUl0aUu0ov4_3PqcppS-bddCPEgI530vHzdwz_3o9jYQ3WablSaV64Wfn7Pmby5WLyI-A0I8QRqwKw78AhITF7Tr3a1xP8Ag9_jDS75DI4sK2h0dHBzOi8vYm9iLmJ0Yy5jYWxlbmRhci5vcGVudGltZXN0YW1wcy5vcmcI8CBXWeNiWFWltfHE0nkDXsVKIykUUwuObhsnN-2fvBt98gjwIM5Vf7j68sOFgVysYMc5S09Hho-fqxYW3oQ4oKUX7JpPCPAgaKHHQB3sdd9w1hu4NMh7vmb-p0X2r4uyVKKCj1G7S28I8SAW2Mg6Bzi9ygjrrjIYB7w90fwMcxH24SsqLmzPyAMGfwjwIMQ863zlveYIpNKWVrZaDOa4vowwoOg2CcTW8gXtxK3dCPEgrZxGGAf-t8jhz_eLMUyBN1IhNrdYDRcNHWvQcwNG9woI8CCVOUHG1YXudbaFIgUYvrCIevRWvb2ubhQAo-z0duD0rQjxIDBeKerVGkO3J2eXDwdraSioXbIWsdIPEN1s8pIwJIS2CPAgV2kB3n3JZ5HwBQjpRL1CWKnqvdCjZk3RcALk6N2wHigI8CB-wbljNlfqElD25uZkNg6taS81YDRU2vfMqGVQ420O9AjxWQEAAAABJM43UU6MLMRrPlCUqossvu1q_knons5yylyWTgxZzWUAAAAAAP7___8CLgABAAAAAAAWABQrYt3E7OllKRCEmL3FL589l78_5wAAAAAAAAAAImog8ATiyw4ACAjxILmbcIO7ixv3pCtwUMZ1VQGKus54F9lZ8-w5ECD5ZuiICAjwIG6ynCyFTLPE7Rgk-0ZGCtBDyqNQx8YvaSZNHy8D8p8jCAjwIMX8zoD2Be1YWvcx_bexVPRmBX0hK-do8b8t9SarimQVCAjxIG6XtpqIEclLlhzcK1LVjqoPGrjjmLnyno8tcETMzECECAjwIF6mlfXOFY51JhrK4eze8zQlKV75OYZYqbtyi8BWxmAsCAjwIKKUcJmVoz-u-geiRV_-ZHdF0VEPXaEPFWf_JX_0e7G2CAjxIGMeD0Z5QWNKBcAEpHht007FFIILW6aSJ8f3CMkKNsneCAjwIBFr6Je8rkB7kwhPGbq0yRgFwZsvW9JhY5sXDRtrq0QwCAjwIAHAwXaus-yUgKICJB5mVvx8VZuJgjwnpb0qWPg1pi6DCAjxIAJhb8cefkVHTAMymdsxa-_i-tUua62LcpALQnPG7R9_CAjwIDvsFqBhPfAL6TCtXZd7gBWmMpx6iiZ-Ug0Jf_LlcstgCAjwIDJRBX6Q0Vge-ra-k1_g76yJWTEp6WWF13I3JpTnsZPJCAjwILykZCbkC9VQgl5gytPKKir6T9nTvKR6y05iWSHBTQgzCAgABYiWDXPXGQED45c78Ah-sGbmQAwfZwjwEAYqxtHnZiPZnJEGPx_JvKsI8SDXkqDg17YsZIrEz5acRx7mBXCKW5mKNgRYnw_-U2cpDgjxBGrArDrwCEfK6Mono428_wCD3-MNLvkMji4taHR0cHM6Ly9hbGljZS5idGMuY2FsZW5kYXIub3BlbnRpbWVzdGFtcHMub3JnCPAg10nyJ6Jn4kshQQQCKE0Lvj3hBC6nLRBVIzaPV4eh8VwI8CCQaAqWlxEbac_XOq1MOlf9iOKHEsxXspzbjK0vLpy8BwjwII3iRbRXUcDxrhAdkZmFlI15nySCSEZ7g922tF1Xln5DCPEgYYvZ1L4v4rPu_UqLfcHPtwSb2OH2GhPgVcVhhH6DpkQI8CDZCIoR20sC-uchP40oAmcLm9EJFV7xzwplj54AeVadXQjxILvLBjPFpCoz29m9Yf2qRnV7PI9GqxE8ozVQfk9QwCqrCPEgZXcMudvEoB_MJ8tqOW2PLTKAIeQBnE-1bfzptRc2gR8I8VkBAAAAAfXq-bmxWqOz7B5wKkwjzHGv2R4s7Y0Z76LqXWYNhmz0AAAAAAD-____Av0cAAAAAAAAFgAUl-skmdZDtn7Hnub6mF4HP2uVn7oAAAAAAAAAACJqIPAE4MsOAAgI8CBDmQsbEXc46Hu8DivhCBM1LGExa4TTM-wo7HpoCVjBTQgI8CCty5vkQtPHzzs8xqArOYhVSjgaDoG1ou3cojv5_P7wQQgI8SDQWB0kdXCTwbk-TqTt0QfRMyzDNLOtU1XXFgvGSRlW8wgI8CC2PKa_QCIBZtrXodq1GdEzppISMsMRDOnzr2gFjLKOAAgI8CCwQ_QF67bcFk_uJ2s0VCZmf5PGIjTmTCpt_qnVY5p_8AgI8SAbzyx7z-oxPMju6PvtQhzrJIQyH2ZAc9oyLuYemzbmZQgI8CC5bh7J74uUk91r8LwybHQFCNBC3PWeuwtMCCNFKWj19AgI8SAf4R2TUNPjaX_PWDUImpoITK0JoW89zaMKnD1wlEEi8AgI8SC2vNmdm7eyP5Ytl1yTzT0njliMdALl1ViKG-s3bG2zswgI8CCpbIVNz1GFVXdJk2zd82hBUoNFFemUPBt7IJdWEOciPwgI8CBtYdRQcrtX1FtCm1SxF7sx-5cO04U8KzbJh8fqBkyReAgI8CBHs2LGmX6gI-lV7yp1RrV7_tGfdiBAwnEFF6B6yXHzAQgI8CATotVmbXBMAixhZ-QKy5Q4lR0FusdA_wcIC1TbB7GmxAgIAAWIlg1z1xkBA-KXOw"],"envelope":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEIQ3RvKiBhvfI-0oRNPC78QRi2rPmsF_K39-3x6kLr2bPxIENhMzHBgiYRuUMflGZprZ-TbXIXe0z192HqoeiUjoOICPAg3wTSkiVEMJt4XFJdygCGcuFPY5ApaTUNyOt7ZpKv5LoI8CCKoyFKX7V5Lna0jx1nD216XHP1xAuhGDvgglm85ewu7wjwIB20xBLJxoXHXP7DxhBewvjogVwGeUpIdV6JvMpmw2XSCPAgosGTxs5mFr4ohxEVL7BlQQ1byrQK4I2QK6vjaNY9AvsI8SDqh7ZKV0FP9bj6-wHJxi1ULARNTFUNvmnF519BY4N0-gjxIO0D7CRgiEuDrwg_IQ4Djq6tg8Px2LVb4_GnOkvNiXBICPAgDwiS_6mbTnnYK_oMGqQLov2YRVYIj9Er1NWLuDHHhV8I8CDcBxRb7fDApTWNNvjZ_r2lDpQT60DYte3pStKjciGgOAjwIK9SXvHBwgJE5CknXtp2lOqKcbHlJ-ncP9sNjnTHUJsmCPEgytIBB3x7TFDT-XqOV-9vpqw1NKoAu0dhtsCbAMql2L0I8CCtNZgmApuKULvPC9nsMCaM05arV-F3o5FTlnJCnRvdMgjwIBGYo5Vxy-d7U5zKv5vp3Ii7hJPH_BDLCzA13c47p9q7CP_wCHbghVgOFMuNCPAQPZK2lHbTMqcCYUotzOQcmQjwIJ7ruRIs6HnufKxCpmLUgeUl0aUu0ov4_3PqcppS-bddCPEgI530vHzdwz_3o9jYQ3WablSaV64Wfn7Pmby5WLyI-A0I8QRqwKw78AhITF7Tr3a1xP8Ag9_jDS75DI4sK2h0dHBzOi8vYm9iLmJ0Yy5jYWxlbmRhci5vcGVudGltZXN0YW1wcy5vcmcI8CBXWeNiWFWltfHE0nkDXsVKIykUUwuObhsnN-2fvBt98gjwIM5Vf7j68sOFgVysYMc5S09Hho-fqxYW3oQ4oKUX7JpPCPAgaKHHQB3sdd9w1hu4NMh7vmb-p0X2r4uyVKKCj1G7S28I8SAW2Mg6Bzi9ygjrrjIYB7w90fwMcxH24SsqLmzPyAMGfwjwIMQ863zlveYIpNKWVrZaDOa4vowwoOg2CcTW8gXtxK3dCPEgrZxGGAf-t8jhz_eLMUyBN1IhNrdYDRcNHWvQcwNG9woI8CCVOUHG1YXudbaFIgUYvrCIevRWvb2ubhQAo-z0duD0rQjxIDBeKerVGkO3J2eXDwdraSioXbIWsdIPEN1s8pIwJIS2CPAgV2kB3n3JZ5HwBQjpRL1CWKnqvdCjZk3RcALk6N2wHigI8CB-wbljNlfqElD25uZkNg6taS81YDRU2vfMqGVQ420O9AjxWQEAAAABJM43UU6MLMRrPlCUqossvu1q_knons5yylyWTgxZzWUAAAAAAP7___8CLgABAAAAAAAWABQrYt3E7OllKRCEmL3FL589l78_5wAAAAAAAAAAImog8ATiyw4ACAjxILmbcIO7ixv3pCtwUMZ1VQGKus54F9lZ8-w5ECD5ZuiICAjwIG6ynCyFTLPE7Rgk-0ZGCtBDyqNQx8YvaSZNHy8D8p8jCAjwIMX8zoD2Be1YWvcx_bexVPRmBX0hK-do8b8t9SarimQVCAjxIG6XtpqIEclLlhzcK1LVjqoPGrjjmLnyno8tcETMzECECAjwIF6mlfXOFY51JhrK4eze8zQlKV75OYZYqbtyi8BWxmAsCAjwIKKUcJmVoz-u-geiRV_-ZHdF0VEPXaEPFWf_JX_0e7G2CAjxIGMeD0Z5QWNKBcAEpHht007FFIILW6aSJ8f3CMkKNsneCAjwIBFr6Je8rkB7kwhPGbq0yRgFwZsvW9JhY5sXDRtrq0QwCAjwIAHAwXaus-yUgKICJB5mVvx8VZuJgjwnpb0qWPg1pi6DCAjxIAJhb8cefkVHTAMymdsxa-_i-tUua62LcpALQnPG7R9_CAjwIDvsFqBhPfAL6TCtXZd7gBWmMpx6iiZ-Ug0Jf_LlcstgCAjwIDJRBX6Q0Vge-ra-k1_g76yJWTEp6WWF13I3JpTnsZPJCAjwILykZCbkC9VQgl5gytPKKir6T9nTvKR6y05iWSHBTQgzCAgABYiWDXPXGQED45c78Ah-sGbmQAwfZwjwEAYqxtHnZiPZnJEGPx_JvKsI8SDXkqDg17YsZIrEz5acRx7mBXCKW5mKNgRYnw_-U2cpDgjxBGrArDrwCEfK6Mono428_wCD3-MNLvkMji4taHR0cHM6Ly9hbGljZS5idGMuY2FsZW5kYXIub3BlbnRpbWVzdGFtcHMub3JnCPAg10nyJ6Jn4kshQQQCKE0Lvj3hBC6nLRBVIzaPV4eh8VwI8CCQaAqWlxEbac_XOq1MOlf9iOKHEsxXspzbjK0vLpy8BwjwII3iRbRXUcDxrhAdkZmFlI15nySCSEZ7g922tF1Xln5DCPEgYYvZ1L4v4rPu_UqLfcHPtwSb2OH2GhPgVcVhhH6DpkQI8CDZCIoR20sC-uchP40oAmcLm9EJFV7xzwplj54AeVadXQjxILvLBjPFpCoz29m9Yf2qRnV7PI9GqxE8ozVQfk9QwCqrCPEgZXcMudvEoB_MJ8tqOW2PLTKAIeQBnE-1bfzptRc2gR8I8VkBAAAAAfXq-bmxWqOz7B5wKkwjzHGv2R4s7Y0Z76LqXWYNhmz0AAAAAAD-____Av0cAAAAAAAAFgAUl-skmdZDtn7Hnub6mF4HP2uVn7oAAAAAAAAAACJqIPAE4MsOAAgI8CBDmQsbEXc46Hu8DivhCBM1LGExa4TTM-wo7HpoCVjBTQgI8CCty5vkQtPHzzs8xqArOYhVSjgaDoG1ou3cojv5_P7wQQgI8SDQWB0kdXCTwbk-TqTt0QfRMyzDNLOtU1XXFgvGSRlW8wgI8CC2PKa_QCIBZtrXodq1GdEzppISMsMRDOnzr2gFjLKOAAgI8CCwQ_QF67bcFk_uJ2s0VCZmf5PGIjTmTCpt_qnVY5p_8AgI8SAbzyx7z-oxPMju6PvtQhzrJIQyH2ZAc9oyLuYemzbmZQgI8CC5bh7J74uUk91r8LwybHQFCNBC3PWeuwtMCCNFKWj19AgI8SAf4R2TUNPjaX_PWDUImpoITK0JoW89zaMKnD1wlEEi8AgI8SC2vNmdm7eyP5Ytl1yTzT0njliMdALl1ViKG-s3bG2zswgI8CCpbIVNz1GFVXdJk2zd82hBUoNFFemUPBt7IJdWEOciPwgI8CBtYdRQcrtX1FtCm1SxF7sx-5cO04U8KzbJh8fqBkyReAgI8CBHs2LGmX6gI-lV7yp1RrV7_tGfdiBAwnEFF6B6yXHzAQgI8CATotVmbXBMAixhZ-QKy5Q4lR0FusdA_wcIC1TbB7GmxAgIAAWIlg1z1xkBA-KXOw"]},"log":{"leaf_index":"1647","tree_size":"2123","proof":["8bd6f73bf7ca4ba04293e7066eec32784ab108ee2c19181388d8073a91c7818c","db25ed47d14194757d5330b0d612fc7e74f751fd323925861ca3f7f7c1a1dbfe","ca80ca1862eca13042de8259b970e1c17c691abbc6a9bcf28c801c1c99903c75","1361380c06eb7be82a18479f43058d7e0c0844169ecc44bfd09c5ab9759f9c43","1389dfb25e6722dfbcd3171651f84b69130ec8415cd7f1e9717f7dad8046e5d0","594f9ab8a5cbdde0cccfba43624659f96df1cdc69fb04da06f16a50a95f3ad3b","0bfc77bd061b3d7ef211c4f18a6ac184c91d825819cd6cc52c171e49aaa9d794","b78ddae6ec4f50645dafadd88148aea3eac280e472349d3dbe77576e43fa2780","a8cef064ef9c15524538954d820d60e39424932bbb86df562c6b87106df2eda9","35f1d0a5e69da98f9992a5251e4e3df1933c2f26543c7a40b2681ecfa194443a","2b97406e15e4d451a5450b3b53b677749fe0fa759579146dbfa1544c1e61a0ed","addcf2e0ff7974e4aa99af5e30d409f90d9f4311a4d85f5baf3e125eeb45b4c1"],"checkpoint":"pubphys.com/log/v1\n2123\npXVcluz7BF4vgChQs6lShuU0386gCH0RxrC1sxyE3rI=\n\n— pubphys.com/log/v1 JFPwIOLzsUD22XoTVyTfk/FMVj/u3f3DxZk4V/Ws10KVSS+8WQSwhunQ//EAhyS9Td5CyM0E++85GMezmKd8240j9Q8=\n","promise":null},"orcid_key_evidence":[],"attesting":null}