Pith. sign in

REVIEW 4 minor 11 references

Subextensive Random Boundary Perturbations in the Short-Range Edwards--Anderson Model

T0 review · 0 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read The paper proves that any random boundary perturbation whose total energy grows slower than the volume leaves the limiting quenched free energy of the Edwards–Anderson spin glass unchanged, and that this free energy self-averages almost sur

desk verdict Clean, correct envelope theorem for random boundary perturbations; the real issue is unreproducible numerical figures and a terse but fixable superadditivity proof. read the letter →

arxiv 2607.16770 v1 pith:C7274W53 submitted 2026-07-18 math-ph math.MPmath.PR

Hexiang Wang , Keheng Zhu , Mauris Chueng This is my paper · ORCID
classification math-phmath.MPmath.PR MSC 82B4482B2060K35
keywords Edwards–Andersonmodelquenchedfreeenergyspinglassboundaryperturbationself-averagingthermodynamiclimitsurfacedisordersuperadditivity
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

This paper establishes a boundary-stability theorem for the quenched specific free energy of the short-range Edwards–Anderson spin glass. It shows that if a random perturbation lives on the boundary of a cubic box and its energy envelope A_L satisfies A_L/V_L → 0 both in expectation and almost surely, then the limiting free energy is exactly the same as with free boundary conditions, and the sample free energy converges almost surely to the same deterministic constant. The proof bounds the perturbed partition function above and below by free-boundary partition functions shifted by e^{±β A_L}, then uses a superadditivity argument for the quenched free-boundary pressure and a variance bound for self-averaging. The hypotheses are checked for random scalar surface fields, fixed random exterior spins, and periodic wrap-around bonds, each with expected boundary corrections of order 1/L. The result concerns only the free energy; it says nothing about convergence of finite-volume Gibbs measures.

What carries the argument

The load-bearing object is the energy envelope A_L of the boundary perturbation and the deterministic comparison inequality it produces: if sup_σ |B_L(σ)| ≤ A_L, then e^{−β A_L} Z_L^{free} ≤ Z_L^B ≤ e^{β A_L} Z_L^{free}, so the sample free energies differ by at most A_L/V_L. Two background inputs complete the argument: first, the quenched free-boundary pressure is superadditive—convexity of log Z as a function of the cross-piece couplings yields P(Λ) ≥ Σ P(Λ_i), which gives the free-boundary thermodynamic limit; second, a variance estimate obtained by swapping one coupling or field for an independent copy gives Var(hat f_L^{free}) ≤ C/V_L, and a standard almost-sure argument using the summab

What would settle it

Compute the quenched specific free energy difference between periodic and free boundary conditions in d = 2 with zero-mean couplings and check whether it approaches zero as L → ∞; if the difference does not approach zero, the envelope comparison fails. Alternatively, run the same model with couplings of non-zero mean and see whether the free-boundary specific free energy still converges to a boundary-independent limit; a single instance where it does not would expose the zero-mean premise.

Watch

Extended reading notes

Core claim

The central discovery is that the thermodynamic limit of the quenched specific free energy is insensitive to any boundary perturbation whose total energy is subextensive. Concretely, for the Edwards–Anderson model on cubic boxes with zero-mean, finite-variance couplings, if sup_σ |B_L(σ)| ≤ A_L with E A_L/V_L → 0 and A_L/V_L → 0 almost surely, then there is a deterministic constant f∞ such that both the disorder average and the sample free energy converge to f∞, and the difference between the sample value and the mean tends to zero almost surely. The proof isolates a deterministic comparison lemma and verifies the envelope hypothesis for random scalar surface fields, fixed random exterior sp

Load-bearing premise

The load-bearing premise is that the random bulk couplings have mean zero; the proof of the free-boundary limit uses convexity of the log-partition function as a function of the cross-piece couplings, and that step requires the conditional mean of those couplings to vanish, so if E J_e ≠ 0 the superadditivity argument collapses and the paper gives no alternative proof of convergence.

Editorial extensions

If this is right

  • If the theorem is correct, the limiting quenched specific free energy is a single deterministic constant shared by free, random-surface-field, random-exterior-spin, and periodic boundary conditions.
  • Sample-to-sample fluctuations of the specific free energy vanish almost surely along the full sequence of boxes in dimension at least two, not just in probability.
  • Expected boundary corrections decay as O(1/L), meaning finite-size free energies at side length L approach the thermodynamic limit with surface-to-volume errors.
  • For Gaussian disorder, the paper's Gaussian-concentration remark gives exponential concentration and full-sequence almost-sure self-averaging in every dimension d ≥ 1.
  • The result deliberately does not assert convergence of finite-volume Gibbs measures, so chaotic size dependence of the states remains compatible with the theorem.

