<p>We study the harmonic measure (i.e. the limit of the hitting distribution of a simple random walk starting from a distant point) on three canonical two-dimensional lattices: the square lattice <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>, the triangular lattice <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathscr {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">T</mi> </math></EquationSource> </InlineEquation> and the hexagonal lattice <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathscr {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>. In particular, for the least positive value of the harmonic measure of any <i>n</i>-point set, denoted by <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}_n(\mathscr {G})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">M</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, we prove in this paper that <Equation ID="Equ159"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_Equ159.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="295" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} [\lambda (\mathscr {G})]^{-n+c\sqrt{n}} \le \mathcal {M}_n(\mathscr {G}) \le [\lambda (\mathscr {G})]^{-n+C\sqrt{n}}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mrow> <mo stretchy="false">[</mo> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> <mrow> <mo>-</mo> <mi>n</mi> <mo>+</mo> <mi>c</mi> <msqrt> <mi>n</mi> </msqrt> </mrow> </msup> <mo>≤</mo> <msub> <mi mathvariant="script">M</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msup> <mrow> <mo stretchy="false">[</mo> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> <mrow> <mo>-</mo> <mi>n</mi> <mo>+</mo> <mi>C</mi> <msqrt> <mi>n</mi> </msqrt> </mrow> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="131" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda (\mathbb {Z}^2)=(2+\sqrt{3})^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mo>+</mo> <msqrt> <mn>3</mn> </msqrt> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda (\mathscr {T})=3+2\sqrt{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">T</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>3</mn> <mo>+</mo> <mn>2</mn> <msqrt> <mn>2</mn> </msqrt> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq7.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda (\mathscr {H})=(\tfrac{3+\sqrt{5}}{2})^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mstyle displaystyle="false" scriptlevel="0"> <mfrac> <mrow> <mn>3</mn> <mo>+</mo> <msqrt> <mn>5</mn> </msqrt> </mrow> <mn>2</mn> </mfrac> </mstyle> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>. Our results confirm a stronger version of the conjecture proposed by Calvert, Ganguly and Hammond (2023) which predicts the asymptotic of the exponent of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}_n(\mathbb {Z}^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">M</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Moreover, these estimates also significantly extend the findings in our previous paper with Kozma (2023) that <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}_n(\mathscr {G})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">M</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> decays exponentially for a large family of graphs <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathscr {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation> including <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathscr {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">T</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathscr {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="440_2025_1393_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Minimal harmonic measure on 2D lattices

  • Zhenhao Cai,
  • Eviatar B. Procaccia,
  • Yuan Zhang

摘要

We study the harmonic measure (i.e. the limit of the hitting distribution of a simple random walk starting from a distant point) on three canonical two-dimensional lattices: the square lattice \(\mathbb {Z}^2\) Z 2 , the triangular lattice \(\mathscr {T}\) T and the hexagonal lattice \(\mathscr {H}\) H . In particular, for the least positive value of the harmonic measure of any n-point set, denoted by \(\mathcal {M}_n(\mathscr {G})\) M n ( G ) , we prove in this paper that \(\begin{aligned} [\lambda (\mathscr {G})]^{-n+c\sqrt{n}} \le \mathcal {M}_n(\mathscr {G}) \le [\lambda (\mathscr {G})]^{-n+C\sqrt{n}}, \end{aligned}\) [ λ ( G ) ] - n + c n M n ( G ) [ λ ( G ) ] - n + C n , where \(\lambda (\mathbb {Z}^2)=(2+\sqrt{3})^2\) λ ( Z 2 ) = ( 2 + 3 ) 2 , \(\lambda (\mathscr {T})=3+2\sqrt{2}\) λ ( T ) = 3 + 2 2 and \(\lambda (\mathscr {H})=(\tfrac{3+\sqrt{5}}{2})^3\) λ ( H ) = ( 3 + 5 2 ) 3 . Our results confirm a stronger version of the conjecture proposed by Calvert, Ganguly and Hammond (2023) which predicts the asymptotic of the exponent of \(\mathcal {M}_n(\mathbb {Z}^2)\) M n ( Z 2 ) . Moreover, these estimates also significantly extend the findings in our previous paper with Kozma (2023) that \(\mathcal {M}_n(\mathscr {G})\) M n ( G ) decays exponentially for a large family of graphs \(\mathscr {G}\) G including \(\mathscr {T}\) T , \(\mathscr {H}\) H and \(\mathbb {Z}^d\) Z d for all \(d\ge 2\) d 2 .