[论文解读] Block diagonalization for algebra's associated with block codes

Dion Gijswijt|ArXiv.org|Oct 23, 2009

Finite Group Theory Research参考文献 7被引用 9

一句话总结

本文提出了一种计算高效的块对角化方法，用于与块码相关的矩阵 *-代数，特别是形式为 $Δ^n(Δ)$ 的代数，其中 $Δ$ 是一个矩阵 *-代数。通过利用对称群的表示理论以及给定的 $Δ$ 的块对角化，该方法在多项式时间内构造出 $Δ = Δ^n(Δ)$ 的块对角化，从而在编码理论应用中显著降低了半定规划的复杂度。

ABSTRACT

For a matrix *-algebra B, consider the matrix *-algebra A consisting of the symmetric tensors in the n-fold tensor product of B. Examples of such algebras in coding theory include the Bose-Mesner algebra and Terwilliger algebra of the (non)binary Hamming cube, and algebras arising in SDP-hierarchies for coding bounds using moment matrices. We give a computationally efficient block diagonalization of A in terms of a given block diagonalization of B, and work out some examples, including the Terwilliger algebra of the binary- and nonbinary Hamming cube. As a tool we use some basic facts about representations of the symmetric group.

研究动机与目标

• 开发一种计算高效的块对角化方法，用于编码理论中出现的矩阵 *-代数，特别是那些在对称群作用下不变的代数。
• 通过块对角化利用对称性，降低用于代码界估计的半定规划（SDP）的复杂度。
• 提供一种显式、多项式时间的算法，用于在给定 $Δ$ 的块对角化前提下，对 $Δ^n(\mathcal{B})$ 进行块对角化。
• 确保当 $Δ$ 定义在有理数或实数上时，所得的块对角化也保持有理数或实数结构，最多仅需有理数的平方根缩放。
• 将该方法应用于关键的编码理论代数，包括非二元汉明方案的 Terwilliger 代数和 Bose-Mesner 代数。

提出的方法

• 该方法利用对称群 $S_n$ 的表示理论，将对称张量幂 $Δ^n(\mathcal{B})$ 分解为不可约分量。
• 通过提升已知的 $Δ$ 的块对角化，利用杨对称化子和 Schur-Weyl 对偶性，构造一个 *-同构 $\phi: \mathcal{A} \to \bigoplus_i \mathbb{C}^{p_i \times p_i}$。
• 块结构由 $Δ^{\otimes n}$ 在 $S_n$ 的不可约表示下的分解决定，其中对称子空间 $Δ^n(\mathcal{B})$ 对应于平凡表示。
• 变换涉及使用来自特征理论和内积公式推导出的二项式与多项式表达式来计算系数。
• 该方法确保若 $Δ$ 定义在 $\mathbb{Q}$ 或 $\mathbb{R}$ 上，则所得的块对角化也定义在 $\mathbb{Q}$ 或 $\mathbb{R}$ 上，最多仅需有理数的平方根缩放。
• 推导出 $Δ$ 的块对角化的显式公式，包括用多项式系数和原始代数 $Δ$ 的参数表示块条目。

实验结果

研究问题

• RQ1 如何以计算高效的方式，将矩阵 *-代数 $Δ$ 的块对角化提升为 $Δ^n(\mathcal{B})$ 的块对角化？
• RQ2 对称群 $S_n$ 的表示理论在编码理论中分解矩阵代数的对称张量幂时起到什么作用？
• RQ3 能否以相对于 $Δ$ 和 $n$ 大小的多项式时间计算 $Δ^n(\mathcal{B})$ 的块对角化？
• RQ4 当 $Δ$ 定义在 $\mathbb{Q}$ 或 $\mathbb{R}$ 上时，块对角化如何保持代数结构（例如条目的有理性或实性）？
• RQ5 该方法在多大程度上减少了用于推导纠错码界所用的半定规划的规模？

主要发现

• 从给定的 $Δ$ 的块对角化出发，$Δ = Δ^n(\mathcal{B})$ 的块对角化可在多项式时间内计算，从而在编码理论中实现高效的 SDP 简化。
• 该方法产生一个 *-同构 $\psi: \mathcal{A} \to \bigoplus_i \mathbb{C}^{p_i \times p_i}$，保持半正定性和同构结构。
• 对于二元汉明立方体，该方法恢复了 Schrijver 之前发现的 Terwilliger 代数的块对角化，确认了一致性。
• 对于 $q \geq 3$ 的非二元汉明方案，该方法给出了 Terwilliger 代数 $Δ_{q,n}$ 的块对角化，与文献 [1] 中已知结果一致，并提供了块条目的显式公式。
• 所得的块对角化尊重代数结构：若 $Δ$ 定义在 $\mathbb{Q}$ 或 $\mathbb{R}$ 上，则 $Δ$ 也定义在 $\mathbb{Q}$ 或 $\mathbb{R}$ 上，后者情况最多仅需有理数的平方根。
• 块分解通过从 $w = 0$ 到 $n$ 的分拆索引的直和显式给出，块条目由多项式系数和 $Δ$ 的参数决定。