[論文レビュー] Products of characters of the symmetric group

Rosa Orellana, Mike Zabrocki|arXiv (Cornell University)|Sep 23, 2017

Advanced Combinatorial Mathematics参考文献 30被引用数 7

ひとこと要約

本稿は、対称関数の積に対する組合せ的規則を、対称群 $S_n$ の既約キャラクターに特殊化する新しい基底 $ ilde{s}_ u$ において導入する。$ ilde{s}_ u$、$ ilde{h}_ u$、$h_ u$ を含む積に対して、格子条件を満たす多重集合および集合値テーブルを用いて明示的な組合せ的解釈を与え、これらの積が不等式の階層を満たすことを確立し、従来の結果を統合し、安定クロンケル係数を計算するための新しいツールを提供する。

ABSTRACT

In a recent paper, the authors introduced a new basis of the ring of symmetric functions which evaluate to the irreducible characters of the symmetric group at roots of unity. The structure coefficients for this new basis are the stable Kronecker coefficients. In this paper we give combinatorial descriptions for several products that have as consequences several versions of the Pieri rule for this new basis of symmetric functions. In addition, we give several applications of the products studied in this paper.

研究の動機と目的

• 対称群 $S_n$ の既約キャラクターに特殊化する新しい基底 $\tilde{s}_\lambda$ における対称関数の積の組合せ的解釈を提供すること。
• 多重集合および集合値テーブルを用いた一貫した枠組みを導入することで、$ ilde{s}_\mu$-基底に関する従来の結果を統合・一般化すること。
• $\tilde{s}_\mu$、$\tilde{h}_\mu$、$h_\mu$ を含む積の間の不等式の階層を確立し、複雑さと構造の増加を反映すること。
• 表現論の問題、特に制限問題と量子情報におけるクロンケル積の乗法的次数への応用。

提案手法

• 著者らは、単位根における $S_n$ の既約キャラクターに特殊化する新しい対称関数基底 $\tilde{s}_\lambda$ を定義する。
• Young部分群 $S_\mu$ の自明キャラクターを誘導するものに特殊化する $ ilde{h}_\mu$ を導入し、完全同次対称関数 $h_\mu$ と関連付ける。
• バー付きおよびバーなしの要素を含む列厳密テーブルを用いて、積 $\tilde{s}_{\mu_1} \cdots \tilde{s}_{\mu_\ell} \tilde{s}_\lambda$、$\tilde{h}_{\mu_1} \cdots \tilde{h}_{\mu_\ell} \tilde{s}_\lambda$、$\tilde{h}_\mu \tilde{s}_\lambda$、$h_\mu \tilde{s}_\lambda$ の組合せ的解釈を与える。
• テーブルは、バー付きおよびバーなしの要素の相対的順序に基づく格子条件に従い、積の種別に追加の制約が課される：$h_\mu \tilde{s}_\lambda$ に対して多重集合、$\tilde{h}_\mu \tilde{s}_\lambda$ に対して集合、$\tilde{s}_\mu \tilde{s}_\lambda$ に対して行制約。
• $ ilde{s}_\lambda$ 基底が正規直交となるスカラー積を定義し、双対性および内積の公式を可能にする。
• 再帰的定義と格子テーブルの構成を用いて結果を証明し、プレティズムおよびクロンケル係数への応用を含む。

実験結果

リサーチクエスチョン

• RQ1 $ ilde{s}_\lambda$ 基底における対称関数の積は、バー付きおよびバーなしの要素を含むテーブルとして、どのように組合せ的に解釈できるか？
• RQ2 $\tilde{s}_\mu \tilde{s}_\lambda$、$\tilde{h}_\mu \tilde{s}_\lambda$、$h_\mu \tilde{s}_\lambda$ の積の間の関係は、それらの組合せ的構造と係数に関してどのように理解できるか？
• RQ3 不等式の階層 $\tilde{s}_{\mu_1} \cdots \tilde{s}_{\mu_\ell} \tilde{s}_\lambda \leq \tilde{h}_{\mu_1} \cdots \tilde{h}_{\mu_\ell} \tilde{s}_\lambda \leq h_\mu \tilde{s}_\lambda$ は、統一されたテーブルモデルによって完全に説明可能か？
• RQ4 これらの積は、クロンケル係数およびプレティズムの計算とどのように関係しているか？
• RQ5 新しい基底およびその積の規則を用いて、安定クロンケル係数に対する正の組合せ的解釈を与えることができるか？

主な発見

• $h_\mu \tilde{s}_\lambda$ の積は、各セルに高々1つのバー付き要素を含む多重集合で埋められた列厳密テーブルとして解釈され、バー付きおよびバーなしの要素を順に読む際に格子条件を満たす。
• $\tilde{h}_\mu \tilde{s}_\lambda$ の積は、バーなしの要素が繰り返されず、バー付きの要素も依然として格子条件を満たす集合値テーブルで解釈される。
• $\tilde{s}_\mu \tilde{s}_\lambda$ の積は、最初の行に2つ以上の要素を持つ集合のみを配置できることに加え、格子条件および集合条件を満たす必要がある。
• $\tilde{h}_\mu \tilde{s}_\lambda$ の積は、$h_\mu \tilde{s}_\lambda$ および $\tilde{h}_\mu \tilde{s}_\lambda$ の制約を組み合わせ、各セルに高々1つのバー付きおよび1つのバーなしの要素を含む必要がある。
• $(\tilde{h}_d)^a(\tilde{h}_{d-1})^{k-a}$ の $\tilde{s}_\nu$-展開における係数は、内容 ${\!\!\{}1^d, 2^d, \ldots, a^d, (a+1)^{d-1}, \ldots, k^{d-1}{\!\!\}}$ の形をした $(r)$ の形の集合値テーブルの個数に等しく、クロンケル積の乗法的次数に対する新しい公式を提供する。
• 本稿では、$ ilde{s}_\lambda$ 基底が、$h_{\lambda_1} \tilde{s}_{\bar{\lambda}}$ と、$ar{\lambda}$ の形をした格子テーブル（サイズ $k$）からの補正項を含む再帰的公式を用いてピエリ則を満たすことを証明している。