有限阶矩阵的同时块对角化

众所周知，一组非亏损矩阵可同时对角化当且仅当这些矩阵对易。对于不对易矩阵，所能达到的最好结果是同时块对角化。此处我们给出一种高效算法，显式计算一个转移矩阵，该矩阵实现已知不可约块（公共不变子空间）分解的西矩阵的同时块对角化。我们的主要动机来自粒子物理，其中所得转移矩阵必须显式已知，以便明确确定宇称、电荷共轭或时间反演等外自同构在粒子谱上的作用。