-
On one-parameter families of hermiticity-preserving superoperators which are not positive
Authors:
Grzegorz Pastuszak,
Alicja Jaworska-Pastuszak,
Takeo Kamizawa,
Andrzej Jamiołkowski
Abstract:
A one-parameter family of hermiticity-preserving superoperators is a time-dependent family $\{Φ_{t}\colon\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})\}_{t\in\mathbb{R}}$ of hermiticity-preserving superoperators determined, in a certain sense, by real and complex polynomial functions in the variable $t\in\mathbb{R}$. The paper studies sufficient computable criteria for nonpositiv…
▽ More
A one-parameter family of hermiticity-preserving superoperators is a time-dependent family $\{Φ_{t}\colon\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})\}_{t\in\mathbb{R}}$ of hermiticity-preserving superoperators determined, in a certain sense, by real and complex polynomial functions in the variable $t\in\mathbb{R}$. The paper studies sufficient computable criteria for nonpositivity of superoperators in one-parameter families. More precisely, we give sufficient conditions for the following assertions to hold: $(1)$ every $Φ_{t}$ is not positive, $(2)$ $Φ_{t}$ is not positive for $t$ in some open interval $(u,v)\subseteq\mathbb{R}$ and $(3)$ there is some $Φ_{t}$ which is not positive. We show that in some situations $(3)$ implies $(2)$. Our approach to the problem is based on the Descartes rule of signs and the Sturm-Tarski theorem. In order to apply these facts, we introduce the sign variation formulas. These formulas are first order logical formulas in one free variable $t$, generalising sign sequences of polynomials used in Descartes rule of signs.
△ Less
Submitted 19 November, 2024; v1 submitted 17 November, 2024;
originally announced November 2024.
-
Quantifier elimination theory and maps which preserve semipositivity
Authors:
Grzegorz Pastuszak,
Adam Skowyrski,
Andrzej Jamiołkowski
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.
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.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
On maps which preserve semipositivity and quantifier elimination theory for real numbers
Authors:
Grzegorz Pastuszak,
Adam Skowyrski,
Andrzej Jamiołkowski
Abstract:
Assume that $Φ:\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})$ 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 t…
▽ More
Assume that $Φ:\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})$ 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.
△ Less
Submitted 17 March, 2020;
originally announced March 2020.
-
Application of Shemesh theorem to quantum channels
Authors:
Michał Białończyk,
Andrzej Jamiołkowski,
Karol Życzkowski
Abstract:
Completely positive maps are useful in modeling the discrete evolution of quantum systems. Spectral properties of operators associated with such maps are relevant for determining the asymptotic dynamics of quantum systems subjected to multiple interactions described by the same quantum channel. We discuss a connection between the properties of the peripheral spectrum of completely positive and tra…
▽ More
Completely positive maps are useful in modeling the discrete evolution of quantum systems. Spectral properties of operators associated with such maps are relevant for determining the asymptotic dynamics of quantum systems subjected to multiple interactions described by the same quantum channel. We discuss a connection between the properties of the peripheral spectrum of completely positive and trace preserving map and the algebra generated by its Kraus operators $\mathcal{A}(A_1,\ldots A_K)$. By applying the Shemesh and Amitsur - Levitzki theorems to analyse the structure of the algebra $\mathcal{A}(A_1,\ldots A_K)$ one can predict the asymptotic dynamics for a class of operations.
△ Less
Submitted 7 October, 2018; v1 submitted 7 November, 2017;
originally announced November 2017.
-
Dynamic Quantum Tomography Model for Phase-Damping Channels
Authors:
Artur Czerwinski,
Andrzej Jamiolkowski
Abstract:
In this article we propose a dynamic quantum tomography model for open quantum systems with evolution given by phase-damping channels. Mathematically, these channels correspond to completely positive trace-preserving maps defined by the Hadamard product of the initial density matrix with a time-dependent matrix which carries the knowledge about the evolution. Physically, there is a strong motivati…
▽ More
In this article we propose a dynamic quantum tomography model for open quantum systems with evolution given by phase-damping channels. Mathematically, these channels correspond to completely positive trace-preserving maps defined by the Hadamard product of the initial density matrix with a time-dependent matrix which carries the knowledge about the evolution. Physically, there is a strong motivation for considering this kind of evolution because such channels appear naturally in the theory of open quantum systems. The main idea behind a dynamic approach to quantum tomography claims that by performing the same kind of measurement at some time instants one can obtain new data for state reconstruction. Thus, this approach leads to a decrease in the number of distinct observables which are required for quantum tomography; however, the exact benefit for employing the dynamic approach depends strictly on how the quantum system evolves in time. Algebraic analysis of phase-damping channels allows one to determine optimal criteria for quantum tomography of systems in question. General theorems and observations presented in the paper are accompanied by a specific example, which shows step by step how the theory works. The results introduced in this article can potentially be applied in experiments where there is a tendency a look at quantum tomography from the point of view of economy of measurements, because each distinct kind of measurement requires, in general, preparing a separate setup.
△ Less
Submitted 4 January, 2020; v1 submitted 30 September, 2015;
originally announced September 2015.
