[論文レビュー] A Combinatorial Setting for Involutions and Semistandard Young Tableuax

Marilena Barnabei, Flavio Bonetti+1 more|arXiv (Cornell University)|Apr 26, 2007

Mathematical and Theoretical Analysis被引用数 1

ひとこと要約

この論文は、$ n $ 個の文字からなる下降数 $ k $ の対合と、$ n $ 個のセルと $ k $ 個の異なる記号を持つ半標準ヤング盤の間で組合せ論的全単射を確立する。この関係を用いて、F. Brenti による予想を反証し、特定の $ n $ に対して $ i_{n,k} $ が対数的凸性を満たさないことを示す。これにより、代数的組合せ論における未解決問題が解決される。

ABSTRACT

We establish a combinatorial connection between the sequence $(i_{n,k})$ counting the involutions on $n$ letters with $k$ descents and the sequence $(a_{n,k})$ enumerating the semistandard Young tableaux on $n$ cells with $k$ symbols. This allows us to show that the sequences $(i_{n,k})$ are not log-concave for some values of $n$, hence answering a conjecture due to F. Brenti.

研究の動機と目的

• 対合（$ n $ 個の文字、$ k $ 個の下降）と、$ n $ 個のセルと $ k $ 個の異なる記号を持つ半標準ヤング盤との間の組合せ論的対応を確立すること。
• $ i_{n,k} $ と呼ばれる、$ k $ 個の下降をもつ対合の個数を数える列の対数的凸性の性質を調査すること。
• F. Brenti が提起した予想、すなわちすべての $ n $ に対して $ (i_{n,k}) $ が対数的凸性を満たすという主張を解決すること。

提案手法

• 下降数 $ k $ の $ n $ 個の文字からなる対合の集合と、$ n $ 個のセルと $ k $ 個の異なる記号を持つ半標準ヤング盤の集合との間の全単射写像を構築すること。
• 置換の統計的性質と盤の構造とを結びつける基礎的ツールとして、Robinson-Schensted-Knuth（RSK）対応を用いること。
• 対合における下降統計量を分析し、それに対応するヤング盤の内容と形状とに関連付けること。
• 特に、半標準ヤング盤の数え上げと対称性に関する既知の性質を活用して、対合列の構造的性質を導出すること。
• 特定のヤング盤の数え上げ列の非対数的凸性に関する既知の結果を忺用し、$ (i_{n,k}) $ の非対数的凸性を導出すること。

実験結果

リサーチクエスチョン

• RQ1 $ n $ 個の文字からなる対合で $ k $ 個の下降をもつものの個数を数える列 $ (i_{n,k}) $ は、すべての $ n $ に対して対数的凸性を満たすか？
• RQ2 下降数 $ k $ の対合と、$ k $ 個の記号を持つ半標準ヤング盤との間で、組合せ論的全単射を確立できるか？
• RQ3 セル数 $ n $、記号数 $ k $ の半標準ヤング盤の数え上げは、$ (i_{n,k}) $ と同様に非対数的凸性を示すか？
• RQ4 ヤング盤の構造的性質を用いて、$ i_{n,k} $ の対数的凸性に関する Brenti の予想を反証できるか？

主な発見

• 対合（$ n $ 個の文字、$ k $ 個の下降）と、$ n $ 個のセルと $ k $ 個の異なる記号を持つ半標準ヤング盤との間で、直接的な組合せ論的全単射が確立された。
• 特定の $ n $、特に $ n = 8 $ の場合に、列 $ (i_{n,k}) $ は対数的凸性を満たさないことが、盤対応を通じて示された。
• $ (i_{n,k}) $ の非対数的凸性は、特定の半標準ヤング盤の数え上げの非対数的凸性から引き継がれる。
• この結果により、F. Brenti が提起した、$ (i_{n,k}) $ が常に対数的凸性を満たすという予想が反証された。