-
Random positive operator valued measures
Authors:
Teiko Heinosaari,
Maria Anastasia Jivulescu,
Ion Nechita
Abstract:
We introduce several notions of random positive operator valued measures (POVMs), and we prove that some of them are equivalent. We then study statistical properties of the effect operators for the canonical examples, obtaining limiting eigenvalue distributions with the help of free probability theory. Similarly, we obtain the large system limit for several quantities of interest in quantum inform…
▽ More
We introduce several notions of random positive operator valued measures (POVMs), and we prove that some of them are equivalent. We then study statistical properties of the effect operators for the canonical examples, obtaining limiting eigenvalue distributions with the help of free probability theory. Similarly, we obtain the large system limit for several quantities of interest in quantum information theory, such as the sharpness, the noise content, and the probability range. Finally, we study different compatibility criteria, and we compare them for generic POVMs.
△ Less
Submitted 9 January, 2020; v1 submitted 13 February, 2019;
originally announced February 2019.
-
Nonuniqueness of phase retrieval for three fractional Fourier transforms
Authors:
Claudio Carmeli,
Teiko Heinosaari,
Jussi Schultz,
Alessandro Toigo
Abstract:
We prove that, regardless of the choice of the angles $θ_1,θ_2,θ_3$, three fractional Fourier transforms $F_{θ_1}$, $F_{θ_2}$ and $F_{θ_3}$ do not solve the phase retrieval problem. That is, there do not exist three angles $θ_1$, $θ_2$, $θ_3$ such that any signal $ψ\in L^2(R)$ could be determined up to a constant phase by knowing only the three intensities $|F_{θ_1}ψ|^2$, $|F_{θ_2}ψ|^2$ and…
▽ More
We prove that, regardless of the choice of the angles $θ_1,θ_2,θ_3$, three fractional Fourier transforms $F_{θ_1}$, $F_{θ_2}$ and $F_{θ_3}$ do not solve the phase retrieval problem. That is, there do not exist three angles $θ_1$, $θ_2$, $θ_3$ such that any signal $ψ\in L^2(R)$ could be determined up to a constant phase by knowing only the three intensities $|F_{θ_1}ψ|^2$, $|F_{θ_2}ψ|^2$ and $|F_{θ_3}ψ|^2$. This provides a negative argument against a recent speculation by P. Jaming, who stated that three suitably chosen fractional Fourier transforms are good candidates for phase retrieval in infinite dimension. We recast the question in the language of quantum mechanics, where our result shows that any fixed triple of rotated quadrature observables $Q_{θ_1}$, $Q_{θ_2}$ and $Q_{θ_3}$ is not enough to determine all unknown pure quantum states. The sufficiency of four rotated quadrature observables, or equivalently fractional Fourier transforms, remains an open question.
△ Less
Submitted 25 November, 2014;
originally announced November 2014.
-
When do pieces determine the whole? Extremal marginals of a completely positive map
Authors:
Erkka Haapasalo,
Teiko Heinosaari,
Juha-Pekka Pellonpää
Abstract:
We will consider completely positive maps defined on tensor products of von Neumann algebras and taking values in the algebra of bounded operators on a Hilbert space and particularly certain convex subsets of the set of such maps. We show that when one of the marginal maps of such a map is an extremal point, then the marginals uniquely determine the map. We will further prove that when both of the…
▽ More
We will consider completely positive maps defined on tensor products of von Neumann algebras and taking values in the algebra of bounded operators on a Hilbert space and particularly certain convex subsets of the set of such maps. We show that when one of the marginal maps of such a map is an extremal point, then the marginals uniquely determine the map. We will further prove that when both of the marginals are extremal, then the whole map is extremal. We show that this general result is the common source of several well-known results dealing with, e.g., jointly measurable observables. We also obtain new insight especially in the realm of quantum instruments and their marginal observables and channels.
△ Less
Submitted 26 September, 2012;
originally announced September 2012.
-
The semigroup structure of Gaussian channels
Authors:
Teiko Heinosaari,
Alexander S. Holevo,
Michael M. Wolf
Abstract:
We investigate the semigroup structure of bosonic Gaussian quantum channels. Particular focus lies on the sets of channels which are divisible, idempotent or Markovian (in the sense of either belonging to one-parameter semigroups or being infinitesimal divisible). We show that the non-compactness of the set of Gaussian channels allows for remarkable differences when comparing the semigroup struc…
▽ More
We investigate the semigroup structure of bosonic Gaussian quantum channels. Particular focus lies on the sets of channels which are divisible, idempotent or Markovian (in the sense of either belonging to one-parameter semigroups or being infinitesimal divisible). We show that the non-compactness of the set of Gaussian channels allows for remarkable differences when comparing the semigroup structure with that of finite dimensional quantum channels. For instance, every irreversible Gaussian channel is shown to be divisible in spite of the existence of Gaussian channels which are not infinitesimal divisible. A simpler and known consequence of non-compactness is the lack of generators for certain reversible channels. Along the way we provide new representations for classes of Gaussian channels: as matrix semigroup, complex valued positive matrices or in terms of a simple form describing almost all one-parameter semigroups.
△ Less
Submitted 2 September, 2009;
originally announced September 2009.
