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

对角栅诱导的量子信道设计

Designing the Quantum Channels Induced by Diagonal Gates

Jingzhen Hu, Qingzhong Liang, Robert Calderbank

摘要:

量子计算的挑战是将错误恢复与通用计算相结合。诸如横向$T$门的对角门在实现量子操作的通用集合中起重要作用。本文介绍了一个框架,描述了准备代码状态的过程中,应用对角物理门,测量代码的综合症,并应用泡利校正,可能取决于测量的综合症(平均逻辑通道引起的任意对角门)。它重点关注CSS代码,并根据诱导逻辑运算符确定的生成器系数来描述代码状态和物理门的相互作用。代码状态和对角门的相互作用非常强烈地依赖于CSS代码中的$Z$ -稳定器的符号,并且所提出的生成器系数框架明确地包括该自由度。本文导出了任意对角门保持稳定码码空间的充要条件,并给出了诱导逻辑算子的显式表达式。当对角门是二次型对角门(由Rengaswamy等人引入)时,这些条件可以用确定CSS码的两个经典码中的权重的可分性来表示。这些代码可以应用于魔法状态蒸馏和其他地方。当所有符号都为正时,本文通过推导$l$的充分必要约束,刻画了由经典Reed-Muller码构造的所有可能的CSS码,这些CSS码在通过$π/2^l$的$Z$ -旋转下是不变的.生成器系数框架扩展到任意稳定器代码,但没有得到考虑更一般的类的非退化稳定器代码。

英文摘要:

The challenge of quantum computing is to combine error resilience with universal computation. Diagonal gates such as the transversal $T$ gate play an important role in implementing a universal set of quantum operations. This paper introduces a framework that describes the process of preparing a code state, applying a diagonal physical gate, measuring a code syndrome, and applying a Pauli correction that may depend on the measured syndrome (the average logical channel induced by an arbitrary diagonal gate). It focuses on CSS codes, and describes the interaction of code states and physical gates in terms of generator coefficients determined by the induced logical operator. The interaction of code states and diagonal gates depends very strongly on the signs of $Z$-stabilizers in the CSS code, and the proposed generator coefficient framework explicitly includes this degree of freedom. The paper derives necessary and sufficient conditions for an arbitrary diagonal gate to preserve the code space of a stabilizer code, and provides an explicit expression of the induced logical operator. When the diagonal gate is a quadratic form diagonal gate (introduced by Rengaswamy et al.), the conditions can be expressed in terms of divisibility of weights in the two classical codes that determine the CSS code. These codes find application in magic state distillation and elsewhere. When all the signs are positive, the paper characterizes all possible CSS codes, invariant under transversal $Z$-rotation through $π/2^l$, that are constructed from classical Reed-Muller codes by deriving the necessary and sufficient constraints on $l$. The generator coefficient framework extends to arbitrary stabilizer codes but there is nothing to be gained by considering the more general class of non-degenerate stabilizer codes.

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

↑