pith. sign in

arxiv: 2605.20115 · v1 · pith:CVS5TUULnew · submitted 2026-05-19 · 🧮 math.PR · math.AP

Moment bounds on correctors for the degenerate random conductance model

Antoine Gloria , Siguang Qi This is my paper

Pith reviewed 2026-05-20 03:33 UTC · model grok-4.3

classification 🧮 math.PR math.AP
keywords random conductance modelcorrectorsmoment boundsspectral gaphomogenizationdegenerate coefficientsstochastic integrabilitylattice random media
0
0 comments X

The pith

Assuming conductances obey a spectral-gap inequality, correctors in the degenerate random conductance model on Z^d grow at most linearly in space, with their stochastic moments controlled quantitatively by those of the conductances.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the random conductance model, a linear divergence-form difference operator on the integer lattice whose coefficients are random, possibly unbounded and degenerate. Under the assumption that the conductances satisfy a spectral-gap inequality, it derives sharp upper bounds on the spatial growth of the correctors and a direct quantitative link between the integrability properties of the correctors and those of the conductances. A reader would care because correctors encode the microscopic fluctuations that determine the macroscopic homogenized behavior, and moment control on their growth is a prerequisite for quantitative homogenization and large-scale estimates in random media.

Core claim

Assuming the conductances satisfy a spectral-gap inequality, we establish sharp bounds on the spatial growth of correctors, together with a quantitative relation between the stochastic integrability of the correctors and that of a.

What carries the argument

The corrector, the solution to the cell problem associated with the random divergence-form operator, whose spatial growth and moments are bounded using the spectral-gap assumption on the conductances.

If this is right

  • Correctors admit at most linear spatial growth almost surely under the spectral-gap hypothesis.
  • The p-th moment of the corrector at a point is bounded by a constant times the corresponding moment of the conductance field.
  • The bounds are sharp in the sense that they match the expected scaling from the underlying elliptic regularity.
  • Quantitative homogenization results become available once the corrector moments are controlled.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The linear growth bound may extend to time-dependent or parabolic versions of the model if the spectral gap persists uniformly in time.
  • The integrability relation could be used to derive almost-sure homogenization rates when the conductances have finite moments of all orders.
  • Similar moment techniques might apply to correctors in other degenerate elliptic problems on graphs where a spectral gap is available.

Load-bearing premise

The random conductances satisfy a spectral-gap inequality that enables control on the correctors.

What would settle it

A concrete example of random conductances satisfying the model and the spectral-gap inequality for which the corrector grows faster than linearly in space or whose moments are not controlled by those of the conductances.

read the original abstract

We study the random conductance model on the lattice $\Z^d$, i.e. we consider a linear, finite-difference, divergence-form operator with random conductances $a$. We allow the conductances $a$ to be unbounded and degenerate. Assuming the conductances satisfy a spectral-gap inequality, we establish sharp bounds on the spatial growth of correctors, together with a quantitative relation between the stochastic integrability of the correctors and that of $a$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper studies the random conductance model on Z^d with random conductances a that may be unbounded and degenerate. Assuming the conductances satisfy a spectral-gap inequality, the authors establish sharp bounds on the spatial growth of the correctors solving the divergence-form equation div(a(∇φ + e_i)) = 0, together with a quantitative relation linking the stochastic integrability of the correctors to that of a.

Significance. If the results hold, they advance quantitative stochastic homogenization for degenerate random media by supplying moment bounds on correctors under a spectral-gap hypothesis rather than uniform ellipticity. Such bounds are load-bearing for deriving effective equations and error estimates in settings with possible vanishing conductances, and the quantitative integrability link strengthens applicability to large-deviation or concentration arguments.

major comments (2)
  1. [§2] §2 (Assumptions and main results): the spectral-gap inequality is the sole hypothesis controlling fluctuations of a, yet the manuscript does not explicitly quantify how this prevents accumulation of gradients over large low-conductance regions (traps) that could produce super-linear growth of φ; a concrete estimate or auxiliary lemma showing the gap dominates the nonlocal corrector map would be needed to support the sharpness claim.
  2. [Theorem 1.1] Theorem 1.1 (main growth bound): the claimed spatial growth |φ(x)| = o(|x|) (or the precise rate) is derived from the gap, but without an explicit restriction on the measure of degeneracy sets the argument risks circularity when a vanishes on arbitrarily large connected components while still satisfying the gap via rare events; this is load-bearing for the central claim.
