该团队解决了Yu等人提出的一个纠缠理论中的开放问题(《自然·通讯》12, 1012 (2021)。该问题要求通过纠缠目击者证明$14$量子比特态$Φ_{\text{E8}}$是纠缠的。受量子编码方法的启发,该团队将对称扩展与矩矩阵相结合,证明了$Φ_{\text{E8}}$是纠缠的。该证明以半定规划的有理不可行性证书形式呈现,并给出了一个显式的纠缠目击者。该工作统一并扩展了此前涉及泡利反对易图Lovász theta数的若干方法,有望在进一步应用中具有良好的可扩展性和灵活性。