Variations à la Fourier-Weyl-Wigner on Quantizations of the Plane and the Half-Plane

Any quantization maps linearly function on a phase space to symmetric operators in a Hilbert space. Covariant integral quantization combines operator-valued measure with the symmetry group of the phase space. Covariant means that the quantization map intertwines classical (geometric operation) and quantum (unitary transformations) symmetries. Integral means that we use all resources of integral calculus, in order to implement the method when we apply it to singular functions, or distributions, for which the integral calculus is an essential ingredient. We first review this quantization scheme before revisiting the cases where symmetry covariance is described by the Weyl-Heisenberg group and the affine group respectively, and we emphasize the fundamental role played by Fourier transform in both cases. As an original outcome of our generalisations of the Wigner-Weyl transform, we show that many properties of the Weyl integral quantization, commonly viewed as optimal, are actually shared by a large family of integral quantizations.

In 1932, Wigner introduced his function (or quasidistribution) to study quantum corrections to classical statistical mechanics, originally in view of associating the wavefunction ψ(x), i.e., the pure state ρ ψ = |ψ ψ|, with a probability distribution in phase space. It is a Fourier transform, up to a constant factor, for all spatial autocorrelation functions of ψ(x): The alternative expression using in the above the parity operator (Pψ)(x) = ψ(−x) [6] allows us to extend this transform to any density operator ρ, and in fact to any traceclass operator A in H A → W A (q, p) = tr U(q, p)2PU † (q, p)A . (4) One of the most attractive aspects of the above Wigner transform is that it is one-to-one. The inverse is precisely the Weyl quantization, more precisely the integral Weyl-Wigner quantization, defined as the map (withh = 1) Hence, W A f (q, p) = f (q, p), with mild conditions on f . In the second expression of the Weyl-Wigner quantization (5) is introduced the dual of the symplectic Fourier transform. The latter is defined as Hence, we observe that the Fourier transform lies at the heart of the above interplay of Weyl and Wigner approaches. Please note that both the maps (46) and (5) allow one to set up a quantum mechanics in phase space, as was developed at a larger extent in the 1940s by Groenewold [7] and Moyal [8]. This feature became so popular that it led some people to claim that if one seeks a single consistent quantization procedure mapping functions on the classical phase space to operators, the Weyl quantization is the "best" option. Actually, we will see below that this claimed preponderance should be somewhat attenuated, for various reasons.
The organisation of the paper is as follows. In Section 2 we give a general presentation of what we call covariant integral quantization associated with a Lie group, and its semi-classical side. The content of this section should be viewed as a shortened reiteration of a necessary material present in previous publications by one of or both the authors, essentially [9][10][11][12][13]. The original content of the paper is found in the next sections, namely the fact that many properties of the Weyl integral quantization, commonly viewed as optimal, are actually shared by a large family of integral quantizations. In Section 3 we revisit the Weyl-Heisenberg symmetry and the related Wigner-Weyl transform and Wigner function by inserting in their integral definition a kernel which allows to preserve one of their fundamental properties, the one-to-one character of the corresponding quantization. In Section 4 we devote a similar study to the case of the half-plane, for which the affine symmetry replaces the translational symmetry, and we compare our results with some previous works. We summarize the main points of the content in Section 5. Detailed proofs of two of our results are given in Appendix A.

