The use of d-state systems, or qudits, in quantum information processing is discussed. Three-state and higher dimensional quantum systems are known to have very different properties from two-state systems, i.e., qubits. In particular there exist qudit states which are not equivalent under local unitary transformations unless a selection rule is violated. This observation is shown to be an important factor in the theory of decoherence-free, or noiseless, subsystems. Experimentally observable consequences and methods for distinguishing these states are also provided, including the explicit construction of new decoherence-free or noiseless subsystems from qutrits. Implications for simulating quantum systems with quantum systems are also discussed.
The entanglement in a pure state of N qudits (d-dimensional distinguishable quantum particles) can be characterised by specifying how entangled its subsystems are. A generally mixed subsystem of m qudits is obtained by tracing over the other N-m qudits. We examine the entanglement in the space of mixed states of m qudits. We show that for a typical pure state of N qudits, its subsystems smaller than N/3 qudits will have a positive partial transpose and hence are separable or bound entangled. Additionally, our numerical results show that the probability of finding entangled subsystems smaller t…
We give a full explanation of the noiseless subsystem that protects a single-qubit against collective errors and the corresponding recursive scheme described by C.-K. Li et. al. [Phys. Rev. A 84, 044301 (2011)] from a representation theory point of view. Furthermore, we extend the construction to qudits under the influence of collective SU($d$) errors. We find that under this recursive scheme, the asymptotic encoding rate is $1/d$.
We consider a huge quantum system that is subject to the charge superselection rule, which requires that any pure state must be an eigenstate of the total charge. We regard some parts of the system as "subsystems," and the rest as an environment E. We assume that one does not measure anything of E, i.e., one is only interested in observables of the subsystems. We show that there exist states with the following properties: (i) Its reduced density operator is completely equivalent to a vector state of the subsystems for any gauge-invariant observable of the subsystems. (ii) The vector state is a…
A long-standing open problem in fault-tolerant quantum computation has been to find a universal set of transversal gates. As three of us proved in arXiv: 0706.1382, such a set does not exist for binary stabilizer codes. Here we generalize our work to show that for subsystem stabilizer codes in $d$ dimensional Hilbert space, such a universal set of transversal gates cannot exist for even one encoded qudit, for any dimension $d$, prime or nonprime. This result strongly supports the idea that other primitives, such as quantum teleportation, are necessary for universal fault-tolerant quantum compu…
Unitary control of qudits can improve the collective spin squeezing of an atomic ensemble. Preparing the atoms in a state with large quantum fluctuations in magnetization strengthens the entangling Faraday interaction. The resulting increase in interatomic entanglement can be converted into metrologically useful spin squeezing. Further control can squeeze the internal atomic spin without compromising entanglement, providing an overall multiplicative factor in the collective squeezing. We model the effects of optical pumping and study the tradeoffs between enhanced entanglement and decoherence.…
The strong subadditivity condition for the density matrix of a quantum system, which does not contain subsystems, is derived using the qudit-portrait method. An example of the qudit state in the seven-dimensional Hilbert space corresponding to spin j = 3 is presented in detail. New entropic inequalities in the form of subadditivity condition and strong subadditivity condition for spin tomograms determining the qudit states are obtained and given on examples of j = 2 and 3.
We study noiseless subsystems on collective rotation channels of qudits, i.e., quantum channels with operators in the set ${\mathcal E}(d,n) = \{ U^{\otimes n}: U \in {\mathrm{SU}}(d)\}.$ This is done by analyzing the decomposition of the algebra ${\mathcal A}(d,n)$ generated by ${\mathcal E}(d,n)$. We summarize the results for the channels on qubits ($d=2$), and obtain the maximum dimension of the noiseless subsystem that can be used as the quantum error correction code for the channel. Then we extend our results to general $d$. In particular, it is shown that the code rate, i.e., the number …
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-…
Greenberger-Horne-Zeilinger states are intuitively known to be the most non-classical ones. They lead to the most radically nonclassical behavior of three or more entangled quantum subsystems. However, in case of two-dimensional systems, it has been shown that GHZ states lead to more robustness of Bell nonclassicality in case of geometrical inequalities than in case of Mermin inequalities. We investigate various strategies of constructing geometrical Bell inequalities (BIs) for GHZ states for any dimensionality of subsystems.
We discuss the notions of mutual information and conditional information for noncomposite systems, classical and quantum; both the mutual information and the conditional information are associated with the presence of hidden correlations in the state of a single qudit. We consider analogs of the entanglement phenomena in the systems without subsystems related to strong hidden quantum correlations.
The phenomenon of quantum steering and probabilistic meaning of the correlations are discussed for the state of the single qudit. The method of qubit portrait of the qudit states is used to extend the known steering detection inequality to the system without subsystems. The example of the $X$-state with $j=3/2$ is studied in detail.
A permutation-invariant quantum code on $N$ qudits is any subspace stabilized by the matrix representation of the symmetric group $S_N$ as permutation matrices that permute the underlying $N$ subsystems. When each subsystem is a complex Euclidean space of dimension $q \ge 2$, any permutation-invariant code is a subspace of the symmetric subspace of $(\mathbb C^q)^N.$ We give an algebraic construction of new families of of $d$-dimensional permutation-invariant codes on at least $(2t+1)^2(d-1)$ qudits that can also correct $t$ errors for $d \ge 2$. The construction of our codes relies on a real …
Design of a large-scale quantum computer has paramount importance for science and technologies. We investigate a scheme for realization of quantum algorithms using noncomposite quantum systems, i.e., systems without subsystems. In this framework, $n$ artificially allocated "subsystems" play a role of qubits in $n$-qubits quantum algorithms. With focus on two-qubit quantum algorithms, we demonstrate a realization of the universal set of gates using a $d=5$ single qudit state. Manipulation for an ancillary level in the systems allows effective implementation of operators from ${\rm U}(4)$ group …
The interest in decoherence-free, or noiseless subsystems (DFS/NSs) of quantum systems is both of fundamental and practical interest. Understanding the invariance of a set of states under certain transformations is mutually associated with a better understanding of some fundamental aspects of quantum mechanics as well as the practical utility of invariant subsystems. For example, DFS/NSs are potentially useful for protecting quantum information in quantum cryptography and quantum computing as well as enabling universal computation. Here we discuss transformations which are compatible with a DF…
We present quantum networks for a n-qubit controlled gate C^{n-1}(U) which use a higher dimensional (qudit) ancilla as a catalyser. In its simplest form the network has only n two-particle gates (qubit-qudit) -- this is the minimum number of two-body interactions needed to couple all n+1 subsystems (n qubits plus one ancilla). This class of controlled gates includes the generalised Toffoli gate C^{n-1}(X) on n qubits, which plays an important role in several quantum algorithms and error correction. A particular example implementing this model is given by the dispersive limit of a generalised J…
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…
We investigate the norms of the Bloch vectors for any quantum state with subsystems less than or equal to four. Tight upper bounds of the norms are obtained, which can be used to derive tight upper bounds for entanglement measure defined by the norms of Bloch vectors. By using these bounds a trade-off relation of the norms of Bloch vectors is discussed. Theses upper bounds are then applied on separability. Necessary conditions are presented for different kinds of separable states in four-partite quantum systems. We further present a complete classification of quantum states for four qudits qua…
The notion of conditional entropy is extended to noncomposite systems. The q-deformed entropic inequalities, which usually are associated with correlations of the subsystem degrees of freedom in bipartite systems, are found for the noncomposite systems. New entropic inequalities for quantum tomograms of qudit states including the single qudit states are obtained. The Araki{Lieb inequality is found for systems without subsystems.
We discuss the notion of hidden correlations in classical and quantum indivisible systems along with such characteristics of the correlations as the mutual information and conditional information corresponding to the entropic subadditivity condition and the entropic strong subadditivity condition. We present an analog of the Bayes formula for systems without subsystems, study entropic inequality for von Neumann entropy and Tsallis entropy of the single-qudit state, and discuss the inequalities for qubit and qutrit states as an example.
Quantum information masking is a protocol that hides the original quantum information from subsystems and spreads it over quantum correlation, which is available to multipartite except bipartite systems. In this work, we explicitly study the quantum information masking in multipartite scenario and prove that all the k-level quantum states can be masked into a m-qudit systems (m > 4) whose local dimension d < k and the upper bound of k is tighter than the quantum Singleton bound. In order to observe the masking process intuitively, explicitly controlled operations are provided. Our scheme well …
The evolution of an open system is usually associated with the interaction of the system with an environment. A new method to study the open-type system evolution of a qubit (two-level atom) state is established. This evolution is determined by a unitary transformation applied to the qutrit (three-level atom) state, which defines the qubit subsystems. This procedure can be used to obtain different qubit quantum channels employing unitary transformations into the qutrit system. In particular, we study the phase damping and spontaneous-emission quantum channels. In addition, we mention a proposa…
Hypergraph states, a generalization of graph states, constitute a large class of quantum states with intriguing non-local properties and have promising applications in quantum information science and technology. In this paper, we generalize hypergraph states to qudit hypergraph states, i.e., each vertex in the generalized hypergraph (multi-hypergraph) represents a $d$-level quantum system instead of a qubit. It is shown that multi-hypergraphs and $d$-level hypergraph states have a one-to-one correspondence. We prove that if one part of a multi-hypergraph is connected with the other part, the c…
This paper investigates the relationship between subsystems and time in a closed nonrelativistic system of interacting bosons and fermions. It is possible to write any state vector in such a system as an unentangled tensor product of subsystem vectors, and to do so in infinitely many ways. This requires the superposition of different numbers of particles, but the theory can describe in full the equivalence relation that leads to a particle-number superselection rule in conventionally defined subsystems. Time is defined as a functional of subsystem changes, thus eliminating the need for any ref…
We investigate various aspects of operator quantum error-correcting codes or, as we prefer to call them, subsystem codes. We give various methods to derive subsystem codes from classical codes. We give a proof for the existence of subsystem codes using a counting argument similar to the quantum Gilbert-Varshamov bound. We derive linear programming bounds and other upper bounds. We answer the question whether or not there exist [[n,n-2d+2,r>0,d]]<sub>q</sub> subsystem codes. Finally, we compare stabilizer and subsystem codes with respect to the required number of syndrome qudits.
We show how to construct hybrid quantum-classical codes from subsystem codes by encoding the classical information into the gauge qudits using gauge fixing. Unlike previous work on hybrid codes, we allow for two separate minimum distances, one for the quantum information and one for the classical information. We give an explicit construction of hybrid codes from two classical linear codes using Bacon-Casaccino subsystem codes, as well as several new examples of good hybrid code.
Quantum nonlocality can be revealed "via local contextuality" in qudit-qudit entangled systems with $d > 2$, that is, through the violation of inequalities containing Alice-Bob correlations that admit a local description, and Alice-Alice correlations (between the results of sequences of measurements on Alice's subsystem) that admit a local (but contextual) description. A fundamental question to understand the respective roles of entanglement and local contextuality is whether nonlocality via local contextuality exists when the parties have only qubit-qubit entanglement. Here we respond affirma…
A pure quantum state of N subsystems with d levels each is called k-multipartite maximally entangled state, written k-uniform, if all its reductions to k qudits are maximally mixed. These states form a natural generalization of N-qudits GHZ states which belong to the class 1-uniform states. We establish a link between the combinatorial notion of orthogonal arrays and k-uniform states and prove the existence of several new classes of such states for N-qudit systems. In particular, known Hadamard matrices allow us to explicitly construct 2-uniform states for an arbitrary number of N>5 qubits. We…
We advocate the step change in properties of discrete $d$-level quantum systems, between $d=2$ and $d\geq 3$. Qubit systems, or multipartite systems containing qubit subsystem, are exceptional in their relative simplicity. One faces a step in complexity in valuating measures of quantum correlations for qutrits and then other higher dimensional qudits. There is a growing number of arguments leading to such conclusion: recently found no-go theorem for generalization of the Peres-Horodecki's PPT criterion \cite{sko}, change in geometry of state spaces of qubit and higher degree qudits (the so cal…
Unitary Schur Sampling of Qudits via Random SWAP Tests: Hunt for Antisymmetry
Duke Quantum Center, Duke University（杜克大学量子中心）；Department of Electrical and Computer Engineering, Duke University（杜克大学电气与计算机工程系）；Department of Physics, Duke University（杜克大学物理系）
本文提出仅用成对 SWAP 测试实现任意置换不变混合态的酉 Schur 采样，通过反复提取最大反对称子系统，将算法转化为 Young 图随机遍历，并应用于量子纯度放大以最优纯化态。
The operator algebra of fermionic modes is isomorphic to that of qubits, the difference between them is twofold: the embedding of subalgebras corresponding to mode subsets and multiqubit subsystems on the one hand, and the parity superselection in the fermionic case on the other. We discuss these two fundamental differences extensively, and illustrate these through the Jordan--Wigner representation in a coherent, self-contained, pedagogical way, from the point of view of quantum information theory. Our perspective leads us to develop useful new tools for the treatment of fermionic systems, suc…
A pure quantum state is called $k$-uniform if all its reductions to $k$-qudit are maximally mixed. We investigate the general constructions of $k$-uniform pure quantum states of $n$ subsystems with $d$ levels. We provide one construction via symmetric matrices and the second one through classical error-correcting codes. There are three main results arising from our constructions. Firstly, we show that for any given even $n\ge 2$, there always exists an $n/2$-uniform $n$-qudit quantum state of level $p$ for sufficiently large prime $p$. Secondly, both constructions show that their exist $k$-uni…
Quantum reference frames beyond subsystems: a reconstruction and generalization of the perspective-neutral framework
Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences（奥地利科学院量子光学与量子信息研究所）；Vienna Center for Quantum Science and Technology (VCQ), Faculty of Physics, University of Vienna（维也纳大学物理学院量子科学与技术维也纳中心）；Université Paris-Saclay, Laboratoire des Méthodes Formelles（巴黎萨克雷大学形式方法实验室）；Perimeter Institute for Theoretical Physics（理论物理前沿研究所）
