ヤング図形とは? わかりやすく解説

ヤング図形

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/06/10 04:21 UTC 版)

数学において、ヤング盤(ヤングばん、: Young tableau) および ヤング図形(ヤングずけい、: Young diagram)とは、表現論で使われる組合せ論的図式である。これは、対称群群表現を記述しその性質を調べるのに便利である。

ヤング盤は、ケンブリッジ大学の英国人牧師・数学者アルフレッド・ヤング (Alfred Young, 1873-1940) により 1900年に導入された。その理論は、アルフレッド・ヤング自身およびアラン・ラスクー (Alain Lascoux)、パーシー・マクマホン (Percy Alexander MacMahon)、ギルバート・ロビンソン (Gilbert de Beauregard Robinson)、ジァン・カルロ・ロータ (Gian-Carlo Rota)、マルセル・ポール・シュッツェンベルジェ(Marcel-Paul Schützenberger)、リチャード・スタンレー(Richard P. Stanley)その他の数学者により、さらに発展した。

定義

ヤング図形

分割 10 = 5 + 4 + 1 のヤング図形

ヤング図形あるいはフェラーズ図形(フェラーズずけい、: Ferrers diagram)とは、数 n分割を表現する方法である。n を正整数とする。分割とは、n をいくつかの正整数の和として

n = k1 + k2 + … + km
k1k2 ≧ … ≧ km

と表すことである。この分割は i 行目は ki 個の箱をもつ m 行からなる合計 n 個の箱により表現できる。これをヤング図形という。ここで、各行は左寄せにする。

この分割を k = (k1, k2, …, km) とする。このとき、k に共役な分割: partition conjugate to k)とは、各列の箱の数からなる n の分割のことをいう。つまり、各ヤング図形に対し、対角線に沿って縦横を反転した共役ヤング図形が存在する。

右上図は、分割 10 = 5 + 4 + 1 に対応するヤング図形である。この共役分割は、 10 = 3 + 2 + 2 + 2 + 1 である。

ヤング盤

分割 10=5+4+1 のヤング盤のひとつ。1から10までが1度ずつ出現しているため、標準盤である。

ヤング盤は、ヤング図形を1つ取り、同図形の n 個の箱に 1, 2, …, n の数を、以下の制約に基づいて埋めることによって得られる。

  • 各行で、数は左から右に増加する。
  • 各列で、数は上から下に増加する。

各数が1つの箱に必ず1回きり現れるとき、その盤を標準盤: standard tableau)という。右上図は、分割 10 = 5 + 4 + 1 に対応する標準盤の一つである。

半標準盤: semi-standard tableaux)は、この変種で、全ての数が盤に現れる必要はない代わりに、ある数が複数個の箱に現れうるものである。半標準盤では、上の最初の制約が、以下のように弱められる。

  • 各行で、数は左から右に非減少である。

半標準盤は、1, 2, …, t のどの数も持ちうる。ここで一般に、t は特定されている。この集合 1, 2, …, t から全ての数が半標準盤に現れる必要はなく、またある数は複数回現れても良い。数は列の中では増加しなければならないので、半標準盤が存在するためには、tm が必要である。

表現論における応用

ヤング図形は、対称群複素数体上の既約表現と一対一対応をもつ[1]。これは、既約表現を構成するヤング対称子(: Young symmetriser)を特定するのに便利である。対応するヤング図形から、表現に関する多くの事実を推論することができる。以下に、表現の次元を決定する例と、表現の制限の例の2つを記述する。両方の例において、そのヤング図形を使うだけで、表現のある性質を決定できることを見る。

表現の次元

分割 10=5+4+1 に対応する各箱のフック長

分割 λ に対応する既約表現 πλ次元は、その表現のヤング図形から得られる異なるヤング盤の数に等しい。この数は、フック長の公式から計算できる。

ヤング図形 λ の中のある箱 x のフック長(: hook lengthhook(x) とは、同一行の右にある箱の数と同一列の下にある箱の数の和に 1 (その箱自身)を加えた数である。フック長の公式によると、既約表現 πλ の次元は、n! を、同表現のヤング図形の全箱のフック長の積で割った数に等しい。

この節の加筆が望まれています。
主に: Specht moduleの構成 2015年10月

ヤング盤は、対称群の任意のの上の表現を構成し、その構造を研究することもできる。 正標数の場合には、これらの表現は既約とは限らない[2]

脚注

  1. ^ Sagan 2001, Theorem 2.4.6.
  2. ^ (Sagan 2001)のTheorem 2.4.6の後にある注意を見よ。

参考文献

関連図書

将来追加予定

  • 寺田至:「ヤング図形のはなし」、日本評論社、ISBN 978-4-535-60135-2 (2002年8月).
  • 洞彰人:「対称群の表現とヤング図形集団の解析学」、数学書房、ISBN 978-4-90334254-2(2017年4月25日).
  • W. フルトン:「ヤング・タブロー: 表現論と幾何への応用」、丸善出版、ISBN 978-4-62130389-4 (2019年6月17日).
  • 岩尾慎介:「ヤング盤の組合せ論:非可換シューア関数入門」、共立出版、ISBN 978-4-320-11585-9 (2025年7月3日).

関連項目

外部リンク


ヤング図形

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/12/11 04:40 UTC 版)

自然数の分割」の記事における「ヤング図形」の解説

詳細は「ヤング図形」を参照 整数の分割別の視覚的な表現に、イギリス人数学者アルフレッド・ヤングに因んで名づけられた、ヤング図形がある。フェラーズ図形では丸で表していたものを、ヤング図形では箱型を使う。つまり、分割 5 + 4 + 1対するヤング図形は である。同じ分割フェラーズ図形は これは一見取り立てて分けて述べ価値のあるようには思われないつまらない違いにも見えるが、実際に対称函数群の表現論研究にとってヤング図形はきわめて有用な存在となる。特に、ヤング図形の箱の中に様々な決まりのもとで数値(あるいはもっと複雑な対象)を書き込むことで、ヤング盤呼ばれる対象導入することができて、それが組合せ論群の表現論効果発揮するのである

※この「ヤング図形」の解説は、「自然数の分割」の解説の一部です。
「ヤング図形」を含む「自然数の分割」の記事については、「自然数の分割」の概要を参照ください。

ウィキペディア小見出し辞書の「ヤング図形」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ヤング図形」の関連用語

ヤング図形のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ヤング図形のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのヤング図形 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの自然数の分割 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS