[论文解读] A basis for the polynomial eigenfunctions of deformed Calogero-Moser-Sutherland operators

Martin Hallnäs|ArXiv.org|Dec 10, 2007

Algebraic structures and combinatorial models参考文献 14被引用 8

一句话总结

本文通过将多项式特征函数表示为广义（超）舒尔多项式的线性组合，构建了形变 Calogero-Moser-Sutherland 算子的多项式特征函数的线性基。主要贡献在于给出了超杰克多项式的显式级数表示，并在特征值非退化条件下对特征函数进行了表征。

ABSTRACT

We construct a linear basis for the polynomial eigenfunctions of a family of deformed Calogero-Moser-Sutherland operators naturally associated with hypergeometric polynomials. In our construction the eigenfunctions are obtained as linear combinations of polynomials which generalise the (super) Schur polynomials. As a byproduct, we obtain explicit series representations for the super Jack polynomials.

研究动机与目标

• 构建与超几何多项式相关的形变 Calogero-Moser-Sutherland 算子多项式特征函数的线性基。
• 将（超）舒尔多项式推广为特征函数展开的构建块。
• 通过所构造的基推导出超杰克多项式的显式级数表示。
• 表征特征函数对参数向量 $\bar{m}$ 的依赖关系，并识别特征值非退化的条件。
• 提供一种将特征函数重写为线性无关基元素的形式的框架，优于过度完备集合。

提出的方法

• 特征函数被构造为多项式 $f^{(\bar{m})}_{a}$ 的线性组合，这些多项式是（超）舒尔多项式的推广，通过对称函数理论定义。
• 该方法依赖于标准 CMS 算子结构的形变，引入两组变量 $x = (x_1,\ldots,x_n)$ 和 $\tilde{x} = (\tilde{x}_1,\ldots,\tilde{x}_{\tilde{n}})$，并包含涉及 $\theta$ 的相互作用项。
• 定义了算子 $D^{k}_{n,\tilde{n}}$ 和 $E^{\ell}_{n,\tilde{n}}$，以将二阶微分算子推广至具有混合变量相互作用的多体系统。
• 特征函数 $P^{(\bar{m})}_{\lambda}$ 被归一化为与 $\bar{m}$ 无关，其在 $f^{(\bar{m})}_{a}$ 上的展开在 $\bar{m}$-容许条件下被分析。
• 该构造利用对称函数恒等式，包括初等对称多项式 $e_r$ 和完全对称多项式 $h_r$，推导出钩形分拆等特定分拆的显式展开。
• 特征值的非退化性通过 $\bar{m}$-容许性编码，充分条件在命题 6.2 中给出，尤其在 $\alpha_2 = 0$ 时成立。

实验结果

研究问题

• RQ1 如何系统地为形变 Calogero-Moser-Sutherland 算子的多项式特征函数构造线性基？
• RQ2 超杰克多项式相对于广义舒尔型多项式的显式级数表示是什么？
• RQ3 特征函数如何依赖于参数向量 $\bar{m}$，并满足何种条件可确保特征值非退化？
• RQ4 能否将过度完备的多项式集合 $f^{(\bar{m})}_{a}$ 重写为最小线性无关基？
• RQ5 特征函数展开的结构性质是什么，特别是对于钩形分拆等特殊分拆？

主要发现

• 本文给出了以钩形分拆标记的超舒尔多项式的显式级数展开：$S_{(a_1,1^{a_2})}(x,\tilde{x}) = \sum_{t=0}^{a_2}(-1)^{a_2-t}\left(\sum_{r=0}^{a_1+t}e_r(\tilde{x})h_{a_1+t-r}(x)\sum_{s=0}^{a_2-t}e_s(x)h_{a_2-t-s}(\tilde{x})\right)$。
• 当普通舒尔多项式（$\tilde{x}=0$）时，该式简化为已知公式 $s_{(a_1,1^{a_2})}(x) = \sum_{t=0}^{a_2}(-1)^{a_2-t}e_{a_2-t}(x)h_{a_1+t}(x)$。
• 特征函数 $P^{(\bar{m})}_{\lambda}$ 可被归一化为与 $\bar{m}$ 的具体选择无关，从而简化其表示。
• 多项式 $f^{(\bar{m})}_{a}$ 在变换 $\bar{m} \to (m, \tilde{m} + N)$ 下保持不变，其中 $N$ 为任意正整数，表明其在参数依赖性上具有某种稳定性。
• 对于给定分拆 $\lambda$，多项式 $f^{(\bar{m})}_{\varphi(\lambda)}$ 在展开为超杰克多项式时具有相同的首项，如引理 5.2 所示。
• 当 $\bar{m}$-容许性成立时，可确保特征值非退化，且已证明充分条件——尤其当 $\alpha_2 = 0$ 时，所有属于 $H_{\bar{n}} \cap H_{\bar{m}}$ 的分拆均为 $\bar{m}$-容许。