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:2010.07898 · Quantum

Diagonal unitary and orthogonal symmetries in quantum theory

Satvik Singh, Ion Nechita

Published Aug 9, 2021• 27 citations
arXivHTMLPDF

Abstract

We analyze bipartite matrices and linear maps between matrix algebras, which are respectively, invariant and covariant, under the diagonal unitary and orthogonal groups' actions. By presenting an expansive list of examples from the literature, which includes notable entries like the Diagonal Symmetric states and the Choi-type maps, we show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. We examine their linear algebraic structure and investigate different notions of positivity through their convex conic manifestations. In particular, we generalize the well-known cone of completely positive matrices to that of triplewise completely positive matrices and connect it to the separability of the relevant invariant states (or the entanglement breaking property of the corresponding quantum channels). For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations, and systematically analyze the usual properties of positivity, decomposability, complete positivity, and the like. We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.

DOI
10.22331/q-2021-08-09-519

Related papers

Quantum $U$-channels on $S$-spaces

Priyabrata Bag, Azad Rohilla, Harsh K. Trivedi

If the symmetry, (an operator $J$ satisfying $J=J^*=J^{-1}$) which defines the Krein space, is replaced by a (not necessarily self-adjoint) unitary, then we have the notion of an $S$-space which was introduced by Szafraniec. In this paper, we consider $S$-spaces and study the structure of completely $U$-positive maps between the algebras of bounded linear operators. We first give a Stinespring-type representation for a completely $U$-positive map. On the other hand, we introduce Choi $U$-matrix of a linear map and establish the equivalence of the Kraus $U$-decompositions and Choi $U$-matrices. Then we study properties of nilpotent completely $U$-positive maps. We develop the $U$-PPT criterion for separability of quantum $U$-states and discuss the entanglement breaking condition of quantum $U$-channels and explore $U$-PPT squared conjecture. Finally, we give concrete examples of completely $U$-positive maps and examples of $3 \otimes 3$ quantum $U$-states which are $U$-entangled and $U$-separable.

arXiv:2404.18160•Apr 28, 2024•0 citations

A class of Schwarz qubit maps with diagonal unitary and orthogonal symmetries

Dariusz Chruściński, Bihalan Bhattacharya

Abstract A class of unital qubit maps displaying diagonal unitary and orthogonal symmetries is analyzed. Such maps have already found a lot applications in quantum information theory. We provide a complete characterization of this class of maps showing intricate relation between positivity, operator Schwarz inequality, and complete positivity. Finally, it is shown how to generalize the entire picture beyond unital case (so called generalized Schwarz maps). Interestingly, the first example of Schwarz but not completely positive map found by Choi belongs to our class. As a case study we provide a full characterization of Pauli maps. Our analysis leads to generalization of seminal Fujiwara–Algoet conditions for Pauli quantum channels.

arXiv:2404.10895•Journal of Physics A Mathematical and Theoretical•Aug 30, 2024•5 citations

$k$-Positivity and high-dimensional bound entanglement under symplectic group symmetries

Sang-Jun Park

We investigate the structure of $k$-positivity and Schmidt numbers for classes of linear maps and bipartite quantum states exhibiting symplectic group symmetries. Specifically, we consider (1) linear maps on $M_d(\mathbb{C})$ which are covariant under conjugation by unitary symplectic matrices $S$, and (2) $d\otimes d$ bipartite states which are invariant under $S\otimes S$ or $S\otimes \overline{S}$ actions, each parametrized by two real variables. We provide a complete characterization of all $k$-positivity and decomposability conditions for these maps and explicitly compute the Schmidt numbers for the corresponding bipartite states. In particular, our analysis yields a broad class of PPT states with Schmidt number $d/2$ and the first explicit constructions of (optimal) $k$-positive indecomposable linear maps for arbitrary $k=1,\ldots, d/2-1$, achieving the best-known bounds. Overall, our results offer a natural and analytically tractable framework in which both strong forms of positive indecomposability and high degrees of PPT entanglement can be studied systematically. We present two further applications of symplectic group symmetries. First, we show that the PPT-squared conjecture holds within the class of PPT linear maps that are either symplectic-covariant or conjugate-symplectic-covariant. Second, we resolve a conjecture of Pal and Vertesi concerning the optimal lower bound of the Sindici-Piani semidefinite program for PPT entanglement.

quant-pharXiv:2602.09860•Feb 11, 2026•0 citations

Semidefinite hierarchies for diagonal unitary invariant bipartite quantum states

Britz, Jonas, Monique Laurent

