We point out a loophole problem in some recent experimental claims to produce three-particle entanglement. The problem consists in the question whether mixtures of two-particle entangled states might suffice to explain the experimental data.
In an attempt to close this loophole, we review two sufficient conditions that distinguish between N-particle states in which all N particles are entangled to each other and states in which only M particles are entangled (with M<N). It is shown that three recent experiments to obtain three-particle entangled states (Bouwmeester et al., Pan et al., and Rauschenbeutel et al.) do not meet these conditions. We conclude that the question whether these experiments provide confirmation of three-particle entanglement remains unresolved. We also propose modifications of the experiments that would make such confirmation feasible.
In this paper we introduce a criterion for the characterization of Entanglement Witness for multipartite quantum systems. Our approach is based on the characterization of the "tangent space" to the set of pure product states.
We show that the monogamy of entanglement is a sufficient phenomenon in every physical theory, if the quantum key distribution is to be safe on the grounds of such theory. To do so we present the QKD protocol that is safe in any physical theory under the assumption of the monogamous entanglement only. The necessity of this condition is also discussed.
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…
In this paper we give the new sufficient conditions of entanglement for multipartite qubit density matrixes. We discuss in detail the case for tripartite qubit density matrixes. As a criterion in concrete application, its steps are quite simple and easy to operate. Some examples and discussions are given. PACC numbers: 03.67.Mn, 03.65.Ud, 03.67.Hk.
We present an inequality for detecting entanglement and distillability of arbitrary dimensional bipartite systems. This inequality provides a sufficient condition of entanglement for bipartite mixed states, and a necessary and sufficient condition of entanglement for bipartite pure states. Moreover, the inequality also gives a necessary and sufficient condition for distillability.
The characterization of genuine multiparticle entanglement is important for entanglement theory as well as experimental studies related to quantum information theory. Here, we completely characterize genuine multiparticle entanglement for four-qubit states diagonal in the cluster-state basis. In addition, we give a complete characterization of multiparticle entanglement for all five-qubit graph states mixed with white noise, for states diagonal in the basis corresponding to the five-qubit Y-shaped graph, and for a family of graph states with an arbitrary number of qubits.
Great advances have been achieved in studying characteristics of entanglement for fundamentals of quantum mechanics and quantum information processing. However, even for N-qubit systems, the problem of entanglement criterion has not been well solved. In this Letter, using the method of state decomposition and high order singular value decomposition (HOSVD), we propose a necessary and sufficient entanglement criterion for general N-qubit systems. As an example, we apply our method to study the multi-qubit W state with white noise. We not only obtain the separability critical point, which is tig…
An important measure of bipartite entanglement is the entanglement of formation, which is defined as the minimum average pure state entanglement of all decompositions realizing a given state. A decomposition which achieves this minimum is called an optimal decomposition. However, as for the entanglement of formation, there is not much known about the structure of such optimal decompositions, except for some special cases, like states of two qubits or isotropic states. Here we present a necessary and sufficient condition for a set of pure states of a finite dimensional bipartite system to form …
We derive criterion in the form of inequality based on quantum Fisher information and quantum variance to detect multipartite entanglement. It can be regarded as complementary of the well-established PPT criterion in the sense that it can also detect bound entangled states. The inequality is motivated by Y.Akbari-Kourbolagh $et\ al.$[Phys. Rev A. 99, 012304 (2019)] which introduced a multipartite entanglement criterion based on quantum Fisher information. Our criterion is experimentally measurable for detecting any $N$-qudit pure state mixed with white noisy. We take several examples to illust…
Physical transformations are described by linear maps that are completely positive and trace preserving (CPTP). However, maps that are positive (P) but not completely positive (CP) are instrumental to derive separability/entanglement criteria. Moreover, the properties of such maps can be linked to entanglement properties of the states they detect. Here, we extend the results presented in [Phys. Rev A 93, 042335 (2016)], where sufficient separability criteria for bipartite systems were derived. In particular, we analyze the entanglement depth of an $N$-qubit system by proposing linear maps that…
We present an intuitive geometrical entanglement criterion. It allows formulation of simple and experimentally friendly sufficient conditions for entanglement. The conditions are illustrated with several examples. Moreover, a generalization of our approach is a necessary and sufficient separability condition. It can be associated with a family of entanglement identifiers, which is strictly richer than the family of entanglement witnesses.
We introduce a simple sufficient criterion, which allows one to tell whether a subspace of a bipartite or multipartite Hilbert space is entangled. The main ingredient of our criterion is a bound on the minimal entanglement of a subspace in terms of entanglement of vectors spanning that subspace expressed for geometrical measures of entanglement. The criterion is applicable to both completely and genuinely entangled subspaces. We explore its usefulness in several important scenarios. Further, an entanglement criterion for mixed states following directly from the condition is stated. As an auxil…
Based on the general form of entanglement witnesses constructed from separable states, we first show a sufficient condition of violating the structural physical approximation (SPA) conjecture [Phys. Rev. A 78, 062105 (2008)]. Then we discuss the SPA conjecture for decomposable entanglement witnesses. Moreover, we make geometric illustrations of the connection between entanglement witnesses and the sets of quantum states, separable states, and entangled states comparing with planes and vectors in Euclidean space.
A recent paper [M. Seevinck and J. Uffink, Phys. Rev. A 65, 012107 (2002)] presented a bound for the three-qubit Mermin inequality such that the violation of this bound indicates genuine three-qubit entanglement. We show that this bound can be improved for a specific choice of observables. In particular, if spin observables corresponding to orthogonal directions are measured at the qubits (e.g., X and Y spin coordinates) then the bound is the same as the bound for states with a local hidden variable model. As a consequence, it can straightforwardly be shown that in the experiment described by …
In this paper, we show that an arbitrary separable state can be the output of a certain entanglement-breaking channel corresponding exactly to the input of a maximally entangled state. A necessary and sufficient separability criterion and some sufficient separability criteria from entanglement-breaking channels are given.
A Multipartite entangled state has many different kinds of entanglement specified by the number of partitions. The most essential example of multipartite entanglement is the entanglement of multi-qubit Greenberger-Horne-Zeilinger (GHZ) state in white noise. We explicitly construct the entanglement witnesses for these states with stabilizer generators of the GHZ states. For a $N$ qubit GHZ state in white noise, we demonstrate the necessary and sufficient criterion of separability when it is divided into $k$ parties with $N\leq 2k-1$ for arbitrary $N$ and $k$. The criterion covers more than a ha…
Necessary and sufficient observable conditions for the nonnegativity of all partial transpositions of multi-mode quantum states are derived. The result is a hierarchy of inequalities for minors in terms of moments of the given state. Violations of any inequality is a sufficient condition for entanglement. Full entanglement can be certified for a manifold of multi-mode quantum states. A \textit{Mathematica} package is given for a systematic test of the hierarchy of conditions.
High-dimensional encoding of quantum information provides a promising method of transcending current limitations in quantum communication. One of the central challenges in the pursuit of such an approach is the certification of high-dimensional entanglement. In particular, it is desirable to do so without resorting to inefficient full state tomography. Here, we show how carefully constructed measurements in two bases (one of which is not orthonormal) can be used to faithfully and efficiently certify bipartite high-dimensional states and their entanglement for any physical platform. To showcase…
We derive sufficient conditions for infinite-dimensional systems whose entanglement is not completely lost in a finite time during its decoherence by a passive interaction with local vacuum environments. The sufficient conditions allow us to clarify a class of bipartite entangled states which preserve their entanglement or, in other words, are tolerant against decoherence in a vacuum. We also discuss such a class for entangled qubits.
We derive spin squeezing inequalities that generalize the concept of the spin squeezing parameter and provide necessary and sufficient conditions for genuine 2-, or 3- qubit entanglement for symmetric states, and sufficient condition for general states of $N$ qubits. Our inequalities have a clear physical interpretation as entanglement witnesses, can be relatively easy measured, and are given by complex, but {\it elementary} expressions.
We provide a method to construct entanglement criteria for arbitrary multipartite systems of discrete or continuous variables and hybrid combinations of both. While any set of local operators generates a sufficient condition for entanglement of arbitrary quantum states, a suitable set leads to a necessary and sufficient criterion for pure states. The criteria are readily implementable with existing technology and reveal entanglement that remains undetected by the respective state-of-the-art methods for discrete and continuous variables.
This is a comment on articles Phys. Rev. Lett. 119, 240401 (2017) [arXiv:1707.06050] and Phys. Rev. Lett. 119, 240402 (2017) [arXiv:1707.06036]. We argue that gravity-induced entanglement by Newtonian forces is agnostic to the quantum or classical nature of the gravitational true degrees of freedom.
A new criterion necessary and sufficient for the separability of pure bipartite systems for arbitrary finite dimensions is demonstrated; and the corresponding finer quantitative measures or characterizations of entanglement (beyond mere separability or non-separability determination) are discussed. Based on this criterion, we proved that the well-known Peres-Horodecki positivity-of-partial-transform criterion is also necessary and sufficient for separability in the case of pure bipartite systems. The maximum value of entanglement, and the corresponding maximally-entangled states are also worke…
We transform the way of finding entanglement criterion into two steps: to obtain necessary criterion of separability by maximizing an algebra function for a set of characteristic variables of the witness operator and the given number of partitions, then to obtain the sufficient criterion by minimizing an algebra function with respect to the characteristic variables for a given quantum state. Our method avoids the semi-definite program calculation in the witness operator entanglement detection. The necessary and sufficient criterion of separability for the three qubit X shaped state is given to…
Recently, a sufficient condition on the structure of the Kossakowski-Lindblad master equation has been given such that the generated reduced dynamics of two qubits results entangling for at least one among their initial separable pure states. In this paper we study to which extent this condition is also necessary. Further, we find sufficient conditions for bath-mediated entanglement generation in higher dimensional bipartite open quantum systems.
The Bell theorem expresses that quantum mechanics is not a local-realistic theory, which is often interpreted as nonlocality of the nature. This result has led to this belief that nonlocality and entanglement are the same resources. However, this belief has been critically challenged in the literature. Here, we reexamine the relation between nonlocality and entanglement in light of the Brassard-Cleve-Tapp (BCT) model, which was originally proposed for simulating quantum correlation of Bell's states by using shared random variables augmented by classical communications. We derive a new criterio…
We consider general locally-interacting arbitrary-dimensional lattice spin systems that are gapped for any system size. We show under reasonable conditions that nondegenerate ground states of such systems obey the entanglement area law. In so doing, we offer an intuitive picture on how a spectral gap restricts the correlations that a ground state can accommodate and leads to such a special feature.
The structural physical approximation (SPA) to a positive map is considered to be one of the most important method to detect entanglement in the real physical world. We first show that an arbitrary entanglement witness (EW) $W$ can be constructed from a separable density matrix $σ$ in the form of $W=σ-c_σ I$, where $c_σ$ is a non-negative number and $I$ is the identity matrix. Following the general form of EWs from separable states, we show a sufficient condition and a sufficient and necessary condition in low dimensions of that SPAs to positive maps do not define entanglement-breaking channel…
Entanglement is at the heart of fundamental tests of quantum mechanics like tests of Bell-inequalities and, as discovered lately, of quantum computation and communication. Their technological advance made entangled photons play an outstanding role in entanglement physics. We give a generalized concept of qubit entanglement and review the state of the art of photonic experiments.
We introduce an operational procedure to determine, with arbitrary probability and accuracy, optimal entanglement witness for every multipartite entangled state. This method provides an operational criterion for separability which is asymptotically necessary and sufficient. Our results are also generalized to detect all different types of multipartite entanglement.
We find a sufficient condition to imprint the single-mode bosonic phase-space nonclassicality onto a bipartite state as modal entanglement and vice versa using an arbitrary beam splitter. Surprisingly, the entanglement produced or detected in this way depends only on the nonclassicality of the marginal input or output states, regardless of their purity and separability. In this way, our result provides a sufficient condition for generating entangled states of arbitrary high temperature and arbitrary large number of particles. We also study the evolution of the entanglement within a lossy Mach-…
Quantum entanglement is essential to the development of quantum computation, communications, and technology. The controlled SWAP test, widely used for state comparison, can be adapted to an efficient and useful test for entanglement of a pure state. Here we show that the test can evidence the presence of entanglement (and further, genuine n-qubit entanglement), can distinguish entanglement classes, and that the concurrence of a two-qubit state is related to the test's output probabilities. We also propose a multipartite measure of entanglement that acts similarly for n-qubit states. The number…
We examine the powers of entanglement-assisted transformation and multiple-copy entanglement transformation. First, we find a sufficient condition of when a given catalyst is useful in producing another specific target state. As an application of this condition, for any non-maximally entangled bipartite pure state and any integer $n$ not less than 4, we are able to explicitly construct a set of $n\times n$ quantum states which can be produced by using the given state as a catalyst. Second, we prove that for any positive integer $k$, entanglement-assisted transformation with $k\times k$-dimensi…
Detecting spacelike vacuum entanglement at all distances and promoting negativity to a necessary and sufficient entanglement measure in many-body regimes
We derive a simple lower bound on the geometric measure of entanglement for mixed quantum states in the case of a general multipartite system. The main ingredient of the presented derivation is the triangle inequality applied to the root infidelity distance in the space of density matrices. The obtained bound leads to entanglement criteria with a straightforward interpretation. Proposed criteria provide an experimentally accessible, powerful entanglement test.
We provide a class of inequalities for detecting entanglements in multi-mode systems. Necessary conditions for fully separable, bi-separable and sufficient conditions for fully entangled states are explicitly presented.
A 3-setting Bell-type inequality enforced by the indeterminacy relation of complementary local observables is proposed as an experimental test of the 2-qubit entanglement. The proposed inequality has an advantage of being a sufficient and necessary criterion of the separability. Therefore any entangled 2-qubit state cannot escape the detection by this kind of tests. It turns out that the orientation of the local testing observables plays a crucial role in our perfect detection of the entanglement.
Given a black-box representing an unknown Boolean function $f$ of $n$ variables, in this paper we propose a fast quantum algorithm to test whether or not a certain variable in the function $f$ is a junta variable. The proposed algorithm creates entanglement between the variable under test and an auxiliary qubit, where the entanglement is measured using concurrence measure to decide if the variable is junta. The paper shows applications to the proposed algorithm in learning and categorization of Boolean functions.
The sufficient condition of entanglement enhanced classical capacity is given for Pauli memory channel with arbitrary channel parameters. In some special case the condition is also necessary but fail to be necessary in general. The theory of majorization and perturbation are used in the proving.
It is shown that a criterion used to demonstrate realization of the 1935 Einstein-Podolsky-Rosen (EPR) gedanken experiment is sufficient to demonstrate quantum entanglement. A further set of measurable criteria sufficient to demonstrate EPR gedanken experiment is proposed, these being the set of criteria sufficient to demonstrate entanglement, by way of a measured violation of a necessary condition of separability. In this way, provided the spatial separation of systems is sufficient to ensure EPR's locality hypothesis, it is shown how a measured demonstration of entanglement will, at least, b…
According to the Gottesman-Knill theorem, any quantum algorithm utilising operations chosen exclusively from a particular restricted set are efficiently simulable by a classical computer. Since some of these algorithms involve entangled states, it is commonly concluded that entanglement is insufficient to enable quantum speedup. As I explain, however, the operations belonging to this set are precisely those which will never yield a violation of the Bell inequalities. Thus it should be no surprise that entangled quantum states which only undergo operations in this set are efficiently simulable …
It is shown that the dissonance, a quantum correlation which is equal to quantum discord for separable state, is required for assisted optimal state discrimination. We find that only one side discord is required in the optimal process of assisted state discrimination, while another side discord and entanglement is not necessary. We confirm that the quantum discord, which is asymmetric depending on local measurements, is a resource for assisted state discrimination. With the absence of entanglement, we give the necessary and sufficient condition for vanishing one side discord in assisted state …
Suppose Alice and Bob try to transform an entangled state shared between them into another one by local operations and classical communications. Then in general a certain amount of entanglement contained in the initial state will decrease in the process of transformation. However, an interesting phenomenon called partial entanglement recovery shows that it is possible to recover some amount of entanglement by adding another entangled state and transforming the two entangled states collectively. In this paper we are mainly concerned with the feasibility of partial entanglement recovery. The bas…
A necessary and sufficient condition for the maximal entanglement of bipartite nonorthogonal pure states is found. The condition is applied to the maximal entanglement of coherent states. Some new classes of maximally entangled coherent states are explicited constructed; their limits give rise to maximally entangled Bell-like states.
In the last years, a relationship has been established between the quantum Fisher information (QFI) and quantum entanglement. In the case of two-qubit systems, all pure entangled states can be made useful for sub-shot-noise interferometry while their QFI meets a necessary and sufficient condition [1]. In M-qubit systems, the QFI provides just a sufficient condition in the task of detecting the degree of entanglement of a generic state [2]. In our work, we show analytically that, for a large class of one-parameter non-optimal two-qubit states, the maximally entangled states are associated with …
We analytically prove the necessary and sufficient criterion for the full separability of three-qubit Greenberger-Horne-Zeilinger (GHZ) diagonal states. The corresponding entanglement is exactly calculable for some GHZ diagonal states and is tractable for the others using the relative entropy of entanglement. We show that the biseparable criterion and the genuine entanglement are determined only by the biggest GHZ diagonal element regardless of all the other smaller diagonal elements. We have completely solved the entanglement problems of three-qubit GHZ diagonal states.
Detecting and quantifying quantum entanglement of a given unknown state poses problems that are fundamentally important for quantum information processing. Surprisingly, no direct (i.e., without quantum tomography) universal experimental implementation of a necessary and sufficient test of entanglement has been designed even for a general two-qubit state. Here we propose an experimental method for detecting a collective universal witness, which is a necessary and sufficient test of two-photon polarization entanglement. It allows us to detect entanglement for any two-qubit mixed state and to es…
We propose a Partial Lorentz Transformation (PLT) test for detecting entanglement in a two qubit system. One can expand the density matrix of a two qubit system in terms of a tensor product of $(\mathbb{I}, \vecσ)$. The matrix $A$ of the coefficients that appears in such an expansion can be "squared" to form a $4\times4$ matrix $B$. It can be shown that the eigenvalues $λ_0, λ_1, λ_2, λ_3$ of $B$ are positive. With the choice of $λ_0$ as the dominant eigenvalue, the separable states satisfy $\sqrt{λ_1}+\sqrt{λ_2}+\sqrt{λ_3}\leq \sqrt{λ_0}$. Violation of this inequality is a test of entanglemen…
We prove a necessary and sufficient condition for the occurrence of entanglement in two two-level systems, simple enough to be of experimental interest. Our results are illustrated in the context of a spin star system analyzing the exact entanglement evolution of the central couple of spins.
We construct a single observable measurement of which mean value on four copies of an {\it unknown} two-qubit state is sufficient for unambiguous decision whether the state is separable or entangled. In other words, there exists a universal collective entanglement witness detecting all two-qubit entanglement. The test is directly linked to a function which characterizes to some extent the entanglement quantitatively. This function is an entanglement monotone under so--called local pure operations and classical communication (pLOCC) which preserve local dimensions. Moreover it provides tight up…
These two accompanying papers treat two mode entanglement for systems of identical massive bosons and the relationship to spin squeezing and other quantum correlation effects. Entanglement is a key quantum feature of composite systems where the probabilities for joint measurements on the composite sub-systems are no longer determined from measurement probabilities on the separate sub-systems. We focus on the meaning of entanglement, the quantum paradoxes associated with entangled states, and important tests that allow an experimentalist to determine whether a quantum state - in particular, one…
We propose a very simple scheme to test the quantum enatanglement swapping in a priori. In the scheme, we only assume the photon detector can distinguish the vacuum and non-vacuum Fock state rather than the exact Fock number states.
