Tensor Renormalization-Group study of the surface critical behavior of a frustrated two-layer Ising model
Pith reviewed 2026-05-18 05:08 UTC · model grok-4.3
The pith
In the frustrated two-layer Ising model the surface magnetic scaling dimensions split and satisfy the duality x1^s equals one quarter x2^s.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In the frustrated two-layer Ising model the two-fold degeneracy of the surface magnetic scaling dimension of the Ashkin-Teller universality class is lifted due to the breaking of the Z2 symmetry under spin reversal of a single Ising replica. The two distinct surface magnetic scaling dimensions x1^s and x2^s satisfy the duality relation x1^s equals 1/4 x2^s.
What carries the argument
The Bond-Weight Tensor Renormalization Group algorithm extended to boundaries, which numerically extracts the surface magnetic scaling dimensions.
If this is right
- Surface criticality in the F2LIM differs from the standard Ashkin-Teller case because of the broken replica symmetry.
- The duality supplies a precise numerical prediction for the ratio of the two surface exponents.
- The same symmetry-breaking mechanism can be used to predict surface behavior in related marginally coupled models.
Where Pith is reading between the lines
- The duality may reflect a hidden relation in the renormalization flow of surface operators that is not visible in the bulk.
- Analogous splitting of surface exponents could appear in other multi-replica models with selective symmetry breaking.
- The relation offers a concrete target for analytic calculations of boundary conformal field theories in the presence of frustration.
Load-bearing premise
The extended bond-weight tensor renormalization group algorithm accurately captures the surface magnetic scaling dimensions without significant finite-size or truncation artifacts that would mask or create the reported splitting.
What would settle it
An independent Monte Carlo simulation on large lattices that measures the two surface magnetic exponents and tests whether their ratio is exactly four.
Figures
read the original abstract
Two replicas of a 2D Ising model are coupled by frustrated spin-spin interactions. It is known that this inter-layer coupling is marginal and that the bulk critical behavior belongs to the Ashkin-Teller (AT) universality class, as the $J_1-J_2$ Ising model. In this work, the surface critical behavior is studied numerically by Tensor Renormalization-Group calculations. The Bond-Weight Tensor Renormalization Group algorithm is extended to tackle systems with boundaries. It is observed that the two-fold degeneracy of the surface magnetic scaling dimension of the AT model is lifted in the frustrated two-layer Ising model (F2LIM). The splitting is explained by the breaking of the ${\mathbb Z}_2$-symmetry under spin reversal of a single Ising replica in the F2LIM. The two distinct surface magnetic scaling dimensions $x_1^s$ and $x_2^s$ of the F2LIM satisfies a simple duality relation $x_1^s=1/4x_2^s$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript numerically investigates the surface critical behavior of the frustrated two-layer Ising model (F2LIM) using an extension of the Bond-Weight Tensor Renormalization Group (TRG) algorithm to systems with boundaries. Building on the known mapping of the bulk to the Ashkin-Teller (AT) universality class, the authors report that the two-fold degeneracy of the surface magnetic scaling dimension is lifted, yielding two distinct exponents x1^s and x2^s that obey the duality x1^s = (1/4) x2^s. This splitting is attributed to the explicit breaking of the single-replica Z2 symmetry under spin reversal.
Significance. If the numerical extraction is free of truncation or finite-size artifacts, the result supplies a concrete instance of how marginal inter-layer frustration and single-replica symmetry breaking modify surface operator content within an AT-like fixed point. The boundary-adapted TRG implementation itself constitutes a methodological advance that could be applied to other layered or surface-critical models.
major comments (3)
- [§3] §3 (Boundary-extended TRG): The description of the boundary-tensor contraction scheme and the schedule for increasing bond dimension D does not include systematic extrapolation of the extracted surface scaling dimensions to D→∞ or to infinite system size. Surface singular values are known to be more sensitive to cutoff than bulk ones; without such extrapolation the reported splitting and the precise ratio 1/4 cannot be distinguished from truncation-induced effective fields.
- [§4.2] §4.2 (Numerical results for surface exponents): The values of x1^s and x2^s are presented without quoted uncertainties, without a table of D-dependence, and without a direct comparison to the known degenerate AT surface exponent (x^s_AT ≈ 0.5). This omission makes it impossible to assess whether the observed duality is robust or an artifact of the chosen truncation.
- [§5] §5 (Symmetry-breaking argument): The claim that single-replica Z2 breaking produces exactly the ratio x1^s = (1/4) x2^s is stated as an empirical observation followed by a qualitative symmetry argument. No perturbative expansion around the AT fixed point or renormalization-group flow equation is supplied to show why the ratio must be 1/4 rather than some other number fixed by the residual symmetry.
minor comments (2)
- [Figure 3] Figure 3 caption: the legend does not specify the bond dimension D used for each data set; this information should be added for reproducibility.
- [Abstract] The abstract states that the duality is 'observed' but does not mention the range of bond dimensions or the estimated numerical precision; a brief quantitative statement would improve clarity.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments, which help improve the clarity and robustness of our numerical results on the surface critical behavior of the frustrated two-layer Ising model. We address each major comment point by point below.
read point-by-point responses
-
Referee: §3 (Boundary-extended TRG): The description of the boundary-tensor contraction scheme and the schedule for increasing bond dimension D does not include systematic extrapolation of the extracted surface scaling dimensions to D→∞ or to infinite system size. Surface singular values are known to be more sensitive to cutoff than bulk ones; without such extrapolation the reported splitting and the precise ratio 1/4 cannot be distinguished from truncation-induced effective fields.
Authors: We agree that systematic extrapolation to D→∞ is valuable for confirming the absence of truncation artifacts in surface exponents. In the revised manuscript we will add an appendix with extrapolations of x1^s and x2^s versus 1/D (or appropriate scaling variable), using the sequence of bond dimensions already computed. These extrapolations will be shown to converge to the same values and ratio reported in the main text, thereby strengthening the evidence that the observed splitting is not a cutoff effect. revision: yes
-
Referee: §4.2 (Numerical results for surface exponents): The values of x1^s and x2^s are presented without quoted uncertainties, without a table of D-dependence, and without a direct comparison to the known degenerate AT surface exponent (x^s_AT ≈ 0.5). This omission makes it impossible to assess whether the observed duality is robust or an artifact of the chosen truncation.
Authors: We will revise §4.2 to include a table listing x1^s and x2^s for successive bond dimensions D, together with uncertainties estimated from the linear fits to the scaling of the surface singular values. We will also add an explicit comparison to the AT surface exponent ≈0.5, highlighting that the two distinct values in the F2LIM bracket the degenerate AT value and thereby demonstrate the lifting of degeneracy. revision: yes
-
Referee: §5 (Symmetry-breaking argument): The claim that single-replica Z2 breaking produces exactly the ratio x1^s = (1/4) x2^s is stated as an empirical observation followed by a qualitative symmetry argument. No perturbative expansion around the AT fixed point or renormalization-group flow equation is supplied to show why the ratio must be 1/4 rather than some other number fixed by the residual symmetry.
Authors: The ratio 1/4 is observed consistently in our TRG data for multiple system sizes and is tied to the residual symmetry after single-replica Z2 breaking. The qualitative argument in the manuscript links this factor to the operator mapping inherited from the AT duality. While a perturbative RG analysis around the AT fixed point would provide a more rigorous derivation, such an expansion lies outside the numerical scope of the present work; we therefore retain the combination of high-precision numerics and symmetry considerations as the primary support for the reported relation. revision: partial
- A full perturbative expansion or explicit renormalization-group flow equation that derives the exact ratio 1/4 from the broken symmetry without relying on numerical input.
Circularity Check
Numerical TRG extraction of surface exponents is self-contained with no circular derivation
full rationale
The paper extends the Bond-Weight TRG algorithm to boundaries and numerically extracts surface magnetic scaling dimensions x1^s and x2^s for the frustrated two-layer Ising model, observing that they satisfy the relation x1^s = (1/4) x2^s while comparing to the known Ashkin-Teller surface exponents. This is a direct simulation result from boundary tensor singular values and correlation functions; no parameters are fitted to the target duality, no self-definitional equations are used, and the central claim does not reduce to a self-citation chain or imported ansatz. The work remains self-contained against external benchmarks for the AT class.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The inter-layer coupling is marginal and the bulk critical behavior belongs to the Ashkin-Teller universality class.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The two distinct surface magnetic scaling dimensions x1^s and x2^s of the F2LIM satisfies a simple duality relation x1^s=1/4 x2^s.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The Bond-Weight Tensor Renormalization Group algorithm is extended to tackle systems with boundaries.
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
-
[1]
Introduction The frustrated J1 − J2 Ising model has recently attracted a renewed interest. Several Tensor Renormalization-Group calculations [1, 2, 3] questioned well-established results obtained earlier by means of Monte Carlo simulations [4, 5, 6, 7]. In this context, we constructed a frustrated two-layer Ising model (F2LIM) model sharing the same scali...
-
[2]
Numerical details 2.1. Boundary BTRG algorithm The calculations were performed by means of a Tensor Renormalization-Group (TRG) algorithm [27, 28] adapted to a system with boundaries. Such a modification was recently presented for the Higher-Order Tensor Renormalization-Group (HoTRG) algorithm [29] and the Tensor-Network Renormalization (TNR) [30]. Our al...
-
[3]
Surface critical behavior of the Ashkin-Teller model 3.1. The Ashkin-Teller model The classical Ashkin-Teller model corresponds to two Ising replicas, denoted σA and σB in the following, coupled by their local energy. The Hamiltonian reads −βH = J2 X i,j σA i,j[σA i+1,j + σA i,j+1] + J2 X i,j σB i,j[σB i+1,j + σB i,j+1] + J1 X i,j σA i,jσB i,j[σA i+1,jσB ...
-
[4]
Surface critical behavior of the J1 − J2 model We consider a frustrated two-layer Ising model with Hamiltonian −βH = J2 X i,j σA i,j[σA i+1,j + σA i,j+1] + J2 X i,j σB i,j[σB i+1,j + σB i,j+1] + J1 X i,j σA i,j[σB i+1,j − σB i,j+1] + J1 X i,j σB i,j[σA i+1,j − σA i,j+1] (13) introduced in [8]. The intra-layer coupling J2 is ferromagnetic while the inter-l...
-
[5]
Eq. 17 is similar to the duality relation between electric scaling dimensionsxe(n) = n2/2g and magnetic ones xm(m) = m2g/2 in the Coulomb gas with n = m = 1. However, the g coupling that can be computed from the numerical estimate of xs 1 is significantly smaller than the expected value 2 xε = xs σ for the AT model and therefore the F2LIM [38]. The third ...
-
[6]
H. Li and L.-P. Yang, Tensor network simulation for the frustrated J1 − J2 Ising model on the square lattice, Phys. Rev. E 104, 024118 (2021)
work page 2021
-
[7]
K. Yoshiyama and K. Hukushima, Higher-Order Tensor Renormalization Group Study of the J1 − J2 Ising Model on a Square Lattice , Phys. Rev. E 108, 054124 (2023)
work page 2023
-
[8]
A. A. Gangat, Weak First-Order Phase Transitions in the Frustrated Square Lattice J1 − J2 Classical Ising Model , Phys. Rev. B 109, 104419 (2024)
work page 2024
-
[9]
A. Kalz, A. Honecker, and M. Moliner, Analysis of the Phase Transition for the Ising Model on the Frustrated Square Lattice, Phys. Rev. B 84, 174407 (2011)
work page 2011
-
[10]
S. Jin, A. Sen, and A. W. Sandvik, Ashkin-Teller Criticality and Pseudo-First-Order Behavior in a Frustrated Ising Model on the Square Lattice , Phys. Rev. Lett. 108, 045702 (2012)
work page 2012
-
[11]
A. Kalz and A. Honecker, Location of the Potts-Critical End Point in the Frustrated Ising Model on the Square Lattice , Phys. Rev. B 86, 134410 (2012)
work page 2012
-
[12]
S. Jin, A. Sen, W. Guo, and A. W. Sandvik, Phase Transitions in the Frustrated Ising Model on the Square Lattice, Phys. Rev. B 87, 144406 (2013)
work page 2013
-
[13]
C. Chatelain, First-order transition and marginal critical behavior in a two-dimensional frustrated Ising model with efficient tensor-network implementation , Phys. Rev. E 111, 024109 (2025)
work page 2025
- [14]
-
[15]
L. P. Kadanoff, Connections between the Critical Behavior of the Planar Model and That of the Eight-Vertex Model, Phys. Rev. Lett. 39, 903 (1977)
work page 1977
-
[16]
B. Nienhuis, Critical Behavior of Two-Dimensional Spin Models and Charge Asymmetry in the Coulomb Gas, J Stat Phys 34, 731 (1984)
work page 1984
-
[17]
R. J. Baxter, Exactly solved models of statistical mechanics , Academic Press, London (1982)
work page 1982
-
[18]
K. Binder and P. C. Hohenberg, Surface effects on magnetic phase transitions , Phys. Rev. B 9, 2194 (1974)
work page 1974
-
[19]
J. Cardy, Scaling and Renormalization in Statistical Physics , Cambridge University Press, Cambridge, (1996)
work page 1996
-
[20]
Pleimling, Critical phenomena at perfect and non-perfect surfaces , J
M. Pleimling, Critical phenomena at perfect and non-perfect surfaces , J. Phys. A: Math. Gen. 37, R79 (2004)
work page 2004
-
[21]
J. L. Cardy, Conformal invariance and surface critical behavior, Nuclear Physics B240, 514 (1984)
work page 1984
-
[22]
J. L. Cardy, Operator content of two-dimensional conformally invariant theories , Nuclear Physics B 270, 186 (1986)
work page 1986
-
[23]
J. L. Cardy, Effect of boundary conditions on the operator content of two-dimensional conformally invariant theories, Nuclear Physics B 275, 200 (1986)
work page 1986
-
[24]
Henkel, Conformal Invariance and Critical Phenomena , Springer, New York, (1999)
M. Henkel, Conformal Invariance and Critical Phenomena , Springer, New York, (1999)
work page 1999
-
[25]
G. von Gehlen and V. Rittenberg, Superconformal invariance in the Ashkin-Teller quantum chain with free boundary conditions , J. Phys. A: Math. Gen. 19 L1039 (1986). TRG study of the surface critical behavior of a frustrated two-layer Ising model 18
work page 1986
-
[26]
G. von Gehlen and V. Rittenberg, The Ashkin-Teller quantum chain and conformal invariance, J. Phys. A: Math. Gen. 20 227 (1987)
work page 1987
-
[27]
F.C. Alcaraz, M.N. Barber, M.T. Batchelor, R.J. Baxter, and G.R.W. Quispel, Surface exponents of the quantum XXZ, Ashkin-Teller and Potts models , J. Phys. A: Math. Gen. 20, 6397 (1987)
work page 1987
-
[28]
A. Ueda and M. Oshikawa, Finite-Size and Finite Bond Dimension Effects of Tensor Network Renormalization, Phys. Rev. B 108, 024413 (2023)
work page 2023
-
[29]
A. Ueda, Renormalization Group Flow and Fixed-Point in Tensor Network Representations, Ph.D dissertation, univ. Tokyo, arXiv:2401.18068
-
[30]
C.-Y. Huang, S.-H. Chan, Y.-J. Kao et P. Chen, Tensor network based finite-size scaling for two- dimensional Ising model , Phys. Rev. B 107, 205123 (2023)
work page 2023
-
[31]
W. Guo, and T.-C. Wei, Tensor network methods for extracting conformal field theory data from fixed-point tensors and defect coarse graining , Phys. Rev. E 109, 034111 (2024)
work page 2024
-
[32]
M. Levin and C. P. Nave, Tensor Renormalization Group Approach to 2D Classical Lattice Models, Physical Review Letters 99, 120601 (2007)
work page 2007
-
[33]
T. Xiang, From Density Matrix and Tensor Network Renormalization, Cambridge University Press, Cambridge, (2023)
work page 2023
-
[34]
S. Iino, S. Morita, and N. Kawashima, Boundary Tensor Renormalization Group , Phys. Rev. B 100, 035449 (2019)
work page 2019
-
[35]
S. Iino, S. Morita, and N. Kawashima, Boundary conformal spectrum and surface critical behavior of classical spin systems: A tensor network renormalization study , Phys. Rev. B 101, 155418 (2020)
work page 2020
-
[36]
R. B. Lehoucq, D. C. Sorensen, and C. Yang, ARPACK Users’ Guide, Society for Industrial and Applied Mathematics (1998)
work page 1998
-
[37]
J. L. Cardy, Conformal invariance and universality in finite-size scaling , J. Phys. A: Math. and Gen. 17, L385 (1984)
work page 1984
-
[38]
J L Cardy, Logarithmic corrections to finite-size scaling in strips, J. Phys. A: Math. Gen. 19 L1093 (1986) ; J L Cardy 1987 J. Phys. A: Math. Gen. 20 5039 (1987)
work page 1986
-
[39]
M. Yamanaka and M. Kohmoto, Line of continuously varying criticality in the Ashkin-Teller quantum chain, Phys. Rev. B 52, 1138 (1995)
work page 1995
-
[40]
D. L. O’Brien, P. A. Pearce, and S. Ole Warnaar, Finitized conformal spectrum of the Ising model on the cylinder and torus , Physica A 228, 63 (1996)
work page 1996
-
[41]
N. Sh. Izmailian, Universal amplitude ratios for scaling corrections on Ising strips , Phys. Rev. E 84, 051109 (2011)
work page 2011
-
[42]
A.B. Zamolodchikov, Irreversibility of the flux of the renormalization group in a 2D field theory , JETP Lett. 43, 730 (1986)
work page 1986
-
[43]
H. Saleur, Correlation functions of the critical Ashkin-Teller model on a torus , J Stat Phys 50, 475 (1988)
work page 1988
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.