论文标题
量化器消除理论和地图，这些理论保留半积极性
Quantifier elimination theory and maps which preserve semipositivity
论文作者
论文摘要
我们给出了一种算法，以确定保留嗜硫次超级操作员是否为正面。在我们的方法中，我们将量化器消除理论的技术应用于实数。此外，我们认为量化器消除理论在量子信息理论和其他领域也应更重要。
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.
