pith. sign in

arxiv: 2504.12600 · v2 · submitted 2025-04-17 · ❄️ cond-mat.str-el · cond-mat.stat-mech

Boundary criticality in two-dimensional interacting topological insulators

Pith reviewed 2026-05-22 20:22 UTC · model grok-4.3

classification ❄️ cond-mat.str-el cond-mat.stat-mech
keywords boundary criticalitytopological insulatorsquantum Monte CarloBerezinskii-Kosterlitz-Thouless transitionedge statesKane-Mele-Hubbard modelantiferromagnetic insulatortwo-dimensional systems
0
0 comments X

The pith

Topological edge states enrich the boundary transition from a topological insulator to an antiferromagnetic insulator with a Berezinskii-Kosterlitz-Thouless special transition.

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

The paper examines how interactions and topology together shape boundary quantum phase transitions in two-dimensional systems. Simulations on a lattice model show that topological edge states alter the critical behavior when the bulk switches from a topological insulator to an antiferromagnetic insulator, producing ordinary, special, and extraordinary transitions. The edge states make the ordinary transition have a continuously varying scaling dimension and create a special transition in the Berezinskii-Kosterlitz-Thouless class. A reader would care because boundary physics often controls transport and response in real materials, and this work gives a nonperturbative window into correlated topological boundaries.

Core claim

In the Kane-Mele-Hubbard-Rashba model, determinant quantum Monte Carlo simulations together with an analytical boundary theory show that topological edge states enrich the ordinary transition by producing a continuous boundary scaling dimension and generate a special transition of Berezinskii-Kosterlitz-Thouless type at the quantum phase transition between a topological insulator and an antiferromagnetic insulator.

What carries the argument

The boundary scaling dimension extracted from the Kane-Mele-Hubbard-Rashba model under determinant quantum Monte Carlo sampling, which encodes how topological edge states modify the critical exponents at the boundary.

If this is right

  • The boundary quantum phase diagram contains ordinary, special, and extraordinary transitions.
  • The ordinary transition exhibits a continuously tunable boundary scaling dimension.
  • The special transition belongs to the Berezinskii-Kosterlitz-Thouless universality class because of the topological edge states.
  • The framework applies to other two-dimensional topological systems with strong electron correlations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same enrichment mechanism may appear when topological edge states meet other ordered phases such as charge-density waves.
  • Experimental detection could involve measuring boundary susceptibility or correlation lengths in candidate materials near the magnetic transition.
  • The results suggest that topology can protect or modify surface criticality in three-dimensional analogs as well.

Load-bearing premise

The Kane-Mele-Hubbard-Rashba lattice model faithfully represents the low-energy boundary physics of real interacting two-dimensional topological insulators and the determinant quantum Monte Carlo algorithm measures the boundary scaling without large uncontrolled finite-size or sign-problem errors.

What would settle it

A simulation or measurement in which the boundary scaling dimension stays fixed at a discrete value instead of varying continuously, or in which no Berezinskii-Kosterlitz-Thouless signatures appear in the boundary correlation functions at the transition, would falsify the claim.

Figures

Figures reproduced from arXiv: 2504.12600 by Hong Yao, Shao-Kai Jian, Yang Ge.

