在一篇开创性论文中，Higuchi和Sudbery证明四量子比特的纯态无法在所有二分划上达到最大纠缠态。此类态现被称为“绝对最大纠缠态”（AME态）。该研究团队通过不变量理论、编码理论方法，以及线性代数基本性质（如泡利对易关系），给出了四量子比特AME态不存在的系列证明，包含新旧多种论证方法。
