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 order, the problem reduces to the minimization of a quadratic form determined by the correlation tensor of the system, the Bloch vector of the qubit and the local concavity of the entropy, requiring just the diagonalization of a $3\times 3$ matrix. A simple geometrical picture in terms of an associated correlation ellipsoid is also derived, which illustrates the link between entropy optimization and correlation access and which is exact for a quadratic entropy. The approach enables a simple estimation of the quantum discord. Illustrative results for two-qubit states are discussed.
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…
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.
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.
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…
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, …
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…
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.
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.
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（意大利国家核物理研究所-特伦托基础物理与应用研究所）
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…
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…
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…
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.
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.
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…
ZW-calculus is a useful graphical language for pure qubit quantum computing. It is via the translation of the completeness of ZW-calculus that the first proof of completeness of ZX-calculus was obtained. A d-level generalisation of qubit ZW-calculus (anyonic qudit ZW-calculus) has been given in [Hadzihasanovic 2017] which is universal for pure qudit quantum computing. However, the interpretation of the W spider in this type of ZW-calculus has so-called q-binomial coefficients involved, thus makes computation quite complicated. In this paper, we give a new type of qudit ZW-calculus which has ge…
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 …
Qubits, which are quantum counterparts of classical bits, are used as basic information units for quantum information processing, whereas underlying physical information carriers, e.g. (artificial) atoms or ions, admit encoding of more complex multilevel states -- qudits. Recently, significant attention is paid to the idea of using qudit encoding as a way for further scaling quantum processors. In this work, we present an efficient decomposition of the generalized Toffoli gate on the five-level quantum systems, so-called ququints, that uses ququints' space as the space of two qubits with a joi…
The qubit SWAP gate has been shown to be an integral component of quantum circuitry design. It permutes the states of two qubits and allows for the storage quantum information, teleportation of atomic or ionic states, and is a fundamental element in the circuit implementation of Shor's algorithm. We consider the problem of generalising the SWAP gate beyond the qubit setting. We show that quantum circuit architectures completely described by instances of the CNOT gate can not implement a transposition of a pair of qudits for dimensions $d \equiv 3 (mod 4)$. The task of constructing generalised …
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…
Quantum algorithms can be realized in the form of a quantum circuit. To map quantum circuit for specific quantum algorithm to quantum hardware, qubit mapping is an imperative technique based on the qubit topology. Due to the neighbourhood constraint of qubit topology, the implementation of quantum algorithm rightly, is essential for moving information around in a quantum computer. Swapping of qubits using SWAP gate moves the quantum state between two qubits and solves the neighbourhood constraint of qubit topology. Though, one needs to decompose the SWAP gate into three CNOT gates to implement…
We demonstrate that the [Yb(trensal)] molecule is a prototypical coupled electronic qubit-nuclear qudit system. The combination of noise-resilient nuclear degrees of freedom and large reduction of nutation time induced by electron-nuclear mixing enables coherent manipulation of this qudit by radio-frequency pulses. Moreover, the multi-level structure of the qudit is exploited to encode and operate a qubit with embedded basic quantum error correction.
In quantum computation and information science, the geometrical representations based on the Bloch sphere representation for transformations of two state systems have been traditionally used. While this representation is very useful for the two state qubit, it cannot be generalized easily to multiple states like that of qudits and when it is generalized, it looses its simple geometrical representation. This paper proposes the use of an alternative representation in quantum information and computation for qubits as well as qudits based on the Majorana representation on the Riemann Sphere, which…
The quantizer-dequantizer formalism is developed for mean value and probability representation of qubits and qutrits. We derive the star-product kernels providing the possibility to derive explicit expressions of the associative product of the symbols of the density operators and quantum observables for qubits. We discuss an extension of the quantizer-dequantizer formalism associated with the probability and observable mean-value descriptions of quantum states for qudits.