Figure 1
Figure 1. Figure 1: FIG. 1. (a) Illustration of the lattice. Topological edge states reside [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Luttinger parameter of the helical edge mode for (a) [PITH_FULL_IMAGE:figures/full_fig_p003_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Data collapse at the special transition for (a) the boundary [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
read the original abstract

We study the boundary criticality in 2D interacting topological insulators. Using the determinant quantum Monte Carlo method, we present a nonperturbative study of the boundary quantum phase diagram in the Kane-Mele-Hubbard-Rashba model. Our results reveal rich boundary critical phenomena at the quantum phase transition between a topological insulator and an antiferromagnetic insulator, encompassing ordinary, special, and extraordinary transitions. Combining analytical derivation of the boundary theory with unbiased numerically exact quantum Monte Carlo simulations, we demonstrate that the presence of topological edge states enriches the ordinary transition that renders a continuous boundary scaling dimension and, more intriguingly, leads to a special transition of the Berezinskii-Kosterlitz-Thouless type. Our work establishes a framework for the nonperturbative study of boundary criticality in two-dimensional topological systems with strong electron correlations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript investigates boundary criticality in two-dimensional interacting topological insulators via determinant quantum Monte Carlo simulations of the Kane-Mele-Hubbard-Rashba model. It reports rich boundary critical phenomena at the quantum phase transition from a topological insulator to an antiferromagnetic insulator, encompassing ordinary, special, and extraordinary transitions. The central claims are that topological edge states enrich the ordinary transition (producing a continuous boundary scaling dimension) and induce a special transition of Berezinskii-Kosterlitz-Thouless type, established by combining an analytical boundary theory derivation with unbiased numerical simulations.

Significance. If the numerical evidence for the BKT character of the special transition and the enrichment of the ordinary transition by topological edge states is robust, the work would be significant. It supplies a nonperturbative, lattice-regularized framework for boundary criticality in correlated topological systems and demonstrates how topology modifies boundary scaling in a sign-problem-free model. The combination of analytical boundary theory with DQMC constitutes a clear methodological strength.

major comments (1)
  1. [Numerical results section (scaling analysis of the special transition)] Numerical results on the special transition: The assignment of BKT universality rests on scaling signatures (correlation-length essential singularity or stiffness jump). To establish uniqueness, the manuscript must demonstrate that these signatures cannot be reproduced by power-law fits with slowly varying exponents or by ordinary transitions with logarithmic corrections, including explicit finite-size extrapolations to the thermodynamic limit while isolating the topological edge contribution. This is load-bearing for the central claim.
minor comments (2)
  1. The abstract states that the ordinary transition is 'enriched' to yield a continuous boundary scaling dimension; the main text should explicitly report the extracted value of this dimension and its comparison to the non-topological case.
  2. Figures displaying DQMC data should include error bars, specify the range of cylinder or strip widths used, and indicate how the boundary contribution is isolated from bulk signals.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive major comment. We address the concern regarding the robustness of the BKT assignment for the special transition below, outlining additional analysis and revisions that will strengthen the numerical evidence without altering the central conclusions.

read point-by-point responses
  1. Referee: [Numerical results section (scaling analysis of the special transition)] Numerical results on the special transition: The assignment of BKT universality rests on scaling signatures (correlation-length essential singularity or stiffness jump). To establish uniqueness, the manuscript must demonstrate that these signatures cannot be reproduced by power-law fits with slowly varying exponents or by ordinary transitions with logarithmic corrections, including explicit finite-size extrapolations to the thermodynamic limit while isolating the topological edge contribution. This is load-bearing for the central claim.

    Authors: We appreciate the referee's emphasis on this point, which is indeed central to our claim. Our DQMC data for the Kane-Mele-Hubbard-Rashba model already show that the boundary correlation length is better described by an essential singularity than by power-law forms, and that the boundary stiffness exhibits a jump whose finite-size scaling approaches the expected BKT value. In the revised manuscript we will add: (i) quantitative comparisons of BKT versus power-law fits (including effective-exponent and logarithmic-correction variants) with explicit χ² residuals and Akaike information criteria across multiple system sizes; (ii) thermodynamic-limit extrapolations of both the transition temperature and the stiffness jump using 1/L and 1/L² corrections; (iii) a direct comparison to a topologically trivial parameter regime (achieved by increasing the Rashba strength to suppress protected edge states while keeping bulk interactions comparable), where the special transition is absent and only ordinary scaling remains. These additions will be presented in an expanded numerical-results section with new figures, thereby isolating the topological-edge contribution and ruling out alternative interpretations. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation combines independent lattice simulations with boundary theory

full rationale

The paper's central results derive from direct determinant quantum Monte Carlo simulations of the microscopic Kane-Mele-Hubbard-Rashba lattice model, which generates the boundary phase diagram and scaling data without reference to fitted boundary parameters. The analytical boundary theory is presented as a separate derivation that is then compared to the numerics; no quoted equations or self-citations reduce the reported ordinary/special/extraordinary transitions or the BKT identification to a tautology or to parameters fitted from the same data. The approach is therefore self-contained, with the lattice regularization and DQMC providing external benchmarks for the boundary criticality claims.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The central claim rests on the assumption that the lattice model and DQMC faithfully represent continuum boundary physics; no free parameters, invented entities, or ad-hoc axioms are stated in the abstract.

pith-pipeline@v0.9.0 · 5667 in / 1077 out tokens · 43076 ms · 2026-05-22T20:22:54.339893+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages · 6 internal anchors

  1. [1]

    A. H. Castro Neto, F. Guinea, N. M. R. Peres, K. S. Novoselov, and A. K. Geim, The electronic properties of graphene, Rev. Mod. Phys. 81, 109 (2009)

  2. [2]

    M. Z. Hasan and C. L. Kane, Colloquium: Topological insula- tors, Rev. Mod. Phys. 82, 3045 (2010)

  3. [3]

    Qi and S.-C

    X.-L. Qi and S.-C. Zhang, Topological insulators and supercon- ductors, Rev. Mod. Phys. 83, 1057 (2011)

  4. [4]

    N. P. Armitage, E. J. Mele, and A. Vishwanath, Weyl and Dirac semimetals in three-dimensional solids, Rev. Mod. Phys. 90, 015001 (2018)

  5. [5]

    B. Q. Lv, T. Qian, and H. Ding, Experimental perspective on three-dimensional topological semimetals, Rev. Mod. Phys.93, 025002 (2021)

  6. [6]

    K. v. Klitzing, G. Dorda, and M. Pepper, New method for high- accuracy determination of the fine-structure constant based on quantized Hall resistance, Phys. Rev. Lett. 45, 494 (1980)

  7. [7]

    R. B. Laughlin, Quantized Hall conductivity in two dimensions, Phys. Rev. B 23, 5632 (1981)

  8. [8]

    D. C. Tsui, H. L. Stormer, and A. C. Gossard, Two-dimensional magnetotransport in the extreme quantum limit, Phys. Rev. Lett. 48, 1559 (1982)

  9. [9]

    C. L. Kane and E. J. Mele, Quantum spin Hall effect in graphene, Phys. Rev. Lett. 95, 226801 (2005)

  10. [10]

    B. A. Bernevig, T. L. Hughes, and S.-C. Zhang, Quantum spin Hall effect and topological phase transition in HgTe quantum wells, Science 314, 1757 (2006)

  11. [11]

    K ¨onig, S

    M. K ¨onig, S. Wiedmann, C. Br ¨une, A. Roth, H. Buhmann, L. W. Molenkamp, X.-L. Qi, and S.-C. Zhang, Quantum spin Hall insulator state in HgTe quantum wells, Science 318, 766 (2007)

  12. [12]

    A. P. Schnyder, S. Ryu, A. Furusaki, and A. W. W. Ludwig, Classification of topological insulators and superconductors in three spatial dimensions, Phys. Rev. B 78, 195125 (2008)

  13. [13]

    Periodic table for topological insulators and superconductors

    A. Kitaev, Periodic table for topological insulators and super- conductors, AIP Conf. Proc. 1134, 22 (2009), arXiv:0901.2686 [cond-mat.mes-hall]

  14. [14]

    Sato and Y

    M. Sato and Y . Ando, Topological superconductors: a review, Rep. Prog. Phys. 80, 076501 (2017)

  15. [15]

    C. L. Kane and E. J. Mele, Z2 topological order and the quan- tum spin Hall effect, Phys. Rev. Lett. 95, 146802 (2005)

  16. [16]

    C. Wu, B. A. Bernevig, and S.-C. Zhang, Helical liquid and the edge of quantum spin Hall systems, Phys. Rev. Lett.96, 106401 (2006)

  17. [17]

    Xu and J

    C. Xu and J. E. Moore, Stability of the quantum spin Hall effect: Effects of interactions, disorder, and 𭟋2 topology, Phys. Rev. B 73, 045322 (2006)

  18. [18]

    J. L. Cardy, Conformal invariance and surface critical behavior, Nucl. Phys. B 240, 514 (1984)

  19. [19]

    T. W. Burkhardt and H. W. Diehl, Ordinary, extraordinary, and normal surface transitions: Extraordinary-normal equiv- alence and simple explanation of |T − Tc|2−α singularities, Phys. Rev. B 50, 3894 (1994)

  20. [20]

    The Bootstrap Program for Boundary CFT_d

    P. Liendo, L. Rastelli, and B. C. van Rees, The bootstrap program for boundary CFT d, JHEP 07, 113, arXiv:1210.4258 [hep-th]

  21. [21]

    Boundary and Defect CFT: Open Problems and Applications

    N. Andrei, A. Bissi, M. Buican, J. Cardy, P. Dorey, N. Drukker, J. Erdmenger, D. Friedan, D. Fursaev, A. Konechny, C. Krist- jansen, I. Makabe, Y . Nakayama, A. O’Bannon, R. Parini, B. Robinson, S. Ryu, C. Schmidt-Colinet, V . Schomerus, C. Schweigert, and G. M. T. Watts, Boundary and defect CFT: Open problems and applications, J. Phys. A 53, 453002 (2020...

  22. [22]

    Domb and J

    C. Domb and J. L. Lebowitz, eds., Phase Transitions and Crit- ical Phenomena, V ol. 10 (Academic Press, 1986)

  23. [23]

    H. W. Diehl, The theory of boundary critical phenomena, Int. J. Mod. Phys. B 11, 3503 (1997), arXiv:cond-mat/9610143

  24. [24]

    Cardy, Scaling and renormalization in statistical physics , V ol

    J. Cardy, Scaling and renormalization in statistical physics , V ol. 5 (Cambridge university press, 1996)

  25. [25]

    Scaffidi, D

    T. Scaffidi, D. E. Parker, and R. Vasseur, Gapless symmetry- protected topological order, Phys. Rev. X 7, 041048 (2017)

  26. [26]

    Zhang and F

    L. Zhang and F. Wang, Unconventional surface critical be- havior induced by a quantum phase transition from the two- dimensional Affleck-Kennedy-Lieb-Tasaki phase to a N ´eel- ordered phase, Phys. Rev. Lett. 118, 087201 (2017)

  27. [27]

    X.-C. Wu, Y . Xu, H. Geng, C.-M. Jian, and C. Xu, Bound- ary criticality of topological quantum phase transitions in two- dimensional systems, Phys. Rev. B 101, 174406 (2020)

  28. [28]

    Verresen, R

    R. Verresen, R. Thorngren, N. G. Jones, and F. Pollmann, Gap- less topological phases and symmetry-enriched quantum criti- cality, Phys. Rev. X11, 041059 (2021)

  29. [29]

    R. Ma, L. Zou, and C. Wang, Edge physics at the deconfined transition between a quantum spin Hall insulator and a super- 6 conductor, SciPost Phys. 12, 196 (2022)

  30. [30]

    Yu, R.-Z

    X.-J. Yu, R.-Z. Huang, H.-H. Song, L. Xu, C. Ding, and L. Zhang, Conformal boundary conditions of symmetry- enriched quantum critical spin chains, Phys. Rev. Lett. 129, 210601 (2022)

  31. [31]

    X.-J. Yu, S. Yang, H.-Q. Lin, and S.-K. Jian, Universal entan- glement spectrum in one-dimensional gapless symmetry pro- tected topological states, Phys. Rev. Lett. 133, 026601 (2024)

  32. [32]

    X. Shen, Z. Wu, and S.-K. Jian, New boundary criticality in topological phases, arXiv preprint arXiv:2407.15916 (2024)

  33. [33]

    Fehske, R

    H. Fehske, R. Schneider, and A. Weisse, Computational many- particle physics, V ol. 739 (Springer, 2007)

  34. [34]

    Zheng, G.-M

    D. Zheng, G.-M. Zhang, and C. Wu, Particle-hole symmetry and interaction effects in the Kane-Mele-Hubbard model, Phys. Rev. B 84, 205121 (2011)

  35. [35]

    Li and H

    Z.-X. Li and H. Yao, Edge stability and edge quantum critical- ity in two-dimensional interacting topological insulators, Phys. Rev. B 96, 241101 (2017)

  36. [36]

    Li, Y .-F

    Z.-X. Li, Y .-F. Jiang, and H. Yao, Solving the fermion sign problem in quantum Monte Carlo simulations by Majorana rep- resentation, Phys. Rev. B 91, 241117 (2015)

  37. [37]

    Li, Y .-F

    Z.-X. Li, Y .-F. Jiang, and H. Yao, Majorana-time-reversal sym- metries: A fundamental principle for sign-problem-free quan- tum Monte Carlo simulations, Phys. Rev. Lett. 117, 267002 (2016)

  38. [38]

    See the supplementary for details

    The ground state is degenerate and thus naively precludes the use of the projective DQMC. See the supplementary for details

  39. [39]

    Our labels of gi couplings are different from the other bosoniza- tion conventions

  40. [40]

    Here, we denote it as ˆϕ for simplicity

    More precisely, at ordinary transition, the boundary primary field is the normal derivative of the order parameter field. Here, we denote it as ˆϕ for simplicity

  41. [41]

    Deng and H

    Y . Deng and H. W. J. Bl¨ote, Bulk and surface critical behavior of the three-dimensional Ising model and conformal invariance, Phys. Rev. E 67, 066116 (2003)

  42. [42]

    Y . Deng, H. W. J. Bl ¨ote, and M. P. Nightingale, Surface and bulk transitions in three-dimensional O(n) models, Phys. Rev. E 72, 016128 (2005)

  43. [43]

    Boundary and Interface CFTs from the Conformal Bootstrap,

    F. Gliozzi, P. Liendo, M. Meineri, and A. Rago, Boundary and interface CFTs from the conformal bootstrap, JHEP 05, 036, [Erratum: JHEP 12, 093 (2021)], arXiv:1502.07217 [hep-th]

  44. [44]

    Zhou and Y

    Z. Zhou and Y . Zou, Studying the 3d Ising surface CFTs on the fuzzy sphere, SciPost Phys. 18, 031 (2025), arXiv:2407.15914 [hep-th]

  45. [45]

    Dedushenko, Ising BCFT from fuzzy hemisphere, arXiv preprint arXiv:2407.15948 (2024)

    M. Dedushenko, Ising BCFT from fuzzy hemisphere, arXiv preprint arXiv:2407.15948 (2024)

  46. [46]

    Note that at this point, the two-particle scattering process is still irrelevant

  47. [47]

    We will see the effect in the nonperturbative Monte Carlo calculations

    This prediction is not accurate given the renormalization effect from the strong fluctuations in the bulk. We will see the effect in the nonperturbative Monte Carlo calculations

  48. [48]

    Emergent Space-time Supersymmetry at the Boundary of a Topological Phase

    T. Grover, D. N. Sheng, and A. Vishwanath, Emergent Space- Time Supersymmetry at the Boundary of a Topological Phase, Science 344, 280 (2014), arXiv:1301.7449 [cond-mat.str-el]

  49. [49]

    Li, Y .-F

    Z.-X. Li, Y .-F. Jiang, and H. Yao, Edge quantum criticality and emergent supersymmetry in topological phases, Phys. Rev. Lett. 119, 107202 (2017)

  50. [50]

    F. F. Assaad, M. Bercx, F. Goth, A. G ¨otz, J. S. Hofmann, E. Huffman, Z. Liu, F. Parisen Toldin, J. S. E. Portela, and J. Schwab (ALF), The ALF (Algorithms for Lattice Fermions) project release 2.4. documentation for the auxiliary-field quan- tum Monte Carlo code, SciPost Phys. Codebases 2022, 1 (2022), arXiv:2012.11914 [cond-mat.str-el]

  51. [51]

    autoScale.py - A program for automatic finite-size scaling analyses: A user's guide

    O. Melchert, autoscale.py — a program for automatic finite- size scaling analyses: A user’s guide (2009), arXiv:0910.5403 [physics.comp-ph]

  52. [52]

    Houdayer and A

    J. Houdayer and A. K. Hartmann, Low-temperature behavior of two-dimensional Gaussian Ising spin glasses, Phys. Rev. B 70, 014418 (2004)

  53. [53]

    i r U∆τ 2 ηi(l)(c† i↑ci↑ + c† i↓ci↓ − 1) # , (S2) exp h −V ∆τ(c† i↑c† j↑ci↓cj↓ + H.c.) i = 1 4 X l,± γR ij,±(l) exp

    H. Doh and G. S. Jeon, Bifurcation of the edge-state width in a two-dimensional topological insulator, Phys. Rev. B88, 245115 (2013). 7 SUPPLEMENTAL MA TERIAL I. DETAILS OF THE DETERMINANT QUANTUM MONTE CARLO SIMULA TION In the determinant quantum Monte Carlo formulation of purely fermionic problems, each ith local interaction term is decou- pled into fer...