Reading between the lines

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

  • The proof structure suggests the theorem extends beyond nearest-neighbor cubic boxes to any finite-range disordered system with zero-mean couplings and a boundary term whose total energy is subextensive; only the comparison lemma and self-averaging are essential.
  • If the zero-mean coupling assumption E J_e = 0 fails, the superadditivity step breaks down; whether the free-boundary limit still exists under non-zero-mean disorder is left open by this method.
  • A natural next step, left implicit, is whether the same subextensive perturbations that leave the free energy unchanged nevertheless select a particular Gibbs state; the paper's scope remark makes this the immediate follow-up.
  • A concrete numerical check follows from the paper's bounds: measure the difference between periodic and free quenched free energies in d = 2 and verify that it approaches zero as L grows; persistent deviations would indicate a missing term in the envelope argument.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper proves a boundary-insensitivity theorem for the quenched specific free energy of the short-range Edwards–Anderson model on cubic boxes. Theorem 1 states that if a random boundary perturbation has an envelope A_L that is subextensive both in expectation and almost surely (A_L/V_L -> 0), then the perturbed quenched specific free energy converges to the same deterministic limit as the free-boundary model, and the quenched free energy self-averages almost surely. The proof is self-contained: Lemma 7 gives a deterministic comparison of partition functions; Proposition 5 establishes the free-boundary thermodynamic limit via superadditivity of the quenched pressure, using the mean-zero coupling assumption (3) in a Jensen step; Proposition 6 gives an Efron–Stein variance bound of order 1/V_L, yielding almost-sure self-averaging for d >= 2. Corollaries 2–4 verify the envelope hypothesis for scalar surface fields, exterior-spin boundary conditions, and periodic wrap-around bonds, with O(L^{-1}) comparisons of quenched means. The paper explicitly notes that it does not address convergence of finite-volume Gibbs measures, only the specific free energy.

Significance. If the result holds, it provides a clean and general statement of a physically expected fact: subextensive random boundary perturbations do not affect the limiting quenched specific free energy, and they also inherit a.s. self-averaging. The proof is elementary and fully self-contained, relying only on standard inequalities (Jensen, Efron–Stein, Borel–Cantelli), with no fitting parameters or hidden assumptions beyond those stated. The explicit hypotheses, especially the mean-zero condition (3), are used transparently. The paper also gives a useful unification of several common boundary conditions (surface fields, exterior spins, periodic bonds) under one theorem. Although the result is expected and incremental, it is a valuable reference statement for the mathematical spin-glass literature, and the Gaussian strengthening in the remark is a nice extra. The numerical figures are illustrative but not load-bearing.

minor comments (4)
  1. [Section 2, after Eq. (5)] The sentence 'Whenever B_L is random, we assume that it is measurable and that the resulting sample specific free energy is integrable' appears twice verbatim. Please delete the duplicate.
  2. [Proposition 5] The line 'observing that the corresponding limsup is bounded by the same supremum' is terse. Since the inequality P(Λ_L)/L^d ≤ sup_m P(Λ_m)/m^d holds trivially for every L, the limsup is bounded by the same supremum; combining this with (23) proves convergence. For the reader's convenience, spell this out or explicitly cite Fekete's lemma for the superadditive scalar sequence P(Λ_L). The argument is correct as written, but the presentation should be clearer.
  3. [Figures 2–4] The numerical figures lack any description of the simulation setup: model parameters (β, disorder distribution, dimension), number of samples, error bars, and how f∞ was estimated. If they are meant to illustrate the theorems, a short caption or text description is needed. If they are not part of the mathematical content, they should be removed or labeled as schematic. In particular, Fig. 4's caption says the curves 'confirm' an exact O(L^{-1}) suppression rate, while the paper proves upper bounds; please soften this claim.
  4. [Proof of Proposition 6, after Eq. (27)] The phrase 'The right-hand side is summable when d >= 2' refers to the Chebyshev bound in (28), not to the variance bound in (27). Rewording will avoid confusion: after (28), say 'the right-hand side of (28) is summable for d >= 2.'

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: derivation is self-contained from stated assumptions.

full rationale

