Quantifier elimination theory and maps which preserve semipositivity
Mathematical Physics
2020-03-23 v1 Logic
math.MP
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.
Cite
@article{arxiv.2003.09081,
title = {Quantifier elimination theory and maps which preserve semipositivity},
author = {Grzegorz Pastuszak and Adam Skowyrski and Andrzej Jamiołkowski},
journal= {arXiv preprint arXiv:2003.09081},
year = {2020}
}
Comments
This is the letter version of arXiv:2003.07772