We describe criteria for implementation of quantum computation in qudits. A qudit is a d-dimensional system whose Hilbert space is spanned by states |0>, |1>,... |d-1>. An important earlier work of Mathukrishnan and Stroud [1] describes how to exactly simulate an arbitrary unitary on multiple qudits using a 2d-1 parameter family of single qudit and two qudit gates. Their technique is based on the spectral decomposition of unitaries. Here we generalize this argument to show that exact universality follows given a discrete set of single qudit Hamiltonians and one two-qudit Hamiltonian. The technique is related to the QR-matrix decomposition of numerical linear algebra. We consider a generic physical system in which the single qudit Hamiltonians are a small collection of H_{jk}^x=\hbarΩ(|k><j|+|j><k|) and H_{jk}^y =\hbarΩ(i|k><j|-i|j><k|). A coupling graph results taking nodes 0,... d-1 and edges j<->k iff H_{jk}^{x,y} are allowed Hamiltonians. One qudit exact universality follows iff this graph is connected, and complete universality results if the two-qudit Hamiltonian H=-\hbarΩ|d-1,d-1><d-1,d-1| is also allowed. We discuss implementation in the eight dimensional ground electronic states of ^{87}Rb and construct an optimal gate sequence using Raman laser pulses.
Entanglement, quantum steering and nonlocality are distinct quantum correlations which are the resources behind various of quantum information and quantum computation applications. However, a central question of determining the precise quantitative relation among them is still unresolved. Here, we present a mapping criterion between Bell nonlocality and quantum steering in bipartite qudit-qubit system, as well as a mapping criterion between quantum steering and quantum entanglement in bipartite qubit-qudit system, starting from the fundamental concepts of quantum correlations. Precise quantita…
We present a general strategy to derive entanglement criteria which consists in performing a mapping from qudits to qubits that preserves the separability of the parties and SU(2) rotational invariance. Consequently, it is possible to apply the well known positive partial transpose criterion to reveal the existence of quantum correlations between qudits. We discuss some examples of entangled states that are detected using the proposed strategy. Finally, we demonstrate, using our scheme, how some variance-based entanglement witnesses can be generalized from qubits to higher dimensional spin sys…
We introduce a dichromatic calculus (RG) for qutrit systems. We show that the decomposition of the qutrit Hadamard gate is non-unique and not derivable from the dichromatic calculus. As an application of the dichromatic calculus, we depict a quantum algorithm with a single qutrit. Since it is not easy to decompose an arbitrary d by d unitary matrix into Z and X phase gates when d > 2, the proof of the universality of qudit ZX calculus for quantum mechanics is far from trivial. We construct a counterexample to Ranchin's universality proof, and give another proof by Lie theory that the qudit ZX …
In this paper, we study the stochastic local operation and classical communication (SLOCC) and local unitary (LU) equivalence for multi-qudit states by mode-$n$ matricization of the coefficient tensors. We establish a new scheme of using the CANDECOMP/PARAFAC (CP) decomposition of tensors to find necessary and sufficient conditions between the mode-$n$ unfolding and SLOCC\&LU equivalence for pure multi-qudit states. For multipartite mixed states, we present a necessary and sufficient condition for LU equivalence and necessary condition for SLOCC equivalence.
An open problem of quantum information theory has been to determine under what conditions universal exchange-only computation is possible for qudits encoded on $d$-state systems for $d>2$. This problem can be posed in terms of representation theory by recognizing that each quantum mechanical swap, generated by exchange-interaction, can be identified with a transposition in a symmetric group, each $d$-state system can be identified with the fundamental representation of $SU(d)$, and each encoded qudit can be identified with an irreducible representation of a Lie algebra generated by transpositi…
We concretely construct an extension of the controlled-U gate in qudit from some elementary gates. We also construct unitary transformation in two-qudit by means of the extended controlled-U gate and show the universality of it.
We present a theoretical analysis of the paradigm of encoded universality, using a Lie algebraic analysis to derive specific conditions under which physical interactions can provide universality. We discuss the significance of the tensor product structure in the quantum circuit model and use this to define the conjoining of encoded qudits. The construction of encoded gates between conjoined qudits is discussed in detail. We illustrate the general procedures with several examples from exchange-only quantum computation. In particular, we extend our earlier results showing universality with the i…
In this paper, we present the separability criteria to identify non-$k$-separability and genuine multipartite entanglement in mixed multipartite states using elements of density matrices. Our criteria can detect the non-$k$-separability of Dicke class of states, anti W states and mixtures thereof and higher dimensional W class of states. We then investigate the performance of our criteria by considering $N$-qubit Dicke states with arbitrary excitations added with white noise and mixture of $N$-qudit W state with white noise. We also study the robustness of our criteria against white noise. Fur…
We say that collection of $n$-qudit gates is universal if there exists $N_0\geq n$ such that for every $N\geq N_0$ every $N$-qudit unitary operation can be approximated with arbitrary precision by a circuit built from gates of the collection. Our main result is an upper bound on the smallest $N_0$ with the above property. The bound is roughly $d^8 n$, where $d$ is the number of levels of the base system (the '$d$' in the term qu$d$it.) The proof is based on a recent result on invariants of (finite) linear groups.
The concept of symmetric extendibility has recently drawn attention in the context of tolerable error rates in quantum cryptography, where it can be used to decide whether quantum states shared between two parties can be purified by means of entanglement purification with one-way classical communication only. Unfortunately, at present there exists no simple general criterion to decide whether a state possesses a symmetric extension or not. In this article we derive criteria for symmetric extendibility within subclasses of all two-qudit states. Using these criteria, we can completely solve the …
How much noise can a given quantum state tolerate without losing its entanglement? For qudits of arbitrary dimension, I investigate this question for two noise models: Global white noise, where a depolarizing channel is applied to all qudits simultaneously, and local white noise, where a single qudit depolarizing channel is applied to every qudit individually. Using a unitary generalization of the Pauli group, I derive noise thresholds for stabilizer states, with an emphasis on graph states, and compare different entanglement criteria. The PPT and reduction criteria generally provide high nois…
A family of quantum Hamiltonians is said to be universal if any other finite-dimensional Hamiltonian can be approximately encoded within the low-energy space of a Hamiltonian from that family. If the encoding is efficient, universal families of Hamiltonians can be used as universal analogue quantum simulators and universal quantum computers, and the problem of approximately determining the ground-state energy of a Hamiltonian from a universal family is QMA-complete. One natural way to categorise Hamiltonians into families is in terms of the interactions they are built from. Here we prove unive…
Too much noise kills entanglement. This is the main problem in its production and transmission. We use a handy approach to indicate noise resistance of entanglement of a bi-partite system described by $d\times d$ Hilbert space. Our analysis uses a geometric approach based on the fact that if a scalar product of a vector $\vec{s}$ with a vector $\vec {e}$ is less than the square of the norm of $\vec{e}$, then $\vec{s}\neq\vec{e}$. We use such concepts for correlation tensors of separable and entangled states. As a general form correlation tensors for pairs of qudits, for $d>2$, is very difficul…
We study the Einstein-Podolsky-Rosen (EPR) steering and present steerability criteria for arbitrary qubit-qudit (qudit-qubit) systems based on mutually unbiased measurements (MUMs) and general symmetric informationally complete measurements (general SIC-POVMs). Avoiding the usual complicated steering inequalities, these criteria can be more operational than some existing criteria and implemented experimentally. Detailed examples are given to illustrate the efficiency of the criteria in both computation and experimental implementation.
University of the Basque Country UPV/EHU（巴斯克大学）；IKERBASQUE, Basque Foundation for Science（伊克尔巴斯基奎巴斯克科学基金会）；Basque Center for Applied Mathematics (BCAM)（巴斯克应用数学中心）
We consider the problem of deciding if a set of quantum one-qudit gates $\mathcal{S}=\{g_1,\ldots,g_n\}\subset G$ is universal, i.e if the closure $\overline{<\mathcal{S}>}$ is equal to $G$, where $G$ is either the special unitary or the special orthogonal group. To every gate $g$ in $\mathcal{S}$ we asign its image under the adjoint representation $\mathrm{Ad}_g$, where $\mathrm{Ad}:G\rightarrow SO(\mathfrak{g})$ and $\mathfrak{g}$ is the Lie algebra of $G$. The necessary condition for the universality of $\mathcal{S}$ is that the only matrices that commute with all $\mathrm{Ad}_{g_i}$'s are …
We consider the problem of deciding if a set of quantum one-qudit gates $\mathcal{S}=\{U_1,\ldots,U_n\}$ is universal. We provide the compact form criteria leading to a simple algorithm that allows deciding universality of any given set of gates in a finite number of steps. Moreover, for a non-universal $\mathcal{S}$ our criteria indicate what type of gates can be added to $\mathcal{S}$ to turn it into a universal set.
