用户:王文明/Young tableau
注意:本条目使用英式画法来展示杨图及杨表。
杨图
编辑![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Young_diagram_for_541_partition.svg/150px-Young_diagram_for_541_partition.svg.png)
杨表是由有限的方格组成。对于一个正整数,给定一个整数分拆λ(10=1+4+5),则对应一个杨表πλ (注意这是一个递降的过程,也就是说下面一行的方格数要大于等于上一行的方格数)。可以说杨表与整数分拆λ一一对应。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Young_diagram_for_541_partition-French.svg/150px-Young_diagram_for_541_partition-French.svg.png)
杨图由有限多个相邻的方格排列而成,其中,各横-{zh-hans:行; zh-hant:列;}-的左边对齐,长度由下而上递增。有时会用其他的符号代替方块,特别的。当使用圆点代替,该图被称作费瑞尔图。若将杨图的各-{zh-hans:行; zh-hant:列;}-的方格数列出,则形成总方格数 n 的一个整数分拆 λ。因此,此图可以被视为是 λ 的形状,因为它和 λ 携带了相同的资讯。杨图之间的包含关系定义出整数分拆上的一个偏序关系,此关系拥有格的结构,称作杨格。若将杨图的各-{zh-hans:列; zh-hant:行;}-的方格数列出,会形成整数分拆 λ 的共轭分拆,或称转置分拆,它所对应到的杨图可由原本的杨图沿主对角线作镜射对称而得。
给定一个杨图,各方格的位置由两个座标决定,分别是行数与列数,-{zh-hans:列; zh-hant:行;}-的顺序是由左往右数,-{zh-hans:行; zh-hant:列;}-的顺序则是按照所包含的方格数由多的往少的方向数,此处牵涉到杨图的两种常见画法。第一种画法常用于法语世界,将各-{zh-hans:行; zh-hant:列;}-由大到小一层一层往上叠,称为法式画法,第二种画法常用于英语世界,将方格数较少的-{zh-hans:行; zh-hant:列;}-排在方格数较多的-{zh-hans:行; zh-hant:列;}-的下方,称为英式画法。例如,在伊恩·G·麦唐诺著作《对称函数与赫尔多项式》[1]建议习惯法式画法的读者将书放在镜子中上下颠倒来看。英式画法的思维与矩阵雷同,而法式画法则比较接近笛卡尔坐标系,不过,法式画法中对于方格的位置习惯先写纵坐标。例如,右图表式的,是 10 的整数分叉 (5, 4, 1) 对应的杨图,而它的共轭分拆 (3, 2, 2, 2, 1) 则代表着各-{zh-hans:列; zh-hant:行;}-的方格数。
勾长、臂长和腿长
编辑在许多理论及应用中,勾长扮演非常重要的角色。给定一个整数分拆 λ,以及 λ 中的一个方格 □,其臂长 aλ(□) 定义成 □ 正右方的方格数,腿长 lλ(□) 正上方的方格数 (腿长的名称来源自英式画法) ,勾长 hλ(□) 定义为 aλ(s)+lλ(s)+1。
杨表
编辑![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/40/Young_tableaux_for_541_partition.svg/150px-Young_tableaux_for_541_partition.svg.png)
一个杨表是将杨图中的各个方格填入一些元素,一般会填入全序集合的元素。原本,填入的元素应该要写作 x1, x2, x3 ...,但为了方便起见,都直接填入正整数。杨表最初应用于对称群的表示理论时,允许在杨图的 n 的方格中任意填入 1 到 n 中相异的正整数。不过现在的研究大多集中在标准的杨表,也就是上述的条件再加上各行与各列中的方格中的数字皆为严格递增的。由 n 个方格的相异杨表数个数形成对和数
在其他的应用中,杨图被允许填入相同的数字。若其填法满足同一-{zh-hans:列; zh-hant:行;}-中的数字严格递增,且同一-{zh-hans:行; zh-hant:列;}-中的数字单调递增,则该杨表被称为是半标准的,或有时特别称为-{zh-hans:列; zh-hant:行;}-严格的以避免定义上的歧异。将杨表中个数字出现的次数记录下来,可得一序列,该序列被视为杨表的权重。因此,标准杨表的权重必然是 (1,1,...,1),因为在杨表中,1 到 n 的正整数恰好各出现一次。
变体
编辑半标准杨表有许多变体,例如-{zh-hans:行; zh-hant:列;}-严格杨表要求同一-{zh-hans:行; zh-hant:列;}-中的数字严格递增,且同一-{zh-hans:列; zh-hant:行;}-中的数字单调递增,也就是-{zh-hans:列; zh-hant:行;}-严格杨表的共轭。此外,在平面分拆的理论中,往往习惯考虑将上述的定义中的递增改为递减。其他变体例如带状杨表,其定义为在先将一些方块打包成群,然后要求各群的方块必须填入相同数字。
斜杨表
编辑![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Skew_tableau_5422-21.svg/150px-Skew_tableau_5422-21.svg.png)
给定两个杨图 λ=(λ1, λ2 ...)、μ=(μ1, μ2 ...),满足 λ 包含 μ,即 μi≤λi 对所有 i。定义斜杨图 λ/μ 为 λ 中的所有方格扣掉 μ 中的所有方格,也就是 λ 差集 μ,在斜杨图的各方格中填入元素则形成斜杨表。同理,若满足同一-{zh-hans:列; zh-hant:行;}-中的数字严格递增,且同一-{zh-hans:行; zh-hant:列;}-中的数字单调递增,则该斜杨表被称作半标准的;若半标准的斜杨表满足各方格不重复的填入数字 1 到 n,其中 n 是斜杨表所含的方格数,则该斜杨表被称作标准的。注意到不同的 λ 和 μ 可以给出相同的 λ/μ,而且大部分斜杨表的性质都只依赖于差集完的方格,但是仍然有作用在斜杨表运算依赖于 λ 和 μ 的选取。因此,λ/μ 必须被视为包含两个资讯:λ 和 μ,纵使两个斜杨表有相同形状的方格排列,方格中填入的元素也相同,他们仍然可能是不同的。当 μ 是空分拆 (0 的唯一一种分拆) 时,斜杨表 λ/μ 就变成杨表 λ。
一个标准的斜杨表 λ/μ 可以被视为一个整数分拆的序列,起始于 μ,每次增加一个方格,最后一个是 λ,更精确一点来说,该序列第 i 个分拆是 μ 联集所有的方格满足它里面的数字 ≤i。若 λ/μ 只是半标准的,仍可被视为是一个整数分拆的序列,但每次增加的方格数可能多于一个,根据半标准杨表的定义,在同一-{zh-hans:列; zh-hant:行;}-中每次至多增加一个方格,而这个形状被称作水平条。该序列完全决定了 λ/μ 与各方格填入的数字,所以也有作者以此来当作(半)标准杨表的定义,例如伊恩·G·麦唐诺[2]。此定义包含了 λ、μ 和所有方格中的资讯。
杨表应用的概述
编辑杨表经常应用于在组合学、表示理论和代数几何中,各种不同的计算杨表个数的方法给出舒尔函数的定义以及相关的恒等式。此外,许多关于杨表的组合算法已经被发现了,例如 Schützenberger 提出的 jeu de taquin 以及 RSK 对应。Lascoux 和 Schützenberger 研究一个定义在半标准杨表上面的乘积,该乘积满足结合律,并且给出一个称为 le monoïde plaxique (法语) 的结构。
参考文献
编辑̼
[[Category:有未审阅翻译的页面]]
- ^ Macdonald, Ian. Symmetric Functions and Hall Polynomials (PDF). Oxford University Press. 12月22日: 2. ISBN 978-0198739128.
- ^ Macdonald, Ian. Symmetric Functions and Hall Polynomials (PDF). Oxford University Press. 12月22日: 2, 4. ISBN 978-0198739128.