Graphical description of the action of local Clifford transformations on graph states
Maarten Van den Nest, Jeroen Dehaene, Bart De Moor
备注：
8 pages, 1 figure. Former title: "The evolution of graph states under local Clifford operations as graph transformations". Replaced with revised version. Minor changes. To appear in Phys. Rev. A
We translate the action of local Clifford operations on graph states into transformations on their associated graphs - i.e. we provide transformation rules, stated in purely graph theoretical terms, which completely characterize the evolution of graph states under local Clifford operations. As we will show, there is essentially one basic rule, successive application of which generates the orbit of any graph state under local unitary operations within the Clifford group.
Clifford Manipulations of Stabilizer States: A graphical rule book for Clifford unitaries and measurements on cluster states, and application to photonic quantum computing
NSF-ERC Center for Quantum Networks, Wyant College of Optical Sciences, The University of Arizona（亚利桑那大学怀特光学科学学院量子网络 NSF-ERC 中心）
In this article, we develop an algebraic framework of axioms which abstracts various high-level properties of multi-qudit representations of generalized Clifford algebras. We further construct an explicit model and prove that it satisfies these axioms. Strengths of our algebraic framework include the minimality of its assumptions, and the readiness by which one may give an explicit construction satisfying these assumptions. In terms of applications, this algebraic framework provides a solid foundation which opens the way for developing a graphical calculus for multi-qudit representations of ge…
Graph states are quantum states that can be described by a stabilizer formalism and play an important role in quantum information processing. We consider the action of local unitary operations on graph states and hypergraph states. We focus on non-Clifford operations and find for certain transformations a graphical description in terms of weighted hypergraphs. This leads to the indentification of hypergraph states that are locally equivalent to graph states. Moreover, we present a systematic way to construct pairs of graph states which are equivalent under local unitary operations, but not equ…
The ZX-calculus is a graphical calculus for reasoning about pure state qubit quantum mechanics. It is complete for pure qubit stabilizer quantum mechanics, meaning any equality involving only stabilizer operations that can be derived using matrices can also be derived pictorially. Stabilizer operations include the unitary Clifford group, as well as preparation of qubits in the state |0>, and measurements in the computational basis. For general pure state qubit quantum mechanics, the ZX-calculus is incomplete: there exist equalities involving non-stabilizer unitary operations on single qubits w…
Hypergraph states form a family of multiparticle quantum states that generalizes cluster states and graph states. We study the action and graphical representation of nonlocal unitary transformations between hypergraph states. This leads to a generalization of local complementation and graphical rules for various gates, such as the CNOT gate and the Toffoli gate. As an application, we show that already for five qubits local Pauli operations are not sufficient to check local equivalence of hypergraph states. Furthermore, we use our rules to construct entanglement witnesses for three-uniform hype…
We introduce a new family of models for measurement-based quantum computation which are deterministic and approximately universal. The resource states which play the role of graph states are prepared via 2-qubit gates of the form $\exp(-i\fracπ{2^{n}} Z\otimes Z)$. When $n = 2$, these are equivalent, up to local Clifford unitaries, to graph states. However, when $n > 2$, their behaviour diverges in two important ways. First, multiple applications of the entangling gate to a single pair of qubits produces non-trivial entanglement, and hence multiple parallel edges between nodes play an importan…
ZX-calculus is a high-level graphical formalism for qubit computation. In this paper we give the ZX-rules that enable one to derive all equations between 2-qubit Clifford+T quantum circuits. Our rule set is only a small extension of the rules of stabilizer ZX-calculus, and substantially less than those needed for the recently achieved universal completeness. One of our rules is new, and we expect it to also have other utilities. These ZX-rules are much simpler than the complete of set Clifford+T circuit equations due to Selinger and Bian, which indicates that ZX-calculus provides a more conven…
We construct new families of spin chain Hamiltonians that are local, integrable and translationally invariant. To do so, we make use of the Clifford group that arises in quantum information theory. We consider translation invariant Clifford group transformations that can be described by matrix product operators (MPOs). We classify the translation invariant Clifford group transformations that consist of a shift operator and an MPO of bond dimension two -- this includes transformations that preserve locality of all Hamiltonians; as well as those that lead to non-local images of particular operat…
In this paper we describe a novel, graphical method, allowing the fast computation of field operator transformations for linear lossless optical devices in Quantum Optics (QO). The advantage of this method grows with the complexity of the considered optical setup. As case studies we examine the field operator transformations for the beam splitter (BS), the Mach-Zehnder interferometer (MZI) and the double MZI. We consider the simple case with monochromatic input light, as well as extensions to the non-monochromatic case.
Stabilizer states and graph states find application in quantum error correction, measurement-based quantum computation and various other concepts in quantum information theory. In this work, we study party-local Clifford (PLC) transformations among stabilizer states. These transformations arise as a physically motivated extension of local operations in quantum networks with access to bipartite entanglement between some of the nodes of the network. First, we show that PLC transformations among graph states are equivalent to a generalization of the well-known local complementation, which describ…
Chiral symmetry provides the symmetry protection for a large class of topological edge states. It exists in non-Hermitian systems as well, and the same anti-commutation relation between the Hamiltonian and a linear chiral operator, i.e., $\{H,Π\}=0$, now warrants a symmetric spectrum about the origin of the complex energy plane. Here we show two general approaches to identify and generate chiral symmetry in non-Hermitian systems, with an emphasis on lattices with detuned on-site potentials that can vary in both their real and imaginary parts. One approach utilizes the Clifford algebra satisfie…
Local unitary versus local Clifford equivalence of stabilizer and graph states
局域变换下稳定态的等价性对于理解纠缠的性质和应用具有重要意义。两个稳定器状态在通常的随机局部操作和经典通信准则下是等价的当且仅当它们在局部酉（LU）操作下是等价的。更令人惊讶的是，在某些条件下，两个LU等效稳定子状态在局部Clifford（LC）操作下也是等效的，如Van den Nest等人[\textbf{A71}，062323]所示。在这里，我们扩大了一类的稳定状态的LU等价意味着LC等价（$LU\Leftrightarrow LC$），包括所有的稳定状态表示的图既没有周期的长度为3或4。与Van den Nest等的结果进行比较。的条件下，我们证明了任何距离为$δ=2$的稳定态都超出了他们的判据。然后，我们进一步证明了$LU\Leftrightarrow LC$适用于$δ=2$的更一般类别的稳定态。我们还明确地构建图形表示$δ>2$稳定剂状态，超出了他们的标准：我们确定所有58个图形与多达11个顶点，并构建图形与$2^m-1$（$m\geq 4$）顶点使用量子纠错码具有非Clifford横向门。
We provide a unified graphical calculus for all Gaussian pure states, including graph transformation rules for all local and semi-local Gaussian unitary operations, as well as local quadrature measurements. We then use this graphical calculus to analyze continuous-variable (CV) cluster states, the essential resource for one-way quantum computing with CV systems. Current graphical approaches to CV cluster states are only valid in the unphysical limit of infinite squeezing, and the associated graph transformation rules only apply when the initial and final states are of this form. Our formalism …
We introduce a class of 3D color codes, which we call stacked codes, together with a fault-tolerant transformation that will map logical qubits encoded in two-dimensional (2D) color codes into stacked codes and back. The stacked code allows for the transversal implementation of a non-Clifford $π/8$ logical gate, which when combined with the logical Clifford gates that are transversal in the 2D color code give a gate set which is both fault-tolerant and universal without requiring nonstabilizer magic states. We then show that the layers forming the stacked code can be unfolded and arranged in a…
Computational Complexity of Clifford Template Compilation: Are Quantum Computers Useful for Compiling Quantum Circuits?
Graduate School of Informatics, Kyoto University（京都大学大学院情报学府）；Graduate School of Engineering Science, Osaka University（大阪大学工学研究科）；Center for Quantum Information and Quantum Biology, Osaka University（大阪大学量子信息与量子生物学中心）；RIKEN Center for Quantum Computing (RQC)（理化学研究所量子计算中心）
We present a completely new approach to quantum circuit optimisation, based on the ZX-calculus. We first interpret quantum circuits as ZX-diagrams, which provide a flexible, lower-level language for describing quantum computations graphically. Then, using the rules of the ZX-calculus, we give a simplification strategy for ZX-diagrams based on the two graph transformations of local complementation and pivoting and show that the resulting reduced diagram can be transformed back into a quantum circuit. While little is known about extracting circuits from arbitrary ZX-diagrams, we show that the un…
Building upon our previous work, on graphical representation of a quantum state by signless Laplacian matrix, we pose the following question. If a local unitary operation is applied to a quantum state, represented by a signless Laplacian matrix, what would be the corresponding graph and how does one implement local unitary transformations graphically? We answer this question by developing the notion of local unitary equivalent graphs. We illustrate our method by a few, well known, local unitary transformations implemented by single-qubit Pauli and Hadamard gates. We also show how graph switchi…
