{"id":"6b91f21f-4001-4280-94ef-3fcc666a7566","arxiv_id":"2607.18326","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In disordered Ising models, the surface free-energy density can depend on the shape of the volume and need not converge in one dimension, but it does converge to a deterministic constant in the high-temperature Dobrushin uniqueness regime on cubic boxes.","lead":"This paper rigorously analyzes when boundary corrections to the free energy of a disordered Ising magnet have a well-defined limit: they can fail in one dimension and for odd-shaped boxes, but they converge on cubic boxes in the high-temperature regime. It also proves a temperature-uniform variance bound for domain-wall free-energy differences, while leaving the low-temperature Gaussian spin-glass case open.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; Theorem 2 is internally consistent within its stated Dobrushin-uniqueness regime, with scope limits explicitly declared.","rationale":"The reader's verdict ACCEPT with MODERATE confidence is appropriate. The paper's Theorem 2 is a conditional theorem: it proves a surface free-energy limit under the Dobrushin uniqueness regime (D). All heavy machinery—Dobrushin comparison, half-space construction, concentration via McDiarmid—is used in a standard way and the estimates check out. The abstract and Section 9 explicitly flag the low-temperature Gaussian problem as open, and Theorem 1 shows no model-independent limit. Thus the central claim is not overreaching. The only candidate concern is the narrowness of the Dobrushin regime, but that is a declared scope limitation, not a defect. I therefore recommend leaving the reader's verdict unchanged. I marked agreement partial because the reader's weakest_assumption (the α<1 condition) is indeed the most fragile premise, but in my reading it is an explicit hypothesis rather than a threat to the proof. No formal machine verification was attempted, so I rely on a careful line-by-line reading of Sections 5.5–6.2 and 7.1.","tokens_in":13694,"tokens_out":38028,"duration_ms":356230,"concrete_test":"Independently re-derive the key comparison estimate (52) from Lemma 4 for a target-face edge, verifying the radius-R agreement of specifications and the α^R decay; separately recompute the depth-layer count in (58). If these estimates survive, the convergence proof of Theorem 2 stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is conditional on regime (D): α=2d tanh(βJ*)<1, bounded i.i.d. couplings, and the cube/rectangle sequence. Every load-bearing step is supplied inside that regime: Lemma 4 gives the half-space state and exponential comparison; (53) controls the boundary average; (58)+(13) give surface-order concentration. The only scope limits—low-temperature Gaussian open problem (Sec. 9), dependence on van Hove sequence in d=1 (Thm. 1), and the absence of any claim for arbitrary van Hove sequences—are explicitly stated. I found no internal inconsistency or unsupported leap that would threaten Theorem 2. Minor notes: the constant in (52) uses Σδ_i(q_e)≤4 rather than 2, and the r=0 depth contribution is folded into the geometric sum; both are conservative and do not affect convergence.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the boundary correction to the free energy of disordered Ising models. It first gives one-dimensional counterexamples showing that the surface free-energy density can depend on the van Hove exhaustion and that the sample correction need not converge in probability. The main positive result, Theorem 2, proves under the Dobrushin uniqueness condition α = 2d tanh(βJ*) < 1 for bounded i.i.d. couplings on cubic boxes in d ≥ 2 that the normalized free-to-fixed boundary free-energy difference converges in expectation, almost surely, and in every L^p to an explicit half-space boundary response τ(β), with an explicit surface-order concentration estimate. A parallel result is given for rectangular boxes with a summability condition for almost-sure convergence. The paper also derives exact Gaussian and independent-copy interpolation identities, proves a temperature-uniform variance bound for seam-flip free-energy differences via Efron–Stein, and discusses why the low-temperature Gaussian Edwards–Anderson limit remains open.","tokens_in":13894,"tokens_out":17589,"duration_ms":164681,"significance":"If the results are correct, the paper establishes the first rigorous deterministic surface free-energy density for high-temperature disordered Ising models with regular boxes, providing an explicit representation as an integral of a half-space boundary response and quantitative concentration with explicit constants. The one-dimensional counterexamples cleanly separate the roles of boundary geometry, normalization, and mode of convergence. The seam-flip variance bound is temperature-uniform and sharp in its scaling, and the honest discussion of the open low-temperature problem clarifies the limits of the method. The proofs are largely self-contained and use standard tools (Dobrushin comparison, Gaussian interpolation, concentration inequalities) with no fitting or post-hoc assumptions. The scope restrictions are stated explicitly and are not hidden.","major_comments":[],"minor_comments":[{"comment":"Item 4 lists four inequivalent boundary-condition comparisons, but the proof text only explicitly proves items 1, 2, and 5 (Section 6.3, Eq. (76)). Please either supply a brief proof or reference for item 4 or remove it from the theorem statement.","section":"Theorem 1, item 4"},{"comment":"The text refers to 'Theorem 4' in the half-space construction and in the proof of Theorem 2; the cited result is Lemma 4. Please correct the cross-reference.","section":"Section 6.1 and 6.2"},{"comment":"The bound in (52) uses Σ_i δ_i(q_e) ≤ 4, but for a single spin observable the sum is 2; the factor is conservative. Similarly, the first term in (53) appears to contain an extra factor of 2 relative to the stated fraction of bad edges. These do not affect convergence, but the constants should be corrected or justified.","section":"Eq. (52)–(53)"},{"comment":"The notation 'set e0 = (e1, 0)' is ambiguous. e0 should be described more explicitly as a boundary edge, e.g., connecting (1,0,...,0) to (0,0,...,0), to avoid confusion with a coordinate vector.","section":"Theorem 2, Eq. (10)"},{"comment":"For rectangular boxes the sentence 'At each depth the number of internal edges is at most 2d b_L' mirrors the cube argument, but the analogous vertex-counting statement with b_L defined in (59) is not spelled out. A short clarification would help.","section":"Eq. (58)"}],"recommendation":"minor_revision","confidential_remarks":"The central claim (Theorem 2) is sound and the proof is carefully executed within the stated Dobrushin regime. I recommend minor revision; the outstanding items are local presentation issues, not technical gaps. The most substantive request is to fix the unsupported assertion in Theorem 1, item 4."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis one is worth your time. The paper proves a real theorem (Theorem 2): for bounded i.i.d. couplings on cubes, in the strict Dobrushin uniqueness regime, the free-to-fixed boundary free-energy difference divided by boundary size converges to an explicit half-space limit, with a.s. and L^p convergence and surface-order concentration. The proof is all there—Dobrushin comparison, the linear interpolation path, McDiarmid via depth-oscillation sums. I checked the constants in (58) and the depth layering; they work, and the stress-test note about the conservative 4 instead of 2 in the oscillation sum is right—it only makes the bound larger.\n\nThe negative results are just as good. The nested van Hove exhaustion in Section 6.3 giving two different subsequential surface limits is a clean counterexample, and the one-dimensional failure of convergence in probability (Section 6.4) is the right way to state what goes wrong. Theorem 3's seam variance bound via Efron–Stein is simple and rigorous, with a one-Lipschitz observation that carries to ground states.\n\nWhat I like most is the honesty about scope. The main theorem is explicitly conditional on α < 1 and bounded couplings; the Gaussian low-temperature problem is stated as open in Section 9; the paper does not oversell. The interpolation identities for Gaussian boundary disorder are nice but are correctly labeled as not sufficient for a low-temperature limit.\n\nSoft spots are minor. The figures look like decorative filler—no reference to them in the text, and their captions read like placeholders. They should be cut. There is also a slight over-broad title; the content is about high-temperature surface limits, not boundary free energies in general. The stochastic-localization discussion in Section 8.3 is more about what does not work than what does, but it is clearly flagged.\n\nI see no circularity or fitting. The finite-volume identities are derived, not assumed, and the half-space representation of τ(β) follows from the comparison estimate. The reader's ACCEPT verdict with moderate confidence seems right to me.\n\nWho should read it: anyone working on surface free energies, spin-glass boundary effects, or rigorous high-temperature Gibbs measures. It is not a grand breakthrough, but it settles a natural question cleanly and leaves the right open problem.\n\nMy recommendation: send to a serious referee. It will likely be accepted after removing the decorative figures and tightening a few constants.","headline":"A solid, honest paper: proves a deterministic high-temperature surface free-energy limit for disordered Ising models in the Dobrushin regime, with clean counterexamples showing why none exists in general; deserves a serious referee.","tokens_in":14371,"tokens_out":5052,"would_cite":true,"duration_ms":51104,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B44","82B20","60K35","82B27"],"pacs":[],"model":"deepseek-v4-flash","headline":"An explicit surface free-energy density exists for bounded disordered Ising models at high temperature; without strong assumptions, no universal surface limit exists.","keywords":["boundary free energy","disordered Ising model","surface free-energy density","van Hove sequence","seam flip","spin glass","self-averaging","concentration inequality"],"falsifier":"The half-space formula (11) makes a sharp prediction: the boundary-spin expectation E[K_{e0}⟨σ_{e1}⟩_{H,s}] is independent of the exhaustion and exterior conditioning used to build the half-space state. If two natural constructions give different values of the integral, the theorem's τ(β) is not well-defined. Alternatively, in the paper's one-dimensional example, sample values ΔF_L/b_L along centered intervals in one fixed i.i.d. environment should fail to converge in probability even though the expectation converges.","tokens_in":13587,"feed_emoji":"🧲","tokens_out":7172,"duration_ms":62913,"temperature":0.7,"pith_summary":"The paper asks whether the boundary correction to the free energy of a disordered Ising magnet has a well-defined thermodynamic limit when divided by the number of boundary bonds. It answers no in general: in one dimension with i.i.d. disorder, different van Hove sequences of boxes give different limiting surface densities, and along intervals the random correction need not converge in probability. It answers yes in the bounded, high-temperature uniqueness regime in dimensions d≥2: for cubic boxes, the normalized free-to-fixed boundary correction converges in expectation, almost surely, and in every L^p to a deterministic constant τ(β), with Gaussian-type surface-order fluctuations. The paper also proves a temperature-uniform variance bound for seam-flip free-energy differences and derives exact Gaussian interpolation identities, while stressing that these do not by themselves settle the low-temperature Gaussian spin-glass surface problem.","feed_headline":"Hot disordered Ising magnets get a deterministic surface free energy","feed_subtitle":"Bounded couplings make the boundary correction self-average; without them, shape changes the limit.","key_machinery":"The load-bearing object is the half-space Gibbs state on the half-space H={x∈Z^d: x_1≥1}, with boundary couplings interpolated by a parameter s∈[0,1]. Under the strict high-temperature uniqueness condition (α=2d tanh(βJ*)<1), the single-site influence matrix has row sums bounded by α<1, so an exponential comparison estimate makes this state unique and exponentially close to finite-box Gibbs measures with matching boundary fields; this converts the finite-volume free-energy difference into an integral over s of boundary-spin expectations. Summing squared oscillations of the free energy under resampling individual bonds feeds a bounded-differences concentration inequality, giving the surface-o","core_discovery":"The central positive claim is Theorem 2: in the strict high-temperature uniqueness regime defined by α=2d tanh(βJ*)<1, with bounded i.i.d. couplings, cubic boxes, and d≥2, the quantity ΔF_L/b_L—the free-to-fixed boundary free-energy difference divided by the number of boundary bonds—converges to a deterministic constant τ(β). The paper identifies τ(β) explicitly as τ(β)=-∫_0^1 E[K_{e0}⟨σ_{e1}⟩_{H,s}] ds, where ⟨σ_{e1}⟩_{H,s} is the boundary-spin expectation in the unique Gibbs state of the half-space lattice with interpolated boundary couplings. Convergence holds in expectation, almost surely, and in every L^p, and the centered correction satisfies the surface-order concentration bound P(|ΔF","pith_inferences":["The explicit half-space formula suggests a practical finite-volume estimator for τ(β): simulate boundary-spin correlations with interpolated boundary couplings and integrate over s; the paper does not propose such an algorithm.","The one-dimensional counterexample operates inside the high-temperature regime, so for bounded couplings the obstruction to a universal surface limit is not low temperature—it is the combination of geometry and randomness; one might expect similar sequence-dependence for anisotropic boundaries in d≥2 outside the regular-box class.","Theorem 3's temperature-uniform bound implies the same variance inequality holds for ground-state energies, so the upper-critical stiffness exponent (d−1)/2 is a zero-temperature statement too; whether the exponent is actually reached or is model-dependent could be tested by exact ground-state enumeration on small boxes.","A possible route to the low-temperature Gaussian problem would be to construct a cube-sequence analogue of the van Hove counterexample, or to prove that the boundary-overlap quantity on the right of the interpolation identity has a unique full-sequence limit; the paper shows neither is immediate."],"forward_implications":["In the bounded high-temperature regime, two experiments on the same disordered sample—one with free, one with frozen exterior spins—will measure the same bulk free energy and a deterministic surface correction per boundary bond; sample-to-sample surface noise disappears as L→∞.","The normalized correction L(f^fixed_L − f^free_L) tends to 2d τ(β), so the surface free-energy density in this regime is computable from a half-space correlation function.","The surface free-energy density is not independent of box shape: only regular boxes with diverging minimum side are guaranteed to share the same limit, and the paper's one-dimensional example shows that other van Hove sequences can give different values.","Domain-wall (seam-flip) free-energy fluctuations are bounded by 4v|S_L| uniformly in temperature, so a root-mean-square stiffness exponent, if it exists, cannot exceed (d−1)/2.","The Gaussian low-temperature surface limit is not a consequence of these identities; it remains open."],"fun_headline_variants":["Boundary free energy self-averages in disordered Ising magnets","Disordered Ising boundary free energy becomes deterministic","Bounded disorder yields deterministic boundary free energy","High-temperature Ising boundary free energy self-averages"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The theorem's proof breaks if the strict high-temperature uniqueness condition α=2d tanh(βJ*)<1 fails, or if the couplings are unbounded (e.g., Gaussian at low temperature); without those conditions no convergence or concentration bound is proved, and the paper explicitly leaves the Gaussian low-temperature limit open.","fun_headline_variants_meta":{"raw":{"variants":["Boundary free energy self-averages in disordered Ising magnets","Disordered Ising boundary free energy becomes deterministic","Bounded disorder yields deterministic boundary free energy","High-temperature Ising boundary free energy self-averages"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000612,"raw_usage":{"total_tokens":2691,"prompt_tokens":759,"completion_tokens":1932,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":503,"completion_tokens_details":{"reasoning_tokens":1870}},"tokens_in":503,"tokens_out":1932,"duration_ms":14747,"temperature":1.0,"reasoning_tokens":1870,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T19:58:10.917983+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The half-space formula (11) makes a sharp prediction: the boundary-spin expectation E[K_{e0}⟨σ_{e1}⟩_{H,s}] is independent of the exhaustion and exterior conditioning used to build the half-space state. If two natural constructions give different values of the integral, the theorem's τ(β) is not well-defined. Alternatively, in the paper's one-dimensional example, sample values ΔF_L/b_L along centered intervals in one fixed i.i.d. environment should fail to converge in probability even though the expectation converges.","supporting_citations":[],"review_version":1}