We construct a new class of multipartite states possessing orthogonal symmetry. This new class defines a convex hull of multipartite states which are invariant under the action of local unitary operations introduced in our previous paper "On multipartite invariant states I. Unitary symmetry". We study basic properties of multipartite symmetric states: separability criteria and multi-PPT conditions.
Recently using entanglement as resource to distinguish orthogonal product states by local operations and classical communication (LOCC) has been studied intensively. Zhang. et al. presented protocols to use entanglement to distinguish certain classes of orthogonal product states in $\mathbb{C}^m\otimes \mathbb{C}^n$\cite{Zhang016}. In this paper, we study local distinguishability of multipartite orthogonal product states and provide a practical solution. Our method relies upon a special class of locally indistinguishable multipartite product states introduced by Wang et. al. to build a protoco…
We consider one copy of a quantum system prepared in one of two non-orthogonal pure product states of multipartite distributed among separated parties. We show that there exist protocols which obtain optimal probability in the sense of conclusive discrimination by means of local operations and classical communications(LOCC) as good as by global operations. Also, we show a protocol which minimezes the average number of local operations. Our result implies that two product pure multipartite states might not have the non-local property though more than two can have.
We show that entanglement guarantees difficulty in the discrimination of orthogonal multipartite states locally. The number of pure states that can be discriminated by local operations and classical communication is bounded by the total dimension over the average entanglement. A similar, general condition is also shown for pure and mixed states. These results offer a rare operational interpretation for three abstractly defined distance like measures of multipartite entanglement.
We consider one copy of a quantum system prepared in one of two orthogonal pure states, entangled or otherwise, and distributed between any number of parties. We demonstrate that it is possible to identify which of these two states the system is in by means of local operations and classical communication alone. The protocol we outline is both completely reliable and completely general - it will correctly distinguish any two orthogonal states 100% of the time.
Recently, much attention have been paid to the constructions of nonlocal multipartite orthogonal product states. Among the existing results, some are relatively complex in structure while others have many constraint conditions. In this paper, we firstly give a simple method to construct a nonlocal set of orthogonal product states in $\otimes_{j=1}^{n}\mathbb{C}^{d}$ for $d\geq 2$. Then we give an ingenious proof for local indistinguishability of the set constructed by our method. According to the characteristics of this construction method, we get a new construction of nonlocal set with fewer …
The construction of nonlocal sets of quantum states has attracted much attention in recent years. We first introduce two Lemmas related to the triviality of orthogonality-preserving local measurements. Then we propose a general construction of nonlocal set of $n(d-1)+1$ orthogonal product states in $(\mathbb{C}^{d})^{\otimes n}$. The sets of nonlocal orthogonal product states are also put forward for the multipartite quantum systems with arbitrary dimensions. Our novel construction gives rise to nonlocal sets of orthogonal product states with much less members and thus reveals the phenomenon o…
We study the constructions of nonlocal orthogonal product states in multipartite systems that cannot be distinguished by local operations and classical communication. We first present two constructions of nonlocal orthogonal product states in tripartite systems $\mathcal{C}^{d}\otimes\mathcal{C}^{d}\otimes\mathcal{C}^{d}~(d\geq3)$ and $\mathcal{C}^d\otimes \mathcal{C}^{d+1}\otimes \mathcal{C}^{d+2}~(d\geq 3)$. Then for general tripartite quantum system $\mathcal{C}^{n_{1}}\otimes\mathcal{C}^{n_{2}}\otimes\mathcal{C}^{n_{3}}$ $(3\leq n_{1}\leq n_{2}\leq n_{3})$, we obtain $2(n_{2}+n_{3}-1)-n_{1…
It is known that there exist sets of pure orthogonal product states which cannot be perfectly distinguished by local operations and classical communication (LOCC). Such sets are nonlocal sets which exhibit nonlocality without entanglement. These nonlocal sets can be completable or uncompletable. In this work both completable and uncompletable small nonlocal sets of multipartite orthogonal product states are constructed. Apart from nonlocality, these sets have other interesting properties. In particular, the completable sets lead to the construction of a class of complete orthogonal product bas…
Quantum multipartite entangled states play significant roles in quantum information processing. By using difference schemes and orthogonal partitions, we construct a series of infinite classes of irredundant mixed orthogonal arrays (IrMOAs) and thus provide positive answers to two open problems. The first is the extension of the method for constructing homogeneous systems from orthogonal arrays (OAs) to heterogeneous multipartite systems with different individual levels. The second is the existence of $k$-uniform states in heterogeneous quantum systems. We present explicit constructions of two…
We propose a natural generalization of bipartite Werner and isotropic states to multipartite systems consisting of an arbitrary even number of d-dimensional subsystems (qudits). These generalized states are invariant under the action of local unitary operations. We study basic properties of multipartite invariant states: separability criteria and multi-PPT conditions.
We study the invariants of arbitrary dimensional multipartite quantum states under local unitary transformations. For multipartite pure states, we give a set of invariants in terms of singular values of coefficient matrices. For multipartite mixed states, we propose a set of invariants in terms of the trace of coefficient matrices. For full ranked mixed states with nondegenerate eigenvalues, this set of invariants is also the necessary and sufficient conditions for the local unitary equivalence of such two states.
We introduce several classes of quantum combinatorial designs, namely quantum Latin squares, cubes, hypercubes and a notion of orthogonality between them. A further introduced notion, quantum orthogonal arrays, generalizes all previous classes of designs. We show that mutually orthogonal quantum Latin arrangements can be entangled in the same way than quantum states are entangled. Furthermore, we show that such designs naturally define a remarkable class of genuinely multipartite highly entangled states called $k$-uniform, i.e. multipartite pure states such that every reduction to $k$ parties …
We construct a nontrivial set of invariants for any multipartite mixed states under the SLOCC symmetry. These invariants are given by hyperdeterminants and independent from basis change. In particular, a family of d^2 invariants for arbitrary d-dimensional even partite mixed states are explicitly given.
We construct a class of multipartite states possessing rotational SO(3) symmetry -- these are states of K spin-j_A particles and K spin-j_B particles. The construction of symmetric states follows our two recent papers devoted to unitary and orthogonal multipartite symmetry. We study basic properties of multipartite SO(3) symmetric states: separability criteria and multi-PPT conditions.
A pure quantum state of N subsystems with d levels each is called k-multipartite maximally entangled state, written k-uniform, if all its reductions to k qudits are maximally mixed. These states form a natural generalization of N-qudits GHZ states which belong to the class 1-uniform states. We establish a link between the combinatorial notion of orthogonal arrays and k-uniform states and prove the existence of several new classes of such states for N-qudit systems. In particular, known Hadamard matrices allow us to explicitly construct 2-uniform states for an arbitrary number of N>5 qubits. We…
We present an approach of constructing invariants under local unitary transformations for multipartite quantum systems. The invariants constructed in this way can be complement to that in [Science 340 (2013) 1205-1208]. Detailed examples are given to compute such invariant in detail. It is shown that these invariants can be used to detect the local unitary equivalence of degenerated quantum states.
We introduce algebraic sets in the products of complex projective spaces for the mixed states in multipartite quantum systems as their invariants under local unitary operations. The algebraic sets have to be the union of the linear subspaces if the state is separable. Some examples are studied based on our criterion
In this work we consider the permutational properties of multipartite entanglement monotones. Based on the fact that genuine multipartite entanglement is a property of the entire multi-qubit system, we argue that ideal definitions for its characterizing quantities must be permutation-invariant. Using this criterion, we examine the three 4-qubit entanglement monotones introduced by Osterloh and Siewert [Phys. Rev. A. 72, 012337]. By expressing them in terms of quantities whose permutational properties can be easily derived, we find that one of these monotones is not permutation-invariant. We pr…
We study the equivalence of quantum states under local unitary transformations by using the singular value decomposition. A complete set of invariants under local unitary transformations is presented for several classes of tripartite mixed states in KxMxN composite systems. Two density matrices in the same class are equivalent under local unitary transformations if and only if all these invariants have equal values for these density matrices.
Recently, Halder \emph{et al.} [S. Halder \emph{et al.}, Phys. Rev. Lett. \textbf{122}, 040403 (2019)] present two sets of strong nonlocality of orthogonal product states based on the local irreducibility. However, for a set of locally indistinguishable orthogonal entangled states, the remaining question is whether the states can reveal strong quantum nonlocality. Here we present a general definition of strong quantum nonlocality based on the local indistinguishability. Then, in $2 \otimes 2 \otimes 2$ quantum system, we show that a set of orthogonal entangled states is locally reducible but l…
We investigate the possibility of distinguishing a set of mutually orthogonal multipartite quantum states by local operations and classical communication (LOCC). We connect this problem with generators of SU(N) and present a new condition that is necessary for a set of orthogonal states to be locally distinguishable. We show that even in multipartite cases there exists a systematic way to check whether the presented condition is satisfied for a given set of orthogonal states. Based on the proposed checking method, we find that LOCC cannot distinguish three mutually orthogonal states in which t…
The degree of the generators of invariant polynomial rings of is a long standing open problem since the very initial study of the invariant theory in the 19th century. Motivated by its significant role in characterizing multipartite entanglement, we study the invariant polynomial rings of local unitary group---the tensor product of unitary group, and local general linear group---the tensor product of general linear group. For these two groups, we prove polynomial upper bounds on the degree of the generators of invariant polynomial rings. On the other hand, systematic methods are provided to to…
We study the entangling properties of multipartite unitary gates with respect to the measure of entanglement called one-tangle. Putting special emphasis on the case of three parties, we derive an analytical expression for the entangling power of an $n$-partite gate as an explicit function of the gate, linking the entangling power of gates acting on $n$-partite Hilbert space of dimension $d_1 \ldots d_n$ to the entanglement of pure states in the Hilbert space of dimension $(d_1 \ldots d_n)^2$. Furthermore, we evaluate its mean value averaged over the unitary and orthogonal groups, analyze the m…
Bell inequalities are natural tools that allow one to certify the presence of nonlocality in quantum systems. The known constructions of multipartite Bell inequalities contain, however, correlation functions involving all observers, making their experimental implementation difficult. The main purpose of this work is to explore the possibility of witnessing nonlocality in multipartite quantum states from the easiest-to-measure quantities, that is, the two-body correlations. In particular, we determine all three and four-partite Bell inequalities constructed from one and two-body expectation val…
We investigate the dynamics of entanglement and nonlocality for multipartite quantum systems under collective dephasing. Using an exact and computable measure for genuine entanglement, we demonstrate the possibility of a non trivial phenomenon of time-invariant entanglement for multipartite quantum systems. We find that for four qubits, there exist quantum states, which are changing continously nevertheless their genuine entanglement remains constant. Based on our numerical results, we conjecture that there is no evidence of time-invariant entanglement for quantum states of three qubits. We po…
We examine the perfect cloning of non-local, orthogonal states with only local operations and classical communication. We provide a complete characterisation of the states that can be cloned under these restrictions, and their relation to distinguishability. We also consider the case of catalytic cloning, which we show provides no enhancement to the set of clonable states.
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…
We propose concurrence classes for general pure multipartite states based on an orthogonal complement of a positive operator valued measure on quantum phase. In particular, we construct $W^{m}$ class, $GHZ^{m}$, and $GHZ^{m-1}$ class concurrences for general pure $m$-partite states. We give explicit expressions for $W^{3}$ and $GHZ^{3}$ class concurrences for general pure three-partite states and for $W^{4}$, $GHZ^{4}$, and $GHZ^{3}$ class concurrences for general pure four-partite states.
Characterizing local unitary equivalence of multipartite states by local unitary Bargmann invariants
School of Mathematics and Data Science, Jiangnan University（江南大学数学与数据科学学院）；School of Mathematical Sciences, Beihang University（北京航空航天大学数学科学学院）；School of Mathematical Sciences, Capital Normal University（首都师范大学数学科学学院）
The invariant-comb approach is a method to construct entanglement measures for multipartite systems of qubits. The essential step is the construction of an antilinear operator that we call {\em comb} in reference to the {\em hairy-ball theorem}. An appealing feature of this approach is that for qubits (or spins 1/2) the combs are automatically invariant under $SL(2,\CC)$, which implies that the obtained invariants are entanglement monotones by construction. By asking which property of a state determines whether or not it is detected by a polynomial $SL(2,\CC)$ invariant we find that it is the …
We introduce algebriac sets in the products of complex projective spaces for multipartite mixed states, which are independent of their eigenvalues and only measure the "position" of their eigenvectors, as their non-local invariants (ie. remaining invariant after local untary transformations). These invariants are naturally arised from the physical consideration of checking multipartite mixed states by measuring them with multipartite separable pure states. The algebraic sets have to be the sum of linear subspaces if the multipartite mixed state is separable, and thus we give a new separability…
Production and verification of multipartite quantum state are an essential step in quantum information processing. In this work, we propose an efficient method to decompose symmetric multipartite observables, which are invariant under permutations between parties, with only $(N+1)(N+2)/2$ local measurement settings, where $N$ is the number of qubits. We apply the decomposition technique to evaluate the fidelity between an unknown prepared state and any target permutation invariant state. In addition, for some typical permutation invariant states, such as the Dicke state with a constant number …
We show that a positive homogeneous function that is invariant under determinant-1 stochastic local operations and classical communication (SLOCC) transformations defines an N-qubit entanglement monotone if and only if the homogeneous degree is not larger than four. In particular this implies that any power larger than one of the well-known N-tangle (N > 2) is not an entanglement monotone anymore. We then describe a common basis and formalism for the N-tangle and other known invariant polynomials of degree four. This allows us to elucidate the relation of the four-qubit invariants defined by L…
A method is presented to obtain local unitary invariants for multipartite quantum systems consisting of fermions or distinguishable particles. The invariants are organized into infinite families, in particular, the generalization to higher dimensional single particle Hilbert spaces is straightforward. Many well-known invariants and their generalizations are also included.
Nonlocality without entanglement and its subsequent generalizations offer deep information-theoretic insights and subsequently find several useful applications. Concept of genuinely nonlocal set of product states emerges as a natural multipartite generalization of this phenomenon. Existence of such sets eventually motivates the problem concerning their entanglement-assisted discrimination. Here, we construct examples of genuinely nonlocal product states for arbitrary number of parties. Strength of genuine nonlocality of these sets can be considered minimal as their perfect discrimination is po…
In this paper, we mainly study the local indistinguishability of multipartite product states. Firstly, we follow the method of Z.-C. Zhang \emph{et al}[Phys. Rev. A 93, 012314(2016)] to give another more concise set of $2n-1$ orthogonal product states in $\mathbb{C}^m\otimes\mathbb{C}^n(4\leq m\leq n)$ which can not be distinguished by local operations and classical communication(LOCC). Then we use the 3 dimension cubes to present some product states which give us an intuitive view how to construct locally indistinguishable product states in tripartite quantum system. At last, we give an expli…
Entanglement is considered to be one of the primary reasons for why quantum algorithms are more efficient than their classical counterparts for certain computational tasks. The global multipartite entanglement of the multiqubit states in Grover's search algorithm can be quantified using the geometric measure of entanglement (GME). Rossi {\em et al.} (Phys. Rev. A \textbf{87}, 022331 (2013)) found that the entanglement dynamics is scale invariant for large $n$. Namely, the GME does not depend on the number $n$ of qubits; rather, it only depends on the ratio of iteration $k$ to the total iterati…
We investigate the connection between the concept of affine balancedness (a-balancedness) introduced in [Phys. Rev A. {\bf 85}, 032112 (2012)] and polynomial local SU invariants and the appearance of topological phases respectively. It is found that different types of a-balancedness correspond to different types of local SU invariants analogously to how different types of balancedness as defined in [New J. Phys. {\bf 12}, 075025 (2010)] correspond to different types of local SL invariants. These different types of SU invariants distinguish between states exhibiting different topological phases…
Entanglement of multipartite systems is studied based on exchange symmetry under the permutation group S_N. With the observation that symmetric property under the exchange of two constituent states and their separability are intimately linked, we show that anti-symmetric (fermionic) states are necessarily globally entangled, while symmetric (bosonic) states are either globally entangled or fully separable and possess essentially identical states in all the constituent systems. It is also shown that there cannot exist a fully separable state which is orthogonal to all symmetric states, and that…
I consider the problem of deterministically distinguishing the state of a multipartite system, from a set of $N\ge d+1$ orthogonal states, where $d$ is the dimension of each party's subsystem. It is shown that if the set of orthogonal states is chosen at random, then there is a vanishing probability that this set will be perfectly distinguishable under the restriction that the parties use only local operations on their subsystems and classical communication amongst themselves.
We explicitly show a protocol in which an arbitrary two qubit a|00> + b|01> + c|10> + d|11> is faithfully and deterministically teleported from Alice to Bob. We construct the 16 orthogonal generalized Bell states which can be used to teleport the two qubits. The local operations Bob must perform on his qubits in order to recover the teleported state is also constructed. They are restricted only to single qubit gates. This means that a CNOT gate is not necessary to complete the protocol. A generalization where N qubits is teleported is also shown. We define a generalized magic basis, which poss…
We investigate genuine multipartite nonlocality of pure permutationally invariant multimode Gaussian states of continuous variable systems, as detected by the violation of Svetlichny inequality. We identify the phase space settings leading to the largest violation of the inequality when using displaced parity measurements, distinguishing our results between the cases of even and odd total number of modes. We further consider pseudospin measurements and show that, for three-mode states with asymptotically large squeezing degree, particular settings of these measurements allow one to approach th…
In previous work the authors introduced a notion of generic states and obtained criteria for local equivalence of them. Here they introduce the concept of CHG states maintaining the criteria of local equivalence. This fact allows the authors to halve the number of invariants necessary to characterize the equivalence classes under local unitary transformations for the set of tripartite states whose partial trace with respect to one of the subsystems belongs to the class of CHG mixed states.
We provide a method for checking indistinguishability of a set of multipartite orthogonal states by local operations and classical communication (LOCC). It bases on the principle of nonincreasing of entanglement under LOCC. This method originates from the one introduced by Ghosh \emph{et al.} (Phys. Rev. Lett. \textbf{87}, 5807 (2001) (quant-ph/0106148)), though we deal with {\emph pure} states. In the bipartite case, our method is operational, although we do not know whether it can always detect local indistinguishability. We apply our method to show that an arbitrary complete multipartite or…
The equivalence problem under local unitary transformation for $n$--partite pure states is reduced to the one for $(n-1)$--partite mixed states. In particular, a tripartite system $\mathcal{H}_A\otimes\mathcal{H}_B\otimes\mathcal{H}_C$, where $\mathcal{H}_j$ is a finite dimensional complex Hilbert space for $j=A,B,C$, is considered and a set of invariants under local transformations is introduced, which is complete for the set of states whose partial trace with respect to $\mathcal{H}_A$ belongs to the class of generic mixed states.
We present a method to construct entanglement measures for pure states of multipartite qubit systems. The key element of our approach is an antilinear operator that we call {\em comb} in reference to the {\em hairy-ball theorem}. For qubits (or spin 1/2) the combs are automatically invariant under $SL(2,\CC)$. This implies that the {\em filters} obtained from the combs are entanglement monotones by construction. We give alternative formulae for the concurrence and the 3-tangle as expectation values of certain antilinear operators. As an application we discuss inequivalent types of genuine four…
Normalized Laplacian matrices of graphs have recently been studied in the context of quantum mechanics as density matrices of quantum systems. Of particular interest is the relationship between quantum physical properties of the density matrix and the graph theoretical properties of the underlying graph. One important aspect of density matrices is their entanglement properties, which are responsible for many nonintuitive physical phenomena. The entanglement property of normalized Laplacian matrices is in general not invariant under graph isomorphism. In recent papers, graphs were identified wh…
A set of multipartite orthogonal product states is strongly nonlocal if it is locally irreducible in every bipartition. Most known constructions of strongly nonlocal orthogonal product set (OPS) are limited to tripartite systems, and they are lack of intuitive structures. In this work, based on the decomposition for the outermost layer of an $n$-dimensional hypercube for $n= 3,4,5$, we successfully construct strongly nonlocal OPSs in any possible three, four and five-partite systems, which answers an open question given by Halder et al. [Phys. Rev. Lett.122, 040403 (2019)] and Yuan et al. [Phy…
