该论文系统研究了AES类密码中线性层（特别是MDS矩阵）在相关差分密码分析中的安全性。相关差分是一种利用两个差分在加密过程中的关联性来降低攻击复杂度的技术。Daemen和Rijmen（2009）指出，即使满足最大分支数（MDS性质），线性层仍可能存在相关差分结构；Bardeh和Rijmen（2022）展示了如何在简化轮AES中利用该现象发起攻击。本文旨在从理论上刻画线性层避免或存在相关差分的条件。首先，作者证明任意非MDS矩阵一定存在非平凡的相关差分对，从而表明MDS性质是避免相关差分的必要条件。紧接着，证明了所有奇数阶对称MDS矩阵都存在相关差分，这排除了大量基于Cauchy矩阵的构造。对于循环矩阵，作者强化了已知结果：当阶数n满足n ≡ ±2 (mod 12)时，循环矩阵才可能避免相关差分；否则必然存在相关差分。最后，论文将焦点缩小到3×3 MDS矩阵（定义在F_{2^m}上），给出了一个显式的充要条件——包含15个多项式约束——用于判断矩阵是否完全免于相关差分。这些结果为密码算法设计者提供了明确的指导：在选用线性层时，不仅需要满足MDS性质，还需避开对称、循环等高危矩阵类别，或通过额外散射操作来消除潜在弱点。论文通过代数证明和分类，完善了相关差分分析的理论基础，对评估和改进AES类密码的安全性具有重要意义。