<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(Z_n(z,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the partition function of the <i>q</i>-state Potts Model on the rooted binary Cayley tree of depth&#xa0;<i>n</i>. Here, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(z = \textrm{e}^{-h/T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>=</mo> <msup> <mtext>e</mtext> <mrow> <mo>-</mo> <mi>h</mi> <mo stretchy="false">/</mo> <mi>T</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(t = \textrm{e}^{-J/T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <msup> <mtext>e</mtext> <mrow> <mo>-</mo> <mi>J</mi> <mo stretchy="false">/</mo> <mi>T</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> with <i>h</i> denoting an externally applied magnetic field, <i>T</i> the temperature, and <i>J</i> a coupling constant. One can interpret <i>z</i> as a “magnetic field-like” variable and <i>t</i> as a “temperature-like” variable. Physical values <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(h \in \mathbb {R}, T &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> <mo>,</mo> <mi>T</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(J \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>J</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> correspond to <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(t \in (0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(z \in (0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. For any fixed <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(t_0 \in (0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>t</mi> <mn>0</mn> </msub> <mo>∈</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and fixed <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(n \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation> we consider the complex zeros of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(Z_n(z,t_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Z</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo>,</mo> <msub> <mi>t</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and how they accumulate on the ray <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\((0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of physical values for <i>z</i> as <InlineEquation ID="IEq12"> <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>. In the ferromagnetic case (<InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(J &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>J</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> or equivalently <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(t \in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>) these Lee-Yang zeros accumulate to at most one point on <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\((0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> which we describe using explicit formulae. In the antiferromagnetic case <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\((J &lt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>J</mi> <mo>&lt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> or equivalently <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(t \in (1,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>) these Lee-Yang zeros accumulate to at most two points of <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\((0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, which we again describe with explicit formulae. The same results hold for the unrooted Cayley tree of branching number two. These results are proved by adapting a renormalization procedure that was previously used in the case of the Ising model on the Cayley Tree by Müller-Hartmann and Zittartz (1974 and 1977), Barata and Marchetti (1997), and Barata and Goldbaum (2001). We then use methods from complex dynamics and, more specifically, the active/passive dichotomy for iteration of a marked point, along with detailed analysis of the renormalization mappings, to prove the main results.</p>

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

A Dynamical Approach to Studying the Lee-Yang Zeros for the Potts Model on the Cayley Tree

  • Diyath Pannipitiya,
  • Roland Roeder

摘要

Let \(Z_n(z,t)\) Z n ( z , t ) denote the partition function of the q-state Potts Model on the rooted binary Cayley tree of depth n. Here, \(z = \textrm{e}^{-h/T}\) z = e - h / T and \(t = \textrm{e}^{-J/T}\) t = e - J / T with h denoting an externally applied magnetic field, T the temperature, and J a coupling constant. One can interpret z as a “magnetic field-like” variable and t as a “temperature-like” variable. Physical values \(h \in \mathbb {R}, T > 0\) h R , T > 0 , and \(J \in \mathbb {R}\) J R correspond to \(t \in (0,\infty )\) t ( 0 , ) and \(z \in (0,\infty )\) z ( 0 , ) . For any fixed \(t_0 \in (0,\infty )\) t 0 ( 0 , ) and fixed \(n \in \mathbb {N}\) n N we consider the complex zeros of \(Z_n(z,t_0)\) Z n ( z , t 0 ) and how they accumulate on the ray \((0,\infty )\) ( 0 , ) of physical values for z as \(n \rightarrow \infty \) n . In the ferromagnetic case ( \(J >0\) J > 0 or equivalently \(t \in (0,1)\) t ( 0 , 1 ) ) these Lee-Yang zeros accumulate to at most one point on \((0,\infty )\) ( 0 , ) which we describe using explicit formulae. In the antiferromagnetic case \((J < 0\) ( J < 0 or equivalently \(t \in (1,\infty )\) t ( 1 , ) ) these Lee-Yang zeros accumulate to at most two points of \((0,\infty )\) ( 0 , ) , which we again describe with explicit formulae. The same results hold for the unrooted Cayley tree of branching number two. These results are proved by adapting a renormalization procedure that was previously used in the case of the Ising model on the Cayley Tree by Müller-Hartmann and Zittartz (1974 and 1977), Barata and Marchetti (1997), and Barata and Goldbaum (2001). We then use methods from complex dynamics and, more specifically, the active/passive dichotomy for iteration of a marked point, along with detailed analysis of the renormalization mappings, to prove the main results.