$k$-Positive Maps: New Characterizations and a Generation Method

Abstract

We study $k$-positive linear maps on matrix algebras and address two problems, (i) characterizations of $k$-positivity and (ii) generation of non-decomposable $k$-positive maps. On the characterization side, we derive optimization-based conditions equivalent to $k$-positivity that (a) reduce to a simple check when $k=d$, (b) reveal a direct link to the spectral norm of certain order-3 tensors (aligning with known NP-hardness barriers for $k<d$), and (c) recast $k$-positivity as a novel optimization problem over separable states, thereby connecting it explicitly to separability testing. On the generation side, we introduce a Lie-semigroup-based method that, starting from a single $k$-positive map, produces one-parameter families that remain $k$-positive and non-decomposable for small enough times. We illustrate this by generating such families for $d=3$ and $d=4$. We also formulate a semi-definite program (SDP) to test an equivalent form of the positive partial transpose (PPT) square conjecture (and do not find any violation of the latter). Our results provide practical computational tools for certifying $k$-positivity and a systematic way to sample $k$-positive non-decomposable maps.

19+7 pages, accepted to Open Sys. Inf. Dyn. as part of the "Mathematical Structures in Quantum Mechanics 2" conference proceedings

References in corpus (32)

• Quantum entanglement
• Entanglement detection
• Non-Markovian dynamics in open quantum systems
• Quantum Non-Markovianity: Characterization, Quantification and Detection
• Assessing non-Markovian dynamics
• General Entanglement Breaking Channels
• Concepts of quantum non-Markovianity: a hierarchy
• Schmidt number witnesses and bound entanglement
• Entanglement witnesses: construction, analysis and classification
• Optimal entanglement criterion for mixed quantum states
• Separability criteria and bounds for entanglement measures
• Negative eigenvalues of partial transposition of arbitrary bipartite states
• Lie-Semigroup Structures for Reachability and Control of Open Quantum Systems: Viewing Markovian Quantum Channels as Lie Semigroups and GKS-Lindblad Generators as Lie Wedge
• Spectral conditions for positive maps
• High-Dimensional Entanglement in States with Positive Partial Transposition
• A Family of Norms With Applications In Quantum Information Theory
• Non-Positive Partial Transpose Subspaces Can be as Large as Any Entangled Subspace
• When Do Composed Maps Become Entanglement Breaking?
• Eventually Entanglement Breaking Maps
• Semidefinite programming hierarchies for constrained bilinear optimization
• On time-local generators of quantum evolution
• The positive partial transpose conjecture for n=3
• The PPT${}^2$ conjecture holds for all Choi-type maps
• The PPT square conjecture holds generically for some classes of independent states
• On extremal positive maps acting between type I factors
• Generating and detecting bound entanglement in two-qutrits using a family of indecomposable positive maps
• Using non-positive maps to characterize entanglement witnesses
• Stable subspaces of positive maps of matrix algebras
• A class of bistochastic positive optimal maps in $M_d(\mathbb{C})$
• Jointly constrained semidefinite bilinear programming with an application to Dobrushin curves
• D-divisible quantum evolution families
• Understanding and Generalizing Unique Decompositions of Generators of Dynamical Semigroups