<p>Fixing <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and an integer <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(q \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, consider the ferromagnetic <i>q</i>-Potts measures <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _n^{\beta ,B}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>μ</mi> <mi>n</mi> <mrow> <mi>β</mi> <mo>,</mo> <mi>B</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> on finite graphs <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{G}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="sans-serif">G</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> on <i>n</i> vertices, with external field strength <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(B \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and the corresponding random cluster measures <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi ^{q,\beta ,B}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>φ</mi> <mi>n</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>β</mi> <mo>,</mo> <mi>B</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation>. Suppose that as <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(n \rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> the uniformly sparse graphs <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{G}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="sans-serif">G</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> converge locally to an infinite <i>d</i>-regular tree <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{T}_{d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="sans-serif">T</mi> <mi>d</mi> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <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 show that the convergence of the Potts free energy density to its Bethe–Peirles replica symmetric prediction (which has been proved in case <i>d</i> is even, or when <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(B=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>), yields the local weak convergence of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq12.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi ^{q,\beta ,B}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>φ</mi> <mi>n</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>β</mi> <mo>,</mo> <mi>B</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _n^{\beta ,B}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>μ</mi> <mi>n</mi> <mrow> <mi>β</mi> <mo>,</mo> <mi>B</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> to the corresponding free or wired random cluster measure, Potts measure, respectively, on <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{T}_{d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="sans-serif">T</mi> <mi>d</mi> </msub> </math></EquationSource> </InlineEquation>. The choice of free versus wired limit is according to which has the larger Potts Bethe functional value, with mixtures of these two appearing as limit points on the critical line <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta _c(q,B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>β</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>,</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where these two values of the Bethe functional coincide. For <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(B=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq17.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta &gt;\beta _c\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&gt;</mo> <msub> <mi>β</mi> <mi>c</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, we further establish a pure-state decomposition by showing that conditionally on the same dominant color <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq18.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(1 \le k \le q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>k</mi> <mo>≤</mo> <mi>q</mi> </mrow> </math></EquationSource> </InlineEquation>, the <i>q</i>-Potts measures on such edge-expander graphs <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{G}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="sans-serif">G</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> converge locally to the <i>q</i>-Potts measure on <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5319_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{T}_{d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="sans-serif">T</mi> <mi>d</mi> </msub> </math></EquationSource> </InlineEquation> with a boundary wired at color <i>k</i>.</p>

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

Potts and Random Cluster Measures on Locally Regular-Tree-Like Graphs

  • Anirban Basak,
  • Amir Dembo,
  • Allan Sly

摘要

Fixing \(\beta \ge 0\) β 0 and an integer \(q \ge 2\) q 2 , consider the ferromagnetic q-Potts measures \(\mu _n^{\beta ,B}\) μ n β , B on finite graphs \(\textsf{G}_n\) G n on n vertices, with external field strength \(B \ge 0\) B 0 and the corresponding random cluster measures \(\varphi ^{q,\beta ,B}_{n}\) φ n q , β , B . Suppose that as \(n \rightarrow \infty \) n the uniformly sparse graphs \(\textsf{G}_n\) G n converge locally to an infinite d-regular tree \(\textsf{T}_{d}\) T d , \(d \ge 3\) d 3 . We show that the convergence of the Potts free energy density to its Bethe–Peirles replica symmetric prediction (which has been proved in case d is even, or when \(B=0\) B = 0 ), yields the local weak convergence of \(\varphi ^{q,\beta ,B}_n\) φ n q , β , B and \(\mu _n^{\beta ,B}\) μ n β , B to the corresponding free or wired random cluster measure, Potts measure, respectively, on \(\textsf{T}_{d}\) T d . The choice of free versus wired limit is according to which has the larger Potts Bethe functional value, with mixtures of these two appearing as limit points on the critical line \(\beta _c(q,B)\) β c ( q , B ) where these two values of the Bethe functional coincide. For \(B=0\) B = 0 and \(\beta >\beta _c\) β > β c , we further establish a pure-state decomposition by showing that conditionally on the same dominant color \(1 \le k \le q\) 1 k q , the q-Potts measures on such edge-expander graphs \(\textsf{G}_n\) G n converge locally to the q-Potts measure on \(\textsf{T}_{d}\) T d with a boundary wired at color k.