{"id":"a8590e54-52ae-4e90-93ea-a7889678b143","arxiv_id":"2412.04396","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For β>1, the symmetric exclusion process with k slow bonds of strength n^{-β}, sped up by k^2 n^{1+β}, converges to the discrete heat equation when k is fixed and to the continuous heat equation on the torus when k→∞.","lead":"This paper proves new large-scale limits for a many-particle random process with a growing number of slow 'bottleneck' bonds. It shows that at a carefully chosen fast time scale, the particle density becomes constant inside each segment and then evolves by the heat equation, one of the most universal smoothing equations in physics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.8's printed error (4.23) carries a k^2 n^{β−1} prefactor; with ℓ=n√k it is not o(kn), so the proof of Theorem 2.4 does not close for arbitrary k→∞.","rationale":"The reader identified the uniform ellipticity of the initial profile as the weakest assumption. That is a genuine and explicitly stated restriction, but it is an assumption of the theorem rather than an internal gap. The more load-bearing issue is in the proof of the central theorem itself: the relative entropy bound H = o(kn) for arbitrary k→∞ depends on the error estimates in Lemma 4.8, and the printed intermediate bound (4.23) has a prefactor k^2 n^{β−1} that is not o(kn) after the stated choice ℓ = n√k. This would prevent the Gronwall argument in Proposition 4.2 from closing. The mistake, if it is a typo, may be repairable without changing the theorem, but as written the proof of Theorem 2.4 is incomplete for the full regime k arbitrary growing. Hence the reader's ACCEPT should be adjusted to CONDITIONAL pending a re-derivation and correction of the constants in Lemma 4.8.","tokens_in":21183,"tokens_out":29891,"duration_ms":277098,"concrete_test":"Recompute the derivation of (4.23) from (4.24) using the displayed choice δ = k^2 n^{β−1} ℓ^{-1}/8, then substitute ℓ = n√k and the bound from Lemma 5.4. Verify whether the coefficient in front of {H + kn/ℓ} is O(1), as in (4.18), or is k^2 n^{β−1}, as printed in (4.23). If the printed prefactor is correct, test k = log n and β = 1.5 with H ≍ kn; the error term is then not o(kn), and Proposition 4.2 fails. If the prefactor is corrected to O(1), the proof of Theorem 2.4 goes through on this point.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 2.4 is proved through Proposition 4.2, whose proof requires Lemmas 4.6, 4.7, and 4.8. In the proof of Lemma 4.8, the intermediate estimate (4.23) is claimed to be k^2 n^{1+β}/8 D(√f) + C(ε0)‖G‖^2_∞ k^2 n^{β−1} { H(µ^n_t|ν^n_t) + kn log3/ℓ }. The proof then says the lemma follows from this bound, and in Lemma 4.7 the parameter is fixed as ℓ = n√k. With that choice, the second displayed term is k^2 n^{β−1} H + k^2 n^{β−1} √k. Corollary 4.3 gives only H = o(kn), and in fact the initial entropy bound is H ≤ Cn. Thus k^2 n^{β−1} H can be of order k^2 n^β, which is not o(kn) for unrestricted k→∞ (e.g., k = log n, β > 1, H ≈ Cn). The term k^2 n^{β−1}√k is likewise not o(kn) unless k grows sufficiently slowly. Consequently the Gronwall step in Proposition 4.2, which needs an error o(kn), is not justified by the printed estimates. The final statement of Lemma 4.8, inequality (4.18), has the needed O(1) prefactor {H + kn/ℓ}, but the proof as written derives only the larger prefactor in (4.23); the gap is not a matter of constants that can be absorbed since the ratio to kn diverges. If (4.23) is a typographical error and the intended bound is C‖G‖∞{H + kn/ℓ}, the argument may close, but as it stands the proof of Theorem 2.4 is incomplete for arbitrary k→∞.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the symmetric simple exclusion process on a discrete torus of size nk with k equally spaced slow bonds of strength n^{-β}, for β>1, and establishes hydrodynamic limits at superdiffusive time scales. The main results are: for fixed k and time scale k^2 n^{2+θ} with θ<β−1, the averaged empirical measure converges to a time-independent box-average profile (Theorem 2.2); for fixed k and time scale k^2 n^{1+β}, it converges to the solution of the discrete heat equation on the k boxes (Theorem 2.3); and for k→∞ at the critical scale k^2 n^{1+β}, it converges to the solution of the continuous heat equation on the torus (Theorem 2.4). The fixed-k results are proved by Varadhan's entropy method and a replacement lemma, while the k→∞ result is proved by the refined relative entropy method of Jara and Menezes.","tokens_in":21588,"tokens_out":14715,"duration_ms":126650,"significance":"If the results hold, the paper provides a complete phase diagram for the superdiffusive scaling limits of the slow-bond exclusion process, including the striking conclusion that when the number of slow bonds diverges, the slow bonds become macroscopically invisible and the effective evolution is the homogeneous heat equation. The paper is clearly organized, the fixed-k proofs are detailed and follow established techniques, and the use of the Jara–Menezes relative entropy method is appropriate and nontrivial. The main theorems are plausible and of genuine interest to the hydrodynamic-limit community. However, one load-bearing estimate in the proof of Theorem 2.4 (Lemma 4.8) is misstated in a way that currently prevents the Gronwall argument from closing; the issue appears to be a typo, but it must be corrected before the theorem can be considered proven.","major_comments":[{"comment":"The proof of Lemma 4.8 derives the intermediate estimate (4.23) with the prefactor C(ε0)||G||^2_∞ k^2 n^{β−1} multiplying {H(µ^n_t|ν^n_t) + kn log3/ℓ}. With the choice ℓ = n√k, adopted in Lemma 4.7, this term is of order k^2 n^{β−1}H + k^{3/2} n^{β−1}, which is not o(kn) for arbitrary k→∞; for example, k = log n, β > 1, and H of order n give k^2 n^β, whose ratio to kn diverges. The printed estimate therefore does not imply the lemma's stated bound (4.18), and the Gronwall step in Proposition 4.2, which requires an o(kn) remainder, is not justified by the text. The derivation from (4.24) with δ = k^2 n^{β−1}ℓ^{-1}/8 actually yields the prefactor k^{-2} n^{-(β−1)} on the H-term, suggesting a sign error in the exponent in (4.23); the authors should correct this estimate and confirm that the final entropy bound closes.","section":"§4.3, Lemma 4.8 (Eq. (4.23))"}],"minor_comments":[{"comment":"The abstract describes the time scale as k^2 n^θ with θ∈(2,1+β), while Theorem 2.2 and the introduction use k^2 n^{2+θ} with θ∈(0,β−1); the relation between the two parametrizations should be stated explicitly or the notation unified.","section":"Abstract and Section 1"},{"comment":"The sentence 'where we have used above that ρ is the solution of the heat equation given in (2.4)' should refer to equation (2.7), the continuous heat equation.","section":"§4.1, after Eq. (4.6)"},{"comment":"The statement says the constant is C(ε0, k), but the proof concludes with C(ε0, κ); the dependence on k is presumably a typo and should be corrected.","section":"Lemma 4.12"},{"comment":"The assumptions that γ is smooth and satisfies ε0<γ<1−ε0 are stated only in the paragraph before the theorem; they should be included in the theorem statement, since the proof relies on them for the subgaussian estimate (5.1) and the initial entropy bound (4.10).","section":"Theorem 2.4"},{"comment":"The proposition explicitly allows k→∞, but the proof in Section 3.1 is written as if k is fixed; the authors should indicate briefly why the same estimates hold for k=k(n)↑∞.","section":"Proof of Proposition 2.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is a good fit for the journal and the fixed-k results appear sound. The issue in Lemma 4.8 is load-bearing but seems to be a local sign error in the exponent of k and n; once corrected and verified, the paper should be suitable for publication. I recommend major revision rather than rejection because the central claim is defensible and the fix is straightforward."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the paper. The three scaling limits are real and new: for fixed k, subcritical superdiffusive speed gives frozen box averages; at k^2 n^{1+β} you get the discrete heat equation; and as k→∞ the averaged empirical measure converges to the continuous heat equation with no boundary conditions, so the slow bonds become macroscopically invisible. The main technical contribution is using the Jara–Menezes refined relative entropy method for k→∞, which removes the replacement-lemma restriction k=o(n^{(β−1)/2}) from the earlier entropy approach. That is a genuine improvement and the proof is largely convincing.\n\nI checked the structure of Proposition 4.2 and Corollary 4.3. The bound H(µ^n_0|ν^n_0)≤Cn gives H(µ_t|ν_t)=o(kn) once k→∞, and the error terms in Lemmas 4.6 and 4.7 are indeed o(kn) with the choice ℓ=n√k. The subgaussian estimates are standard from Appendix F of Jara–Menezes.\n\nThe soft spots are minor but worth fixing. First, the abstract silently reparametrizes the time scale: the theorem statements use k^2 n^{2+θ} with θ∈(0,β−1), while the abstract writes k^2 n^θ with θ∈(2,1+β). That will confuse readers. Second, there is a typo in the proof of Lemma 4.8. The display (4.23) shows a k^2 n^{β−1} prefactor multiplying {H+kn log3/ℓ}. If that were the actual bound, the Gronwall step in Proposition 4.2 would indeed not close for arbitrary k→∞. But plugging the stated choice δ=k^2 n^{β−1}ℓ^{−1}/8 into (4.24) gives k^{-2} n^{-(β−1)} instead, which is harmless and consistent with the lemma's statement. So the stress-test concern does not survive contact with the algebra; the authors just need to correct the exponent in (4.23). Also note that Theorem 2.4 assumes the initial profile is uniformly separated from 0 and 1; that ellipticity is used in Corollary 4.3 and in the subgaussian bounds, and it should be flagged in the statement.\n\nVerdict: this deserves a serious referee. The results are a natural completion of the Franco–Gonçalves–Neumann phase diagram at superdiffusive scales, and the proof is sound modulo the typo and a clarity issue. I would bring it to a reading group and cite it if I worked on slow-bond systems. Recommendation: send it to a good probability journal; the authors should fix the sign typo and align the abstract with the theorem statements.","headline":"Three genuinely new superdiffusive scaling limits for SSEP with slow bonds, with a sound relative-entropy proof modulo a sign typo in Lemma 4.8 that the stress-test over-read.","tokens_in":22178,"tokens_out":8679,"would_cite":true,"duration_ms":72506,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that when the number of equally spaced slow bonds grows with the system size, the symmetric exclusion process, run at the critical superdiffusive speed $k^2 n^{1+\\beta}$, converges to the homogeneous heat equation on the…","keywords":["symmetric exclusion process","slow bonds","superdiffusive scaling","hydrodynamic limit","relative entropy method","heat equation","torus"],"falsifier":"Simulate the process with $\\alpha=1$, $\\beta=2$, $k=\\lfloor n^{0.6}\\rfloor$, torus size $nk$, initial profile $\\gamma(u)=\\tfrac12+\\tfrac14\\sin(2\\pi u)$, and acceleration $k^2 n^3$; at a fixed time measure the gap $|\\langle\\pi^n_t,G\\rangle-\\int_{\\mathbb{T}}G(u)\\rho_t(u)\\,du|$ for a smooth test function $G$. If this gap does not converge to $0$ as $n\\to\\infty$, Theorem 2.4 would be false. A sharper test of the proof's boundary is to repeat with $\\gamma(u)=u$, which touches $0$ and $1$: the paper's entropy bound no longer follows, so convergence or failure here isolates the role of the non-degeneracy assumption.","tokens_in":20966,"feed_emoji":"🔥","tokens_out":10705,"duration_ms":104142,"temperature":0.7,"pith_summary":"The paper studies the symmetric exclusion process on a discrete torus with $nk$ sites in which $k$ equally spaced bonds, one at the end of each block of $n$ sites, are slowed by a factor $n^{-\\beta}$, with $\\beta>1$ fixed. It asks what happens macroscopically when the process is run faster than the usual diffusive scaling, so that each block equilibrates internally before mass can cross a slow bond. The answer is a family of three superdiffusive limits: at a subcritical speed the density freezes at the initial mass of each block; at the critical speed $k^2 n^{1+\\beta}$ the block densities obey the discrete heat equation when $k$ is fixed; and when $k$ also grows to infinity the averaged block densities obey the continuous heat equation on the torus, with no boundary conditions. The last result is the paper's central claim: a growing number of weak barriers leaves no trace in the continuum limit, and the evolution is the same as for the homogeneous exclusion process.","feed_headline":"Many slow bonds wash out at critical speedup","feed_subtitle":"The averaged exclusion density then converges to the homogeneous heat equation on the torus.","key_machinery":"The central object is the averaged empirical measure $\\pi^n_t$, which assigns to each macroscopic point $i/k$ the average occupation of the whole block of $n$ sites between two slow bonds; this is the quantity whose limit the paper characterises. The proof for $k\\to\\infty$ is carried by a time-dependent reference measure: a Bernoulli product measure $\\nu^n_t$ whose parameter is $\\rho_t(i/k)$ on block $i$, together with a refined relative-entropy inequality that bounds the derivative of $H(\\mu^n_t|\\nu^n_t)$ by the entropy itself plus negligible terms. The estimates rest on subgaussian bounds and $\\ell$-dependence for the centred occupation variables $w_t(x)=(\\eta_t(x)-\\rho_t(i/k))/(\\rho_t(i/k)(1-\\rho_t(i/k)))$, which control the replacement errors inside blocks and at slow bonds. For fixed $k$, an entropy method with a replacement lemma identifies the limit points, and tightness comes from a martingale whose quadratic variation vanishes.","core_discovery":"On the torus with $nk$ sites and $k$ equally spaced slow bonds of strength $\\alpha n^{-\\beta}$ with $\\beta>1$, consider the averaged empirical measure that replaces each block of $n$ sites by a single atom at $i/k$ carrying the block's average occupation. The paper proves three scaling limits under superdiffusive accelerations of the form $k^2 n^{2+\\theta}$. For $k$ fixed and $0<\\theta<\\beta-1$, the measure converges in probability to the frozen profile $\\sum_{i=0}^{k-1} \\bar\\gamma(i)\\delta_{i/k}$, with $\\bar\\gamma(i)=k\\int_{i/k}^{(i+1)/k}\\gamma(u)\\,du$, so each block keeps its initial mass and there is no time evolution. For $k$ fixed and $\\theta=\\beta-1$, meaning the time scale is $k^2 n^{1+\\beta}$, the limit is $\\sum_{i=0}^{k-1}\\rho_t(i)\\delta_{i/k}$, where $\\rho_t$ solves the discrete heat equation $\\partial_t\\rho_t=\\alpha\\Delta_k\\rho_t$ with initial datum $\\bar\\gamma(i)$. Finally, if $k=k(n)\\uparrow\\infty$ at the same critical time scale, the averaged empirical measure converges to the strong solution $\\rho_t$ of the continuous heat equation $\\partial_t\\rho_t=\\alpha\\Delta\\rho_t$ on the torus with initial datum $\\gamma$, i.e. the slow bonds become macroscopically invisible. The proof uses a relative-entropy method with a time-dependent Bernoulli reference measure whose parameter at site $x$ is $\\rho_t(i/k)$ inside block $i$.","pith_inferences":["Read as a homogenisation statement, the $k\\to\\infty$ limit says that weakly slowed bonds of strength $n^{-\\beta}$ and density $1/k$, with $\\beta>1$, do not lower the macroscopic diffusivity: the effective equation is the bare heat equation with coefficient $\\alpha$.","The freezing regime suggests a sharp transition at $\\theta=\\beta-1$, where inter-box flux first appears; this paper establishes the critical case, and one might expect the subcritical and critical regimes to match continuously as $\\theta\\uparrow\\beta-1$, though that matching is not proved here.","The non-degeneracy assumption $\\varepsilon_0<\\gamma<1-\\varepsilon_0$ is likely an artefact of the entropy method; a natural test is whether profiles touching $0$ or $1$ obey the same hydrodynamic limit, possibly requiring different control terms.","Because the discrete-to-continuum step only requires $k\\to\\infty$ and the heat-equation solution is strong, the result should extend to more general initial profiles by approximation whenever the entropy bound can be replaced, but this extension is not proved in the paper."],"forward_implications":["For fixed $k$, the critical speed $k^2 n^{1+\\beta}$ makes each slow-bond rate exactly comparable to the macroscopic clock, so the $k$ block masses undergo a discrete heat equation with diffusivity $\\alpha$; slower speeds leave those masses frozen.","When $k$ grows without bound at the same speed, the discrete Laplacian on $k$ sites converges to the continuous Laplacian on the torus, and the limiting evolution is the homogeneous heat equation with no boundary conditions.","At any superdiffusive acceleration $k^2 n^{2+\\theta}$ with $\\theta>0$, the system equilibrates instantly inside each block, so the only macroscopic degrees of freedom are the $k$ block averages.","The replacement lemma for the fixed-$k$ method holds as long as $k=o(n^{(\\beta-1)/2})$, while the refined relative-entropy method used for Theorem 2.4 works for any $k\\to\\infty$, so the two regimes are proved by different arguments.","The result identifies a full phase diagram in the time-scale exponent and the number of boxes: subcritical freezing, critical discrete heat flow, and the $k\\to\\infty$ homogeneous continuum limit."],"supporting_citations":[{"why":"Establishes the diffusive-scaling hydrodynamic limit for a finite number of slow bonds, including the Neumann boundary case $\\beta>1$ that this work speeds up further.","marker":"[2]"},{"why":"Supplies the phase-transition result with Robin boundary conditions that fixes the $\\beta>1$ regime as the starting point of the present work.","marker":"[3]"},{"why":"Provides the time-dependent relative-entropy inequality, the subgaussian lemmas and the $\\ell$-dependence estimates that carry the proof of the $k\\to\\infty$ limit.","marker":"[4]"},{"why":"Supplies the entropy-method toolkit used to prove the fixed-$k$ theorems 2.2 and 2.3.","marker":"[5]"},{"why":"Contains the concentration inequality for $[0,1]$-valued variables that underlies the subgaussian bounds used throughout the entropy estimates.","marker":"[1]"}],"fun_headline_variants":["Critical speedup erases slow bonds to torus heat flow","Superdiffusive scaling: slow bonds vanish on torus","Many slow bonds collapse into continuous heat equation","Averaged exclusion process loses slow bond memory at critical time","Slow bonds become invisible at superdiffusive critical speed"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The initial density profile must be smooth and bounded strictly away from $0$ and $1$; if $\\gamma$ touches the empty or full state, the relative-entropy bound $H(\\mu^n|\\nu^n_0)\\le Cn$ used throughout the proof breaks down, so Theorem 2.4 is not established for such profiles.","fun_headline_variants_meta":{"raw":{"variants":["Critical speedup erases slow bonds to torus heat flow","Superdiffusive scaling: slow bonds vanish on torus","Many slow bonds collapse into continuous heat equation","Averaged exclusion process loses slow bond memory at critical time","Slow bonds become invisible at superdiffusive critical speed"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000753,"raw_usage":{"total_tokens":3444,"prompt_tokens":1136,"completion_tokens":2308,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":752,"completion_tokens_details":{"reasoning_tokens":2229}},"tokens_in":752,"tokens_out":2308,"duration_ms":18253,"temperature":1.0,"reasoning_tokens":2229,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T21:23:54.746802+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Simulate the process with $\\alpha=1$, $\\beta=2$, $k=\\lfloor n^{0.6}\\rfloor$, torus size $nk$, initial profile $\\gamma(u)=\\tfrac12+\\tfrac14\\sin(2\\pi u)$, and acceleration $k^2 n^3$; at a fixed time measure the gap $|\\langle\\pi^n_t,G\\rangle-\\int_{\\mathbb{T}}G(u)\\rho_t(u)\\,du|$ for a smooth test function $G$. If this gap does not converge to $0$ as $n\\to\\infty$, Theorem 2.4 would be false. A sharper test of the proof's boundary is to repeat with $\\gamma(u)=u$, which touches $0$ and $1$: the paper's entropy bound no longer follows, so convergence or failure here isolates the role of the non-degeneracy assumption.","supporting_citations":[{"cited_title":"Franco, P","cited_arxiv_id":null,"evidence_quote":"Establishes the diffusive-scaling hydrodynamic limit for a finite number of slow bonds, including the Neumann boundary case $\\beta>1$ that this work speeds up further."},{"cited_title":"Franco, P","cited_arxiv_id":null,"evidence_quote":"Supplies the phase-transition result with Robin boundary conditions that fixes the $\\beta>1$ regime as the starting point of the present work."},{"cited_title":"Kipnis and C","cited_arxiv_id":null,"evidence_quote":"Supplies the entropy-method toolkit used to prove the fixed-$k$ theorems 2.2 and 2.3."},{"cited_title":"Boucheron, G","cited_arxiv_id":null,"evidence_quote":"Contains the concentration inequality for $[0,1]$-valued variables that underlies the subgaussian bounds used throughout the entropy estimates."}],"review_version":1}