我正在寻找采用由位组成的加权经典状态之和组成的任意量子态的算法，如下所示：
|0000>/2 - |0011>/2 + |0100>/2 - |0111>/2
并使用张量积将其分解为更紧凑的形式，如下所示：
|0> x (|0> + |1>) x (|00> - |11>) / 2
我想使用该算法作为可视化/简化（模拟）量子电路状态的一种方式。
对于单个量子位，我知道我可以将所有状态与位翻转的状态配对，并检查每对状态之间是否具有相同的 x:y 关系。在上面的示例中，翻转第二位始终会给出权重为 1:1 的状态，因此第二位因式分解为 (1|0> + 1|1>)。
但是扩展该方法来检测纠缠位（如示例中的第三个和第四个）会导致它至少需要Ω(n^c)时间（可能更多，我还没有想清楚），其中n是状态的数量并且c是纠缠位数。自从n随着位数的增加，它已经呈指数级增长……这并不理想。
有更好的算法吗？表示更容易从/到分解？改变基础有多大用处？论文链接会很棒。
看起来高效的算法会很困难：
From 维基百科 http://en.wikipedia.org/wiki/Separable_state#Separability_criterion:
判定一个状态一般是否可分的问题是
有时称为量子信息中的可分离性问题
理论。这被认为是一个难题。已经显示了
是 NP 困难的。
Gurvits, L.，埃德蒙兹问题和量子纠缠的经典确定性复杂性，第 35 届 ACM 计算理论研讨会论文集，ACM 出版社，纽约，2003 年。
Sevag Gharibian，量子可分离性问题的强 NP 难度，量子信息与计算，卷。 10，第 3 期和第 4 期，第 343-360 页，2010 年。arXiv:0810.4507
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
