Quantifier elimination theory and maps which preserve semipositivity
From MaRDI portal
Publication:6337080
DOI10.1007/S11128-021-03060-WarXiv2003.09081MaRDI QIDQ6337080FDOQ6337080
Authors: Grzegorz Pastuszak, Adam Skowyrski, Andrzej Jamiołkowski 
Publication date: 19 March 2020
Abstract: We give an algorithm determining whether a hermiticity-preserving superoperator is positive. In our approach we apply techniques of quantifier elimination theory for real numbers. Furthermore, we argue that quantifier elimination theory should play more significant role in quantum information theory and other areas as well.
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)
This page was built for publication: Quantifier elimination theory and maps which preserve semipositivity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6337080)
