A Family of Indecomposable Positive Linear Maps based on Entangled Quantum States
Barbara M. Terhal
备注:
16 pages LaTex: updated and a derivation of a lower bound on epsilon is added and calculated for one of the examples. Submitted to Lin. Alg. and Its Appl
We introduce a new family of indecomposable positive linear maps based on entangled quantum states. Central to our construction is the notion of an unextendible product basis. The construction lets us create indecomposable positive linear maps in matrix algebras of arbitrary high dimension.
We construct entangled states with positive partial transposes using indecomposable positive linear maps between matrix algebras. We also exhibit concrete examples of entangled states with positive partial transposes arising in this way, and show that they generate extreme rays in the cone of all positive semi-definite matrices with positive partial transposes. They also have Schmidt numbers two.
We give a criterion for a positive mapping on the space of operators on a Hilbert space to be indecomposable. We show that this criterion can be applied to two families of positive maps. These families of maps can then be used to form separability criteria for bipartite quantum states that can detect the entanglement of bound entangled quantum states.
In the recent paper [Chruściński and Wudarski, arXiv:1105.4821], it was conjectured that the entanglement witnesses arising from some generalized Choi maps are optimal. We show that this conjecture is true. Furthermore, we show that they provide a one parameter family of indecomposable optimal entanglement witnesses.
The problem of bound entanglement detection is a challenging aspect of quantum information theory for higher dimensional systems. Here, we propose an indecomposable positive map for two-qutrit systems, which is shown to generate a class of positive partial transposed (PPT) states. A corresponding witness operator is constructed and shown to be weakly optimal and locally implementable. Further, we perform a structural physical approximation of the indecomposable map to make it a completely positive one, and find a new PPT entangled state which is not detectable by certain other well-known entan…
We construct a class of $3\otimes 3$ entangled edge states with positive partial transposes using indecomposable positive linear maps. This class contains several new types of entangled edge states with respect to the range dimensions of themselves and their partial transposes.
Exposed positive maps in matrix algebras define a dense subset of extremal maps. We provide a class of indecomposable positive maps in the algebra of 2n x 2n complex matrices with n>1. It is shown that these maps are exposed and hence define the strongest tool in entanglement theory to discriminate between separable and entangled states.
We construct a new class of positive indecomposable maps in the algebra of 'd x d' complex matrices. Each map is uniquely characterized by a cyclic bistochastic matrix. This class generalizes a Choi map for d=3. It provides a new reach family of indecomposable entanglement witnesses which define important tool for investigating quantum entanglement.
We build apon our previous work, the Buckley-\vSivic method for simultaneous construction of families of positive maps on $3 \times 3$ self-adjoint matrices by prescribing a set of complex zeros to the associated forms. Positive maps that are not completely positive can be used to prove (witness) that certain mixed states are entangled. We obtain entanglement witnesses that are indecomposable and belong to extreme rays of the cone of positive maps. Consequently our semidefinite program returns new examples of entangled states whose entanglement cannot be certified by the transposition map nor …
We provide a multi-parameter family of 2-qudit PPT entangled states which generalizes the celebrated Horodecki state in 3 x 3. The entanglement of this family is identified via semidefinite programming based on "PPT symmetric extensions" by Doherty et al.
A single linear optical set-up is used to observe an entire family of four-photon entangled states. This approach breaks with the inflexibility of present linear-optical set-ups usually designed for the observation of a particular multi-partite entangled state only. The family includes several prominent entangled states that are known to be highly relevant for quantum information applications.
By modifying the method of Bruss and Peres, we construct two new families of entangled two qutrit states. For all density matrices in these families the (i,j)th entry is 0 for i+j odd. The first family depends on 27 independent real parameters and includes both PPT and NPT states. The second family consists of PPT entangled states. The number of independent real parameters of this family is at least 11.
We construct a family of map which is shown to be positive when imposing certain condition on the parameters. Then we show that the constructed map can never be completely positive. After tuning the parameters, we found that the map still remain positive but it is not completely positive. We then use the positive but not completely positive map in the detection of bound entangled state and negative partial transpose entangled states.
We construct ($d\times d$)-dimensional bound entangled states, which violate, for any $d>2$, a bipartite Bell inequality introduced in this paper. We conjecture that the proposed class of Bell inequalities acts as a dimension witness for bound entangled states: For any $d>2$ there exists a Bell inequality from this class that can be violated with bound entangled states only if their Hilbert space dimension is at least $d\times d$. Numerics supports this conjecture up to $d=8$.
By calculating entanglement measures and quantum violation of Bell-type inequality, we reveal the relationship between entanglement measure and the amount of quantum violation for a family of four-qubit entangled states. It has been demonstrated that the Bell-type inequality is completely violated by these four-qubit entangled states. The plot of entanglement measure as a function of the expectation value of Bell operator shows that entanglement measure first decreases and then increases smoothly with increasing quantum violation.
Bound entanglement, being entangled yet not distillable, is essential to our understandings of the relations between nonlocality and entanglement besides its applications in certain quantum information tasks. Recently, bound entangled states that violate a Bell inequality have been constructed for a two-qutrit system, disproving a conjecture by Peres that bound entanglement is local. Here we shall construct such kind of nonlocal bound entangled states for all finite dimensions larger than two, making possible their experimental demonstrations on most general systems. We propose a Bell inequali…
Measurement-based quantum computation (MQC) is a leading paradigm for building a quantum computer. Cluster states being used in this context act as one-way quantum computers. Here, we consider Z-states as a type of highly entangled states like cluster states, which can be used for one-way or measurement based quantum computation. We define Z-state basis as a set of orthonormal states which are as equally entangled as the cluster states. We design new quantum circuits to non-destructively discriminate these highly entangled Z-states. The proposed quantum circuits can be generalized for N-qubit …
We consider a family of continuous variable (CV) states being a superposition of displaced number states with equal modulo but opposite in sign displacement amplitudes. Either an even or odd CV state is mixed with a delocalized photon at a beam splitter with arbitrary transmittance and reflectance coefficients with the subsequent registration of the measurement outcome in an auxiliary mode to deterministically generate hybrid entanglement. We show that at certain values of the experimental parameters maximally entangled states are generated. The considered approach is also applicable to trunca…
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)…
Bipartite maximally entangled states have the property that the largest Schmidt coefficient reaches its lower bound. However, for multipartite states the standard Schmidt decomposition generally does not exist. We use a generalized Schmidt decomposition and the geometric measure of entanglement to characterize three-qubit pure states and derive a single-parameter family of maximally entangled three-qubit states. The paradigmatic Greenberger-Horne-Zeilinger (GHZ) and W states emerge as extreme members in this family of maximally entangled states. This family of states possess different trends o…
Every dXd bipartite system is shown to have a large family of undistillable states with nonpositive partial transpose (NPPT). This family subsumes the family of conjectured NPPT bound entangled Werner states. In particular, all one-copy undistillable NPPT Werner states are shown to be bound entangled.
We provide a straightforward generalization of a positive map in $M_3(\mathbb{C})$ considered recently by Miller and Olkiewicz \cite{Miller}. It is proved that these maps are optimal and indecomposable. As a byproduct we provide a class of PPT entangled states in $d \otimes d$.
We consider whether two copies of a noisy entangled state can be transformed into a single copy of greater purity using local operations and classical communication. We show that it is never possible to achieve such a purification with certainty when the family of noisy states is twirlable (i.e. when there exists a local transformation that maps all states into the family, yet leaves the family itself invariant). This implies that two copies of a Werner state cannot be deterministically purified. Furthermore, due to the construction of the proof, it will hold not only in quantum theory, but in…
We consider a family of vector and operator norms defined by the Schmidt decomposition theorem for quantum states. We use these norms to tackle two fundamental problems in quantum information theory: the classification problem for k-positive linear maps and entanglement witnesses, and the existence problem for non-positive partial transpose bound entangled states. We begin with an analysis of the norms, showing that the vector norms can be explicitly calculated, and we derive several inequalities in order to bound the operator norms and compute them in special cases. We then use the norms to e…
We describe quantum circuits generating four-qubit maximally entangled states, the amount of entanglement being quantified by using the absolute value of the Cayley hyperdeterminant as an entanglement monotone. More precisely, we show that this type of four-qubit entangled states can be obtained by the action of a family of CNOT circuits on some special states of the LU orbit of the state |0000 >.
In this paper, a class of indecomposable positive finite rank elementary operators of order $(n,n)$ are constructed. This allows us to give a simple necessary and sufficient criterion for separability of pure states in bipartite systems of any dimension in terms of positive elementary operators of order $(2,2)$ and get some new mixed entangled states that can not be detected by the positive partial transpose (PPT) criterion and the realignment criterion.
Euler's thirty-six officers need not all be entangled: real AME(4,6), families and classification
Center for Theoretical Physics, Polish Academy of Sciences(波兰科学院理论物理中心);Center for Quantum-Enabled Computing, Center for Theoretical Physics, Polish Academy of Sciences(波兰科学院量子赋能计算中心,理论物理中心)
We introduce a family of tensor network states that we term semi-injective Projected Entangled-Pair States (PEPS). They extend the class of injective PEPS and include other states, like the ground states of the AKLT and the CZX models in square lattices. We construct parent Hamiltonians for which semi-injective PEPS are unique ground states. We also determine the necessary and sufficient conditions for two tensors to generate the same family of such states in two spatial dimensions. Using this result, we show that the third cohomology labeling of Symmetry Protected Topological phases extends t…
We derive a family of necessary separability criteria for finite-dimensional systems based on inequalities for variances of observables. We show that every pure bipartite entangled state violates some of these inequalities. Furthermore, a family of bound entangled states and true multipartite entangled states can be detected. The inequalities also allow to distinguish between different classes of true tripartite entanglement for qubits. We formulate an equivalent criterion in terms of covariance matrices. This allows us to apply criteria known from the regime of continuous variables to finite-…
Witness Operator Provides Better Estimate of the Lower Bound of Concurrence of Bipartite Bound Entangled States in $d_{1}\otimes d_{2}$ Dimensional System
We provide a family of Non-Gaussian pure entangled states in a bipartite system as the eigen states of a quadratic Hamiltonian composed of the Einstein-Podolsky-and-Rosen-like operators. The ground state of the Hamiltonian corresponds to the two-mode-squeezed vacuum state, and belongs to the Gaussian states. In contrast, all of the excited states are Non-Gaussian states. A separable inequality maximally violated by the eigen states is derived.
We introduce a family of states, the fPEPS, which describes fermionic systems on lattices in arbitrary spatial dimensions. It constitutes the natural extension of another family of states, the PEPS, which efficiently approximate ground and thermal states of spin systems with short-range interactions. We give an explicit mapping between those families, which allows us to extend previous simulation methods to fermionic systems. We also show that fPEPS naturally arise as exact ground states of certain fermionic Hamiltonians. We give an example of such a Hamiltonian, exhibiting criticality while o…
Bound entangled (BE) states are strange in nature: non-zero amount of free entanglement is required to create them but no free entanglement can be distilled from them under local operations and classical communication (LOCC). Even though usefulness of such states has been shown in several information processing tasks, there exists no simple method to characterize them for an arbitrary composite quantum system. Here we present a $(d-3)/2$-parameter family of BE states each with positive partial transpose (PPT). This family of PPT-BE states is introduced by constructing an unextendible product b…
We present a family of three-qubit quantum states with a basic local hidden variable model. Any von Neumann measurement can be described by a local model for these states. We show that some of these states are genuine three-partite entangled and also distillable. The generalization for larger dimensions or higher number of parties is also discussed. As a byproduct, we present symmetric extensions of two-qubit Werner states.
We introduce a new family of separability criteria that are based on the existence of extensions of a bipartite quantum state $ρ$ to a larger number of parties satisfying certain symmetry properties. It can be easily shown that all separable states have the required extensions, so the non-existence of such an extension for a particular state implies that the state is entangled. One of the main advantages of this approach is that searching for the extension can be cast as a convex optimization problem known as a semidefinite program (SDP). Whenever an extension does not exist, the dual optimiza…
Self testing is a device independent approach to estimate the state and measurement operators, without the need to assume the dimension of our quantum system. In this paper, we show that one can self test black boxes into any pure entangled two-qubit state, by performing simple Bell type experiments. The approach makes use of only one family of two-inputs/two-outputs Bell inequalities. Furthermore, we outline the sufficient conditions for one to self test any dimensional bipartite entangled state. All these methods are robust to small but inevitable experimental errors.
We present a Bell-type inequality for four-qubit systems. Using the inequality we investigate quantum nonlocality of a generic family of states $\left|G_{abcd}\right >$ [Phys. Rev. A 65, 052112 (2002)] and several canonical four-qubit entangled states. It has been demonstrated that the inequality is maximally violated by so called "four-qubit maximal entangled state $\left|G_{m}\right >$" and it is also violated by the four-qubit W state and a special family of states $\left|G_{ab00}\right >$. Moreover, a useful entanglement-nonlocality relationship for the family of states $\left|G_{ab00}\rig…
For the space of two identical systems of arbitrary dimensions, we introduce a continuous family of bases with the following properties: i) the bases are orthonormal, ii) in each basis, all the states have the same values of entanglement, and iii) they continuously interpolate between the product basis and the maximally entangled basis. The states thus constructed may find applications in many areas related to quantum information science including quantum cryptography, optimal Bell tests and investigation of enhancement of channel capacity due to entanglement.
We exhibit a two-parameter family of bipartite mixed states $ρ_{bc}$, in a $d\otimes d$ Hilbert space, which are negative under partial transposition (NPT), but for which we conjecture that no maximally entangled pure states in $2\otimes 2$ can be distilled by local quantum operations and classical communication (LQ+CC). Evidence for this undistillability is provided by the result that, for certain states in this family, we cannot extract entanglement from any arbitrarily large number of copies of $ρ_{bc}$ using a projection on $2\otimes 2$. These states are canonical NPT states in the sense t…
One of the important approaches to detect quantum entanglement is using linear entanglement witnesses EWs. In this paper, by determining the envelope of the boundary hyper-planes defined by a family of linear EWs, a set of powerful nonlinear optimal EWs is manipulated. These EWs enable us to detect some three qubits bound MUB (mutually unbiased bases) diagonal entangled states, i.e., the PPT (positive partial transpose) entangled states. Also, in some particular cases, the introduced nonlinear optimal EWs are powerful enough to separate the bound entangled regions from the separable ones. Fina…
In quantum information theory, it is a fundamental problem to construct multipartite unextendible product bases (UPBs). We show that there exist two families UPBs in Hilbert space $\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^2\otimes\mathbb{C}^4$ by merging two different systems of an existing $7$-qubit UPB of size $11$. Moreover, a new family of $7$-qubit positive-partial-transpose (PPT) entangled states of rank $2^7-11$ is constructed. We analytically derive a geometric measure of entanglement of a special PPT entangled states. Also an upper bound a…
We propose a family of entanglement witnesses and corresponding positive maps that are not completely positive based on local orthogonal observables. As applications the entanglement witness of the $3\times 3$ bound entangled state [P. Horodecki, Phys. Lett. A {\bf 232}, 333 (1997)] is explicitly constructed and a family of $d$-dimensional bound entangled states is designed so that the entanglement can be detected by permuting local orthogonal observables. Further the proposed physically not implementable positive maps can be physically realized by measuring a Hermitian correlation matrix of l…
We introduce plaquette projected entangled-pair states, a class of states in a lattice that can be generated by applying sequential unitaries acting on plaquettes of overlapping regions. They satisfy area-law entanglement, possess long-range correlations, and naturally generalize other relevant classes of tensor network states. We identify a subclass that can be more efficiently prepared in a radial fashion and that contains the family of isometric tensor network states [M. P. Zaletel and F. Pollmann, Phys. Rev. Lett. 124, 037201 (2020)]. We also show how this subclass can be efficiently prepa…
We show that with a new family of pyramidal site-controlled InGaAsN quantum dots it is possible to obtain areas containing as much as 15% of polarization-entangled photon emitters - a major improvement if compared to the small fraction achievable by other quantum dot systems. Entanglement is attested by a two-photon polarization state density matrix and the parameters obtained from it. Emitters showing fidelities up to 0.721+-0.043 were found.
We consider entanglement witnesses arising from positive linear maps which generate exposed extremal rays. We show that every entanglement can be detected by one of these witnesses, and this witness detects a unique set of entanglement among those. Therefore, they provide a minimal set of witnesses to detect all entanglement in a sense. Furthermore, if those maps are indecomposable then they detect large classes of entanglement with positive partial transposes which have nonempty relative interiors in the cone generated by all PPT states. We also provide a one parameter family of indecomposabl…
An efficient and economical scheme is proposed for the perfect quantum teleportation of n-qubit non-maximally entangled state of generalized Bell-type. A Bell state is used as the quantum channel in the proposed scheme. It is also shown that the controlled teleportation of this n-qubit state can be achieved by using a GHZ state or a GHZ-like state as quantum channel. The proposed schemes are economical because for the perfect and controlled teleportation of n-qubit non-maximally entangled state of generalized Bell-type we only need a Bell state and a tripartite entangled state respectively. It…
We present a strategy for implementing multiparty-controlled remote state preparation (MCRSP) for a family of four-qubit cluster-type states with genuine entanglements while employing, Greenberg-Horne-Zeilinger-class states as quantum channels. In this scenario, the encoded information is transmitted from the sender to a spatially separated receiver via the control of multi-party. Predicated on the collaboration of all participants, the desired state can be entirely restored within the receiver's place with high success probability by application of appropriate local operations and necessary c…
We construct entanglement witnesses with regard to the geometric structure of the Hilbert--Schmidt space and investigate the geometry of entanglement. In particular, for a two--parameter family of two--qutrit states that are part of the magic simplex we calculate the Hilbert--Schmidt measure of entanglement. We present a method to detect bound entanglement which is illustrated for a three--parameter family of states. In this way we discover new regions of bound entangled states. Furthermore we outline how to use our method to distinguish entangled from separable states.
Recently [Karimipour and Memarzadeh, PhysRevA 73, 012329 (2006)] posed the problem of finding a continuous family of orthonormal bases in a bipartite space of two identical systems with the following properties: i) in each basis, all states have to be equally entangled, and ii) the family continuously interpolate between the product basis and the maximally entangled basis. The authors provided a necessary condition and simple examples for relatively small dimensions, but questioned the existence of a general solution for arbitrary dimensions. Employing the properties of quadratic Gauss sums, w…
We report on the first experimental realization of the entanglement witness for polarization entangled photons. It represents a recently discovered significant quantum information protocol which is based on few local measurements. The present demonstration has been applied to the so-called Werner states, a family of ''mixed'' quantum states that include both entangled and non entangled states. These states have been generated by a novel high brilliance source of entanglement which allows to continuously tune the degree of mixedness.
We discuss the generation of states close to the boundary-family of maximally entangled mixed states as defined by the use of concurrence and linear entropy. The coupling of two qubits to a dissipation-affected bosonic mode is able to produce a bipartite state having, for all practical purposes, the entanglement and purity properties of one of such boundary states. We thoroughly study the effects that thermal and squeezed character of the bosonic mode have in such a process and we discuss tolerance to qubit phase-damping mechanisms. The non-demanding nature of the scheme makes it realizable in…
Quantum teleportation faces increasingly demanding requirements for transmitting large or even entangled systems. However, knowledge of the state to be transmitted eases its reconstruction, resulting in a protocol known as remote state preparation. A number of experimental demonstrations to date have been restricted to single-qubit systems. We report the remote preparation of two-qubit "hybrid" entangled states, including a family of vector-polarization beams. Our single-photon states are encoded in the photon spin and orbital angular momentum. We reconstruct the states by spin-orbit state tom…
Using the matrix product formalism, we define a multi-parameter family of spin models on one dimensional chains, with nearest and next-nearest neighbor anti-ferromagnetic interaction for which exact analytical expressions can be found for its doubly degenerate ground states. The family of Hamiltonians which we define, depend on 5 continuous parameters and the Majumdar-Ghosh model is a particular point in this parameter space. Like the Majumdar-Ghosh model, the doubly degenerate ground states of our models have a very simple structure, they are the product of entangled states on adjacent sites.…