The paper's central claim is a rigorous consequence of transparent, independently justified estimates. Lemma 7 compares the perturbed and free partition functions by the deterministic envelope A_L; Theorem 1 then transfers the free-boundary limit, which is established in Proposition 5 from superadditivity of E log Z under the explicitly stated mean-zero coupling hypothesis (3). No fitted parameter is later renamed as a prediction: the O(L^{-1}) bounds in Corollaries 2-4 are obtained directly from the envelope construction and the law of large numbers for O(L^{d-1}) variables divided by L^d. Proposition 6 supplies self-averaging via an Efron-Stein variance bound, and the Borel-Cantelli step is standard. The references cited are external and used only for standard facts (thermodynamic limits, jackknife variance, Gaussian concentration); none of the load-bearing steps is justified by a self-citation. The zero-mean assumption flagged by the reader is an explicit hypothesis, not a hidden reduction of the conclusion to its input. The numerical figures are labeled as illustrations and are not used in the proof. No equation is shown to be equivalent to its own input by construction, so the appropriate finding is no significant circularity.

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

The paper introduces no free parameters, no ad hoc constants, and no new physical entities. It relies on standard probability inequalities and the stated disorder assumptions. The central claim is derived from first principles.

assumptions (6)
  • domain assumption Bulk couplings J_e are i.i.d. with E J_e = 0 and finite variance (Eq. (3)); the bulk field is deterministic or i.i.d. with finite variance.
    Mean zero gives E u = 0 in Prop. 5 for the Jensen/superadditivity step; finite variance gives the Efron-Stein bound in Prop. 6 and integrability of the pressure.
  • domain assumption Boundary perturbation B_L is measurable, the sample free energy is integrable, and there exists A_L ≥ 0 with sup_σ |B_L(σ)| ≤ A_L, E A_L/V_L → 0, A_L/V_L → 0 a.s. (Eq. (7)).
    The envelope condition is the theorem's hypothesis; the corollaries verify it using finite second moments of surface/exterior/wrap-around couplings.
  • standard math Log-sum-exp is convex and Jensen's inequality applies (Prop. 5).
    Convexity of Φ(u) = log Z_Λ(u) and Jensen give E_u Φ(u) ≥ Φ(0), yielding superadditivity of the pressure.
  • standard math Efron–Stein inequality and bounded differences (Prop. 6).
    Variance bound (24) and hence a.s. self-averaging for d ≥ 2.
  • standard math Borel–Cantelli lemma and Chebyshev's inequality (Prop. 6 and Lemma 8).
    Summability of L^{-d} for d ≥ 2 and L^{-d-1} for Lemma 8 gives the almost-sure statements.
  • standard math Gaussian concentration inequality (Gaussian Remark).
    Gives exponential concentration for Gaussian disorder in every dimension; not needed for the main theorem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Subextensive Random Boundary Perturbations in the Short-Range Edwards--Anderson Model." pith.science (2026). https://pith.science/paper/C7274W53

@misc{pith2026260716770,
  author       = {Pith},
  title        = {Pith review of: Subextensive Random Boundary Perturbations in the Short-Range Edwards--Anderson Model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C7274W53}},
  note         = {Machine review of arXiv:2607.16770}
}
abstract

We consider the nearest-neighbor Edwards--Anderson Ising model on cubic boxes with random perturbations supported at the boundary. We prove that any perturbation admitting an energy envelope that is negligible compared with the volume, both in expectation and almost surely, leaves the limiting quenched specific free energy unchanged. For independent finite-variance bulk disorder in dimension at least two, an Efron--Stein estimate also yields almost-sure self-averaging along the full sequence of boxes. The hypotheses are verified for i.i.d. scalar surface fields, fixed random exterior spins, and periodic wrap-around bonds, with an $ O(L^{-1}) $ comparison of quenched means. The result concerns the specific free energy and does not assert convergence of finite-volume Gibbs measures.

Figures

Figures reproduced from arXiv: 2607.16770 by the authors.