minor comments (2)
  1. [Abstract] The abstract states the results cleanly but omits the precise form of the growth bound and the integrability relation; adding one sentence with the exponents or Orlicz norms would improve readability.
  2. [§1] Notation for the corrector φ and the direction e_i is introduced without a dedicated paragraph on the stationary ergodic setting; a short clarification in §1 would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive major comments. We address each point below and have revised the text where this strengthens the presentation without altering the core arguments.

read point-by-point responses

  1. Referee: [§2] §2 (Assumptions and main results): the spectral-gap inequality is the sole hypothesis controlling fluctuations of a, yet the manuscript does not explicitly quantify how this prevents accumulation of gradients over large low-conductance regions (traps) that could produce super-linear growth of φ; a concrete estimate or auxiliary lemma showing the gap dominates the nonlocal corrector map would be needed to support the sharpness claim.

    Authors: We agree that an auxiliary estimate would make the role of the gap more transparent. The spectral-gap hypothesis is applied directly to the corrector via the divergence-form equation and a discrete integration-by-parts identity, which already yields the moment bounds in Theorem 1.1. To address the concern explicitly, we have inserted a short auxiliary statement (now Lemma 2.3) that isolates the control: it shows that the gap constant bounds the L^p-norm of the corrector gradient uniformly in the size of any low-conductance cluster, because the gap penalizes large-scale fluctuations of the environment. This estimate is derived from the assumed Poincaré-type inequality on the probability space and does not rely on additional restrictions on degeneracy sets. The revision clarifies why super-linear growth is precluded. revision: yes

  2. Referee: [Theorem 1.1] Theorem 1.1 (main growth bound): the claimed spatial growth |φ(x)| = o(|x|) (or the precise rate) is derived from the gap, but without an explicit restriction on the measure of degeneracy sets the argument risks circularity when a vanishes on arbitrarily large connected components while still satisfying the gap via rare events; this is load-bearing for the central claim.

    Authors: We do not see a circularity. The spectral-gap assumption is imposed on the law of the entire field a and therefore already encodes quantitative control on the occurrence of large degenerate regions (via the variance bound it supplies for Lipschitz functions of a). The proof of Theorem 1.1 proceeds by applying the gap to a suitably truncated version of the corrector, combined with a maximal inequality that uses only the given integrability of a; no a-priori bound on the measure of degeneracy sets is presupposed beyond what the gap itself provides. We have added a short clarifying remark immediately after the statement of Theorem 1.1 to spell out this logical order. If the referee can exhibit a concrete law of a that satisfies the gap yet produces super-linear corrector growth, we would welcome the example for further discussion. revision: partial

Circularity Check

0 steps flagged

No circularity: bounds derived from external spectral-gap assumption on conductances

full rationale

The paper posits a spectral-gap inequality on the stationary ergodic field of conductances a as an independent hypothesis, then derives sharp spatial growth bounds and integrability relations for the corrector φ solving div(a(∇φ + e_i)) = 0. No equation or step reduces the claimed moment bounds to a fitted quantity, self-definition, or load-bearing self-citation; the spectral-gap controls fluctuations of Lipschitz functionals of a externally, and the nonlocal corrector analysis proceeds from this without reimporting the target result. The derivation chain is therefore self-contained against the stated external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests primarily on the spectral-gap assumption for the conductances; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption The random conductances satisfy a spectral-gap inequality.
    This condition is invoked to obtain the moment bounds on correctors.

