[论文解读] On the largest Kronecker and Littlewood--Richardson coefficients

Igor Pak, Greta Panova+1 more|arXiv (Cornell University)|Apr 12, 2018

Advanced Combinatorial Mathematics参考文献 41被引用 7

一句话总结

该论文通过证明Vershik–Kerov–Logan–Shepp (VKLS)形状的分拆是最大化Kronecker系数和Littlewood–Richardson系数的分拆，解决了Stanley关于这些系数最大值的开放问题。作者利用特征估计和组合界，分别在$\sqrt{n!}$和$\binom{n}{k}^{1/2}$的尺度下建立了这些系数的渐近紧致界，且具有$e^{-O(\sqrt{n})}$阶的指数修正项，从而确认VKLS形状实现了最大值。

ABSTRACT

We give new bounds and asymptotic estimates for Kronecker and Littlewood--Richardson coefficients. Notably, we resolve Stanley's questions on the shape of partitions attaining the largest Kronecker and Littlewood--Richardson coefficients. We apply the results to asymptotics of the number of standard Young tableaux of skew shapes.

研究动机与目标

• 解决Stanley关于哪些分拆使最大Kronecker系数和Littlewood–Richardson系数达到最大值的开放问题。
• 在$\sqrt{n!}$和$\binom{n}{k}^{1/2}$的尺度下，为这些系数建立紧致的渐近界。
• 证明实现最大系数的分拆正是具有Vershik–Kerov–Logan–Shepp (VKLS)形状的分拆。
• 提供一种组合与分析相结合的框架，避免使用$S_n$特有工具，从而可推广至有限群。

提出的方法

• 使用由$f^{\lambda^{(n)}} \geq \sqrt{n!} \, e^{-a\sqrt{n}}$定义的Plancherel分拆序列，以刻画极值系数。
• 应用特征估计及$f^\lambda$渐近行为的已知结果，以界定Kronecker系数。
• 建立一个新的初等不等式：$c^{\lambda}_{\mu,\nu} \leq \sqrt{\binom{n}{k}}$，其证明基于双重计数与jeu-de-taquin论证。
• 利用自由卷积与极限形状理论（通过Biane的方法）分析LR系数的渐近行为。
• 利用VKLS形状使$f^\lambda$最大这一事实，并证明该性质可推广至系数本身。
• 通过随机矩阵理论与渐近表示论的结果，将问题约化为稳定极限形状与测度集中性。

实验结果

研究问题

• RQ1 哪些分拆$\lambda, \mu, \nu \vdash n$使Kronecker系数$g(\lambda, \mu, \nu)$达到最大？
• RQ2 哪些分拆$\lambda \vdash n$，$\mu \vdash k$，$\nu \vdash n-k$使Littlewood–Richardson系数$c^\lambda_{\mu,\nu}$达到最大？
• RQ3 最大Kronecker系数与LR系数的渐近增长是否可在$n$的尺度下被紧致界定？
• RQ4 极值系数是否仅来自具有VKLS形状的Plancherel序列？
• RQ5 不等式$c^\lambda_{\mu,\nu} \leq \sqrt{\binom{n}{k}}$是否渐近紧致？

主要发现

• 最大Kronecker系数满足$\max g(\lambda,\mu,\nu) = \sqrt{n!} \, e^{-O(\sqrt{n})}$，且当且仅当三个分拆均为Plancherel分拆（即具有Vershik–Kerov–Logan–Shepp (VKLS)形状）时取等。
• 对于Littlewood–Richardson系数，有$\text{C}(n,k) = \sqrt{\binom{n}{k}} \, e^{-O(\sqrt{n})}$，且当$\sqrt{n} \leq k \leq n - \sqrt{n}$时该界渐近紧致。
• 作者证明了一个新的初等界：$c^\lambda_{\mu,\nu} \leq \sqrt{\binom{n}{k}}$，该界渐近最优，且其组合证明基于满射与jeu-de-taquin。
• 本文确认VKLS形状是Kronecker系数与LR系数的唯一极值形状，从而解决了Stanley的问题。
• 作者猜想$\text{C}(n) \leq 2^{n/2} \, e^{-a\sqrt{n}}$对某个$a > 0$成立，暗示该系数严格小于$2^{n/2}$的界。
• 该证明方法可推广至$S_n$以外的群，作者另有一篇配套论文，为一般有限群中的诱导重数提供了更弱但更广泛的界。