Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2311.17260

Entanglement of Quantum States which are Zero on the Symmetric Sector

Domenico D’Alessandro

Published Nov 28, 2023• 0 citations
arXivHTMLPDF

Abstract

We consider a quantum system of n qudits and the Clebsch-Gordan decomposition of the associated Hilbert space. In this decomposition, one of the subspaces is the so-called symmetric subspace or symmetric sector, that is, the subspace of all states that are invariant under the action of the symmetric group. We prove that any separable state must have a nonzero component on the symmetric sector, or, equivalently, any state which has zero component on the symmetric sector must be entangled. For the cases of n=2,3 particles, and in arbitrary dimension d, this result can be refined by providing sharp lower bounds on the size of the component of separable states on the symmetric sector. This leads us to identify a class of entanglement witnesses for these systems. We provide an example showing that in the multipartite case, this class of witnesses detects PPT entangled states.

DOI
10.48550/arxiv.2311.17260

Related papers

On a class of entanglement witnesses for multipartite quantum systems

Domenico D’Alessandro

The Hilbert space for [Formula: see text], [Formula: see text]-dimensional, quantum systems, [Formula: see text], contains the subspace of states that are invariant under any permutation, the symmetric sector, [Formula: see text]. Separable states must have a nonzero component on the symmetric sector. More in detail, if [Formula: see text] denotes the orthogonal projection onto [Formula: see text], [Formula: see text], for a bound [Formula: see text] and for any separable state [Formula: see text]. Therefore, if one knows a (lower bound for) [Formula: see text], the operator [Formula: see text] is an entanglement witness for the system. In this paper we calculate sharp bounds [Formula: see text] analytically for the case [Formula: see text] and general [Formula: see text], and numerically for the case of [Formula: see text] qubits ([Formula: see text]). We show with an example that the resulting entanglement witnesses are able to detect entanglement of PPT states.

International Journal of Quantum Information•Jul 10, 2025•0 citations

Separability Criterion for Bipartite States and Its Generalization to Multipartite Systems

Jie‐Hui Huang, Liyun Hu, Lei Wang +1 more

A group of symmetric operators are introduced to carry out the separability criterion for bipartite and multipartite quantum states. All the symmetric operators, 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.

arXiv:1212.0082•Chinese Physics Letters•Apr 1, 2014•2 citations

Symmetric states and dynamics of three quantum bits

Francesca Albertini, Domenico D’Alessandro