pith-pipeline@v0.9.0 · 5587 in / 1078 out tokens · 48144 ms · 2026-05-20T03:33:15.536587+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · 1 internal anchor

  1. [1]

    Andres, M

    S. Andres, M. T. Barlow, J.-D. Deuschel, and B. M. Hambly. Invariance principle for the random conductance model.Probab. Theory Related Fields, 156(3-4):535–580, 2013

    work page 2013

  2. [2]

    Andres, J.-D

    S. Andres, J.-D. Deuschel, and M. Slowik. Invariance principle for the random conductance model in a degenerate ergodic environment.Ann. Probab., 43(4):1866–1891, 2015

    work page 2015

  3. [3]

    Andres and N

    S. Andres and N. Halberstam. Lower Gaussian heat kernel bounds for the random conductance model in a degenerate ergodic environment.Stochastic Process. Appl., 139:212–228, 2021

    work page 2021

  4. [4]

    Andres and S

    S. Andres and S. Neukamm. Berry-Esseen theorem and quantitative homogenization for the ran- dom conductance model with degenerate conductances.Stoch. Partial Differ. Equ. Anal. Comput., 7(2):240–296, 2019

    work page 2019

  5. [5]

    S.ArmstrongandP.Dario.Ellipticregularityandquantitativehomogenizationonpercolationclusters. Comm. Pure Appl. Math., 71(9):1717–1849, 2018

    work page 2018

  6. [6]

    Armstrong and T

    S. Armstrong and T. Kuusi. Renormalization group and elliptic homogenization in high contrast. Invent. Math., 242(3):895–1086, 2025

    work page 2025

  7. [7]

    S. N. Armstrong, T. Kuusi, and J.-C. Mourrat. The additive structure of elliptic homogenization. Invent. Math., 208:999–1154, 2017

    work page 2017

  8. [8]

    Bella, B

    P. Bella, B. Fehrman, and F. Otto. A Liouville theorem for elliptic systems with degenerate ergodic coefficients.Ann. Appl. Probab., 28(3):1379–1422, 2018

    work page 2018

  9. [9]

    Bella and M

    P. Bella and M. Kniely. Regularity of random elliptic operators with degenerate coefficients and applications to stochastic homogenization.Stoch. Partial Differ. Equ. Anal. Comput., 12(4):2246– 2288, 2024

    work page 2024

  10. [10]

    Bella and M

    P. Bella and M. Schäffner. Quenched invariance principle for random walks among random degenerate conductances.Ann. Probab., 48(1):296–316, 2020

    work page 2020

  11. [11]

    L. A. Caffarelli and I. Peral. OnW1,p estimates for elliptic equations in divergence form.Comm. Pure Appl. Math., 51(1):1–21, 1998

    work page 1998

  12. [12]

    Clozeau, A

    N. Clozeau, A. Gloria, and S. Qi. Quantitative homogenization for log-normal coefficients. 2024. arXiv:2403.00168

    work page arXiv 2024

  13. [13]

    P. Dario. Optimal corrector estimates on percolation cluster.Ann. Appl. Probab., 31(1):377–431, 2021

    work page 2021

  14. [14]

    Duerinckx and F

    M. Duerinckx and F. Otto. Higher-order pathwise theory of fluctuations in stochastic homogenization. Stoch. Partial Differ. Equ. Anal. Comput., 8(3):625–692, 2020. 28 A. GLORIA AND S. QI

    work page 2020

  15. [15]

    Gloria, S

    A. Gloria, S. Neukamm, and F. Otto. Quantification of ergodicity in stochastic homogenization: optimal bounds via spectral gap on Glauber dynamics.Invent. Math., 199(2):455–515, 2015

    work page 2015

  16. [16]

    Gloria, S

    A. Gloria, S. Neukamm, and F. Otto. A regularity theory for random elliptic operators.Milan J. Math., 88(1):99–170, 2020

    work page 2020

  17. [17]

    Gloria and F

    A. Gloria and F. Otto. QuantifiedH-convergence and concentration of measure in stochastic homog- enization. In preparation

    work page

  18. [18]

    Gloria and F

    A. Gloria and F. Otto. An optimal variance estimate in stochastic homogenization of discrete elliptic equations.Ann. Probab., 39(3):779–856, 2011

    work page 2011

  19. [19]

    The corrector in stochastic homogenization: optimal rates, stochastic integrability, and fluctuations

    A. Gloria and F. Otto. The corrector in stochastic homogenization: optimal rates, stochastic integra- bility, and fluctuations. Preprint, arXiv:1510.08290, unpublished, 2015

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  20. [20]

    T. Iwaniec. The Gehring lemma. InQuasiconformal Mappings and Analysis: A Collection of Papers Honoring F.W. Gehring, pages 181–204. Springer New York, New York, NY, 1998

    work page 1998

  21. [21]

    Mourrat and F

    J.-C. Mourrat and F. Otto. Anchored Nash inequalities and heat kernel bounds for static and dynamic degenerate environments.J. Funct. Anal., 270(1):201–228, 2016. (Antoine Gloria)Sorbonne Université, CNRS, Université de Paris, Laboratoire Jacques- Louis Lions, 75005 Paris, France & Université Libre de Bruxelles, Département de Mathé- matique, 1050 Brussel...

    work page 2016