We investigate questions about the cone $\mathrm{SEP}_n$ of separable bipartite states, consisting of the Hermitian matrices acting on $\mathbb{C}^n\otimes\mathbb{C}^n$ that can be written as conic combinations of rank one matrices of the form $xx^*\otimes yy^*$ with $x,y\in\mathbb{C}^n$. Bipartite states that are not separable are said to be entangled. Detecting quantum entanglement is a fundamental task in quantum information and a hard computational problem. We explore the Doherty-Parrilo-Spedalieri (DPS) hierarchy of semidefinite conic approximations for $\mathrm{SEP}_n$ when the bipartite states have some additional structural properties: first, (i) for states with diagonal unitary invariance, and second (ii) for states with Bose symmetry. In case (i) we show that the DPS hierarchy can be block diagonalized, which, combining with its moment reformulation, leads to a substantially more efficient implementation. In case (ii), we give a characterization of the dual hierarchy, in terms of sums of squares of Hermitian complex polynomials, extending a known result in the generic case. It turns out that the completely positive cone $\mathrm{CP}_n$, its dual cone $\mathrm{COP}_n$, and their sums-of-squares based conic approximations $\mathcal{K}^{(t)}_n$, play a central role in these two settings (i),(ii). We clarify these connections and test the block diagonal relaxations on classes of examples.

arXiv:2512.06551•Dec 6, 2025•0 citations

Diagonal Unitary Covariant Superchannels

Dariusz Chruściński, Vivek Pandey, Sohail

We present a complete characterization of diagonal unitary covariant (DU-covariant) superchannels, i.e. higher-order transformations transforming quantum channels into themselves. Necessary and sufficient conditions for complete positivity and trace preservation are derived and the canonical decomposition describing DU-covariant superchannels is provided. The presented framework unifies and extends known families of covariant quantum channels and enables explicit analysis of their action on physically relevant examples, including amplitude-damping, bit-flip, and Pauli channels. Our results provide a practical toolbox for symmetry-restricted higher-order quantum processes and offer a setting for exploring open problems such as the celebrated positive partial transpose (PPT)-squared conjecture.

quant-pharXiv:2512.24389•Journal of Mathematical Physics•Dec 31, 2025•0 citations

Pairwise Completely Positive Matrices and Conjugate Local Diagonal Unitary Invariant Quantum States

Nathaniel Johnston, Olivia MacLean

A generalization of the set of completely positive matrices called pairwise completely positive (PCP) matrices is introduced. These are pairs of matrices that share a joint decomposition so that one of them is necessarily positive semidefinite while the other one is necessarily entrywise non-negative. Basic properties of these matrix pairs are explored and several testable necessary and sufficient conditions are developed to help determine whether or not a pair is PCP. A connection with quantum entanglement is established by showing that determining whether or not a pair of matrices is pairwise completely positive is equivalent to determining whether or not a certain type of quantum state, called a conjugate local diagonal unitary invariant state, is separable. Many of the most important quantum states in entanglement theory are of this type, including isotropic states, mixed Dicke states (up to partial transposition), and maximally correlated states. As a specific application of these results, a wide family of states that have absolutely positive partial transpose are shown to in fact be separable.

