<p>Motivated by connections via the Knutson-Tao hive model, to random matrices, Littlewood-Richardson coefficients and tilings, we study random discrete concave (real-valued) functions on an equilateral lattice with periodic Hessians. After suitable transformations the question can be rephrased as one involving the scaling limit of random semiconcave functions on a discrete torus. The resulting set of semiconcave functions forms a convex polytope <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_n(s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <i>s</i> parameterizes the extent of semiconcavity. The <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell _\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation> diameter of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_n(s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is shown to be bounded below by <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(c(s) n^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mi>n</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <i>c</i>(<i>s</i>) is a positive constant depending only on <i>s</i>. It has been shown in [<CitationRef CitationID="CR18">18</CitationRef>] that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="242" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma (s) = - \lim _{n\rightarrow \infty } \left( \frac{1}{n^2}\right) \log \textrm{vol} P_n(s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>-</mo> <msub> <mo movablelimits="true">lim</mo> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </msub> <mfenced close=")" open="("> <mfrac> <mn>1</mn> <msup> <mi>n</mi> <mn>2</mn> </msup> </mfrac> </mfenced> <mo>log</mo> <mtext>vol</mtext> <msub> <mi>P</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is well defined and convex; in fact that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\exp (- \sigma (s))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>exp</mo> <mo stretchy="false">(</mo> <mo>-</mo> <mi>σ</mi> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is concave. We use this surface tension to show that when <i>s</i> is such that a subgradient <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\(w = (w_0, w_1, w_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>w</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>w</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>w</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma (s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> belongs to the cone <Equation ID="Equ120"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_Equ120.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="303" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} w_0^2 + w_1^2 + w_2^2 &lt; 2\left( w_0 w_1 + w_1 w_2 + w_2 w_0\right) , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mi>w</mi> <mn>0</mn> <mn>2</mn> </msubsup> <mo>+</mo> <msubsup> <mi>w</mi> <mn>1</mn> <mn>2</mn> </msubsup> <mo>+</mo> <msubsup> <mi>w</mi> <mn>2</mn> <mn>2</mn> </msubsup> <mo>&lt;</mo> <mn>2</mn> <mfenced close=")" open="("> <msub> <mi>w</mi> <mn>0</mn> </msub> <msub> <mi>w</mi> <mn>1</mn> </msub> <mo>+</mo> <msub> <mi>w</mi> <mn>1</mn> </msub> <msub> <mi>w</mi> <mn>2</mn> </msub> <mo>+</mo> <msub> <mi>w</mi> <mn>2</mn> </msub> <msub> <mi>w</mi> <mn>0</mn> </msub> </mfenced> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>(which happens to be true for when <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_0 = s_1 \le s_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mn>0</mn> </msub> <mo>=</mo> <msub> <mi>s</mi> <mn>1</mn> </msub> <mo>≤</mo> <msub> <mi>s</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>,) then for any <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\({\epsilon }&gt; 0,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϵ</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation><Equation ID="Equ121"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_Equ121.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="188" /> </MediaObject> <EquationSource Format="TEX">\(\lim _{n \rightarrow \infty } \mathbb {P}\left[ \Vert g\Vert _\infty &gt; n^{\frac{7}{4} + {\epsilon }}\right] = 0\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munder> <mo movablelimits="true">lim</mo> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </munder> <mi mathvariant="double-struck">P</mi> <mfenced close="]" open="["> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>g</mi> <mo stretchy="false">‖</mo> </mrow> <mi>∞</mi> </msub> <mo>&gt;</mo> <msup> <mi>n</mi> <mrow> <mfrac> <mn>7</mn> <mn>4</mn> </mfrac> <mo>+</mo> <mi>ϵ</mi> </mrow> </msup> </mfenced> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </Equation>where <i>g</i> is sampled from the uniform measure on <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41_2025_10185_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_n(s)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Random Discrete Concave Functions on an Equilateral Lattice with Periodic Hessians

  • Hariharan Narayanan

摘要

Motivated by connections via the Knutson-Tao hive model, to random matrices, Littlewood-Richardson coefficients and tilings, we study random discrete concave (real-valued) functions on an equilateral lattice with periodic Hessians. After suitable transformations the question can be rephrased as one involving the scaling limit of random semiconcave functions on a discrete torus. The resulting set of semiconcave functions forms a convex polytope \(P_n(s)\) P n ( s ) , where s parameterizes the extent of semiconcavity. The \(\ell _\infty \) diameter of \(P_n(s)\) P n ( s ) is shown to be bounded below by \(c(s) n^2\) c ( s ) n 2 , where c(s) is a positive constant depending only on s. It has been shown in [18] that \(\sigma (s) = - \lim _{n\rightarrow \infty } \left( \frac{1}{n^2}\right) \log \textrm{vol} P_n(s)\) σ ( s ) = - lim n 1 n 2 log vol P n ( s ) is well defined and convex; in fact that \(\exp (- \sigma (s))\) exp ( - σ ( s ) ) is concave. We use this surface tension to show that when s is such that a subgradient \(w = (w_0, w_1, w_2)\) w = ( w 0 , w 1 , w 2 ) of \(\sigma (s)\) σ ( s ) belongs to the cone \(\begin{aligned} w_0^2 + w_1^2 + w_2^2 < 2\left( w_0 w_1 + w_1 w_2 + w_2 w_0\right) , \end{aligned}\) w 0 2 + w 1 2 + w 2 2 < 2 w 0 w 1 + w 1 w 2 + w 2 w 0 , (which happens to be true for when \(s_0 = s_1 \le s_2\) s 0 = s 1 s 2 ,) then for any \({\epsilon }> 0,\) ϵ > 0 , \(\lim _{n \rightarrow \infty } \mathbb {P}\left[ \Vert g\Vert _\infty > n^{\frac{7}{4} + {\epsilon }}\right] = 0\) lim n P g > n 7 4 + ϵ = 0 where g is sampled from the uniform measure on \(P_n(s)\) P n ( s ) .