[论文解读] Bisymmetric functions, Macdonald polynomials and sl_3 basic hypergeometric series

S. Ole Warnaar|ArXiv.org|Nov 14, 2005

Advanced Combinatorial Mathematics参考文献 28被引用 9

一句话总结

本文引入了一类与李代数 $ττ_3$ 相关的新 $τ$-超几何级数，通过麦克唐纳多项式以及与 $q$-差分算子、塞尔伯格积分和交错符号矩阵相关的新型双对称函数，推广了 $q$-二项式定理。关键结果是一个多变量 $q$-二项式恒等式，其在 $q\to 1$ 极限下，导出一个关于雅克多项式的新的 $ττ_3$ 塞尔伯格积分。

ABSTRACT

A new type of sl_3 basic hypergeometric series based on Macdonald polynomials is introduced. Besides a pair of Macdonald polynomials attached to two different sets of variables, a key-ingredient in the sl_3 basic hypergeometric series is a bisymmetric function related to Macdonald's commuting family of q-difference operators, to the sl_3 Selberg integrals of Tarasov and Varchenko, and to alternating sign matrices. Our main result for sl_3 series is a multivariable generalization of the celebrated q-binomial theorem. In the limit this q-binomial sum yields a new sl_3 Selberg integral for Jack polynomials.

研究动机与目标

• 将 $q$-二项式定理推广至与李代数 $ττ_3$ 相关的多变量情形。
• 定义一种新型基本超几何级数，其包含两个麦克唐纳多项式以及由麦克唐纳的可交换 $q$-差分算子导出的双对称函数。
• 在 $ττ_3$ 根系的背景下，建立 $q$-二项式定理的多变量推广。
• 通过取所提出级数的 $q\to 1^{-}$ 极限，推导出关于雅克多项式的新的 $ττ_3$ 塞尔伯格积分。
• 通过变换将新级数与已知积分联系起来，并在特例中恢复已知结果，如经典塞尔伯格积分和阿姆托的积分。

提出的方法

• 通过大小分别为 $m$ 和 $n-m$ 的变量 $x$ 和 $y$，构造 $ττ_3$ 基本超几何级数，其中涉及两个麦克唐纳多项式 $P_{\lambda}(x;q,t)$ 和 $P_{\mu}(y;q,t)$。
• 关键组成部分是一个双对称函数 $h(x,y)$，其定义为对单射指标映射的求和，该函数推广了 $q$-二项式系数的结构，并与交错符号矩阵和可交换 $q$-差分算子相关。
• 该级数被定义为对分拆 $\lambda$ 和 $\mu$ 的求和，权重为 $q$-移位阶乘 $(a;q,t)_{\lambda}$，并由 $c'_{\lambda}(q,t)$ 归一化，推广了卡内科–麦克唐纳恒等式。
• 通过在 $ττ_3$ 设置下建立多变量 $q$-二项式定理，证明了主要恒等式，其表达为 $x_i$ 和 $y_j$ 的无限 $q$-Pochhammer 符号的乘积形式。
• 通过多变量 $q$-积分推导出该级数的 $q$-积分表示，并取 $q\to 1^{-}$ 极限，得到一个关于雅克多项式的新的塞尔伯格型积分。
• 结果表明，当 $m=0$ 时，该积分退化为经典塞尔伯格积分；当雅克多项式为初等对称函数时，退化为阿姆托积分。

实验结果

研究问题

• RQ1 如何将 $q$-二项式定理推广至与 $ττ_3$ 根系相关的多变量情形？
• RQ2 双对称函数 $h(x,y)$ 在连接麦克唐纳多项式、$q$-差分算子与塞尔伯格积分方面起什么作用？
• RQ3 能否构造一种新的 $ττ_3$ 基本超几何级数，使其在特例下退化为已知恒等式？
• RQ4 $q\to 1^{-}$ 极限下新 $ττ_3$ 级数的极限形式是什么？它与塞尔伯格积分和雅克多项式有何关系？
• RQ5 在 $ττ_3$ 对称性背景下，这些新积分如何推广经典与阿姆托型塞尔伯格积分？

主要发现

• 本文建立了关于 $ττ_3$ 基本超几何级数的多变量 $q$-二项式定理：${{}_{1}\Phi_{0}}\bigl[\genfrac{}{}{0.0pt}{}{a}{\textbf{--}};q,t;x,y\bigr] = \prod_{i=1}^{m}\frac{(azt^{m-1}x_{i};q)_{\infty}}{(zt^{m-1}x_{i};q)_{\infty}}\prod_{i=1}^{n-m}\frac{(azt^{n-i};q)_{\infty}}{(zt^{n-i};q)_{\infty}}$。
• 该级数在 $q\to 1^{-}$ 极限下导出一个关于雅克多项式的新的 $ττ_3$ 塞尔伯格积分，该积分推广了经典塞尔伯格积分和阿姆托积分。
• 当 $m=0$ 时，该积分退化为经典塞尔伯格积分，与已知结果一致。
• 当 $\nu = (1^r)$ 时，雅克多项式退化为初等对称函数 $e_r(x)$，此时积分给出一个具有显式伽马函数表达式的新的 $ττ_3$ 版本阿姆托积分。
• 积分区域 $C^{m,n}_{\gamma}[0,1]$ 和双对称函数 $h(x,y)$ 对于捕捉 $ττ_3$ 对称性以及在指定参数条件下保证收敛性至关重要。
• 参数 $\alpha, \beta_1, \beta_2, \gamma$ 的条件对一般 $n$ 和 $m$ 是最优的，但在 $m=0,1$ 或 $m=n$ 时需调整，且这些条件由要求伽马函数参数具有正实部所导出。