杨氏矩阵

定义

注意：本条目使用英式画法来展示杨图及杨表。

杨图

杨图由有限多个相邻的方格排列而成，其中，各横行的左边对齐，长度由下而上递增。有时会用其他的符号代替方块，特别的。当使用圆点代替，该图被称作费瑞尔图。若将杨图的各行的方格数列出，则形成总方格数n 的一个整数分拆 λ。因此，此图可以被视为是λ 的形状，因为它和λ 携带了相同的资讯。杨图之间的包含关系定义出整数分拆上的一个偏序关系，此关系拥有格的结构，称作杨氏方格。若将杨图的各列的方格数列出，会形成整数分拆 λ 的“共轭分拆”，或称“转置分拆”，它所对应到的杨图可由原本的杨图沿主对角线作镜射对称而得。
给定一个杨图，各方格的位置由两个座标决定，分别是行数与列数，列的顺序是由左往右数，行的顺序则是按照所包含的方格数由多的往少的方向数，此处牵涉到杨图的两种常见画法。第一种画法常用于法语世界，将各行由大到小一层一层往上叠，称为法式画法，第二种画法常用于英语世界，将方格数较少的行排在方格数较多的行的下方，称为英式画法。例如，在伊恩·G·麦唐诺著作《对称函数与赫尔多项式》建议习惯法式画法的读者将书放在镜子中上下颠倒来看。英式画法的思维与矩阵雷同，而法式画法则比较接近笛卡尔坐标系，不过，法式画法中对于方格的位置习惯先写纵坐标。例如，右图表示的，是 10 的整数分拆(5, 4, 1) 对应的杨图，而它的共轭分拆(3, 2, 2, 2, 1) 则代表着各列的方格数。

勾长、臂长和腿长

在许多理论及应用中，勾长扮演非常重要的角色。给定一个整数分拆λ，以及 λ 中的一个方格□，其“臂长” aλ(□) 定义成□ 正右方的方格数，“腿长” lλ(□) 正上方的方格数(腿长的名称来源自英式画法) ，“勾长” hλ(□) 定义为aλ(s)+lλ(s)+1。

变体

半标准杨表有许多变体，例如行严格杨表要求同一行中的数字严格递增，且同一列中的数字单调递增，也就是列严格杨表的共轭。此外，在平面分拆的理论中，往往习惯考虑将上述的定义中的递增改为递减。其他变体例如带状杨表，其定义为在先将一些方块打包成群，然后要求各群的方块必须填入相同数字。

斜杨表

给定两个杨图λ=(λ₁, λ₂ ...)、μ=(μ₁, μ₂ ...)，满足 λ 包含 μ，即 μᵢ≤λᵢ 对所有i。定义“斜杨图” λ/μ 为 λ 中的所有方格扣掉μ 中的所有方格，也就是λ 差集 μ，在斜杨图的各方格中填入元素则形成“斜杨表”。同理，若满足同一列中的数字严格递增，且同一行中的数字单调递增，则该斜杨表被称作半标准的；若半标准的斜杨表满足各方格不重复的填入数字1 到 n，其中 n 是斜杨表所含的方格数，则该斜杨表被称作标准的。注意到不同的λ 和 μ 可以给出相同的λ/μ，而且大部分斜杨表的性质都只依赖于差集完的方格，但是仍然有作用在斜杨表运算依赖于λ 和 μ 的选取。因此，λ/μ 必须被视为包含两个资讯：λ 和 μ，纵使两个斜杨表有相同形状的方格排列，方格中填入的元素也相同，他们仍然可能是不同的。当 μ 是空分拆(0 的唯一一种分拆) 时，斜杨表λ/μ 就变成杨表λ。
一个标准的斜杨表λ/μ 可以被视为一个整数分拆的序列，起始于μ，每次增加一个方格，最后一个是λ，更精确一点来说，该序列第i 个分拆是μ 联集所有的方格满足它里面的数字≤i。若 λ/μ 只是半标准的，仍可被视为是一个整数分拆的序列，但每次增加的方格数可能多于一个，根据半标准杨表的定义，在同一列中每次至多增加一个方格，而这个形状被称作“水平条”。该序列完全决定了λ/μ 与各方格填入的数字，所以也有作者以此来当作(半)标准杨表的定义，例如伊恩·G·麦唐诺。此定义包含了λ、μ 和所有方格中的资讯。

杨表应用的概述

杨表经常应用于在组合学、表示理论和代数几何中，各种不同的计算杨表个数的方法给出舒尔函数的定义以及相关的恒等式。此外，许多关于杨表的组合算法已经被发现了，例如 Schützenberger 提出的jeu de taquin 以及 RSK 对应。Lascoux 和 Schützenberger 研究一个定义在半标准杨表上面的乘积，该乘积满足结合律，并且给出一个称为le monoïde plaxique (法语) 的结构。

在表示理论的应用

给定一个杨表πλ ，一共有n个方格。那么把1到n这n个数字填到这个杨表中，使得每行从左到右都是递增的，每列从下到上也是递增的。用 dimπλ 表示这样的方法个数，如图，这个这种填写数字中的一种。我们有下面的勾长公式。

勾长

对于杨表中的一个方格v，其勾长hook(v)等于同行右边的方格数加上同列上面的方格数，再加上1（也就是他自己）。