In this paper we present a necessary and sufficient condition of distinguishability of bipartite quantum states. It is shown that the operators to reliably distinguish states need only rounds of projective measurements and classical comunication. We also present a necessary condition of distinguishability of bipartite quantum states which is simple and general. With this condition one can get many cases of indistinguishability. The conclusions may be useful in understanding the essence of nonlocality and calculating the distillable entanglement and the bound of distillable entanglement.
In this article, we show a sufficient and necessary condition for locally distinguishable bipartite states via one-way local operations and classical communication (LOCC). With this condition, we present some minimal structures of one-way LOCC indistinguishable quantum state sets. As long as an indistinguishable subset exists in a state set, the set is not distinguishable. We also list several distinguishable sets as instances.
Local distinguishability of five orthogonal product states on bipartite and tripartite quantum systems
College of Computer Science and Engineering, Shandong University of Science and Technology（山东科技大学计算机科学与工程学院）；Faculty of Information Technology, Beijing University of Technology（北京工业大学信息学部）；College of Mathematics and Systems Science, Shandong University of Science and Technology（山东科技大学数学与系统科学学院）
Local distinguishability of six bipartite orthogonal product states
College of Computer Science and Engineering, Shandong University of Science and Technology（山东科技大学计算机科学与工程学院）；College of Cyberspace Science and Technology, Beijing University of Technology（北京工业大学网络空间技术学院）；College of Mathematics and Systems Science, Shandong University of Science and Technology（山东科技大学数学与系统科学学院）
In the topic of perfect local distinguishability of orthogonal multipartite quantum states, most results obtained so far pertain to bipartite systems whose subsystems are of specific dimensions. In contrast very few results for bipartite systems whose subsystems are of arbitrary dimensions, are known. This is because a rich variety of (algebraic or geometric) structure is exhibited by different sets of orthogonal states owing to which it is difficult to associate some common property underlying them all, i.e., a common property that would play a crucial role in the local distinguishability of …
We prove a tight and close-to-optimal lower bound on the effectiveness of local quantum measurements (without classical communication) at discriminating any two bipartite quantum states. Our result implies, for example, that any two orthogonal quantum states of a $n_A\times n_B$ bipartite quantum system can be discriminated via local measurements with an error probability no larger than $\frac12 \left(1 - \frac{1}{c \min\{n_A, n_B\}} \right)$, where $1\leq c\leq 2\sqrt2$ is a universal constant, and our bound scales provably optimally with the local dimensions $n_A,n_B$. Mathematically, this i…
We consider deeply the relation between the orthogonality and the distinguishability of a set of arbitrary states (including multi-partite states). It is shown that if a set of arbitrary states can be distinguished by local operations and classical communication (LOCC), \QTR{it}{\}each of the states can be written as a linear combination of product vectors such that all product vectors of one of the states are orthogonal to the other states. With this result we then prove a simple necessary condition for LOCC distinguishability of a class of orthogonal states. These conclusions may be useful i…
Local distinguishability of sets of generalized Bell states (GBSs) is investigated. We first clarify the conditions such that a set of GBSs can be locally transformed to a certain type of GBS set that is easily distinguishable within local operations and one-way classical communication. We then show that, if the space dimension $d$ is a prime, these conditions are necessary and sufficient for sets of $d$ GBSs in $\mathbb{C}^d \otimes \mathbb{C}^d$ to be locally distinguishable. Thus we obtain a simple computable criterion for local distinguishability of sets of $d$ GBSs in prime dimension $d$.
We analyse orthogonal bases in a composite $N\times N$ Hilbert space describing a bipartite quantum system and look for a basis with optimal single-sided mutual state distinguishability. This condition implies that in each subsystem the $N^2$ reduced states form a regular simplex of a maximal edge length, defined with respect to the trace distance. In the case $N=2$ of a two-qubit system our solution coincides with the elegant joint measurement introduced by Gisin. We derive explicit expressions of an analogous constellation for $N=3$ and provide a general construction of $N^2$ states forming …
The principle of local distinguishability states that an arbitrary physical state of a bipartite system can be determined by the combined statistics of local measurements performed on the subsystems. A necessary and sufficient requirement for the local measurements is that each one must be able to distinguish between all pairs of states of the respective subsystems. We show that if the task is changed into the determination of an arbitrary bipartite pure state, then at least in certain cases it is possible to restrict to local measurements which can distintinguish all pure states but not all s…
The (im)possibility of local distinguishability of orthogonal multipartite quantum states still remains an intriguing question. Beyond $\mathbb{C}^{3}\otimes\mathbb{C}^{3}$, the problem remains unsolved even for maximally entangled states (MES). So far, the only known condition for the local distinguishability of states is the well-known orthogonality preservation (OP). Using an upper bound on the locally accessible information for bipartite states, we derive a very simple necessary condition for any set of pairwise orthogonal MES in $\mathbb{C}^{d}\otimes \mathbb{C}^{d}$ to be perfectly local…
A statistical distinguishability based on relative entropy characterises the fitness of quantum states for phase estimation. This criterion is employed in the context of a Mach-Zehnder interferometer and used to interpolate between two regimes, of local and global phase distinguishability. The scaling of distinguishability in these regimes with photon number is explored for various quantum states. It emerges that local distinguishability is dependent on a discrepancy between quantum and classical rotational energy. Our analysis demonstrates that the Heisenberg limit is the true upper limit for…
P-divisibility conditions on subsystems in quantum dynamics
TCG Centres for Research and Education in Science and Technology (TCG CREST)（科学技术研究与教育中心）；Academy of Scientific and Innovative Research (AcSIR)（科学与创新研究学院）；Ramakrishna Mission Vivekananda Educational and Research Institute（罗摩克里希那使命维韦卡南达教育与研究所）
Motivated by the recent discovery of a quantum Chernoff theorem for asymptotic state discrimination, we investigate the distinguishability of two bipartite mixed states under the constraint of local operations and classical communication (LOCC), in the limit of many copies. While for two pure states a result of Walgate et al. shows that LOCC is just as powerful as global measurements, data hiding states (DiVincenzo et al.) show that locality can impose severe restrictions on the distinguishability of even orthogonal states. Here we determine the optimal error probability and measurement to dis…
We consider the question of perfect local distinguishability of mutually orthogonal bipartite quantum states, with the property that every state can be specified by a unitary operator acting on the local Hilbert space of Bob. We show that if the states can be exactly discriminated by one-way LOCC where Alice goes first, then the unitary operators can also be perfectly distinguished by an orthogonal measurement on Bob's Hilbert space. We give examples of sets of N<=d maximally entangled states in $d \otimes d $ for d=4,5,6 that are not perfectly distinguishable by one-way LOCC. Interestingly fo…
An important problem in quantum information is to construct multiqubit unextendible product bases (UPBs). By using the unextendible orthogonal matrices, we construct a 7-qubit UPB of size 11. It solves an open problem in [Quantum Information Processing 19:185 (2020)]. Next, we graph-theoretically show that the UPB is locally indistinguishable in the bipartite systems of two qubits and five qubits, respectively. It turns out that the UPB corresponds to a complete graph with 11 vertices constructed by three sorts of nonisomorphic graphs. Taking the graphs as product vectors, we show that they ar…
Recent times have seen a spurt of research activity focused on "completing" certain wave-particle duality relations using entanglement or polarization. These studies use a duality relation involving path-predictability, and not path-distinguishability. Quantum origins of these results are explored here, in the more general framework of multipath quantum interference. Multipath interference with a path-detector is theoretically analyzed to find the connection between predictability and distinguishability. It is shown that entanglement is what quantitatively connects distinguishability with pred…
Particle distinguishability is a significant challenge for quantum technologies, in particular photonics where the Hong-Ou-Mandel (HOM) effect clearly demonstrates it is detrimental to quantum interference. We take a representation theoretic approach in first quantisation, separating particles' Hilbert spaces into degrees of freedom that we control and those we do not, yielding a quantum information inspired bipartite model where distinguishability can arise as correlation with an environment carried by the particles themselves. This makes clear that the HOM experiment is an instance of a (mix…
A group of symmetric operators are introduced to carry out the separability criterion for bipartite and multipartite quantum states. Every symmetric operator, represented by a symmetric matrix with only two nonzero elements, and their arbitrary linear combinations are found to be entanglement witnesses. By using these symmetric operators, Wootters' separability criterion for two-qubit states can be generalized to bipartite and multipartite systems in arbitrary dimensions.
We study the distinguishability of multipartite quantum states by separable operations. We first present a necessary and sufficient condition for a finite set of orthogonal quantum states to be distinguishable by separable operations. An analytical version of this condition is derived for the case of $(D-1)$ pure states, where $D$ is the total dimension of the state space under consideration. A number of interesting consequences of this result are then carefully investigated. Remarkably, we show there exists a large class of $2\otimes 2$ separable operations not being realizable by local opera…
We introduce algebraic sets in the complex projective spaces for the mixed states in bipartite quantum systems as their invariants under local unitary operations. The algebraic sets of the mixed state have to be the union of the linear subspaces if the mixed state is separable. Some examples are given and studied based on our criterion
We provide a necessary and sufficient condition for separability of Gaussian states of bipartite systems of arbitrarily many modes. The condition provides an operational criterion since it can be checked by simple computation. Moreover, it allows us to find a pure product-state decomposition of any given separable Gaussian state. Our criterion is independent of the one based on partial transposition, and is strictly stronger.
A decomposition form is introduced in this report to establish a criterion for the bi-partite separability of Bell diagonal states. A such criterion takes a quadratic form of the coefficients of a given Bell diagonal states and can be derived via a simple algorithmic calculation of its invariants. In addition, the criterion can be extended to a quantum system of higher dimension.
The separability of bipartite non-Gaussian states is studied by applying the realignment criterion with the technique of functional analysis. The realignment criterion is given as one inequality in contrast to the infinitive number of inequalities based on the moments. We give the necessary and sufficient condition of inseparability for non-Gaussian states prepared by photon subtraction or addition from symmetric Gaussian states. The entanglement criterion of non-Gaussian states evolved in thermal noise and amplitude damping environment is also obtained.
Cryptographic security of quantum key distribution is currently based on a trace distance criterion. The widespread misinterpretation of the criterion as failure probability and also its actual scope have been discussed previously. Recently its distinguishability advantage interpretation is re-emphasized as an operational guarantee, and the failure probability misinterpretation is maintained with a further failure probability per bit interpretation. In this paper we explain the basic perpetuating error as a confusion on the correspondence between mathematics and reality. We note that the assig…
We prove that all inseparable Gaussian states of two modes can be distilled into maximally entangled pure states by local operations. Using this result we show that a bipartite Gaussian state of arbitrarily many modes can be distilled if and only if its partial transpose is not positive.
For a given density matrix $ρ$ of a bipartite quantum system an asymptotical separability criterion is suggested. Using the continuous ensemble method, a sequence of separable density matrices is built which converges to $ρ$ if and only if $ρ$ is separable. The convergence speed is evaluated and for any given tolerance parameter $κ$ an iterative procedure is suggested which decides in finite number of steps if there exists a separable density matrix $ρ_κ$ which differs from the matrix $ρ$ by at most $κ$.
Recently, Halder \emph{et al.} [Phys. Rev. Lett. \textbf{122}, 040403 (2019)] proposed the concept strong nonlocality without entanglement: an orthogonal set of fully product states in multipartite quantum systems that is locally irreducible for every bipartition of the subsystems. As the difficulty of the problem, most of the results are restricted to tripartite systems. Here we consider a weaker form of nonlocality called local distinguishability based genuine nonlocality. A set of orthogonal multipartite quantum states is said to be genuinely nonlocal if it is locally indistinguishable for …
Inspired by the `computable cross norm' or `realignment' criterion, we propose a new point of view about the characterization of the states of bipartite quantum systems. We consider a Schmidt decomposition of a bipartite density operator. The corresponding Schmidt coefficients, or the associated symmetric polynomials, are regarded as quantities that can be used to characterize bipartite quantum states. In particular, starting from the realignment criterion, a family of necessary conditions for the separability of bipartite quantum states is derived. We conjecture that these conditions, which a…
Every sufficiently rich set of measurements on a fixed quantum system defines a statistical norm on the states of that system via the optimal bias that can be achieved in distinguishing the states using measurements from that set (assuming equal priors). The Holevo-Helstrom theorem says that for the set of all measurements this norm is the trace norm. For finite dimension any norm is lower and upper bounded by constant (though dimension dependent) multiples of the trace norm, so we set ourselves the task of computing or bounding the best possible "constants of domination" for the norms corresp…
Bipartite quantum states are classified into three categories: separable states, bound entangled states, and free entangled states. It is of great importance to characterize these families of states for the development of quantum information science. In this paper, I show that the separable states and the bound entangled states have a common spectral property. More precisely, I prove that for undistillable -- separable and bound entangled -- states, the eigenvalue vector of the global system is majorized by that of the local system. This result constitutes a new sufficient condition for distil…
We construct a density matrix whose elements are written in terms of expectation values of non-Hermitian operators and their products for arbitrary dimensional bipartite states. We then show that any expression which involves matrix elements can be reformulated by the expectation values of these non-Hermitian operators and vice versa. We consider the condition of pure states and pure product states and rewrite them in terms of expectation values and density matrix elements respectively. We utilize expectation values of these operators to present the condition for separability of ${C}^d \otimes…
We construct a family of bipartite states of arbitrary dimension whose eigenvalues of the partially transposed matrix can be inferred directly from the block structure of the global density matrix. We identify from this several subfamilies in which the PPT criterion is both necessary and sufficient. A sufficient criterion of separability is obtained, which is fundamental for the discussion. We show how several examples of states known to be classifiable by the PPT criterion indeed belong to this general set. Possible uses of these states in numerical analysis of entanglement and in the search …
Photon subtraction and addition are experimental means of generating non-Gaussian states from Gaussian states. Coherent subtraction or addition is a combination of photon subtractions or additions. The resultant states are quite general non-Gaussian states. The states can be photon number entangled states with arbitrary coefficients. We derive the entanglement conditions for several classes of coherent subtraction or coherent addition bipartite continuous variable states. One of the entanglement conditions is necessary and sufficient.
Quantum steering describes the ability of one observer to nonlocally affect the other observer's state through local measurements, which represents a new form of quantum nonlocal correlation and has potential applications in quantum information and quantum communication. In this paper, we propose a computable steering criterion that is applicable to bipartite quantum systems of arbitrary dimensions. The criterion can be used to verify a wide range of steerable states directly from a given density matrix without constructing measurement settings. Compared with the existing steering criteria, it…
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 describe a criterion for the detection of entanglement between two multi-boson systems. The criterion is based on calculating correlations of Gell-Mann matrices with a fixed boson number on each subsystem. This applies naturally to systems such as two entangled spinor Bose-Einstein condensates. We apply our criterion to several experimentally motivated examples, such as an $ S^z S^z $ entangled BECs, ac Stark shift induced two-mode squeezed BECs, and photons under parametric down conversion. We find that entanglement can be detected for all parameter regions for the most general criterion. …
We propose a entanglement measure for pure $M \otimes N$ bipartite quantum states. We obtain the measure by generalizing the equivalent measure for a $2 \otimes 2$ system, via a $2 \otimes 3$ system, to the general bipartite case. The measure emphasizes the role Bell states have, both for forming the measure, and for experimentally measuring the entanglement. The form of the measure is similar to generalized concurrence. In the case of $2 \otimes 3$ systems, we prove that our measure, that is directly measurable, equals the concurrence. It is also shown that in order to measure the entanglemen…
A survey of various concepts in quantum information is given, with a main emphasis on the distinguishability of quantum states and quantum correlations. Covered topics include generalized and least square measurements, state discrimination, quantum relative entropies, the Bures distance on the set of quantum states, the quantum Fisher information, the quantum Chernoff bound, bipartite entanglement, the quantum discord, and geometrical measures of quantum correlations. The article is intended both for physicists interested not only by collections of results but also by the mathematical methods …
A distinguishability operator is defined for the continuous-time quantum walk (CTQW) of a bipartite quantum walker on two simply connected graphs, $W_{G_i,G_j} = U_{G_i}\left(t\right) \otimes U_{G_j}\left(t'\right) - U_{G_j}\left(t'\right) \otimes U_{G_i}\left(t\right)$, where $U_{G_i}\left(t\right)$ is the unitary CTQW operator for a labeled graph $G_i$ over a time interval $t$. The null space of $W_{G_i,G_j}$ defines the vector space of initial bipartite states whose time development is either constant or only dependent on $t + t'$ and is invariant to which quantum walker subsystem goes with…
Now, the known ensembles of orthogonal states which are distinguishable by local operators and classical communication (LOCC) satisfy the condition that the sum of Schmidit numbers of the orthogonal states is not bigger than the dimensions of the whole space. A natural question is whether an arbitary ensembles of LOCC-distinguishable orthogonal states satisfies the condition. We first show that, in this paper, the answer is positive. Then we generalize it into multipartite systems, and show that a necessary condition for LOCC-distinguishability of multipartite orthogonal quantum states is that…
Inspired by the realignment or computable cross norm criterion, we present a new result about the characterization of quantum entanglement. Precisely, an interesting class of inequalities satisfied by all separable states of a bipartite quantum system is derived. These inequalities induce new separability criteria that generalize the realignment criterion.
Graph Structures for Local Distinguishability of Quantum Product States
Department of Mathematics & Statistics, University of Guelph（圭尔夫大学数学与统计系）；Department of Mathematics & Computer Science, Brandon University（布兰登大学数学与计算机科学系）；Department of Mathematical Sciences, Bentley University（本特利大学数学科学系）
We consider a bipartite mixed state of the form, $ρ=\sum_{α, β=1}^{l}a_{αβ} | ψ_α> < ψ_ β}| $, where $| ψ_α>$ are normalized bipartite state vectors, and matrix $(a_{αβ})$ is positive semidefinite. We provide a necessary and sufficient condition for the state $ρ$ taking the form of maximally correlated states by a local unitary transformation. More precisely, we give a criterion for simultaneous Schmidt decomposability of $| ψ_α>$ for $α=1,2,..., l$. Using this criterion, we can judge completely whether or not the state $ρ$ is equivalent to the maximally correlated state, in which the distilla…
One of the many interesting features of quantum nonlocality is that the states of a multipartite quantum system cannot always be distinguished as well by local measurements as they can when all quantum measurements are allowed. In this work, we characterize the distinguishability of sets of multipartite quantum states when restricted to separable measurements -- those which contain the class of local measurements but nevertheless are free of entanglement between the component systems. We consider two quantities: The separable fidelity -- a truly quantum quantity -- which measures how well we c…
The Peres-Horodecki criterion of positivity under partial transpose is studied in the context of separability of bipartite continuous variable states. The partial transpose operation admits, in the continuous case, a geometric interpretation as mirror reflection in phase space. This recognition leads to uncertainty principles, stronger than the traditional ones, to be obeyed by all separable states. For all bipartite Gaussian states, the Peres-Horodecki criterion turns out to be necessary and sufficient condition for separability.
I consider deterministic distinguishability of a set of orthogonal, bipartite states when only a single copy is available and the parties are restricted to local operations and classical communication, but with the additional requirement that entanglement must be preserved in the process. Several general theorems aimed at characterizing sets of states with which the parties can succeed in such a task are proven. These include (1) a maximum for the number of states when the Schmidt rank of every outcome must be at least a given minimum; (2) an upper bound (equal to the dimension of Hilbert spac…
Usual separability criteria applicable to distinguishable particles are not applicable to identical particles. Here we show that Partial transposition and symmetrization (or anti symmetrization) of density matrix of bipartite boson systems (fermion systems) can be used to check whether a state is separable or not.By using determinant based separability criteria it has been found that bipartite states of identical particles are always separable. It is found that partial transposition and symmetrization is equivalent to realignment criteria proposed by Wu.
We formulate an entanglement criterion using Peres-Horodecki positive partial transpose operations combined with the Schrödinger-Robertson uncertainty relation. We show that any pure entangled bipartite and tripartite state can be detected by experimentally measuring mean values and variances of specific observables. Those observables must satisfy a specific condition in order to be used, and we show their general form in the $2\times 2$ (two qubits) dimension case. The criterion is applied on a variety of physical systems including bipartite and multipartite mixed states and reveals itself to…
We derive a separability criterion for bipartite quantum systems which generalizes the already known criteria. It is based on observables having generic commutation relations. We then discuss in detail the relation among these criteria.
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 witn…
Entanglement detection problem is one of the important problem in quantum information theory. Gurvit showed that this problem is NP complete and thus this may be the possible reason that only one criterion is not sufficient to detect all entangled states. There are some powerful entanglement detection criterion such as partial transposition criterion, realignment criterion but it may not be possible to implement them successfully in the experiment. This situation can be avoided if the entanglement is detected through the construction of witness operator method. In this work, we take an analyti…
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…
Our previous work about algebraic-geometric invariants of the mixed states are extended and a stronger separability criterion is given. We also show that the Schmidt number of pure states in bipartite quantum systems, a classical concept, is actually an algebraic-geometric invariant.
We show that bipartite Bell inequalities based on the Einstein-Podolsky-Rosen criterion for elements of reality and derived from the properties of some hyperentangled states allow feasible experimental verifications of the fact that quantum nonlocality grows exponentially with the size of the subsystems, and Bell loophole-free tests with currently available photodetection efficiencies.
For a quantum state in a bipartite system represented as a density matrix, researchers used the realignment matrix and functions on its singular values to study the separability of the quantum state. We obtain bounds for elementary symmetric functions of singular values of realignment matrices. This answers some open problems proposed by Lupo, Aniello, and Scardicchio. As a consequence, we show that the proposed scheme by these authors for testing separability would not work if the two subsystems of the bipartite system have the same dimension.
