Precise Wigner–Weyl Calculus for the Honeycomb Lattice

In this paper, we propose a precise Wigner–Weyl calculus for the models defined on the honeycomb lattice. We construct two symbols of operators: the (Formula presented.) symbol, which is similar to the one introduced by F. Buot, and the W (or, Weyl) symbol. The latter possesses the set of useful properties. These identities allow us to use it in physical applications. In particular, we derive topological expression for the Hall conductivity through the Wigner-transformed Green function. This expression may be used for the description of the systems with artificial honeycomb lattice, when magnetic flux through the lattice cell is of the order of elementary quantum of magnetic flux. It is worth mentioning that, in the present paper, we do not consider the effect of interactions.