On maps which preserve semipositivity and quantifier elimination theory for real numbers

DOI10.1142/S0219199720500923MaRDI QIDQ5065095zbMATH OpenOpenAlexWikidataFDO

Authors Grzegorz Pastuszak, Adam Skowyrski, Andrzej Jamiołkowski

Publication date 18 March 2022

Published in Communications in Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.07772

zbMATH Keywords

quantum information theorypositive mapsreal quantifier eliminationHermitian superoperatorsgeneralized Stum's theorem

Mathematics Subject Classification ID

Hermitian, skew-Hermitian, and related matrices (15B57) Open systems, reduced dynamics, master equations, decoherence (81S22) Linear transformations, semilinear transformations (15A04) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: Assume that $Phi:mathbb{M}_n(mathbbC)ightarrowmathbb{M}_n(mathbbC)$ is a superoperator which preserves hermiticity. We give an algorithm determining whether $Phi$ preserves semipositivity (we call $Phi$ positive in this case). Our approach to the problem has a model-theoretic nature, namely, we apply techniques of quantifier elimination theory for real numbers. An approach based on these techniques seems to be the only one that allows to decide whether an arbitrary hermiticity-preserving $Phi$ is positive. Before we go to detailed analysis of the problem, we argue that quantifier elimination for real numbers (and also for complex numbers) can play a significant role in quantum information theory and other areas as well.

Recommendations

• Quantifier elimination theory and maps which preserve semipositivity
• A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms
• There are many more positive maps than completely positive maps
• Quantifier elimination for real algebra -- the quadratic case and beyond
• Artificial Intelligence and Symbolic Computation

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 48827 (Why is no real title available?)
• scientific article; zbMATH DE number 517393 (Why is no real title available?)
• scientific article; zbMATH DE number 1554144 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• A Kochen-Specker system has at least 22 vectors
• A criterion for the existence of common invariant subspaces of matrices
• Alfred Tarski's elimination theory for real closed fields
• Algorithms in real algebraic geometry
• An effective method of investigation of positive maps on the set of positive definite operators
• Automated inequality proving and discovering
• Common eigenvectors of two matrices
• Common invariant subspaces of two matrices
• Common reducing unitary subspaces and decoherence in quantum systems
• Completely positive linear maps on complex matrices
• Definability and fast quantifier elimination in algebraically closed fields
• Degree of rational mappings, and the theorems of Sturm and Tarski
• Generalized Shemesh criterion, common invariant subspaces and irreducible completely positive superoperators
• Geometric reasoning with logic and algebra
• Geometry of Quantum States
• Irreducible positive linear maps on operator algebras
• Mathematical logic.
• Model Theory
• Model theory.
• On a criterion for simultaneous block-diagonalization of normal matrices
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• On invariant subspace in quantum control systems and some concepts of integrable quantum systems
• On mechanical quantifier elimination for elementary algebra and geometry
• On semipositive definiteness of \(2n\)-degree forms
• On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
• On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination
• On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
• On the effective Nullstellensatz
• Positive Functions on C ∗ -Algebras
• Positive maps, positive polynomials and entanglement witnesses
• Positive semidefinite biquadratic forms
• Rational procedures in the problem of common invariant subspaces of two matrices
• Recent advances on determining the number of real roots of parametric polynomials
• Solving the two-dimensional CIS problem by a rational algorithm
• The common invariant subspace problem and Tarski's theorem
• The complexity of elementary algebra and geometry
• The mathematical language of quantum theory. From uncertainty to entanglement

Cited in

(1)

• Quantifier elimination theory and maps which preserve semipositivity

This page was built for publication: On maps which preserve semipositivity and quantifier elimination theory for real numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5065095)