The unitary group acting on the Hilbert space ${\cal H}:=(C^2)^{\otimes 3}$ of three quantum bits admits a Lie subgroup, $U^{S_3}(8)$, of elements which permute with the symmetric group of permutations of three objects. Under the action of such a Lie subgroup, the Hilbert space ${\cal H}$ splits into three invariant subspaces of dimensions $4$, $2$ and $2$ respectively, each corresponding to an irreducible representation of $su(2)$. The subspace of dimension $4$ is uniquely determined and corresponds to states that are themselves invariant under the action of the symmetric group. This is the so called {\it symmetric sector.} The subspaces of dimension two are not uniquely determined and we parametrize them all. We provide an analysis of pure states that are in the subspaces invariant under $U^{S_3}(8)$. This concerns their entanglement properties, separability criteria and dynamics under the Lie subgroup $U^{S_3}(8)$. As a physical motivation for the states and dynamics we study, we propose a physical set-up which consists of a symmetric network of three spin $\frac{1}{2}$ particles under a common driving electro-magnetic field. {For such system, we solve the control theoretic problem of driving a separable state to a state with maximal distributed entanglement.

arXiv:2111.07208•Quantum Information and Computation•May 1, 2022•3 citations

Entanglement in the Dicke subspace

Aabhas Gulati, Ion Nechita, Clément Pellegrini

We provide a complete mathematical theory for the entanglement of mixtures of Dicke states. These quantum states form an important subclass of bosonic states arising in the study of indistinguishable particles. We introduce a tensor-based parametrization where the diagonal entries of these states are encoded as a symmetric tensor, enabling a direct translation between entanglement properties and well-studied convex cones of tensors. Our results bridge multipartite entanglement theory with semialgebraic geometry and the theory of completely positive and copositive tensors. This dictionary maps separability to completely positive tensors, the PPT property to moment tensors, entanglement witnesses to copositive tensors, and decomposable witnesses to sum of squares tensors. Using this framework, we construct explicit PPT entangled states in three or more qutrits, disproving a recent conjecture. We establish that PPT entanglement exists for all multipartite systems with local dimension d >= 3 and n >= 3 parties. We also show that, for mixtures of Dicke states, the PPT condition with respect to the most balanced bipartition implies all other PPT conditions. We further connect bosonic extendibility of mixtures of Dicke states to the duals of known hierarchies for non-negative polynomials, such as the ones by Reznick and Polya. We thus provide semidefinite programming relaxations for separability and entanglement testing in the Dicke subspace.

quant-pharXiv:2602.15800•Quantum•Feb 18, 2026•1 citation

Witness of mixed separable states useful for entanglement creation

Nirman Ganguly, Jyotishman Chatterjee, A. S. Majumdar

Absolutely separable states form a special subset of the set of all separable states, as they remain separable under any global unitary transformation unlike other separable states. We consider the set of absolutely separable bipartite states and show that it is convex and compact in any arbitrary dimensional Hilbert space. Through a generic approach of construction of suitable Hermitian operators we prove the completeness of the separation axiom for identifying any separable state that is not absolutely separable. We demonstrate the action of such witness operators in different qudit systems. Examples of mixed separable systems are provided, pointing out the utility of the witness in entanglement creation using quantum gates. Decomposition of witnesses in terms of spin operators or photon polarizations facilitates their measurability for qubit states.

arXiv:1401.5324•Physical Review A•May 8, 2014•37 citations

Certifying separability and entanglement classes of not-completely-permutation-symmetric qudit states

Artur Barasiński, Mateusz Nowotarski

We analyze the entanglement properties for the not-completely-permutation-symmetric states of quantum systems composed of two subsystems with an equal but arbitrary finite local Hilbert space dimension. We investigate both pure and mixed states with such a symmetry obtained by relaxing the symmetry requirement of the axisymmetric states. For such states we discuss the entanglement classification with respect to stochastic local operations and classical communication and establish the entanglement quantitatively by means of concurrence and negativity. In particular, we determine the separability criterion in the frame of various methods, including the $k$-positive map witness, optimal Schmidt-number witnesses, and entanglement measures.

Physical Review A•Dec 15, 2016•4 citations
We consider a quantum system of n qudits and the Clebsch-Gordan decomposition of the associated Hilbert space. In this decomposition, one of the subspaces is the so-called symmetric subspace or symmetric sector, that is, the subspace of all states that are invariant under the action of the symmetric group. We prove that any separable state must have a nonzero component on the symmetric sector, or, equivalently, any state which has zero component on the symmetric sector must be entangled. For the cases of n=2,3 particles, and in arbitrary dimension d, this result can be refined by providing sharp lower bounds on the size of the component of separable states on the symmetric sector. This leads us to identify a class of entanglement witnesses for these systems. We provide an example showing that in the multipartite case, this class of witnesses detects PPT entangled states.
The Hilbert space for [Formula: see text], [Formula: see text]-dimensional, quantum systems, [Formula: see text], contains the subspace of states that are invariant under any permutation, the symmetric sector, [Formula: see text]. Separable states must have a nonzero component on the symmetric sector. More in detail, if [Formula: see text] denotes the orthogonal projection onto [Formula: see text], [Formula: see text], for a bound [Formula: see text] and for any separable state [Formula: see text]. Therefore, if one knows a (lower bound for) [Formula: see text], the operator [Formula: see text] is an entanglement witness for the system. In this paper we calculate sharp bounds [Formula: see text] analytically for the case [Formula: see text] and general [Formula: see text], and numerically for the case of [Formula: see text] qubits ([Formula: see text]). We show with an example that the resulting entanglement witnesses are able to detect entanglement of PPT states.
The unitary group acting on the Hilbert space H:=(C2)⊗3{\cal H}:=(C^2)^{\otimes 3}H:=(C2)⊗3 of three quantum bits admits a Lie subgroup, US3(8)U^{S_3}(8)US3​(8), of elements which permute with the symmetric group of permutations of three objects. Under the action of such a Lie subgroup, the Hilbert space H{\cal H}H splits into three invariant subspaces of dimensions 444, 222 and 222 respectively, each corresponding to an irreducible representation of su(2)su(2)su(2). The subspace of dimension 444 is uniquely determined and corresponds to states that are themselves invariant under the action of the symmetric group. This is the so called {\it symmetric sector.} The subspaces of dimension two are not uniquely determined and we parametrize them all. We provide an analysis of pure states that are in the subspaces invariant under US3(8)U^{S_3}(8)US3​(8). This concerns their entanglement properties, separability criteria and dynamics under the Lie subgroup US3(8)U^{S_3}(8)US3​(8). As a physical motivation for the states and dynamics we study, we propose a physical set-up which consists of a symmetric network of three spin 12\frac{1}{2}21​ particles under a common driving electro-magnetic field. {For such system, we solve the control theoretic problem of driving a separable state to a state with maximal distributed entanglement.
We provide a complete mathematical theory for the entanglement of mixtures of Dicke states. These quantum states form an important subclass of bosonic states arising in the study of indistinguishable particles. We introduce a tensor-based parametrization where the diagonal entries of these states are encoded as a symmetric tensor, enabling a direct translation between entanglement properties and well-studied convex cones of tensors. Our results bridge multipartite entanglement theory with semialgebraic geometry and the theory of completely positive and copositive tensors. This dictionary maps separability to completely positive tensors, the PPT property to moment tensors, entanglement witnesses to copositive tensors, and decomposable witnesses to sum of squares tensors. Using this framework, we construct explicit PPT entangled states in three or more qutrits, disproving a recent conjecture. We establish that PPT entanglement exists for all multipartite systems with local dimension d >= 3 and n >= 3 parties. We also show that, for mixtures of Dicke states, the PPT condition with respect to the most balanced bipartition implies all other PPT conditions. We further connect bosonic extendibility of mixtures of Dicke states to the duals of known hierarchies for non-negative polynomials, such as the ones by Reznick and Polya. We thus provide semidefinite programming relaxations for separability and entanglement testing in the Dicke subspace.
Absolutely separable states form a special subset of the set of all separable states, as they remain separable under any global unitary transformation unlike other separable states. We consider the set of absolutely separable bipartite states and show that it is convex and compact in any arbitrary dimensional Hilbert space. Through a generic approach of construction of suitable Hermitian operators we prove the completeness of the separation axiom for identifying any separable state that is not absolutely separable. We demonstrate the action of such witness operators in different qudit systems. Examples of mixed separable systems are provided, pointing out the utility of the witness in entanglement creation using quantum gates. Decomposition of witnesses in terms of spin operators or photon polarizations facilitates their measurability for qubit states.
We analyze the entanglement properties for the not-completely-permutation-symmetric states of quantum systems composed of two subsystems with an equal but arbitrary finite local Hilbert space dimension. We investigate both pure and mixed states with such a symmetry obtained by relaxing the symmetry requirement of the axisymmetric states. For such states we discuss the entanglement classification with respect to stochastic local operations and classical communication and establish the entanglement quantitatively by means of concurrence and negativity. In particular, we determine the separability criterion in the frame of various methods, including the kkk-positive map witness, optimal Schmidt-number witnesses, and entanglement measures.