Pith. sign in

REVIEW 3 major objections 4 minor 32 references

Hall conductivity as the topological invariant in phase space in the presence of interactions and non-uniform magnetic field

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Interactions leave the phase-space topological formula for Hall conductivity intact.

desk verdict A credible one- and two-loop proof of the non-renormalization of Hall conductivity in non-uniform fields, but the advertised all-orders theorem is asserted, not proven. read the letter →

arxiv 1908.04138 v2 pith:H3MCG7YV submitted 2019-08-12 cond-mat.mes-hall

C.X. Zhang , M.A. Zubkov This is my paper · ORCID
classification cond-mat.mes-hall MSC 81V7082D20 PACS 73.43.-f71.10.-w
keywords HallconductivitytopologicalinvariantphasespaceWignertransformationnon-uniformmagneticfieldelectron-electroninteractionsnon-renormalizationtight-bindingmodel
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper sets out to prove that the Hall conductivity of a $2+1$D tight-binding electron system in a non-uniform magnetic field keeps its topological form when electron-electron interactions are switched on. The central claim is that the conductivity remains $\sigma_{xy}=N/(2\pi)$, with $N$ the phase-space topological invariant of Eq. (9), now built from the complete interacting Green function instead of the free one. This matters because it turns a widely believed conjecture about interaction robustness into a perturbative theorem, extending the known non-renormalization of the quantum Hall effect from uniform fields to slowly varying fields and potentials. The paper establishes the vanishing of the first- and second-order interaction corrections explicitly and asserts that the same mechanism works at every higher order.

What carries the argument

The load-bearing object is the phase-space topological invariant $N$ of Eq. (9), a trace over phase space of Wigner-transformed Green functions combined with the Moyal star product $\ast$; it is the non-uniform-field generalization of the TKNN invariant. The argument also rests on the geometry of the Gedankenexperiment, which splits the system into interacting and non-interacting regions so that a statement about the total current becomes a statement about a single region, and on the 'progenitor' diagram identity, which rewrites the $n$-th interaction correction to the current as a total momentum derivative that vanishes under the phase-space integral. The self-energy insertions enter through the expansion $G_{\alpha,W}=G_0+G_0\ast\Sigma_W\ast G_0+\cdots$, and the vanishing of each correction follows from moving the derivative $\partial_{p_k}$ onto a product of Green functions.

What would settle it

Compute the third-order interaction correction $I_3^k$ explicitly for the action of Eq. (10) on a finite torus; if any term survives the integration by parts, the Hall conductivity would acquire an $\alpha^3$ dependence and the identity $\sigma_{xy}=N/(2\pi)$ would fail at that order.

Watch

Extended reading notes

Core claim

Within a wide class of $2+1$D lattice models with Coulomb interactions and a slowly varying gauge potential, the paper claims that the averaged Hall conductivity is exactly $\sigma_{xy}=N/(2\pi)$, where $N$ is the phase-space topological invariant of Eq. (9) evaluated with the complete Wigner-transformed Green function including all interaction corrections. The proof uses a Gedankenexperiment in which a cylinder is divided into a region with interactions and a region without, with opposite constant electric fields in the two regions. Because the total current in this two-piece system is shown to receive no interaction corrections, the interacting region must carry the same topological current as the free region, so the conductivity equals its value at $\alpha=0$. Thus the paper concludes that the Hall conductivity is not renormalized by electron-electron interactions as long as perturbation theory in $\alpha$ converges.

Load-bearing premise

The entire non-renormalization claim depends on the unproved inductive step that every interaction correction of order higher than two can also be written as a total momentum derivative and therefore vanishes; the paper demonstrates this only for the first two orders.

Editorial extensions

