{"schema":"pubphys.bundle/1","record":{"author":{"account_ref":null,"orcid":null},"builds_on":[],"content_schema":"pubphys.content.revision/1","content_sha256":"4087279ab4b0eb5b818bb5a8534cc84c195125ea321601dd2e06d310afef2bb6","created":"2026-10-03T07:18:05Z","files":[],"origin":{"assisted_by":[],"kind":"seed"},"parents":["281467524de81f66573dcbbed47192e3c0423267cd2a96b34feb574cb93de781","5475cf5dc5b1a72283d26dc95dc6e00d7ea4e00096a7c6492e409a1816eeb011"],"salt":"51b24de490a3ed8aa24b22d973dd29b6853fbb76a861ab6b50b9312b7d6fcd2f","schema":"pubphys.record/2","site":"pubphys.com","target":null,"type":"revision"},"content":{"answer_type":"proof","assisted_by":[],"external_id":"mathph.bose-condensation.dilute-condensation","kind":"well-posed","literature_status":"open","n":"1","parents":[{"note":"","parent_revision":"281467524de81f66573dcbbed47192e3c0423267cd2a96b34feb574cb93de781","relation":"special_case"}],"plain":"In a very dilute gas the particles rarely meet, so condensation should be easiest to prove there. Current proofs work only in regions somewhat larger than the healing length, the distance over which the condensate recovers from a disturbance.","posed_since":"","precise":"Dilute regime $\\rho a^3 << 1$ ($a = \\text{scattering length of }v$). Show that the condensate fraction in a box of side $L$ tends to $1 - O((\\rho a^3)^{1/2})$ uniformly as $L \\to \\infty$, extending results valid for $L$ up to a power of the healing length $(8 \\pi \\rho a)^{-1/2}$ times a negative power of $\\rho a^3$. Answer: a proof.","problem_ref":null,"references":"","settled_by":"A proof of a condensate fraction near 1 uniform in $L$ for fixed small $\\rho a^{3}$.","status_note":"Fournais (2021) proved condensation on length scales larger than the healing length; the infinite-volume statement is open.","title":"Condensation on all length scales in the dilute Bose gas","topic_ref":"8e2da899d10157a0800115bf0ebd7035da124ea4f6901ed1432508c7509786fe"},"content_withheld":"false","files":[],"attested":{"attestation":{"batch":null,"client_id":null,"id_token_sha256":null,"kind":"platform"},"record_hash":"57d792dad2b0b78f2dd849d2579b713fe0f51cb0d47a964dc028b8e0eb247434","schema":"pubphys.attested/1"},"id_token":null,"id_token_withheld":"false","envelope":{"attested_hash":"7b4fa868376e17c67338e6a49010310b8ca46f296ff039c244e50ab9b0365235","platform_signature":{"key_id":"c6afc19b31429869751f06879c75cd64ea92654423d15b44be775bf1310a60da","sig":"KwE9H1hwIxHfRsY_IjBSe8RjOu7leaiwXJmyWls5vF5-3gY8aSuIoOa_k092WN2p0Ev88coFS5GKs46pDWOxBw"},"schema":"pubphys.envelope/1"},"ots":{"attested":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEIe0-oaDduF8ZzOOakkBAxC4ykbylv8DnCROUKubA2UjXwIHt1rtXY2h8PZgF-Bq6ZzxZkhsnge6yPbOlxSyaVS5jyCPAgZf8LE0FVJWcqmAKvm-TBTLGP7Zgq8SOoPRGBTd-q-6wI8CBxRKY3n8Ri2ebncfa7GYRJKl1v9VpxUKhejusIWtPH-QjwIJ97RVU0h-HD8gkEInl_YLGrOBve7U8gyfITktQyTl5tCPEgKqk9-JvCcZ8iXIMhmgE7XoTIGA_8-iOFuzXvjXR3w_4I8SAkxPBeQk9swSOhpc1CGrPkUP9LFJ9RDR7geR_01LMegQjxIEobgLOgwqyqnIspNXkF7yBH5kfziDUlNs6RX--57f1DCPEgh4LZF42g0kH3DY6zt2g7LubZ1jM3BFR90pRDqduaWSUI8SB8izl_Yn9kR2zBmnu-HVjv452ytRQyuNX-opb_OJzg_gjxINBAKCf3cKChW811B6TkfdlxdONUiLQA88uJMnPer4KuCPEgytIBB3x7TFDT-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"],"envelope":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEIgM4PxkvKNeXiAhg9-L0V3wXt4TJ5EVASUSV4RHOszy7wIIDe0XDUBERlnCbiQno1BWrglJ6nfYq_iZvrye-CyO-pCPAgPs4TOKvP2HFZaqfbOcDdVYoDMt4JostgFMlc547An_EI8SBQeNsZKIrw9L16hkpLsRLd41URk0C2uxxaun7p206lRAjxIKq6V__w_nP_d9VREP1nZj3Fp1_9x05bPoWmSqPmO-I5CPAgAzMjJMJCuYZyhXrcnUKsibyUAfJ5hSHXuqgAjjJNT8kI8CDV-VrDeBU4Rd2bdiIF8sD3kaoaI1e591WQPNBrVmYJsAjxILgyucegs6Hj0k-Cn4WCqTsz35fOCSyIA5vaVrSM5ConCPAgIc68cJ-EOb_p9fBzMx1sIuwuI-BGalPIOj3vrhU7YtUI8CBxK_WraVEkFPQAC7yAevXyyf-CupxAva0AtHIOkj6nkwjwIIhzmnVeFxVHRiBmi7SsQd_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"]},"log":{"leaf_index":"1598","tree_size":"2123","proof":["42b3cd129ad83f1ba233a1dc08fdc31e38cc76704b078dcbef5b946d39d8a199","6fbae7c8a4df5ab27002042fc1606c228b9b5a07d06d99fa88573d8e51567217","86dbb49f432a50656674f6d0430ea142865675e527f05a2f7c4d063f2ada6084","905fc3ae9554308b81fc65e26e53121af8607b1f0cd83155476539c4ae8e92d9","f58575aed5f4612902c01d0d47e6f5a5815740decef7e1a31f0e6f73c8940204","92e7086bcd854cddc0bd0e847df630ecbb9099928955f6915e5cf78cd9458270","90c76f05178b1e645281056245084c61b577ed1075df4912315bbc4e2c22997f","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}