Quantifier elimination theory and maps which preserve semipositivity
From MaRDI portal
Publication:2687228
DOI10.1007/s11128-021-03060-wOpenAlexW3136479915MaRDI QIDQ2687228
Adam Skowyrski, Andrzej Jamiołkowski, Grzegorz Pastuszak
Publication date: 1 March 2023
Published in: Quantum Information Processing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2003.09081
Applications of operator theory in the physical sciences (47N50) Operator algebra methods applied to problems in quantum theory (81R15) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
- 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
- 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
- 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
- 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
- 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
- On maps which preserve semipositivity and quantifier elimination theory for real numbers
- Geometry of Quantum States
- Algorithms in real algebraic geometry