arXiv:1807.06897•Electronic Journal of Linear Algebra•Feb 1, 2019•12 citations
We analyze bipartite matrices and linear maps between matrix algebras, which are respectively, invariant and covariant, under the diagonal unitary and orthogonal groups' actions. By presenting an expansive list of examples from the literature, which includes notable entries like the Diagonal Symmetric states and the Choi-type maps, we show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. We examine their linear algebraic structure and investigate different notions of positivity through their convex conic manifestations. In particular, we generalize the well-known cone of completely positive matrices to that of triplewise completely positive matrices and connect it to the separability of the relevant invariant states (or the entanglement breaking property of the corresponding quantum channels). For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations, and systematically analyze the usual properties of positivity, decomposability, complete positivity, and the like. We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.
Quantum UUU-channels on SSS-spaces
If the symmetry, (an operator JJJ satisfying J=J∗=J−1J=J^*=J^{-1}J=J∗=J−1) which defines the Krein space, is replaced by a (not necessarily self-adjoint) unitary, then we have the notion of an SSS-space which was introduced by Szafraniec. In this paper, we consider SSS-spaces and study the structure of completely UUU-positive maps between the algebras of bounded linear operators. We first give a Stinespring-type representation for a completely UUU-positive map. On the other hand, we introduce Choi UUU-matrix of a linear map and establish the equivalence of the Kraus UUU-decompositions and Choi UUU-matrices. Then we study properties of nilpotent completely UUU-positive maps. We develop the UUU-PPT criterion for separability of quantum UUU-states and discuss the entanglement breaking condition of quantum UUU-channels and explore UUU-PPT squared conjecture. Finally, we give concrete examples of completely UUU-positive maps and examples of 3⊗33 \otimes 33⊗3 quantum UUU-states which are UUU-entangled and UUU-separable.
Abstract A class of unital qubit maps displaying diagonal unitary and orthogonal symmetries is analyzed. Such maps have already found a lot applications in quantum information theory. We provide a complete characterization of this class of maps showing intricate relation between positivity, operator Schwarz inequality, and complete positivity. Finally, it is shown how to generalize the entire picture beyond unital case (so called generalized Schwarz maps). Interestingly, the first example of Schwarz but not completely positive map found by Choi belongs to our class. As a case study we provide a full characterization of Pauli maps. Our analysis leads to generalization of seminal Fujiwara–Algoet conditions for Pauli quantum channels.
kkk-Positivity and high-dimensional bound entanglement under symplectic group symmetries
We investigate the structure of kkk-positivity and Schmidt numbers for classes of linear maps and bipartite quantum states exhibiting symplectic group symmetries. Specifically, we consider (1) linear maps on Md(C)M_d(\mathbb{C})Md​(C) which are covariant under conjugation by unitary symplectic matrices SSS, and (2) d⊗dd\otimes dd⊗d bipartite states which are invariant under S⊗SS\otimes SS⊗S or S⊗S‾S\otimes \overline{S}S⊗S actions, each parametrized by two real variables. We provide a complete characterization of all kkk-positivity and decomposability conditions for these maps and explicitly compute the Schmidt numbers for the corresponding bipartite states. In particular, our analysis yields a broad class of PPT states with Schmidt number d/2d/2d/2 and the first explicit constructions of (optimal) kkk-positive indecomposable linear maps for arbitrary k=1,…,d/2−1k=1,\ldots, d/2-1k=1,…,d/2−1, achieving the best-known bounds. Overall, our results offer a natural and analytically tractable framework in which both strong forms of positive indecomposability and high degrees of PPT entanglement can be studied systematically. We present two further applications of symplectic group symmetries. First, we show that the PPT-squared conjecture holds within the class of PPT linear maps that are either symplectic-covariant or conjugate-symplectic-covariant. Second, we resolve a conjecture of Pal and Vertesi concerning the optimal lower bound of the Sindici-Piani semidefinite program for PPT entanglement.
We investigate questions about the cone SEPn\mathrm{SEP}_nSEPn​ of separable bipartite states, consisting of the Hermitian matrices acting on Cn⊗Cn\mathbb{C}^n\otimes\mathbb{C}^nCn⊗Cn that can be written as conic combinations of rank one matrices of the form xx∗⊗yy∗xx^*\otimes yy^*xx∗⊗yy∗ with x,y∈Cnx,y\in\mathbb{C}^nx,y∈Cn. Bipartite states that are not separable are said to be entangled. Detecting quantum entanglement is a fundamental task in quantum information and a hard computational problem. We explore the Doherty-Parrilo-Spedalieri (DPS) hierarchy of semidefinite conic approximations for SEPn\mathrm{SEP}_nSEPn​ when the bipartite states have some additional structural properties: first, (i) for states with diagonal unitary invariance, and second (ii) for states with Bose symmetry. In case (i) we show that the DPS hierarchy can be block diagonalized, which, combining with its moment reformulation, leads to a substantially more efficient implementation. In case (ii), we give a characterization of the dual hierarchy, in terms of sums of squares of Hermitian complex polynomials, extending a known result in the generic case. It turns out that the completely positive cone CPn\mathrm{CP}_nCPn​, its dual cone COPn\mathrm{COP}_nCOPn​, and their sums-of-squares based conic approximations Kn(t)\mathcal{K}^{(t)}_nKn(t)​, play a central role in these two settings (i),(ii). We clarify these connections and test the block diagonal relaxations on classes of examples.
We present a complete characterization of diagonal unitary covariant (DU-covariant) superchannels, i.e. higher-order transformations transforming quantum channels into themselves. Necessary and sufficient conditions for complete positivity and trace preservation are derived and the canonical decomposition describing DU-covariant superchannels is provided. The presented framework unifies and extends known families of covariant quantum channels and enables explicit analysis of their action on physically relevant examples, including amplitude-damping, bit-flip, and Pauli channels. Our results provide a practical toolbox for symmetry-restricted higher-order quantum processes and offer a setting for exploring open problems such as the celebrated positive partial transpose (PPT)-squared conjecture.
A generalization of the set of completely positive matrices called pairwise completely positive (PCP) matrices is introduced. These are pairs of matrices that share a joint decomposition so that one of them is necessarily positive semidefinite while the other one is necessarily entrywise non-negative. Basic properties of these matrix pairs are explored and several testable necessary and sufficient conditions are developed to help determine whether or not a pair is PCP. A connection with quantum entanglement is established by showing that determining whether or not a pair of matrices is pairwise completely positive is equivalent to determining whether or not a certain type of quantum state, called a conjugate local diagonal unitary invariant state, is separable. Many of the most important quantum states in entanglement theory are of this type, including isotropic states, mixed Dicke states (up to partial transposition), and maximally correlated states. As a specific application of these results, a wide family of states that have absolutely positive partial transpose are shown to in fact be separable.