Grigori Amosov
On Constructing Informationally Complete Covariant Positive Operator-Valued Measures
projective unitary representation of locally compact Abelian group,positive operator-valued measures,informational completeness,the Naimark dilation,coherent states
We study a projective unitary representation of the product , where G is a locally compact Abelian group and is its dual consisting of characters on G. It is proven that the representation is irreducible, which allows us to define a covariant positive operator-valued measure (covariant POVM) generated by orbits of projective unitary representations of . The quantum tomography associated with the representation is discussed. It is shown that the integration over such a covariant POVM defines a family of contractions which are multiples of unitary operators from the representation. Using this fact, it is proven that the measure is informationally complete. The obtained results are illustrated by optical tomography on groups and by a measure with a density that has a value in the set of coherent states.
On Constructing Informationally Complete Covariant Positive Operator-Valued Measures

We study a projective unitary representation of the product , where G is a locally compact Abelian group and is its dual consisting of characters on G. It is proven that the representation is irreducible, which allows us to define a covariant positive operator-valued measure (covariant POVM) generated by orbits of projective unitary representations of . The quantum tomography associated with the representation is discussed. It is shown that the integration over such a covariant POVM defines a family of contractions which are multiples of unitary operators from the representation. Using this fact, it is proven that the measure is informationally complete. The obtained results are illustrated by optical tomography on groups and by a measure with a density that has a value in the set of coherent states.

The theory of noncommutative operator-valued measures, dating back to Naimark’s pioneering work [1], has found many applications in quantum information theory. Each such object, named a positive operator-valued measure (POVM), is defined on some measurable space X, takes values in the cone of positive operators in a Hilbert space, H, and is normed by the condition that the measure of the entire space is equal to the identity operator. Thus, it defines the measurement quantum channel, that is, a map from the convex set of quantum states to the set of probability distributions on X obtained by taking a trace of the product of a state and a positive operator from the measure [2]. Measurement quantum channels have a special structure and require special research. This is due to the fact that, unlike other quantum channels, the mapping occurs between a quantum system and a classical one, defined by the measurable space X on which the measure was set. Meanwhile, if X is not discrete (as is the case for continuous variables), a classical system cannot be embedded into a quantum one. Recently, there have been significant works devoted to the calculation of various information characteristics of such hybrid (classical–quantum) systems with POVMs given on a space with continuous variables [3,4]. An important class of POVMs is informationally complete POVMs, that is, those that allow you to restore the state based on the measurement results. For the case of discrete spaces X and finite dimensional Hilbert spaces H, the most famous examples of informationally complete measures are SIC-POVMs [5] as well as POVMs defined by mutually unbiased bases (MUBs) [6]. The existence of such informationally complete POVMs has been proven for far from all dimensions of H. Some kind of duality between SIC-POVMs and MUBs was noted in [7]. For applications in practice, the situation when the space on which the measure is defined is a locally compact Abelian group often occurs. Examples here include homodyne detection (), the phase measurement () and the spin measurement (). Since a scalar Haar measure is defined on locally compact groups G, it is natural to assume that a POVM on G has some operator density with repect to the measure . Moreover, if a unitary representation of G is defined in a Hilbert space H in which positive operators of POVM act, we can limit ourselves to searching for measures covariant with respect to this representation. A natural way to construct covariant POVMs is to integrate over orbits of an irreducible projective unitary representation of some group [2,8]. In the case of compact groups, the Haar measure of G is finite, resulting in the existence of integral over orbits. If G is locally compact only, problems arise with the existence of an integral, which can be solved by using the Pontryagin duality principle [9]. With this approach, it is necessary to consider the direct product of the group itself and the group dual to it according to Pontryagin [10]. The problem of the existence of informationally complete measurements is closely related to quantum tomography, which assumes not one, but a series of measurements determined by a set of different POVMs. In quantum optics, the informationally complete measurement is fulfilled under the heterodyne detection, resulting in the Husimi function of a quantum state [11]. Such a measurement corresponds to the informationally complete measure possessing a density consisting of projectors on coherent states. On the other hand, an optical quantum tomogram (a set of quadrature measurements representing linear combinations of coordinates and momentum) appears as a result of the homodyne detection [12]. The connection between the Husimi function and the optical quantum tomogram is known [13]. Both of these characteristics provide complete information about the quantum state. In this paper, we would like to develop the ideas of the relationship between the homodyne and heterodyne detections based on formal mathematical theory. In our approach, the role of heterodyne detection will be played by the measurement channel defined by a covariant POVM possessing a projection-valued density, which is the orbit of the action of a projective unitary representation of a locally compact group on a fixed one-dimensional projection. The role of homodyne detection is played by quantum tomography on groups which was already developed in [14] on the basis of the Pontryagin duality principle. Earlier, we proved that the tomography we introduced to the group allows us to restore the quantum state. Now, we will show that this fact can be used to prove the completeness of the covariant measure we have constructed. The key technique that we use is the study of the set of contraction operators defined by our covariant POVM. Unexpectedly, it turned out that such contractions are multiplies of unitary operators of the representation. The paper is organized as follows. At first (Section 2), we provide the necessary information about locally compact Abelian groups G and the Pontryagin duality. Section 3 is devoted to the construction of projective unitary representation of the direct product of the group G and its dual in a Hilbert space. We prove that this representation introduced in [10,14] is irreducible and provide the necessary information about tomography of groups from [10,14]. In Section 4, the construction of a POVM by means of orbits of the projective unitary representation introduced in [14] is extended to the entire space. Then, we define a family of unitary operators associated with our POVM by means of the Naimark dilation. Finally, by reducing the unitary operators, we obtain contractions corresponding to the constructed POVM and show that these contractions are multiples of the unitary operators of the representation. Then, we prove that this results in the informational completeness of the POVM. Section 5 is devoted to an illustrative example, in which a measure generated by coherent states is considered. This is the famous Glauber–Sudarshan measure, which possesses the operator-valued density consisting of projections on coherent states. Section 6 contains the concluding remarks.

