TY - RPRT TI - Proof of off-diagonal long-range order in a mean-field trapped Bose gas via the Feynman--Kac formula AU - Tianyi Bai AU - Wolfgang König AU - Quirin Vogel PY - 2024 UR - https://arxiv.org/abs/2408.02270 ID - 2408.02270 ER -