Pub Date : 2024-12-17DOI: 10.1007/s00023-024-01522-2
Markus Schröfl, Stefan Floerchinger
Relative entropy is a powerful measure of the dissimilarity between two statistical field theories in the continuum. In this work, we study the relative entropy between Gaussian scalar field theories in a finite volume with different masses and boundary conditions. We show that the relative entropy depends crucially on d, the dimension of Euclidean space. Furthermore, we demonstrate that the mutual information between two disjoint regions in (mathbb {R}^d) is finite if the two regions are separated by a finite distance and satisfies an area law. We then construct an example of “touching” regions between which the mutual information is infinite. We argue that the properties of mutual information in scalar field theories can be explained by the Markov property of these theories.
{"title":"Relative Entropy and Mutual Information in Gaussian Statistical Field Theory","authors":"Markus Schröfl, Stefan Floerchinger","doi":"10.1007/s00023-024-01522-2","DOIUrl":"10.1007/s00023-024-01522-2","url":null,"abstract":"<div><p>Relative entropy is a powerful measure of the dissimilarity between two statistical field theories in the continuum. In this work, we study the relative entropy between Gaussian scalar field theories in a finite volume with different masses and boundary conditions. We show that the relative entropy depends crucially on <i>d</i>, the dimension of Euclidean space. Furthermore, we demonstrate that the mutual information between two disjoint regions in <span>(mathbb {R}^d)</span> is finite if the two regions are separated by a finite distance and satisfies an area law. We then construct an example of “touching” regions between which the mutual information is infinite. We argue that the properties of mutual information in scalar field theories can be explained by the Markov property of these theories.\u0000</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"26 9","pages":"3233 - 3319"},"PeriodicalIF":1.3,"publicationDate":"2024-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01522-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144990641","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-12-16DOI: 10.1007/s00023-024-01523-1
Anton Alekseev, Florian Naef, Muze Ren
Drinfeld defined the Knizhnik–Zamolodchikov (KZ) associator (Phi _{textrm{KZ}}) by considering the regularized holonomy of the KZ connection along the droit chemin [0, 1]. The KZ associator is a group-like element of the free associative algebra with two generators, and it satisfies the pentagon equation. In this paper, we consider paths on ({mathbb {C}}backslash { z_1, dots , z_n}) which start and end at tangential base points. These paths are not necessarily straight, and they may have a finite number of transversal self-intersections. We show that the regularized holonomy H of the KZ connection associated with such a path satisfies a generalization of Drinfeld’s pentagon equation. In this equation, we encounter H, (Phi _{textrm{KZ}}), and new factors associated with self-intersections, tangential base points, and the rotation number of the path.
{"title":"Generalized Pentagon Equations","authors":"Anton Alekseev, Florian Naef, Muze Ren","doi":"10.1007/s00023-024-01523-1","DOIUrl":"10.1007/s00023-024-01523-1","url":null,"abstract":"<div><p>Drinfeld defined the Knizhnik–Zamolodchikov (KZ) associator <span>(Phi _{textrm{KZ}})</span> by considering the regularized holonomy of the KZ connection along the <i>droit chemin</i> [0, 1]. The KZ associator is a group-like element of the free associative algebra with two generators, and it satisfies the pentagon equation. In this paper, we consider paths on <span>({mathbb {C}}backslash { z_1, dots , z_n})</span> which start and end at tangential base points. These paths are not necessarily straight, and they may have a finite number of transversal self-intersections. We show that the regularized holonomy <i>H</i> of the KZ connection associated with such a path satisfies a generalization of Drinfeld’s pentagon equation. In this equation, we encounter <i>H</i>, <span>(Phi _{textrm{KZ}})</span>, and new factors associated with self-intersections, tangential base points, and the rotation number of the path.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"26 3","pages":"877 - 894"},"PeriodicalIF":1.4,"publicationDate":"2024-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01523-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143726655","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-12-15DOI: 10.1007/s00023-024-01516-0
Ricardo Correa da Silva, Johannes Große, Gandalf Lechner
KMS states on ({mathbb {Z}}_2)-crossed products of unital (C^*)-algebras ({mathcal {A}}) are characterized in terms of KMS states and twisted KMS functionals of ({mathcal {A}}). These functionals are shown to describe the extensions of KMS states (omega ) on ({mathcal {A}}) to the crossed product ({mathcal {A}} rtimes {mathbb {Z}}_2) and can also be characterized by the twisted center of the von Neumann algebra generated by the GNS representation corresponding to (omega ). As a particular class of examples, KMS states on ({mathbb {Z}}_2)-crossed products of CAR algebras with dynamics and grading given by Bogoliubov automorphisms are analyzed in detail. In this case, one or two extremal KMS states are found depending on a Gibbs-type condition involving the odd part of the absolute value of the Hamiltonian. As an application in mathematical physics, the extended field algebra of the Ising QFT is shown to be a ({mathbb {Z}}_2)-crossed product of a CAR algebra which has a unique KMS state.
{"title":"KMS States on ({mathbb {Z}}_2)-Crossed Products and Twisted KMS Functionals","authors":"Ricardo Correa da Silva, Johannes Große, Gandalf Lechner","doi":"10.1007/s00023-024-01516-0","DOIUrl":"10.1007/s00023-024-01516-0","url":null,"abstract":"<div><p>KMS states on <span>({mathbb {Z}}_2)</span>-crossed products of unital <span>(C^*)</span>-algebras <span>({mathcal {A}})</span> are characterized in terms of KMS states and twisted KMS functionals of <span>({mathcal {A}})</span>. These functionals are shown to describe the extensions of KMS states <span>(omega )</span> on <span>({mathcal {A}})</span> to the crossed product <span>({mathcal {A}} rtimes {mathbb {Z}}_2)</span> and can also be characterized by the twisted center of the von Neumann algebra generated by the GNS representation corresponding to <span>(omega )</span>. As a particular class of examples, KMS states on <span>({mathbb {Z}}_2)</span>-crossed products of CAR algebras with dynamics and grading given by Bogoliubov automorphisms are analyzed in detail. In this case, one or two extremal KMS states are found depending on a Gibbs-type condition involving the odd part of the absolute value of the Hamiltonian. As an application in mathematical physics, the extended field algebra of the Ising QFT is shown to be a <span>({mathbb {Z}}_2)</span>-crossed product of a CAR algebra which has a unique KMS state.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"26 11","pages":"4109 - 4139"},"PeriodicalIF":1.3,"publicationDate":"2024-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01516-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145248332","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-12-12DOI: 10.1007/s00023-024-01521-3
Stefan Teufel, Roderich Tumulka, Cornelia Vogel
We consider a closed macroscopic quantum system in a pure state (psi _t) evolving unitarily and take for granted that different macro states correspond to mutually orthogonal subspaces ({mathcal {H}}_nu ) (macro spaces) of Hilbert space, each of which has large dimension. We extend previous work on the question what the evolution of (psi _t) looks like macroscopically, specifically on how much of (psi _t) lies in each ({mathcal {H}}_nu ). Previous bounds concerned the absolute error for typical (psi _0) and/or t and are valid for arbitrary Hamiltonians H; now, we provide bounds on the relative error, which means much tighter bounds, with probability close to 1 by modeling H as a random matrix, more precisely as a random band matrix (i.e., where only entries near the main diagonal are significantly nonzero) in a basis aligned with the macro spaces. We exploit particularly that the eigenvectors of H are delocalized in this basis. Our main mathematical results confirm the two phenomena of generalized normal typicality (a type of long-time behavior) and dynamical typicality (a type of similarity within the ensemble of (psi _0) from an initial macro space). They are based on an extension we prove of a no-gaps delocalization result for random matrices by Rudelson and Vershynin (Geom Funct Anal 26:1716–1776, 2016).
{"title":"Typical Macroscopic Long-Time Behavior for Random Hamiltonians","authors":"Stefan Teufel, Roderich Tumulka, Cornelia Vogel","doi":"10.1007/s00023-024-01521-3","DOIUrl":"10.1007/s00023-024-01521-3","url":null,"abstract":"<div><p>We consider a closed macroscopic quantum system in a pure state <span>(psi _t)</span> evolving unitarily and take for granted that different macro states correspond to mutually orthogonal subspaces <span>({mathcal {H}}_nu )</span> (macro spaces) of Hilbert space, each of which has large dimension. We extend previous work on the question what the evolution of <span>(psi _t)</span> looks like macroscopically, specifically on how much of <span>(psi _t)</span> lies in each <span>({mathcal {H}}_nu )</span>. Previous bounds concerned the <i>absolute</i> error for typical <span>(psi _0)</span> and/or <i>t</i> and are valid for arbitrary Hamiltonians <i>H</i>; now, we provide bounds on the <i>relative</i> error, which means much tighter bounds, with probability close to 1 by modeling <i>H</i> as a random matrix, more precisely as a random band matrix (i.e., where only entries near the main diagonal are significantly nonzero) in a basis aligned with the macro spaces. We exploit particularly that the eigenvectors of <i>H</i> are delocalized in this basis. Our main mathematical results confirm the two phenomena of generalized normal typicality (a type of long-time behavior) and dynamical typicality (a type of similarity within the ensemble of <span>(psi _0)</span> from an initial macro space). They are based on an extension we prove of a no-gaps delocalization result for random matrices by Rudelson and Vershynin (Geom Funct Anal 26:1716–1776, 2016).</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"26 9","pages":"3189 - 3231"},"PeriodicalIF":1.3,"publicationDate":"2024-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01521-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144990429","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-12-05DOI: 10.1007/s00023-024-01508-0
Daniela Cadamuro, Markus B. Fröb, Christoph Minz
We consider the algebra of massive fermions restricted to a diamond in two-dimensional Minkowski spacetime, and in the Minkowski vacuum state. While the massless modular Hamiltonian is known for this setting, the derivation of the massive one is an open problem. We compute the small-mass corrections to the modular Hamiltonian in a perturbative approach, finding some terms which were previously overlooked. Our approach can in principle be extended to all orders in the mass, even though it becomes computationally challenging.
{"title":"Modular Hamiltonian for Fermions of Small Mass","authors":"Daniela Cadamuro, Markus B. Fröb, Christoph Minz","doi":"10.1007/s00023-024-01508-0","DOIUrl":"10.1007/s00023-024-01508-0","url":null,"abstract":"<div><p>We consider the algebra of massive fermions restricted to a diamond in two-dimensional Minkowski spacetime, and in the Minkowski vacuum state. While the massless modular Hamiltonian is known for this setting, the derivation of the massive one is an open problem. We compute the small-mass corrections to the modular Hamiltonian in a perturbative approach, finding some terms which were previously overlooked. Our approach can in principle be extended to all orders in the mass, even though it becomes computationally challenging.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"26 11","pages":"4071 - 4108"},"PeriodicalIF":1.3,"publicationDate":"2024-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01508-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145248329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-12-02DOI: 10.1007/s00023-024-01520-4
Houssam Abdul-Rahman, Mohammed Darras, Christoph Fischbacher, Günter Stolz
Schrödinger operators with periodic potential have generally been shown to exhibit ballistic transport. In this work, we investigate whether the propagation velocity, while positive, can be made arbitrarily small by a suitable choice of the periodic potential. We consider the discrete one-dimensional Schrödinger operator (Delta +mu V), where (Delta ) is the discrete Laplacian, V is a p-periodic non-degenerate potential and (mu >0). We establish a Lieb–Robinson-type bound with a group velocity that scales like (mathcal {O}(1/mu )) as (mu rightarrow infty ). This shows the existence of a linear light cone with a maximum velocity of quantum propagation that is decaying at a rate proportional to (1/mu ). Furthermore, we prove that the asymptotic velocity, or the average velocity of the time-evolved state, exhibits a decay proportional to (mathcal {O}(1/mu ^{p-1})) as (mu rightarrow infty ).
{"title":"Slow Propagation Velocities in Schrödinger Operators with Large Periodic Potential","authors":"Houssam Abdul-Rahman, Mohammed Darras, Christoph Fischbacher, Günter Stolz","doi":"10.1007/s00023-024-01520-4","DOIUrl":"10.1007/s00023-024-01520-4","url":null,"abstract":"<div><p>Schrödinger operators with periodic potential have generally been shown to exhibit ballistic transport. In this work, we investigate whether the propagation velocity, while positive, can be made arbitrarily small by a suitable choice of the periodic potential. We consider the discrete one-dimensional Schrödinger operator <span>(Delta +mu V)</span>, where <span>(Delta )</span> is the discrete Laplacian, <i>V</i> is a <i>p</i>-periodic non-degenerate potential and <span>(mu >0)</span>. We establish a Lieb–Robinson-type bound with a group velocity that scales like <span>(mathcal {O}(1/mu ))</span> as <span>(mu rightarrow infty )</span>. This shows the existence of a linear light cone with a maximum velocity of quantum propagation that is decaying at a rate proportional to <span>(1/mu )</span>. Furthermore, we prove that the asymptotic velocity, or the average velocity of the time-evolved state, exhibits a decay proportional to <span>(mathcal {O}(1/mu ^{p-1}))</span> as <span>(mu rightarrow infty )</span>.\u0000</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"26 10","pages":"3635 - 3663"},"PeriodicalIF":1.3,"publicationDate":"2024-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145204688","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We study four-dimensional asymptotically flat electrostatic electro-vacuum spacetimes with a connected black hole, photon sphere, or equipotential photon surface inner boundary. Our analysis, inspired by the potential theory approach by Agostiniani–Mazzieri, allows to give self-contained proofs of known uniqueness theorems of the sub-extremal, extremal, and super-extremal Reissner–Nordström spacetimes. We also obtain new results for connected photon spheres and equipotential photon surfaces in the extremal case. Finally, we provide, up to a restriction on the range of their radii, the uniqueness result for connected (both non-degenerate and degenerate) equipotential photon surfaces in the super-extremal case, not yet treated in the literature.
{"title":"Black Hole and Equipotential Photon Surface Uniqueness in Four-Dimensional Asymptotically Flat Electrostatic Electro-Vacuum Spacetimes","authors":"Stefano Borghini, Carla Cederbaum, Albachiara Cogo","doi":"10.1007/s00023-024-01514-2","DOIUrl":"10.1007/s00023-024-01514-2","url":null,"abstract":"<div><p>We study four-dimensional asymptotically flat electrostatic electro-vacuum spacetimes with a connected black hole, photon sphere, or equipotential photon surface inner boundary. Our analysis, inspired by the potential theory approach by Agostiniani–Mazzieri, allows to give self-contained proofs of known uniqueness theorems of the sub-extremal, extremal, and super-extremal Reissner–Nordström spacetimes. We also obtain new results for connected photon spheres and equipotential photon surfaces in the extremal case. Finally, we provide, up to a restriction on the range of their radii, the uniqueness result for connected (both non-degenerate and degenerate) equipotential photon surfaces in the super-extremal case, not yet treated in the literature.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"26 11","pages":"3963 - 4019"},"PeriodicalIF":1.3,"publicationDate":"2024-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01514-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145248328","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The classical singularity theorems of R. Penrose and S. Hawking from the 1960s show that, given a pointwise energy condition (and some causality as well as initial assumptions), spacetimes cannot be geodesically complete. Despite their great success, the theorems leave room for physically relevant improvements, especially regarding the classical energy conditions as essentially any quantum field theory necessarily violates them. While singularity theorems with weakened energy conditions exist for worldline integral bounds, so-called worldvolume bounds are in some cases more applicable than the worldline ones, such as the case of some massive free fields. In this paper, we study integral Ricci curvature bounds based on worldvolume quantum strong energy inequalities. Under the additional assumption of a—potentially very negative—global timelike Ricci curvature bound, a Hawking-type singularity theorem is proved. Finally, we apply the theorem to a cosmological scenario proving past geodesic incompleteness in cases where the worldline theorem was inconclusive.
{"title":"Hawking-Type Singularity Theorems for Worldvolume Energy Inequalities","authors":"Melanie Graf, Eleni-Alexandra Kontou, Argam Ohanyan, Benedict Schinnerl","doi":"10.1007/s00023-024-01502-6","DOIUrl":"10.1007/s00023-024-01502-6","url":null,"abstract":"<div><p>The classical singularity theorems of R. Penrose and S. Hawking from the 1960s show that, given a pointwise energy condition (and some causality as well as initial assumptions), spacetimes cannot be geodesically complete. Despite their great success, the theorems leave room for physically relevant improvements, especially regarding the classical energy conditions as essentially any quantum field theory necessarily violates them. While singularity theorems with weakened energy conditions exist for worldline integral bounds, so-called worldvolume bounds are in some cases more applicable than the worldline ones, such as the case of some massive free fields. In this paper, we study integral Ricci curvature bounds based on worldvolume quantum strong energy inequalities. Under the additional assumption of a—potentially very negative—global timelike Ricci curvature bound, a Hawking-type singularity theorem is proved. Finally, we apply the theorem to a cosmological scenario proving past geodesic incompleteness in cases where the worldline theorem was inconclusive. \u0000</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"26 11","pages":"3871 - 3906"},"PeriodicalIF":1.3,"publicationDate":"2024-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01502-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145248330","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-11-23DOI: 10.1007/s00023-024-01505-3
Marco Caporaletti, Andreas Deuchert
We consider a homogeneous Bose gas in the Gross–Pitaevskii limit at temperatures that are comparable to the critical temperature for Bose–Einstein condensation. Recently, an upper bound for the grand canonical free energy was proved in Boccato et al. (SIAM J Math Anal 56(2):2611–2660, 2024) capturing two novel contributions. First, the free energy of the interacting condensate is given in terms of an effective theory describing the probability distribution of the number of condensed particles. Second, the free energy of the thermally excited particles equals that of a temperature-dependent Bogoliubov Hamiltonian. We extend this result to a more general class of interaction potentials, including interactions with a hard core. Our proof follows a different approach than the one in Boccato et al. (SIAM J Math Anal 56(2):2611–2660, 2024): We model microscopic correlations between the particles by a Jastrow factor and exploit a cancellation in the computation of the energy that emerges due to the different length scales in the system.
我们考虑在Gross-Pitaevskii极限下的均匀玻色气体,其温度与玻色-爱因斯坦凝聚的临界温度相当。最近,Boccato et al. (SIAM J Math, 56(2): 2611-2660, 2024)证明了大正则自由能的上界,获得了两个新的贡献。首先,用描述凝聚态粒子数目概率分布的有效理论给出了相互作用凝聚态的自由能。其次,热激发粒子的自由能等于与温度相关的波格留博夫哈密顿量的自由能。我们将这一结果推广到更一般的相互作用势,包括与硬核的相互作用。我们的证明采用了与Boccato等人不同的方法(SIAM J Math Anal 56(2):2611 - 2660,2024):我们通过Jastrow因子模拟粒子之间的微观相关性,并在计算由于系统中不同长度尺度而出现的能量时利用抵消。
{"title":"Upper Bound for the Grand Canonical Free Energy of the Bose Gas in the Gross–Pitaevskii Limit for General Interaction Potentials","authors":"Marco Caporaletti, Andreas Deuchert","doi":"10.1007/s00023-024-01505-3","DOIUrl":"10.1007/s00023-024-01505-3","url":null,"abstract":"<div><p>We consider a homogeneous Bose gas in the Gross–Pitaevskii limit at temperatures that are comparable to the critical temperature for Bose–Einstein condensation. Recently, an upper bound for the grand canonical free energy was proved in Boccato et al. (SIAM J Math Anal 56(2):2611–2660, 2024) capturing two novel contributions. First, the free energy of the interacting condensate is given in terms of an effective theory describing the probability distribution of the number of condensed particles. Second, the free energy of the thermally excited particles equals that of a temperature-dependent Bogoliubov Hamiltonian. We extend this result to a more general class of interaction potentials, including interactions with a hard core. Our proof follows a different approach than the one in Boccato et al. (SIAM J Math Anal 56(2):2611–2660, 2024): We model microscopic correlations between the particles by a Jastrow factor and exploit a cancellation in the computation of the energy that emerges due to the different length scales in the system.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"26 10","pages":"3767 - 3827"},"PeriodicalIF":1.3,"publicationDate":"2024-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00023-024-01505-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145204691","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}