Figure 1
Figure 1. Geometric realization of the 3D Edwards-Anderson model under subextensive random boundary perturbations. The interior nodes represent bulk spins governed by random couplings Je, while the highlighted surface layer ∂ΛL accommodates independent boundary fields or exterior configuration forces BL(σ), visually illustrating the partition defined in (2) and (5). The spatial layout and the interaction boundaries are schema… view at source ↗
Figure 2
Figure 2. Numerical verification of the thermodynamic limit for the quenched specific free energy f free L . The plot depicts the monotonic approach of f free L toward its asymptotic value f∞, corrobo￾rating the superadditivity property established in (20) and Proposition 5. Proof. Replace one coupling Je by an independent copy J ′ e . The two Hamiltonians differ uniformly by at most |Je − J ′ e |, and therefore |fbfree L (J)… view at source ↗
Figure 3
Figure 3. Decay of sample-to-sample fluctuations of the free-boundary specific free energy fbfree L with increasing box size L. The concentration of the empirical distribution around the mean justifies the application of the Efron–Stein variance bound (24) and the subsequent Borel–Cantelli argument. 4 Boundary comparison Lemma 7 (Deterministic comparison). If supσ |BL(σ)| ≤ AL, then e −βAL Z free L ≤ Z B L ≤ e βAL Z free L , … view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Scaling behavior of the boundary-induced free energy differences |f B L − f free L | across different boundary ensembles. The numerical curves confirm that the boundary corrections scale as O(L −1 ), aligning precisely with the analytical bounds derived in Corollaries …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 4 canonical work pages

  1. [9]

    A. C. D. van Enter, K. Netočný, and H. G. Schaap, On the Ising model with random boundary condition , J. Stat. Phys. 118 (2005), 997–1056. DOI: https://doi.org/10.1007/ s10955-004-2138-2

    2005

  2. [1]

    S. F. Edwards and P. W. Anderson, Theory of spin glasses , J. Phys. F: Met. Phys. 5 (1975), 965–974. DOI: https://doi.org/10.1088/0305-4608/5/5/017

    doi:10.1088/0305-4608/5/5/017 1975

  3. [2]

    Goulart Rosa, Jr., The thermodynamic limit of the quenched free energy of magnetic systems with random interactions , J

    S. Goulart Rosa, Jr., The thermodynamic limit of the quenched free energy of magnetic systems with random interactions , J. Phys. A: Math. Gen. 15 (1982), L51–L54. DOI: https://doi. org/10.1088/0305-4470/15/1/011

    work page doi:10.1088/0305-4470/15/1/011 1982

  4. [3]

    Contucci, C

    P. Contucci, C. Giardinà, and J. Pulé, The thermodynamic limit for finite dimensional classical and quantum disordered systems , Rev. Math. Phys. 16 (2004), 629–637. DOI: https://doi. org/10.1142/S0129055X04002060

    work page doi:10.1142/s0129055x04002060 2004

  5. [4]

    Contucci and S

    P. Contucci and S. Starr, Thermodynamic limit for spin glasses. Beyond the annealed bound , J. Stat. Phys. 135 (2009), 1159–1166. DOI: https://doi.org/10.1007/s10955-008-9676-y

    work page doi:10.1007/s10955-008-9676-y 2009

  6. [5]

    C. M. Newman and D. L. Stein, Multiple states and thermodynamic limits in short-ranged Ising spin-glass models , Phys. Rev. B 46 (1992), 973–982. DOI: https://doi.org/10.1103/ PhysRevB.46.973

    1992

  7. [6]

    Aizenman and J

    M. Aizenman and J. Wehr, Rounding effects of quenched randomness on first-order phase transitions, Commun. Math. Phys. 130 (1990), 489–528. DOI: https://doi.org/10.1007/ BF02096933

    1990

  8. [7]

    C. M. Newman and D. L. Stein, Metastate approach to thermodynamic chaos , Phys. Rev. E 55 (1997), 5194–5211. DOI: https://doi.org/10.1103/PhysRevE.55.5194

    doi:10.1103/physreve.55.5194 1997

Show all 11 references
  1. [8]

    E. O. Endo, A. C. D. van Enter, and A. Le Ny, The roles of random boundary conditions in spin systems , in In and Out of Equilibrium 3: Celebrating Vladas Sidoravicius , M. E. Vares, R. Fernández, L. R. Fontes, and C. M. Newman (eds.), Progress in Probability, vol. 77, Birkhäu...

    2021 doi

  2. [10]

    Efron and C

    B. Efron and C. Stein, The jackknife estimate of variance , Ann. Statist. 9 (1981), 586–596. DOI: https://doi.org/10.1214/aos/1176345462

    1981

  3. [11]

    Boucheron, G

    S. Boucheron, G. Lugosi, and P. Massart, Concentration Inequalities: A Nonasymptotic Theory of Independence, Oxford University Press, Oxford (2013). DOI: https://doi.org/10.1093/ acprof:oso/9780199535255.001.0001. 9 Hexiang W ang, School of Mathematical Sciences, Nankai Univer...

    2013

Pith tools

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