Throughout this article we will use the results from an abstract harmonic analysis [15]. Let G be a locally compact Abelian group with a Haar measure which is invariant with respect to shifts for any measurable set and . A continuous map is said to be a character of G if it is a homomorphism . The set of all characters equipped with an operation of multiplication is said to be a dual group with respect to G. It is known that is also a locally compact Abelian group with a Haar measure determined uniquely up to a multiplication by a positive constant. Given , we can define the function on determined by the formula The Pontryagin duality [9,15] states that there exists the unique Haar measure on such that (1) can be extended to the isometrical map , named the (abstract) Fourier transform. Moreover, the inverse map has the form Thus, we obtain with sufficiently smooth . Then, (2) can be extended up to for any .

Let and define a set of unitary operators in by the formula The operators (3) are known to form a projective unitary representation of the group [10] It immediately follows from (4) that and Proposition 1. The Formula (3) determines an irreducible projective unitary representation of in . Proof. Let be the set of all quantum states (positive unit trace operators) in equipped with a semiliniear form Denote as the space of all operators obtained by a completion with respect to the norm corresponding to (7), then is said to be the Hilbert–Schmidt class of operators in [16]. It is known that the map determined by the formula establishes an isometrical isomorphism [10]. Moreover, the inverse transformation is given by Hence, any finite dimensional projection P belonging to can be represented as for some . Thus, the claim for all and a fixed bounded operator X in results in for all finite dimensional projections P. The result follows. □ Using the ideas in [10], let us define the maximal Abelian subgroups including the element . It follows from (5) that Moreover, for inverse elements (6) we obtain Remark 1. Wherever we encounter the need to extract the root from a complex number, we will act according to the rule . Since (8) holds true, is closed with respect to the operation of taking the inverse and is indeed a group. Proposition 2. The function on the group of elements is positive definite and for some probability measure on . Proof. Indeed, since is an Abelian group, then is a positive definite function on the group , such that Hence, the results follows from the Bochner theorem [15]. □ We shall say a set of all probability distributions a quantum tomogram of a state . This set of distributions contains the same information about the quantum state as the density operator . In fact, this set allows us to restore the characteristic function [10] that, in turn, gives rise to the density operator [10,14]. The whole point of our activity is to compare such an approach, which allows us to restore the density operator from a set of probability measures determined in Proposition 2 with the measurement of the quantum state using an informationally complete measure.

