{"id":"1e86fc13-b3ae-46ca-b458-3a164e0f5438","arxiv_id":"1908.02944","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A weakly biased one-dimensional voter model interface converges in diffusive scaling to a measure-valued process whose boundary is a drifted Brownian motion with drift and diffusion set by the model's jump kernel.","lead":"This paper proves that the interface of a weakly biased one-dimensional voter model, after diffusive rescaling, converges to a single drifted Brownian path separating regions of 0s and 1s. The result extends the known unbiased voter model limit to biased populations and gives a rigorous scaling limit for interfaces in a simple model of competing opinions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The stated set S01_int in (1.2) includes infinite-interface states for which the weighted midpoint M(x) in (1.6) is undefined; the proof only works for finite-interface states, so the theorem's domain needs correction.","rationale":"The reader's weakest assumption concerns the external [SSY19] inputs to Lemma 2.2. That is a legitimate dependency, but the prior results are published and the local arguments using them appear internally consistent. A more direct issue is the mismatch between the displayed definition of S01_int and the finite-interface structure used everywhere in the proof. The paper explicitly calls S01_int and S-bar01_int countable, which is false for (1.2). This is not an attack on the correctness of the invariance principle for finite interfaces; rather, the theorem statement as written quantifies over a larger class for which M(x), L(x), and I_k(x) are undefined. A reader following (1.2) literally cannot even formulate Lemma 2.1. Because the fix is a one-line amendment to (1.2) and the intended result is clear from context, conditional acceptance rather than rejection is appropriate. This concern is not the one the reader identified, so agreement_with_reader is set to disagree.","tokens_in":21465,"tokens_out":30797,"duration_ms":344843,"concrete_test":"Let x0(i)=1_{i>0}, and set x0(-2^n)=1 for n>=1, x0(i)=0 for all other i<0. This x0 satisfies the displayed definition (1.2), but for every M in Z+1/2 the left side of (1.6) is infinite and the right side is finite, so no unique M(x0) exists and L(x0)=-infinity. Check whether the authors intend S01_int to be the finite-interface set {x: there exists N such that x(i)=0 for all i<=-N and x(i)=1 for all i>=N}. If yes, amend (1.2) accordingly and confirm that all uses of countability and finiteness in Sections 2.1-2.3 refer to this same set.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Section 1.1 defines S01_int via only the left/right limits in (1.2), while Section 1.2 states that S01_int and S-bar01_int are countable. These are incompatible: the limit definition allows configurations with infinitely many 1's scattered to the left, so the orbit space is uncountable. More importantly, for such configurations the defining equation (1.6) has no finite solution M(x): the left-hand sum can be infinite while the right-hand sum is finite. Consequently the weighted midpoint, the left boundary L(x) (which becomes -infinity), the quantities I_k(x), and the time-change in Lemma 2.1 are not well-defined for states admitted by the displayed definition. The proof uses countability, irreducibility of the quotient chain, and finiteness of I_k throughout Sections 2.1-2.3, so the theorem as literally stated is not meaningful for every x in (1.2). The intended domain is evidently the set of finite-interface states, i.e., x(i)=0 for all i sufficiently negative and x(i)=1 for all i sufficiently positive. That set is countable and makes (1.6)-(2.1) well-defined. The discrepancy should be fixed; if (1.2) is replaced by this finite-interface definition, the proof structure is consistent.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves an invariance principle for the interface of a one-dimensional biased voter model in the weak-bias diffusive scaling. For a kernel satisfying irreducibility, mean zero, and finite second moment, and for any initial state in S01_int, the rescaled measure-valued process (1.3) is shown to converge weakly on D([0,∞), M(R)) to the measure-valued process (1.4), whose density is the indicator of a half-line with boundary B_t = W_{σ^2 t} - (1/2)σ^2 t. The proof proceeds by first proving convergence of the weighted midpoint via a time-changed random walk representation, then establishing convergence of the time change through renewal arguments based on the authors' earlier paper [SSY19], and finally deriving finite-dimensional convergence and tightness through comparisons with the unbiased voter model and Jakubowski's tightness criterion.","tokens_in":21723,"tokens_out":42194,"duration_ms":460508,"significance":"If correct, this is a substantial and natural extension of the unbiased voter model interface invariance principle of [AS11] to biased models, and it rigorously confirms the heuristic that under diffusive scaling the interface is a sharp drifted Brownian boundary. The limiting parameters are explicit and parameter-free: the diffusion coefficient is the second moment σ^2 and the drift is -σ^2/2. The paper is carefully structured, includes complete proofs of the auxiliary lemmas in an appendix, and builds on published results [SSY19] for interface tightness and the equilibrium equation; these results are used without assuming the target theorem, so I do not see a circularity concern. The proof is technically demanding, especially the tightness argument, and the paper represents a solid contribution to the interface scaling literature.","major_comments":[],"minor_comments":[{"comment":"In the estimate for σ^{n,-}_s, the event in the probability on the right-hand side should be {⟨ν^{εn}_{s+δ}, f⟩ − ⟨ν^{εn}_s, f⟩ ≤ −η/2} rather than {≥ η/2}. Applying the argument of (2.60) to the negative of the increment yields the lower-tail event; the displayed upper-tail event would only be obtained after an additional symmetry argument in the Brownian limit. Please correct the sign and spell out the symmetry step, since as written the verification of (2.59)(ii) is not correct.","section":"2.5, Eq. (2.66)"},{"comment":"Lemma 2.15 is stated for deterministic initial states with ν^{εn}_0 converging vaguely to 1_{y≥0}dy. In (2.66) the unbiased process is started at time s from the random state X^{εn}_s, whose rescaled measure converges only in distribution to 1_{x≥B_s}dx. Please add a justification (for example by Skorohod representation and translation invariance, or by stating a conditional version of Lemma 2.15) for replacing the pre-limit probability by the Brownian probability with initial boundary B_s.","section":"2.5, Eq. (2.66)"},{"comment":"The definition (1.2) in fact implies that the set of sites where x differs from a Heaviside configuration is finite; consequently S01_int and its quotient are countable and the weighted midpoint in (1.6) is well defined for every x in S01_int. A brief remark to this effect would prevent the possible misreading that configurations with infinitely many 1's on the left or infinitely many 0's on the right are included.","section":"1.1, Eq. (1.2)"},{"comment":"In the nearest-neighbor case, the multi-type argument would benefit from one additional sentence: after the finitely many initial types between L(x) and R(x) have died out, the monotonicity of the ancestor map in the one-dimensional voter model implies that the surviving left-tail and right-tail types occupy a left and a right half-line, respectively, so the configuration is Heaviside. As written, the conclusion that X_t is in a Heaviside state is somewhat abrupt.","section":"2.3, proof of (2.41)"}],"recommendation":"minor_revision","confidential_remarks":"This is a strong paper. The only substantive issues are a sign typo in (2.66) and a missing justification for applying Lemma 2.15 to random initial states; both are local and easily fixed. The concern about S01_int being too large is unfounded, since (1.2) forces only finitely many deviations from a Heaviside configuration."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this is a solid, careful proof of the diffusive scaling limit for one-dimensional biased voter model interfaces, and the stress-test note's central objection is mistaken. The definition of S01_int in (1.2) uses ordinary limits, so every configuration is eventually 0 to the left and eventually 1 to the right. That makes the state space countable and makes the weighted midpoint in (1.6) well-defined. The 'infinite interface' states the note worries about are not in S01_int. So no domain correction is needed.\n\nWhat's new: Theorem 1.1 extends the unbiased invariance principle of [AS11] to the weakly biased case, with the expected drift -σ^2/2 in the limiting Brownian motion. The proof is not a routine tweak. The weighted midpoint is identified as a time-changed random walk, and the time change is controlled via renewal arguments using the equilibrium equation from the authors' earlier paper [SSY19]. The tightness argument is clever: it compares the biased process to the unbiased one, and treats the two directions asymmetrically because upward (1→0) invasions are controlled by persistence. The appendix fills in the technical lemmas (weak law of large numbers, uniform ergodicity, convergence of inverses), so the paper is close to self-contained apart from the cited interface tightness results.\n\nSoft spots, in proportion: the paper leans heavily on [SSY19] for uniform interface tightness, convergence of invariant laws, and the equilibrium equation. That's a heavy load, but the results are published and do not assume the current theorem, so it is not circular. Lemma 2.15 extends the unbiased invariance principle to arbitrary initial configurations with only a sentence of justification; I believe it's true, but a referee might want a citation or a short argument. Some parts of the renewal proof (e.g., the handling of the inverse interpolation around (2.36)-(2.38)) are sketched and left to the appendix; the appendix does cover them, though.\n\nThe citation pattern is fine: self-citations are to [SSY19], which is genuinely the source of the key input, and to [AS11] for the unbiased case. No post-hoc exclusions, no fitted parameters. I did not find a concrete error; my confidence in the main theorem is moderate, mostly because I did not verify every inequality in the tightness section line by line.\n\nWho this is for: anyone working on voter model interfaces, interacting particle systems, or scaling limits of measure-valued processes. It deserves a serious referee. I would recommend accepting after a careful check of the tightness estimates and a request to expand Lemma 2.15.","headline":"A careful and correct-looking proof of the diffusive scaling limit for biased voter model interfaces; the stress-test concern about the state-space definition is a false alarm.","tokens_in":22246,"tokens_out":8105,"would_cite":true,"duration_ms":77136,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82C22","82C24","82C41","60K35"],"pacs":[],"model":"deepseek-v4-flash","headline":"A one-dimensional biased voter model interface converges, in the weak-bias diffusive limit, to a sharp boundary moving as a drifted Brownian path.","keywords":["biased voter model","interface tightness","invariance principle","weighted midpoint","branching and coalescing random walks","measure-valued process","drifting Brownian motion","one-dimensional interacting particle systems"],"falsifier":"For a fixed kernel satisfying (i)--(iii), such as $a(\\pm1) = a(\\pm2) = \\tfrac14$, simulate the biased voter model for small $\\varepsilon$ and estimate $\\varepsilon M(X^\\varepsilon_{\\varepsilon^{-2}t})$ at several times $t$; if the empirical distribution does not approach a Brownian motion with variance $\\sigma^2 t$ and drift $-\\tfrac12\\sigma^2 t$, Theorem 1.1 is false, and a systematic deviation in $\\varepsilon^2 \\int_0^{\\varepsilon^{-2}t} \\sum_k a(k) I_k(X^\\varepsilon_s)\\,ds$ from $\\sigma^2 t$ would pinpoint the failure.","tokens_in":1865,"feed_emoji":"🎲","tokens_out":2053,"duration_ms":81643,"temperature":0.7,"pith_summary":"The paper establishes a scaling limit for the interface of a one-dimensional biased voter model: when the bias is small and space and time are rescaled diffusively, the fuzzy hybrid zone between an infinite population of 0's and an infinite population of 1's collapses to a sharp boundary that moves as a Brownian motion with drift. The theorem covers every initial interface state and every interaction kernel that is irreducible, has mean zero, and has finite second moment. This matters because it reduces a hard interacting-particle problem to a one-dimensional diffusion statement, extending the well-understood unbiased voter model to the biased case. The proof works by showing that the weighted midpoint of the interface is a random walk with a random clock, and that the clock, after rescaling, becomes deterministic with speed $\\sigma^2$, the second moment of the kernel.","feed_headline":"Weak bias turns voter-interface into a drifting Brownian boundary","feed_subtitle":"In the diffusive limit, all but a vanishing fraction of sites sit on the correct side of a Brownian curve.","key_machinery":"The central object is the weighted midpoint $M(x)$, the unique half-integer position where the number of 1's to the left equals the number of 0's to the right. The paper shows that $M(X^\\varepsilon_t)$ is a random time-changed random walk: it jumps left with rate $\\tfrac12 \\sum_k a(k) I_k(x)$ and right with rate $\\tfrac12(1-\\varepsilon) \\sum_k a(k) I_k(x)$, where $I_k(x)$ counts the $k$-boundaries of the interface. The random clock is $S^\\varepsilon_t = \\int_0^t \\sum_k a(k) I_k(X^\\varepsilon_s)\\, ds$, and the proof's key step (Lemma 2.2) is that $\\varepsilon^2 S^\\varepsilon_{\\varepsilon^{-2}t}$ converges in probability to $\\sigma^2 t$, uniformly on compact time intervals. That convergence is derived from an equilibrium identity for the unbiased invariant law, $\\mathbb{E}\\left[\\sum_k a(k) I_k(X^0_\\infty)\\right] = \\sigma^2$, combined with renewal estimates that make the convergence uniform as the bias vanishes. Once the clock is deterministic, the weighted midpoint converges to a drifted Brownian motion, and comparisons with the unbiased voter model supply the tightness that upgrades midpoint convergence to convergence of the full measure-valued process.","core_discovery":"Under assumptions (i)--(iii) on the kernel $a$---irreducibility, mean zero, and finite second moment $\\sigma^2 := \\sum_k a(k) k^2$---Theorem 1.1 asserts that the measure-valued process $\\mu^\\varepsilon_t := \\sum_{i \\in \\mathbb{Z}} \\varepsilon X^\\varepsilon_{\\varepsilon^{-2}t}(i)\\, \\delta_{\\varepsilon i}$ converges weakly, as $\\varepsilon \\downarrow 0$, to $\\mu_t(dx) = 1_{\\{x \\ge B_t\\}} dx$, where $B_t = W_{\\sigma^2 t} - \\tfrac{1}{2}\\sigma^2 t$ is a Brownian motion with drift $-\\sigma^2/2$ and diffusion coefficient $\\sigma^2$. In words, after diffusive rescaling the interface appears as a sharp Heaviside boundary whose location follows a drifted Brownian motion; at any fixed macroscopic time, the fraction of sites of the wrong type on either side of the boundary vanishes with $\\varepsilon$. The same Brownian motion arises as the limit of the weighted midpoint, and the left and right boundaries of the interface converge to it in finite-dimensional distributions. The claim is new for biased voter models and reduces to the known unbiased result when $\\varepsilon = 0$.","pith_inferences":["Editorial inference: the mechanism suggests an Einstein-relation-like identity, $\\sigma^2 = \\mathbb{E}[\\sum_k a(k) I_k(X^0_\\infty)]$, which one could test directly by measuring the stationary average number of $k$-boundaries in the unbiased interface; the same quantity sets both the diffusivity and, through the weak-bias asymmetry, the drift.","Editorial inference: if the result extends to kernels whose range grows as $\\varepsilon$ shrinks, the time-change argument indicates the limiting drift would remain $-\\sigma^2/2$, but the proof of clock convergence would require a second-moment condition that is uniform in the growing range.","Editorial inference: the paper leaves open whether the left and right boundaries converge as processes, not just in finite-dimensional distributions; by analogy with the unbiased case, one expects path-level tightness to hold for kernels with a finite $(3+\\delta)$-th moment, a conjecture the authors state explicitly."],"forward_implications":["The interface location, measured by the weighted midpoint, converges after diffusive rescaling to a Brownian motion with drift $-\\sigma^2/2$ and diffusion coefficient $\\sigma^2$, so the bias survives in the limit only as a deterministic drift equal to half the diffusivity.","At every fixed macroscopic time, the rescaled configuration is asymptotically a half-line of 1's on the right of the Brownian path and 0's on the left, with the fraction of misclassified sites going to zero as $\\varepsilon \\downarrow 0$.","The left and right boundaries of the interface have the same finite-dimensional limiting law as the midpoint, so the entire interface is concentrated around a single curve in the limit.","The limit does not depend on the initial interface state in $S^{01}_{\\mathrm{int}}$, so memory of the initial configuration is lost at the diffusive scale."],"supporting_citations":[{"why":"supplies the uniform interface tightness and the equilibrium identity $\\mathbb{E}[\\sum_k a(k) I_k(X^0_\\infty)] = \\sigma^2$ that turns the random time change into deterministic time $\\sigma^2 t$.","marker":"[SSY19]"},{"why":"supplies the invariance principle and continuity estimate for the unbiased voter model used in the tightness comparisons that upgrade midpoint convergence to convergence of the measure-valued process.","marker":"[AS11]"},{"why":"supplies the standard weak-convergence, time-change, and tightness machinery invoked throughout the proof.","marker":"[EK86]"},{"why":"supplies the Skorohod representation theorem used to couple convergent processes along subsequences.","marker":"[Bil99]"},{"why":"supplies the regenerative theorem expressing the invariant law through return times to the Heaviside state, used in the renewal arguments.","marker":"[Asm03]"},{"why":"supplies Jakubowski's tightness criterion that the paper verifies to prove tightness of the measure-valued processes.","marker":"[DA93]"}],"fun_headline_variants":["Voter interface follows drifted Brownian in weak-bias limit","Biased voter interface converges to Brownian with drift","Weak bias yields sharp Brownian interface for voter model","Drifted Brownian motion emerges from biased voter interface","Voter interface sharpens to Brownian path under weak bias"],"cache_read_input_tokens":24448,"weakest_assumption_plain":"The proof stands on the earlier interface-tightness results holding uniformly as the bias $\\varepsilon$ tends to zero: specifically, that return times to Heaviside states and their boundary integrals converge in mean as $\\varepsilon \\downarrow 0$, which converts the random clock into deterministic time $\\sigma^2 t$; if that uniformity failed, the derivation of the limiting drift and diffusion would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Voter interface follows drifted Brownian in weak-bias limit","Biased voter interface converges to Brownian with drift","Weak bias yields sharp Brownian interface for voter model","Drifted Brownian motion emerges from biased voter interface","Voter interface sharpens to Brownian path under weak bias"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000636,"raw_usage":{"total_tokens":2939,"prompt_tokens":957,"completion_tokens":1982,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":573,"completion_tokens_details":{"reasoning_tokens":1902}},"tokens_in":573,"tokens_out":1982,"duration_ms":13050,"temperature":1.0,"reasoning_tokens":1902,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:28:40.067361+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a fixed kernel satisfying (i)--(iii), such as $a(\\pm1) = a(\\pm2) = \\tfrac14$, simulate the biased voter model for small $\\varepsilon$ and estimate $\\varepsilon M(X^\\varepsilon_{\\varepsilon^{-2}t})$ at several times $t$; if the empirical distribution does not approach a Brownian motion with variance $\\sigma^2 t$ and drift $-\\tfrac12\\sigma^2 t$, Theorem 1.1 is false, and a systematic deviation in $\\varepsilon^2 \\int_0^{\\varepsilon^{-2}t} \\sum_k a(k) I_k(X^\\varepsilon_s)\\,ds$ from $\\sigma^2 t$ would pinpoint the failure.","supporting_citations":[],"review_version":1}