量子科技中心_量科网

该研究团队提出了一套针对四阶复矩阵块正定性的有效充要条件判定方法。该方法建立在斯特姆序列和近期文献中提出的四次多项式正定性条件基础上，能够精确判定给定4×4复矩阵是否对应纠缠见证者，当矩阵系数属于有理数域并扩展虚数单位i时具有严格准确性。该工作还将此方法推广至2⊗d（d>2）量子系统，给出了块正定性的必要非充分条件。此外，研究人员基于Gröbner基理论勾勒了解决该问题的替代路径。