Efficient bipartite quantum state purification in arbitrary dimensional Hilbert spaces
Gernot Alber, Aldo Delgado, Nicolas Gisin, Igor Jex
备注：
This manuscript is based on results of our previous manuscript 'Generalized quantum XOR-gate for quantum teleportation and state purification in arbitrary dimensional Hilbert spaces'
A new purification scheme is proposed which applies to arbitrary dimensional bipartite quantum systems. It is based on the repeated application of a special class of nonlinear quantum maps and a single, local unitary operation. This special class of nonlinear quantum maps is generated in a natural way by a hermitian generalized XOR-gate. The proposed purification scheme offers two major advantages, namely it does not require local depolarization operations at each step of the purification procedure and it purifies more efficiently than other know purification schemes.
We theoretically study bipartite entanglement purification with neutral atoms via cavity-assistant interaction and linear optical elements. We focus on entanglement distillation and the recurrence protocol, whose performances under idealized and realistic conditions are discussed. The implementation of these purification protocols has been tested with numerical simulations. We analyze the performance and stability of all required operations and emphasize that all techniques are feasible with current experimental technology.
We prove that all purifications of a non-factorable state (i.e., the state which cannot be expressed in a form $ρ_{AB}=ρ_A\otimesρ_B$) are entangled. We also show that for any bipartite state there exists a pair of measurements which are correlated on this state if and only if the state is non-factorable.
In this paper we consider feedback control algorithms for the rapid purification of a bipartite state consisting of two qubits, when the observer has access to only one of the qubits. We show 1) that the algorithm that maximizes the average purification rate is not the same as that that for a single qubit, and 2) that it is always possible to construct an algorithm that generates a deterministic rate of purification for {\em both} qubits. We also reveal a key difference between projective and continuous measurements with regard to state-purification.
We give a review on entanglement purification for bipartite and multipartite quantum states, with the main focus on theoretical work carried out by our group in the last couple of years. We discuss entanglement purification in the context of quantum communication, where we emphasize its close relation to quantum error correction. Various bipartite and multipartite entanglement purification protocols are discussed, and their performance under idealized and realistic conditions is studied. Several applications of entanglement purification in quantum communication and computation are presented, w…
A generalization of the quantum XOR-gate is presented which operates in arbitrary dimensional Hilbert spaces. Together with one-particle Fourier transforms this gate is capable of performing a variety of tasks which are important for quantum information processing in arbitrary dimensional Hilbert spaces. Among these tasks are the preparation of Bell states, quantum teleportation and quantum state purification. A physical realization of this generalized XOR-gate is proposed which is based on non-linear optical elements.
We present an improved protocol for entanglement purification of bipartite mixed states. The protocol requires two-way classical communication and hence implies an improved lower bound on the quantum capacity with two-way classical communication of the quantum depolarizing channel.
Any bipartite entanglement witness $W$ can be written as $W=c_σI-σ$, where $σ$ is a quantum state, $I$ is the identity matrix, and $c_σ$ is a non-negative number. We present a general method to extend the given entanglement witness to multipartite cases via purification, partial purification, and direct tensor of the quantum state $σ$. Our methods extend $σ$ but leave the parameter $c_σ$ untouched. This is very valuable since the parameter is generally not easy to compute.
We present an improved protocol for entanglement purification of bipartite mixed states using several states at a time rather than two at a time as in the traditional recurrence method. We also present a generalization of the hashing method to n-partite cat states, which achieves a finite yield of pure cat states for any desired fidelity. Our results are compared to previous protocols.
In the framework of cavity QED, we propose a practical scheme to purify dynamically a bipartite entangled state using short chains of atoms coupled to high-finesse optical cavities. In contrast to conventional entanglement purification protocols, we avoid CNOT gates, thus reducing complicated pulse sequences and superfluous qubit operations. Our interaction scheme works in a deterministic way, and together with entanglement distribution and swapping, opens a route towards efficient quantum repeaters for long-distance quantum communication.
We propose an entanglement purification protocol for high-dimensional multipartite systems. In the protocol we can select a subensemble in a pure generalized Greenberger-Horne-Zeilinger (GHZ) state. This post-selection can be made by detecting the noise which contaminated the initial pure ensemble when the systems past through a noisy environment. For the detection of noise we investigate correlation properties of GHZ states and analyze their possible errors due to a noisy environment. We show that the presented protocol is more efficient than a simple generalization of the purification protoc…
In this paper, a purification protocol is presented and its performance is proven to be optimal when applied to a particular subset of graph states that are subject to local Z-noise. Such mixed states can be produced by bringing a system into thermal equilibrium, when it is described by a Hamiltonian which has a particular graph state as its unique ground state. From this protocol, we derive the exact value of the critical temperature above which purification is impossible, as well as the related optimal purification rates. A possible simulation of graph Hamiltonians is proposed, which require…
For bipartite pure and mixed quantum states, in addition to the quantum mutual information, there is another measure of total correlation, namely, the entanglement of purification. We study the monogamy, polygamy, and additivity properties of the entanglement of purification for pure and mixed states. In this paper, we show that, in contrast to the quantum mutual information which is strictly monogamous for any tripartite pure states, the entanglement of purification is polygamous for the same. This shows that there can be genuinely two types of total correlation across any bipartite cross in …
We introduce the concept of a physical process that purifies a mixed quantum state, taken from a set of states, and investigate the conditions under which such a purification map exists. Here, a purification of a mixed quantum state is a pure state in a higher-dimensional Hilbert space, the reduced density matrix of which is identical to the original state. We characterize all sets of mixed quantum states, for which perfect purification is possible. Surprisingly, some sets of two non-commuting states are among them. Furthermore, we investigate the possibility of performing an imperfect purific…
We introduce a class of multiparticle entanglement purification protocols that allow us to distill a large class of entangled states. These include cluster states, GHZ states and various error correction codes all of which belong to the class of two-colorable graph states. We analyze these schemes under realistic conditions and observe that they are scalable, i.e. the threshold value for imperfect local operations does not depend on the number of parties for many of these states. When compared to schemes based on bipartite entanglement purification, the protocol is more efficient and the achie…
We study the problem of general entanglement purification protocols. Suppose Alice and Bob share a bipartite state $ρ$ which is ``reasonably close'' to perfect EPR pairs. The only information Alice and Bob possess is a lower bound on the fidelity of $ρ$ and a maximally entangled state. They wish to ``purify'' $ρ$ using local operations and classical communication and create a state that is arbitrarily close to EPR pairs. We prove that on average, Alice and Bob cannot increase the fidelity of the input state significantly. We also construct protocols that may fail with a small probability, and …
Multipartite entanglement purification is revisited by using the Local operations and classical communications(LOCCs). We demonstrate our idea by considering the tripartite case, i.e. the purification of tripartite entanglement. We express the general tripartite entangled states in a special representation of total spin operators $J_{123}^{2}$ and $% J_{12}^{2}$ of tripartite system with eigenvalues 15/4 and 2 respectively. This basis is a \textit{genuine basis} because it consists of of all the genuine entangled states of tripartite system. Our protocol is a recurrence one, and only two copie…
Standard purification interlaces Hermitian and Riemannian metrics on the space of density operators with metrics and connections on the purifying Hilbert-Schmidt space. We discuss connections and metrics which are well adopted to purification, and present a selected set of relations between them. A connection, as well as a metric on state space, can be obtained from a metric on the purification space. We include a condition, with which this correspondence becomes one-to-one. Our methods are borrowed from elementary *-representation and fibre space theory. We lift, as an example, solutions of a…
We investigate multiparticle entanglement purification schemes which allow one to purify all two colorable graph states, a class of states which includes e.g. cluster states, GHZ states and codewords of various error correction codes. The schemes include both recurrence protocols and hashing protocols. We analyze these schemes under realistic conditions and observe for a generic error model that the threshold value for imperfect local operations depends on the structure of the corresponding interaction graph, but is otherwise independent of the number of parties. The qualitative behavior can b…
It has been observed that the reduced density matrices of bipartite qudit pure states possess a Gram matrix structure. This observation has opened a possibility of analysing the entanglement in such systems from the purely geometrical point of view. In particular, a new quantitative measure of an entanglement of the geometrical nature, has been proposed. Using the invented Gram matrix approach, a version of a non-linear purification of mixed states describing the system analysed has been presented.
We study the preparation and distribution of high-fidelity multi-party entangled states via noisy channels and operations. In the particular case of GHZ and cluster states, we study different strategies using bipartite or multipartite purification protocols. The most efficient strategy depends on the target fidelity one wishes to achieve and on the quality of transmission channel and local operations. We show the existence of a crossing point beyond which the strategy making use of the purification of the state as a whole is more efficient than a strategy in which pairs are purified before the…
In this paper, we present the necessary and sufficient conditions of separability for bipartite pure states in infinite dimensional Hilbert spaces. Let $M$ be the matrix of the amplitudes of $\ketψ$, we prove $M$ is a compact operator. We also prove $\ketψ$ is separable if and only if $M$ is a bounded linear operator with rank 1, that is the image of $M$ is a one dimensional Hilbert space. So we have related the separability for bipartite pure states in infinite dimensional Hilbert spaces to an important class of bounded linear operators in Functional analysis which has many interesting proper…
In our previous paper [Phys. Rev. A 84, 042303 (2011)], we proposed an efficient scheme to purify dynamically a bipartite entangled state using short chains of atoms coupled to high-finesse optical cavities. In contrast to conventional entanglement purification protocols, we avoid controlled-NOT gates and thus reduce complicated pulse sequences and superfluous qubit operations. In this paper, we significantly improve the output fidelity of remotely entangled atoms by introducing one additional entanglement protocol in each of the repeater nodes and by optimizing the laser beams required to con…
Non-local Magic: closed-form solution and equivalence with magic of purification
Università degli Studi di Salerno（萨莱诺大学）；Istituto Nazionale di Fisica Nucleare (INFN)（意大利国家核物理研究所）；Scuola Superiore Meridionale（南方高等学院）；Università degli Studi di Napoli Federico II（那不勒斯费德里科二世大学）
We introduce entanglement purification protocols for d-level systems (qudits) with improved efficiency as compared to previous protocols. While we focus on protocols for bipartite systems, we also propose generalizations to multi-partite qudit systems. The schemes we introduce include recurrence protocols that operate on two copies, as well as hashing protocols that operate on large ensembles. We analyze properties of the protocols with respect to minimal required fidelity and yield, and study their performance in the presence of noise and imperfections. We determine error thresholds and study…
Efficient methods for encoding and compression are likely to pave way towards the problem of efficient trainability on higher dimensional Hilbert spaces overcoming issues of barren plateaus. Here we propose an alternative approach to variational autoencoders to reduce the dimensionality of states represented in higher dimensional Hilbert spaces. To this end we build a variational based autoencoder circuit that takes as input a dataset and optimizes the parameters of Parameterized Quantum Circuit (PQC) ansatz to produce an output state that can be represented as tensor product of 2 subsystems b…
We consider entanglement purification protocols for multiple copies of qubit states. We use high-dimensional auxiliary entangled systems to learn about number and positions of errors in the noisy ensemble in an explicit and controlled way, thereby reducing the amount of noise in the ensemble and purifying the remaining states. This allows us to design entanglement purification protocols for any number of copies that work particularly well for a small number of expected errors, i.e. high fidelity of initial states. The main tool is a counter gate with which the required non-local information ca…
We provide several applications of a previously introduced isomorphism between physical operations acting on two systems and entangled states [1]. We show: (i) how to implement (weakly) non-local two qubit unitary operations with a small amount of entanglement; (ii) that a known, noisy, non-local unitary operation as well as an unknown, noisy, local unitary operation can be purified; (iii) how to perform the tomography of arbitrary, unknown, non-local operations; (iv) that a set of local unitary operations as well as a set of non-local unitary operations can be stored and compressed; (v) how t…
We present a simple protocol to purify bipartite entanglement in spin-1/2 particles by utilizing only natural spin-spin interactions, i.e. those that can commonly be realized in realistic physical systems, and S_z-measurements on single spins. Even the standard isotropic Heisenberg interaction is shown to be sufficient to purify mixed state entanglement if there are at least three pairs of spins. This approach could be useful for quantum information processing in solid-state-based systems.
We argue that the entanglement of purification for two dimensional holographic CFT can be obtained from conformal blocks with internal twist operators. First, we explain our formula from the view point of tensor network model of holography. Then, we apply it to bipartite mixed states dual to subregion of AdS${}_3$ and the static BTZ blackhole geometries. The formula in CFT agrees with the entanglement wedge cross section in the bulk, which has been recently conjectured to be equivalent to the entanglement of purification.
A concern has been expressed that ``the Jaynes principle can produce fake entanglement'' [R. Horodecki et al., Phys. Rev. A {\bf 59}, 1799 (1999)]. In this paper we discuss the general problem of distilling maximally entangled states from $N$ copies of a bipartite quantum system about which only partial information is known, for instance in the form of a given expectation value. We point out that there is indeed a problem with applying the Jaynes principle of maximum entropy to more than one copy of a system, but the nature of this problem is classical and was discussed extensively by Jaynes. …
Finding pure states in an enlarged Hilbert space that encode the mixed state of a quantum field theory as a partial trace is necessarily a challenging task. Nevertheless, such purifications play the key role in characterizing quantum information-theoretic properties of mixed states via entanglement and complexity of purifications. In this article, we analyze these quantities for two intervals in the vacuum of free bosonic and Ising conformal field theories using, for the first time, the~most general Gaussian purifications. We provide a comprehensive comparison with existing results and identif…
In a recent work [D. K. Burgarth et al., Nat. Commun. 5, 5173 (2014)] it was shown that a series of frequent measurements can project the dynamics of a quantum system onto a subspace in which the dynamics can be more complex. In this subspace even full controllability can be achieved, although the controllability over the system before the projection is very poor since the control Hamiltonians commute with each other. We can also think of the opposite: any Hamiltonians of a quantum system, which are in general noncommutative with each other, can be made commutative by embedding them in an exte…
We show how to reconstruct a process theory of local systems starting from a global theory of reversible processes on a single global system, by using the purification principle. In such a process theory, local systems are not given, but rather `emerge' as the global system is decomposed into subsystems. Local systems thus have specific identities and their composition is naturally limited by structural constraints, a behaviour which we formalise by defining symmetric partially-monoidal categories. We reconstruct quantum theory from the global theories of unitary groups acting on projective Hi…
The essence of quantum error-correction is to use redundant Hilbert space to identify and correct errors, and the channel fidelity of the quantum channel does not affect which errors can be identified and corrected. Based on this, it is found that quantum error-correction can be used to classify the independent quantum channel into 5 types, and 4 of the 5 types can be purified. It is found in quantum error-correction, the decoherence of quantum state may be related to the degree of identification for the state under quantum noise, and the results of this work confirmed that the degree of purit…
In ordinary quantum theory any mixed state can be purified in an enlarged Hilbert space by bringing an ancillary system. The purified state does not depend on the state of any extraneous system with which the mixed state is going to interact and on the physical interaction. Here, we prove that it is not possible to purify a mixed state that traverses a closed time like curve (CTC) and allowed to interact in a consistent way with a causality-respecting (CR) quantum system in the same manner. Thus, in general for arbitrary interactions between CR and CTC systems there is no universal 'Church of …
Given a bipartite quantum system represented by a tensor product of two Hilbert spaces, we give an elementary argument showing that if either component space is infinite-dimensional, then the set of nonseparable density operators is trace-norm dense in the set of all density operators (and the separable density operators nowhere dense). This result complements recent detailed investigations of separability, which show that when both component Hilbert spaces are finite-dimensional, there is a separable neighborhood (perhaps very small for large dimensions) of the maximally mixed state.
In this work we show that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order $\sqrt{n}$ (up to a logarithmic factor) when observables with n possible outcomes are used. A central tool in the analysis is a close relation between this problem and operator space theory and, in particular, the very recent noncommutative $L_p$ embedding theory. As a consequence of this result, we obtain better Hilbert space dimension witnesses and quantum violations of Bell inequalities with better resistance to noise.
We have determined numerically the maximum quantum violation of over 100 tight bipartite Bell inequalities with two-outcome measurements by each party on systems of up to four dimensional Hilbert spaces. We have found several cases, including the ones where each party has only four measurement choices, where two dimensional systems, i.e., qubits are not sufficient to achieve maximum violation. In a significant proportion of those cases when qubits are sufficient, one or both parties have to make trivial, degenerate 'measurements' in order to achieve maximum violation. The quantum state corresp…
We show that pure states of multipartite quantum systems are multiseparable (i.e. give separable density matrices on tracing any party) if and only if they have a generalized Schmidt decomposition. Implications of this result for the quantification of multipartite pure-state entanglement are discussed. Further, as an application of the techniques used here, we show that any purification of a bipartite PPT bound entangled state is tri-inseparable, i.e. has none of its three bipartite partial traces separable.
We propose a nonlinear Schrödinger equation in a Hilbert space enlarged with an ancilla such that the partial trace of its solution obeys to the Lindblad equation of an open quantum system. The dynamics involved by this nonlinear Schrödinger equation constitutes then a purification of the Lindbladian dynamics. This nonlinear equation is compared with other Schrödinger like equations appearing in the theory of open systems. We study the (non adiabatic) geometric phases involved by this purification and show that our theory unifies several definitions of geometric phases for open systems which h…
We study bipartite quantum discord as a manifestation of a multipartite entanglement structure in the tripartite purified system. In particular, we find that bipartite quantum discord necessarily manifests itself in the presence of both bipartite and tripartite entanglement in the purification. This allows one to understand the asymmetry of quantum discord (between D[A,B] and D[B,A]) in terms of entanglement monogamy. As instructive special cases, we study discord for qubits and Gaussian states in detail. As a result of this we shed new light on a counterintuitive property of Gaussian states: …
It is almost universally believed that in quantum theory the two following statements hold: 1) all transformations are achieved by a unitary interaction followed by a von Neumann measurement; 2) all mixed states are marginals of pure entangled states. I name this doctrine the dogma of purification ontology. The source of the dogma is the original von Neumann axiomatisation of the theory, which largely relies on the Schroedinger equation as a postulate, which holds in a nonrelativistic context, and whose operator version holds only in free quantum field theory, but no longer in the interacting …
Superquantum ("PR-box") correlations, though designed to respect relativistic causality, violate relativistic causality in the classical limit. Generalizing to all stronger-than-quantum bipartite correlations, I derive Tsirelson's bound from the axioms of nonlocality, relativistic causality and the existence of a classical limit. This derivation of Tsirelson's bound does not assume quantum mechanics yet suggests how Hilbert space is implicit in quantum correlations.
We introduce a special class of truncated Weyl-Heisenberg algebra and discuss the corresponding Hilbertian and analytical representations. Subsequently, we study the effect of a quantum network of beam splitting on coherent states of this nonlinear class of harmonic oscillators. We particularly focus on quantum networks involving one and two beam splitters and examine the degree of bipartite as well as tripartite entanglement using the linear entropy.
The Hilbert space formalism of quantum theory manifests a map between bipartite states and time evolutions, known as Jamiolkowski isomorphism. We extend this map in a physical setting to prove the equality of spatial correlations in bipartite systems and temporal correlations in local systems. We show that these correlations can be observed using weak measurements. This result has several practical and conceptual implications such as manifestation of state independent decoherence, the correspondence between Bell and Leggett-Garg inequalities, multipartite systems, the statistical properties of…
Necessary and sufficient conditions for bipartite entanglement are derived, which apply to arbitrary Hilbert spaces. Motivated by the concept of witnesses, optimized entanglement inequalities are formulated solely in terms of arbitrary Hermitian operators, which makes them useful for applications in experiments. The needed optimization procedure is based on a separability eigenvalue problem, whose analytical solutions are derived for a special class of projection operators. For general Hermitian operators, a numerical implementation of entanglement tests is proposed. It is also shown how to id…
It is shown that the order property of pure bipartite states under SLOCC (stochastic local operations and classical communications) changes radically when dimensionality shifts from finite to infinite. In contrast to finite dimensional systems where there is no pure incomparable state, the existence of infinitely many mutually SLOCC incomparable states is shown for infinite dimensional systems even under the bounded energy and finite information exchange condition. These results show that the effect of the infinite dimensionality of Hilbert space, the ``infinite workspace'' property, remains e…
Eigenstates of many-body localised (MBL) systems are characterised by area-law bipartite entanglement along with multifractal statistics of their amplitudes on Hilbert space. At the same time, sparse random pure states with fractal statistics are not compatible with area-law and necessarily exhibit volume-law entanglement. This raises the question that what correlation functions of Hilbert-space amplitudes MBL eigenstates must possess for their area law entanglement to be compatible with their multifractality. In this work, we identify and compute such appropriate Hilbert-space correlations wh…
We consider the Schmidt decomposition of a bipartite density operator induced by the Hilbert-Schmidt scalar product, and we study the relation between the Schmidt coefficients and entanglement. First, we define the Schmidt equivalence classes of bipartite states. Each class consists of all the density operators (in a given bipartite Hilbert space) sharing the same set of Schmidt coefficients. Next, we review the role played by the Schmidt coefficients with respect to the separability criterion known as the `realignment' or `computable cross norm' criterion; in particular, we highlight the fact…
Every choice of an orthonormal frame in the d-dimensional Hilbert space of a system corresponds to one set of all mutually commuting density matrices or, equivalently, a classical statistical state space of the system; the quantum state space itself can thus be profitably viewed as an SU(d) orbit of classical state spaces, one for each orthonormal frame. We exploit this connection to study the relative volume of separable states of a bipartite quantum system. While the two-qubit case is studied in considerable analytic detail, for higher dimensional systems we fall back on Monte Carlo. Several…
We apply the inseparability criterion for $2 \times 2$ systems, local filtering and Bennett et al. purification protocol [Phys. Rev. Lett. {\bf 76}, 722 (1996)] to show how to distill {\it any} inseparable $2\times 2$ system. The extended protocol is illustrated geometrically by means of the state parameters in the Hilbert-Schmidt space.
