arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1409.3208quant-phcs.CCmath-phmath.MP
收藏

无穷维系统的正规化电路和Gottesman-Knill定理

Normalizer circuits and a Gottesman-Knill theorem for infinite-dimensional systems

Juan Bermejo-Vega, Cedric Yen-Yu Lin, Maarten Van den Nest

摘要:

$\textit{Normalizer circuits}$ [1,2]是作用于任意有限维系统$\mathcal{H}_{d_1}\otimes ... \otimes \mathcal{H}_{d_n}$的广义Clifford回路,其标准基由有限阿贝尔群$G=\mathbb{Z}_{d_1}\times... \times \mathbb{Z}_{d_n}$的元素标记.规范化器门实现与群$G$相关联的操作,并且可以有三种类型:量子傅里叶变换、群自同构门和二次相位门。在这项工作中,我们扩展了规范化形式[1,2]到无限维,通过允许规范化门作用于形式为$\mathcal{H}_\mathbb{Z}^{\otimes a}$的系统:每个因子$\mathcal{H}_\mathbb{Z}$具有标记为$\textit{integers}$ $\mathbb{Z}$的标准基和标记为$\textit{angles}$的傅立叶基,圆群$\mathbb{T}$的元素。规范化电路成为混合量子电路,既作用于连续变量系统,又作用于离散变量系统。我们表明,无限维规范电路可以有效地模拟经典的广义$\textit{stabilizer formalism}$希尔伯特空间与组的形式$\mathbb{Z}^a\times \mathbb{T}^b \times \mathbb{Z}_{d_1}\times...\times \mathbb{Z}_{d_n}$。我们开发了新的技术来跟踪稳定组的基础上正常形式的组自同构和二次函数。我们使用我们的正规形式,以减少模拟正规化电路的问题,找到混合实整数线性方程组的系统的一般解决方案[3],并利用这一事实来设计一个强大的模拟算法:后者仍然有效,即使在病态的情况下,稳定器组成为无限的,不可数的和非紧凑的。本文中开发的技术可能会在超导量子比特容错量子计算的研究中找到应用[4,5]。

英文摘要:

$\textit{Normalizer circuits}$ [1,2] are generalized Clifford circuits that act on arbitrary finite-dimensional systems $\mathcal{H}_{d_1}\otimes ... \otimes \mathcal{H}_{d_n}$ with a standard basis labeled by the elements of a finite Abelian group $G=\mathbb{Z}_{d_1}\times... \times \mathbb{Z}_{d_n}$. Normalizer gates implement operations associated with the group $G$ and can be of three types: quantum Fourier transforms, group automorphism gates and quadratic phase gates. In this work, we extend the normalizer formalism [1,2] to infinite dimensions, by allowing normalizer gates to act on systems of the form $\mathcal{H}_\mathbb{Z}^{\otimes a}$: each factor $\mathcal{H}_\mathbb{Z}$ has a standard basis labeled by $\textit{integers}$ $\mathbb{Z}$, and a Fourier basis labeled by $\textit{angles}$, elements of the circle group $\mathbb{T}$. Normalizer circuits become hybrid quantum circuits acting both on continuous- and discrete-variable systems. We show that infinite-dimensional normalizer circuits can be efficiently simulated classically with a generalized $\textit{stabilizer formalism}$ for Hilbert spaces associated with groups of the form $\mathbb{Z}^a\times \mathbb{T}^b \times \mathbb{Z}_{d_1}\times...\times \mathbb{Z}_{d_n}$. We develop new techniques to track stabilizer-groups based on normal forms for group automorphisms and quadratic functions. We use our normal forms to reduce the problem of simulating normalizer circuits to that of finding general solutions of systems of mixed real-integer linear equations [3] and exploit this fact to devise a robust simulation algorithm: the latter remains efficient even in pathological cases where stabilizer groups become infinite, uncountable and non-compact. The techniques developed in this paper might find applications in the study of fault-tolerant quantum computation with superconducting qubits [4,5].

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

↑