The problem of Bloch electrons in a magnetic field in two dimensions can be reduced to a one-dimensional problem with a Hamiltonian
Ĥ
that is a periodic function of
x
^
and
p
^
. Wannier functions can be defined for the sub-bands of the spectrum of this effective Hamiltonian. When the Chern class (quantized Hall conductance integer) of the sub-band is zero, the Weyl-Wigner formalism can be used to represent these Wannier functions by a von Neumann lattice. It is shown how this von Neumann lattice of Wannier functions can be defined for irrational as well as rational magnetic fields. An important benefit from using the Weyl-Wigner formalism is that symmetries of the periodic potential are reflected by symmetries of the effective Hamiltonian in phase space. It is shown how the Wannier functions can be defined so that their Wigner functions have the point symmetries of the effective Hamiltonian. An example of how these results can prove useful is given: if we take matrix elements of the Hamiltonian between the Wannier states of a sub-band, we derive a new effective Hamiltonian describing this sub-band, which is again a periodic function of coordinate and momentum operators. Since, by projecting onto a sub-band, we have also reduced the number of degrees of freedom, this operation is a renormalization group transformation. It is shown that the symmetry of the new effective Hamiltonian in phase space is the same as that of the original one. This preservation of symmetry helps to explain some unusual properties of the spectrum when the Hamiltonian has fourfold symmetry.
