{"id":"5104b684-f299-45b1-a8d9-2b7a1e731136","arxiv_id":"1908.02920","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a solid-on-solid model of a driven interface, the paper proves that height fluctuations scale as N^(1/4) and converge to a stationary Ornstein-Uhlenbeck process with variance sigma/2.","lead":"Interfaces that separate two phases usually jiggle more as the system grows, but this paper proves that in a steady nonequilibrium setup with a current, the SOS interface in two dimensions fluctuates only like the fourth root of the system size, not the square root. The paper gives a rigorous scaling limit: the rescaled interface converges to a stationary Ornstein-Uhlenbeck process, offering a clean mathematical example of how a current can stiffen an interface.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The finite-dimensional convergence step is the weak point: the prefactor in (4.12) and Proposition 5.1 is wrong for t<1, so as written the proof does not establish the claimed OU limit.","rationale":"The reader's verdict is CONDITIONAL and the rationale mentions both the unproved uniqueness in Proposition 4.3 and typos in Proposition 5.1. My read agrees that the paper is likely correct in broad outline, but identifies the finite-dimensional convergence formula as the more load-bearing issue: a displayed asymptotic formula that is inconsistent with stationarity is not merely a missing citation, and it is the step that directly produces the Ornstein-Uhlenbeck limit. The uniqueness gap, by contrast, is genuine but easily closed by Krein-Rutman applied to the compact positive operator in (4.6). The central claim may still hold; the fix is standard, and the corrected prefactor e^{σ t/2} should restore the stationary OU covariance. Therefore I do not change the reader's CONDITIONAL verdict, but I would direct the authors to correct (4.12) and Proposition 5.1 before publication, and to add the missing uniqueness argument as a short proof or citation.","tokens_in":12401,"tokens_out":20420,"duration_ms":196259,"concrete_test":"Recompute the two-time limit E_N[ψ(\\tilde S_N(0))φ(\\tilde S_N(t))] from the exact expression λ_N^{-[t√N]} N^{-1/4} ∑_{r0,rt} \\tilde h_N(r0)ψ(r0) T_N^{[t√N]}([r0N^{1/4}],[rtN^{1/4}]) \\tilde h_N(rt)φ(rt). Keep the block length [t√N] in the eigenvalue factor and the shift r in the Brownian motion (B_s = r + σW_s). If the limit is e^{σ t/2}∫ψ(r)g(r)E_r(e^{-1/2∫_0^t B_s^2 ds}φ(B_t)g(B_t))dr, not the printed e^{σ/2}σB_t formula, then (4.12) and Proposition 5.1 need revision. Also verify that with t=1 and φ=1 the corrected formula returns the stationary marginal ∫ψ g^2; the printed formula does not.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing gap is in the finite-dimensional convergence argument, not the unproved uniqueness in Proposition 4.3. Iterating the eigenfunction relation (2.3) over a block of n=[t√N] steps gives a factor λ_N^{-n}, and since λ_N^{√N}→e^{-σ/2}, the correct prefactor in (4.12) is e^{σ t/2}, with the Brownian motion starting at r (B_s = r + σW_s). The printed formula has e^{σ/2} independent of t and writes σB_t without the shift r. As written it fails even the stationarity check for t=1, φ=1, giving ∫ψ(r)g(r)g(σr)dr instead of ∫ψ(r)g^2(r)dr. Proposition 5.1 compounds this by writing λ_N^{-k√N} and e^{kσ/2}; the total eigenvalue factor should be λ_N^{-[τ_k√N]}, whose limit is e^{σ τ_k/2} (e^{σ/2} only when τ_k=1). Until this is corrected, the displayed proof of Theorem 2.1 does not go through. The uniqueness issue in (4.6) is a smaller gap: it follows from Krein-Rutman for the compact, strictly positive Feynman-Kac semigroup.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the SOS approximation of an interface in a two-dimensional non-equilibrium stationary state produced by boundary reservoirs. The model is a one-dimensional interface s_x with Hamiltonian (1.1), containing a quadratic pinning potential and nearest-neighbor gradients. The authors represent the stationary measure as the marginal of a Doob h-transform of a random walk, using the positive eigenfunction of the kernel T_N defined in (2.2). Their main result, Theorem 2.1, states that the diffusively rescaled interface S̃_N(t)=s_{[tN^{1/2}]}/N^{1/4} converges in law to the stationary Ornstein-Uhlenbeck process with variance σ/2, and that λ_N^{√N}→e^{-σ/2}. The proof is organized into three parts: spectral estimates on h_N and λ_N (Section 3), convergence and identification of the rescaled eigenfunction (Section 4), and tightness plus finite-dimensional convergence (Section 5).","tokens_in":12657,"tokens_out":10866,"duration_ms":113468,"significance":"If the proof is completed, this is a significant contribution: it is one of the few rigorous results on interface fluctuations in a non-equilibrium stationary state, and it exhibits a concrete mechanism—a Doob transform of a random walk with a quadratic killing potential—that produces the N^{1/4} scaling and an Ornstein-Uhlenbeck limit. The dependence only on the variance σ^2 of the increment distribution is a clean universality statement, and the result is explicitly falsifiable within the SOS approximation. The paper is self-contained after the model is introduced, and the key estimates (Theorems 3.1 and 3.2, Lemma 4.1) are given in detail. However, the identification of the limit and the finite-dimensional convergence contain errors that must be fixed before the main theorem is established.","major_comments":[{"comment":"Iterating the eigenfunction relation (2.3) over [t√N] steps yields a prefactor λ_N^{-[t√N]}, and the claimed λ_N^{√N}→e^{-σ/2} then gives e^{σt/2} in the limit, not the t-independent e^{σ/2} printed in (4.12). This is not a bookkeeping typo: for t<1 and φ=1, the fixed-point identity (4.6) with g(r)=e^{-r^2/(2σ)} gives E_r(e^{-1/2∫_0^t B_s^2 ds}g(B_t))=e^{-σt/2}g(r), so the printed prefactor produces e^{σ(1-t)/2}∫ψ(r)g^2(r)dr instead of the stationary one-time marginal ∫ψ(r)g^2(r)dr. In addition, the Brownian motion in (4.12) must be the variance-σ^2 process starting at r (i.e. B_s=r+σW_s), and the arguments σB_t in φ and g should be B_t; as written the expression is inconsistent with (4.9)–(4.11).","section":"Eq. (4.12), Section 4"},{"comment":"The displayed finite-dimensional formula uses a single factor λ_N^{-k√N} and concludes e^{kσ/2}. But the elapsed time from 0 to τ_k is τ_k, and the product of the per-block eigenfunction factors is λ_N^{-([τ_1√N]+...+[τ_k√N])}, whose limit is e^{στ_k/2}; this equals e^{kσ/2} only when all τ_i=1, which is not the general case. Consequently the displayed proof does not establish convergence of the finite-dimensional distributions to the claimed OU process. The formula also omits the successive Feynman-Kac factors over the intervals (τ_{i-1},τ_i] and the correct Brownian shifts r_{i-1}+σW_s; these must be written precisely before the limit can be evaluated.","section":"Proposition 5.1, Section 5"},{"comment":"The proposition asserts uniqueness of the positive solution of the fixed-point equation (4.6), but no proof or reference is supplied. This uniqueness is load-bearing: without it, different subsequences of h̃_N could converge to different positive eigenfunctions, and Corollary 4.4 and the identification λ=e^{-σ/2} would not follow. The assertion is plausibly true and can be justified by applying the Krein-Rutman theorem to the compact, strictly positive Feynman-Kac operator on the right-hand side of (4.6), but the proof should be included in the manuscript.","section":"Proposition 4.3, Section 4"}],"minor_comments":[{"comment":"The manuscript text contains numerous OCR/rendering artifacts (e.g. 'N^{1/slash.left4}', '/summation.disp', '/parallel.alt1', '/parenleft.alt2'); these should be cleaned up before publication.","section":"Throughout"},{"comment":"The notation for the Brownian motion is inconsistent: in (4.9)–(4.11) the limit process is r+σB_s with B_s standard, while (4.12) writes σB_s without the shift. Please standardize, for instance by declaring that B_s in (4.12) denotes the Brownian motion with variance σ^2 starting at r, or by writing r+σW_s explicitly.","section":"Eqs. (4.9)–(4.12), Section 4"},{"comment":"In the proof of the fourth-moment bound, the local limit estimate (5.3) is quoted for all s; the uniformity of the constant over the relevant range of s should be stated explicitly, since the bound is then used under summation over s.","section":"Proposition 5.2, Section 5"},{"comment":"In the heuristics leading to the SOS Hamiltonian (1.1), the reduction of ∑_{i=1}^{|s_x|} i/N to s_x^2/N should be described as an approximation up to lower-order boundary terms, since the exact identity is ∑_{i=1}^{m} i/N = m(m+1)/(2N).","section":"Section 1"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the journal's scope and addresses an interesting and timely problem. The central idea is sound, but the proof as written is not complete: the prefactor errors in (4.12) and Proposition 5.1 are load-bearing and must be corrected, and Proposition 4.3 needs a proof of uniqueness. These are repairable, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves that in the SOS approximation of a boundary-driven 2D interface, stationary fluctuations scale as N^{1/4} and converge to a stationary Ornstein-Uhlenbeck process with variance σ/2, with λ_N^{√N} → e^{-σ/2}. This is a meaningful first rigorous, albeit SOS-level, demonstration that a steady current stiffens an interface. The authors do not overclaim the physical scope.\n\nWhat's new and good: the eigenvalue asymptotic is original, and the proof is mostly self-contained. The key estimates—Theorem 3.2's exponential decay of the eigenfunction and Lemma 4.1—are given in real detail. Tightness (Prop 5.2) is fine. The uniqueness gap flagged in Prop 4.3 is real but minor: (4.6) is a Krein-Rutman equation for a compact, strictly positive Feynman-Kac semigroup, so uniqueness up to normalization is standard and can be cited rather than proved.\n\nThe soft spot is bigger than that. The stress-test note is correct: the prefactor in (4.12) and in Proposition 5.1 is wrong for t<1. Iterating the eigenfunction relation over n=[t√N] steps gives λ_N^{-n}, and since λ_N^{√N}→e^{-σ/2}, the correct prefactor is e^{σ t/2}, not e^{σ/2} independent of t. Proposition 5.1's e^{kσ/2} should be e^{σ τ_k/2} (or a product e^{σ t_i/2}). The printed integrand also drops the shift r; the OU limit should involve (σB_s + r), not σB_s alone. As written, the displayed proof of Theorem 2.1 does not establish the OU limit for general t—the stationarity check for t=1, φ=1 gives ∫ψ(r)g(r)g(σr)dr instead of ∫ψ(r)g^2(r)dr.\n\nThis is a load-bearing error, but it is clearly fixable: replace the prefactor, shift the Brownian motion, and the rest of the proof structure holds. The paper deserves a serious referee. I would send it out, asking the authors to fix the finite-dimensional computation and add the Krein-Rutman citation for Prop 4.3.\n\nWho is this for: probabilists and statistical physicists working on NESS interfaces. It is a useful contribution once corrected; I would cite the corrected version, not the current one.","headline":"Real SOS result with a fixable but real proof slip in the finite-dimensional convergence step; deserves a major-revision referee, not a desk reject.","tokens_in":13213,"tokens_out":3459,"would_cite":false,"duration_ms":36290,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","60F17","82B24","82C22"],"pacs":[],"model":"deepseek-v4-flash","headline":"A driven 2D interface in the SOS approximation fluctuates on the N^{1/4} scale, and its scaling limit is a stationary Ornstein-Uhlenbeck process.","keywords":["non equilibrium stationary states","SOS model","interface fluctuations","Ornstein-Uhlenbeck process","N^{1/4} scaling","eigenfunction","Markov chain","Ginzburg-Landau models"],"falsifier":"Solve equation (4.6) numerically on a grid with positive non-Gaussian initial data and see whether iteration converges to a fixed point other than $e^{-r^2/(2\\sigma)}$; exhibiting any such positive fixed point would falsify the uniqueness assertion on which Proposition 4.3 and Theorem 2.1 rest.","tokens_in":12185,"feed_emoji":"","tokens_out":11799,"duration_ms":107771,"temperature":0.7,"pith_summary":"This paper studies the interface in a two-dimensional solid-on-solid (SOS) approximation of a boundary-driven Ginzburg-Landau/Ising model whose non-equilibrium stationary state was constructed in a companion paper [4]. The central claim is that a stationary current makes the interface far more rigid than in thermal equilibrium: the rescaled interface position $\\tilde S_N(t)=s_{[tN^{1/2}]}/N^{1/4}$ converges in law to a stationary Ornstein-Uhlenbeck process, so fluctuations are of order $N^{1/4}$ rather than the $\\sqrt N$ order of the equilibrium 2D Ising interface. The proof works by showing that the principal eigenfunction of a compact transfer kernel converges to a Gaussian profile $e^{-r^2/(2\\sigma)}$, and that the associated eigenvalue satisfies $\\lambda_N^{\\sqrt N}\\to e^{-\\sigma/2}$. The argument matters because it gives a rigorous instance where the non-local, non-equilibrium nature of the stationary state still allows an explicit and universal scaling limit.","feed_headline":"Driven 2D interface fluctuates as N^{1/4}, not square-root N","feed_subtitle":"The SOS interface converges to an Ornstein-Uhlenbeck process, so a current suppresses wandering.","key_machinery":"The load-bearing object is the positive compact transfer operator $T_N$ with kernel $T_N(s,s')=e^{-(s^2+s'^2)/(2N)}\\pi(s-s')$. By the Krein-Rutman theorem it has a strictly positive eigenfunction $h_N$ with eigenvalue $\\lambda_N$; these define the reversible Markov chain $p_N(s,s')=h_N(s')T_N(s,s')/(\\lambda_N h_N(s))$, whose law under the Gibbs state is exactly the SOS statistical weight. The argument then runs through three steps: Gaussian bounds on $h_N(s)\\le C N^{-1/8} e^{-cs^2/\\sqrt N}$, compactness of the rescaled functions $\\tilde h_N(r)=N^{1/8}h_N([rN^{1/4}])$ in $L^2(\\mathbb R)$, and identification of every limit point via the Feynman-Kac fixed-point equation (4.6), whose solution $u(r)=e^{-r^2/(2\\sigma)}$ with $\\lambda=e^{-\\sigma/2}$ is the Gaussian profile. This fixed-point equation is the central identity that connects the discrete spectral problem to the Ornstein-Uhlenbeck limit.","core_discovery":"The paper's discovery is Theorem 2.1: starting from the SOS Hamiltonian $H_N(s)=N^{-1}\\sum s_x^2+\\sum |s_x-s_{x-1}|$ with boundary distribution given by the principal eigenfunction of $T_N(s,s')=e^{-(s^2+s'^2)/(2N)}\\pi(s-s')$, the process $\\tilde S_N(t)=s_{[tN^{1/2}]}/N^{1/4}$ converges in law on $C([0,1])$ to the stationary Ornstein-Uhlenbeck process with variance $\\sigma/2$, where $\\sigma^2$ is the variance of the symmetric increment distribution $\\pi$. The same theorem gives $\\lambda_N^{\\sqrt N}\\to e^{-\\sigma/2}$. In physical terms, the interface is pinned by the slowly varying magnetic field inherited from the non-equilibrium stationary state: the quadratic potential term suppresses the $\\sqrt N$ equilibrium wandering down to $N^{1/4}$, and the limiting process is universal in the sense that only the variance of the increments survives in the limit.","pith_inferences":["We infer that the $N^{1/4}$ scaling should persist in the full Ginzburg-Landau/Ising model of [4] as long as the interface is a single graph, since the SOS computation shows the pinning is caused by the quadratic potential from the slowly varying field rather than by special features of the step distribution.","The unproved uniqueness in Proposition 4.3 suggests a concrete analytic target: proving that the Feynman-Kac operator $u\\mapsto \\mathbb E_r(e^{-\\frac12\\int_0^1 B_s^2 ds}u(B_1))$ is a contraction in a suitable cone would close the gap and also give quantitative speed of convergence for $\\tilde h_N$.","We infer that the equivalence between the SOS Gibbs state and the reversible Markov chain of (2.6) opens a simulation-friendly route: generating the chain and measuring $N^{-1/4}$ fluctuations tests the theory directly and would also probe finite-$N$ corrections to the $e^{-\\sigma/2}$ law."],"forward_implications":["In the SOS approximation of the non-equilibrium stationary state, interface fluctuations are of order $N^{1/4}$, not the $\\sqrt N$ order of the equilibrium 2D Ising interface.","The scaling limit is a stationary Ornstein-Uhlenbeck process with variance $\\sigma/2$, depending on the single-step distribution only through its variance.","The eigenvalue asymptotics $\\lambda_N^{\\sqrt N}\\to e^{-\\sigma/2}$ give a quantitative relation between the spectral gap of the transfer operator and the amplitude of stationary fluctuations.","The result supports the general picture that a stationary current created by boundary reservoirs strongly suppresses interface wandering, at least when the interface is a single graph.","Because the limit is Gaussian and Markovian, the SOS interface in the non-equilibrium stationary state admits an explicit effective description as an Ornstein-Uhlenbeck process with variance set by the step distribution."],"supporting_citations":[{"why":"Constructs the non-equilibrium stationary state for Ginzburg-Landau models whose interface this paper studies in the SOS approximation.","marker":"[4]"},{"why":"Establishes the sqrt N equilibrium interface fluctuations in the 2D Ising model, the comparison baseline for the N^{1/4} result.","marker":"[7]"},{"why":"Krein-Rutman theorem supplies the strictly positive eigenfunction and eigenvalue that define the invariant measure and the Markov chain.","marker":"[11]"},{"why":"Local central limit theorem and random-walk transition estimates used in the eigenfunction bounds and in the fourth-moment tightness estimate.","marker":"[12]"},{"why":"Kolmogorov-Riesz compactness criterion justifies sequential compactness of the rescaled eigenfunctions in L2(R).","marker":"[10]"},{"why":"Gives the tightness criterion used to lift finite-dimensional convergence to convergence in C([0,1]).","marker":"[3]"},{"why":"Provides the invariance principle for constrained SOS interfaces that the paper adapts to the unconstrained non-equilibrium setting.","marker":"[9]"}],"fun_headline_variants":["SOS interface: N^(1/4) fluctuations, OU limit","Driven interface pinned to N^(1/4) wandering","From sqrt(N) to N^(1/4): SOS scaling"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the fixed-point equation (4.6) has a unique positive solution up to normalization, namely $u(r)=e^{-r^2/(2\\sigma)}$; the paper asserts this uniqueness but does not prove or cite it, so if another positive solution existed, different subsequences of $\\tilde h_N$ could converge to different limits and Theorem 2.1 would not follow.","fun_headline_variants_meta":{"raw":{"variants":["SOS interface: N^(1/4) fluctuations, OU limit","Driven interface pinned to N^(1/4) wandering","From sqrt(N) to N^(1/4): SOS scaling"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000683,"raw_usage":{"total_tokens":3036,"prompt_tokens":818,"completion_tokens":2218,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":434,"completion_tokens_details":{"reasoning_tokens":2159}},"tokens_in":434,"tokens_out":2218,"duration_ms":19031,"temperature":1.0,"reasoning_tokens":2159,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:31:08.210291+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve equation (4.6) numerically on a grid with positive non-Gaussian initial data and see whether iteration converges to a fixed point other than $e^{-r^2/(2\\sigma)}$; exhibiting any such positive fixed point would falsify the uniqueness assertion on which Proposition 4.3 and Theorem 2.1 rest.","supporting_citations":[{"cited_title":"De Masi, S","cited_arxiv_id":null,"evidence_quote":"Constructs the non-equilibrium stationary state for Ginzburg-Landau models whose interface this paper studies in the SOS approximation."},{"cited_title":"Gallavotti, (1972) The phase separation line in the two-dimensional Ising mode l, Com- mun","cited_arxiv_id":null,"evidence_quote":"Establishes the sqrt N equilibrium interface fluctuations in the 2D Ising model, the comparison baseline for the N^{1/4} result."},{"cited_title":"Krein, M.A","cited_arxiv_id":null,"evidence_quote":"Krein-Rutman theorem supplies the strictly positive eigenfunction and eigenvalue that define the invariant measure and the Markov chain."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Local central limit theorem and random-walk transition estimates used in the eigenfunction bounds and in the fourth-moment tightness estimate."},{"cited_title":"Billingsley Convergence of Probability measures Wiley, New York, 1968","cited_arxiv_id":null,"evidence_quote":"Gives the tightness criterion used to lift finite-dimensional convergence to convergence in C([0,1])."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the invariance principle for constrained SOS interfaces that the paper adapts to the unconstrained non-equilibrium setting."}],"review_version":1}