[論文レビュー] On Young tableau involutions and patterns in permutations

Erik Ouchterlony|ArXiv.org|Aug 1, 2009

Advanced Combinatorial Mathematics参考文献 12被引用数 9

ひとこと要約

本博士論文は、置換組合せ論の3つの密接に結びついた側面を調査する：特に二重に交互な置換を含むパターン回避置換；パターン回避形に拡張可能な部分置換；およびヤング盤上の対合。1234を回避する置換とそのサイズ2倍の二重に交互な同型置換との間の双対写像を導入し、リトルウッド＝リチャードソン盤に関して3つの基本的対合（対称性、反転、回転）を含む深い代数的関係 $a^3 = 1$ を確立する。

ABSTRACT

This thesis deals with three different aspects of the combinatorics of permutations. In the first two papers, two flavours of pattern avoiding permutations are examined; and in the third paper Young tableaux, which are closely related to permutations via representation theory, are studied. In the first paper we give solutations to several interesting problems regarding pattern avoiding doubly alternating permutations, such as finding a bijection between 1234-avoiding permutations and 1234-avoiding doubly alternating permutations of twice the size. In the second paper partial permutations which can be extended to pattern avoiding permutations are examined. A general algorithm is presented which is subsequently used to solve many different problems. The third paper deals with involutions on Young tableaux. There is a surprisingly large collection of relations among these involutions and in the paper we make the effort to study them systematically in order to create a coherent theory. The most interesting result is that for Littlewood-Richardson tableaux, $a^3=1$, wher5e $a$ is the composition of three different involutions: the fundamental symmetry map, the reversal and rotation involutions.

研究の動機と目的

• ヤング盤上の対合の体系的理論を確立すること、特にそれらの間の構造的および代数的関係に焦点を当てる。
• 1234を回避する二重に交互な置換に関する未解決問題を解き、特にサイズを2倍にする双対写像を構成すること。
• 複数のパターンクラスに適用可能な、部分置換がパターン回避置換に拡張可能かどうかを特定する一般アルゴリズムの開発。
• ヤング盤とその対称性を通じて表現論と組合せ論の関係を明確化すること。
• 散在するテーブルの対合に関する結果を、明示的な恒等式を伴う一貫性のある体系的理論に統合すること。

提案手法

• 組合せ的再帰と対称性解析を用いて、1234を回避する置換とそのサイズ2倍の1234を回避する二重に交互な置換との間の双対写像を構築する。
• 動的計画法とパターン列挙技術を活用して、部分置換を完全なパターン回避置換に拡張する一般アルゴリズムを設計する。
• ヤング盤上の3つの主要な対合（基本的対称写像、反転、回転）の合成を、代数的および組合せ的手法を用いて分析する。
• 表現論的道具を用いてリトルウッド＝リチャードソン盤を研究し、対合の合成の位数に焦点を当てる。
• ケース解析と構造的分解を用いて、テーブルの対合の関係を体系的にカタログ化する。
• 標準ヤング盤の理論とロビンソン＝シェンステッド対応を用いて、置換パターンとテーブルの対称性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 1234を回避する置換とそのサイズ2倍の1234を回避する二重に交互な置換との間に自然な双対写像は存在するか？
• RQ2 ヤング盤上の基本的対称性、反転、回転対合の合成の代数的構造は何か？
• RQ3 部分置換がパターン回避置換に拡張可能かどうかを特定する一般アルゴリズムを考案可能か？
• RQ4 ヤング盤に定義されたさまざまな対合の完全な関係は何か？それらは一貫性のあるフレームワークに統合可能か？
• RQ5 なぜ合成 $a = s \circ r \circ \rho$ がリトルウッド＝リチャードソン盤で $a^3 = 1$ を満たすのか？その背後にある組合せ的根拠は何か？

主な発見

• 1234を回避する置換とそのサイズ2倍の1234を回避する二重に交互な置換との間の構成的双対写像が確立され、長年の未解決問題が解決された。
• リトルウッド＝リチャードソン盤において、基本的対称性、反転、回転対合の合成 $a = s \circ r \circ \rho$ が $a^3 = 1$ を満たすことが判明し、深い代数的対称性が明らかになった。
• 部分置換がパターン回避置換に拡張可能かどうかを判別する一般アルゴリズムが開発され、複数のパターンクラスに成功裏に適用された。
• ヤング盤上の対合に関する豊富で体系的な理論が構築され、標準的対合の間の多数の非自明な関係が明らかになった。
• この研究は、恒等式 $a^3 = 1$ が偶然ではなく、リトルウッド＝リチャードソン盤の組合せ的構造とその対称性に由来することを示した。
• 結果として、置換パターンとテーブル組合せ論における散在する現象が統一され、表現論と数え上げ組合せ論の間の深い関係が示された。