Showing math-phShow all
2 papers · 1 filter
math-ph2020
Quantifier elimination theory and maps which preserve semipositivity
Grzegorz Pastuszak, Adam Skowyrski, Andrzej Jamiołkowski
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.…
math-ph2020
On maps which preserve semipositivity and quantifier elimination theory for real numbers
Grzegorz Pastuszak, Adam Skowyrski, Andrzej Jamiołkowski
Assume that is a superoperator which preserves hermiticity. We give an algorithm determining whether preserv…