We obtain a complete and minimal set of 170 generators for the algebra of $SL(2,\C)^{\times 4}$-covariants of a binary quadrilinear form. Interpreted in terms of a four qubit system, this describes in particular the algebraic varieties formed by the orbits of local filtering operations in its projective Hilbert space. Also, this sheds some light on the local unitary invariants, and provides all the possible building blocks for the construction of entanglement measures for such a system.
A six-qubit quantum network consisting of conditional unitary gates is presented which is capable of implementing a large class of covariant two-qubit quantum operations. Optimal covariant NOT operations for one and two-qubit systems are special cases contained in this class. The design of this quantum network exploits basic algebraic properties which also shed new light onto these covariant quantum processes.
The structure of all completely positive quantum operations is investigated which transform pure two-qubit input states of a given degree of entanglement in a covariant way. Special cases thereof are quantum NOT operations which transform entangled pure two-qubit input states of a given degree of entanglement into orthogonal states in an optimal way. Based on our general analysis all covariant optimal two-qubit quantum NOT operations are determined. In particular, it is demonstrated that only in the case of maximally entangled input states these quantum NOT operations can be performed perfectl…
We consider cloning transformations of equatorial qubits and qutrits, with the transformation covariant for rotation of the phases. The optimal cloning maps are derived without simplifying assumptions from first principles, for any number of input and output qubits, and for a single input qutrit and any number of output qutrits. We also compare the cloning maps for global and single particle fidelities, and we show that the two criteria lead to different optimal maps.
We describe a general framework to study covariant symmetric broadcasting maps for mixed qubit states. We explicitly derive the optimal N to M superbroadcasting maps, achieving optimal purification of the single-site output copy, in both the universal and the phase covariant cases. We also study the bipartite entanglement properties of the superbroadcast states.
We consider the entanglement manipulation capabilities of the universal covariant quantum cloner or quantum processor circuit for quantum bits. We investigate its use for cloning a member of a bipartite or a genuine tripartite entangled state of quantum bits. We find that for bipartite pure entangled states a nontrivial behavior of concurrence appears, while for GHZ entangled states a possibility of the partial extraction of bipartite entanglement can be achieved.
Given two two-qubit pure states characterized by their Schmidt numbers we investigate an optimal strategy to convert the states between themselves with respect to their local unitary invariance. We discuss the efficiency of this transformation and its connection to LOCC convertibility properties between two single-copy quantum states. As an illustration of the investigated transformations we present a communication protocol where in spite of all expectations a shared maximally entangled pair between two participants is the worst quantum resource.
We compare several optical implementations of phase-covariant cloning machines. The experiments are based on copying of the polarization state of a single photon in bulk optics by special unbalanced beam splitter or by balanced beam splitter accompanied by a state filtering. Also the all-fiber based setup is discussed, where the information is encoded into spatial modes, i.e., the photon can propagate through two optical fibers. Each of the four implementations possesses some advantages and disadvantages that are discussed.
Phase covariant qubit dynamics describes an evolution of a two-level system under simultaneous action of pure dephasing, energy dissipation, and energy gain with time-dependent rates $γ_z(t)$, $γ_-(t)$, and $γ_+(t)$, respectively. Non-negative rates correspond to completely positive divisible dynamics, which can still exhibit such peculiarities as non-monotonicity of populations for any initial state. We find a set of quantum channels attainable in the completely positive divisible phase covariant dynamics and show that this set coincides with the set of channels attainable in semigroup phase …
We report on two optical realizations of the $1 \to 2$ asymmetric phase-covariant cloning machines for polarization states of single photons. The experimental setups combine two-photon interference and tunable polarization filtering that enables us to control the asymmetry of the cloners. The first scheme involves a special unbalanced bulk beam splitter exhibiting different splitting ratios for vertical and horizontal polarizations, respectively. The second implemented scheme consists of a balanced fiber coupler where photon bunching occurs, followed by a free-space part with polarization filt…
While exact cloning of an unknown quantum state is prohibited by the linearity of quantum mechanics, approximate cloning is possible and has been used, e.g., to derive limits on the security of quantum communication protocols. In the case of asymmetric cloning, the information from the input state is distributed asymmetrically between the different output states. Here, we consider asymmetric phase-covariant cloning, where the goal is to optimally transfer the phase information from a single input qubit to different output qubits. We construct an optimal quantum cloning machine for two qubits t…
We present the experimental realization of optimal symmetric and asymmetric phase-covariant 1->2 cloning of qubit states using fiber optics. State of each qubit is encoded into a single photon which can propagate through two optical fibers. The operation of our device is based on one- and two-photon interference. We have demonstrated creation of two copies of any state of a qubit from the equator of the Bloch sphere. The measured fidelities of both copies are close to the theoretical values and they surpass the theoretical maximum obtainable with the universal cloner.
Quantum cloning machines for equatorial qubits are studied. For the case of 1 to 2 phase-covariant quantum cloning machine, we present the networks consisting of quantum gates to realize the quantum cloning transformations. The copied equatorial qubits are shown to be separable by using Peres-Horodecki criterion. The optimal 1 to M phase-covariant quantum cloning transformations are given.
The optimal phase covariant cloning machine (PQCM) broadcasts the information associated to an input qubit into a multi-qubit systems, exploiting a partial a-priori knowledge of the input state. This additional a priori information leads to a higher fidelity than for the universal cloning. The present article first analyzes different experimental schemes to implement the 1->3 PQCM. The method is then generalized to any 1->M machine for odd value of M by a theoretical approach based on the general angular momentum formalism. Finally different experimental schemes based either on linear or non-l…
We present an optical implementation of two programmable quantum measurement devices. The first one serves for unambiguous discrimination of two nonorthogonal states of a qubit. The particular pair of states to be discriminated is specified by the quantum state of a program qubit. The second device can perform von Neumann measurements on a single qubit in any basis located on the equator of the Bloch sphere. Again, the basis is selected by the state of a program qubit. In both cases the data and program qubits are represented by polarization states of photons. The experimental apparatus exploi…
We study the minimal input sets which can determine completely the universal and the phase-covariant quantum cloning machines. We find that the universal quantum cloning machine, which can copy arbitrary input qubit equally well, however can be determined completely by only four input states located at the four vertices of a tetrahedron. The phase-covariant quantum cloning machine, which can copy all qubits located on the equator of the Bloch sphere, can be determined by three equatorial qubits with equal angular distance. These results sharpen further the well-known results that BB84 states a…
The 1->3 quantum phase covariant cloning, which optimally clones qubits belonging to the equatorial plane of the Bloch sphere, achieves the fidelity Fcov(1->3)=0.833, larger than for the 1->3 universal cloning Funiv(1->3)=0.778. We show how the 1->3 phase covariant cloning can be implemented by a smart modification of the standard universal quantum machine by a projection of the output states over the symmetric subspace. A complete experimental realization of the protocol for polarization encoded qubits based on non-linear and linear methods will be discussed.
We investigate the multiphoton states generated by high-gain optical parametric amplification of a single injected photon, polarization encoded as a ''qubit''. The experiment configuration exploits the optimal phase-covariant cloning in the high gain regime. The interference fringe pattern showing the non local transfer of coherence between the injected qubit and the mesoscopic amplified output field involving up to 4000 photons has been investigated. A probabilistic new method to extract full information about the multiparticle output wavefunction has been implemented.
We describe a nuclear magnetic resonance (NMR) experiment which implements an efficient one-to-two qubit phase-covariant cloning machine(QPCCM). In the experiment we have achieved remarkably high fidelities of cloning, 0.848 and 0.844 respectively for the original and the blank qubit. This experimental value is close to the optimal theoretical value of 0.854. We have also demonstrated how to use our phase-covariant cloning machine for quantum simulations of bit by bit eavesdropping in the four-state quantum key distribution protocol.
We propose an interesting scheme for distributed orbital state quantum cloning with atomic ensembles based on the quantum Zeno dynamics. These atomic ensembles which consist of identical three-level atoms are trapped in distant cavities connected by a single-mode integrated optical star coupler. These qubits can be manipulated through appropriate modulation of the coupling constants between atomic ensemble and classical field, and the cavity decay can be largely suppressed as the number of atoms in the ensemble qubits increases. The fidelity of each cloned qubit can be obtained with analytic r…
The first part of the paper reviews applications of 2-spinor methods to relativistic qubits (analogies between tetrads in Minkowski space and 2-qubit states, qubits defined by means of null directions and their role for elimination of the Peres-Scudo-Terno phenomenon, advantages and disadvantages of relativistic polarization operators defined by the Pauli-Lubanski vector, manifestly covariant approach to unitary representations of inhomogeneous SL(2,C)). The second part deals with electromagnetic fields quantized by means of harmonic oscillator Lie algebras (not necessarily taken in irreducibl…
Effective dynamics of qubit networks via phase-covariant quantum ensembles
Institute of Gravitation and the Cosmos, The Pennsylvania State University（宾夕法尼亚州立大学引力与宇宙学研究所）；Department of Physics, The Pennsylvania State University（宾夕法尼亚州立大学物理系）
The experimental realization of optimal symmetric phase-covariant 1->2 cloning of qubit states is presented. The qubits are represented by polarization states of photons generated by spontaneous parametric down-conversion. The experiment is based on the interference of two photons on a custom-made beam splitter with different splitting ratios for vertical and horizontal polarization components. From the measured data we have estimated the implemented cloning transformation using the maximum-likelihood method. The result shows that the realized transformation is very close to the ideal one and …
Estimation of unknown qubit elementary gates and alignment of reference frames are formally the same problem. Using quantum states made out of $N$ qubits, we show that the theoretical precision limit for both problems, which behaves as $1/N^{2}$, can be asymptotically attained with a covariant protocol that exploits the quantum correlation of internal degrees of freedom instead of the more fragile entanglement between distant parties. This cuts by half the number of qubits needed to achieve the precision of the dense covariant coding protocol.
In this paper, we prove that it is impossible to construct a convariant quantum feedback control instruments which aim to correct the channel noise imposed on an unknown qubit. The proof is based on the searching for the optimal quantum control protocol and it turns out there exist no better %\textit{Complete Positive Trace %Preserving}(CPTP) maps complete positive and covariant quantum operations which provide a higher fidelity than the trivial Identity operators. The generalization of the investigation to bipartite entangled pure state is also included.
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.
An evolution of a two-level system (qubit) interacting with a single-photon wave packet is analyzed. It is shown that a hierarchy of master equations gives rise to phase covariant qubit evolution. The temporal correlations in the input field induce nontrivial memory effects for the evolution of a qubit. It is shown that in the resonant case whenever time-local generator is regular (does not display singularities) the qubit evolution never displays information backflow. However, in general the generator might be highly singular leading to intricate non-Markovian effects. A detailed analysis of …
In the four-dimensional Hilbert space, there exist 16 Heisenberg--Weyl (HW) covariant symmetric informationally complete positive operator valued measures (SIC~POVMs) consisting of 256 fiducial states on a single orbit of the Clifford group. We explore the structure of these SIC~POVMs by studying the symmetry transformations within a given SIC~POVM and among different SIC~POVMs. Furthermore, we find 16 additional SIC~POVMs by a regrouping of the 256 fiducial states, and show that they are unitarily equivalent to the original 16 SIC~POVMs by establishing an explicit unitary transformation. We t…
We derive a general expression for standard tensor norm of $N$-body correlation tensors for $N$-qubit complete graph states. With the help of this expression, we formulate a separability criterion that identifies non-$k$-separability of a class of $N$-qubit complete graph states, including GHZ state. We illustrate the performance of our criterion by considering the $N$-qubit complete graph states added with colored product noise. We also demonstrate that few local measurement settings are sufficient to evaluate our criterion.
In this work, we provide a complete analysis to minimum-error discrimination of mixed four qubit states with arbitrary prior probabilities. For the complete anaysis, the most important work to do is to find the necessary and sufficient conditions for the existence of null measurement operator. From the geometric structure of qubit states, we obtain the analytic condition for deciding the existence of a null operator in minimum-error measurement for mixed four qubit states, which also gives the necessary and sufficient conditions for every optimal POVM to have non-zero elements. Using the condi…
We consider perturbations of dynamical semigroups on the algebra of all bounded operators in a Hilbert space generated by covariant completely positive measures on the semi-axis. The construction is based upon unbounded linear perturbations of generators of the preadjoint semigroups on the space of nuclear operators. As an application we construct a perturbation of the semigroup of non-unital *-endomorphisms on the algebra of canonical anticommutation relations resulting in the flow of shifts.
Institute of Physics, Faculty of Physics, Astronomy and Informatics, Nicolaus Copernicus University（尼古拉·哥白尼大学物理、天文与信息学院物理研究所）；Tata Institute of Fundamental Research Hyderabad（塔塔基础研究所海得拉巴分所）；Institute for Quantum Studies, Chapman University（查普曼大学量子研究学院）；Department of Computer Science, Texas Tech University（德克萨斯理工大学计算机科学系）
The ZX-calculus is a graphical calculus for reasoning about pure state qubit quantum mechanics. It is complete for pure qubit stabilizer quantum mechanics, meaning any equality involving only stabilizer operations that can be derived using matrices can also be derived pictorially. Stabilizer operations include the unitary Clifford group, as well as preparation of qubits in the state |0>, and measurements in the computational basis. For general pure state qubit quantum mechanics, the ZX-calculus is incomplete: there exist equalities involving non-stabilizer unitary operations on single qubits w…
In this paper, an unextendible product basis and exact-entanglement bases of three qubit is given, and the properties of entanglement for exact-entanglement bases are also discussed. In addition, the bound entangled mixed state is obtained from the exact-entanglement bases.
A survey of the probabilistic approaches to quantum dynamical semigroups with unbounded generators is given. An emphasis is made upon recent advances in the structural theory of covariant Markovian master equations. The relations with the classical Levy-Khinchin formula are elucidated. As an example, a complete characterizations of the Galilean covariant irreversible quantum Markovian evolutions is given in terms of the corresponding quantum master and Langevin equations. Important topics for future investigation are outlined.
We investigate decoherence channels that are modelled as a sequence of collisions of a quantum system (e.g., a qubit) with particles (e.g., qubits) of the environment. We show that collisions induce decoherence when a bi-partite interaction between the system qubit and an environment (reservoir) qubit is described by the controlled-U unitary transformation (gate). We characterize decoherence channels and in the case of a qubit we specify the most general decoherence channel and derive a corresponding master equation. Finally, we analyze entanglement that is generated during the process of deco…
Mitigating exponential concentration in covariant quantum kernels for subspace and real-world data
E.ON Digital Technology GmbH（E.ON数字技术有限公司）；IBM Quantum, IBM Research – Italy（IBM量子计算，IBM研究院-意大利）；IBM Quantum, IBM Research Europe – Dublin（IBM量子计算，IBM欧洲研究院-都柏林）；IBM Quantum, IBM Research – India（IBM量子计算，IBM印度研究院）
Gisin's theorem assures that for any pure bipartite entangled state, there is violation of Bell-CHSH inequality revealing its contradiction with local realistic model. Whether, similar result holds for three-qubit pure entangled states, remained unresolved. We show analytically that all three-qubit pure entangled states violate a Bell-type inequality, derived on the basis of local realism, by exploiting the Hardy's non-locality argument.
We present the first full experimental quantum tomographic characterization of a single-qubit device achieved with a single entangled input state. The entangled input state plays the role of all possible input states in quantum parallel on the tested device. The method can be trivially extended to any n-qubits device by just replicating the whole experimental setup n times.
We consider the optimal approximation of arbitrary qubit states with respect to an available states consisting the eigenstates of two of three Pauli matrices, the $B_2$-distance of an arbitrary target state. Both the analytical formulae of the $B_2$-distance and the corresponding complete optimal decompositions are obtained. The tradeoff relations for both the sum and the squared sum of the $B_2$-distances have been analytically and numerically investigated.
We study the problem of information masking through nonzero linear operators that distribute information encoded in single qubits to the correlations between two qubits. It is shown that a nonzero linear operator cannot mask any nonzero measure set of qubit states. We prove that the maximal maskable set of states on the Bloch sphere with respect to any masker is the ones on a spherical circle. Any states on a spherical circle on the Bloch sphere are maskable, which also proves the conjecture on maskable qubit states given by Modi et al. [Phys. Rev. Lett. 120, 230501 (2018)]. we provide explici…
The problem of finding the ground state of a frustration-free Hamiltonian carrying only two-body interactions between qubits is known to be solvable in polynomial time. It is also shown recently that, for any such Hamiltonian, there is always a ground state that is a product of single- or two-qubit states. However, it remains unclear whether the whole ground space is of any succinct structure. Here, we give a complete characterization of the ground space of any two-body frustration-free Hamiltonian of qubits. Namely, it is a span of tree tensor network states of the same tree structure. This c…
Necessary conditions for separability are most easily expressed in the computational basis, while sufficient conditions are most conveniently expressed in the spin basis. We use the Hadamard matrix to define the relationship between these two bases and to emphasize its interpretation as a Fourier transform. We then prove a general sufficient condition for complete separability in terms of the spin coefficients and give necessary and sufficient conditions for the complete separability of a class of generalized Werner densities. As a further application of the theory, we give necessary and suffi…
We show that the set of not-completely-positive (NCP) maps is unbounded, unless further assumptions are made. This is done by first proposing a reasonable definition of a valid NCP map, which is nontrivial because NCP maps may lack a full positivity domain. The definition is motivated by specific examples. We prove that for valid NCP maps, the eigenvalue spectrum of the corresponding dynamical matrix is not bounded. Based on this, we argue that in general the volume measure of qubit maps, including NCP maps, is not well defined.
Simple examples are constructed that show the entanglement of two qubits being both increased and decreased by interactions on just one of them. One of the two qubits interacts with a third qubit, a control, that is never entangled or correlated with either of the two entangled qubits and is never entangled, but becomes correlated, with the system of those two qubits. The two entangled qubits do not interact, but their state can change from maximally entangled to separable or from separable to maximally entangled. Similar changes for the two qubits are made with a swap operation between one of…
In this paper, we propose a protocol for complete Bell-state analysis for two superconducting-quantum-interference-device qubits. The Bell-state analysis could be completed by using a sequence of microwave pulses designed by the transition- less tracking algorithm, which is an useful method in the technique of shortcut to adiabaticity. After the whole process, the information for distinguishing four Bell states will be encoded on two auxiliary qubits, while the Bell states keep unchanged. One can read out the information by detecting the auxiliary qubits. Thus the Bell-state analysis is nondes…
In this article, by treating minimum error state discrimination as a complementarity problem, we obtain the geometric optimality conditions. These can be used as the necessary and sufficient conditions to determine whether every optimal measurement operator can be nonzero. Using these conditions and an inductive approach, we demonstrate a geometric method and the intrinsic polytope for N-qubit mixed-state discrimination. When the intrinsic polytope becomes a point, a line segment, or a triangle, the guessing probability, the necessary and sufficient condition for the exact solution, and the op…
We calculate the energy eigenvalues and eigenstates corresponding to coherent single and multiple excitations of an array of N identical qubits or two-level atoms (TLA's) arranged on the vertices of a regular polygon. We assume only that the coupling occurs via an exchange interaction which depends on the separation between the qubits. We include the interactions between all pairs of qubits, and our results are valid for arbitrary distances relative to the radiation wavelength. To illustrate the usefulness of these states, we plot the distance dependence of the decay rates of the n=2 (biexcito…
We present a general model of qubit dynamics which entails pure dephasing and dissipative time-local master equations. This allows us to describe the combined effect of thermalisation and dephasing beyond the usual Markovian approximation. We investigate the complete positivity conditions and introduce a heuristic model that is always physical and provides the correct Markovian limit. We study the effects of temperature on the non-Markovian behaviour of the system and show that the noise additivity property discussed by Yu and Eberly in Ref. [1] holds beyond the Markovian limit.
The Turaev-Viro invariants are scalar topological invariants of three-dimensional manifolds. Here we show that the problem of estimating the Fibonacci version of the Turaev-Viro invariant of a mapping torus is a complete problem for the one clean qubit complexity class (DQC1). This complements a previous result showing that estimating the Turaev-Viro invariant for arbitrary manifolds presented as Heegaard splittings is a complete problem for the standard quantum computation model (BQP). We also discuss a beautiful analogy between these results and previously known results on the computational …
It is shown that if the decoherence matrix corresponding to a qubit master equation has a block-diagonal real part, then the evolution is determined by a one-dimensional oscillator equation. Further, when the full decoherence matrix is block-diagonal, then the necessary and sufficient conditions for completely positive evolution may be formulated in terms of the oscillator Hamiltonian or Lagrangian. When the solution of the oscillator equation is not known, an explicit sufficient condition for complete positivity can still be obtained, based on a Hamiltonian/Lagrangian inequality. A rotational…
From the time dependence of states of one of them, the dynamics of two interacting qubits is determined to be one of two possibilities that differ only by a change of signs of parameters in the Hamiltonian. The only exception is a simple particular case where several parameters in the Hamiltonian are zero and one of the remaining nonzero parameters has no effect on the time dependence of states of the one qubit. The mean values that describe the initial state of the other qubit and of the correlations between the two qubits also are generally determined to within a change of signs by the time …
We show that the quantum states generated by universal optimal quantum cloning of a single photon represent an universal set of quantum superpositions resilient to decoherence. We adopt Bures distance as a tool to investigate the persistence ofquantum coherence of these quantum states. According to this analysis, the process of universal cloning realizes a class of quantum superpositions that exhibits a covariance property in lossy configuration over the complete set of polarization states in the Bloch sphere.
