Following the spirit of a recent work of one of the authors (J. Phys. A: Math. Theor. 44 (2011) 045301), the essential structure of the generalized Pauli group of a qubit-qu$d$it, where $d = 2^{k}$ and an integer $k \geq 2$, is recast in the language of a finite geometry. A point of such geometry is represented by the maximum set of mutually commuting elements of the group and two distinct points are regarded as collinear if the corresponding sets have exactly $2^{k} - 1$ elements in common. The geometry comprises $2^{k} - 1$ copies of the generalized quadrangle of order two ("the doily") that form $2^{k-1} - 1$ pencils arranged into a remarkable nested configuration. This nested structure reflects the fact that maximum sets of mutually commuting elements are of two different kinds (ordinary and exceptional) and exhibits an intriguing alternating pattern: the subgeometry of the exceptional points of the $(k+2)$-case is found to be isomorphic to the full geometry of the $k$-case. It should be stressed, however, that these generic properties of the qubit-qudit geometry were inferred from purely computer-handled cases of $k = 2, 3, 4$ and 5 only and, therefore, their rigorous, computer-free proof for $k \geq 6$ still remains a mathematical challenge.
We prove that on any two-dimensional lattice of qudits of a prime dimension, every translation invariant Pauli stabilizer group with local generators and with code distance being the linear system size, is decomposed by a local Clifford circuit of constant depth into a finite number of copies of the toric code (abelian discrete gauge theory) stabilizer group. This means that under local Clifford circuits the number of toric code copies is the complete invariant of topological Pauli stabilizer codes. Previously, the same conclusion was obtained under the assumption of nonchirality for qubit cod…
It is important for performance studies in quantum technologies to analyze quantum circuits in the presence of noise. We introduce an error probability tensor, a tool to track generalized Pauli error statistics of qudits within quantum circuits composed of qudit Clifford gates. Our framework is compatible with qudit stabilizer quantum error-correcting codes. We show how the error probability tensor can be applied in the most general case, and we demonstrate an error analysis of bipartite qudit repeaters with quantum error correction. We provide an exact analytical solution of the error statist…
In this chapter a quantum communication protocol with use of repeaters is presented. The protocol is constructed for qudits i.e. the generalized quantum information units. One-dit teleportation is based on the generalized Pauli-Z (phase-flip) gate's correction. This approach avoids using Pauli-X and Hadamard gates unlike in other known protocols based on quantum repeaters which were constructed for qubits and qudits. It is also important to mention that the repeaters based on teleportation protocol, described in this chapter, allow a measurement in the standard base (what simplifies the measur…
A comprehensive graph theoretical and finite geometrical study of the commutation relations between the generalized Pauli operators of N-qudits is performed in which vertices/points correspond to the operators and edges/lines join commuting pairs of them. As per two-qubits, all basic properties and partitionings of the corresponding Pauli graph are embodied in the geometry of the generalized quadrangle of order two. Here, one identifies the operators with the points of the quadrangle and groups of maximally commuting subsets of the operators with the lines of the quadrangle. The three basic pa…
As a continuation of our previous work (arXiv:0708.4333) an algebraic geometrical study of a single $d$-dimensional qudit is made, with $d$ being {\it any} positive integer. The study is based on an intricate relation between the symplectic module of the generalized Pauli group of the qudit and the fine structure of the projective line over the (modular) ring $\bZ_{d}$. Explicit formulae are given for both the number of generalized Pauli operators commuting with a given one and the number of points of the projective line containing the corresponding vector of $\bZ^{2}_{d}$. We find, remarkably…
High-dimensional degrees of freedom of photons can encode more quantum information than their two-dimensional counterparts. While the increased information capacity has advantages in quantum applications (such as quantum communication), controlling and manipulating these systems has been challenging. Here we show a method to perform lossless arbitrary high-dimensional Pauli-X gates for single photon. The X-gate consists of a cyclic permutation of qudit basis vectors, and, together with the Z gate, forms the basis for performing arbitrary transformations. We propose an implementation of such ga…
The goal of the paper is to check whether the real eigenstates of the observables in the single qudit Pauli group may lead to quantum contextuality, the property that mutually compatible and independent experiments depend on each other. We find that quantum contextuality crops up at dimension twelve in various configurations with a few rays. We use the Shannon capacity for characterizing the corresponding orthogonality graphs. Some arithmetical properties underlying the qudit contextuality are outlined.
Dynamical decoupling is a powerful technique to suppress errors in quantum systems originating from environmental couplings or from unwanted inter-particle interactions. However, it can also be used to selectively decouple specific couplings in a quantum system. We present a simple and easy-to-use general method to construct such selective decoupling schemes on qubit and qudit networks by means of (generalized) Pauli operations. As these constructed schemes can suppress Hamiltonian interactions on general qudit networks selectively, they are well suited for purposes of approximate quantum simu…
We construct a Pauli stabilizer model for every two-dimensional Abelian topological order that admits a gapped boundary. Our primary example is a Pauli stabilizer model on four-dimensional qudits that belongs to the double semion (DS) phase of matter. The DS stabilizer Hamiltonian is constructed by condensing an emergent boson in a $\mathbb{Z}_4$ toric code, where the condensation is implemented by making certain two-body measurements. We rigorously verify the topological order of the DS stabilizer model by identifying an explicit finite-depth quantum circuit (with ancillary qubits) that maps …
This note presents a simple and unified formulation of the most fundamental structures used in quantum information with qubits, arbitrary dimension qudits, and quantum continuous variables. This \emph{general quantum variables} construction provides a succinct language for formulating many results in quantum computation and information so that they are applicable in all dimensions. The structures included within this formalism include: a generalization to arbitrary dimension of the three Pauli operators, and the associated mutually unbiased bases; the Pauli and Clifford groups; many important …
The $d^2$ Pauli operators attached to a composite qudit in dimension $d$ may be mapped to the vectors of the symplectic module $\mathcal{Z}_d^{2}$ ($\mathcal{Z}_d$ the modular ring). As a result, perpendicular vectors correspond to commuting operators, a free cyclic submodule to a maximal commuting set, and disjoint such sets to mutually unbiased bases. For dimensions $d=6,~10,~15,~12$, and 18, the fine structure and the incidence between maximal commuting sets is found to reproduce the projective line over the rings $\mathcal{Z}_{6}$, $\mathcal{Z}_{10}$, $\mathcal{Z}_{15}$, $\mathcal{Z}_6 \ti…
Recently, a number of interesting relations have been discovered between generalised Pauli/Dirac groups and certain finite geometries. Here, we succeeded in finding a general unifying framework for all these relations. We introduce gradually necessary and sufficient conditions to be met in order to carry out the following programme: Given a group $\vG$, we first construct vector spaces over $\GF(p)$, $p$ a prime, by factorising $\vG$ over appropriate normal subgroups. Then, by expressing $\GF(p)$ in terms of the commutator subgroup of $\vG$, we construct alternating bilinear forms, which refle…
We study measurements of the unitary generalization of Pauli operators. First, an analytical (constructive) solution to the eigenproblem of these operators is presented. Next, in the case of two subsystems, the Schmidt form of the eigenvectors is derived to identify measurements which are easy to implement. These results are utilized to show that quantum cryptography with two bases, when operating on a two-component qudit, can be realized with measurements on individual subsystems, assisted with classical communication. We also discuss feasible devices which perform tomography of polarisation-…
We study the commutation relations within the Pauli groups built on all decompositions of a given Hilbert space dimension $q$, containing a square, into its factors. Illustrative low dimensional examples are the quartit ($q=4$) and two-qubit ($q=2^2$) systems, the octit ($q=8$), qubit/quartit ($q=2\times 4$) and three-qubit ($q=2^3$) systems, and so on. In the single qudit case, e.g. $q=4,8,12,...$, one defines a bijection between the $σ(q)$ maximal commuting sets [with $σ[q)$ the sum of divisors of $q$] of Pauli observables and the maximal submodules of the modular ring $\mathbb{Z}_q^2$, that…
We introduce quantum hybrid gates that act on qudits of different dimensions. In particular, we develop two representative two-qudit hybrid gates (SUM and SWAP) and many-qudit hybrid Toffoli and Fredkin gates. We apply the hybrid SUM gate to generating entanglement, and find that operator entanglement of the SUM gate is equal to the entanglement generated by it for certain initial states. We also show that the hybrid SUM gate acts as an automorphism on the Pauli group for two qudits of different dimension under certain conditions. Finally, we describe a physical realization of these hybrid gat…
The techniques of low-rank matrix recovery were adapted for Quantum State Tomography (QST) previously by D. Gross et al. [Phys. Rev. Lett. 105, 150401 (2010)], where they consider the tomography of $n$ spin-$1/2$ systems. For the density matrix of dimension $d = 2^n$ and rank $r$ with $r \ll 2^n$, it was shown that randomly chosen Pauli measurements of the order $O(dr \log(d)^2)$ are enough to fully reconstruct the density matrix by running a specific convex optimization algorithm. The result utilized the low operator-norm of the Pauli operator basis, which makes it `incoherent' to low-rank ma…
We consider four-dimensional qudits as qubit pairs and their qudit Pauli operators as qubit Clifford operators. This introduces a nesting, $C_1^2 \subset C_2^4 \subset C_3^2$, where $C_n^m$ is the $n$th level of the $m$-dimensional qudit Clifford hierarchy. If we can convert between logical qubits and qudits, then qudit Clifford operators are qubit non-Clifford operators. Conversion is achieved by qubit fusion and qudit fission using stabilizer circuits that consume a resource state. This resource is a fused qubit stabilizer state with a fault-tolerant state preparation using stabilizer circui…
In the paper (math-ph/0504049) Jarlskog gave an interesting simple parametrization to unitary matrices, which was essentially the canonical coordinate of the second kind in the Lie group theory (math-ph/0505047). In this paper we apply the method to a quantum computation based on multi-level system (qudit theory). Namely, by considering that the parametrization gives a complete set of modules in qudit theory, we construct the generalized Pauli matrices which play a central role in the theory and also make a comment on the exchange gate of two-qudit systems. Moreover we give an explicit constru…
We study the commutation structure within the Pauli groups built on all decompositions of a given Hilbert space dimension $q$, containing a square, into its factors. The simplest illustrative examples are the quartit ($q=4$) and two-qubit ($q=2^2$) systems. It is shown how the sum of divisor function $σ(q)$ and the Dedekind psi function $ψ(q)=q \prod_{p|q} (1+1/p)$ enter into the theory for counting the number of maximal commuting sets of the qudit system. In the case of a multiple qudit system (with $q=p^m$ and $p$ a prime), the arithmetical functions $σ(p^{2n-1})$ and $ψ(p^{2n-1})$ count the…
We describe generalizations of the Pauli group, the Clifford group and stabilizer states for qudits in a Hilbert space of arbitrary dimension d. We examine a link with modular arithmetic, which yields an efficient way of representing the Pauli group and the Clifford group with matrices over the integers modulo d. We further show how a Clifford operation can be efficiently decomposed into one and two-qudit operations. We also focus in detail on standard basis expansions of stabilizer states.
Twists are defects in the lattice which can be utilized to perform computations on encoded data. Twists have been studied in various classes of topological codes like qubit and qudit surface codes, qubit color codes and qubit subsystem color codes. They are known to exhibit projective non-Abelian statistics which is exploited to perform encoded gates. In this paper, we initiate the study of twists in qudit color codes over odd prime alphabet. To the best of our knowledge, this is the first study of twists in qudit color codes. Specifically, we present a systematic construction of twists in qud…
For qubits, Monte Carlo estimation of the average fidelity of Clifford unitaries is efficient -- it requires a number of experiments that is independent of the number $n$ of qubits and classical computational resources that scale only polynomially in $n$. Here, we identify the requirements for efficient Monte Carlo estimation and the corresponding properties of the measurement operator basis when replacing two-level qubits by $p$-level qudits. Our analysis illuminates the intimate connection between mutually unbiased measurements and the existence of unitaries that can be characterized efficie…
When visualised as an operation on the Bloch sphere, the qubit "pi-over-eight" gate corresponds to one-eighth of a complete rotation about the vertical axis. This simple gate often plays an important role in quantum information theory, typically in situations for which Pauli and Clifford gates are insufficient. Most notably, when it supplements the set of Clifford gates then universal quantum computation can be achieved. The "pi-over-eight" gate is the simplest example of an operation from the third level of the Clifford hierarchy (i.e., it maps Pauli operations to Clifford operations under co…
The commutation relations between the generalized Pauli operators of N-qudits (i. e., N p-level quantum systems), and the structure of their maximal sets of commuting bases, follow a nice graph theoretical/geometrical pattern. One may identify vertices/points with the operators so that edges/lines join commuting pairs of them to form the so-called Pauli graph P_{p^N} . As per two-qubits (p = 2, N = 2) all basic properties and partitionings of this graph are embodied in the geometry of the symplectic generalized quadrangle of order two, W(2). The structure of the two-qutrit (p = 3, N = 2) graph…
For any $m \ge 1$ and odd prime power $\mathtt{q}=\mathtt{p}^m$, for $\mathtt{q}=2$, and for any $n \ge 1$, we show a result of decomposition for Pauli groups $\mathcal{P}_{n,\mathtt{q}}$ in terms of weak central products. This can be used to describe the underlying structure of Pauli groups on $n$ qudits of dimension $\mathtt{q}$ and enables us to identify abelian subgroups of $\mathcal{P}_{n,\mathtt{q}}$. As a consequence of our main results, we show a similar factorisation for the so--called `lifted' Pauli groups, recently introduced by Gottesman and Kuperberg in the context of error-correc…
We show that higher-dimensional versions of qubits, or qudits, can be encoded into spin systems and into harmonic oscillators, yielding important advantages for quantum computation. Whereas qubit-based quantum computation is adequate for analyses of quantum vs classical computation, in practice qubits are often realized in higher-dimensional systems by truncating all but two levels, thereby reducing the size of the precious Hilbert space. We develop natural qudit gates for universal quantum computation, and exploit the entire accessible Hilbert space. Mathematically, we give representations of…
The Pauli groups are ubiquitous in quantum information theory because of their usefulness in describing quantum states and operations and their readily understood symmetry properties. In addition, the most well-understood quantum error correcting codes -- stabilizer codes -- are built using Pauli operators. The eigenstates of these operators -- stabilizer states -- display a structure (e.g., mutual orthogonality relationships) that has made them useful in examples of multi-qubit non-locality and contextuality. Here, we apply the graph-theoretical contextuality formalism of Cabello, Severini an…
Institute for Advancing Intelligence, TCG CREST（TCG CREST 先进智能研究所）；Joint Center for Quantum Information and Computer Science, NIST/University of Maryland（量子信息与计算联合中心，美国国家标准与技术研究院/马里兰大学）
By encoding a qudit in a harmonic oscillator and investigating the d --> infinity limit, we give an entirely new realization of continuous-variable quantum computation. The generalized Pauli group is generated by number and phase operators for harmonic oscillators.
We investigate quantum secret sharing schemes constructed from $[[n,k,δ]]_D$ non-binary stabilizer quantum error correcting codes with carrier qudits of prime dimension $D$. We provide a systematic way of determining the access structure, which completely determines the forbidden and intermediate structures. We then show that the information available to the intermediate structure can be fully described and quantified by what we call the *information group*, a subgroup of the Pauli group of $k$ qudits, and employ this group structure to construct a method for hiding the information from the in…
We study locality preserving automorphisms of operator algebras on $D$-dimensional uniform lattices of prime $p$-dimensional qudits (QCA), specializing in those that are translation invariant (TI) and map every prime $p$-dimensional Pauli matrix to a tensor product of Pauli matrices (Clifford). We associate antihermitian forms of unit determinant over Laurent polynomial rings to TI Clifford QCA with lattice boundaries, and prove that the form determines the QCA up to Clifford circuits and shifts (trivial). It follows that every 2D TI Clifford QCA is trivial since the antihermitian form in this…
We find a scaling reduction in the stabilizer rank of the twelve-qubit tensored $T$ gate magic state. This lowers its asymptotic bound to $2^{\sim 0.463 t}$ for multi-Pauli measurements on $t$ magic states, improving over the best previously found bound of $2^{\sim 0.468 t}$. We numerically demonstrate this reduction. This constructively produces the most efficient strong simulation algorithm of the Clifford+$T$ gateset to relative or multiplicative error. We then examine the cost of Pauli measurement in terms of its Gauss sum rank, which is a slight generalization of the stabilizer rank and i…