Fix a unit vector . Since the representation (3) is irreducible due to Proposition 1, the closure of coincides with . Denote and as the -algebra of measurable subsets of and the positive cone of all positive bounded operators in . Then, the map determined by the formula is a covariant positive operator-valued measure [10]. Following the Naimark theorem [1], there exists an isometrical embedding and a projection-valued measure E on such that where is the orthogonal projection on . Any irreducible unitary representation of the group in a Hilbert space is one-dimensional and has the form This implies that any arbitrary unitary representation of has the Naimark form [17] Hence, any unitary operator in of the form determines the contraction (i.e., an operator of a norm of at most one) in by means of the formula It is useful to remark that is known as a unitary dilation of and satisfies the relation [18] Remark 2. Note that a set of contractions determines a representation for the semigroup due to the property under a construction. Theorem 1. There exists a complex-valued measurable function f on the group satisfying the relation , such that Proof. Taking into account (4), (6) and (11), we obtain Since the projective representation (3) is irreducible in , (5) results in by the Schur lemma. □ The following statement shows that the measurement fulfilled by (10) is informationally complete. Theorem 2. The density of probability distribution allows us to restore a state ρ by the formula Proof. At first, notice that In fact, the map determines the isometrical isomorphism [10,14] This implies that Now, it follows from Theorem 1 that □

In homodyne detection, the quadrature components of the electromagnetic field are measured [12]. Observables corresponding to this measurement are , where and play the role of coordinates and momentum operators. Quadrature components can be determined if the field mode under study interferes with another reference beam of the same frequency and well-defined phase . In this section, we will explain how the abstract mathematical apparatus introduced previously works in quantum optics. Consider giving and . Now, and Then, Here, we obtain where and are the standard position and momentum operators [2]. Hence, (9) for this situation is the quantum characteristic function [2] The last formula, in turn, allows us to restore the probability distributions introduced in Proposition 2 such that where is an optical quantum tomogram [10,12]. Put Remark 3. Note that is a coherent state corresponding to the complex parameter and after such a change of variables we obtain (the displacement operator) [19]. Taking into account we obtain that the Haar measure corresponding to the Pontryagin duality [10] is and we are coming to the famous Glauber–Sudarshan measure where B runs measurable subsets of . Let us calculate (11) appearing in Theorem 1 for (12). Proposition 3. Remark 4. Thus, the function defined in Theorem 1 is found for the case . Proof. Following from (11), Let us take a change of variables, i.e., and . Then, On the other hand, using the representation of the displacement operator in the form where the creation and annihilation operators [19] are used we obtain Hence, It remains to note that [19]. □

In this paper, we investigated a projective unitary representation of a direct product , where G is a locally compact Abelian group and is its dual consisting of characters. Earlier, it was shown [10,14] that orbits of this representation determine a POVM in its closed linear envelope using the Pontryagin duality. Continuing this study, we show that the representation is irreducible. Thus, the obtained POVM is complete in the entire space. Based upon this approach, we construct a family of probability distributions named by us as a set of quantum tomograms that give the alternative characteristics of a quantum state with respect to the density operator . Using the Naimark dilation, we consider a projection-valued density E corresponding to our POVM on the group . This measure E determines a family of unitary operators which form a unitary representation of . By reducing the unitary operators , we introduce a family of contractions associated with the constructed POVM. It is proven that these contractions are multiples of unitary operators of the representation . This fact allows us to prove the information completeness of the measure . The conversion formula restoring the state from the probability distribution on is obtained. In Section 6, as an example, the case when and the corresponding POVM is the Glauber–Sudarshan measure determined by projections on coherent states is analyzed.