Weyl relations ($W(a)W(b)=e^{i(a\wedge b)}W(a+b)$)

These bounded-unitary relations encode a pair of canonical commutation relations without multiplying unbounded position and momentum operators. In a fixed convention on $L^2(\mathbb{R})$, $W(x,y)f(t)=e^{ixy+2iyt}f(t+x)$ and $a\wedge b=x_1{y}_2-y_1{x}_2$. Strong continuity is part of a regular Weyl representation. Different nonzero choices of the central normalization rescale the canonical coordinates.

Every irreducible strongly continuous representation of the Weyl relations with fixed nonzero central character is unitarily equivalent to the translation-modulation representation on $L^2(\mathbb{R})$. The Gaussian projection in a Weyl representation supplies a cyclic vector whose Weyl-orbit inner products agree with those of a Gaussian in the standard representation. Matching those orbit vectors gives the unitary intertwiner, with no appeal to a classification assertion in place of the proof.

The integrated Gaussian in any nonzero regular representation of the Weyl relations is an orthogonal projection and obeys $PW(a)P=e^{-|a{|}^2/2}P$. Gaussian integration with the Weyl phase proves both identities. It cannot be zero: conjugating it by all Weyl operators would otherwise make the Fourier transform of every Gaussian-weighted matrix coefficient vanish, including its nonzero value at the identity. In an irreducible representation its range has dimension one, and the orbit of a unit vector there gives a dense cyclic space with universal Gaussian inner products.