<p>In their recent works [Comm Math Phys 399:367–388 (2023)] and [Comm Math Phys 406:32 (2025)], Michelen and Perkins proved that the pressure of a system of particles with repulsive pair interactions is analytic for activities in a complex neighborhood of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10955_2025_3435_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\([0,e\Delta _{\phi }(\beta )^{-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>e</mi> <msub> <mi mathvariant="normal">Δ</mi> <mi>ϕ</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10955_2025_3435_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="134" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _{\phi }(\beta )\in (0,C_{\phi }(\beta )]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Δ</mi> <mi>ϕ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <msub> <mi>C</mi> <mi>ϕ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes what they call the potential-weighted connective constant. This paper extends their method to locally stable (possibly attractive), tempered, and hard-core pair potentials. We obtain an analogous analyticity result that is most effective in the high-temperature regime, where it surpasses the classical Penrose-Ruelle bound of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10955_2025_3435_Article_IEq3.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="117" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_{\phi }(\beta )^{-1}e^{-(\beta C+1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mi>ϕ</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mo stretchy="false">(</mo> <mi>β</mi> <mi>C</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> by at least a factor of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10955_2025_3435_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(e^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>e</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>. The main ingredients in the proof include a recursive identity for the one-point density tailored to locally stable hard-core potentials and a corresponding notion of modulations of an activity function.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Analyticity for Locally Stable Hard-Core Gases via Recursion

  • Qidong He

摘要

In their recent works [Comm Math Phys 399:367–388 (2023)] and [Comm Math Phys 406:32 (2025)], Michelen and Perkins proved that the pressure of a system of particles with repulsive pair interactions is analytic for activities in a complex neighborhood of \([0,e\Delta _{\phi }(\beta )^{-1})\) [ 0 , e Δ ϕ ( β ) - 1 ) , where \(\Delta _{\phi }(\beta )\in (0,C_{\phi }(\beta )]\) Δ ϕ ( β ) ( 0 , C ϕ ( β ) ] denotes what they call the potential-weighted connective constant. This paper extends their method to locally stable (possibly attractive), tempered, and hard-core pair potentials. We obtain an analogous analyticity result that is most effective in the high-temperature regime, where it surpasses the classical Penrose-Ruelle bound of \(C_{\phi }(\beta )^{-1}e^{-(\beta C+1)}\) C ϕ ( β ) - 1 e - ( β C + 1 ) by at least a factor of \(e^{2}\) e 2 . The main ingredients in the proof include a recursive identity for the one-point density tailored to locally stable hard-core potentials and a corresponding notion of modulations of an activity function.