-
Number and phase: complementarity and joint measurement uncertainties
Authors:
Pekka Lahti,
Juha-Pekka Pellonpää,
Jussi Schultz
Abstract:
We show that number and canonical phase (of a single mode optical field) are complementary observables. We also bound the measurement uncertainty region for their approximate joint measurements.
We show that number and canonical phase (of a single mode optical field) are complementary observables. We also bound the measurement uncertainty region for their approximate joint measurements.
△ Less
Submitted 7 February, 2017;
originally announced February 2017.
-
Probing quantum state space: does one have to learn everything to learn something?
Authors:
Claudio Carmeli,
Teiko Heinosaari,
Jussi Schultz,
Alessandro Toigo
Abstract:
Determining the state of a quantum system is a consuming procedure. For this reason, whenever one is interested only in some particular property of a state, it would be desirable to design a measurement setup that reveals this property with as little effort as possible. Here we investigate whether, in order to successfully complete a given task of this kind, one needs an informationally complete m…
▽ More
Determining the state of a quantum system is a consuming procedure. For this reason, whenever one is interested only in some particular property of a state, it would be desirable to design a measurement setup that reveals this property with as little effort as possible. Here we investigate whether, in order to successfully complete a given task of this kind, one needs an informationally complete measurement, or if something less demanding would suffice. The first alternative means that in order to complete the task, one needs a measurement which fully determines the state. We formulate the task as a membership problem related to a partitioning of the quantum state space and, in doing so, connect it to the geometry of the state space. For a general membership problem we prove various sufficient criteria that force informational completeness, and we explicitly treat several physically relevant examples. For the specific cases that do not require informational completeness, we also determine bounds on the minimal number of measurement outcomes needed to ensure success in the task.
△ Less
Submitted 1 June, 2017; v1 submitted 14 November, 2016;
originally announced November 2016.
-
Maximally symmetric stabilizer MUBs in even prime-power dimensions
Authors:
Claudio Carmeli,
Jussi Schultz,
Alessandro Toigo
Abstract:
One way to construct a maximal set of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space is by means of finite phase-space methods. MUBs obtained in this way are covariant with respect to some subgroup of the group of all affine symplectic phase-space transformations. However, this construction is not canonical: as a consequence, many different choices of covariance sugroups…
▽ More
One way to construct a maximal set of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space is by means of finite phase-space methods. MUBs obtained in this way are covariant with respect to some subgroup of the group of all affine symplectic phase-space transformations. However, this construction is not canonical: as a consequence, many different choices of covariance sugroups are possible. In particular, when the Hilbert space is $2^n$ dimensional, it is known that covariance with respect to the full group of affine symplectic phase-space transformations can never be achieved. Here we show that in this case there exist two essentially different choices of maximal subgroups admitting covariant MUBs. For both of them, we explicitly construct a family of $2^n$ covariant MUBs. We thus prove that, contrary to the odd dimensional case, maximally covariant MUBs are very far from being unique.
△ Less
Submitted 5 October, 2016;
originally announced October 2016.
-
Covariant mutually unbiased bases
Authors:
Claudio Carmeli,
Jussi Schultz,
Alessandro Toigo
Abstract:
The connection between maximal sets of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space and finite phase-space geometries is well known. In this article we classify MUBs according to their degree of covariance with respect to the natural symmetries of a finite phase-space, which are the group of its affine symplectic transformations. We prove that there exist maximal sets…
▽ More
The connection between maximal sets of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space and finite phase-space geometries is well known. In this article we classify MUBs according to their degree of covariance with respect to the natural symmetries of a finite phase-space, which are the group of its affine symplectic transformations. We prove that there exist maximal sets of MUBs that are covariant with respect to the full group only in odd prime-power dimensional spaces, and in this case their equivalence class is actually unique. Despite this limitation, we show that in even-prime power dimension covariance can still be achieved by restricting to proper subgroups of the symplectic group, that constitute the finite analogues of the oscillator group. For these subgroups, we explicitly construct the unitary operators yielding the covariance.
△ Less
Submitted 8 May, 2015; v1 submitted 24 April, 2015;
originally announced April 2015.
-
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.
-
Tasks and premises in quantum state determination
Authors:
Claudio Carmeli,
Teiko Heinosaari,
Jussi Schultz,
Alessandro Toigo
Abstract:
The purpose of quantum tomography is to determine an unknown quantum state from measurement outcome statistics. There are two obvious ways to generalize this setting. First, our task need not be the determination of any possible input state but only some input states, for instance pure states. Second, we may have some prior information, or premise, which guarantees that the input state belongs to…
▽ More
The purpose of quantum tomography is to determine an unknown quantum state from measurement outcome statistics. There are two obvious ways to generalize this setting. First, our task need not be the determination of any possible input state but only some input states, for instance pure states. Second, we may have some prior information, or premise, which guarantees that the input state belongs to some subset of states, for instance the set of states with rank less than half of the dimension of the Hilbert space. We investigate state determination under these two supplemental features, concentrating on the cases where the task and the premise are statements about the rank of the unknown state. We characterize the structure of quantum observables (POVMs) that are capable of fulfilling these type of determination tasks. After the general treatment we focus on the class of covariant phase space observables, thus providing physically relevant examples of observables both capable and incapable of performing these tasks. In this context, the effect of noise is discussed.
△ Less
Submitted 17 January, 2014; v1 submitted 26 August, 2013;
originally announced August 2013.
-
Characterization of informational completeness for covariant phase space observables
Authors:
Jukka Kiukas,
Pekka Lahti,
Jussi Schultz,
Reinhard F. Werner
Abstract:
A covariant phase space observable is uniquely characterized by a positive operator of trace one and, in turn, by the Fourier-Weyl transform of this operator. We study three properties of such observables, and characterize them in terms of the zero set of this transform. The first is informational completeness, for which it is necessary and sufficient that the zero set has dense complement. The se…
▽ More
A covariant phase space observable is uniquely characterized by a positive operator of trace one and, in turn, by the Fourier-Weyl transform of this operator. We study three properties of such observables, and characterize them in terms of the zero set of this transform. The first is informational completeness, for which it is necessary and sufficient that the zero set has dense complement. The second is a version of informational completeness for the Hilbert-Schmidt class, equivalent to the zero set being of measure zero, and the third, known as regularity, is equivalent to the zero set being empty. We give examples demonstrating that all three conditions are distinct. The three conditions are the special cases for $p=1,2,\infty$ of a more general notion of $p$-regularity defined as the norm density of the span of translates of the operator in the Schatten-$p$ class. We show that the relation between zero sets and $p$-regularity can be mapped completely to the corresponding relation for functions in classical harmonic analysis.
△ Less
Submitted 14 April, 2012;
originally announced April 2012.
