[論文レビュー] Upper bounds on Kronecker coefficients with few rows

Igor Pak, Greta Panova|arXiv (Cornell University)|Feb 25, 2020

Limits and Structures in Graph Theory参考文献 48被引用数 4

ひとこと要約

本稿は、Kostka数、連関表、Littlewood–Richardson係数を用いて、少ない行数のものに対するKronecker係数 $ g(\tau, \rho, \nu) $ の新しい上界を確立する。主な結果は、洗練された一般上界である：$ g(\tau, \rho, \nu) \bigl(1 + \frac{\ell m r}{n}\bigr)^n \bigl(1 + \frac{n}{\ell m r}\bigr)^{\ell m r} $ であり、これは従来の一般上界を改善しており、$ \ell m r \leq n $ のときには鋭いものとなり、$ g \leq 4^n $ を得る。

ABSTRACT

We present three different upper bounds for Kronecker coefficients $g(λ,μ,ν)$ in terms of Kostka numbers, contingency tables and Littlewood--Richardson coefficients. We then give various examples, asymptotic applications, and compare them with existing lower bounds.

研究の動機と目的

• Kronecker係数の一般的で効果的な上界を求める長年の課題に取り組むこと。Kronecker係数は#P困難に計算可能であり、既知の組合せ的解釈も存在しない。
• 特に分割の行数が少ない場合に適用可能な、一般的で非自明な上界を提供すること。
• 新しい上界を、既存の下界および漸近的推定と比較すること。特に2次元および3次元連関表と関連して。
• Saxl予想やKronecker係数の漸近的挙動といった未解決問題への影響を検討すること。
• Knutson–Taoパズルや平面分割といった組合せ的道具を用いて、将来的な明示的構成とより鋭い上界の基礎を築くこと。

提案手法

• Kostka数を介した2次元連関表と3次元連関表を用いて上界を導出。それらの個数に関する既知の漸近的推定を活用。
• BriandとRosasによる公式を用いた最近の減少Kronecker係数に関する結果を応用。これにより3次元連関表と関連づける。
• Vallejoの多重量Littlewood–Richardson係数および逆Kostka数を用いて、第三の上界クラスを導出。
• 比較のためのベースラインとして、恒等式 $ g(\tau, \rho, \nu) \leq \min\{f^\tau, f^\rho, f^\nu\} $ を用いる。
• 分割関数 $ p(n) $ および平面分割数 $ p_2(n) $ の漸近的推定を活用。特に下界を分析するために用いる。
• フック長公式および表現論的道具を用いて、$ f^\lambda $ をKostka数 $ K(\lambda, 1^n) $ と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Kronecker係数の#P困難性を鑑み、タイトで計算的に意味のある一般上界を導出することは可能か？
• RQ2 3次元連関表に基づく上界と、Kostka数およびLittlewood–Richardson係数に基づく上界とを比較した場合、強さと適用範囲においてどのように異なるか？
• RQ3 自己双対な分割 $ \lambda $ について、$ g(\lambda, \lambda, \lambda) $ の漸近的挙動は何か？また、これは $ n^{2/3} $ の指数関数で下から抑えられるか？
• RQ4 連関表から導出された上界は、Kronecker係数の真の成長率をどの程度反映しているか？
• RQ5 $ n \to \infty $ のとき、Kronecker係数が高確率で非ゼロであると予想されるが、Kostka数がほとんど確実にゼロになるのと比べて、その傾向はいかがなものか？

主な発見

• 本稿は洗練された一般上界を確立する：$ g(\lambda, \mu, \nu) \leq \left(1 + \frac{\ell m r}{n}\right)^n \left(1 + \frac{n}{\ell m r}\right)^{\ell m r} $。ここで $ \ell, m, r $ はそれぞれ $ \lambda, \mu, \nu $ の行数を表す。
• $ \ell m r \leq n $ のとき、上界は $ g(\lambda, \mu, \nu) \leq 4^n $ に簡略化され、古典的上界 $ \min\{f^\lambda, f^\mu, f^\nu\} $ よりもしばしばタイトである。
• 下界が確立された：$ \sum_{\lambda \in \mathcal{L}_n} g(\lambda, \lambda, \lambda) \geq e^{c n^{2/3}} $（ある $ c > 0 $）。これにより、自己双対な分割上のKronecker係数の和が、任意の多項式よりも速く増加することが示された。
• 本稿は $ p_2(2100) > p(2100)^3 $ を示し、$ \text{Pyr}(\alpha, \beta, \gamma) \geq 2 $ を満たす三つ組 $ (\alpha, \beta, \gamma) $ が存在することを示唆する。これにより、3次元連関表の個数が分割数の立方を超える明示例が得られた。
• 著者らは、$ n \to \infty $ のときKronecker係数が確率1に近い確率で非ゼロであると予想する。これはKostka数がほとんど確実にゼロになるという事実とは対照的である。
• 本稿は、非ゼロの $ g(\lambda, \mu, \nu) $ を持つ三つ組 $ (\lambda, \mu, \nu) $ の数が、漸近的にほぼすべての三つ組を占めるという証拠を提供する。これにより、Kronecker係数は一般に非ゼロであるという考えを支持する。