On maps which preserve semipositivity and quantifier elimination theory for real numbers
DOI10.1142/S0219199720500923zbMath1485.15043arXiv2003.07772OpenAlexW3105502233WikidataQ114072659 ScholiaQ114072659MaRDI QIDQ5065095
Adam Skowyrski, Grzegorz Pastuszak, 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
quantum information theorypositive mapsreal quantifier eliminationHermitian superoperatorsgeneralized Stum's theorem
Hermitian, skew-Hermitian, and related matrices (15B57) Linear transformations, semilinear transformations (15A04) Quantifier elimination, model completeness, and related topics (03C10) Open systems, reduced dynamics, master equations, decoherence (81S22)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Common eigenvectors of two matrices
- Definability and fast quantifier elimination in algebraically closed fields
- Geometric reasoning with logic and algebra
- Degree of rational mappings, and the theorems of Sturm and Tarski
- The complexity of elementary algebra and geometry
- On mechanical quantifier elimination for elementary algebra and geometry
- 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
- Model theory.
- Completely positive linear maps on complex matrices
- Positive semidefinite biquadratic forms
- An effective method of investigation of positive maps on the set of positive definite operators
- On semipositive definiteness of \(2n\)-degree forms
- Common invariant subspaces of two matrices
- Rational procedures in the problem of common invariant subspaces of two matrices
- Solving the two-dimensional CIS problem by a rational algorithm
- A criterion for the existence of common invariant subspaces of matrices
- A Kochen-Specker system has at least 22 vectors
- Recent advances on determining the number of real roots of parametric polynomials
- On the effective Nullstellensatz
- On invariant subspace in quantum control systems and some concepts of integrable quantum systems
- On a Criterion for Simultaneous Block-Diagonalization of Normal Matrices
- Generalized Shemesh criterion, common invariant subspaces and irreducible completely positive superoperators
- The Mathematical Language of Quantum Theory
- Automated Inequality Proving and Discovering
- Common reducing unitary subspaces and decoherence in quantum systems
- Positive maps, positive polynomials and entanglement witnesses
- Alfred Tarski's elimination theory for real closed fields
- Irreducible positive linear maps on operator algebras
- The common invariant subspace problem and Tarski’s theorem
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
- Model Theory
- Geometry of Quantum States
- Positive Functions on C ∗ -Algebras
- Algorithms in real algebraic geometry
This page was built for publication: On maps which preserve semipositivity and quantifier elimination theory for real numbers
