We give an algorithm allowing to construct bases of local unitary invariants of pure k-qubit states from the knowledge of polynomial covariants of the group of invertible local filtering operations. The simplest invariants obtained in this way are explicited and compared to various known entanglement measures. Complete sets of generators are obtained for up to four qubits, and the structure of the invariant algebras is discussed in detail.
Operator entanglement of two-qubit joint unitary operations is revisited. Schmidt number is an important attribute of a two-qubit unitary operation, and may have connection with the entanglement measure of the unitary operator. We found the entanglement measure of two-qubit unitary operators is classified by the Schmidt number of the unitary operators. The exact relation between the operator entanglement and the parameters of the unitary operator is clarified too.
We study the local unitary equivalence for two and three-qubit mixed states by investigating the invariants under local unitary transformations. For two-qubit system, we prove that the determination of the local unitary equivalence of 2-qubits states only needs 14 or less invariants for arbitrary two-qubit states. Using the same method, we construct invariants for three-qubit mixed states. We prove that these invariants are sufficient to guarantee the LU equivalence of certain kind of three-qubit states. Also, we make a comparison with earlier works.
We present a complete set of local unitary invariants for generic multi-qubit systems which gives necessary and sufficient conditions for two states being local unitary equivalent. These invariants are canonical polynomial functions in terms of the generalized Bloch representation of the quantum states. In particular, we prove that there are at most 12 polynomial local unitary invariants for two-qubit states and at most 90 polynomials for three-qubit states. Comparison with Makhlin's 18 local unitary invariants is given for two-quibit systems.
A new form of local unitary (LU) transformation invariant is given for multi-qubit states . The general relation between tangle and the LU transformation invariant of pure three and four-qubit states is given. We find that the tangle actually is a special LU transformation invariant. Furthermore, the tangle is a important local unitary (LU) transformation invariant which is a nessesary condition for maximally multi-qubit entangled state.
We present computable criterion for completely classifying multi-qubit quantum states under local unitary operations. The criterion can be used to detect whether two quantum states in multi-qubit systems are local unitary equivalent or not. Once obtaining the positive answer, we are further able to compute the corresponding unitary operators precisely. Since the scheme is based on the mean values of some quantum mechanical observables, it supplies an experimental way to judge the local equivalence of quantum states.
We develop a unitary dependence theory to characterize the behaviors of quantum circuits and states in terms of how quantum gates manipulate qubits and determine their measurement probabilities. A qubit has dependence on a 1-qubit unitary gate if its measurement probabilities depend on the parameters of the gate. A 1-qubit unitary creates such a dependence onto the target qubit, and a CNOT gate copies all the dependences from the control qubit to the target qubit. The complete dependence picture of the output state details the connections qubits may have when being manipulated or measured. Com…
In this paper, we study time-optimal control problems related to system of two coupled qubits where the time scales involved in performing unitary transformations on each qubit are significantly different. In particular, we address the case where unitary transformations produced by evolutions of the coupling take much longer time as compared to the time required to produce unitary transformations on the first qubit but much shorter time as compared to the time to produce unitary transformations on the second qubit. We present a canonical decomposition of SU(4) in terms of the subgroup SU(2)xSU…
We consider a two-qubit unitary operation along with arbitrary local unitary operations acts on a two-qubit pure state, whose entanglement is C_0. We give the conditions that the final state can be maximally entangled and be non-entangled. When the final state can not be maximally entangled, we give the maximal entanglement C_max it can reach. When the final state can not be non-entangled, we give the minimal entanglement C_min it can reach. We think C_max and C_min represent the entanglement changing power of two-qubit unitary operations. According to this power we define an order of gates.
In this paper the geometry of two-qubit systems under local unitary group $SO(2)\otimes SU(2)$ is discussed. It is shown that the quaternionic conformal map intertwines between this local unitary subgroup of $Sp(2)$ and the quaternionic Möbius transformation which is rather a generalization of the results of Lee et al (2002 Quantum Inf. Process. 1 129).
By preparing an input state and measuring an observable for the output state, we can measure a quantum channel. Following the formulation given by Xiao et al., we study an uncertainty relation for ancilla-free measurements of random unitary channels acting on a qubit. We obtain an explicit formula and give a necessary and sufficient condition for this formula to be nontrivial.
We derive necessary and sufficient conditions for the LU-equivalence of two general (pure or mixed) $n$-qubit states as well as we determine the local unitary operators connecting them. Almost all relevant information is contained in the $1$-qubit reduced matrices of the multiqubit states under investigation Our technique relies on identifying {\it ab initio} all local symmetries and the corresponding local cyclic unitary operators. To derive the above conditions we use the reference forms of the multiqubit states whose definition requires the diagonalization of the 1-qubit reduced matrices. B…
Local unitary invariance and the notion of negativity fonts are used as the principle tools to construct four qubit invariants of degree 8, 12, and 24. A degree 8 polynomial invariant that is non-zero on pure four qubit states with four-body correlations and zero on all other states, is identified. Classification of four qubit states into seven major classes, using criterion based on the nature of correlations, is discussed.
We obtain local unitary invariant polynomials for N qubit quantum state from first principles. A basic unit of entanglement, referred to as negativity font, is defined as a two by two matrix of probability amplitudes that determines the negative eigen value of a four by four submatrix of partially transposed state operator. Transformation properties of determinants of negativity fonts under local unitary (LU) transformations are exploited to obtain multi qubit invariants written in terms of such determinants.
We present a novel approach for studying the dynamics of a superconducting qubit in a cavity. We succeed in linearizing the Hamiltonian through the application of an appropriate unitary transformation followed by a rotating wave approximation (RWA). For certain values of the parameters involved, we show that it is possible to obtain a a Jaynes-Cummings type Hamiltonian. As an example, we show the existence of super-revivals for the qubit inversion.
We analyze random unitary evolution of the qubit within memory kernel approach. We provide sufficient conditions which guarantee that the corresponding memory kernel generates physically legitimate quantum evolution. Interestingly, we are able to recover several well known examples and generate new classes of nontrivial qubit evolution. Surprisingly, it turns out that quantum evolution with memory kernel generated by our approach gives rise to vanishing non-Markovianity measure based on the distinguishability of quantum states.
Two-qubit operations may be characterized by their capacities for communication, both with and without free entanglement, and their capacity for creating entanglement. We establish a set of inequalities that give an ordering to the capacities of two-qubit unitary operations. Specifically, we show that the capacities for entanglement creation and bidirectional communication without entanglement assistance are at least as great as half the bidirectional communication capacity with entanglement assistance. In addition, we show that the bidirectional communication that can be performed using an en…
The CANDECOMP/PARAFAC (CP) decomposition is a generalization of the spectral decomposition of matrices to higher-order tensors. In this paper we use the CP decomposition to study unitary equivalence of higher order tensors and construct several invariants of local unitary equivalence for general higher order tensors. Based on this new method, we study the coefficient tensors of $3$-qubit states and obtain a necessary and sufficient criterion for local unitary equivalence of general tripartite states in terms of the CP decomposition. We also generalize this method to obtain some invariants of l…
A quantum compiler is a software program for decomposing ("compiling") an arbitrary unitary matrix into a sequence of elementary operations (SEO). The author of this paper is also the author of a quantum compiler called Qubiter. Qubiter uses a matrix decomposition called the Cosine-Sine Decomposition (CSD) that is well known in the field of Computational Linear Algebra. One way of measuring the efficiency of a quantum compiler is to measure the number of CNOTs it uses to express an unstructured unitary matrix (a unitary matrix with no special symmetries). We will henceforth refer to this numbe…
We investigate the influence of dissipation and decoherence on quantum Darwinism by generalizing Zurek's original qubit model of decoherence and the establishment of pointer states (Zurek, Nature Physics 5, 181 - 188 (2009)). Our model allows for repeated multiple qubit-qubit couplings between system and environment which are described by randomly applied two-qubit quantum operations inducing entanglement, dissipation and dephasing. The resulting stationary qubit states of system and environment are investigated. They exhibit the intricate influence of entanglement generation, dissipation and …
We present a simple quantum circuit that allows for the universal and deterministic manipulation of the quantum state of confined harmonic oscillators. The scheme is based on the selective interactions of the referred oscillator with an auxiliary three-level system and a classical external driving source, and enables any unitary operations on Fock states, two-by-two. One circuit is equivalent to a single qubit unitary logical gate on Fock states qubits. Sequences of similar protocols allow for complete, deterministic and state-independent manipulation of the harmonic oscillator quantum state.
We study the optimization problem for remote one- and two-qubit state creation via a homogeneous spin-1/2 communication line using the local unitary transformations of the multi-qubit sender and extended receiver. We show that the maximal length of a communication line used for the needed state creation (the critical length) increases with an increase in the dimensionality of the sender and extended receiver. The model with the sender and extended receiver consisting of up to 10 nodes is used for the one-qubit state creation and we consider two particular states: the almost pure state and the …
We consider the mixed states of the bipartite quantum system with the first party a qubit and the second a qutrit. The group of local unitary transformations of the system, ignoring the overall phase factor, is the direct product G of SU(2) and SU(3). We compute the simply graded Poincare series of the algebra of G-invariant polynomial functions on the set of mixed states of the system, and construct several low degree invariants.
Upon entangling a spatial binary alternative of a photon with its polarization, one can use single photons to study arbitrary 2-qubit states. Sending the photon through a Mach-Zehnder interferometer, equipped with sets of wave plates that change the polarization, amounts to performing a unitary transformation on the 2-qubit state. We show that any desired unitary gate can be realized by a judicious choice of the parameters of the set-up and discuss a number of applications. They include the diagnosis of an unknown 2-qubit state, an optical Grover search, and the realization of a thought experi…
Local implementation of non-local quantum gates is necessary in a distributed quantum computer. Here, we demonstrate the non-local implementation of controlled-unitary quantum gates proposed by Eisert et al. (Phys Rev A 62:052317, 2000) using the five-qubit IBM quantum computer. We verify the fidelity and accuracy of the implementation through the techniques of quantum state and process tomographies.
This paper considers the control landscape of quantum transitions in multi-qubit systems driven by unitary transformations with single-qubit interaction terms. The two-qubit case is fully analyzed to reveal the features of the landscape including the nature of the absolute maximum and minimum, the saddle points and the absence of traps. The results permit calculating the Schmidt state starting from an arbitrary two-qubit state following the local gradient flow. The analysis of multi-qubit systems is more challenging, but the generalized Schmidt states may also be located by following the local…
We consider the effects of plane-wave states scattering off finite graphs, as an approach to implementing single-qubit unitary operations within the continuous-time quantum walk framework of universal quantum computation. Four semi-infinite tails are attached at arbitrary points of a given graph, representing the input and output registers of a single qubit. For a range of momentum eigenstates, we enumerate all of the graphs with up to $n=9$ vertices for which the scattering implements a single-qubit gate. As $n$ increases, the number of new unitary operations increases exponentially, and for …
We compare two approaches to non-Markovian quantum evolution: one based on the concept of divisible maps and the other one based on distinguishability of quantum states. The former concept is fully characterized in terms of local generator whereas it is in general not true for the latter one. A simple example of random unitary dynamics of a qubit shows the intricate difference between those approaches. Moreover, in this case both approaches are fully characterized in terms of local decoherence rates. As a byproduct it is shown that entropy might monotonically increase even for non-Markovian qu…
We prove that the entangling capacity of a two-qubit unitary operator without local ancillas, both with and without the restriction to initial product states, as quantified by the maximum attainable concurrence, is directly related to the distinguishability of a closely related pair of two-qubit unitary operators. These operators are the original operator transformed into its canonical form and the adjoint of this canonical form. The distinguishability of these operators is quantified by the minimum overlap of the output states over all possible input probe states. The entangling capacity of t…
We present numerical results on the capacities of two-qubit unitary operations for creating entanglement and increasing the Holevo information of an ensemble. In all cases tested, the maximum values calculated for the capacities based on the Holevo information are close to the capacities based on the entanglement. This indicates that the capacities based on the Holevo information, which are very difficult to calculate, may be estimated from the capacities based upon the entanglement, which are relatively straightforward to calculate.
Undoing a unitary operation, $i.e$. reversing its action, is the task of canceling the effects of a unitary evolution on a quantum system, and it may be easily achieved when the unitary is known. Given a unitary operation without any specific description, however, it is a hard and challenging task to realize the inverse operation. Recently, a universal quantum circuit has been proposed [Phys.Rev.Lett. 123, 210502 (2019)] to undo an arbitrary unknown $d$-dimensional unitary $U$ by implementing its inverse with a certain probability. In this letter, we report the experimental reversing of three …
The implementation of a high-fidelity two-qubit quantum logic gate remains an outstanding challenge for isolated solid-state qubits such as Nitrogen-Vacancy (NV) centers in diamond. In this work, we show that by driving pairs of NV centers to undergo photon scattering processes that flip their qubit state simultaneously, we can achieve a unitary two-qubit gate conditioned upon a single photon detection event. Further, by exploiting quantum interference between the optical transitions of the NV centers electronic states, we realize the existence of two special drive frequencies: a `magic' point…
Quantum discord is significant in analyzing quantum nonclassicality beyond the paradigm of entanglement. Presently we have explored the effectiveness of global unitary operations in manifesting quantum discord from a general two qubit zero discord state. Apart from the emergence of some obvious concepts such as absolute classical-quantum, absolute quantum-classical states, more interestingly, it is observed that set of states characterized by absoluteness contains only maximally mixed state. Consequently this marks the peak of effectiveness of global unitary operations in purview of manifestin…
With improved gate calibrations reducing unitary errors, we achieve a benchmarked single-qubit gate fidelity of 99.95% with superconducting qubits in a circuit quantum electrodynamics system. We present a method for distinguishing between unitary and non-unitary errors in quantum gates by interleaving repetitions of a target gate within a randomized benchmarking sequence. The benchmarking fidelity decays quadratically with the number of interleaved gates for unitary errors but linearly for non-unitary, allowing us to separate systematic coherent errors from decoherent effects. With this protoc…
We introduce a scheme for realizing arbitrary controlled-unitary operations in a two qubit system. If the 2 \times 2 unitary matrix is special unitary (has unit determinant), the controlled-unitary gate operation can be realized in a single pulse operation. The pulse, in our scheme, will constitute varying one of the parameters of the system between an arbitrarily maximum and a "calculated" minimum value. This parameter will constitute the variable parameter of the system while the other parameters, which include the coupling between the two qubits, will be treated as fixed parameters. The val…
We classify, up to local unitary equivalence, local unitary stabilizer Lie algebras for symmetric mixed states into six classes. These include the stabilizer types of the Werner states, the GHZ state and its generalizations, and Dicke states. For all but the zero algebra, we classify entanglement types (local unitary equivalence classes) of symmetric mixed states that have those stabilizers. We make use of the identification of symmetric density matrices with polynomials in three variables with real coefficients and apply the representation theory of SO(3) on this space of polynomials.
We present a protocol for transferring arbitrary continuous-variable quantum states into a few discrete-variable qubits and back. The protocol is deterministic and utilizes only two-mode Rabi-type interactions which are readily available in trapped-ion and superconducting circuit platforms. The inevitable errors caused by transferring an infinite-dimensional state into a finite-dimensional register are suppressed exponentially with the number of qubits. Furthermore, the encoded states exhibit robustness against noise, such as dephasing and amplitude damping, acting on the qubits. Our protocol …
We propose a new spin squeezing criterion for arbitrary multi-qubit states that is invariant under local unitary operations. We find that, for arbitrary pure two-qubit states, spin squeezing is equivalent to entanglement, and multi-qubit states are entangled if this new spin squeezing parameter is less than 1.
We construct $\ell $-spin-flipping matrices from the coefficient matrices of pure states of $n$ qubits and show that the $\ell $-spin-flipping matrices are congruent and unitary congruent whenever two pure states of $n$ qubits are SLOCC and LU equivalent, respectively. The congruence implies the invariance of ranks of the $\ell $-spin-flipping matrices under SLOCC and then permits a reduction of SLOCC classification of n qubits to calculation of ranks of the $\ell $-spin-flipping matrices. The unitary congruence implies the invariance of singular values of the $\ell $-spin-flipping matrices un…
We address the question of existence of private quantum channel for qubits encoded in polarization degrees of freedom of a photon, that remains secure even if multi-photon (instead of single-photon) pulse is emitted. We show that random unitary channel distributed according to SU(2) Haar measure has this property. Further we analyze the qubit unitary k-designs. We show they ensure security if the photons' parity of the source is guaranteed. Otherwise, the qubit unitary k-designs do not guarantee perfect security.
We introduce a measure of quantum correlations in the $N$-qubit quantum system which is invariant with respect to the $SU(2^N)$ group of transformations of this system. This measure is a modification of the quantum discord introduced earlier and is referred to as the unitary or $SU(2^N)$-invariant discord. Since the evolution of a quantum system is equivalent to the proper unitary transformation, the introduced measure is an integral of motion and is completely defined by eigenvalues of the density matrix. As far as the calculation of the unitary invariant discord is rather complicated computa…
We consider the implementation of two-qubit unitary transformations by means of CNOT gates and single-qubit unitary gates. We show, by means of an explicit quantum circuit, that together with local gates three CNOT gates are necessary and sufficient in order to implement an arbitrary unitary transformation of two qubits. We also identify the subset of two-qubit gates that can be performed with only two CNOT gates.
By using an ancilla qubit as a mediator, two distant qubits can undergo a non-local entangling unitary operation. This is desirable for when attempting to scale up or distribute quantum computation by combining fixed static local sets of qubits with ballistic mediators. Using a model driven by measurements on the ancilla, it is possible to generate a maximally entangling CZ gate while only having access to a less entangling gate between the pair qubits and the ancilla. However this results in a stochastic process of generating control phase rotation gates where the expected time for success do…
Decoherence is a fundamental obstacle to the implementation of large-scale and low-noise quantum information processing devices. In this work, we suggest an approach for suppressing errors by employing pre-processing and post-processing unitary operations, which precede and follow the action of a decoherence channel. In contrast to quantum error correction and measurement-based methods, the suggested approach relies on specifically designed unitary operators for a particular state without the need in ancillary qubits or post-selection procedures. We consider the case of decoherence channels ac…
While implementing a quantum algorithm it is crucial to reduce the quantum resources, in order to obtain the desired computational advantage. For most fault-tolerant quantum error-correcting codes the cost of implementing the non-Clifford gate is the highest among all the gates in a universal fault-tolerant gate set. In this paper we design provable algorithm to determine T-count of any $n$-qubit ($n\geq 1$) unitary $W$ of size $2^n\times 2^n$, over the Clifford+T gate set. The space and time complexity of our algorithm are $O\left(2^{2n}\right)$ and $O\left(2^{2n\mathcal{T}_ε(W)+4n}\right)$ r…
Local unitary stabilizer subgroups constitute powerful invariants for distinguishing various types of multipartite entanglement. In this paper, we show how stabilizers can be used as a basis for entanglement verification protocols on distributed quantum networks using minimal resources. As an example, we develop and analyze the performance of a protocol to verify membership in the space of Werner states, that is, multi-qubit states that are invariant under the action of any 1-qubit unitary applied to all the qubits.
Any unitary transformation of quantum computational networks is explicitly decomposed, in an exact and unified form, into a sequence of a limited number of one-qubit quantum gates and the two-qubit diagonal gates that have diagonal unitary representation in usual computational basis. This decomposition may be simplified greatly with the help of the properties of the finite-dimensional multiple-quantum operator algebra spaces of a quantum system and the specific properties of a given quantum algorithm. As elementary building blocks of quantum computation, the two-qubit diagonal gates and one-qu…
We characterise a model of universal quantum computation where the register (computational) qubits are controlled by ancillary qubits, using only a single fixed interaction between register and ancillary qubits. No additional access is required to the computational register and the dynamics of both the register and ancilla are unitary. This scheme is inspired by the measurement-based ancilla-driven quantum computation of Anders et al. [PRA 82, 020301(R), 2010], but does not require measurements of the ancillas, and in this respect is similar to the original gate based model of quantum computat…
Unitary-accessible coherence-erasure distance: Exact qubit solution and a tight qutrit bound
Changchun University of Technology（长春工业大学）；Yanbian University（延边大学）；Capital Normal University（首都师范大学）；Max-Planck-Institute for Mathematics in the Sciences（马克斯·普朗克科学促进部数理研究所）
Surface codes based on stabilizer circuits may pave the way for large scale fault-tolerant quantum computation. The surface code uses only single- and two-qubit gates and the error threshold falls close to 1% for a large range of errors. Among the most promising candidates to physically implement such circuits and codes are superconducting qubits coupled by resonators. We investigate a X and Z stabilizing circuit realized by two data qubits, two ancillas and four resonators. The aim is to assess the consequences of unitary evolution of the interacting system, in particular for given stable ini…
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…
Four-level systems in quantum optics, and for representing two qubits in quantum computing, are difficult to solve for general time-dependent Hamiltonians. A systematic procedure is presented which combines analytical handling of the algebraic operator aspects with simple solutions of classical, first-order differential equations. In particular, by exploiting $su(2) \oplus su(2)$ and $su(2) \oplus su(2) \oplus u(1)$ sub-algebras of the full SU(4) dynamical group of the system, the non-trivial part of the final calculation is reduced to a single Riccati (first order, quadratically nonlinear) eq…
Non-adiabatic holonomic quantum gate in decoherence-free subspaces is of greatly practical importance due to its built-in fault tolerance, coherence stabilization virtues, and short run-time. Here we propose some compact schemes to implement two- and three-qubit controlled unitary quantum gates and Fredkin gate. For the controlled unitary quantum gates, the unitary operator acting on the target qubit is an arbitrary single-qubit gate operation. The controlled quantum gates can be directly implemented using non-adiabatic holonomy in decoherence-free subspaces and the required resource for the d…
It is commonly stated that decoherence in open quantum systems is due to growing entanglement with an environment. In practice, however, surprisingly often decoherence may equally well be described by random unitary dynamics without invoking a quantum environment at all. For a single qubit, for instance, pure decoherence (or phase damping) is always of random unitary type. Here, we construct a simple example of true quantum decoherence of two qubits: we present a feasible phase damping channel of which we show that it cannot be understood in terms of random unitary dynamics. We give a very int…