Covariant Integral Quantization: A Summary
Integral quantization [9][10][11][12][13] is a generic name for approaches to quantization based on operator-valued measures. It includes the so-called Berezin-Klauder-Toeplitz quantization, and more generally coherent state quantization [10,14,15]. The integral quantization framework includes as well quantizations based on Lie groups. In the sequel we will refer to this case as covariant integral quantization. We mentioned in the introduction its most famous example, namely the covariant integral quantization based on the Weyl-Heisenberg group (WH), like Weyl-Wigner [3,6,[16][17][18] and (standard) coherent states quantizations [14]. It is well established that the WH group underlies the canonical commutation rule, a paradigm of quantum physics. However, one should be aware that there is a world of quantizations that follow this rule [9,13]. Another basic example of covariant integral quantization concerns the half-plane viewed as the phase space for the motion on the half-line. The involved Lie group is the group of affine transformations x → (q, p) · x := x/q + p, q > 0, of the real line [9,11]. The latter has been proven essential in a series of recent works devoted to quantum cosmology [19][20][21][22][23]. Let us notice that the affine group and related coherent states were also used for the quantization of the half-plane in works by J. R. Klauder, although from a different point of view (see [24][25][26] with references therein).

General Settings
We first proceed with a necessary repetition of the material needed to understand the method and found in the previously quoted [9][10][11][12][13]. Let X be a set equipped with some structures, e.g., measure, topology, manifold, etc. In this paper X will be viewed as a phase space for a mechanical system. Let C(X) be a vector space of complex-valued functions f (x) on X, defined through some functional or distributional constraints, and viewed here as classical observables. A quantization of elements of C(X) is a linear map Q : f ∈ C(X) → Q( f ) ≡ A f ∈ A(H) to a vector space A(H) of linear operators on some Hilbert space H. Furthermore this map must fulfill the following conditions: To a real function f ∈ C(X) there corresponds a(n) (essentially) self-adjoint operator A f in H.
From a physical point of view it will be necessary to add to this minimal material an interpretative measurement context.
Let us now assume that X = G is a Lie group with left Haar measure dµ(g). Let g → U g be a unitary irreducible representation (UIR) of G as operators in H. Let M be a bounded self-adjoint operator on H and let us define U g -translations of M as The application of Schur's Lemma under mild conditions allows to infer that there exists a real constant c M ∈ R such that the following resolution of the identity holds (in the weak sense of bilinear forms) For instance, in the case of a square-integrable unitary irreducible representation U : g → U g (see Chapters 7 and 8 in [10] for details and references), let us pick a unit vector |ψ for which c M = G dµ(g)| ψ|U g ψ | 2 < ∞, i.e., |ψ is an admissible unit vector for U. With M = |ψ ψ| the resolution of the identity (8) provided by the family of states |ψ g = U g |ψ reads Vectors |ψ g are named (generalized) coherent states (or wavelets) for the group G.
With the resolution (8) in hand one can proceed with the integral quantization of complex-valued functions or distributions on the group G as follows Of course, some conditions have to be imposed to f in order to ensure the existence of the operator, or quantum observable, A f . With such conditions, the quantization (10) is covariant in the sense that To be more precise about the existence of the operator-valued integral in (10), the latter should be understood in a weak sense. Precisely, the sesquilinear form is assumed to be defined on a dense subspace of H. If f is a complex bounded function, B f is a bounded sesquilinear form, and from the Riesz lemma we deduce that there exists a unique bounded operator A f associated with B f . If f is real and semi-bounded, and if M is a positive operator, Friedrich's extension of B f ( [27], Thm. X23) univocally defines a self-adjoint operator. However, if f is real but not semi-bounded, there is no natural choice for a self-adjoint operator associated with B f . In this case, one can consider directly the symmetric operator A f enabling us to obtain a possible self-adjoint extension (an example of this kind of mathematical study is presented in [28]).

Semi-Classical Framework With Probabilistic Interpretation
Integral quantization allows to develop what is commonly viewed as a semi-classical analysis/interpretation of quantum observables. If M = ρ andρ are two non-negative ("density operator") unit trace operators, we obtain the classical-like expectation value formula Indeed, resolution of the identity, non-negativeness and unit-trace conditions imply that w(g) = tr(ρ ρ(g)) ≥ 0 is, up to the coefficient c M , a classical probability distribution on the group. Moreover, we consider the map as a generalization of Berezin or heat kernel or Segal-Bargmann transforms [29] on G. Given f , the new functionf is called lower or covariant symbol of the operator A f . It may be viewed as one of its semi-classical representations.

Semi-Classical Picture Without Probabilistic Interpretation
A semi-classical framework similar to (13) can be also developed if the operators M andM are not positive: Then the probabilistic interpretation is lost in general due to the loss of positiveness of the map g → tr M (g)M(g ) . However, in some special cases Equation (16) allows one to obtain an inverse of the quantization map (10). Namely for special pairs (M,M) we obtain tr M (g) A f = f (g) (17) In the sequel we analyze different examples of this kind in the case of the quantization of the plane (Weyl-Heisenberg group) and the half-plane (affine group).

The Group Background
Let us first recall some definitions with more details about the Weyl-Heisenberg (WH) group G W H , that we have already mentioned in the introduction. More details can be found for instance in [10,13]. It is a central extension of the group of translations of the two-dimensional euclidean plane. In classical mechanics the latter is viewed as the phase space for the motion of a particle on the real line. The UIR we are concerned with is the unitary representation of G W H , acting in some separable Hilbert space H, which integrates the canonical commutation rule (CCR) of quantum mechanics, [Q, P] = ihI H . Forgetting about physical dimensions (h = 1), an arbitrary element g of G W H is of the form with multiplication law where ζ is the multiplier function ζ[(q 1 , p 1 ), (q 2 , p 2 )] = 1 2 (p 1 q 2 − p 2 q 1 ). Any infinite dimensional UIR U λ W H of G W H is characterized by a real number λ = 0 (in addition, there are also degenerate, one-dimensional, UIR's corresponding to λ = 0, but they are irrelevant here). These UIR's may be realized on the same Hilbert space H, as the one carrying an irreducible representation of the CCR: If H = L 2 (R, dx) corresponding to the spectral decomposition Q = R x |x x| dx of the essentially self-adjoint position operator Q, the action of U λ W H reads as Thus, the three operators I H , Q, P appear as the generators of this representation and are realized as: For our purpose we take λ = 1/h = 1 and simply write U W H for the corresponding representation.

General Settings
We investigate special cases of the Weyl-Heisenberg covariant integral quantization that have remarkable properties. They are included in our general framework as a special case. Namely let us choose some function F ∈ L 1 (R, dx) and define its Fourier transformF aŝ This framework will be extended to distributions when necessary. We define the operator P (F) 0 (corresponding to the operator (denoted by M in Section 2.1) as the Weyl transform ofF: The associate quantization is named hyperbolic because of this special dependence through a function of qp. The operator P the proof). The main interest of this choice at the physical level is that all quantizations of this kind involve solely the Planck constanth as a dimensional parameter. In fact,h can be restored as follows The already mentioned canonical Wigner-Weyl transform or the Born-Jordan quantization [30][31][32] are special cases, but the above generalisation of the latter offers a large freedom in the choice of F with no need for introducing extra dimensional parameters.
In terms of the Dirac kets |x such that Q |x = x |x , the kernel x|P (F) 0 |y reads as: which gives .
The bounded operator P . We assume this condition to be fulfilled in the sequel.
The kernel of the operator P (F) q,p corresponding to the WH transported operators M(g) as in Equation (7) reads While the variable p appears in this formula as the Fourier reciprocal variable, the variable q appears as a translation parameter from the arithmetic mean of the variables x and y. Such an observation will take its real importance when we will deal with the affine symmetry in the next part of this paper.

Resolution of the Identity
From the Weyl-Heisenberg covariance and Schur's lemma, we obtain the resolution of unity as where c = R F(u)du. Therefore we assume in the sequel R F(u)du = 1. At this point it is valuable to give a direct proof of (29). Due to the polarization identity, it is sufficient to prove that for any ψ ∈ H: First By performing the change of variables X = (x + y)/2, z = x − y, we obtain Then we keep z and we change X in u = (X − q)/z. This leads to We remark that this equation is in fact a generalization of the Wigner function. The latter is recovered with F(u) = δ(u). In this sense, the function F is a Cohen kernel [33,34], but its interpretation in the present quantization context is different of the role it was given by this author and others, like [35]. Now the integral over p gives R dp 2π ψ|P and finally R 2 dq dp 2π ψ|P Assuming du F(u) = 1, we recover the resolution of the identity.

Covariant Quantization and Properties
The The and more generally, Therefore, by linearity any classical Hamiltonian h(q, p) = 1 2m p 2 + V(q) is mapped into the quantum Hamiltonian H = 1 2m P 2 + V(Q) that has the same form. Moreover, with the same conditions on F, we have The constant c is real due to the condition F(u) = F(−u). If F(u) is real then c = 0. Remark 1. Different quantizations generated by different F cannot be distinguished only using the most common operators involved in non-relativistic quantum mechanics (and corresponding to observables that can be really measured). Therefore there is no reason to privilege a specific one (for example the canonical one).

Trace Formula
Let us rewrite (28) as: Using the same kind of transformations as the ones used for the resolution of the identity we have (formally): Then (still formally) For two different functions F and G we obtain the trace formula: where F * G is the convolution product of F and G.

General Settings
Let us examine the case for which (43) gives the equation F * G = δ. Please note that such an equation has no solution with a pair of summable functions. In this case, we have tr P Therefore if F possesses a convolution inverse G, the quantization map is invertible. Indeed if G is the inverse of convolution of F then tr P In this regard, the Wigner-Weyl case is trivial in the sense that F = δ is its own inverse and therefore the Wigner-Weyl quantization map is inverted with the same operator. Furthermore since δ is a distribution, the Wigner-Weyl choice is in fact singular within this functional framework. Therefore using a true function F can be viewed as a regularization. However, this regularization in the quantization map has a cost: the inverse map (if it exists) is more singular than a pure δ.
In the case of Born-Jordan the Fourier transform of the indicator function F(u) isF(k) = sin(k/2) k/2 that possesses simple zeros on the real axis. Whence the convolution inverse of F only exists in a distribution sense as a series of principal values.

Generalized Wigner Functions
Given a function F, we now define the generalized Wigner function of an operator A as W (F) If A is the pure state |ψ ψ|, this function reads The standard Wigner function corresponds to W (δ) ψ (q, p). All functions W (F) ψ (q, p) share the same marginal properties.
Namely the functions q → (2π) −1 dpW (F) ψ (q, p) and p → (2π) −1 dqW (F) ψ (q, p) are the exact quantum probability distributions for position and momentum. This is a direct consequence of (38). Furthermore, because of the invertible character of the corresponding Wigner-Weyl transform, i.e., we have Using (43) we obtain W where * holds for the 2d-convolution product with the measure dq dp 2π and Remark 2.

•
The function Λ(F) only depends on the variable qp. Therefore it cannot belong to some L r space on the plane. Hence, the convolution product involved in (52) should be understood in general in the distribution sense.

•
The functionF is defined as an integral only if F belongs to L 1 (R, |α| −1 dα). In other cases an extension in the distribution framework is needed. • An interesting question concerns the positiveness of W (F) ψ . In the genuine Wigner-Weyl case (F = δ), Hudson theorem [36] asserts that only gaussian states ψ lead to positive Wigner functions W (δ) ψ (q, p), and so the latter can be interpreted as probability densities on phase space. Beyond the pure Gaussian case, see for instance [37]. The problem now is to formulate a generalized version of the Hudson theorem (involving maybe a different family of states) for the generalized Wigner function W (F) ψ ). In other words, for a given state ψ, is it possible to "build" a function F such that the corresponding Wigner function W (F) ψ is positive?

Examples of Invertible Map
In the following lines, we give an explicit example of invertible map, dependent on two strictly positive parameters α and β and that includes the Wigner-Weyl solution as a special case (this example was found through the use of Fourier transform). Let us define F α,β as Obviously we have F(x) = F(−x) (in the distribution sense), and formally F(x)dx = 1. Taking into account the elementary result for a, b > 0: we find that a convolution inverse of F α,β is F α ,β with α = 1/α et β = βα −2 . The Wigner-Weyl case corresponds to the degenerate case F 1,β (x) = δ(x).

The Group Background
The half-plane is defined as Π + is viewed as the affine group Aff + (R) of the real line. The left invariant measure is dµ(q, p) = dqdp. Besides a trivial one, the affine group possesses two nonequivalent square integrable UIR's. Equivalent realizations of one of them, say, U, are carried by Hilbert spaces L 2 (R + , dx/x µ ). Nonetheless these multiple possibilities do not introduce noticeable differences. Therefore we choose in the sequel µ = 0, and denote H = L 2 (R + , dx). The UIR of Aff + (R), when expressed in terms of the (dimensionless) phase-space variables (q, p), acts on H as We define the (essentially) self-adjoint operator Q on H as the multiplication operator (Qφ)(x) = xφ(x) and the symmetric operator P as (Pφ)(x) = −iφ (x). Let us note that P has no self-adjoint extension in H [27].

General Settings
In the continuation of the procedure exposed in the previous sections, we now investigate special cases of affine covariant integral quantization that leads to remarkable properties. They are analogous to the Wigner-Weyl transform on the plane. As for the plane, the interest of these cases on the physical level is that if we restore physical dimensions for q or x (length) and p (momentum) they only include the Planck constant as a dimensional parameter. The freedom of the quantization map lies again in the choice of a pure mathematical function F. This section generalizes Wigner-like and Weyl-like aspects of affine covariant quantization presented in [11] by introducing families of invertible mappings that look like the Wigner-Weyl case in the plane (see the discussion below).
In this affine context, we define the operators P (F) q,p , (q, p) ∈ Π + , dependent on a possibly complex function F : R + u → F(u) ∈ C, by their kernel x|P (F) q,p |y in the generalized basis |x , x ≥ 0, such that Q |x = x |x : x|P Note the alternative expression, δ( √ xy − q) = (2q/x)δ(y − q 2 /x).
It is easy to verify that the covariance with respect to the affine group holds true. If needed, we remind that the presence of the Planck constant is restored by replacing e ip(x−y) with exp ī h p(x − y) .
We prove in Appendix B that the operator P (F) q,p is bounded if the function u → u 2 F(u) is bounded. In addition, to impose the self-adjointness of P (F) q,p we assume that F fulfills the symmetry:

Remark 3.
We already noticed that the Wigner-Weyl transform on the plane induced by the operators P (δ) q,p introduced in the previous section involves the arithmetic mean (x + y)/2 through δ(2 −1 (x + y) − q). In the present case of the half-plane, its affine symmetry leads us to replace the arithmetic mean by the geometric mean √ xy appearing in δ( √ xy − q).

Resolution of the Identity
The operators P (F) q,p defined by their kernels (58) solve the identity. Indeed, we check (formally) that R dp 2π x|P and therefore Therefore if we impose F(1) = 1 we obtain the resolution of the identity.
In the sequel we assume the function F fulfill both the conditions F(1) = 1 and F(x) = F(1/x).

Affine Covariant Quantization and Properties
The This map is such that whatever F (under the above conditions) we have: A p is symmetric because F (1) = −F (1). If we impose F to be real, then we have F(u) = F(1/u) and then F (1) = 0, therefore A (F) p = P. More generally, whatever F we have the following relation which is similar to the Wigner-Weyl quantization map: Whatever F we have for the kinetic term p 2 , From F (1) = −F (1), and F (1) = 2F (1) + F (1) one deduces that A p 2 is symmetric. If F(u) is real, then F(u) = F(1/u), and F (1) = 0 (but the sign of F (1) is unspecified). It follows that A (F) If F (1) < −3 then A (F) p 2 has a unique self-adjoint extension on H [27,38]. We notice that at the opposite of the Wigner-Weyl case we have not in general A f (p) = f (P). The arbitrary choice of function F allows some regularization at the operator level. For example, in the case of A (F) p 2 , an adequate choice of F leads to a natural unique self-adjoint extension that uniquely specifies the quantization of p 2 .

Trace Formula
The trace of P (F) q,p reads (formally) Concerning the trace of the product of two different operators P (F) q,p and P (G) q ,p we successively have Applying our symmetry assumption G(x) = G(1/x) we get We now define the function φ : DefiningF(η) (andG(η)) asF we finally get

Invertible W-H-like Affine Covariant Quantization
Trivially, if we impose in (71) the relationG(η) =F(η) This means that the quantization map is invertible. The simplest case is obtained for F(η) =G(η) = 1 which corresponds to We notice that the constraint F(1) = 1 is verified. This solution gives an affine counterpart of the Wigner-Weyl transform since we need an unique function to build the quantization map and its inverse. However, we notice that the function F of (73) does not fulfill the boundedness condition |u 2 F(u)| ≤ C which was requested at the beginning of this section. Therefore the operators P (F) q,p involved in this case might be unbounded. In fact, this solution is a special case of a larger family of functions: The "conjugate function" allowing to build the inverse map due to F ν (u) is just F −ν (u). The boundedness condition |u 2 F ν (u)| ≤ C is fulfilled only for ν ≤ −5/2. Therefore F ν and F −ν cannot fulfill this condition at once. However, if we assume ν ≤ −5/2 for the quantization mapping, then F (1) = 3 2 (ν + 1/2) < −3. Therefore in that case the operator A (F ν ) p 2 has a unique self-adjoint extension. We notice also that for ν = 0 (our analogue of Wigner-Weyl) we obtain an attractive potential in A (F)

Discussion
Some Wigner-like and Weyl-like aspects of affine covariant quantization are presented in [11]. The calculations developed in Section 7 of [11] correspond to the simplest case F(u) = 1 which corresponds to ν = −1/2 in our family F ν . This choice allows to reproduce in the affine framework the Wigner-Weyl properties A f (q) = f (Q) and A f (p) = f (P). However, in that case the inverse of the quantization mapping cannot be built using the same function (as noticed in Proposition 7.5 of [11]) and there exists different possible self-adjoint extensions of the quantized kinetic operator A p 2 = P 2 (as noticed below Equation (7.7) of [11]). Therefore this choice is not a complete analogue of the Wigner-Weyl map. In fact, a complete analogue of the Wigner-Weyl map does not exist in the affine framework. In general for ν = −1/2 we fail to impose A f (p) = f (P), but for ν = 0 we preserve the use of a unique function (operator) for the inverse map, while for ν < −5/2 we are able to uniquely specify the self-adjoint kinetic operator A p 2 .

Conclusions
Through the above specifications of covariant integral quantization, in their Wigner-Weyl-like restrictions, to two basic cases, the euclidean plane with its translational symmetry on one hand, the open half-plane with its affine symmetry on the other hand, we have provided an illustration of the crucial role of the Fourier transform, which is needed at each step of the calculations. With these generalizations of the Wigner-Weyl transform we have shown that the Weyl integral quantization, often thought of as the "best" option, has many interesting features shared by a wide panel of other integral quantizations.
We also think that similar features hold far beyond the two elementary symmetries which have been examined here. There exist many versions of the Wigner function or equivalent quasi-distribution for other groups, see for instance [39,40] for SU(n) and references therein. In the case of non-compact groups, particularly those which are semi-direct products of groups, the existence of square-integrability of the UIR requested by the resolution of the identity lying at the heart of the construction is in general not guaranteed. However, we think that it is possible to get round this issue if square-integrability of the UIR holds with respect to a subgroup. Related concepts and material on the restricted level of coherent states are found for instance in [41] and the chapters 7 and 8 of [10] with references therein.
As a final comment, the methods of quantization which have been exposed here are just a tiny part of a huge variety of ways of building quantum models from a unique classical one. We should always keep in our mind that mathematical models for physical systems are mainly effective, and the freedom one has in picking one specific model should be considered as an attractive feature rather than a drawback [42].
Therefore we obtain: Thus if u → u 2 F(u) is a bounded function with |u 2 F(u)| ≤ C we have Then using the Cauchy-Schwarz inequality and a change of variable in the integral involving (q/x)ψ(q 2 /x) we obtain: We conclude that the operator P (F) q,p is bounded.