Topological invariant in terms of the Green functions for the Quantum Hall Effect in the presence of varying magnetic field

Extracted source text · arXiv 1901.06661

\documentclass[10pt]{elsarticle0}
\usepackage{epsfig}
\usepackage{slashed}
\usepackage{amsmath}
\usepackage{amssymb}
%\usepackage{dsfont,amsmath,bm,braket,color}



%\include{graphicx}
%\include{graphics}
%\include{epsfig}
\bibliographystyle{apsrev}
\textheight 8.9in %s7
\oddsidemargin -0mm \evensidemargin -0mm \topmargin -1.8cm \textwidth 6.5in
\newcommand{\beqn}{\begin{eqnarray}}
\newcommand{\eeqn}{\end{eqnarray}}
\newcommand{\eq}[1]{(\ref{#1})}
\newcommand{\RE}{{\mathrm{Re}\,}}
\newcommand{\IM}{{\mathrm{Im}\,}}
\newcommand{\CME}{{\mathrm{CME}}}
\newcommand{\CSE}{{\mathrm{CSE}}}
\newcommand{\tot}{{\mathrm{tot}}}
\newcommand{\cL}{{\cal L}}
\newcommand{\cZ}{{\cal Z}}
\newcommand{\cE}{{\cal E}}
\newcommand{\cD}{{\cal D}}
\newcommand{\dd}{{\mathrm d}}
\newcommand{\Tr}{{\mathrm{Tr}\,}}
\newcommand{\QED}{{\mathrm{QED}\,}}
\newcommand{\Z}{{\mathbb Z}}
\newcommand{\Dirac}{\slashed \cD}
\newcommand{\dirac}{\slashed \cD}
\newcommand{\bs}{\boldsymbol}
\newcommand{\bra}[1]{{\left\langle#1\right|}}
\newcommand{\ket}[1]{{\left|#1\right\rangle}}
\newcommand{\avr}[1]{{\left\langle #1 \right\rangle}}
\def\bbbone{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l} {\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}}

\usepackage{verbatim} % adds environment for commenting out blocks of text & for better verbatim
%\usepackage{subfig} % make it possible to include more than one captioned figure/table in a single float
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{braket}
% These packages are all incorporated in the memoir class to one degree or another...

%%% HEADERS & FOOTERS
%\usepackage{fancyhdr} % This should be set AFTER setting up the page geometry

%\pagestyle{fancy} % options: empty , plain , fancy
%\renewcommand{\headrulewidth}{0pt} % customise the layout...
%\lhead{}\chead{}\rhead{}
%\lfoot{}\cfoot{\thepage}\rfoot{}

%%% SECTION TITLE APPEARANCE
%\usepackage{sectsty}
%\allsectionsfont{\sffamily\mdseries\upshape} % (See the fntguide.pdf for font help)
% (This matches ConTeXt defaults)

% END Article customizations

%%% The "real" document content comes below...

\usepackage{color}

\newcommand{\revisionZ}[1]{{#1}}
\newcommand{\revisionS}[1]{{#1}}

\newcommand{\revisionZZ}[1]{{#1}}

\newcommand{\be}{\begin{eqnarray}}
\newcommand{\ee}{\end{eqnarray}}

\newcommand{\revv}[1]{{#1}}
\newcommand{\rev}[1]{{#1}}
\newcommand{\rv}[1]{{#1}}
\newcommand{\rvv}[1]{\textcolor{red}{#1}}


\begin{document}




\title{Topological invariant in terms of the Green functions for the Quantum Hall Effect in the presence of varying magnetic field}




\author[ARIEL]{M.A.~Zubkov
\footnote{
Corresponding author,
e-mail: zubkov@itep.ru, On leave of absence from Institute for Theoretical and Experimental Physics, B. Cheremushkinskaya 25, Moscow, 117259, Russia}
 }
\author[ARIEL]{Xi Wu}

\address[ARIEL]{ Physics Department, Ariel University, Ariel 40700, Israel}






%\address[ICM]{Instituto de Ciencia de Materiales de Madrid,
%CSIC, Cantoblanco; 28049 Madrid, Spain.}




%\address[MIPT]{Moscow Institute of Physics and Technology, 9, Institutskii per., Dolgoprudny, Moscow Region, 141700, Russia}

%\address[DFU]{Far Eastern Federal University,  School of Biomedicine, 690950 Vladivostok, Russia}



\begin{abstract}
Recently the Wigner - Weyl formalism has been applied to the lattice models of solid state physics and to the lattice regularized quantum field theory. This allows to demonstrate that the electric current of intrinsic Anomalous Quantum Hall effect is expressed through the momentum space topological invariant composed of the Green functions both for the two - and the three - dimensional systems. Here we extend this consideration to the  case of the Quantum Hall Effect existing in the presence of arbitrarily varying external magnetic field. The corresponding electric current appears to be proportional to the topological invariant in phase space composed of the Wigner transformed Green function that depends both on coordinates and momenta.
\end{abstract}














%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%





%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\maketitle



%\usepackage{color}




\section{Introduction}

Relation between topology and the Quantum Hall effect including the Anomalous Quantum Hall Effect (AQHE) follows the discovery of the so - called TKNN invariant  \cite{TTKN,TKNN0,Haldane}: the Hall conductivity appears to be proportional to the integral of Berry curvature over the occupied branches of spectrum. The corresponding three - dimensional constructions were discussed, for example, in \cite{3ddiophantine,Hall3DTI}.  This formalism allows to calculate the Quantum Hall Effect (QHE) of electrons in the two - dimensional periodic potentials (or in the 2D lattice models) in the presence of constant magnetic field \cite{Fradkin}. However, it does not give the transparent calculation method for the QHE of Bloch electrons in the presence of varying external magnetic field. Besides, although by construction the TKNN invariant is defined for the noninteracting system, it is well - known that the total AQHE conductivity is robust to the introduction of disorder and weak interactions. The representation of this conductivity as the topological invariant composed of the Green functions was proposed for the two dimensional system in \cite{Matsuyama:1986us,Volovik0} (for more details see Chapter 21.2.1 in \cite{Volovik2003}, see also \cite{So,Golterman1993,IshikawaMatsuyama1986}). Using this approach the interacting system may be considered: the full two - point Green function of the interacting system should be substituted to the corresponding expression. It is usually believed, that the higher order full Green functions do not give a contribution to the QHE although there is still no direct proof of this statement. Such topological invariants were further discussed in the series of papers (see, for example, \cite{Gurarie2011,EssinGurarie2011} and references therein). In \cite{Z2016_1,Z2016_2} the similar relation between Hall conductivity and the topological invariants composed of the Green functions was deduced for the three - dimensional systems with the AQHE (in particular, for the discovered recently Weyl semimetals \cite{semimetal_effects10,semimetal_effects11,semimetal_effects12,semimetal_effects13,Zyuzin:2012tv,tewary}).
The role of disorder in the QHE has been discussed within several different approaches (see \cite{Fradkin,TKNN2,QHEr,Tong:2016kpv} and references therein). However, the introduction of disorder within the formalism of \cite{Matsuyama:1986us,Volovik0,Volovik2003,Z2016_1,Z2016_2} remains problematic: the corresponding topological invariants formally describe the idealized systems without impurities, where the Hall current remains in the bulk. Disorder pushes the Hall current to the boundary. But its total amount integrated over all space remains given by the topological invariants discussed in \cite{Matsuyama:1986us,Volovik0,Volovik2003,Z2016_1,Z2016_2}. In the present paper we will present the alternative proof of this conjecture for the case of the sufficiently weak disorder. Moreover, we extend the consideration of \cite{Z2016_1} from the AQHE to the case of the Quantum Hall Effect in the presence of arbitrarily varying external magnetic field. Technically its consideration is more complicated than that of the AQHE in periodic systems without external magnetic field because the two - point Green function ${\cal G}(p_1,p_2)$ now depends on two momenta $p_1,p_2$ instead of one unlike the case of the AQHE.
We hope, that the topological invariants proposed in the present paper may become useful for the consideration of the models with essential inhomogeneity since they are composed of the Green functions and inherit the beautiful mathematical structure of the topological invariants of \cite{Matsuyama:1986us,Volovik0,Volovik2003,Gurarie2011,EssinGurarie2011,Z2016_1}.
It is worth mentioning that the Hall conductance is believed to be robust to the introduction of weak interactions while strong interactions may bring the system to the phase with the fractional QHE (see, for example, \cite{Tong:2016kpv}). Its consideration, however, remains out of the scope of the present paper. For the general review of the topological aspects of the QHE we refer  to  \cite{Fradkin,Tong:2016kpv,Hatsugai} and references therein.

We explore the Wigner - Weyl formalism \cite{1,2,berezin,6} developed in \cite{Z2016_1,Z2016_2} for the lattice models of condensed matter physics (as well as for the lattice regularized quantum field theory). For the ordered review of this formalism see \cite{SZ2018}.
We demonstrate that the Hall conductance integrated over the whole space is given by the topological invariant in phase space (that consists of both coordinates and momenta). This topological invariant is expressed through the Wigner transformation of the two - point Green functions. Its structure repeats that of the topological invariants discussed in \cite{Matsuyama:1986us,Volovik0,Volovik2003,Gurarie2011,EssinGurarie2011,Z2016_1,Z2016_2} with the ordinary product substituted by the star product and the extra integration over the whole space added \footnote{The topological invariants of \cite{Matsuyama:1986us,Volovik0,Volovik2003,Gurarie2011,EssinGurarie2011,Z2016_1,Z2016_2} have the same structure as the degree of mapping of the three - dimensional manyfold to a group of matrices.}.  The value of our topological invariant responsible for the Hall conductance is not affected by the sufficiently weak disorder. We also find indications that it remains robust to the Electromagnetic interactions with sufficiently small effective coupling constant.

The paper is organized as follows. In Sect. \ref{Sect2} we introduce the notations that are useful for the investigation of various lattice models in momentum space. In Sect. \ref{Sect3} we recall the application of the Wigner - Weyl formalism to the lattice models proposed in \cite{Z2016_1,Z2016_2}. This formalism results, in particular, in the expression for the current of the AQHE through the topological invariants in momentum space. In Sect. \ref{Sect4} we present the extension of this result to the case of the lattice model in the presence of varying external magnetic field. Our main result is the expression for the QHE current through the topological invariant in phase space given in Eqs. (\ref{calM0}), (\ref{JA2D0}), (\ref{calM2d2}). In Sect. \ref{Sect5} we check the obtained results applying our expressions to the consideration of the problem with known solution - the QHE in the noninteracting system in the presence of constant external magnetic field. In Sections \ref{Sect2} -- \ref{Sect5} we consider the idealized systems without disorder and with the interactions neglected. In Sect. \ref{Sect6} we give the arguments that suggest that the introduction of weak disorder does not influence our expressions. Also in Sect. \ref{Sect6} we present the indications that weak electromagnetic interactions do not affect them as well. In Sect. \ref{SectConcl} we end with the conclusions.

In Appendixes we accumulate various results used in the main text of the paper. The majority of those results are not original and were proved in the other publications. We feel this important to collect the derivation of those results in the Appendixes to our present paper for completeness.

\section{The description of the tight - binding models in momentum space}

\label{Sect2}

Following \cite{Z2016_1,Z2016_2,SZ2018} we start from the lattice tight - binding fermionic model with the partition function of the following form
\rev{\begin{equation}
Z=\int D\bar{\Psi}D\Psi  {\rm exp}\left(\sum_{x,y}\bar\Psi^T(x)\left(-i\mathcal{D}_{x,y}\right)\Psi(y)\right)\,.
\label{Z00}
 \end{equation}}
Here $\mathcal{D}_{x,y}$ is a matrix that depends on the discrete lattice coordinates $x$, $y$. $\Psi,\bar{\Psi}$ are the multi - component Grassmann - valued fields defined on the lattice sites. The corresponding indices are omitted here and below for brevity. Such a partition function may be rewritten in momentum space as follows
\rev{\begin{eqnarray}
Z &=& \int D\bar{\psi}D\psi \, {\rm exp}\Big(  \int_{\cal M} \frac{d^D {p}}{|{\cal M}|}\nonumber\\&&\bar{\psi}^T({p}){Q}(p)\psi({p}) \Big)\,,\label{Z01}
\end{eqnarray}}
where integration is over the fields defined in momentum space $\cal M$. $|{\cal M}|$  is its volume, $D$ is the dimensionality of space - time, $\bar{\psi}$ and $\psi$ are the anticommuting multi - component Grassmann variables defined in momentum space. Without loss of generality we assume that time is discretized, so that momentum space is compact, and its volume is finite. In condensed matter physics time typically is not discretized,  the corresponding partition function may be obtained easily as the limit of Eq. (\ref{Z00}) when the time spacing tends to zero. The partition function of Eq. (\ref{Z01}) allows to describe the non - interacting fermion systems corresponding to matrix  $Q(p)$ (that is the Fourier transform of the lattice tight - binding matrix $D_{x y}$). The meaning of $Q(p)$ for the lattice models of electrons in crystals is the inverse propagator of Bloch electron.  The interactions are not taken into account at this stage. Their effect as well as the effect of disorder will be discussed later.

Introduction of the external gauge field $A(x)$ defined as a function of coordinates effectively leads to the Peierls substitution (see, for example, \cite{Z2016_1,Z2016_2,SZ2018}):
\rev{\begin{eqnarray}
Z &=& \int D\bar{\psi}D\psi \, {\rm exp}\Big(  \int_{\cal M} \frac{d^D {p}}{|{\cal M}|} \nonumber\\&&\bar{\psi}^T({p}){Q}(p - A(i\partial_p))\psi({p}) \Big),\label{Z01}
\end{eqnarray}}
where the products of operators inside expression ${\cal Q}(p - A(i\partial_p))$ are symmetrized.

We relate operator $\hat{Q} = Q(p-A(i\partial_p))$ and its inverse $\hat{G} = \hat{Q}^{-1}$ defined in Hilbert space ${\cal H}$ of functions (on $\cal M$) with their matrix elements ${\cal Q}(p,q)$ and ${\cal G}(p,q)$ correspondingly:
$$
{\cal Q}(p,q) = \langle p|\hat{Q}| q\rangle, \quad {\cal G}(p,q) = \langle p|\hat{Q}^{-1}| q\rangle\,.
$$
Here the basis elements of $\cal H$ are normalized as $\langle p| q\rangle = \delta^{(D)}(p-q)$. Those operators obey the following equation
$$
\langle p|\hat{Q}\hat{G}|q\rangle = \delta({p} - {q})\,.
$$

Eq. (\ref{Z01}) may be rewritten as follows
\rev{\begin{eqnarray}
Z &=& \int D\bar{\psi}D\psi \, {\rm exp}\Big(  \int_{\cal M} \frac{d^D {p}_1}{\sqrt{|{\cal M}|}} \int_{\cal M} \frac{d^D {p}_2}{\sqrt{|{\cal M}|}}\nonumber\\&&\bar{\psi}^T({p}_1){\cal Q}(p_1,p_2)\psi({p}_2) \Big),\label{Z1}
\end{eqnarray}}
while the Green function of Bloch electron is given by
\rev{\begin{eqnarray}
{\cal G}_{ab}(k_2,k_1)&=& \frac{1}{Z}\int D\bar{\psi}D\psi \, {\rm exp}\Big(  \int_{\cal M} \frac{d^D {p}_1}{\sqrt{|{\cal M}|}} \int_{\cal M} \frac{d^D {p}_2}{\sqrt{|{\cal M}|}}\nonumber\\&&\bar{\psi}^T({p}_1){\cal Q}(p_1,p_2)\psi({p}_2) \Big) \frac{\bar{\psi}_b(k_2)}{\sqrt{|{\cal M}|}} \frac{\psi_a(k_1)}{\sqrt{|{\cal M}|}}\label{G1}\,.
\end{eqnarray}}
Here indices $a,b$ enumerate the components of the fermionic fields. In the following we will omit those indices for brevity.


\section{Wigner - Weyl formalism for the lattice models}

\label{Sect3}

The Wigner transformation of $\cal G$ is defined as the Weyl symbol of $\hat{G}$:
\begin{equation} \begin{aligned}
{G}_W(x,p) \equiv \int dq e^{ix q} {\cal G}({p+q/2}, {p-q/2})\label{GWx}
\end{aligned}\,.
\end{equation}
\rv{It is assumed here that $Q(p_1,p_2)$ is nonzero for the values of $|p_1-p_2|$ much smaller than the size of the Brillouin zone. (The values of $|p_1 + p_2|$ may be arbitrary.) This occurs if the external electromagnetic field is slowly varying, i.e. its variation on the distance of the order of the interatomic distance may be neglected. Such fields correspond to the magnitudes of magnetic fields much smaller than thousands Tesla and wavelengths much larger than several Angstroms. Under these conditions the Wigner transformed Green function obeys the Groenewold equation (see \cite{Z2016_1,Z2016_2}) and Appendix H of the present paper}:
\begin{equation} \begin{aligned}
{G}_W(x_n,p) \star Q_W(x_n,p) = 1 \label{Geq}
\end{aligned} \,,
\end{equation}
that is
\begin{equation}\begin{aligned}
&1 =
{G}_W(x_n,p)
e^{\frac{i}{2} \left( \overleftarrow{\partial}_{x_n}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x_n}\right )}
Q_W(x_n,p)
\label{GQW}\end{aligned}\,.
\end{equation}
By $x_n$ we denote the lattice points. Although the lattice points are discrete, the differentiation over $x_n$ may be defined following \cite{Z2016_1,Z2016_2} because the functions of coordinates may be extended to their continuous values.

Let us define the (Grassmann - valued) Wigner function as
\rev{$$
W(p,q) = \frac{\bar{\psi}(p)}{\sqrt{|{\cal M}|}}\frac{{\psi}(q)}{\sqrt{|{\cal M}|}}\,.
$$}
We may also define the operator $\hat{W}[\psi,\bar{\psi}]$, whose matrix elements are equal to $W(p,q) = \langle p|\hat{W}[\psi,\bar{\psi}]|q\rangle$. The functional trace of an operator $\hat{U}$ is defined as
$$
{\bf Tr} \hat{U} \equiv \int dp {\rm Tr} \langle p | \hat{U}|p\rangle\,.
$$

Then the partition function receives the form:
\rev{\begin{eqnarray}
Z& =& \int D\bar{\psi}D\psi \, {\rm exp}\Big( {\bf Tr} \hat{W}[\psi,\bar{\psi}] \hat{Q} \Big)\,.\label{Z2}
\end{eqnarray}}
In the following by $W_W$ we denote the Weyl symbol of $\hat{W}$.

In general case the calculation of the Weyl symbol $Q_W$ of an operator $\hat{Q}=Q(p-A(i\partial_p))$ is a rather complicated problem. It has been solved in \cite{SZ2018} for the particular case of lattice Wilson fermions. The result is represented in Appendix A. It follows from those results that if the field $A$ is slowly varying, i.e. it almost does not vary on the distance of the order of the lattice spacing, we are able to substitute the sum over the lattice points by the integral, and take ${Q}_W(p,x)= Q_W(p-A(x)) \equiv Q(p-A(x))$. Of course, this refers not only to the lattice Wilson fermions, but to any lattice fermion model.



\section{Equilibrium electric current}

\label{Sect4}

Variation of partition function gives the following expression for the \rev{average total current, i.e. the time average of the integral over the whole space of the electric current density} (the derivation is given in Appendix B):
\rev{\begin{eqnarray}
\langle J^k \rangle &=& - T\, \int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \, G_W(p,x) \star \partial_{p_k} Q_W(p - { A}(x))  \nonumber\\ &=& - T\, {\bf Tr} \, \hat{G} \partial_{p_k} {\cal Q}(p - {A}(i\partial_{p})) \,. \label{J3}
\end{eqnarray}}
This expressions is the topological invariant, i.e. the total current is not changed when the system is modified continuously.

In Appendix C we remind the reader the consideration of the anomalous QHE and represent the results obtained in \cite{Z2016_1,Z2016_2}. It appears that the response of the electric current to weak external field strength $A_{ij} = \partial_i A_j - \partial_j A_i$ is the topological invariant in momentum space. This invariant is composed of the one - particle Green function (that is the function of the only momentum $p$ for $A=0$). In the present paper we propose the generalization of this representation to the case, when in addition to the weak external field strength $A_{ij}$ there is the strong external field strength $B_{ij} =  \partial_i B_j - \partial_j B_i$. The former gives rise to the external electric field while the latter corresponds to strong essentially varying external magnetic field that provides the system with the gaps and the topological structure responsible for the QHE. In this situation the one - particle Green function at $A=0$ depends on two momenta because of the presence of the field $B(x)$. So, we discuss the case, when the fermions are in the presence of two Abelian gauge fields $A_{i}$ and $B_i$.

Let us first consider the case of constant external field strength $A_{ij}$ and arbitrary field $B(x)$. We are going to expand $\langle J \rangle$ in powers of $A_{ij}$ and to keep the linear term only. At the same time the field $B(x)$ is taken into account completely. We start from
\rev{\begin{eqnarray}
\langle J^k \rangle &=&  - T\, \int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \, G_W(p,x) \nonumber\\&& \star \partial_{p_k} Q_W(p - { A}(x)- B(x)) \Big)
\label{J30}
\end{eqnarray}}
and define $G_W$ and $G^{(0)}_W$ that obey
$$
G_W(p,x) \star Q_W(p - A(x)- B(x)) =1
$$
and
$$
G^{(0)}_W(p,x) \star Q_W(p - B(x))=1\,.
$$
We also denote $Q_W(p,x) = Q_W(p - A(x)- B(x))$. The Wigner transformed inverse propagator in the presence of external magnetic field (without external electric field) is $Q^{(0)}_W(p,x)=Q_W(p - B(x))$.
Let us represent $Q_W$ as
$$
Q_W(p,x) \approx  Q^{(0)}_W(p,x) -  \partial_{p_m} Q^{(0)}_W(p,x) A_m(x)
$$
and
 $G_W$ as follows
\begin{eqnarray}
G_W(p,x) &\approx & G^{(0)}_W(p,x) + G^{(0)}_W(p,x) \nonumber\\&&\star \partial_{p_m} Q^{(0)}_W(p,x) A_m(x) \star G^{(0)}_W(p,x)\nonumber \\
 & \equiv & G_W(p,x|y)\Big|_{y=x}\,.
\end{eqnarray}
Here
$$
G_W(p,x|y)= G^{(0)}_W(p,x) + G^{(0)}_W(p,x) $$
$$\star \partial_{p_m} Q^{(0)}_W(p,x) A_m(y) \star G^{(0)}_W(p,x)\,,
$$
and
$$
\star = \circ \, \ast
$$
where
$
\ast = e^{\frac{i}{2} \left( \overleftarrow{\partial}_{x}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x}\right )}
$
while
$
\circ = e^{\frac{i}{2} \left( \overleftarrow{\partial}_{y}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{y}\right )}\,.
$
The direct check shows that in Eq. (\ref{J3}) the terms proportional to $A$ (that do not contain the derivatives of $A$)  cancel each other, so that the first relevant terms are proportional to $\partial_i A_j$. We also may represent Eq. (\ref{J3}) as
\rev{\begin{eqnarray}
\langle J^k \rangle &=&  - T\, \int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \Big(\, G_W(p,x|y) \nonumber\\&&\circ \ast \partial_{p_k} Q_W(p - { A}(y)- B(x)) \Big)_{y=x}\,.
\label{J31}
\end{eqnarray}}
$G_W(p,x) = G_W(p,x|x)$ obeys equation
 $$
G_W(p,x|y) \circ \, \ast Q_W(p - A(y)- B(x))\Big|_{y=x} =1\,.
$$
Up to the terms linear in the derivatives of $A$ we get:
$$
\partial_{y_k} G_W(p,x|y) = \partial_{y_k} G^{(0)}_W(p,x) \star \partial_{p_m} Q^{(0)}_W(p,x)\,, $$
$$A_m(y) \star G^{(0)}_W(p,x) \approx G^{(0)}_W(p,x) \ast \partial_{p_m} Q^{(0)}_W(p,x)$$$$ \partial_{y_k} A_m(y) \ast G^{(0)}_W(p,x)
$$
$$
= - \partial_{p_m}G^{(0)}_W(p,x) \partial_{y_k} A_m(y)\,.
$$
This allows to rewrite
 $$
G_W(p,x|y) \, e^{-\frac{i}{2} \overleftarrow{\partial}_{p_j}\overrightarrow{\partial_{p_i}}A_{ij}}\, \ast Q_W(p - A(y)- B(x))\Big|_{y=x} =1\,.
$$
Up to the terms linear in $A_{ij}$ this equation receives the form
$$
G_W(p,x|y) \, \Big(1-\frac{i}{2} \overleftarrow{\partial}_{p_j}\overrightarrow{\partial_{p_i}}A_{ij}\Big)\, \ast Q_W(p - A(y)- B(x))\Big|_{y=x} =1\,.
$$
Its solution is
\begin{eqnarray}
 G_W(p,x|x)  &= & G_W^{(0)}\nonumber\\&& + G^{(0)}_W\star \partial_{p_m} Q^{(0)}_W  \star G^{(0)}_W A_m \nonumber\\&&- \frac{i}{2}  G_W^{(0)}\ast \frac{\partial  Q^{(0)}_W}{\partial p_i} \ast G_W^{(0)} \ast \frac{\partial  Q^{(0)}_W}{\partial p_j} \ast G_W^{(0)}
A_{ij}\,.\nonumber
\end{eqnarray}
We rewrite Eq. (\ref{J3}) as follows:
\rev{\begin{eqnarray}
\langle J^k \rangle &=&  - T\, \int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \Big(\, G_W(p,x|y) e^{-\frac{i}{2} \overleftarrow{\partial}_{p_j}\overrightarrow{\partial_{p_i}}A_{ij}}\nonumber\\ && \ast \partial_{p_k} Q_W(p - { A}(y)- B(x)) \Big)_{y=x}\,,
\label{J31}
\end{eqnarray}}
 and obtain:
\rev{\begin{eqnarray}
\langle J^k \rangle  &\approx & - T\, \int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \, G^{(0)}_W(p,x) \ast \partial_{p_k}  Q^{(0)}_W(p,x)  \nonumber\\ && +  \frac{i T}{2}\, \int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \,  G^{(0)}_W\ast \frac{\partial  Q^{(0)}_W}{\partial p_i}\nonumber\\ && \ast G^{(0)}_W \ast \frac{\partial  Q^{(0)}_W}{\partial p_j} \ast G^{(0)}_W \ast \partial_{p_k} Q^{(0)}_W
A_{ij}\,.
\label{J32}
\end{eqnarray}}
\rv{The first term here is the equilibrium ground state current in the absence of electric field that according to the Bloch theorem vanishes (see \cite{Yamamoto} and references therein). It is worth mentioning that the general proof of this statement is absent in the framework of quantum field theory/condensed matter theory with relativistic spin - orbit interactions taken into account. We are aware of the clear proof of the Bloch theorem in the nonrelativistic quantum mechanics only. There may, in principle, be some marginal exclusions. However, we omit here consideration of such marginal cases and assume that the Bloch theorem in its conventional form is valid. In Appendix D we present the proof that the first term in Eq. (\ref{J32}) is the topological invariant, i.e. it is not changed when the system is modified smoothly. It complements the mentioned Bloch theorem and shows that this term remains constant (and is equal to zero according to the Bloch theorem) when the system is modified smoothly. Anyway, this term cannot contribute to the electric current of the QHE because it does not contain external electric field.  }

For $D=4$ the second term in this expression may be rewritten as
\begin{eqnarray}
\langle J^{k}\rangle  & \approx & \frac{\cal V}{4\pi^2}\epsilon^{ijkl} {\cal M}_{l} A_{ij}, \label{calM0}\,,\\
{\cal M}_l &=& \frac{1}{\int d^4 x}  \int_{} \,{\rm Tr}\, \nu_{l} \,d^4p d^4 x \nonumber \\
&=& \frac{T}{\cal V}  \int_{} \,{\rm Tr}\, \nu_{l} \,d^4p d^4 x \label{Ml} \,\nonumber \\
\nu_{l} & = &  \rev{-\frac{i}{3!\,8\pi^2}}\,\epsilon_{ijkl}\, \Big[  {G}_W \ast \frac{\partial {Q}_W}{\partial p_i}\ast \frac{\partial  {G}_W}{\partial p_j} \ast \frac{\partial  {Q}_W}{\partial p_k} \Big]_{A=0}\,, \nonumber
\end{eqnarray}
{where ${\cal V}$ is the spacial volumn of the system.}
It is worth mentioning, that in the present paper the star product of several functions $ f_1(p,x), f_2(p,x),...,f_n(p,x)$ should be understood as
$$
f_1 * f_2 * ... * f_n = [...[[f_1 * f_2] * f_3] * ... * f_n]\,.
$$
Here each operation $*$ acts within the nearest brackets only, that is the derivatives entering the star act only within those brackets. At the same time the property $[[f_1 * f_2] * f_3] = [f_1 * [f_2 * f_3]]$ {(the proof is given in Appendix H)} allows to move the brackets within the multiple products, and to write the product without brackets at all.
For the two - dimensional systems ($D=3$) we have:{
\begin{equation}
\langle J^{k} \rangle \approx \frac{\cal S}{4\pi}{\cal M} \epsilon^{ijk} A_{ij}\,,\label{JA2D0}
\end{equation}}
{where ${\cal S}$ is the area of the system.}
Here  ${\cal M}$ is the topological invariant in phase space
\begin{eqnarray}
{\cal M} &= &  \frac{1}{\int d^3 x} \int \,{\rm Tr}\, \nu_{} \,d^3p d^3x \nonumber\\
&= &  \frac{T}{\cal S} \int \,{\rm Tr}\, \nu_{} \,d^3p d^3x\, ,\nonumber
\\
\nu_{} & = &    \rev{-\frac{i}{3!\,4\pi^2}}\,\epsilon_{ijk}\, \Big[  {G}_W(p,x)\ast \frac{\partial {Q}_W(p,x)}{\partial p_i} \,,\nonumber\\ &&\ast \frac{\partial  {G}_W( p,x)}{\partial p_j} \ast \frac{\partial  {Q}_W(p,x)}{\partial p_k} \Big]_{A=0}  \label{calM2d2}\,.
\end{eqnarray}
The proof that Eq. (\ref{calM2d2}) is indeed the topological invariant is given in Appendix D. In the similar way it may be proved that Eq. (\ref{calM0}) represents the topological invariant. \rv{As it was mentioned above, for the validity of Eqs. (\ref{calM2d2}) and (\ref{calM0}) we need slowly varying potentials $A(x)$. This gives the two conditions: the magnitude of the external magnetic field is much smaller than thousands of Tesla, and the wavelength is much larger than the interatomic distance.}


\section{The alternative derivation of Hall conductivity for the case of constant magnetic field}

\label{Sect5}

Eqs. (\ref{calM0}) and (\ref{calM2d2}) consist the main result of our paper. It is worth mentioning that although we derived those expressions for lattice models, they remain valid for the continuous models as well.
Notice, that Eq. (\ref{calM2d2}) may be reduced to the TKNN invariant for the case of the electrons in crystals without interactions and with $Q(p) = i\omega  - {\cal H}(p_x,p_y)$, where $\cal H$ is the one - particle Hamiltonian. This occurs if either there is no external magnetic field or if it is  constant.
The case of continuum model (say, with ${\cal H}(p_x,p_y) = \frac{p_x^2+p_y^2}{2M}$) in the presence of constant magnetic field ${\cal B}$ (orthogonal to the plane of the given $2D$ system) is the simplest case, when Eq. (\ref{calM2d2}) is not reduced to the TKNN invariant. Below we illustrate our result by the consideration of such a system.

We choose the gauge, in which the gauge potential is
$$
B_x = 0, \quad B_y = {\cal B} x\,.
$$
External electric field ${\it E}_y$ corresponding to the gauge potential $A$ is directed along the axis $y$. The above derived expressions give the following expression for the electric current averaged over the area of the system:{
\begin{equation}
\langle j_{x} \rangle \approx \frac{\cal S}{2\pi}{\cal N} {\it E}_y\,.
\end{equation}}
Here the average Hall conductivity is given by \rev{$\sigma_{xy} = -{\cal N}/2 \pi$ (recall that $j_x = -\sigma_{xy} E_y$)} while ${\cal N}=i{\cal M}$ is the following topological invariant in phase space
\begin{eqnarray}
{\cal N}& = & {\frac{T}{3! 4\pi^2 {\cal S}}} \, \int \,{\rm Tr}\, d^3p \, d^3x\,   \epsilon_{ijk}\, \Big[  {G}_W(p,x)\ast \frac{\partial {Q}_W(p,x)}{\partial p_i} \nonumber\\&& \ast \frac{\partial  {G}_W( p,x)}{\partial p_j} \ast \frac{\partial  {Q}_W(p,x)}{\partial p_k} \Big]_{A=0}\,.
  \label{calM2d23_}
\end{eqnarray}

For the practical calculations in the given particular case it is more useful to represent this expression in terms of the Green function written in momentum representation:
\begin{eqnarray}
{\cal N} &=& {\frac{T(2\pi)^3}{3!\,4\pi^2{\cal S}}}\, \int \,{\rm Tr}\, d^3p^{(1)} \, d^3p^{(2)}\, d^3 p^{(3)} \, d^3 p^{(4)}\,       \epsilon_{ijk}\,\nonumber\\&& \Big[  {G}(p^{(1)},p^{(2)})\Big( [\partial_{p^{(2)}_i} + \partial_{p^{(3)}_i}] Q(p^{(2)},p^{(3)})\Big)\nonumber\\&&  \Big( [\partial_{p^{(3)}_j} + \partial_{p^{(4)}_j}]  G(p^{(3)},p^{(4)}) \Big) \nonumber\\&&\Big( [\partial_{p^{(4)}_k} + \partial_{p^{(1)}_k}] Q(p^{(4)},p^{(1)})\Big) \Big]_{A=0}\,.
  \label{calM2d23P_}
\end{eqnarray}
This representation has been deduced from Eq. (\ref{calM2d23_}) in  Appendix E. There also the transformation of Eq. (\ref{calM2d23P_}) to the following form has been derived:
{\begin{eqnarray}
{\cal N} &=&   -\frac{2\pi i}{\cal S}\,\sum_{n,k}   \, \epsilon_{ij}\,\Big[  \frac{ \langle n| [{\cal H}, {\hat x}_i] | k \rangle    \langle k | [{\cal H}, {\hat x}_j] | n \rangle }{({\cal E}_k - {\cal E}_n)^2} \Big]_{A=0}\nonumber\\&&\theta(-{\cal E}_n)\theta({\cal E}_k)\label{sigmaHH_}\,.
\end{eqnarray}}
By operator $\hat x$ we understand $i\partial_{p}$ acting on the the wavefunction written in momentum representation:
$$
\hat{x}_i \Psi(p) = \langle p|\hat{x}_i |\Psi\rangle = i\partial_p \langle p|\Psi\rangle = i \partial_p \Psi(p)\,.
$$
Eq. (\ref{sigmaHH_}) (divided by $2\pi$) is the standard expression for the Hall conductance that follows from Kubo formula. For completeness we present the derivation of Eq. (\ref{sigmaHH_})  from the Kubo formula in Appendix F (see also \cite{Tong:2016kpv,Landsteiner:2012kd}). The further calculation of Hall conductance using Eq. (\ref{sigmaHH_}) is also standard (see, for example, \cite{QHEB}). We give it in Appendix G. The result reads
{\begin{eqnarray}
{\cal N}
&=&  N \, {\rm sign}(-{\cal B})\,,
  \label{calM2d233}
\end{eqnarray}}
while $N$ is the number of the occupied branches of spectrum. This way we came to the conventional expression for the Hall resistivity of a  system of electrons with charge $-|e|$ in the presence of constant magnetic field ${\cal B} = - |e| B_z$ (directed along the $z$ axis) and constant electric field:
\rev{
$$
\rho_{xy} = \frac{e}{\sigma_{xy}} = \frac{2\pi \hbar }{e^2 N}\,{\rm sign}(B_z)\,.
$$
Here we restore the conventional units with $\hbar \ne 1$. Recall, that the resistivity tensor is related to the conductivity tensor as follows:
$$
\left(\begin{array}{cc} 0 & -\sigma_{xy} \\ \sigma_{xy} & 0\end{array}\right) = \left(\begin{array}{cc} 0 & \rho_{xy} \\  - \rho_{xy} & 0\end{array}\right)^{-1}\,.
$$
}

\section{Introduction of disorder and weak interactions}

\label{Sect6}

Let us discuss briefly the quantum Hall effect in the presence of disorder.
The total electric current integrated over the volume/area of the system remains the same as without impurities. Here we present the arguments in favor of this statement based on the considered above Wigner - Weyl formalism.

We consider the case of variable external field strength $A_{0j}$ corresponding to electric field $E$, and nonzero field $B(x)$ corresponding to a magnetic field. $D-1$ dimensional space of the given system is divided by a plane/line into two equal half - infinite pieces. In one of those two pieces $R^D_{+}$ the electric field is disordered while in the other piece $R^D_-$ it is perfectly constant and orthogonal to the mentioned dividing plane/line (let it be $y=0$ plane for definiteness). At the same time the electric potential vanishes at the space infinity.
Magnetic field corresponding to $B(x)$ may be arbitrarily inhomogeneous within $R^D_+$, but its structure is repeated within $R_-^D$, i.e. $B(-L+y) = B(y)$, where space infinity at $y = -\infty$ is regularized and given by $ y = -L$.

The total current \rv{(i.e. the current density integrated over the volume of the system)} is given by
\rv{\begin{eqnarray}
\langle J^k \rangle &=&  - T\, \int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \, G_W(p,x)\nonumber\\&& \star \partial_{p_k} Q_W(p - { A}(x)- B(x))  \label{J5} \\ &= & \langle J^k \rangle_{disordered} + \langle J^k \rangle_{constant}\,,
\label{J5_}
\end{eqnarray}}
and is equal to the sum of electric current in the first piece $R^D_-$ of the system $\langle J^k \rangle_{constant}$ and the total electric current in the disordered piece $R^D_+$: $\langle J^k \rangle_{disordered}$. \rv{Notice, that Eq. (\ref{J5}) works as long as the fields $A(x), B(x)$ do not vary too fast, i.e. when their variations on the distances of the order of lattice spacing may be neglected. For the external magnetic field this results in two bounds: its magnitude is much smaller than about $1000$ Tesla while its wavelength is much larger than several Angstroms. Electric potential should also not vary fast, and its variation is to be neglected on the distances of the order of lattice spacing. The electric potential of impurities typically satisfies this requirement. In the absence of screening we deal with the long - range Coulomb potential. The typical change of this potential on the distance of one lattice spacing may be neglected. The Debye screening introduces a correlation length that remains much larger than the interatomic distance.}

\rv{We consider the total electric current as the sum Eq. (\ref{J5_}) of the currents at $y<0$ and  at $y>0$. At $y<0$ (in $R_-^D$) we deal with the system in the presence of constant electric field, no impurities. In systems without disorder  there is the duality between the description of the IQHE in the bulk and along the boundary (see for example, \cite{Hatsugai2}). Namely, we may calculate the total bulk Hall current, and it will be equal precisely to the total boundary Hall current provided that the voltage is not strong enough. The bulk current density may be calculated as if there is no boundary at all. Now the system at $y<0$ does not have disorder, but it also does not have an ordinary boundary at $y=0$. As a result one calculates the total Hall current in it through the bulk expression. It is distributed homogeneously, and therefore one may neglect possible change in the current density close to the line $y = 0$.}

\rv{At $y>0$ the situation is drastically different. The disorder pushes the current density from the bulk. In principle at very weak disorder the part of the Hall current density may remain in the bulk. But the sufficiently strong disorder eliminates this part completely. The whole current density of the second piece of the system will be concentrated along the line $y=0$ and along the distant boundary at $y = + L \to +\infty$.}

Let us take for simplicity the two dimensional system. The consideration of the three - dimensional system is similar. \rv{As it was mentioned above,} considering the piece of space with constant electric field we may neglect boundary effects, and obtain
\begin{equation}
\langle J^{k} \rangle_{constant} \approx \frac{\cal V}{2\pi}{\cal N} \epsilon^{kj} E_{j}\label{cur}
\end{equation}
where ${\cal N}$ is given by Eq. (\ref{calM2d23P_}) with the integral over the corresponding half of space. \rv{$\cal V$ is its volume. Eq. (\ref{cur}) is the linear response to external electric field that remains valid since at $y < 0$ there is no disorder.}

%Next, we will use that Eq. (\ref{J5}) is the topological invariant. We assume, that the external electric field is weak. This weakness means, in particular, that we may turn it off smoothly without changing of the total value of Eq. (\ref{J5}).  Then, in the absence of the persistent current (that is not caused by the external electric field), the total electric current in the whole space is zero. Therefore, the total electric current in $R^D_+$ is equal to the electric current in $R^D_-$ with the sign minus.

\rv{The key point is that Eq. (\ref{J5}) (that is the sum of currents at $y<0$ and $y>0$) is the topological invariant. This allows us to relate the total current at $y>0$ to the external electric field without consideration of the linear response in this region. Since Eq. (\ref{J5}) is the topological invariant, we may change smoothly the external electric field, and the value of Eq. (\ref{J5}) will not be changed. This way we may turn off completely the electric field. At vanishing electric field the Hall current is absent. This proves that Eq. (\ref{J5}) gives vanishing total current. As a result, when the electric field is on, the  sum of the currents at $y<0$ and $y>0$ is zero.
We come to the following expression for the electric current in the disordered piece of space $R^D_+$:
\begin{equation}
\langle J^{k} \rangle_{disordered} \approx \frac{\cal V}{2\pi}{\cal N} \epsilon^{kj} \langle E_{j} \rangle\,.\label{disorder}
\end{equation}
Here ${\cal N}$  is given by Eq. (\ref{calM2d23P_}), where integration is over $R^D_+$. It is equal precisely to the similar expression for $R^D_-$. The value of $\langle E_{j} \rangle$ is the average value of electric field in $R^D_+$ that is equal to the constant electric field in $R^D_-$ with the sign minus. Eq. (\ref{disorder}) looks like the linear response to the electric field, but it is not the linear response to the total electric field including the electric field created by impurities. This is the response to the external constant electric field. }


These  simple considerations give strong arguments in favor of the statement that although due to disorder the local current density may be concentrated to a large extent close to the boundary, the total integrated value of Hall conductivity remains the same as without disorder and is given by the topological invariant in phase space defined above. \rv{For the more detailed discussion of the role of disorder see \cite{Fradkin,TKNN2,QHEr,Tong:2016kpv} and references therein.}

%\rev{We imply here, that the region $R^D_+$ models the separate sample with disorder placed in external electric field. This occurs if the energies of all energy levels grow when the boundary is approached. The consideration becomes more involved, when a part of the energy levels decrease close to the boundaries of the sample as in the case of graphene. Then due to disorder the Hall current vanishes if all energy levels below Fermi energy decrease close to the boundaries (for graphene this corresponds to the half filling).}

Finally, let us discuss briefly the role of interactions. As an example let is consider exchange by virtual photons in the three - dimensional systems. They may be taken into account as the fluctuations $\delta A$ of the gauge field $A$ within Euclidean theory. \rv{Let us explore here the following hypothesis: at the sufficiently weak $\alpha$ (effective fine structure constant in medium) we are able to integrate in the functional integral only over the weak configurations of $\delta A$, which may be considered on the same grounds as the weak disorder in the above Eq. (\ref{disorder}).}  The electric current is then given by
\begin{eqnarray}
\langle J^{k}\rangle  & = &{\cal V} \langle j^{k}\rangle =  \frac{\cal V}{4\pi^2}\epsilon^{ijkl} \int  D \delta A\, e^{-S[\delta A]}{\cal M}_{l}\nonumber\\&& \int \frac{d^4 x}{\beta {\cal V}} \, \Big(i 2\delta^{i}_4 E_{j}+\partial_{[i} \delta A_{j]}(x)\Big)
\end{eqnarray}
where $\cal M$ is given by Eq. (\ref{calM0}) while $\cal V$ is the total volume of the system, $\beta = 1/T$. (We assume the limit of large $\cal V$ and $\beta$.) $S[\delta A]$ is the effective action in medium for the dynamical photon field $\delta A$. The integration measure $D \delta A$ is chosen in such a way that $\int D\delta A e^{-S[\delta A]}=1$. Without loss of generality we may assume, that the periodical boundary conditions are applied to $A$.
This gives
\begin{eqnarray}
\langle j^{k}\rangle  & \approx & \frac{i}{2\pi^2}\epsilon^{kjl4} \, {\cal M}_{l} \langle E_{j}\rangle\,.
\end{eqnarray}
Thus modulo the above assumption about the smallness and smoothness of $\delta A$ in the functional integral, the exchange by virtual photons does not affect Hall conductance.
The consideration of the other interactions like the phonon exchange is more complicated and requires modification of the above formalism. This remains out of the scope of the present paper. We refer here to the previous studies of the role of interactions in the Quantum Hall Effect: \cite{nocorrectionstoQHE,Altshuler0,Altshuler,AQHE_no_corr,corr_WSM1,corr_WSM2,2DTI_corr,Tang2018_Science}.
The role of interactions in the intrinsic Anomalous Quantum Hall effect has been discussed in \cite{ZZ2019}.



\section{Conclusions}

\label{SectConcl}

\rev{In the present paper we derive the representation of Hall conductivity as the topological invariant in phase space composed of the Wigner transformed Green functions. Our main result is given by the following expressions for the average Hall current (i.e. the current density integrated over the whole volume divided by this volume and averaged with respect to time}) in the presence of the external electric field $E_i$:
\rev{\begin{eqnarray}
\langle j^{k}\rangle   =  \frac{1}{2\pi^2}\epsilon^{kjl4} {\cal N}_{l} E_{j} \label{calM0C},\, {\cal N}_l =  - \frac{T\epsilon_{ijkl}}{{\cal V}\, 3!\,8\pi^2}\ \int d^4 x d^4p \,{\rm Tr}\,  \Big[  {G}_W(p,x) \ast \frac{\partial {Q}_W(p,x)} {\partial p_i}\ast \frac{\partial  {G}_W(p,x)}{\partial p_j} \ast \frac{\partial  {Q}_W(p,x)}{\partial p_k} \Big] \end{eqnarray}
for the $3+1$D system (here $\cal V$ is the overall volume)}, and
\rev{\begin{eqnarray}
\langle j^{k} \rangle =  \frac{1}{2\pi} {\cal N} \epsilon^{3kj} E_{j}\label{JA2D0C},\,
{\cal N} =    \frac{T\epsilon_{ijk}}{{\cal S}\,3!\,4\pi^2} \int d^3p  d^3x     \, {\rm Tr}  \, \Big[  {G}_W(p,x)\ast \frac{\partial {Q}_W(p,x)}{\partial p_i} \ast \frac{\partial  {G}_W( p,x)}{\partial p_j} \ast \frac{\partial  {Q}_W(p,x)}{\partial p_k} \Big]
\end{eqnarray}
for the $2+1$ D system (here $\cal S$ is the area of the system)}.
 Those expressions may be used both for the description of the intrinsic AQHE and for the description of the QHE in the presence of magnetic field. These expressions represent the average conductivity and are robust to the introduction of weak disorder. More explicitly, when a certain measure of disorder $\eta$ is increased smoothly starting from zero, the average Hall conductivity is not changed until a phase transition. Direct definition of $\eta$, and establishing of its critical value remains out of the scope of the present paper.   We also find indications that the total conductance is robust to the introduction of weak electromagnetic interactions. The mathematical structure of Eqs. (\ref{calM0C}), (\ref{JA2D0C}) repeats that of the topological invariants discussed in \cite{Volovik2003} with the ordinary product of matrices substituted by the star (Moyal) product of Wigner - Weyl formalism.

The main advantage of the obtained expressions for the average conductivity is that they are written in terms of the Green functions. We present strong arguments in favor of the point of view that disorder does not affect those expressions while the only effect of (weak) interactions is the modification of those two - point Green functions - we should substitute the ones of the interacting system. Earlier this result has been obtained for the homogeneous systems (see \cite{Matsuyama:1986us,Volovik0,Volovik2003,Z2016_1}) like the ones with the AQHE. Here it is extended to the inhomogeneous system in the presence of the arbitrarily varying magnetic field. Our formulas allow to show, in particular, that the average Hall conductivity is not changed when this magnetic field is modified smoothly (unless the topological phase transition is encountered). Therefore, the calculation of Hall conductance for the complicated configuration of magnetic field may be reduced to that of the more simple magnetic field profile.

 \rv{It is worth mentioning, that the Coulomb interactions in the case of sufficiently pure systems give rise to the fractional version of the QHE, which is out of the scope of the present paper. However, we expect, that the Wigner - Weyl formalism may be relevant for its description as well (see, e.g. \cite{Susskind,noncommutative}).}

The approach of \cite{Z2016_1} has been applied also for the investigation of the other non - dissipative currents (for the review see \cite{ZKA2018,ZK2018}). In this way the Chiral Separation Effect \cite{KZ2017}, the Chiral Vortical Effect \cite{AKZ2018}, and the Chiral Torsional Effect \cite{KZ2018} were related to the topological invariants. The methodology of the present paper may also be extended to those non - dissipative transport effects for the non - homogeneous systems, i.e. the systems with the arbitrarily varying magnetic field, rotation velocity, emergent torsion correspondingly. Finally, we would like to mention that another formulations of Wigner - Weyl formalism in lattice models have been proposed by various authors (see, for example, \cite{buot,buot0,buot1,kaspersky} and references therein).



The authors are grateful to M.Suleymanov and Chunxu Zhang for useful discussions, and to I.Fialkovsky for careful reading of the manuscript and useful comments.



\section*{Appendix A. Weyl symbol of Wilson Dirac operator}

\rv{In \cite{SZ2018} the Weyl symbol of  $\hat{Q} = Q(p-A(i\partial_p))$ \rev{(for the field $A(x)$ that varies slowly, i.e. if its variation at the distance of the order of lattice spacing is negligible)}  was calculated for the case of the so - called Wilson fermions (in four space - time dimensions) with
\begin{equation} \begin{aligned}
\hat{Q}({ p}) =\sum_{k=1,2,3,4} \gamma^k g_k ({ p})-im({ p})
\label{WF}\end{aligned} \end{equation}
where $\gamma^k$ are Euclidean $4\times 4$ Gamma - matrices. The corresponding spinors are four - component. Functions $g_k$ and $m$ are given by
\begin{equation} \begin{aligned}
g_k({ p})=\sin( p_k) \quad\quad m({ p})=
m^{(0)}+\sum_{\nu=1}^4 (1-\cos(p_\nu))\,.
\label{Z}\end{aligned} \end{equation}
We obtain
\begin{equation} \begin{aligned}
\Big[{Q}({p}-A(i{\partial_{ p}}))\Big]_W =\sum_{k=1,2,3,4} \gamma^k {\rm sin} ( p_k - {\cal A}_k({\bf x}))\\-i (m^{(0)}+\sum_{\nu=1}^4 (1-\cos(p_\nu - {\cal A}_{\nu}({\bf x}))))
\label{WF}\end{aligned} \end{equation}
where $\cal A$ is the following transformation of electromagnetic field:
\begin{equation}
{\cal A}_\mu({ x}) =  \int \big[\frac{\sin(k_{\mu}/2)}{k_{\mu}/2}\tilde A_\mu({ k})e^{i{ kx}}+c.c. \big]dk \label{calA}
\end{equation}
while the original electromagnetic field had the form:
$${A}_\mu({\bf x}) =  \int \big[\tilde A_\mu({k})e^{i{kx}}+c.c. \big]dk\,. $$
that is
$$
\tilde{A}(p) =  \frac{1}{|{\cal M}|}\sum_{x_n }  { A}(x_n)e^{-i{ k x_n}}
$$
In coordinate space we have
\begin{eqnarray}
{\cal A}_j(x) &=&  \int \big[\frac{\sin(k_j/2)}{k_j/2}\tilde A_j(k)e^{i { kx}}\big]dk\nonumber\\
&=&  \frac{1}{|{\cal M}|}\sum_{y_n} \int \big[\frac{\sin(k_j/2)}{k_j/2}{ A}_{j}(y_n)e^{-i{ky_n}}e^{i {kx}}\big]dk
\nonumber\\
&=& \sum_{y_n}{ A}_{j}(y_n) \int_{-1/2}^{1/2}dz \int \big[e^{i (k_{j}z + kx - ky_n)} \big] \frac{dk}{|{\cal M}|}\nonumber\\
&=& \sum_{y_n}{ A}_{j}(y_n) {\cal D}(x-y_n)
\end{eqnarray}
where
$$
{\cal D}(x) = \int_{-1/2}^{1/2}dz \int \big[e^{i( k_j z + kx)} \big] \frac{dk}{|{\cal M}|}
$$
One may check via the direct substitution, that
\begin{eqnarray}
{\cal A}_j(x) &=&  \int^{1/2}_{-1/2} {A}_j(x + e^{(j)}u) du
\end{eqnarray}
where $e^{(j)}$ is the unity vector in the $j$ - th direction:
\begin{eqnarray}
{\cal A}_j(p) & = & \frac{1}{|{\cal M}|}\sum_{x_n} {\cal A}_j(x_n) e^{-ip x_n}\nonumber \\ &=&  \frac{1}{|{\cal M}|}\int^{1/2}_{-1/2}du \sum_{x_n} { A}_{j}(x_n + e^{(j)}u)e^{-i p x_n}  \nonumber\\ &=&  \int^{1/2}_{-1/2}du \frac{dq}{|{\cal M}|} \sum_{ x_n} { A}_j(q) e^{-i p x_n + i q  (x_n + e^{(j)}u)} \nonumber\\
&=&  \int^{1/2}_{-1/2}du  {dq} \delta(p - q ) \tilde{ A}_j(q) e^{ i q   e^{(j)}u}\nonumber\\
&=&  \int^{1/2}_{-1/2}du   \tilde{ A}_{j}(p) e^{ i p   e^{(j)}u}
\nonumber\\
&=&     \tilde{ A}^{(j)}(p) \frac{{\rm sin} (p   e^{(j)}/2)}{(p   e^{(j)}/2)}\label{Str}
\end{eqnarray}
Therefore, in coordinate space we have
\begin{equation}
{\cal A}_\mu(x_1,...,x_\mu,...,x_D) =  \int^{x_\mu+1/2}_{x_\mu-1/2} A_\mu(x_1,...,y_\mu,...,x_D) dy_\mu \,.\label{calA2}
\end{equation}
Here coordinates $x_n$ are taken in lattice units, in which the lattice spacing is equal to unity.
Since the field $A$ is slowly varying, i.e. it almost does not vary on the distance of the order of the lattice spacing, in practical calculations we may substitute to our expressions $A$ instead of $\cal A$. For the real solid state systems the meaning of the slow variation of $A$ is that the magnitude of the external magnetic field is much smaller than thousands of Tesla (the condition that is always fulfilled in practise), and that the wavelength of the external field is much smaller than the lattice spacing. The latter condition corresponds to the wavelengths much larger than several Angstroms, i.e. the above expression for the Weyl symbol (and its extensions to more realistic lattices) cannot not be valid for matter interacting with the X rays. }

\section*{Appendix B. Electric current expressed through the Wigner transformed Green function}

Here we present the proof of the expression for the electric current in the considered lattice model. A slightly different derivation of this expression may be found in \cite{Z2016_1}.
Let us consider the variation of the partition function
\rev{\begin{eqnarray}
\delta {\rm log} \,Z &=&- \frac{1}{Z}
\int D\bar{\psi}D\psi \, {\rm exp}\Big(  {\bf Tr} \hat{W}[\psi,\bar{\psi}] \hat{Q}(p - { A}(i\frac{\partial}{\partial p}))) \Big) \nonumber\\ && \int dx \int \frac{dp}{(2\pi)^D} {\rm Tr} {W}_W[\psi,\bar{\psi}](p,x)\nonumber\\ && \star \partial_{p_k} Q_W(p - { A}(x))\delta{ A}_k(x)\,. \label{dZ2}
\end{eqnarray}}
The total average current \rev{(i.e. the current density integrated over the whole volume of the system)} appears as the response to the variation of $A$ that does not depend on coordinates:
\begin{eqnarray}
\langle J^k \rangle &=&  -\frac{T}{Z}
\int D\bar{\psi}D\psi \, {\rm exp}\Big(  {\bf Tr} \hat{W}[\psi,\bar{\psi}] \hat{Q}(p - { A}(i\frac{\partial}{\partial p})) \Big) \nonumber\\ && \int d^D x \, \int d^D p\, {\rm Tr} {W}_W[\psi,\bar{\psi}](p,x) \star \partial_{p_k} Q_W(p - { A}(x)) \nonumber\\ &=& -T\, \int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \, G_W(p,x) \star \partial_{p_k} Q_W(p - { A}(x))\,.\label{J}
\end{eqnarray}
The properties of the star product allow to rewrite the last equation in the following way:
\rev{\begin{eqnarray}
\langle J^k \rangle &=& - T\, \int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \, G_W(p,x) \partial_{p_k} Q_W(p - { A}(x)) \nonumber\\ &=&   - T\, {\bf Tr} \, \hat{G} \partial_{p_k} {\cal Q}(p - {A}(i\partial_{p})) \,. \label{J2}
\end{eqnarray}}
The last three expressions for the total current are the topological invariants, i.e. the total current is not changed when the system is modified continuously. This may be checked via the consideration of the variation of
Eq. (\ref{J}) corresponding to the variation of $\cal Q$.

\section*{Appendix C. Anomalous QHE. Factorization of topological invariants}

\rv{Let us consider the case, when the fermions are in the presence of Abelian gauge field $A_{i}$. Let us then expand the expression for the electric current density $\langle j^k \rangle$ (the average is understood as an integral over the fermion field) in powers of the external  field strength $A_{ij}$ of $A_i$ and its derivatives. Next, if the coefficient in front of the field strength $A_{ij}$ does not depend on coordinates, then this coefficient is in itself the topological invariant because the integral $\int d^D x A_{ij}$ is not changed, when the gauge potential $A$ is modified smoothly in a finite region of space:}
$$
\delta \int d^D x A_{ij} = \int d^D x \delta A_{ij}  = 0\,.
$$
Here $\delta A \to 0$ at infinity.

This way for $D=3$ we come to the following result for the part of the current proportional to $A_{ij}$:
\begin{equation}
\langle j^{k} \rangle \approx \frac{1}{4\pi}{\cal M}^{ijk} A_{ij}\,.
\end{equation}
Tensor ${\cal M}^{ijk}$ is the topological invariant in momentum space, which was calculated  in \cite{Z2016_1}. The obtained result is
\rev{\begin{eqnarray}
{\cal M}^{ijk} &= & \epsilon^{ijk} {\cal M},\quad  {\cal M} = \int \,{\rm Tr}\, \nu_{} \,d^3p \label{j2d00}\\ \nu_{} & = &  - \frac{i}{3!\,4\pi^2}\,\epsilon_{ijk}\, \Big[  {G}(p) \frac{\partial {G}^{-1}(p)}{\partial p_i} \frac{\partial  {G}( p)}{\partial p_j} \frac{\partial  {G}^{-1}(p)}{\partial p_k} \Big]\,. \nonumber
\end{eqnarray}}
For $D=4$  we obtain
\rev{\begin{eqnarray}
\langle j^{k}\rangle  & \approx & \frac{1}{4\pi^2}\epsilon^{ijkl} {\cal M}_{l} A_{ij}, \label{calM}\\
{\cal M}_l &=& \int_{} \,{\rm Tr}\, \nu_{l} \,d^4p \,.\nonumber \\ \nu_{l} & = & - \frac{i}{3!\,8\pi^2}\,\epsilon_{ijkl}\, \Big[  {G} \frac{\partial {G}^{-1}}{\partial p_i} \frac{\partial  {G}}{\partial p_j} \frac{\partial  {G}^{-1}}{\partial p_k} \Big]  \nonumber\,.
\end{eqnarray}}
Here $G(p)$ is the one - particle Green function of the system without external electric field. It depends on the conserved momentum $p$. \rv{This expression has been used in \cite{Z2016_1} in order to derive the expression for the AQHE in certain topological insulators. The result is expressed through the vectors of the reciprocal lattice. (It also has been obtained earlier in \cite{VolovikTI3D} using another method.) }


\section*{Appendix D. Topological invariant in phase space}

In \cite{Z2016_1} the proof that Eq.(\ref{j2d00}) is the topological invariant was presented. Here we extend this proof to the case of the topological invariant in phase space discussed in the main text of the present paper. \rv{Let us first give the proof for the simplest case of the first term in Eq. (\ref{J32}). We denote it  $J^{(0)}$.  Let us consider an arbitrary variation of the Green function:
${\cal G} \rightarrow {\cal G} + \delta {\cal G}$.
Then using Eq. (\ref{Lbr}), Eq. (\ref{QdG}), and Eq. (\ref{cytr}) we obtain
\begin{eqnarray}
&&\delta J^{(0)k}=
- T\, \delta\int d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} \, G^{(0)}_W(p,x) \ast \partial_{p_k}  Q^{(0)}_W(p,x)\nonumber\\
&&=- T\,\delta \int_{} \, d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} G_W* \partial_{p_k}  Q_W \nonumber\\
&&= - T\,\int_{} \,d^D x \, \int \frac{d^D p}{(2\pi)^D}\, {\rm Tr} (\delta G_W * \partial_{p_k}  Q_W+G_W* \partial_{p_k}  \delta Q_W)
\nonumber\\
&&=- T\, \int_{} \, d^D x \, \int \frac{d^D p}{(2\pi)^D}\,{\rm Tr} (-G_W* \delta Q_W * G_W  * \partial_{p_k}  Q_W+G_W* \partial_{p_k}  Q_W)\nonumber\\
&&=- T\, \int_{} \, d^D x \, \int \frac{d^D p}{(2\pi)^D}\,{\rm Tr} (\delta Q_W * \partial_{p_k}  G_W +G_W * \partial_{p_k}  \delta Q_W)\nonumber\\
&&= - T\,\int_{}d^D x \, \int \frac{d^D p}{(2\pi)^D} \, \partial_{p_k} \, {\rm Tr} (\delta Q_W *  G_W)=0\,,
\end{eqnarray}
The last step follows because of the compactness of $p$ space.}

Similarly the expression
for ${\cal M}$ of the main text is changed as follows:
\begin{eqnarray}
&&  \delta {\cal M}   = \rev{-}
  \frac{3\,i\,T}{24  \pi^2\, {\cal V}} \, \int_{} \, {\rm Tr} \Bigl( \Bigl([\delta G_W]\star
  d  Q_W+G_W \star
  d  [\delta Q_W]\Bigr)\nonumber\\&& \star \wedge G_W \star
  d  Q_W \star \wedge G_W \star
  d  Q_W\Bigr)\,d^3 x\nonumber\\&&=\rev{-}\frac{3\,i\,T}{24  \pi^2\, {\cal V}} \int_{} {\rm Tr} \Bigl( \Bigl(-
G_W\star [\delta Q_W]\star G_W \star
  d  Q_W+G_W \star
  d  [\delta Q_W]\Bigr)\nonumber\\ && \star \wedge G_W \star
  d  Q_W \star \wedge G_W \star
  d  Q_W\Bigr)\, d^3 x \nonumber\\&&=
\frac{3\,i\,T}{24  \pi^2\, {\cal V}} \int_{} {\rm Tr} \Bigl(
\Bigl([\delta Q_W] \star [dG_W] +
  d  [\delta Q_W]\star G_W\Bigr)\nonumber\\ && \star \wedge
  d  Q_W \star \wedge
  d  G_W\Bigr)\, d^3 x\nonumber\\&&=
\frac{3\,i\,T}{24  \pi^2\, {\cal V}} \int_{} d \, {\rm Tr} \left(
\Bigl([\delta Q_W] \star G_W] \Bigr)
 \star d  Q_W\star \wedge
  d  G_W\right) \,d^3 x = 0 \nonumber\,.
\end{eqnarray}
\rv{The exterior differentiation is defined here as usual antisymmetric differentiation, which is not affected by the $\star$ product:
\begin{eqnarray}
	dA_W \star\wedge dB_W \star\wedge ... \wedge dC_W = \frac{\partial A_W}{\partial p_{\mu}} \star \frac{\partial B_W}{\partial p_{\nu}} ... \star\frac{\partial C_W}{\partial p_{\rho}} dp_\mu \wedge dp_\nu \wedge ... \wedge dp_\rho
\end{eqnarray}}
%We used here the cyclic property of traces, i.e. that $\int d^3 x d^3 p {\rm Tr} A_W\star B_W = \int d^3 x d^3 p {\rm Tr} B_W\star A_W$. It follows from the corresponding cyclic property of the trace of the operator product:  $\int d^3 x d^3 p {\rm Tr} A_W\star B_W \sim {\bf Tr} \hat{A} \hat{B} = {\bf Tr} \hat{B} \hat{A}$.
%That's {how} we proved that ${\cal M}$ is the topological invariant.




\section*{Appendix E. Ordinary Quantum Hall effect in the $2D$ noninteracting system with a one - particle Hamiltonian}


Here we discuss the Hall conductance that according to the main text is given by $\sigma_{xy} = {\cal N}/2 \pi$ where ${\cal N}$ is the topological invariant in phase space
\rev{\begin{eqnarray}
{\cal N} &= & \frac{T}{3!\,4\pi^2{\cal S}}\, \int \,{\rm Tr}\, d^3p \, d^3x\,   \epsilon_{ijk}\, \Big[  {G}_W(p,x)\ast \frac{\partial {Q}_W(p,x)}{\partial p_i} \nonumber\\ && \ast \frac{\partial  {G}_W( p,x)}{\partial p_j} \ast \frac{\partial  {Q}_W(p,x)}{\partial p_k} \Big]_{A=0}\,.
  \label{calM2d23}
\end{eqnarray}}
Our aim is to derive starting from Eq. (\ref{calM2d23}) the following representation for $\cal N$ in terms of the Green function written in momentum representation:
\rev{\begin{eqnarray}
{\cal N} &=&  \frac{T \,(2\pi)^3}{3!\,4\pi^2{\cal S}}\, \int \,{\rm Tr}\, d^3p^{(1)} \, d^3p^{(2)}\, d^3 p^{(3)} \, d^3 p^{(4)}\,       \epsilon_{ijk}\,\nonumber\\&& \Big[  {G}(p^{(1)},p^{(2)})\Big( [\partial_{p^{(2)}_i} + \partial_{p^{(3)}_i}] Q(p^{(2)},p^{(3)})\Big)\nonumber\\ &&  \Big( [\partial_{p^{(3)}_j} + \partial_{p^{(4)}_j}]  G(p^{(3)},p^{(4)}) \Big)\nonumber\\ && \Big( [\partial_{p^{(4)}_k} + \partial_{p^{(1)}_k}] Q(p^{(4)},p^{(1)})\Big) \Big]_{A=0}\,.
  \label{calM2d23P}
\end{eqnarray}}
In order to derive this representation we first represent   $\partial_{p^i}G_W$ as follows:
{\begin{eqnarray}
	&&\frac{\partial}{\partial p^i}G_W(p,x)=\frac{\partial}{\partial p^i}\int d^3P~e^{iPx}G\Big(p+\frac{P}{2},p-\frac{P}{2}\Big)
	\\
	&&=\int d^3P~e^{iPx}\Big(\frac{\partial}{\partial K_1^i }+\frac{\partial}{\partial {K_2^i} })G(K_1,K_2)\Big|_{K_1=p+\frac{P}{2}}^{K_2=p-\frac{P}{2}}\,,\nonumber
\end{eqnarray}}
where we used
$$
	\frac{\partial}{\partial {p^i} }
	=\frac{\partial K_1^j}{\partial {p^i} }\frac{\partial}{\partial {K_1^j} }+\frac{\partial K_2^j}{\partial {p^i} }\frac{\partial}{\partial {K_2^j} }	=\frac{\partial}{\partial {K_1^i} }+\frac{\partial}{\partial {K_2^i} }\,.
$$
We denote
{
$$
	G'_i\Big(p+\frac{P}{2},p-\frac{P}{2}\Big)=\Big(\frac{\partial}{\partial {K_1^i} }+\frac{\partial}{\partial {K_2^i} }\Big)G(K_1,K_2)\Big|_{K_1=p+\frac{P}{2}}^{K_2=p-\frac{P}{2}}\,,
$$
for convenience. So $\partial_{p^i}G_W$ becomes
\begin{eqnarray}
	\partial_{p^i}G_W=(G'_i)_W\,.
\end{eqnarray}}
Next we can compute $G_W*\partial_{p^i}Q_W$.
$$
	Q_W*\partial_{p^i}G_W=(QG'_i)_W=\int d^3P~e^{iPx}(QG_i')\Big(p+\frac{P}{2},p-\frac{P}{2}\Big)\,,
$$
in which
$$
	(QG_i')\Big(p+\frac{P}{2},p-\frac{P}{2}\Big) =\int\frac{d^3p'}{(2\pi)^3}~G\Big(p+\frac{P}{2},p'\Big)$$$$\Big(\frac{\partial}{\partial {p'^i} }+\frac{\partial}{\partial {K_2^i} }\Big)Q(p',K_2)\Big|_{K_2=p-\frac{P}{2}}\,.
$$

Using the associativity of $*$-product, similarly we have
{
\begin{eqnarray}
	&&{Q}_W(p,x)\ast \frac{\partial {G}_W(p,x)}{\partial p_i} \ast \frac{\partial  {Q}_W( p,x)}{\partial p_j} \ast \frac{\partial  {G}_W(p,x)}{\partial p_k} \nonumber
	\\
	&&=(QG'_iQ'_jG'_k)_W\nonumber
	\\
	&&=\int d^3P~e^{iPx}(QG'_iQ'_jG'_k)\Big(p+\frac{P}{2},p-\frac{P}{2}\Big)\,.
	\nonumber
\end{eqnarray}}
Integrating over $x$ and $P$, inserting the completeness relation $1=\int\frac{d^3p_i}{(2\pi)^3}| p_i \rangle \langle p_i |$, we transform the expression for  ${\cal N}$ into the form of
Eq.(\ref{calM2d23P}).

Our next purpose is to bring Eq. (\ref{calM2d23P}) to the conventional expression for the Hall conductance in the case, when
the non - interacting charged fermions with Hamiltonian ${\cal H}(p_x,p_y)$ are in the presence of constant external magnetic field ${\cal B}$ orthogonal to the plane of the given $2D$ system.
We use the gauge, in which the gauge potential is
$$
B_x = 0, \quad B_y = {\cal B} x\,.
$$
External electric field ${\it E}_y$ corresponding to the gauge potential $A$ is directed along the axis $y$.

Function $Q(p^{(1)},p^{(2)})$ in momentum space has the form:
$$
Q(p^{(1)},p^{(2)}) = \langle p^{(1)}| \hat{Q} | p^{(2)}\rangle = \delta^{(3)} (p^{(1)}-p^{(2)}) i \omega^{(1)} $$$$ - \langle {\bf p}^{(1)}| {\cal H} | {\bf p}^{(2)}\rangle \delta(\omega^{(1)}-\omega^{(2)})
$$
where $p = (p_1,p_2,p_3) = ({\bf p},\omega)$. At the same time
$$
G(p^{(1)},p^{(2)}) = \sum_{n} \frac{1}{i\omega^{(1)} - {\cal E}_n} \langle {\bf p}^{(1)}| n \rangle \langle n | {\bf p}^{(2)}\rangle \delta(\omega^{(1)}-\omega^{(2)})\,.
$$
This way we obtain:
\rev{\begin{eqnarray}
&&{\cal N} =  - \frac{i\,(2\pi)^2}{8\pi^2{\cal S}}\,\sum_{n,k} \int \,d \omega  d^2{\bf p}^{(1)} \, d^2{\bf p}^{(2)}\, d^2 {\bf p}^{(3)} \, d^2 {\bf p}^{(4)}\,       \nonumber\\ && \epsilon_{ij}\,{\rm Tr}\,\Big[  \frac{1}{(i\omega^{} - {\cal E}_n)^2} \langle {\bf p}^{(1)}| n \rangle \langle n | {\bf p}^{(2)}\rangle \nonumber\\ && \Big( [\partial_{p^{(2)}_i} + \partial_{p^{(3)}_i}] \langle {\bf p}^{(2)}| {\cal H} | {\bf p}^{(3)}\rangle\Big)  \nonumber\\&& \frac{1}{(i\omega^{} - {\cal E}_k)} \langle {\bf p}^{(3)}| k \rangle \langle k | {\bf p}^{(4)}\rangle  \Big( [\partial_{p^{(4)}_j} + \partial_{p^{(1)}_j}]  \langle {\bf p}^{(4)}| {\cal H} | {\bf p}^{(1)}\rangle \Big) \Big]_{A=0}\,.\nonumber
\end{eqnarray}}
One may represent
$$
[\partial_{p^{(4)}_j} + \partial_{p^{(1)}_j}]  \langle {\bf p}^{(4)}| {\cal H} | {\bf p}^{(1)}\rangle% =\langle  {\bf p}^{(4)} | \frac{\partial }{\partial {\hat{p}^{i}}}{\cal H} | {\bf p}^{(1)} \rangle
= i   \langle {\bf p}^{(4)}| {\cal H} {\hat x}_j -{\hat x}_j{\cal H}   | {\bf p}^{(1)}\rangle$$$$
 = i \langle {\bf p}^{(4)}| [{\cal H}, {\hat x}_j]| {\bf p}^{(1)}\rangle\,.
$$
By operator $\hat x$ we understand $i\partial_{p}$ acting on the the wavefunction written in momentum representation:
$$
\hat{x}_i \Psi(p) = \langle p|\hat{x}_i |\Psi\rangle = i\partial_p \langle p|\Psi\rangle = i \partial_p \Psi(p)\,.
$$
Then, for example, $$\hat{x}_i \delta(q-p) = \langle p|\hat{x}_i |q\rangle = i\partial_p \langle p|q \rangle = i \partial_p \delta(p-q) = -i \partial_q \langle p|q \rangle \,.$$
Therefore, we can write
$$
\hat{x}_i |p\rangle = -i\partial_p |p \rangle\,.
$$
Notice, that the sign minus here is counter - intuitive because the operator $\hat x$ is typically associated with $+i\partial_p$. We should remember, however, that with this latter representation the derivative acts on $p$ in the bra - vector $\langle p| $ rather than on $p$ in $| p \rangle$. Above we have shown that the sign is changed when the derivative is transmitted to $p$ of $| p \rangle$.

Thus we have
\rev{\begin{eqnarray}
{\cal N} &=&  \frac{i\,(2\pi)^2}{8\pi^2{\cal S}}\,\sum_{n,k} \int \,d \omega  \, \epsilon_{ij}\,\Big[  \frac{1}{(i\omega^{} - {\cal E}_n)^2}  \langle n| [{\cal H}, {\hat x}_i] | k \rangle \nonumber\\ && \frac{1}{(i\omega^{} - {\cal E}_k)}  \langle k | [{\cal H}, {\hat x}_j] | n \rangle  \Big]_{A=0}\nonumber\\
&=& - \frac{2i\,(2\pi)^3}{8\pi^2{\cal S}}\,\sum_{n,k}   \, \epsilon_{ij}\,\Big[  \frac{1}{({\cal E}_k - {\cal E}_n)^2} \nonumber\\ && \langle n| [{\cal H}, {\hat x}_i] | k \rangle    \langle k | [{\cal H}, {\hat x}_j] | n \rangle  \Big]_{A=0}\theta(-{\cal E}_n)\theta({\cal E}_k)\,.\label{sigmaHH}
\end{eqnarray}}
The last expression is just the conventional expression for the Hall conductance (\rev{multiplied by $2\pi$}) for the given system \cite{Tong:2016kpv}.


\section*{Appendix F. Hall conductance in the $2+1$ D systems from the Kubo formula}

According to our previous considerations, in the particular case, when the external gauge field $A$ represents constant electric field $E_k$, we get $A_{3k} =  -i E_k$. Therefore, Eq. (\ref{JA2D}) reads
\begin{equation}
\langle j^{k} \rangle \approx \frac{{\cal N}}{2\pi} \epsilon^{3kj} E_{j}\,.\label{JA2D}
\end{equation}
Here ${\cal N}$ is the topological invariant in phase space
\begin{eqnarray}
{\cal N} &= & \rev{ \frac{T}{\cal S} \int \,{\rm Tr}\, \nu_{} \,d^3p \, d^3x}\label{j2d}\,,\nonumber \\ \nu_{} & = &   \frac{1}{3!\,4\pi^2}\,\epsilon_{ijk}\, \Big[  {G}_W(p,x)\ast \frac{\partial {Q}_W(p,x)}{\partial p_i} \nonumber\\ && \ast \frac{\partial  {G}_W( p,x)}{\partial p_j} \ast \frac{\partial  {Q}_W(p,x)}{\partial p_k} \Big]_{A=0} \,. \label{calM2d2H}
\end{eqnarray}

Above we demonstrated that this expression is reduced to Eq. (\ref{sigmaHH}). Here for completeness we present the standard derivation of Eq. (\ref{sigmaHH}).
We will use the Kubo formula for Hall conductance (see, for example, \cite{Tong:2016kpv}). Let us start from the consideration of one fermionic particle that may occupy the states enumerated by numbers $n = 0, 1, ... $.  We have
\be \label{KB}
	\sigma_{xy}&=& \frac{1}{\omega {\cal S}}\int_{0}^{\infty} dt ~e^{i\omega t}\langle 0 | [\hat{J}_y(0), \hat{J}_x(t)]|0 \rangle\,.
\ee
Here  $$ \hat{J}_x(t)=\hat{V}^{-1}(t)\hat{J}_x(0)\hat{V}(t)=e^{i{\cal H}_0t}\hat{J}_x(0)e^{-i{\cal H}_0t}\,$$
is the total electric current in the Heisenberg picture, while $V(t)$ is the time evolution operator. Averaging is over the the occupied state $|0 \rangle$.
Substituting it into the Kubo formula of Eq. (\ref{KB}), inserting a complete set of energy eigenstates, we get
\be
	\sigma_{xy}&=& \frac{1}{\omega  {\cal S}} \int_{0}^{\infty} dt ~e^{i\omega t}\sum_n\Big(\langle 0 | \hat{J}_y |n\rangle \langle n|\hat{J}_x| 0 \rangle e^{i({\cal E}_n-{\cal E}_{0})t}\nonumber\\ &&-\langle 0 | \hat{J}_x |n\rangle \langle n|\hat{J}_y| 0 \rangle e^{-i({\cal E}_n-{\cal E}_{0})t}\Big),
\ee
where we write $J_i=J_i(0)$ for simplicity, and the $n=0$ term vanishes.  ${\cal E}_n$ is the energy of state $|n \rangle$.
Next we integrate over time,
and get
\be \nonumber
	\sigma_{xy}&=&\frac{1}{i\omega  {\cal S}}  \sum_{n\ne 0} \Big(\frac{\langle 0 | \hat{J}_y |n\rangle \langle n|\hat{J}_x| 0 \rangle}{\omega+i\epsilon+{\cal E}_n-{\cal E}_{0}}-\frac{\langle 0 | \hat{J}_x |n\rangle \langle n|\hat{J}_y| 0 \rangle}{\omega+i\epsilon-({\cal E}_n-{\cal E}_{0})}\Big).
\ee
To get the limit $\omega \to 0$ corresponding to constant background field, we expand the above expression in powers of $\omega$
\be
	\sigma_{xy}&=&\frac{1}{i\omega  {\cal S}} \sum_{n\ne 0} \Big( \langle 0 | \hat{J}_y |n\rangle \langle n|\hat{J}_x| 0 \rangle \Big(\frac{1}{{\cal E}_n-{\cal E}_{0}}-\frac{\omega}{({\cal E}_n-{\cal E}_{0})^2}+...\Big)\nonumber
	\\
	&&+\langle 0 | \hat{J}_x |n\rangle \langle n|\hat{J}_y| 0 \rangle \Big(\frac{1}{{\cal E}_n-{\cal E}_{0}}+\frac{\omega}{({\cal E}_n-{\cal E}_{0})^2}+...\Big)\Big)  \,.
\ee
For the Hall effect
	$$\sigma_{xy}=-\sigma_{yx}\,,$$
which leads to vanishing of the first order term.
In the second order, the Hall conductance becomes
\be
	\sigma_{xy}&=&\frac{i} {\cal S}\sum_{n\ne 0}\frac{\langle 0 | \hat{J}_y |n\rangle \langle n|\hat{J}_x| 0 \rangle-\langle 0 | \hat{J}_x |n\rangle \langle n| \hat{J}_y | 0 \rangle}{({\cal E}_n-{\cal E}_{0})^2}\,.
\ee
Electric current may be written as
\be
\hat{J}_i=\frac{1}{i}[\hat{x}_i,{\cal H}]\,,
\ee
Thus the Hall conductance of this quantum - mechanical system may be  written as
\be
	\sigma_{xy}&=&\frac{1}{i {\cal S}}\sum_{n\ne0}\frac{\langle 0 | [\hat{y},{\cal H}] |n\rangle\langle n|  [\hat{x},{\cal H}] | 0\rangle-\langle 0 |  [\hat{x},{\cal H}] |n\rangle\langle n| [\hat{y},{\cal H}] | 0\rangle}{({\cal E}_n-{\cal E}_0)^2}\,.\nonumber
\ee
This equation represents the result of the second order in the perturbation expansion that corresponds to the transition between the states: from $|0\rangle $ to $|n \rangle$, and back from $|n \rangle $ to $|0 \rangle$.

The next step is the consideration of the second quantized system. Fermi statistics provides, that in vacuum all one particle states with energy (counted from the Fermi level) ${\cal E}_k < 0$ are occupied. The Hall conductance in the second order of perturbation theory is given by the contributions of the transitions from the occupied one - particle states to the vacant ones and the corresponding returns. The final answer reads:
\be
&&	\sigma_{xy}=\frac{i} {\cal S} \sum_k \sum_{n\ne k}\theta(-{\cal E}_k)\theta({\cal E}_n)\nonumber\\ &&\frac{\langle k | [\hat{x},{\cal H}] |n\rangle\langle n|  [\hat{y},{\cal H}] | k \rangle-\langle k |  [\hat{y},{\cal H}] |n\rangle\langle n| [\hat{x},{\cal H}] | k\rangle}{({\cal E}_n-{\cal E}_k)^2}\,.\label{sigmaH}
\ee
This expression gives rise to the Hall conductance of the form \rev{$\sigma_{yx} = {\cal N}/2 \pi$} where ${\cal N}$ is the topological invariant given by Eq. (\ref{sigmaHH}). The latter expression, in turn, was derived from the phase space topological invariant of Eq. (\ref{calM2d2H}). Thus the consideration of the present section gives an alternative proof of Eq. (\ref{calM2d2H}) in the given particular case.

\section*{Appendix G. Calculation of the Hall conductance for the noninteracting 2D system in the presence of constant magnetic field}

The average Hall conductivity may be represented as ${\cal N}/(2\pi)$, where
\rev{\begin{eqnarray}
{\cal N} &=& - \frac{2i\,(2\pi)^3}{8\pi^2  {\cal S}}\,\sum_{n,k} \theta({\cal E}_k)\theta(-{\cal E}_n)  \, \epsilon_{ij}\,\nonumber\\&&\Big[  \frac{1}{({\cal E}_k - {\cal E}_n)^2}  \langle n| [{\cal H}, {\hat x}_i] | k \rangle    \langle k | [{\cal H}, {\hat x}_j] | n \rangle  \Big]_{A=0}\,.\label{sigmaHH__}
\end{eqnarray}}
Following \cite{QHEB} (see also \cite{Maraner}) in order to calculate the value of $\cal N$ we decompose the coordinates $x_1=x, x_2=y $ as follows:
$$
\hat{x}_1 = -\frac{\hat{p}_y - {\cal B}x}{\cal B} + \hat{X}_1 = \hat{\xi}_1 + \hat{X}_1,$$ $$ \hat{x}_2 = \frac{\hat{p}_x}{\cal B} + \hat{X}_2= \hat{\xi}_2 + \hat{X}_2\,.
$$
The commutation relations follow:
$$
[\hat{\xi}_1,\hat{\xi}_2] = \frac{i}{\cal B}\,, \quad [\hat{X}_1,\hat{X}_2] = - \frac{i}{\cal B}\,,
$$
$$
[{\cal H}, \xi_1] = -i  \frac{\partial}{\partial p_x} {\cal H}\,, \quad [{\cal H}, \xi_2] =  -i \frac{\partial}{\partial p_y} {\cal H}\,,
$$
$$
[{\cal H}, \hat{X}_1] =  [{\cal H}, \hat{X}_2] =  0\,.
$$
Here we use that the Hamiltonian contains the following dependence on $x$:
$$
{\cal H}(\hat{p}_x, \hat{p}_y - {\cal B} x)\,
$$
and assume $\frac{\partial^2}{\partial p_x \partial p_y}{\cal H}=0$.
We use those relations to obtain:
\rev{\begin{eqnarray}
{\cal S N} &=&  - \frac{2i\,(2\pi)^3}{8\pi^2}\,\sum_{n,k}   \,\Big[  \frac{1}{({\cal E}_k - {\cal E}_n)^2}  \langle n| [{\cal H}, {\hat \xi}_i] | k \rangle    \langle k | [{\cal H}, {\hat \xi}_j] | n \rangle  \Big]_{A=0}\nonumber\\&&\, \epsilon_{ij} \, \theta(-{\cal E}_n)\theta({\cal E}_k)
\nonumber\\
&=&  \frac{2i\,(2\pi)^3}{8\pi^2}\,\sum_{n,k}   \, \epsilon_{ij}\,\Big[  \langle n|  {\hat \xi}_i | k \rangle    \langle k |  {\hat \xi}_j | n \rangle  \Big]_{A=0}\theta(-{\cal E}_n)\theta({\cal E}_k)
\nonumber\\
&=&  \frac{2i\,(2\pi)^3}{8\pi^2}\,\sum_{n}   \,\Big[  \langle n|  [{\hat \xi}_1,  {\hat \xi}_2 ]| n \rangle  \Big]_{A=0}\theta(-{\cal E}_n)
\nonumber\\
&=&  -\frac{2\,(2\pi)^3}{8\pi^2 {\cal B}}\,\sum_{n}   \,   \langle n|   n \rangle  \theta(-{\cal E}_n)\,.
\end{eqnarray}}

Momentum $p_y$ is a good quantum number, and it enumerates the eigenstates of the Hamiltonian:
$$
{\cal H} |n\rangle = {\cal H}(\hat{p}_x, p_y - {\cal B} x)|p_y, m\rangle = {\cal E}_{m}(p_y)|p_y, m\rangle , \, m\in Z\,.
$$
We assume that the size of the system is $L\times L$.
This gives
\rev{\begin{eqnarray}
{\cal S N} &=& - {(2\pi)}\,\sum_{m}\int \frac{dp_y L}{2\pi}  \, \frac{1}{\cal B} \theta(-{\cal E}_m(p_y))\,.
  \label{calM2d232}
\end{eqnarray}}
$\langle x \rangle = p_y/{\cal B}$ plays the role of the center of orbit, and this center should belong to the interval $(-L/2, L/2)$. This gives
\rev{\begin{eqnarray}
{\cal N}
&=&  N  \, {\rm sign}(-{\cal B})\,,
  \label{calM2d233}
\end{eqnarray}}
where $N$ is the number of the occupied branches of spectrum. This way we came to the conventional expression for the Hall conductance of the fermionic system in the presence of constant magnetic field and constant electric field.

\section*{Appendix H. Properties of Moyal (star) product}
\rv{In this Appendix, we list and prove the identities of Wigner - Weyl formalism used throughout the text of the paper. Wigner transformation of a function $B(p_1,p_2)$ (where  $p_1, p_2 \in {\cal M}$) is defined here as
\begin{equation} \begin{aligned}
{B}_W(x,p) \equiv \int_{q \in {\cal M}}  dq e^{ix q} B({p+q/2},{p-q/2}) \label{GWxAH0}
\end{aligned}\,.
\end{equation}
Identifying $B(p_1,p_2)$ with the matrix elements of an operator $\hat B$, we come to the definition of the Weyl symbol of operator
(we denote it by $B_W$):
 \begin{equation} \begin{aligned}
{B}_W(x,p) \equiv \int_{q \in {\cal M}} dq e^{ix q} \langle {p+q/2}| \hat{B} |{p-q/2}\rangle \label{GWxAH}
\end{aligned}\,.
\end{equation}
Here integral is over the Brillouin zone. Moyal product of the two functions in phase space $f(x,p)$ and $g(x,p)$ is defined as 	$$f(x,p)\star g(x,p) \equiv f(x,p) e^{\frac{i}{2} \left( \overleftarrow{\partial}_{x}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x}\right )}g(x,p)$$
Let us consider the case, when operators $\hat A$ and $\hat B$ are almost diagonal, i.e. $\langle {p+q/2}| \hat{A} |{p-q/2}\rangle$ and $\langle {p+q/2}| \hat{B} |{p-q/2}\rangle$ may be nonzero for arbitrary $p$ and small $q$ (compared to the size of momentum space). This occurs when the variation of $A_W(x,p)$ (and $B_W(x,p)$) as a function on $x$ may be neglected on the distances of the order of the lattice spacing. Below we assume that the considered operators satisfy this requirement. Then the following  expression follows
\begin{eqnarray}\label{Moyal2}
(\hat{A}\hat{B})_W(x,p) = 	A_W(x,p)\star B_W(x,p) = A_W(x,p) e^{\frac{i}{2} \left( \overleftarrow{\partial}_{x}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x}\right )}B_W(x,p)\,.
\end{eqnarray}
The proof is given in \cite{SZ2018}. We repeat it here briefly:
\begin{equation}\begin{aligned}
&(AB)_W(x,p )=
 \int_{{\cal M}} d{P} \int_{\cal M} d{R}
 	e^{i x P}
 		\Bra{p+\frac{P}{2}} \hat{A} \Ket{R}
		\Bra{R} \hat{B} \Ket{p-\frac{P}{2}}\\
&=\frac{1}{2^D}\int_{{\cal M}} d P \int_{K/2 \in {\cal M}}dK
	e^{i x P}
		\Bra{p+\frac{P}{2}} \hat{A} \Ket{p-\frac{K}{2}}
		\Bra{p-\frac{K}{2}}\hat{B} \Ket{p-\frac{P}{2}}\\
&= \frac{2^D}{2^D }\int_{{\cal M}} d q d k e^{i x (q+ k)}
	\Bra{p+\frac{q}{2}+\frac{k}{2}} \hat{A} \Ket{p-\frac{q}{2}+\frac{k}{2}}
	\Bra{p-\frac{q}{2}+\frac{k}{2}}\hat{B} \Ket{p-\frac{q}{2}-\frac{k}{2}}\\
&= \int_{{\cal M}} d q d k
	\Big[  e^{i x  q}
		\Bra{p+\frac{q}{2}} \hat{A} \Ket{p-\frac{q}{2}}
	\Big]
	e^{\frac{k}{2}\overleftarrow{\partial}_p-\frac{q}{2}\vec{\partial}_p}
	\Big[  e^{i x   k}
		\Bra{p+\frac{ k}{2}}\hat{B} \Ket{p-\frac{ k}{2}}
	\Big]\\
&= \Big[ \int_{{\cal M}} dq  e^{i x  q}
		\Bra{p+\frac{q}{2}} \hat{A} \Ket{p-\frac{q}{2}}
	\Big]
	e^{\frac{i}{2} (- \overleftarrow{\partial}_p\vec{\partial}_x+\overleftarrow{\partial}_{x}\vec{\partial}_p )}
	\Big[ \int_{{\cal M}} dk e^{i x   k}
		\Bra{p+\frac{k}{2}}\hat{B} \Ket{p-\frac{k}{2}}
	\Big]
\label{Z}
\end{aligned}
\end{equation}
Here the bra- and ket- vectors in momentum space are defined modulo vectors of reciprocal lattice. In the second line we change variables
$$
	P = q+k , \quad K = q- k
$$
$$
	q = \frac{P+K}{2}, \quad  k =\frac{P-K}2
$$
with the Jacobian
$$
J = \left|\begin{array}{cc} 1 & 1 \\
-1 & 1 \end{array} \right| = 2^D
$$
This results in the factor ${2^{D}}$ in the third line. Here $D$ is the dimension of space. The transition between the second and the third lines of Eq. (\ref{Z}) requires that the operators are almost diagonal. This allows to substitute the region of the values of $q$ and $k$ (that corresponds to $P,K/2 \in {\cal M}$) by ${\cal M}\otimes {\cal M}$.}

\rv{In the present paper we apply the Wigner - Weyl technique to the lattice Dirac operator (the inverse Green function) and the Green function $G(p,q)$ itself (to be considered as matrix elements of an operator $\hat G$: $G(p+q/2,p-q/2) =\langle {p+q/2}| \hat{G} |{p-q/2}\rangle$. Both are almost diagonal if the external electromagnetic field varies slowly, i.e. if its variation on the distance of the order of lattice spacing may be neglected. This occurs for the magnitudes of external magnetic field much smaller than thousands Tesla, and for the wavelengths much larger than $1$ Angstrom.
One has
\begin{eqnarray}
	G_W(x,p)\star Q_W(x,p)=(\hat{G}\hat{Q})_W(x,p)&=&\int_{q\in {\cal M}} dq e^{ix q} \langle {p+q/2}| \hat{G} \hat{Q} |{p-q/2}\rangle \nonumber
	\\
	&=&\int_{q \in {\cal M}} dq e^{ix q} \delta(q)=1\,.
\end{eqnarray}
Thus we have
\begin{eqnarray}
	Q_W(x,p)\star G_W(x,p)=1\,.
\end{eqnarray}}

\rv{From the definition the associativity of the Moyal product follows: $[[A_W\star B_W]\star C_W]=[A_W\star [B_W\star C_W]]$.
The proof is as follows:
\begin{eqnarray}
	&&[[A_W(x,p)\star B_W(x,p)]\star C_W(x,p)]\nonumber
	\\
	&=&[(AB)_W(x,p) \star B_W(x,p)]\nonumber
	\\
	&=&(ABC)_W(x,p)\nonumber
	\\
	&=&[A_W(x,p)\star (BC)_W(x,p)]\nonumber
	\\
	&=&[A_W(x,p)\star [B_W(x,p)\star C_W(x,p)]]\,.
\end{eqnarray}}

\rv{The Leibnitz product rule is valid for the Weyl symbols of considered operators.
Let $d$ be a differentiation operator $d=d x^{\mu} \frac{\partial}{\partial x^{\mu}}+d p_{\mu} \frac{\partial}{\partial p_{\mu}}$, then
\begin{eqnarray}\label{Lbr}
d (A_W(x,p)\star B_W(x,p))=d A_W(x,p)\star B_W(x,p)+A_W(x,p)\star d B_W(x,p)\,.
\end{eqnarray}
The proof is straightforward.
First, notice that
\begin{eqnarray}
	d (A_W\frac{i}{2}\left( \overleftarrow{\partial}_{x}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x}\right )B_W)
	&=&d A_W(x,p)\frac{i}{2}\left( \overleftarrow{\partial}_{x}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x}\right ) B_W(x,p)\nonumber
	\\
	&&+A_W(x,p)\frac{i}{2}\left( \overleftarrow{\partial}_{x}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x}\right ) d B_W(x,p)\,.
\end{eqnarray}
Then we expand the star
\begin{eqnarray}
d (A_W(x,p)\star B_W(x,p))	
&=&d  \sum_n(A_W\frac{1}{n!}(\frac{i}{2})^n\left( \overleftarrow{\partial}_{x}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x}\right )^nB_W)\nonumber\\
	&=&d A_W(x,p)\sum_n\frac{1}{n!}(\frac{i}{2})^n\left( \overleftarrow{\partial}_{x}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x}\right )^n B_W(x,p)\nonumber
	\\
	&&+\sum_nA_W(x,p)\frac{1}{n!}(\frac{i}{2})^n\left( \overleftarrow{\partial}_{x}\overrightarrow{\partial_p}-\overleftarrow{\partial_p}\overrightarrow{\partial}_{x}\right )^n d B_W(x,p)\nonumber\\
	&=&
	d A_W(x,p)\star B_W(x,p)+A_W(x,p)\star d B_W(x,p)\,.
\end{eqnarray}
From the Leibnitz product rule and the Groenewold equation we derive
\begin{eqnarray}\label{QdG}
	&&Q_W \star dG_W=-dQ_W \star G_W,\nonumber\\
	&&d G_W= -G_W\star dQ_W \star G_W\,.
\end{eqnarray}}

\rv{Since the Weyl symbols of the considered operators vary slowly as functions of coordinates, we may change everywhere the sum over the lattice points $x$ to the integral over $x$. Under this condition it follows from the definition of the Weyl symbol of an operator that
$$
\int d^D p \Bra{p} \hat{A} \Ket{p} = \int d^Dx \frac{d^Dp}{(2\pi)^D} A_W(x,p)
$$
The integral of a Moyal product over phase space has the following commutativity property
\begin{eqnarray}\label{cytr}
	\int d^Dx\,\frac{d^Dp}{(2\pi)^D}\,{\rm Tr} \, A_W(x,p) \star B_W(x,p)=  \int d^Dx\,\frac{d^Dp}{(2\pi)^D}\,{\rm Tr} \, B_W(x,p) \star A_W(x,p)
	\,.
\end{eqnarray}
We prove it as follows
\begin{eqnarray}
	\int d^Dx\,\frac{d^Dp}{(2\pi)^D}\,{\rm Tr} \, A_W(x,p) \star B_W(x,p)\nonumber&=& \int_{} \, d^Dx\frac{d^Dp}{(2\pi)^D} {\rm Tr} (AB)_W(x,p) \nonumber\\
	&=&  \int_{} \, d^Dp \, {\rm Tr} (AB)(p,p)\nonumber\\
	&=&  \int_{} \, d^Dp\,d^Dp' \,{\rm Tr} A(p,p')B(p',p)\nonumber\\
	&=&  \int_{} \, d^Dp\,d^Dp' \, {\rm Tr} B(p',p)A(p,p')\nonumber\\
	&=&  \int_{} \, d^Dp' \,{\rm Tr} (BA)(p',p')\nonumber\\
	&=&  \int d^Dx\,\frac{d^Dp}{(2\pi)^D}\,{\rm Tr} \, B_W(x,p) \star A_W(x,p)
	\,.
\end{eqnarray}}

\begin{thebibliography}{99}

\bibitem{TTKN} D. J. Thouless, M. Kohmoto, M. P. Nightingale, and M. den Nijs,
Phys. Rev. Lett. 49, 405 (1982).

\bibitem{TKNN0} B. Simon, PRL 51, 2167 (1983)

\bibitem{Haldane} F.D.M. Haldane, PRL 61, 2015 (1988)

\bibitem{3ddiophantine} Mahito Kohmoto, Bertrand I. Halperin, and Yong-Shi Wu,  "Diophantine equation for the three-dimensional quantum Hall effect",
Phys. Rev. B 45 (1992), 13488

\bibitem{Hall3DTI} X.-L. Qi, T. L. Hughes, and S.-C. Zhang, Physical Review B 78, 195424 (2008).

\bibitem{Fradkin}
Eduardo Fradkin, "Field Theories of Condensed Matter Physics", 1991, Addison Wesley Publishing Company,


\bibitem{Matsuyama:1986us}
  T.~Matsuyama,
  ``Quantization of Conductivity Induced by Topological Structure of Energy Momentum Space in Generalized {QED} in Three-dimensions,''
  Prog.\ Theor.\ Phys.\  {\bf 77} (1987) 711.



\bibitem{Volovik0}
G.E. Volovik, "An analog of the quantum Hall effect in a superfluid 3He film", JETP, Vol. 67, No. 9 (1988), ZhETF, Vol. 94, No. 3(9), (1988), 123

\bibitem{So} H. So, Prog. Theor. Phys. 74,
585 (1985)

\bibitem{Golterman1993}
 M.F.L. Golterman, K.  Jansen and D.B. Kaplan,
Chern-Simons  currents and chiral  fermions on the lattice,
 Phys.Lett. B {\bf 301}, 219--223 (1993):
arXiv: hep-lat/9209003.

\bibitem{IshikawaMatsuyama1986}
K. Ishikawa  and T. Matsuyama, Magnetic field induced multi component QED in
three-dimensions and quantum Hall effect, Z. Phys. C {\bf 33}, 41--45 (1986).


 \bibitem{Volovik2003} G.E. Volovik, {\it The Universe in a Helium
Droplet}, Clarendon Press,  Oxford (2003).

 \bibitem{Gurarie2011}
 V. Gurarie,
 Single-particle Green-s functions and interacting topological insulators,
 Phys. Rev. B {\bf 83}, 085426 (2011).

 \bibitem{EssinGurarie2011}
A.M. Essin and V. Gurarie,
Bulk-boundary correspondence of topological insulators from their Green's functions,
Phys. Rev. B {\bf 84}, 125132 (2011).

%\cite{Zubkov:2016tcp}
\bibitem{Z2016_2}
  M.~A.~Zubkov,
  ``Absence of equilibrium chiral magnetic effect,''
  Phys.\ Rev.\ D {\bf 93} (2016) no.10,  105036
  doi:10.1103/PhysRevD.93.105036
  [arXiv:1605.08724 [hep-ph]].
  %%CITATION = doi:10.1103/PhysRevD.93.105036;%%
  %24 citations counted in INSPIRE as of 29 May 2019

\bibitem{Z2016_1}
  M.~A.~Zubkov,
{\sl ``Wigner transformation, momentum space topology, and anomalous transport,''}
  Annals Phys.\  {\bf 373}, 298 (2016)
%  doi:10.1016/j.aop.2016.07.011
  [arXiv:1603.03665 [cond-mat.mes-hall]].
  %%CITATION = doi:10.1016/j.aop.2016.07.011;%%



\bibitem{semimetal_effects10}
M. Vazifeh and M. Franz,
{\sl ``Electromagnetic response of weyl semimetals''},
Phys. Rev. Lett. {\bf 111}, 027201 (2013) [arXiv:1303.5784].

\bibitem{semimetal_effects11}
Y. Chen, S. Wu, and A. Burkov,
{\sl ``Axion response in Weyl semimetals''},
Phys. Rev. B {\bf 88}, 125105 (2013) [arXiv:1306.5344].

\bibitem{semimetal_effects12}
Y. Chen, D. Bergman, and A. Burkov,
{\sl ``Weyl fermions and the anomalous Hall effect in metallic ferromagnets''},
Phys. Rev. B {\bf 88}, 125110 (2013) [arXiv:1305.0183]

\bibitem{semimetal_effects13}
S. T. Ramamurthy and T. L. Hughes,
{\sl ``Patterns of electro-magnetic response in topological semi-metals''},
arXiv:1405.7377.









\bibitem{Zyuzin:2012tv}
A.~A.~Zyuzin and A.~A.~Burkov,
  {\sl ``Topological response in Weyl semimetals and the chiral anomaly,''}  Phys.\ Rev.\ B {\bf 86} (2012) 115133  [arXiv:1206.1868 [cond-mat.mes-hall]].  %%CITATION = ARXIV:1206.1868;%%  %37 citations counted in INSPIRE as of 04 Jan 2015

%\bibitem{chiral_torsion3}
%L Sun, S Wan, Chiral viscoelastic response in Weyl semimetals, Europhysics Letters (2014) 108 37007 doi:10.1209/0295-
%5075/108/37007

\bibitem{tewary}
Pallab Goswami, Sumanta Tewari, {\sl Axionic field theory of (3+1)-dimensional Weyl semi-metals,}
Phys. Rev. B 88, 245107 (2013), arXiv:1210.6352

\bibitem{TKNN2}
Qian Niu, D. J. Thouless,  and Yong-Shi Wu,
"Quantized Hall conductance as a topological invariant",
Phys. Rev. B 31 (1985) 3372


\bibitem{QHEr}
Hiroyuki Shiba, Kunihiko Kanada, Hiroshi Hasegawa, and Hidetoshi Fukuyama,
"Galvanomagnetic Effects in Impurity Band Conductions",
 J. Phys. Soc. Jpn. 30, pp. 972-987 (1971)


\bibitem{Tong:2016kpv} David Tong ``Lectures on the Quantum Hall Effect", arXiv:1606.06687 [hep-ph]

\bibitem{Hatsugai}
Y Hatsugai,
"Topological aspects of the quantum Hall effect",
J. Phys. Condens. Matter 9, 2507-2549 (1997)

 \bibitem{1}
 H. J. Groenewold, "On the Principles of elementary quantum mechanics", Physica,12  pp. 405-460 (1946), doi:10.1016/S0031-8914(46)80059-4.

 \bibitem{2}
 J. E. Moyal, "Quantum mechanics as a statistical theory", Proceedings of the Cambridge Philosophical Society, 45 (1949) pp. 99-124. doi:10.1017/S0305004100000487.


 \bibitem{berezin} Berezin, F.A. and M.A. Shubin, 1972, in: Colloquia Mathematica Societatis Janos Bolyai (North-Holland, Amsterdam) p. 21.


 \bibitem{6}
 Curtright, T. L.; Zachos, C. K. (2012). "Quantum Mechanics in Phase Space". Asia Pacific Physics Newsletter. 01: 37. arXiv:1104.5269


\bibitem{SZ2018}
  M.~Suleymanov and M.~A.~Zubkov,
  ``Wigner-Weyl formalism and the propagator of Wilson fermions in the presence of varying external electromagnetic field,''
  Nucl.\ Phys.\ B {\bf 938} (2019) 171
  [arXiv:1811.08233 [hep-lat]].

\bibitem{QHEB}
    Ryogo Kubo, Hiroshi Hasegawa, Natsuki Hashitsume, "Quantum Theory of Galvanomagnetic Effect I. Basic Considerations", Journal of the Physical Society of Japan 14(1) (1959) 56-74
    DOI: 10.1143/JPSJ.14.56


%\cite{Landsteiner:2012kd}
\bibitem{Landsteiner:2012kd}
  K.~Landsteiner, E.~Megias and F.~Pena-Benitez,
  ``Anomalous Transport from Kubo Formulae,''
  Lect.\ Notes Phys.\  {\bf 871} (2013) 433
  %doi:10.1007/978-3-642-37305-3_17
  [arXiv:1207.5808 [hep-th]].
  %%CITATION = doi:10.1007/978-3-642-37305-3_17;%%
  %55 citations counted in INSPIRE as of 26 janv. 2016


\bibitem{ZKA2018}
  M.~A.~Zubkov, Z.~V.~Khaidukov and R.~Abramchuk,
  ``Momentum Space Topology and Non-Dissipative Currents,''
  Universe {\bf 4} (2018) no.12,  146
  doi:10.3390/universe4120146
  [arXiv:1812.05855 [hep-ph]].
  %%CITATION = doi:10.3390/universe4120146;%%

  %%CITATION = doi:10.3390/universe4120135;%%

%\cite{Zubkov:2018cbw}
\bibitem{ZK2018}
  M.~Zubkov and Z.~Khaidukov,
  ``Anomalous transport phenomena and momentum space topology,''
  EPJ Web Conf.\  {\bf 191} (2018) 05007
  doi:10.1051/epjconf/201819105007
  [arXiv:1811.07778 [hep-ph]].
  %%CITATION = doi:10.1051/epjconf/201819105007;%%

  %1 citations counted in INSPIRE as of 30 Jan 2019

%\cite{Abramchuk:2018jhd}
  %3 citations counted in INSPIRE as of 30 Jan 2019

  %4 citations counted in INSPIRE as of 30 Jan 2019

%\cite{Zubkov:2018gmc}
%6 citations counted in INSPIRE as of 30 Jan 2019

  %%CITATION = doi:10.1142/S0217732318500475;%%
  %2 citations counted in INSPIRE as of 30 Jan 2019



%\cite{Chernodub:2017bbd}

%\cite{Khaidukov:2017exf}
\bibitem{KZ2017}
  Z.~V.~Khaidukov and M.~A.~Zubkov,
  ``Chiral Separation Effect in lattice regularization,''
  Phys.\ Rev.\ D {\bf 95} (2017) no.7,  074502
  doi:10.1103/PhysRevD.95.074502
  [arXiv:1701.03368 [hep-lat]].
  %%CITATION = doi:10.1103/PhysRevD.95.074502;%%
  %9 citations counted in INSPIRE as of 30 Jan 2019


\bibitem{AKZ2018}
  R.~Abramchuk, Z.~V.~Khaidukov and M.~A.~Zubkov,
  ``Anatomy of the chiral vortical effect,''
  Phys.\ Rev.\ D {\bf 98} (2018) no.7,  076013
  doi:10.1103/PhysRevD.98.076013
  [arXiv:1806.02605 [hep-ph]].
  %%CITATION = doi:10.1103/PhysRevD.98.076013;%%


%\cite{Khaidukov:2018oat}
\bibitem{KZ2018}
  Z.~V.~Khaidukov and M.~A.~Zubkov,
  ``Chiral torsional effect,''
  doi:10.1134/S0021364018220046
  arXiv:1812.00970 [cond-mat.mes-hall].
  %%CITATION = doi:10.1134/S0021364018220046;%%












\bibitem{Hatsugai2}
Yasuhiro Hatsugai, Takahiro Fukui, and Hideo Aoki, "Topological analysis of the quantum Hall effect in graphene: Dirac-Fermi transition across van Hove singularities and edge versus bulk quantum numbers",
Phys. Rev. B 74 (2006), 205414


\bibitem{nocorrectionstoQHE}
K. A. Muttalib and P. Wolfle,
Phys. Rev. B 76, 214415 (2007).

\bibitem{Altshuler0}
B. L. Altshuler,
D. Khmel'nitzkii, A. I. Larkin and
P. A. Lee, "Magnetoresistance and Hall effect in a disordered two-dimensional electron gas", Phys.Rev.B 22, 5142  (1980).


\bibitem{Altshuler}
B.L. Altshuler and A.G. Aronov,Electron-electron inter-action in disordered systems(A.L. Efros, M. Pollak, Ams-terdam, 1985).

\bibitem{AQHE_no_corr}
M. Laubach, C. Platt, R. Thomale, T. Neupert and S. Rachel
"Density wave instabilities and surface state evolution in interacting Weyl semimetals",
Phys. Rev. B 94, 241102(R) (2016).

\bibitem{corr_WSM1}
J. Carlstrom and E.J. Bergholtz,
"Strongly interacting Weyl semimetals: Stability of the semimetallic phase and emergence of almost free fermions", Physical Review B,  98, 241102 (2018).

\bibitem{corr_WSM2}
B. Roy, P. Goswami and V. Juricic,
"Interacting Weyl fermions: Phases, phase transitions, and global phase diagram",
Physical Review B,  95, 201102(R)  (2017) .

\bibitem{2DTI_corr}
S. Rachel,  "Interacting topological insulators: a review ",
Reports on Progress in Physics,  81, 116501 (2018).

\bibitem{Tang2018_Science}
H.K.Tang, J. N. Leaw, J. N. B. Rodrigues, I. F. Herbut, P. Sengupta,
F. F. Assaad, and S. Adam, "The role of electron-electron
interactions in two-dimensional
Dirac fermions", Science, 361, 570 (2018).

\bibitem{ZZ2019}
  C.~X.~Zhang and M.~A.~Zubkov,
  ``Influence of interactions on the anomalous quantum Hall effect,''
  arXiv:1902.06545 [cond-mat.mes-hall].

\bibitem{Yamamoto}
  N.~Yamamoto,
  ``Generalized Bloch theorem and chiral transport phenomena,''
  Phys.\ Rev.\ D {\bf 92} (2015) no.8,  085011
  doi:10.1103/PhysRevD.92.085011
  [arXiv:1502.01547 [cond-mat.mes-hall]].
  %%CITATION = doi:10.1103/PhysRevD.92.085011;%%
  %47 citations counted in INSPIRE as of 27 May 2019

\bibitem{VolovikTI3D} F.R. Klinkhamer, G.E. Volovik, Internat. J. Modern Phys. A 20 (2005) 2795. http://dx.doi.org/10.1142/S0217751X05020902,
hep-th/0403037

\bibitem{Maraner} P. Maraner, "Adiabatic motion of a quantum particle in a two-dimensional magnetic field", J. Phys. A: Math. Gen. 29, 2199 (1996)

\bibitem{Susskind} L. Susskind, arXiv: hep-th/ 0101029

\bibitem{noncommutative} A.P. Polychronakos, Non-commutative Fluids. In: Duplantier B. (eds) Quantum Spaces. Progress in Mathematical Physics, vol 53. Birkhauser Basel (2007), arXiv:0706.1095
    
\bibitem{buot} Felix A. Buot, Nonequilibrium Quantum Transport Physics in Nanosystems: Foundation of Computational Nonequilibrium Physics in Nanoscience and Nanotechnology (World Scientific Publishing, NJ, 2009)
    
\bibitem{buot0} Felix A. Buot, “Quantum Superfield Theory and Lattice Weyl Transform in Nonequilibrium Quantum Transport Physics”, Quantum Matter, 2, 247-288 (2013)
    
\bibitem{buot1} Felix A. Buot, "Method for calculating $Tr H^n$  in solid $-$ state theory", Physical Review B 10 (1974) 3700

\bibitem{kaspersky} P.Kasperkovitz, M.Peev, Annals of Physics 230 (1994) 21

\end{thebibliography}



\end{document}