Pub Date : 2024-07-02DOI: 10.1007/s00023-024-01450-1
Asbjørn Bækgaard Lauritsen
We prove an upper bound on the energy density of the dilute spin-(frac{1}{2}) Fermi gas capturing the leading correction to the kinetic energy (8pi a rho _uparrow rho _downarrow ) with an error of size smaller than (arho ^{2}(a^3rho )^{1/3-varepsilon }) for any (varepsilon > 0), where a denotes the scattering length of the interaction. The result is valid for a large class of interactions including interactions with a hard core. A central ingredient in the proof is a rigorous version of a fermionic cluster expansion adapted from the formal expansion of Gaudin et al. (Nucl Phys A 176(2):237–260, 1971. https://doi.org/10.1016/0375-9474(71)90267-3).
我们证明了稀释自旋-(frac{1}{2})费米气体能量密度的上界,它捕捉到了对动能(8pi a rho _uparrow rho _downarrow )的前导修正,其误差小于任何(varepsilon >;0),其中 a 表示相互作用的散射长度。这一结果适用于一大类相互作用,包括与硬核的相互作用。证明的一个核心要素是费米子簇扩展的严格版本,它改编自高丹等人的正式扩展(Nucl Phys A 176(2):237-260, 1971. https://doi.org/10.1016/0375-9474(71)90267-3)。
{"title":"Almost Optimal Upper Bound for the Ground State Energy of a Dilute Fermi Gas via Cluster Expansion","authors":"Asbjørn Bækgaard Lauritsen","doi":"10.1007/s00023-024-01450-1","DOIUrl":"https://doi.org/10.1007/s00023-024-01450-1","url":null,"abstract":"<p>We prove an upper bound on the energy density of the dilute spin-<span>(frac{1}{2})</span> Fermi gas capturing the leading correction to the kinetic energy <span>(8pi a rho _uparrow rho _downarrow )</span> with an error of size smaller than <span>(arho ^{2}(a^3rho )^{1/3-varepsilon })</span> for any <span>(varepsilon > 0)</span>, where <i>a</i> denotes the scattering length of the interaction. The result is valid for a large class of interactions including interactions with a hard core. A central ingredient in the proof is a rigorous version of a fermionic cluster expansion adapted from the formal expansion of Gaudin et al. (Nucl Phys A 176(2):237–260, 1971. https://doi.org/10.1016/0375-9474(71)90267-3).</p>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"46 1","pages":""},"PeriodicalIF":1.55,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141532109","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}
Pub Date : 2024-07-01DOI: 10.1007/s00023-024-01465-8
Christian Brennecke, Morris Brooks, Cristina Caraci, Jakob Oldenburg
We consider dilute Bose gases on the three-dimensional unit torus that interact through a pair potential with scattering length of order ( N^{kappa -1}), for some (kappa >0). For the range ( kappa in [0, frac{1}{43})), Adhikari et al. (Ann Henri Poincaré 22:1163–1233, 2021) proves complete BEC of low energy states into the zero momentum mode based on a unitary renormalization through operator exponentials that are quartic in creation and annihilation operators. In this paper, we give a new and self-contained proof of BEC of the ground state for ( kappa in [0, frac{1}{20})) by combining some of the key ideas of Adhikari et al. (Ann Henri Poincaré 22:1163–1233, 2021) with the novel diagonalization approach introduced recently in Brooks (Diagonalizing Bose Gases in the Gross–Pitaevskii Regime and Beyond, arXiv:2310.11347), which is based on the Schur complement formula. In particular, our proof avoids the use of operator exponentials and is significantly simpler than Adhikari et al. (Ann Henri Poincaré 22:1163–1233, 2021).
我们考虑三维单位环上的稀玻色气体,它们通过具有散射长度为 ( N^{kappa -1}) 的对势能相互作用,对于某个 (kappa >0)。对于 ( kappa in [0, frac{1}{43})) 的范围,Adhikari 等人(Ann Henri Poincaré 22:1163-1233, 2021)通过在创造和湮灭算子中是四元算子指数的单元重正化,证明了低能态进入零动量模式的完全 BEC。在本文中,我们结合 Adhikari et al.(Ann Henri Poincaré 22:1163-1233, 2021) 与布鲁克斯(Diagonalizing Bose Gases in the Gross-Pitaevskii Regime and Beyond, arXiv:2310.11347)最近介绍的基于舒尔补码公式的新对角化方法相结合。特别是,我们的证明避免了使用算子指数,比阿迪卡里等人(Ann Henri Poincaré 22:1163-1233, 2021)的证明简单得多。
{"title":"A Short Proof of Bose–Einstein Condensation in the Gross–Pitaevskii Regime and Beyond","authors":"Christian Brennecke, Morris Brooks, Cristina Caraci, Jakob Oldenburg","doi":"10.1007/s00023-024-01465-8","DOIUrl":"https://doi.org/10.1007/s00023-024-01465-8","url":null,"abstract":"<p>We consider dilute Bose gases on the three-dimensional unit torus that interact through a pair potential with scattering length of order <span>( N^{kappa -1})</span>, for some <span>(kappa >0)</span>. For the range <span>( kappa in [0, frac{1}{43}))</span>, Adhikari et al. (Ann Henri Poincaré 22:1163–1233, 2021) proves complete BEC of low energy states into the zero momentum mode based on a unitary renormalization through operator exponentials that are quartic in creation and annihilation operators. In this paper, we give a new and self-contained proof of BEC of the ground state for <span>( kappa in [0, frac{1}{20}))</span> by combining some of the key ideas of Adhikari et al. (Ann Henri Poincaré 22:1163–1233, 2021) with the novel diagonalization approach introduced recently in Brooks (Diagonalizing Bose Gases in the Gross–Pitaevskii Regime and Beyond, arXiv:2310.11347), which is based on the Schur complement formula. In particular, our proof avoids the use of operator exponentials and is significantly simpler than Adhikari et al. (Ann Henri Poincaré 22:1163–1233, 2021).</p>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"24 1","pages":""},"PeriodicalIF":1.55,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501765","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}
Pub Date : 2024-07-01DOI: 10.1007/s00023-024-01452-z
Laura Monk, Rareş Stan
In this article, we study the Dirac spectrum of typical hyperbolic surfaces of finite area, equipped with a nontrivial spin structure (so that the Dirac spectrum is discrete). For random Weil–Petersson surfaces of large genus g with (o(sqrt{g})) cusps, we prove convergence of the spectral density to the spectral density of the hyperbolic plane, with quantitative error estimates. This result implies upper bounds on spectral counting functions and multiplicities, as well as a uniform Weyl law, true for typical hyperbolic surfaces equipped with any nontrivial spin structure.
{"title":"Spectral Convergence of the Dirac Operator on Typical Hyperbolic Surfaces of High Genus","authors":"Laura Monk, Rareş Stan","doi":"10.1007/s00023-024-01452-z","DOIUrl":"https://doi.org/10.1007/s00023-024-01452-z","url":null,"abstract":"<p>In this article, we study the Dirac spectrum of typical hyperbolic surfaces of finite area, equipped with a nontrivial spin structure (so that the Dirac spectrum is discrete). For random Weil–Petersson surfaces of large genus <i>g</i> with <span>(o(sqrt{g}))</span> cusps, we prove convergence of the spectral density to the spectral density of the hyperbolic plane, with quantitative error estimates. This result implies upper bounds on spectral counting functions and multiplicities, as well as a uniform Weyl law, true for typical hyperbolic surfaces equipped with any nontrivial spin structure.</p>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"38 1","pages":""},"PeriodicalIF":1.55,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141532107","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}
Pub Date : 2024-07-01DOI: 10.1007/s00023-024-01461-y
Annegret Burtscher, Leonardo García-Heveling
In general relativity, time functions are crucial objects whose existence and properties are intimately tied to the causal structure of a spacetime and also to the initial value formulation of the Einstein equations. In this work we establish all fundamental classical existence results on time functions in the setting of Lorentzian (pre-)length spaces (including causally plain continuous spacetimes, closed cone fields and even more singular spaces). More precisely, we characterize the existence of time functions by K-causality, show that a modified notion of Geroch’s volume functions are time functions if and only if the space is causally continuous, and lastly, characterize global hyperbolicity by the existence of Cauchy time functions, and Cauchy sets. Our results thus inevitably show that no manifold structure is needed in order to obtain suitable time functions.
在广义相对论中,时间函数是至关重要的对象,其存在和性质与时空的因果结构以及爱因斯坦方程的初值公式密切相关。在这项研究中,我们建立了洛伦兹(前)长度空间(包括因果平原连续时空、闭合锥场甚至更奇异的空间)中时间函数的所有基本经典存在结果。更确切地说,我们通过 K 因果关系描述了时间函数的存在性,证明了当且仅当空间因果连续时,格罗奇体积函数的修正概念是时间函数,最后,通过考奇时间函数和考奇集的存在性描述了全局双曲性。因此,我们的结果不可避免地表明,要获得合适的时间函数,并不需要流形结构。
{"title":"Time Functions on Lorentzian Length Spaces","authors":"Annegret Burtscher, Leonardo García-Heveling","doi":"10.1007/s00023-024-01461-y","DOIUrl":"https://doi.org/10.1007/s00023-024-01461-y","url":null,"abstract":"<p>In general relativity, time functions are crucial objects whose existence and properties are intimately tied to the causal structure of a spacetime and also to the initial value formulation of the Einstein equations. In this work we establish all fundamental classical existence results on time functions in the setting of Lorentzian (pre-)length spaces (including causally plain continuous spacetimes, closed cone fields and even more singular spaces). More precisely, we characterize the existence of time functions by <i>K</i>-causality, show that a modified notion of Geroch’s volume functions are time functions if and only if the space is causally continuous, and lastly, characterize global hyperbolicity by the existence of Cauchy time functions, and Cauchy sets. Our results thus inevitably show that no manifold structure is needed in order to obtain suitable time functions.</p>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"33 1","pages":""},"PeriodicalIF":1.55,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141532111","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}
Pub Date : 2024-06-26DOI: 10.1007/s00023-024-01459-6
Felix Finster, Magdalena Lottner
We define and analyze the fermionic entanglement entropy of a Schwarzschild black hole horizon for the regularized vacuum state of an observer at infinity. Using separation of variables and an integral representation of the Dirac propagator, the entanglement entropy is computed to be a prefactor times the number of occupied angular momentum modes on the event horizon.
{"title":"The Fermionic Entanglement Entropy of the Vacuum State of a Schwarzschild Black Hole Horizon","authors":"Felix Finster, Magdalena Lottner","doi":"10.1007/s00023-024-01459-6","DOIUrl":"https://doi.org/10.1007/s00023-024-01459-6","url":null,"abstract":"<p>We define and analyze the fermionic entanglement entropy of a Schwarzschild black hole horizon for the regularized vacuum state of an observer at infinity. Using separation of variables and an integral representation of the Dirac propagator, the entanglement entropy is computed to be a prefactor times the number of occupied angular momentum modes on the event horizon.\u0000</p>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"23 1","pages":""},"PeriodicalIF":1.55,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501766","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}
Pub Date : 2024-06-25DOI: 10.1007/s00023-024-01460-z
Masayuki Hayashi, Tohru Ozawa
We revisit the Cauchy problem for the logarithmic Schrödinger equation and construct strong solutions in (H^1), the energy space, and the (H^2)-energy space. The solutions are provided in a constructive way, which does not rely on compactness arguments, that a sequence of approximate solutions forms a Cauchy sequence in a complete function space and then actual convergence is shown to be in a strong sense.
{"title":"The Cauchy Problem for the Logarithmic Schrödinger Equation Revisited","authors":"Masayuki Hayashi, Tohru Ozawa","doi":"10.1007/s00023-024-01460-z","DOIUrl":"https://doi.org/10.1007/s00023-024-01460-z","url":null,"abstract":"<p>We revisit the Cauchy problem for the logarithmic Schrödinger equation and construct strong solutions in <span>(H^1)</span>, the energy space, and the <span>(H^2)</span>-energy space. The solutions are provided in a constructive way, which does not rely on compactness arguments, that a sequence of approximate solutions forms a Cauchy sequence in a complete function space and then actual convergence is shown to be in a strong sense.</p>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"76 1","pages":""},"PeriodicalIF":1.55,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501767","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}
Pub Date : 2024-06-24DOI: 10.1007/s00023-024-01458-7
Thierry Goudon, Simona Rota Nodari
We study a two-state quantum system with a nonlinearity intended to describe interactions with a complex environment, arising through a nonlocal coupling term. We study the stability of particular solutions, obtained as constrained extrema of the energy functional of the system. The simplicity of the model allows us to justify a complete stability analysis. This is the opportunity to review in detail the techniques to investigate the stability issue. We also bring out the limitations of perturbative approaches based on simpler asymptotic models.
{"title":"A Simple Testbed for Stability Analysis of Quantum Dissipative Systems","authors":"Thierry Goudon, Simona Rota Nodari","doi":"10.1007/s00023-024-01458-7","DOIUrl":"https://doi.org/10.1007/s00023-024-01458-7","url":null,"abstract":"<p>We study a two-state quantum system with a nonlinearity intended to describe interactions with a complex environment, arising through a nonlocal coupling term. We study the stability of particular solutions, obtained as constrained extrema of the energy functional of the system. The simplicity of the model allows us to justify a complete stability analysis. This is the opportunity to review in detail the techniques to investigate the stability issue. We also bring out the limitations of perturbative approaches based on simpler asymptotic models.</p>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"1 1","pages":""},"PeriodicalIF":1.55,"publicationDate":"2024-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141532113","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}
Pub Date : 2024-06-23DOI: 10.1007/s00023-024-01451-0
Fritz Gesztesy, Markus Hunziker, Gerald Teschl
We consider essential self-adjointness on the space (C_0^{infty }((0,infty ))) of even-order, strongly singular, homogeneous differential operators associated with differential expressions of the type
$$begin{aligned} tau _{2n}(c) = (-1)^n frac{d^{2n}}{d x^{2n}} + frac{c}{x^{2n}}, quad x > 0, ; n in {{mathbb {N}}}, ; c in {{mathbb {R}}}, end{aligned}$$
in (L^2((0,infty );dx)). While the special case (n=1) is classical and it is well known that (tau _2(c)big |_{C_0^{infty }((0,infty ))}) is essentially self-adjoint if and only if (c ge 3/4), the case (n in {{mathbb {N}}}), (n ge 2), is far from obvious. In particular, it is not at all clear from the outset that
$$begin{aligned} begin{aligned}&textit{there exists }c_n in {{mathbb {R}}}, n in {{mathbb {N}}}textit{, such that} &quad tau _{2n}(c)big |_{C_0^{infty }((0,infty ))} , textit{ is essentially self-adjoint}quad quad quad quad quad quad quad quad quad quad (*) {}&quad textit{ if and only if } c ge c_n. end{aligned} end{aligned}$$
As one of the principal results of this paper we indeed establish the existence of (c_n), satisfying (c_n ge (4n-1)!!big /2^{2n}), such that property (*) holds. In sharp contrast to the analogous lower semiboundedness question,
$$begin{aligned} textit{for which values of }ctextit{ is }tau _{2n}(c)big |_{C_0^{infty }((0,infty ))}{} textit{ bounded from below?}, end{aligned}$$
which permits the sharp (and explicit) answer (c ge [(2n -1)!!]^{2}big /2^{2n}), (n in {{mathbb {N}}}), the answer for (*) is surprisingly complex and involves various aspects of the geometry and analytical theory of polynomials. For completeness we record explicitly,
and remark that (c_n) is the root of a polynomial of degree (n-1). We demonstrate that for (n=6,7), (c_n) are algebraic numbers not expressible as radicals over ({{mathbb {Q}}}) (and conjecture this is in fact true for general (n ge 6)).
我们考虑偶阶、强奇异、同质微分算子空间 (C_0^{infty }((0,infty ))) 上的基本自相接性,该空间与 $$begin{aligned} 类型的微分表达式相关联。tau _{2n}(c) = (-1)^n frac{d^{2n}}{d x^{2n}}+ frac{c}{x^{2n}}, quad x > 0, ; n in {{mathbb {N}}}, ; c in {{mathbb {R}}}, end{aligned}$$in (L^2((0,infty );dx)).虽然特殊情况(n=1)是经典的,而且众所周知,当且仅当(c)ge 3/4时,((tau _2(c)big |_{C_0^{infty }((0,infty ))}) 本质上是自相加的,但情况(n 在{{mathbb {N}}}),(nge 2),远非显而易见。特别是,从一开始就不清楚 $$begin{aligned}there exists }c_n in {{mathbb {R}}, n in {{mathbb {N}}textit{, such that}|_{C_0^{infty }((0,infty ))}&quad tau _{2n}(c)big |_{C_0^{infty }((0,infty ))}(*) {}&quad textit{ is essentially self-adjoint}quad quad quad quad quad (*) {}&quad textit{ if and only if } c ge c_n.end{aligned}end{aligned}$$作为本文的主要结果之一,我们确实建立了满足 (c_n ge (4n-1)!!big /2^{2n})的 (c_n)的存在,使得性质(*)成立。与类似的下半边界问题形成鲜明对比的是,$$begin{aligned}(开始{aligned})。对于哪些 }c 值来说是 }tau _{2n}(c)big |_{C_0^{infty }((0,infty ))}{}?textit{ bounded from below? }, end{aligned}$$which permits the sharp (and explicit) answer (c ge [(2n -1)!!]^{2}big /2^{2n}), (n in {{mathbb {N}}}), the answer for (*) is surprisingly complex and involves various aspects of the geometry and analytical theory of polynomials.为了完整起见,我们明确记录: $$begin{aligned} c_{1}&= 3/4, quad c_{2 }= 45, quad c_{3 } = 2240 big (*)。= 2240 big (214+7 sqrt{1009},big )big /27, end{aligned}$$并且指出(c_n)是一个度数为(n-1)的多项式的根。我们证明了对于 (n=6,7), (c_n) 是代数数,不能表示为 ({{mathbb {Q}}) 上的根(并且猜想这对于一般的 (n ge 6) 实际上是真的)。
{"title":"Essential Self-Adjointness of Even-Order, Strongly Singular, Homogeneous Half-Line Differential Operators","authors":"Fritz Gesztesy, Markus Hunziker, Gerald Teschl","doi":"10.1007/s00023-024-01451-0","DOIUrl":"https://doi.org/10.1007/s00023-024-01451-0","url":null,"abstract":"<p>We consider essential self-adjointness on the space <span>(C_0^{infty }((0,infty )))</span> of even-order, strongly singular, homogeneous differential operators associated with differential expressions of the type </p><span>$$begin{aligned} tau _{2n}(c) = (-1)^n frac{d^{2n}}{d x^{2n}} + frac{c}{x^{2n}}, quad x > 0, ; n in {{mathbb {N}}}, ; c in {{mathbb {R}}}, end{aligned}$$</span><p>in <span>(L^2((0,infty );dx))</span>. While the special case <span>(n=1)</span> is classical and it is well known that <span>(tau _2(c)big |_{C_0^{infty }((0,infty ))})</span> is essentially self-adjoint if and only if <span>(c ge 3/4)</span>, the case <span>(n in {{mathbb {N}}})</span>, <span>(n ge 2)</span>, is far from obvious. In particular, it is not at all clear from the outset that </p><span>$$begin{aligned} begin{aligned}&textit{there exists }c_n in {{mathbb {R}}}, n in {{mathbb {N}}}textit{, such that} &quad tau _{2n}(c)big |_{C_0^{infty }((0,infty ))} , textit{ is essentially self-adjoint}quad quad quad quad quad quad quad quad quad quad (*) {}&quad textit{ if and only if } c ge c_n. end{aligned} end{aligned}$$</span><p>As one of the principal results of this paper we indeed establish the existence of <span>(c_n)</span>, satisfying <span>(c_n ge (4n-1)!!big /2^{2n})</span>, such that property (*) holds. In sharp contrast to the analogous lower semiboundedness question, </p><span>$$begin{aligned} textit{for which values of }ctextit{ is }tau _{2n}(c)big |_{C_0^{infty }((0,infty ))}{} textit{ bounded from below?}, end{aligned}$$</span><p>which permits the sharp (and explicit) answer <span>(c ge [(2n -1)!!]^{2}big /2^{2n})</span>, <span>(n in {{mathbb {N}}})</span>, the answer for (*) is surprisingly complex and involves various aspects of the geometry and analytical theory of polynomials. For completeness we record explicitly, </p><span>$$begin{aligned} c_{1}&= 3/4, quad c_{2 }= 45, quad c_{3 } = 2240 big (214+7 sqrt{1009},big )big /27, end{aligned}$$</span><p>and remark that <span>(c_n)</span> is the root of a polynomial of degree <span>(n-1)</span>. We demonstrate that for <span>(n=6,7)</span>, <span>(c_n)</span> are algebraic numbers not expressible as radicals over <span>({{mathbb {Q}}})</span> (and conjecture this is in fact true for general <span>(n ge 6)</span>).</p>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"18 1","pages":""},"PeriodicalIF":1.55,"publicationDate":"2024-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501768","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}
Pub Date : 2024-06-13DOI: 10.1007/s00023-024-01457-8
Larry Read
For Schrödinger operators with potentials that are asymptotically homogeneous of degree (-2), the size of the coupling determines whether it has finite or infinitely many negative eigenvalues. In the latter case, the asymptotic accumulation of these eigenvalues at zero has been determined by Kirsch and Simon. A similar regime occurs for potentials that are not asymptotically monotone but oscillatory. In this case, when the ratio between the amplitude and frequency of oscillation is asymptotically homogeneous of degree (-1), the coupling determines the finiteness of the negative spectrum. We present a new proof of this fact by making use of a ground-state representation. As a consequence of this approach, we derive an asymptotic formula analogous to that of Kirsch and Simon.
{"title":"Negative Spectrum of Schrödinger Operators with Rapidly Oscillating Potentials","authors":"Larry Read","doi":"10.1007/s00023-024-01457-8","DOIUrl":"https://doi.org/10.1007/s00023-024-01457-8","url":null,"abstract":"<p>For Schrödinger operators with potentials that are asymptotically homogeneous of degree <span>(-2)</span>, the size of the coupling determines whether it has finite or infinitely many negative eigenvalues. In the latter case, the asymptotic accumulation of these eigenvalues at zero has been determined by Kirsch and Simon. A similar regime occurs for potentials that are not asymptotically monotone but oscillatory. In this case, when the ratio between the amplitude and frequency of oscillation is asymptotically homogeneous of degree <span>(-1)</span>, the coupling determines the finiteness of the negative spectrum. We present a new proof of this fact by making use of a ground-state representation. As a consequence of this approach, we derive an asymptotic formula analogous to that of Kirsch and Simon.</p>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"38 1","pages":""},"PeriodicalIF":1.55,"publicationDate":"2024-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501769","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}
Pub Date : 2024-06-12DOI: 10.1007/s00023-024-01444-z
Jianfeng Lu, Kevin D. Stubbs
For gapped periodic systems (insulators), it has been established that the insulator is topologically trivial (i.e., its Chern number is equal to 0) if and only if its Fermi projector admits an orthogonal basis with finite second moment (i.e., all basis elements satisfy (int |varvec{x}|^2 |w(varvec{x})|^2 ,text {d}{varvec{x}} < infty )). In this paper, we extend one direction of this result to non-periodic gapped systems. In particular, we show that the existence of an orthogonal basis with slightly more decay ((int |varvec{x}|^{2+epsilon } |w(varvec{x})|^2 ,text {d}{varvec{x}} < infty ) for any (epsilon > 0)) is a sufficient condition to conclude that the Chern marker, the natural generalization of the Chern number, vanishes.
{"title":"Algebraic Localization of Wannier Functions Implies Chern Triviality in Non-periodic Insulators","authors":"Jianfeng Lu, Kevin D. Stubbs","doi":"10.1007/s00023-024-01444-z","DOIUrl":"10.1007/s00023-024-01444-z","url":null,"abstract":"<div><p>For gapped periodic systems (insulators), it has been established that the insulator is topologically trivial (i.e., its Chern number is equal to 0) if and only if its Fermi projector admits an orthogonal basis with finite second moment (i.e., all basis elements satisfy <span>(int |varvec{x}|^2 |w(varvec{x})|^2 ,text {d}{varvec{x}} < infty )</span>). In this paper, we extend one direction of this result to non-periodic gapped systems. In particular, we show that the existence of an orthogonal basis with slightly more decay (<span>(int |varvec{x}|^{2+epsilon } |w(varvec{x})|^2 ,text {d}{varvec{x}} < infty )</span> for any <span>(epsilon > 0)</span>) is a sufficient condition to conclude that the Chern marker, the natural generalization of the Chern number, vanishes.</p></div>","PeriodicalId":463,"journal":{"name":"Annales Henri Poincaré","volume":"25 8","pages":"3911 - 3926"},"PeriodicalIF":1.4,"publicationDate":"2024-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501770","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}