The separability from spectrum problem asks for a characterization of the eigenvalues of the bipartite mixed states ρ with the property that U^*ρU is separable for all unitary matrices U. This problem has been solved when the local dimensions m and n satisfy m = 2 and n <= 3. We solve all remaining qubit-qudit cases (i.e., when m = 2 and n >= 4 is arbitrary). In all of these cases we show that a state is separable from spectrum if and only if U^*ρU has positive partial transpose for all unitary matrices U. This equivalence is in stark contrast with the usual separability problem, where a state having positive partial transpose is a strictly weaker property than it being separable.
The qudit state for j = 3=2 with density matrix of the form corresponding to X-state of two-qubits is studied from the point of view of entanglement and separability properties. The method of qubit portrait of qudit states is used to get the entropic inequalities for the entangled state of the single qudit. The tomographic probability representation of the qudit X-state under consideration and its Shannon and q-entropic characteristics are presented in explicit form.
I derive separability inequalities for Bell correlations of observables in arbitrary pure or mixed $N$ Qudit states in $D^N$-dimensional state space. I find states (a continuum of states if $D>3$) including maximally entangled states which violate these inequalities by a factor $2^{N-1}$ ; local reality Bell inequalities are much weaker, their maximum violation being by a factor $2^{(N-1)/2}$. The separability inequalities allow tests of entanglement of unknown states using only the measured correlations .
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…
The conditional version of sandwiched Tsallis relative entropy (CSTRE) is employed to study the bipartite separability of one parameter family of N-qudit Werner- Popescu states in their 1 : N-1 partition. For all N, the strongest limitation on bipartite separability is realized in the limit q tending to infinity and is found to match exactly with the separability range obtained using an algebraic method which is both necessary and sufficient. The theoretical superiority of using CSTRE criterion to find the bipartite separability range over the one using Abe- Rajagopal (AR) q-conditional entrop…
Hilbert-Schmidt (HS) decompositions are employed for analyzing systems of n-qubits, and a qubit with a qudit. Negative eigenvalues, obtained by partial-transpose (PT) plus local unitary transformations (PTU) for one qubit from the whole system, are used for indicating inseparability. A sufficient criterion for full separability of the n-qubits and qubit-qudit systems is given. We use the singular value decomposition (SVD) for improving the criterion for full separability. General properties of entanglement and separability are analyzed for a system of a qubit and a qudit and n-qubits systems, …
We consider the separability of various joint states of D-dimensional quantum systems, which we call "qudits." We derive two main results: (i) the separability condition for a two-qudit state that is a mixture of the maximally mixed state and a maximally entangled state; (ii) lower and upper bounds on the size of the neighorhood of separable states surrounding the maximally mixed state for N qudits.
We show that all $2\otimes 4$ states with strong positive partial transposes (SPPT) are separable. We also construct a family of $2\otimes 5$ entangled SPPT states, so the conjecture on the separability of SPPT states are completely settled. In addition, we clarify the relation between the set of all $2\otimes d$ separable states and the set of all $2\otimes d$ SPPT states for the case of $d=3,4$.
Gerjuoy [Phys. Rev. A 67, 052308 (2003)] has derived a closed- form lower bound for the entanglement of formation of a mixed qubit-qudit system (qudit system has d levels with d>=3. In this paper, inspired by Gerjuoy's method, we propose a scheme that partitions a qubit-qudit system into d(d-1)/2 qubit-qubit systems, which can be treated by all known methods pertinent to qubit-qubit system. The method is demonstrated by a qubit-qudit system (The levels of qudit are d=3 and d=5, respectively)
Quantum coherence and quantum entanglement are two strong pillars in quantum information theory. We study here for the possibility of any connection between these two important aspects of quantum mechanics while studying the entanglement detection problem for the detection of bipartite higher dimensional entangled states and multipartite entangled states. To achieve our goal, we derive the lower bound $L$ of $l_{1}$ norm of coherence of bipartite qubit-qudit system using the criterion that detect entanglement. Furthermore, we deduce the upper bound $U$ of $l_{1}$ norm of coherence of separable…
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…
A linear map of qudit tomogram onto qubit tomogram (qubit portrait) is proposed as a characteristics of the qudit state. Using the qubit portrait method the Bell inequalities for two qubits and two qutrits are discussed in framework of probability representation of quantum mechanics. Semigroup of stochastic matrices is associated with tomographic probability distributions of qubit and qutrit states. Bell-like inequalities are studied using the semigroup of stochastic matrices. The qudit-qubit map of tomographic probability distributions is discussed as ansatz to provide a necessary condition f…
The q-deformed entropies of quantum and classical systems are discussed. Standard and q-deformed entropic inequalities for X - states of the two-qubit and a state of single qudit with $j=3/2$ are presented.
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…
Using the stabilizer formalism we construct the minimal code into a D-dimensional Hilbert space (qudit) to protect a qubit against phase damping. The effectiveness of this code is then studied by means of input-output fidelity.
We examine, in correlated mixed states of qudit-qubit systems, the set of all conditional qubit states that can be reached after local measurements at the qudit based on rank-1 projectors. While for a similar measurement at the qubit, the conditional post-measurement qudit states lie on the surface of an ellipsoid, for a measurement at the qudit we show that the set of post-measurement qubit states can form more complex solid regions. In particular, we show the emergence, for some classes of mixed states, of sets which are the convex hull of solid ellipsoids and which may lead to cone-like and…
New entropic inequality for quantum and tomographic Shannon information for system of two qubits is obtained. The inequality relating quantum information and spin-tomographic information for particle with spin j = 3=2 is found. The method to extend the obtained new entropic and information inequalities for one qudit and arbitrary composite system of qudits is suggested.
A method to establish a qubit decomposition of a general qudit state is presented. This new representation allows a geometrical depiction of any qudit state in the Bloch sphere. Additionally, we show that the nonnegativity conditions of the qudit state imply the existence of quantum correlations between the qubits which compose it. These correlations are used to define new inequalities which the density matrices components must satisfy. The importance of such inequalities in the reconstruction of a qudit state is addressed. As an example of the general procedure the qubit decomposition of a qu…
We investigate the time evolution of entanglement for bipartite systems of arbitrary dimensions under the influence of decoherence. For qubits, we determine the precise entanglement decay rates under different system-environment couplings, including finite temperature effects. For qudits, we show how to obtain upper bounds for the decay rates and also present exact solutions for various classes of states.
We present a scalable set of universal gates and multiply controlled gates in a qudit basis through a bijective mapping from N qubits to qudits with D = 2^N levels via rotations in U(2). For each of the universal gates (H, CNOT, and T), as well as the NOT gate and multiply-controlled-Z gates, we describe a systematic approach to identifying the set of U(2) rotations required to implement each gate for any qudit of size N and with minimal use of an ancilla level. The qudit gates are analyzed in terms of the total rotation count and gate depth as the system scales with D. We apply the qudit-basi…
This paper presents a highly efficient decomposition scheme and its associated Mathematica notebook for the analysis of complicated quantum circuits comprised of single/multiple qubit and qudit quantum gates. In particular, this scheme reduces the evaluation of multiple unitary gate operations with many conditionals to just two matrix additions, regardless of the number of conditionals or gate dimensions. This improves significantly the capability of a quantum circuit analyser implemented in a classical computer. This is also the first efficient quantum circuit analyser to include qudit quantu…
The machinery of qubit-portraits of qudit states, recently presented, is consider here in more details in order to characterize the presence of quantum correlations in bipartite qudit states. In the tomographic representation of quantum mechanics, Bell-like inequalities are interpreted as peculiar properties of a family of classical joint probability distributions which describe the quantum state of two qudits. By means of the qubit-portraits machinery a semigroup of stochastic matrices can be associated to a given quantum state. The violation of the CHSH inequalities is discussed in this fram…
We study, by means of the stabilizer formalism, a quantum error correcting code which is alternative to the standard block codes since it embeds a qubit into a qudit. The code exploits the non-commutative geometry of discrete phase space to protect the qubit against both amplitude and phase errors. The performance of such code is evaluated on Weyl channels by means of the entanglement fidelity as function of the error probability. A comparison with standard block codes, like five and seven qubit stabilizer codes, shows its superiority.
Known quantum pure states of a qudit can be remotely prepared onto a group of particles of qubits exactly or probabilistically with the aid of two-level Einstein-Podolsky-Rosen states. We present a protocol for such kind of remote state preparation. We are mainly focused on the remote preparation of the ensembles of equatorial states and those of states in real Hilbert space. In particular, a kind of states of qudits in real Hilbert space have been shown to be remotely prepared in faith without the limitation of the input space dimension.
A class of optimal quantum repeaters for qubits is suggested. The schemes are minimal, i.e. involve a single additional probe qubit, and optimal, i.e. provide the maximum information adding the minimum amount of noise. Information gain and state disturbance are quantified by fidelities which, for our schemes, saturate the ultimate bound imposed by quantum mechanics for randomly distributed signals. Special classes of signals are also investigated, in order to improve the information-disturbance trade-off. Extension to higher dimensional signals (qudits) is straightforward.
We introduce a sufficient and necessary condition for the separability of a specific class of $N$ $d$-dimensional system (qudits) states, namely special generalized Werner state (SGWS): $W^{[d^N]}(v)=(1-v)\frac{I^{(N)}}{d^N}+v|ψ_d^N><ψ_d^N|$, where $ |ψ_d^N>=\sum_{i=0}^{d-1}α_i|i... i>$ is an entangled pure state of $N$ qudits system and $α_i$ satisfys two restrictions: (i) $\sum_{i=0}^{d-1}α_iα_i^*=1$; (ii) Matrix $\frac{1}{d}(I^{(1)}+\mathcal{T}\sum_{i\neq j}α_i|i>< j|α_j^*)$, where $\mathcal{T}=\texttt{Min}_{i\neq j}\{1/|α_iα_j|\}$, is a density matrix. Our condition gives quite a simple an…
Informationally complete (IC) positive operator-valued measures (POVMs) are generalized quantum measurements that offer advantages over the standard computational basis readout of qubits. For instance, IC-POVMs enable efficient extraction of operator expectation values, a crucial step in many quantum algorithms. POVM measurements are typically implemented by coupling one additional ancilla qubit to each logical qubit, thus imposing high demands on the device size and connectivity. Here, we show how to implement a general class of IC-POVMs without ancilla qubits. We exploit the higher-dimension…
Using the Hilbert-Schmidt (HS) decomposition we suggest new possible choices of Bell operators and entanglement witnesses (EW ) for n (>2) qubits systems for (full/bi) separability. The latter give upper bounds for (full/bi) separability. Also using the HS decomposition, we find explicitly (full/bi) separable forms for some qubits states which give lower bounds for (full/bi) separability. When the lower bounds and upper bounds coincide it means that the EW is optimal. In the case of full separability, the positive transpose method can sometimes give optimal results. As concrete examples, we gi…
The partial separability of multipartite qubit density matrixes is strictly defined. We give a reduction way from N-partite qubit density matrixes to bipartite qubit density matrixes, and prove a necessary condition that a N-partite qubit density matrix to be partially separable is its reduced density matrix to satisfy PPT condition.
Wootters [PRL 80, 2245 (1998)] has derived a closed formula for the entanglement of formation (EOF) of an arbitrary mixed state in a system of two qubits. There is no known closed form expression for the EOF of an arbitrary mixed state in any system more complicated than two qubits. This paper, via a relatively straightforward generalization of Wootters' original derivation, obtains a closed form lower bound on the EOF of an arbitary mixed state of a system composed of a qubit and a qudit (a d-level quantum system, with d greater than or equal to 3). The derivation of the lower bound is detail…
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…
In comparison to qubit-based protocols, qudit-based quantum key distribution (QKD) ones gen- erally allow two cooperative parties to share unconditionally secure keys under a higher channel noise. However, it is very hard to prepare and measure the required quantum states in qudit-based protocols in general. One exception is the recently proposed highly error tolerant qudit-based proto- col known as the Chau15 [1]. Remarkably, the state preparation and measurement in this protocol can be done relatively easily since the required states are phase encoded almost like the diagonal basis states of…
By exploiting a symmetric scheme for coupling $N$ spin-1/2 constituents (the physical qubits) to states with total angular momentum $N/2-1$, we construct rotationally invariant logical qudits of dimension $d=N-1$. One can encode all qudit states, and realize all qudit measurements, by this construction. The rotational invariance of all relevant objects enables one to transmit quantum information without having aligned reference frames between the parties that exchange the qudits. We illustrate the method by explicit constructions of reference-frame-free qubits and qutrits and, for the qubit ca…
Deutsch's algorithm for two qubits (one control qubit plus one auxiliary qubit) is extended to two $d$-dimensional quantum systems or qudits for the case in which $d$ is equal to $2^n$, $n=1,2,...$ . This allows one to classify a certain oracle function by just one query, instead of the $2^{n-1}+1$ queries required by classical means. The given algorithm for two qudits also solves efficiently the Bernstein-Vazirani problem. Entanglement does not occur at any step of the computation.
In this Letter we find the new criteria of separability of multipartite qubit density matrixes. Especially, we discuss in detail the criteria of separability for tripartite qubit density matrixes. We find the sufficient and necessary conditions of separability for tripartite qubit density matrixes, and give two corollaries. The second corollary can be taken as the criterion of existence of entanglement for tripartite qubit density matrixes. In concrete application, its steps are quite simple and easy to operate. Some examples, discussions and the generalization to more high dimensional multipa…
The surface code is one of the most promising candidates for combating errors in large scale fault-tolerant quantum computation. A fault-tolerant decoder is a vital part of the error correction process---it is the algorithm which computes the operations needed to correct or compensate for the errors according to the measured syndrome, even when the measurement itself is error prone. Previously decoders based on minimum-weight perfect matching have been studied. However, these are not immediately generalizable from qubit to qudit codes. In this work, we develop a fault-tolerant decoder for the …
The quantum Fourier transform (QFT) is a key ingredient of several quantum algorithms and a qudit-specific implementation of the QFT is hence an important step toward the realization of qudit-based quantum computers. This work develops a circuit decomposition of the QFT for hybrid qudits based on generalized Hadamard and generalized controlled-phase gates, which can be implemented using selective rotations in NMR. We experimentally implement the hybrid qudit QFT on an NMR quantum emulator, which uses four qubits to emulate a single qutrit coupled to two qubits.
The entanglement witness is an important and experimentally applicable tool for entanglement detection. In this paper, we provide a nonlinear improvement of any entanglement witness for $2\otimes d$ quantum systems. Compared with any existing entanglement witness, the improved separability criterion only needs two more measurements on local observables. Detailed examples are employed to illustrate the efficiency of the nonlinear improvement for general, optimal and non-decomposable entanglement witnesses.
Quantum information stored in a qubit is rapidly lost to the environment. The realization of robust qubits is one of the most important challenges in quantum computing. Herein we propose to embed a logical qubit within the manifold of a qudit as a scheme to preserve quantum information over extended periods of time. Under identical conditions (e.g. decoherence channels) the submanifold of the logical qubit exhibits extended lifetimes compared to a pure two-level system (qubit). The retention of quantum information further improves with separation between the sublevels of the logical qubit. Lif…
Fault-Tolerant Resource Comparison of Qudit and Qubit Encodings for Diagonal Quadratic Operators
University of Liverpool（利物浦大学）；Fermi National Accelerator Laboratory（费米国家加速器实验室）；University of Trento（特伦托大学）；INFN-TIFPA Trento Institute of Fundamental Physics and Applications（意大利国家核物理研究所-特伦托基础物理与应用研究所）
In this paper, we discuss the partial separability and its criteria problems of multipartite qubit mixed-states. First we strictly define what is the partial separability of a multipartite qubit system. Next we give a reduction way from N-partite qubit density matrixes to bipartite qubit density matrixes, and prove a necessary condition that a N-partite qubit mixed-state to be partially separable is its reduction to satisfy the PPT condition. PACC numbers: 03.67.Mn; 03.65.Ud; 03.67.Hk
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…
We give a complete, hierarchic classification for arbitrary multi-qubit mixed states based on the separability properties of certain partitions. We introduce a family of N-qubit states to which any arbitrary state can be depolarized. This family can be viewed as the generalization of Werner states to multi-qubit systems. We fully classify those states with respect to their separability and distillability properties. This provides sufficient conditions for nonseparability and distillability for arbitrary states.
We characterize the separability of three qubit GHZ diagonal states in terms of entries. This enables us to check separability of GHZ diagonal states without decomposition into the sum of pure product states. In the course of discussion, we show that the necessary criterion of Gühne for (full) separability of three qubit GHZ diagonal states is sufficient with a simpler formula. The main tool is to use entanglement witnesses which are tri-partite Choi matrices of positive bi-linear maps.
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…
We derive a general approximate solution to the problem of minimizing the conditional entropy of a qudit-qubit system resulting from a local projective measurement on the qubit, which is valid for general entropic forms and becomes exact in the limit of weak correlations. This entropy measures the average conditional mixedness of the post-measurement state of the qudit, and its minimum among all local measurements represents a generalized entanglement of formation. In the case of the von Neumann entropy, it is directly related to the quantum discord. It is shown that at the lowest non-trivial …
In this paper, we present a method to construct full separability criteria for tripartite systems of qubits. The spirit of our approach is that a tripartite pure state can be regarded as a three-order tensor that provides an intuitionistic mathematical formulation for the full separability of pure states. We extend the definition to mixed states and given out the corresponding full separability criterion. As applications, we discuss the separability of several bound entangled states, which shows that our criterion is feasible.
This paper characterizes two forms of separability of pure states of systems of n qubits: (i) into a tensor product of n qubit states, and (ii), into a tensor product of 2 subsystems states of p and q qubits respectively with p+q=n. For both cases, necessary and sufficient conditions are proved in the form of minimal sets of equalities among pair-wise products of amplitudes. These conditions bear some relation with entanglement measures, and a number of more refined questions about separability in n qubit systems can be studied on the basis of these results.
We construct seven kinds of three-qubit biseparable states to show that every class of biseparable states in the partial separability classification proposed by Szalay and Kökényesi [S. Szalay and Z. Kökényesi, Phys. Rev. A 86, 032341 (2012)] is nonempty.
