Bipartite Pure States Research Articles

Joint Schmidt-type decomposition for two bipartite pure quantum states

It is well known that the Schmidt decomposition exists for all pure states of a two-party quantum system. We demonstrate that there are two ways to obtain an analogous decomposition for arbitrary rank-1 operators acting on states of a bipartite finite-dimensional Hilbert space. These methods amount to joint Schmidt-type decompositions of two pure states where the two sets of coefficients and local bases depend on the properties of either state, however, at the expense of the local bases not all being orthonormal and in one case the complex-valuedness of the coefficients. With these results we derive several generally valid purity-type formulae for one-party reductions of rank-1 operators, and we point out relevant relations between the Schmidt decomposition and the Bloch representation of bipartite pure states.

General framework for verifying pure quantum states in the adversarial scenario

Bipartite and multipartite entangled states are of central interest in quantum information processing and foundational studies. Efficient verification of these states, especially in the adversarial scenario, is a key to various applications, including quantum computation, quantum simulation, and quantum networks. However, little is known about this topic in the adversarial scenario. Here we initiate a systematic study of pure-state verification in the adversarial scenario. In particular, we introduce a general method for determining the minimal number of tests required by a given strategy to achieve a given precision. In the case of homogeneous strategies, we can even derive an analytical formula. Furthermore, we propose a general recipe to verifying pure quantum states in the adversarial scenario by virtue of protocols for the nonadversarial scenario. Thanks to this recipe, the resource cost for verifying an arbitrary pure state in the adversarial scenario is comparable to the counterpart for the nonadversarial scenario, and the overhead is at most three times for high-precision verification. Our recipe can readily be applied to efficiently verify bipartite pure states, stabilizer states, hypergraph states, weighted graph states, and Dicke states in the adversarial scenario, even if only local projective measurements are accessible. This paper is an extended version of the companion paper Zhu and Hayashi, Phys. Rev. Lett. 123, 260504 (2019).

Measurability of D-concurrence

An effective approach to quantify entanglement of any bipartite systems is D-concurrence, which is important in quantum information science. In this paper, we present a direct method for experimental determination of the D-concurrence of an arbitrary bipartite pure state. To do this, we show that measurement of the D-concurrence of bipartite pure state can be conversed into the measurement performed on some observables so called generalized Gell-Mann operators. We first introduce the concept of D-concurrence for a bipartite system. Then we explain the method of measuring this entanglement measure for the pure state. Finally, for clarify of the subject, we give an example consisting of two parties A and B with dimensions 3.

Shrinking of operators in quantum error correction and AdS/CFT

We first show that a class of operators acting on a given bipartite pure state on ℋA ⊗ ℋB can shrink its supports on ℋA ⊗ ℋB to only ℋA or ℋB while keeping its mappings. Using this result, we show how to systematically construct the decoders of the quantum error-correcting codes against erasure errors. The implications of the results for the operator dictionary in the AdS/CFT correspondence are also discussed. The “sub- algebra code with complementary recovery” introduced in the recent work of Harlow is a quantum error-correcting code that shares many common features with the AdS/CFT correspondence. We consider it under the restriction of the bulk (logical) Hilbert space to a subspace that generally has no tensor factorization into subsystems. In this code, the central operators of the reconstructed algebra on the boundary subregion can emerge as a consequence of the restriction of the bulk Hilbert space. Finally, we show a theorem in this code which implies the validity of not only the entanglement wedge reconstruction but also its converse statement with the central operators.

Asymptotic Majorization of Finite Probability Distributions

