@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{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{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{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{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}
}

@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}
}

@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{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}
}

@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}
}

@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}
}

@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{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{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}
}

@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}
}

@misc{SoftCompanion,
  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},
  note = {Companion article, Section 8.1, pp. 22--24; Lemma 8.1 and Equations (24)--(25), p. 23}
}

@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{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{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{FrankSeiringer2008,
  author = {Rupert L. Frank and Robert Seiringer},
  title = {Non-linear Ground State Representations and Sharp {Hardy} Inequalities},
  journal = {Journal of Functional Analysis}, volume = {255}, pages = {3407--3430}, year = {2008},
  eprint = {0803.0503}, archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/0803.0503}
}

@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{BroderixHundertmarkLeschke2000Semigroups,
  author = {Broderix, Kurt and Hundertmark, Dirk and Leschke, Hajo},
  title = {Continuity properties of {Schr\"odinger} semigroups with magnetic fields},
  journal = {Reviews in Mathematical Physics},
  volume = {12},
  pages = {181--225},
  year = {2000},
  eprint = {math-ph/9808004},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/math-ph/9808004v2}
}

@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}
}

@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}
}

@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{FarisSimon1975GroundStates,
  author = {Faris, William and Simon, Barry},
  title = {Degenerate and non-degenerate ground states for {Schr\"odinger} operators},
  journal = {Duke Mathematical Journal},
  volume = {42},
  number = {3},
  pages = {559--567},
  year = {1975},
  url = {https://math.caltech.edu/SimonPapers/59.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{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}
}