@article{Bose1924,
  author = {Bose, Satyendra Nath},
  title = {{Plancks Gesetz und Lichtquantenhypothese}},
  journal = {Zeitschrift f{\"u}r Physik},
  volume = {26},
  number = {1},
  pages = {178--181},
  year = {1924},
  doi = {10.1007/BF01327326},
  url = {https://doi.org/10.1007/BF01327326}
}

@article{Einstein1924IdealGas,
  author  = {Einstein, Albert},
  title   = {{Quantentheorie des einatomigen idealen Gases}},
  journal = {Sitzungsberichte der Preussischen Akademie der Wissenschaften},
  year    = {1924},
  pages   = {261--267},
  url     = {https://echo-old.mpiwg-berlin.mpg.de/ECHOdocuView?url=%2Fpermanent%2Fecho%2Feinstein%2Fsitzungsberichte%2FPG8B073X%2Findex.meta&viewMode=index},
  language = {German}
}

@article{Einstein1925IdealGas,
  author  = {Einstein, Albert},
  title   = {{Quantentheorie des einatomigen idealen Gases. Zweite Abhandlung}},
  journal = {Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse},
  year    = {1925},
  pages   = {3--14},
  url     = {https://echo-old.mpiwg-berlin.mpg.de/ECHOdocuView?url=%2Fpermanent%2Fecho%2Feinstein%2Fsitzungsberichte%2FR1Y4X6GP%2Findex.meta&viewMode=index},
  language = {German}
}

@article{PenroseOnsager1956,
  author = {Penrose, Oliver and Onsager, Lars},
  title = {{Bose--Einstein} Condensation and Liquid Helium},
  journal = {Physical Review}, volume = {104}, number = {3}, pages = {576--584},
  year = {1956}, doi = {10.1103/PhysRev.104.576}
}

@article{Yang1962ODLRO,
  author = {Yang, C. N.},
  title = {Concept of Off-Diagonal Long-Range Order and the Quantum Phases of Liquid {He} and of Superconductors},
  journal = {Reviews of Modern Physics},
  volume = {34},
  number = {4},
  pages = {694--704},
  year = {1962},
  doi = {10.1103/RevModPhys.34.694},
  url = {https://doi.org/10.1103/RevModPhys.34.694}
}

@article{Bogoliubov1947,
  author = {Bogoliubov, N. N.},
  title = {On the theory of superfluidity},
  journal = {Journal of Physics (USSR)},
  volume = {11},
  number = {1},
  pages = {23--32},
  year = {1947},
  url = {https://ufn.ru/pdf/jphysussr/1947/11_1/3jphysussr19471101.pdf}
}

@article{Dyson1957,
  author = {Dyson, Freeman J.},
  title = {Ground-State Energy of a Hard-Sphere Gas},
  journal = {Physical Review}, volume = {106}, pages = {20--26},
  year = {1957}, doi = {10.1103/PhysRev.106.20}
}

@article{LeeHuangYang1957,
  author = {Lee, T. D. and Huang, Kerson and Yang, C. N.},
  title = {Eigenvalues and Eigenfunctions of a {Bose} System of Hard Spheres and Its Low-Temperature Properties},
  journal = {Physical Review},
  volume = {106},
  number = {6},
  pages = {1135--1145},
  year = {1957},
  month = jun,
  doi = {10.1103/PhysRev.106.1135}
}

@article{LiebYngvason1998,
  author = {Lieb, Elliott H. and Yngvason, Jakob},
  title = {Ground State Energy of the Low Density {Bose} Gas},
  journal = {Physical Review Letters}, volume = {80}, pages = {2504--2507},
  year = {1998}, doi = {10.1103/PhysRevLett.80.2504},
  eprint = {cond-mat/9712138}, archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/cond-mat/9712138}
}

@article{LiebSeiringerYngvason2000,
  author = {Elliott H. Lieb and Robert Seiringer and Jakob Yngvason},
  title = {Bosons in a Trap: A Rigorous Derivation of the {Gross--Pitaevskii} Energy Functional},
  journal = {Physical Review A}, volume = {61}, pages = {043602}, year = {2000},
  doi = {10.1103/PhysRevA.61.043602}, eprint = {math-ph/9908027}, archivePrefix = {arXiv}
}

@article{LiebSeiringer2002,
  author = {Lieb, Elliott H. and Seiringer, Robert},
  title = {Proof of {Bose--Einstein} Condensation for Dilute Trapped Gases},
  journal = {Physical Review Letters}, volume = {88}, pages = {170409},
  year = {2002}, doi = {10.1103/PhysRevLett.88.170409},
  eprint = {math-ph/0112032}, archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/math-ph/0112032}
}

@article{DeuchertSeiringerYngvason2019,
  author = {Deuchert, Andreas and Seiringer, Robert and Yngvason, Jakob},
  title = {{Bose--Einstein} Condensation in a Dilute, Trapped Gas at Positive Temperature},
  journal = {Communications in Mathematical Physics},
  volume = {368},
  number = {2},
  pages = {723--776},
  year = {2019},
  doi = {10.1007/s00220-018-3239-0},
  url = {https://d-nb.info/1169529054/34}
}

@article{DeuchertSeiringer2020GP,
  author = {Deuchert, Andreas and Seiringer, Robert},
  title = {{Gross--Pitaevskii} Limit of a Homogeneous {Bose} Gas at Positive Temperature},
  journal = {Archive for Rational Mechanics and Analysis},
  volume = {236},
  number = {3},
  pages = {1217--1271},
  year = {2020},
  doi = {10.1007/s00205-020-01489-4},
  eprint = {1901.11363},
  archivePrefix = {arXiv},
  primaryClass = {math-ph}
}

@incollection{Fournais2021,
  author = {Fournais, S{\o}ren},
  title = {Length scales for {BEC} in the dilute {Bose} gas},
  booktitle = {Partial Differential Equations, Spectral Theory, and Mathematical Physics: The Ari Laptev Anniversary Volume},
  editor = {Exner, Pavel and Frank, Rupert L. and Gesztesy, Fritz and Holden, Helge and Weidl, Timo},
  series = {EMS Series of Congress Reports}, volume = {18},
  pages = {115--133}, publisher = {EMS Press}, year = {2021},
  doi = {10.4171/ECR/18-1/7}, eprint = {2011.00309}, archivePrefix = {arXiv},
  url = {https://ems.press/books/ecr/187/3520}
}

@article{ChongLiangNam2026,
  author = {Chong, Jacky J. and Liang, Hao and Nam, Phan Th{\`a}nh},
  title = {Kinetic localization via {Poincar{\'e}}-type inequalities and applications to the condensation of {Bose} gases},
  journal = {Journal of Functional Analysis}, volume = {291}, number = {5},
  pages = {111542}, year = {2026}, doi = {10.1016/j.jfa.2026.111542},
  eprint = {2510.20493}, archivePrefix = {arXiv},
  url = {https://www.sciencedirect.com/science/article/abs/pii/S0022123626002065}
}

@misc{Junge2026,
  author = {Junge, Lukas},
  title = {Propagation of Condensation via {Neumann} Localization in the Dilute {Bose} Gas},
  year = {2026}, eprint = {2603.20776}, archivePrefix = {arXiv},
  primaryClass = {math-ph}, doi = {10.48550/arXiv.2603.20776},
  note = {Version 3, 4 April 2026}, url = {https://arxiv.org/abs/2603.20776v3}
}

@article{FournaisEtAl2026FreeEnergy,
  author = {Fournais, S. and Junge, L. and Girardot, T. and Morin, L. and Olivieri, M. and Triay, A.},
  title = {The Free Energy of Dilute {Bose} Gases at Low Temperatures Interacting Via Strong Potentials},
  journal = {Annales Henri Poincar{\'e}}, year = {2026},
  doi = {10.1007/s00023-026-01676-1},
  eprint = {2408.14222}, archivePrefix = {arXiv},
  note = {Published online 9 March 2026},
  url = {https://link.springer.com/article/10.1007/s00023-026-01676-1}
}

@article{FournaisSolovej2023,
  author = {Fournais, S{\o}ren and Solovej, Jan Philip},
  title = {The energy of dilute {Bose} gases {II}: the general case},
  journal = {Inventiones Mathematicae},
  volume = {232}, number = {2}, pages = {863--994}, year = {2023},
  doi = {10.1007/s00222-022-01175-0},
  eprint = {2108.12022}, archivePrefix = {arXiv}
}

@misc{BastiEtAl2026HardSpheres,
  author = {Basti, Giulia and Brooks, Morris and Cenatiempo, Serena and Olgiati, Alessandro and Schlein, Benjamin},
  title = {The {Lee--Huang--Yang} energy for a dilute gas of hard spheres: an upper bound},
  year = {2026},
  eprint = {2603.13084},
  archivePrefix = {arXiv},
  primaryClass = {math-ph},
  doi = {10.48550/arXiv.2603.13084},
  note = {Version 2, September 21, 2026},
  url = {https://arxiv.org/abs/2603.13084v2}
}

@misc{BastiEtAl2026GeneralPotentials,
  author = {Basti, Giulia and Brooks, Morris and Cenatiempo, Serena and Olgiati, Alessandro and Schlein, Benjamin},
  title = {{Lee--Huang--Yang} Energy for Dilute {Bose} Gases: an Upper Bound for General Potentials},
  year = {2026},
  eprint = {2609.25314},
  archivePrefix = {arXiv},
  primaryClass = {math-ph},
  note = {Version 1, September 21, 2026},
  url = {https://arxiv.org/abs/2609.25314v1}
}

@article{Solovej2025,
  author = {Solovej, Jan Philip},
  title = {Mathematical physics of dilute {Bose} gases},
  journal = {Comptes Rendus. Physique}, volume = {26}, pages = {339--348},
  year = {2025}, doi = {10.5802/crphys.247},
  eprint = {2504.03314}, archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2504.03314}
}

@misc{Suto2023TwoStep,
  author = {S{\"u}t{\H o}, Andr{\'a}s},
 title = {{Bose--Einstein} condensation of interacting bosons: A two-step proof},
 year = {2023},
 eprint = {2305.18959},
 archivePrefix = {arXiv},
 primaryClass = {math-ph},
 note = {Version 1, May 30, 2023},
 url = {https://arxiv.org/abs/2305.18959}
}

@misc{GalandaPinamonti2025Equilibrium,
  author = {Galanda, Stefano and Pinamonti, Nicola},
 title = {Equilibrium states for non relativistic {Bose} gases with condensation},
 year = {2025},
 eprint = {2509.25101},
 archivePrefix = {arXiv},
 primaryClass = {math-ph},
 url = {https://arxiv.org/abs/2509.25101}
}

@misc{GalandaPinamonti2026GP,
  author = {Galanda, Stefano and Pinamonti, Nicola},
 title = {Equilibrium states for non relativistic {Bose} gases and the {Gross-Pitaevskii} limit},
 year = {2026},
 eprint = {2606.25775},
 archivePrefix = {arXiv},
 primaryClass = {math-ph},
 url = {https://arxiv.org/abs/2606.25775}
}

@article{DysonLiebSimon1978,
  author  = {Dyson, Freeman J. and Lieb, Elliott H. and Simon, Barry},
  title   = {Phase Transitions in Quantum Spin Systems with Isotropic and Nonisotropic Interactions},
  journal = {Journal of Statistical Physics},
  volume  = {18},
  number  = {4},
  pages   = {335--383},
  year    = {1978},
  month   = apr,
  doi     = {10.1007/BF01106729}
}

@article{AizenmanLiebSeiringerSolovejYngvason2004,
  author = {Aizenman, Michael and Lieb, Elliott H. and Seiringer, Robert and Solovej, Jan Philip and Yngvason, Jakob},
  title = {{Bose-Einstein} quantum phase transition in an optical lattice model},
  journal = {Physical Review A},
  volume = {70},
  number = {2},
  pages = {023612},
  year = {2004},
  month = aug,
  doi = {10.1103/PhysRevA.70.023612},
  eprint = {cond-mat/0403240},
  archivePrefix = {arXiv}
}

@article{LundholmPortmannSolovej2015,
  author = {Douglas Lundholm and Fabian Portmann and Jan Philip Solovej},
  title = {{Lieb--Thirring} Bounds for Interacting {Bose} Gases},
  journal = {Communications in Mathematical Physics}, volume = {335}, pages = {1019--1056}, year = {2015},
  doi = {10.1007/s00220-014-2278-4}, eprint = {1402.4463}, archivePrefix = {arXiv}
}

@article{Lewin2011,
  author = {Mathieu Lewin}, title = {Geometric Methods for Nonlinear Many-Body Quantum Systems},
  journal = {Journal of Functional Analysis}, volume = {260}, pages = {3535--3595}, year = {2011},
  doi = {10.1016/j.jfa.2010.11.017}, eprint = {1009.2836}, archivePrefix = {arXiv}
}

@article{Feynman1953AtomicLambda,
  author = {Feynman, Richard P.},
  title = {Atomic Theory of the {$\lambda$} Transition in Helium},
  journal = {Physical Review},
  volume = {91},
  number = {6},
  pages = {1291--1301},
  year = {1953},
  doi = {10.1103/PhysRev.91.1291},
  url = {https://doi.org/10.1103/PhysRev.91.1291}
}

@article{Ueltschi2006FeynmanCycles,
  author = {Ueltschi, Daniel},
  title = {{Feynman} cycles in the {Bose} gas},
  journal = {Journal of Mathematical Physics},
  volume = {47},
  pages = {123303},
  year = {2006},
  doi = {10.1063/1.2383008},
  eprint = {math-ph/0605002},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/math-ph/0605002}
}

@article{BPP1998,
  author = {Benjamini, Itai and Pemantle, Robin and Peres, Yuval},
  title = {Unpredictable paths and percolation},
  journal = {The Annals of Probability}, volume = {26}, number = {3},
  pages = {1198--1211}, year = {1998}, doi = {10.1214/aop/1022855749},
  eprint = {math/9701227}, archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/math/9701227}
}

@article{HaggstromMossel1998,
  author = {H{\"a}ggstr{\"o}m, Olle and Mossel, Elchanan},
  title = {Nearest-neighbor walks with low predictability profile and percolation in {$2+\varepsilon$} dimensions},
  journal = {The Annals of Probability},
  volume = {26},
  number = {3},
  pages = {1212--1231},
  year = {1998},
  doi = {10.1214/aop/1022855750},
  url = {https://faculty.wharton.upenn.edu/wp-content/uploads/2014/07/Nearest_Neighbor_Walks_with_Low_Predictability_Profile_and_Percolation_1.pdf}
}

@article{AbbeMassoulieMontanariSlySrivastava2018,
  author = {Abbe, Emmanuel and Massouli{\'e}, Laurent and Montanari, Andrea and Sly, Allan and Srivastava, Nikhil},
  title = {Group synchronization on grids},
  journal = {Mathematical Statistics and Learning},
  volume = {1},
  number = {3/4},
  pages = {227--256},
  year = {2018},
  doi = {10.4171/MSL/6},
  eprint = {1706.08561},
  archivePrefix = {arXiv}
}

@article{GarbanSpencer2023,
  author = {Garban, Christophe and Spencer, Thomas},
  title = {Continuous symmetry breaking along the {Nishimori} line},
  journal = {Journal of Mathematical Physics},
  volume = {63},
  number = {9},
  pages = {093302},
  year = {2022},
  eprint = {2109.01617v3},
  archivePrefix = {arXiv},
  primaryClass = {math.PR},
  note = {Theorem locators refer to arXiv version 3, 27 March 2023},
  doi = {10.1063/5.0087024},
  url = {https://arxiv.org/abs/2109.01617v3}
}

@article{Timar2013,
  author = {Tim{\'a}r, {\'A}d{\'a}m},
  title = {Boundary-connectivity via graph theory},
  journal = {Proceedings of the American Mathematical Society},
  volume = {141},
  number = {2},
  pages = {475--480},
  year = {2013},
  doi = {10.1090/S0002-9939-2012-11333-4},
  eprint = {0711.1713},
  archivePrefix = {arXiv},
  primaryClass = {math.PR},
  url = {https://arxiv.org/abs/0711.1713v2}
}

@misc{PeresSly2014,
  author = {Peres, Yuval and Sly, Allan},
  title = {Rigidity and tolerance for perturbed lattices},
  year = {2014}, eprint = {1409.4490}, archivePrefix = {arXiv},
  primaryClass = {math.PR}, url = {https://arxiv.org/abs/1409.4490}
}

@article{AriasCastroCandesHelgasonZeitouni2008,
  author = {Arias-Castro, Ery and Cand{\`e}s, Emmanuel J. and Helgason, Hannes and Zeitouni, Ofer},
  title = {Searching for a trail of evidence in a maze},
  journal = {The Annals of Statistics},
  volume = {36}, number = {4}, pages = {1726--1757}, year = {2008},
  doi = {10.1214/07-AOS526},
  url = {https://doi.org/10.1214/07-AOS526}
}

@article{BergerPeres2013,
  author = {Berger, Noam and Peres, Yuval},
  title = {Detecting the trail of a random walker in a random scenery},
  journal = {Electronic Journal of Probability},
  volume = {18},
  number = {87},
  pages = {1--18},
  year = {2013},
  doi = {10.1214/EJP.v18-2367},
  eprint = {1210.0314},
  archivePrefix = {arXiv},
  primaryClass = {math.PR}
}

@article{LiebRuskai1973Entropy,
  author = {Lieb, Elliott H. and Ruskai, Mary Beth},
  title = {Proof of the Strong Subadditivity of Quantum-Mechanical Entropy},
  journal = {Journal of Mathematical Physics},
  volume = {14}, number = {12}, pages = {1938--1941}, year = {1973},
  doi = {10.1063/1.1666274}
}

@article{DeuchertSeiringer2021MeanField,
  author = {Deuchert, Andreas and Seiringer, Robert},
  title = {Semiclassical approximation and critical temperature shift for weakly interacting trapped bosons},
  journal = {Journal of Functional Analysis},
  volume = {281}, number = {6}, pages = {109096}, year = {2021},
  doi = {10.1016/j.jfa.2021.109096},
  eprint = {2009.00992}, archivePrefix = {arXiv}
}

@article{Lindblad1975,
  author = {Lindblad, G{\"o}ran},
  title = {Completely Positive Maps and Entropy Inequalities},
  journal = {Communications in Mathematical Physics},
  volume = {40}, number = {2}, pages = {147--151}, year = {1975},
  doi = {10.1007/BF01609396}
}

@article{DerezinskiGerard1999,
  author = {Derezi{\'n}ski, Jan and G{\'e}rard, Christian},
  title = {Asymptotic Completeness in Quantum Field Theory: Massive {Pauli--Fierz} Hamiltonians},
  journal = {Reviews in Mathematical Physics},
  volume = {11}, number = {4}, pages = {383--450}, year = {1999},
  doi = {10.1142/S0129055X99000155}
}

@misc{HS,
  author = {{OpenAI}},
  title = {{Ground-state condensation in the dilute hard-sphere gas}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Ground-state-condensation-in-the-dilute-hard-sphere-gas-September-24-2026/paper.pdf}{OAI:Ground-state-condensation-in-the-dilute-hard-sphere-gas-September-24-2026}},
  year = {2026}
}

@misc{B,
  author = {{OpenAI}},
  title = {{A density-uniform condensate bound for dilute Bose gases}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-density-uniform-condensate-bound-for-dilute-Bose-gases-September-27-2026/paper.pdf}{OAI:A-density-uniform-condensate-bound-for-dilute-Bose-gases-September-27-2026}},
  year = {2026}
}