再来一个难题：理论上量子纠缠是量子计算必需的吗？

[forecasting]

如果一个量子算法只用到了线性叠加，而没有用到量子纠缠（密度矩阵不能直积化），那么这个算法应该可以做经典模拟。 因为经典波本身就可以线性叠加。

那就是理论上量子纠缠是量子计算必需的。你把一个open问题关掉了。检查一下你这些推理有没有问题。