稳定子张量网络：基于稳定子态的通用量子模拟器

量子计算机的高效模拟依赖于对量子态性质的理解与利用。基于纠缠的张量网络方法和表示稳定子态的表格形式化方法便是如此。在这项工作中，我们整合了这两种方法，提出了用于 Clifford 电路模拟的表格形式化方法的推广。我们明确证明了如何使用 Clifford 门、非 Clifford 门和测量来更新我们的形式化方法，从而实现通用电路模拟。我们还讨论了该框架如何允许对更多态进行高效模拟，并就张量网络的表示能力以及纠缠和魔态等资源的量子特性提出了一些有趣的问题，并通过模拟来支持我们的论断。