<p>The Haglund–Haiman–Loehr theorem provides the following combinatorial formula for the modified Macdonald polynomials: <Equation ID="Equ48"> <EquationSource Format="TEX">\(\begin{aligned} \tilde{H}_{\mu }(X;q,t)=\sum _{\sigma : \mu \rightarrow \mathbb {P}}x^{\sigma }t^{\textsf{maj}(\sigma )}q^{\textsf{inv}(\sigma )}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mover accent="true"> <mi>H</mi> <mo stretchy="false">~</mo> </mover> <mi>μ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>;</mo> <mi>q</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munder> <mo>∑</mo> <mrow> <mi>σ</mi> <mo>:</mo> <mi>μ</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">P</mi> </mrow> </munder> <msup> <mi>x</mi> <mi>σ</mi> </msup> <msup> <mi>t</mi> <mrow> <mi mathvariant="sans-serif">maj</mi> <mo stretchy="false">(</mo> <mi>σ</mi> <mo stretchy="false">)</mo> </mrow> </msup> <msup> <mi>q</mi> <mrow> <mi mathvariant="sans-serif">inv</mi> <mo stretchy="false">(</mo> <mi>σ</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Inspired by Martin’s multiline-queue formula for the stationary distribution of multitype asymmetric simple exclusion processes, Corteel, Haglund, Mandelshtam, Mason and Williams recently introduced the queue inversion statistic <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textsf{quinv}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">quinv</mi> </math></EquationSource> </InlineEquation> and conjectured that the tableaux formula for <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\tilde{H}_{\mu }(X;q,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover accent="true"> <mi>H</mi> <mo stretchy="false">~</mo> </mover> <mi>μ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>;</mo> <mi>q</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is invariant if the inversion statistic <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textsf{inv}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">inv</mi> </math></EquationSource> </InlineEquation> is replaced by <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textsf{quinv}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">quinv</mi> </math></EquationSource> </InlineEquation>. This was subsequently resolved by Ayyer, Mandelshtam and Martin, who proposed a stronger conjecture on the equivalence of the two refined formulas for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\tilde{H}_{\mu }(X;q,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover accent="true"> <mi>H</mi> <mo stretchy="false">~</mo> </mover> <mi>μ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>;</mo> <mi>q</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Our main result confirms this Ayyer–Mandelshtam–Martin conjecture. We establish an equidistribution between the pairs <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((\textsf{inv},\textsf{maj})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">inv</mi> <mo>,</mo> <mi mathvariant="sans-serif">maj</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((\textsf{quinv},\textsf{maj})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">quinv</mi> <mo>,</mo> <mi mathvariant="sans-serif">maj</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation>-Mahonian statistics on any row-equivalency class <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\([\tau ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi>τ</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> is a filling of the Young diagram of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation>. As a byproduct of our approach, we show that if <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> is a rectangular filling, the triples <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\((\textsf{inv},\textsf{quinv},\textsf{maj})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">inv</mi> <mo>,</mo> <mi mathvariant="sans-serif">quinv</mi> <mo>,</mo> <mi mathvariant="sans-serif">maj</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\((\textsf{quinv},\textsf{inv},\textsf{maj})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="sans-serif">quinv</mi> <mo>,</mo> <mi mathvariant="sans-serif">inv</mi> <mo>,</mo> <mi mathvariant="sans-serif">maj</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> have the same distribution over <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\([\tau ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi>τ</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Modified Macdonald Polynomials and \(\mu \)-Mahonian Statistics

  • Emma Yu Jin,
  • Xiaowei Lin

摘要

The Haglund–Haiman–Loehr theorem provides the following combinatorial formula for the modified Macdonald polynomials: \(\begin{aligned} \tilde{H}_{\mu }(X;q,t)=\sum _{\sigma : \mu \rightarrow \mathbb {P}}x^{\sigma }t^{\textsf{maj}(\sigma )}q^{\textsf{inv}(\sigma )}. \end{aligned}\) H ~ μ ( X ; q , t ) = σ : μ P x σ t maj ( σ ) q inv ( σ ) . Inspired by Martin’s multiline-queue formula for the stationary distribution of multitype asymmetric simple exclusion processes, Corteel, Haglund, Mandelshtam, Mason and Williams recently introduced the queue inversion statistic \(\textsf{quinv}\) quinv and conjectured that the tableaux formula for \(\tilde{H}_{\mu }(X;q,t)\) H ~ μ ( X ; q , t ) is invariant if the inversion statistic \(\textsf{inv}\) inv is replaced by \(\textsf{quinv}\) quinv . This was subsequently resolved by Ayyer, Mandelshtam and Martin, who proposed a stronger conjecture on the equivalence of the two refined formulas for \(\tilde{H}_{\mu }(X;q,t)\) H ~ μ ( X ; q , t ) . Our main result confirms this Ayyer–Mandelshtam–Martin conjecture. We establish an equidistribution between the pairs \((\textsf{inv},\textsf{maj})\) ( inv , maj ) and \((\textsf{quinv},\textsf{maj})\) ( quinv , maj ) of \(\mu \) μ -Mahonian statistics on any row-equivalency class \([\tau ]\) [ τ ] , where \(\tau \) τ is a filling of the Young diagram of \(\mu \) μ . As a byproduct of our approach, we show that if \(\tau \) τ is a rectangular filling, the triples \((\textsf{inv},\textsf{quinv},\textsf{maj})\) ( inv , quinv , maj ) and \((\textsf{quinv},\textsf{inv},\textsf{maj})\) ( quinv , inv , maj ) have the same distribution over \([\tau ]\) [ τ ] .