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

DOI10.1142/S0219199720500923zbMATH Open1485.15043arXiv2003.07772OpenAlexW3105502233WikidataQ114072659 ScholiaQ114072659MaRDI QIDQ5065095FDOQ5065095

Authors: Grzegorz Pastuszak, Adam Skowyrski, Andrzej Jamiołkowski 

Publication date: 18 March 2022

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

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.

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

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

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)

Cites Work

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

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)