Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1746

Preprint Number 1746

Previous Next Preprint server

1746. Grzegorz Pastuszak, Adam Skowyrski and Andrzej Jamiołkowski
On maps which preserve semipositivity and quantifier elimination theory

Submission date: 17 March 2020.


Assume that Φ :𝕄_n(ℂ) → 𝕄_n(ℂ) is a superoperator which preserves hermiticity. We give an algorithm determining whether Φ preserves semipositivity (we call Φ positive in this case). Our approach to the problem has a model-theoretic nature, namely, we apply techniques of quantifier elimination theory for real numbers. An approach based on these techniques seems to be the only one that allows to decide whether an arbitrary hermiticity-preserving Φ is positive. Before we go to detailed analysis of the problem, we argue that quantifier elimination for real numbers (and also for complex numbers) can play a significant role in quantum information theory and other areas as well.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2003.07772: pdf, ps.

Last updated: March 23 2020 09:10 Please send your corrections to: