5 citations · 9 across the 4 of their papers we have counts for
Showing 2020 · math-phShow all
2 papers · 2 filters
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…