<p>We consider the critical FK-Ising measure <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\phi _{\beta _c}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ϕ</mi> <msub> <mi>β</mi> <mi>c</mi> </msub> </msub> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb Z^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">Z</mi> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(d\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. We construct the measure <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/440_2025_1452_IEq6_HTML.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="120" Type="Linedraw" Width="226" /> </InlineMediaObject> </InlineEquation> and prove it satisfies <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/440_2025_1452_IEq7_HTML.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="120" Type="Linedraw" Width="124" /> </InlineMediaObject> </InlineEquation>. This corresponds to the natural candidate for the <i>incipient infinite cluster</i> measure of the FK-Ising model. Our proof uses a result of Lupu and Werner (Electron. Commun. Probab., 2016) that relates the FK-Ising model to the random current representation of the Ising model, together with a <i>mixing property</i> of random currents recently established by Aizenman and Duminil-Copin (Ann. Math., 2021). We then study the susceptibility <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\chi (\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>χ</mi> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of the nearest-neighbour Ising model on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb Z^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">Z</mi> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>. When <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(d&gt;4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>&gt;</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, we improve a previous result of Aizenman (Comm. Math. Phys., 1982) to obtain the existence of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(A&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> such that, for <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\beta &lt;\beta _c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&lt;</mo> <msub> <mi>β</mi> <mi>c</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, <Equation ID="Equ178"> <EquationSource Format="TEX">\(\begin{aligned} \chi (\beta )= \frac{A}{1-\beta /\beta _c}(1+o(1)), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>χ</mi> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mi>A</mi> <mrow> <mn>1</mn> <mo>-</mo> <mi>β</mi> <mo stretchy="false">/</mo> <msub> <mi>β</mi> <mi>c</mi> </msub> </mrow> </mfrac> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>o</mi> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <i>o</i>(1) tends to 0 as <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>β</mi> </math></EquationSource> </InlineEquation> tends to <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\beta _c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>β</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation>. Additionally, we relate the constant <i>A</i> to the incipient infinite cluster of the double random current.</p>

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

The incipient infinite cluster of the FK-Ising model in dimensions \(d\ge 3\) and the susceptibility of the high-dimensional Ising model

  • Romain Panis

摘要

We consider the critical FK-Ising measure \(\phi _{\beta _c}\) ϕ β c on \(\mathbb Z^d\) Z d with \(d\ge 3\) d 3 . We construct the measure and prove it satisfies . This corresponds to the natural candidate for the incipient infinite cluster measure of the FK-Ising model. Our proof uses a result of Lupu and Werner (Electron. Commun. Probab., 2016) that relates the FK-Ising model to the random current representation of the Ising model, together with a mixing property of random currents recently established by Aizenman and Duminil-Copin (Ann. Math., 2021). We then study the susceptibility \(\chi (\beta )\) χ ( β ) of the nearest-neighbour Ising model on \(\mathbb Z^d\) Z d . When \(d>4\) d > 4 , we improve a previous result of Aizenman (Comm. Math. Phys., 1982) to obtain the existence of \(A>0\) A > 0 such that, for \(\beta <\beta _c\) β < β c , \(\begin{aligned} \chi (\beta )= \frac{A}{1-\beta /\beta _c}(1+o(1)), \end{aligned}\) χ ( β ) = A 1 - β / β c ( 1 + o ( 1 ) ) , where o(1) tends to 0 as \(\beta \) β tends to \(\beta _c\) β c . Additionally, we relate the constant A to the incipient infinite cluster of the double random current.