If this is right

  • For any smoothly varying magnetic field and electric potential, the Hall conductivity in the interacting region is pinned to the quantized phase-space invariant $N/(2\pi)$, so weak electron-electron interactions cannot shift it.
  • Within the radius of convergence of perturbation theory, $\sigma_{xy}$ is exactly independent of the interaction strength $\alpha$, matching the known non-renormalization of the parity anomaly in $2+1$D QED.
  • The total current has the manifestly topological representation of Eq. (23) in terms of the interacting Green function and the interacting $Q_{\alpha,W}$, so the conductivity can be extracted directly from interacting two-point functions.
  • The paper states that the same proof, with minor modifications, applies to other interactions such as Yukawa or four-Fermi couplings and to $3+1$D systems, so the result is not specific to the Coulomb form.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the all-orders vanishing is genuine, the same total-derivative mechanism should protect other transport coefficients that admit a phase-space star-product trace, such as spin Hall or thermal Hall conductivities in the same inhomogeneous geometry.
  • Because the proof assumes analyticity in $\alpha$, a nonperturbative effect like an interaction-driven gap closing could still change $\sigma_{xy}$ even though every perturbative order vanishes; a numerical study at finite coupling could look for such a jump.
  • The unsupported inductive step could be tested independently by evaluating $I_3^k$ in a minimal two-band lattice model, which would either confirm the pattern or locate the first counterexample.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The manuscript studies a 2+1D tight-binding model with a non-uniform magnetic field, a non-uniform electric potential, and Coulomb interactions confined to one half of a cylinder (the Gedankenexperiment). It derives a Wigner-Weyl expression for the total Hall current and claims that interaction corrections to this current vanish to all orders in perturbation theory. The central result is that the Hall conductivity in the interacting region is σxy = N/(2π), where N is the phase-space topological invariant of Eq. (9) evaluated with the complete (interacting) Wigner-transformed two-point Green function. Explicit cancellations are shown at first order and sketched at second order; the all-orders result is asserted rather than proven.

Significance. If the all-orders statement can be made rigorous, the result is a nontrivial extension of the non-renormalization of the TKNN/parity-anomaly expression to systems with inhomogeneous magnetic fields and interactions. The paper formulates a clear Wigner-Weyl framework and gives explicit one- and two-loop demonstrations that the current corrections reduce to total momentum derivatives and vanish. The clean derivation of Eq. (23), expressing the total current through the complete Green function, is a useful step. The main gap is the missing general proof that all higher-order corrections vanish; this is not a cosmetic point but the exact requirement for the central theorem.

major comments (3)
  1. [Section 5, after Eq. (22)] The central claim that I_j^k = 0 for all j > 0 is not proven. The manuscript demonstrates the cancellation only for j = 1 and j = 2, and then states: 'In the same way the higher orders may be considered. One can check that I_j^k = 0 for j > 0 to all orders of the perturbation theory.' No induction step, no general topological argument, and no characterization of the higher-loop star-product algebra is supplied. Higher-loop diagrams contain new topologies, such as overlapping self-energy insertions and repeated vertex corrections, whose star-product structure is not shown to reduce to a total p_k-derivative. Since I(α) = I(0) and the replacement of G0 by the complete Green function in Eq. (9) require exactly this vanishing, the theorem is currently established only at one- and two-loop order. Please provide a full all-orders proof, or explicitly restrict the statement of the theorem to the orders demonstrated.
  2. [Section 5, Eqs. (19)-(20)] The proof of I_1^k = 0 is only indicated by the sentence 'we perform the integration by parts and show that I_1^k = -I_1^k.' Because D_W(R,q) is the Wigner transform of a function containing the step functions θ(y1)θ(y2), the stated evenness of D_R(q) and the allowed momentum shifts deserve an explicit derivation. Without this, the base of the induction is not independently checkable.
  3. [Section 5, final paragraph] The passage from the global identity I(α) = I(0) to the local Hall conductivity σxy = N/(2π) in the interacting region is not derived in detail. Equation (23) is an integral over the whole cylinder, and the current in the noninteracting piece is used to infer the current in the interacting piece; this inference requires an argument that contributions localized at the interfaces y = 0 and y = L, as well as long-range tails of the Coulomb potential, are negligible or cancel. The statement that L is much larger than any other physical scale is made, but the precise way in which boundary terms are controlled should be spelled out.
minor comments (4)
  1. [Abstract and Section 1] The abstract says the conjecture is 'proved' to all orders; in light of the missing all-orders proof, this wording should be adjusted either after a complete proof is supplied or by explicitly stating the order to which the result is established.
  2. [Section 2, Eq. (4)] The statement that Eq. (4) 'does not contain the star' because the introduction of the electric field breaks the periodic boundary conditions is terse; a sentence explaining how the Wigner-transformed Green function is defined under the modified boundary conditions would help the reader.
  3. [Figure captions] The word 'Feynmann' in the captions of Figs. 1-4 should be 'Feynman', and the convention for the filled circles and wavy lines should be stated explicitly in each caption.
  4. [Section 5, Eq. (22)] The notation with the symbols ◦_i and ◦_i. is difficult to parse; I recommend defining the action of these modified star products with explicit derivative indices and stating clearly which functions they act on.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained and no prediction reduces to an input by construction.

full rationale