This paper studies majorization of high tensor powers of finitely supported probability distributions. Viewing probability distributions as a resource with majorization as a means of transformation corresponds to the resource theory of pure bipartite quantum states under LOCC transformations vis-\`a-vis Nielsen's Theorem. In [T. Fritz (2017)] a formula for the asymptotic exchange rate between any two finitely supported probability distributions was conjectured. The main result of the present paper is Theorem 3.11, which resolves this conjecture.

Optimal verification of general bipartite pure states

The efficient and reliable verification of quantum states plays a crucial role in various quantum information processing tasks. We consider the task of verifying entangled states using one-way and two-way classical communication and completely characterize the optimal strategies via convex optimization. We solve these optimization problems using both analytical and numerical methods, and the optimal strategies can be constructed for any bipartite pure state. Compared with the nonadaptive approach, our adaptive strategies significantly improve the efficiency of quantum state verification. Moreover, these strategies are experimentally feasible, as only few local projective measurements are required.

A Note on the Relationship Between Genuinely Coherence and Generalized Entanglement Monotones

We find a one to one mapping between genuinely incoherent operations and special one-way local operations and classical communication(LOCC) for density matrices with full rank. We also define “generalized entanglement monotones” and “genuinely coherence monotones” under special one-way LOCC and genuinely incoherent operations respectively. Any entanglement monotone proposed by Vidal et al. is a generalized entanglement monotone. Any coherence monotone under incoherent operations is a genuinely coherence monotone. Furthermore, we clarify the relationship between generalized entanglement monotones and genuinely coherence monotones. We demonstrate that any generalized entanglement monotone of bipartite pure state is the lower bound of a suitable genuinely coherence monotone; any genuinely coherence monotone of a quantum state is the generalized entanglement monotone of the corresponding maximally correlated state.

Efficient verification of bipartite pure states

We propose practical and efficient protocols for verifying bipartite pure states for any finite dimension, which can also be applied to fidelity estimation. Our protocols are based on adaptive local projective measurements with either one-way or two-way communications, which are very easy to implement in practice. They can extract the key information much more efficiently than known protocols based on tomography or direct fidelity estimation, and their efficiencies are comparable to the best protocols based on entangling measurements. These protocols highlight the significance of mutually unbiased bases (MUBs) and complex projective 2-designs in quantum state verification and fidelity estimation. Moreover, our protocols can be applied to the adversarial scenario, in which states are controlled by a malicious adversary. In this case, surprisingly, one of our protocols based on local measurements is even optimal among protocols without locality restriction.

Restoring distribution entanglement via environment-assisted measurement and quantum measurement reversal under various decoherence sources

We examine the validity of the environment-assisted measurement (EAM) and quantum measurement reversal (QMR) operation in the restoration of distributed entanglement for an arbitrarily entangled bipartite pure state under three kinds of typical noisy quantum channels. We derive the exact expressions of the optimal final quantum entanglement, show explicitly that the EAM and QMR operation indeed helps for recovering the distributed entanglement from amplitude damping, phase damping and depolarizing. Comparing with the results obtained by the method of weak measurement and QMR, our results show notable superiorities on adaptation scope and success probability.

The Asymptotic Spectrum of LOCC Transformations

We study the exact, non-deterministic conversion of multipartite pure quantum states into one-another via local operations and classical communication (LOCC) and asymptotic entanglement transformation under such channels. In particular, we consider the maximal number of copies of any given target state that can be extracted exactly from many copies of any given initial state as a function of the exponential decay in the success probability, known as the converse error exponent. We give a formula for the optimal rate presented as an infimum over the asymptotic spectrum of LOCC conversion. A full understanding of exact asymptotic extraction rates between pure states in the converse regime thus depends on a full understanding of this spectrum. We present a characterization of spectral points and use it to describe the spectrum in the bipartite case. This leads to a full description of the spectrum and thus an explicit formula for the asymptotic extraction rate between pure bipartite states, given a converse error exponent. This extends the result on entanglement concentration in [1] , where the target state is fixed as the Bell state. In the limit of vanishing converse error exponent, the rate formula provides an upper bound on the exact asymptotic extraction rate between two states, when the probability of success goes to 1. In the bipartite case, we prove that this bound holds with equality.

Bound on ergotropic gap for bipartite separable states

Presence of correlations among the constituent quantum systems has a great relevance in thermodynamics. Significant efforts have been devoted to investigate the role of correlations in work extraction, among others. Here, we derive a bound on the difference between global and local extractable work by unitary operations (ergotropic gap), for bipartite separable states. Violation of this bound necessarily certifies the presence of entanglement. This gap is shown to be a monotone under LOCC assisted state transformations for pure bipartite quantum states. Our criterion has an implication in witnessing the dimension of a bipartite quantum state, with same local dimensions. On the other hand, our result gives an operational meaning to the Nielsen-Kempe disorder criterion. We also propose a schematic model to realize the separability bound experimentally and to detect entanglement for a restricted class of quantum states.

Monogamy of the entanglement of formation

We show that any measure of entanglement that on pure bipartite states is given by a strictly concave function of the reduced density matrix is monogamous on pure tripartite states. This includes the important class of bipartite measures of entanglement that reduce to the (von Neumann) entropy of entanglement. Moreover, we show that the convex roof extension of such measures (e.g., entanglement of formation) are monogamous also on \emph{mixed} tripartite states. To prove our results, we use the definition of monogamy without inequalities, recently put forward[Gour and Guo, Quantum \textbf{2}, 81 (2018)]. Our results promote the theme that monogamy of entanglement is a property of quantum entanglement and not an attribute of some particular measures of entanglement.

Resource Theory of Entanglement with a Unique Multipartite Maximally Entangled State.

Entanglement theory is formulated as a quantum resource theory in which the free operations are local operations and classical communication (LOCC). This defines a partial order among bipartite pure states that makes it possible to identify a maximally entangled state, which turns out to be the most relevant state in applications. However, the situation changes drastically in the multipartite regime. Not only do there exist inequivalent forms of entanglement forbidding the existence of a unique maximally entangled state, but recent results have shown that LOCC induces a trivial ordering: almost all pure entangled multipartite states are incomparable (i.e., LOCC transformations among them are almost never possible). In order to cope with this problem we consider alternative resource theories in which we relax the class of LOCC to operations that do not create entanglement. We consider two possible theories depending on whether resources correspond to multipartite entangled or genuinely multipartite entangled (GME) states and we show that they are both nontrivial: no inequivalent forms of entanglement exist in them and they induce a meaningful partial order (i.e., every pure state is transformable to more weakly entangled pure states). Moreover, we prove that the resource theory of GME that we formulate here has a unique maximally entangled state, the generalized GHZ state, which can be transformed to any other state by the allowed free operations.

Generalization of the Clauser-Horne-Shimony-Holt inequality self-testing maximally entangled states of any local dimension

For every $d \geq 2$, we present a generalization of the CHSH inequality with the property that maximal violation self-tests the maximally entangled state of local dimension $d$. This is the first example of a family of inequalities with this property. Moreover, we provide a conjecture for a family of inequalities generalizing the tilted CHSH inequalities, and we conjecture that for each pure bipartite entangled state there is an inequality in the family whose maximal violation self-tests it. All of these inequalities are inspired by the self-testing correlations of [Nat. Comm. 8, 15485 (2017)].

Fidelity-based measurement-induced nonlocality over two-sided measurements

In this paper, we introduce fidelity-based measurement-induced nonlocality for bipartite quantum state to capture the nonlocal effects due to two-sided von Neumann projective measurements. We identify that all the properties of this quantity are reflected from that of One-sided measurement. We compute this quantity for arbitrary pure and mixed bipartite states. As an illustration, we have studied the nonlocality of Bell diagonal state.

Entanglement negativity, holography and black holes

We investigate the application of our recent holographic entanglement negativity conjecture for higher dimensional conformal field theories to specific examples which serve as crucial consistency checks. In this context we compute the holographic entanglement negativity for bipartite pure and finite temperature mixed state configurations in d-dimensional conformal field theories dual to bulk pure AdS_{d+1} geometry and AdS_{d+1}-Schwarzschild black holes respectively. It is observed that the holographic entanglement negativity characterizes the distillable entanglement for the finite temperature mixed states through the elimination of the thermal contributions. Significantly our examples correctly reproduce universal features of the entanglement negativity for corresponding two dimensional conformal field theories, in higher dimensions.

Deterministic transformations of coherent states under incoherent operations

It is well known that the majorization condition is the necessary and sufficient condition for the deterministic transformations of both pure bipartite entangled states by local operations and coherent states under incoherent operations. In this paper, we present two explicit protocols for these transformations. We first present a permutation-based protocol which provides a method for the single-step transformation of $d$-dimensional coherent states. We also obtain generalized solutions of this protocol for some special cases of $d$-level systems. Then, we present an alternative protocol where we use $d'$-level ($d'$ $<$ $d$) subspace solutions of the permutation-based protocol to achieve the complete transformation as a sequence of coherent-state transformations. We show that these two protocols also provide solutions for deterministic transformations of pure bipartite entangled states.

Quantum prisoners’ dilemma under enhanced interrogation

In the quantum version of prisoners’ dilemma, each prisoner is equipped with a single qubit that the interrogator can entangle. We enlarge the available Hilbert space by introducing a third qubit that the interrogator can entangle with the other two. We discuss an enhanced interrogation technique based on tripartite entanglement and analyze Nash equilibria. We show that for tripartite entanglement approaching a W-state, we calculate the Nash equilibria numerically and show that they coincide with the Pareto-optimal choice where both prisoners cooperate. Upon continuous variation between a W-state and a pure bipartite entangled state, the game is shown to have a surprisingly rich structure. The role of bipartite and tripartite entanglement is explored to explain that structure. As an application, we consider an evolutionary game based on our quantum game with a network of agents on a square lattice with periodic boundary conditions and show that the strategy corresponding to Nash equilibrium completely dominates without placing any restrictions on the initial set of strategies.

Computationally Efficient Nonlinear Bell Inequalities for Quantum Networks.

The correlations in quantum networks have attracted strong interest with new types of violations of the locality. The standard Bell inequalities cannot characterize the multipartite correlations that are generated by multiple sources. The main problem is that no computationally efficient method is available for constructing useful Bell inequalities for general quantum networks. In this work, we show a significant improvement by presenting new, explicit Bell-type inequalities for general networks including cyclic networks. These nonlinear inequalities are related to the matching problem of an equivalent unweighted bipartite graph that allows constructing a polynomial-time algorithm. For the quantum resources consisting of bipartite entangled pure states and generalized Greenberger-Horne-Zeilinger (GHZ) states, we prove the generic nonmultilocality of quantum networks with multiple independent observers using new Bell inequalities. The violations are maximal with respect to the presented Tsirelson's bound for Einstein-Podolsky-Rosen states and GHZ states. Moreover, these violations hold for Werner states or some general noisy states. Our results suggest that the presented Bell inequalities can be used to characterize experimental quantum networks.

The lattice of trumping majorization for 4D probability vectors and 2D catalysts

The transformation of an initial bipartite pure state into a target one by means of local operations and classical communication and entangled-assisted by a catalyst defines a partial order between probability vectors. This partial order, so-called trumping majorization, is based on tensor products and the majorization relation. Here, we aim to study order properties of trumping majorization. We show that the trumping majorization partial order is indeed a lattice for four dimensional probability vectors and two dimensional catalysts. In addition, we show that the subadditivity and supermodularity of the Shannon entropy on the majorization lattice are inherited by the trumping majorization lattice. Finally, we provide a suitable definition of distance for four dimensional probability vectors.