arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1807.10296quant-ph
收藏

幻数的鲁棒性与稳定多面体的对称性

Robustness of Magic and Symmetries of the Stabiliser Polytope

Markus Heinrich, David Gross

摘要:

我们给出了一个新的算法来计算魔术的鲁棒性-一种衡量量子态作为计算资源的效用的方法。我们的工作是基于容错量子计算的魔态模型。在这个模型中,所有幺正都属于克利福德群。非克利福德操作通过注入非稳定器状态来实现,在此上下文中,非稳定器状态被称为幻态。魔术的鲁棒性度量使用经典蒙特卡罗算法模拟这样的电路的复杂性。它与度负性密切相关,度负性通过臭名昭著的符号问题减慢了蒙特卡罗模拟。令人惊讶的是,魔术的鲁棒性是亚乘法的。这意味着经典的模拟开销随着注入的魔法状态的数量呈次指数级增长-比天真的分析所建议的要好。然而,确定一个幻态的n个副本的鲁棒性是困难的,因为它的定义涉及到一个4^n维空间中的凸优化问题。在本文中,我们利用固有的对称性,以减少问题的n维。我们的算法的总运行时间,而仍然指数n,是超多项式比以前公布的方法更快。我们提供了一个计算机实现,并给出了最常用的魔术状态的10个副本的鲁棒性。在精确结果的指导下,我们找到了一个有限的近似解的层次,每个层次可以在多项式时间内进行评估,并产生严格的鲁棒性上限。从技术上讲,我们使用的稳定多面体的对称性连接魔术的鲁棒性的几何形状的低维凸多面体所产生的某些有符号的量子重量计数器。作为一个副产品,我们的特点是自同构群的稳定多面体,更一般地说,投影到复杂的投影3-设计。

英文摘要:

We give a new algorithm for computing the robustness of magic - a measure of the utility of quantum states as a computational resource. Our work is motivated by the magic state model of fault-tolerant quantum computation. In this model, all unitaries belong to the Clifford group. Non-Clifford operations are effected by injecting non-stabiliser states, which are referred to as magic states in this context. The robustness of magic measures the complexity of simulating such a circuit using a classical Monte Carlo algorithm. It is closely related to the degree negativity that slows down Monte Carlo simulations through the infamous sign problem. Surprisingly, the robustness of magic is submultiplicative. This implies that the classical simulation overhead scales subexponentially with the number of injected magic states - better than a naive analysis would suggest. However, determining the robustness of n copies of a magic state is difficult, as its definition involves a convex optimisation problem in a 4^n-dimensional space. In this paper, we make use of inherent symmetries to reduce the problem to n dimensions. The total run-time of our algorithm, while still exponential in n, is super-polynomially faster than previously published methods. We provide a computer implementation and give the robustness of up to 10 copies of the most commonly used magic states. Guided by the exact results, we find a finite hierarchy of approximate solutions where each level can be evaluated in polynomial time and yields rigorous upper bounds to the robustness. Technically, we use symmetries of the stabiliser polytope to connect the robustness of magic to the geometry of a low-dimensional convex polytope generated by certain signed quantum weight enumerators. As a by-product, we characterised the automorphism group of the stabiliser polytope, and, more generally, of projections onto complex projective 3-designs.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