The paper's central claim—that the interacting Hall conductivity is given by Eq. (9) with the complete Green function—is derived rather than assumed. The noninteracting topological invariant N is obtained in Section 2 from the linear-response expression Eq. (8), not merely imported from the self-cited paper [9]. The interacting current is defined independently in Eq. (13) as an integral of Tr G_alpha,W * d_{pk} Q_0,W, and the relation between this physical current and the expression Eq. (15) containing Q_alpha,W is established through the explicit identity Delta I = I - I0, which follows from the combinatorial relation Delta I^(n) = I^(n+1), not from inserting the desired conclusion. The proof of I(alpha)=I(0) is then attempted by explicit cancellation at first and second order. The sentence 'One can check that I_j^k = 0 for j > 0 to all orders of the perturbation theory' is an unproved assertion and a genuine completeness gap, but it is not circularity: a missing all-orders argument does not make the result equivalent to its input. The final identification of sigma_xy with N[G_alpha]/2pi rests on Eq. (23) plus the equality I(alpha)=I(0) and the same variation procedure used for Eq. (9); no parameter is fitted and no predicted quantity is defined in terms of the claimed output. Self-citations to [9,21-25] supply the Wigner-Weyl formalism and prior noninteracting derivations, but the present paper rederives the expressions it actually uses, so those citations are not load-bearing in the argument.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof imports the Wigner-Weyl formalism from the authors' own prior work (self-citations [9,21-25]) and assumes slow variation of the gauge potential, analyticity in the coupling, and an unproved all-orders diagrammatic identity. No newly invented physical entities appear.

assumptions (5)
  • domain assumption The gauge potential A(x) varies slowly on the lattice spacing scale, so the Wigner transformation with the Moyal star product and the derivative expansion are valid.
    Stated in Section 2: 'If vector potential Aµ(x) does not vary fast... then Wigner transformation of the two-point Green function satisfies the Groenewold equation.' The entire phase-space formalism and the truncated expansions of Eqs. (5)-(8) rely on this.
  • domain assumption Physical quantities (Green functions, currents) are analytic in the coupling constant α in the region considered, so that perturbation theory to all orders captures the exact result and I(α)=I(0).
    Stated in Section 4: 'In the next section we will prove that indeed I(α)=I(0) in the region of analyticity in α, i.e., as long as the perturbation theory in α may be used.' Also repeated in the conclusions.
  • domain assumption The Wigner transform of the interaction kernel D(z1,z2)=αθ(y1)V(z1-z2)θ(y2) is an even function of the relative momentum q for each center coordinate R, D_W(R,q)=D_W(R,-q), which is required for the integration-by-parts cancellation of I_1^k.
    Invoked in Section 5 after Eq. (19): 'where D_R(q)=D_W(R,q) is an even function of q... This representation allows us to prove that I_1^k=0 (we perform the integration by parts and show that I_1^k=-I_1^k).' The evenness follows from V(x) being even, but the effect of the theta functions is not checked.
  • ad hoc to paper The Coleman-Hill 'progenitor' diagram argument extends to all orders of perturbation theory in the Wigner-Weyl formalism: every higher-order diagram contribution to the current reduces to a total derivative ∂_{p_k}Tr[...] and integrates to zero.
    The core inductive step is asserted, not proved: Section 5, 'One can see, that I_2^k = 0. In the same way the higher orders may be considered. One can check that I_j^k = 0 for j > 0 to all orders of the perturbation theory.' The entire non-renormalization theorem depends on this unproved extension.
  • domain assumption The two-piece cylinder with opposite uniform external electric fields in the two regions allows one to extract the local Hall conductivity of the interacting piece from the total current, with boundary effects negligible for L large.
    Setup of the Gedankenexperiment in Section 3: 'It is assumed that L is much larger than any other physical parameter... The coordinate system is attached to the surface of the cylinder...' The conclusion that the local conductivity is N/(2π) in the interacting region rests on this separation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hall conductivity as the topological invariant in phase space in the presence of interactions and non-uniform magnetic field." pith.science (2026). https://pith.science/paper/H3MCG7YV

@misc{pith2026190804138,
  author       = {Pith},
  title        = {Pith review of: Hall conductivity as the topological invariant in phase space in the presence of interactions and non-uniform magnetic field},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/H3MCG7YV}},
  note         = {Machine review of arXiv:1908.04138}
}
abstract

The quantum Hall conductivity in the presence of constant magnetic field may be represented as the topological TKNN invariant. Recently the generalization of this expression has been proposed for the non - uniform magnetic field. \rev{The quantum Hall conductivity is represented as the topological invariant in phase space in terms of the Wigner transformed two - point Green function.} This representation has been derived when the inter - electron interactions were neglected. It is natural to suppose, that in the presence of interactions the Hall conductivity is still given by the same expression, in which the non - interacting Green function is substituted by the complete two - point Green function \rev{ including the interaction contributions}. We prove this conjecture within the framework of the $2+1$ D tight - binding model of rather general type using the ordinary perturbation theory.

Figures

Figures reproduced from arXiv: 1908.04138 by the authors.

Figure 1
Figure 1. a) Feynmann diagrams for I k (α) = R T d3R S d 3p (2π)3 T rGα,W ∂pkQ0,W (expression for the elec￾tric current). The filled circles mark ΣW . The external wavy line marks the position of ∂pkQ0,W . b) Feynmann diagrams for ∆I k (α) = R T d3R S d 3p (2π)3 T rGα,W ∂pk ΣW . The filled circle with the external wavy line marks ∂pk ΣW . Let us use the above developed technique for the cal￾culation of the total electric curr… view at source ↗
Figure 3
Figure 3. Two loop Feynmann diagrams for the self energy Σ in rainbow approximation (right side of the figure) and the corresponding three loop rainbow con￾tributions to electric current I k (left side of the figure). The crosses point out the positions of the derivatives ∂pkQ0,W . tribution I k 2 . We have I k 2 = − Z T d3Rd3p S(2π) 3 T rΣ2,W ∗ ∂ ∂pk G0,W − Z T d3Rd3p S(2π) 3 T rΣ1,W ∗ G0,W ∗ Σ1,W ∗ ∂ ∂pk G0,W Taking Σ2 in r… view at source ↗
Figure 2
Figure 2. a) The progenitor diagram for the two - loop [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Two loop Feynmann diagrams for the self en [PITH_FULL_IMAGE:figures/full_fig_p006_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 23 canonical work pages

  1. [1]

    The appear- ance of the universal integer values of the Hall plateaus prompts that σH has the topological meaning, i.e

    INTRODUCTION Since the discovery of the Quantum Hall Effect (QHE), there were many attempts to understand the quantization of Hall conductivity σH . The appear- ance of the universal integer values of the Hall plateaus prompts that σH has the topological meaning, i.e. it is related to a certain topological invariant, which is ro- bust to the smooth modifica...

    work page

  2. [2]

    HALL CURRENT IN V AR YING MAGNETIC FIELD AND V AR YING ELECTRIC POTENTIAL Let us discuss first the system with the interactions neglected. For definiteness let us start from the Eu- clidean action of the 2 + 1D tight-binding model of elec- trons under the action of varying magnetic field and varying electric potential, whose three - potential is Aµ S = ∫ dτ ...

    work page

  3. [3]

    SETUP OF THE GEDANKENEXPERIMENT

    2 + 1 D TIGHT - BINDING MODEL IN THE PRESENCE OF COULOMB INTERACTIONS. SETUP OF THE GEDANKENEXPERIMENT. Below we consider the 2 + 1 D tight-binding model with Coulomb interactions. In order to apply the peri- odical boundary condition, we place our system into the surface of a large torus, or, equivalently, onto the cylin- der closed through the spacial i...

    work page

  4. [4]

    (a) + + +

    EXPRESSION FOR THE ELECTRIC CURRENT THROUGH THE INTERACTING GREEN FUNCTION + + + ... (a) + + + ... (b) 1 Figure 1. a) Feynmann diagrams for I k(α ) =∫ T d3R S d3p (2π )3 T rGα,W ∂pk Q0,W (expression for the elec- tric current). The filled circles mark Σ W . The external wavy line marks the position of ∂pk Q0,W . b) Feynmann diagrams for ∆ I k(α ) = ∫ T d3R...

    work page

  5. [5]

    Be- low we will prove that this expression does not receive corrections from interactions, i.e

    NON - RENORMALIZATION OF HALL CONDUCTANCE BY INTERACTIONS In the Gedankenexperiment under consideration the electric current in the absence of interactions is given by I k 0 = ∫ T d3R S ∫ d3p (2π )3TrG 0,W (R,p ) ∗ ∂ ∂p k Q0,W (R,p ). Be- low we will prove that this expression does not receive corrections from interactions, i.e. for j ≥ 1, I k j = 0. Firs...

    work page

  6. [6]

    CONCLUSIONS AND DISCUSSION The results of the previous section demonstrate, that the (averaged over the system area) Hall conductivity in the presence of inhomogeneous magnetic field, inho- mogeneous electric field, and Coulomb interactions is proportional to the topological invariant in phase space of Eq. (9). The present derivation of Eq. (9) (see also [9...

    work page

  7. [7]

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

    1982

  8. [8]

    Field Theories of Condensed Matter Physics

    E. Fradkin, “Field Theories of Condensed Matter Physics”, 1991, Addison Wesley Publishing Company, Redwood City, CA

    work page 1991

Show all 32 references
  1. [9]

    Tong, arXiv:1606.06687 [hep-ph]

    D. Tong, arXiv:1606.06687 [hep-ph]

    arXiv

  2. [10]

    Hatsugai, J

    Y. Hatsugai, J. Phys.: Condens. Matter 9 , 2507 (1997)

    1997

  3. [11]

    X.-L. Qi, T. L. Hughes and S.-C. Zhang, Physical Re- view B 78, 195424 (2008)

    2008

  4. [12]

    Matsuyama, Prog

    T. Matsuyama, Prog. Theor. Phys. 77 711 (1987)

    1987

  5. [13]

    Volovik, JETP 67, 1804 (1988)

    G.E. Volovik, JETP 67, 1804 (1988)

    1988

  6. [14]

    Volovik, The Universe in a Helium Droplet , Clarendon Press, Oxford (2003)

    G.E. Volovik, The Universe in a Helium Droplet , Clarendon Press, Oxford (2003)

    2003

  7. [15]

    M. A. Zubkov and X. Wu, arXiv:1901.06661 [cond- mat.mes-hall]

    1901 arXiv

  8. [16]

    Coleman and B

    S. Coleman and B. Hill, Phys. Lett. B159 (1985) 184

    1985

  9. [17]

    Lee, Phys

    T. Lee, Phys. Lett. B171 (1986) 247

    1986

  10. [18]

    C. X. Zhang and M. A. Zubkov, arXiv:1902.06545 [cond- mat.mes-hall]

    1902 arXiv

  11. [19]

    Ryogo Kubo, Hiroshi Hasegawa, Natsuki Hashitsume, Journal of the Physical Society of Japan 14(1) (1959) 56-74 DOI: 10.1143/JPSJ.14.56

    1959 doi

  12. [20]

    Q. Niu, D. J. Thouless, and Y. Wu, Phys. Rev. B 31, 3372 (1985)

    1985

  13. [21]

    B. L. Altshuler, D. Khmel’nitzkii, A. I. Larkin and P. A. Lee, Phys.Rev.B 22, 5142 (1980)

    1980

  14. [22]

    Altshuler and A.G

    B.L. Altshuler and A.G. Aronov, Electron-electron inter-action in disordered systems (Editors: A.L. Efros, M. Pollak, Amsterdam, 1985)

    1985

  15. [23]

    H. J. Groenewold, Physica, 12, 405 (1946)

    1946

  16. [24]

    J. E. Moyal, Proceedings of the Cambridge Philosophi- cal Society, 45, 99 (1949)

    1949

  17. [25]

    Berezin and M.A

    F.A. Berezin and M.A. Shubin, in: Colloquia Mathe- matica Societatis Janos Bolyai (North-Holland, Ams- terdam) p. 21, (1972)

    1972

  18. [26]

    T. L. Curtright and C. K. Zachos, Asia Pacific Physics Newsletter, issue 01, pages 37 − 46 (2012), arXiv:1104.5269

    2012 arXiv

  19. [27]

    M. A. Zubkov, Annals Phys. 373, 298 (2016). [arXiv:1603.03665 [cond-mat.mes-hall]]

    2016 arXiv

  20. [28]

    I. V. Fialkovsky, M. A. Zubkov, arXiv:1905.11097

    1905 arXiv

  21. [29]

    Suleymanov and M

    M. Suleymanov and M. A. Zubkov, Nucl. Phys. B 938 , 171 (2019) (Corrigendum: https://doi.org/10.1016/j.nuclphysb.2019.114674 ) [arXiv:1811.08233 [hep-lat]]

    2019

  22. [30]

    M. A. Zubkov and Z. V. Khaidukov, JETP Lett. 106, 172 (2017) [Pisma Zh. Eksp. Teor. Fiz. 106 (2017) no.3, 166]

    2017

  23. [31]

    Z. V. Khaidukov and M. A. Zubkov, JETP Lett. 108 (2018) no.10, 670 doi:10.1134/S0021364018220046 [arXiv:1812.00970 [cond-mat.mes-hall]]

    2018 arXiv

  24. [32]

    Nissinen and G.E

    J. Nissinen and G.E. Volovik, arXiv:1812.03175

    arXiv

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.