pith. sign in

arxiv: 2512.18469 · v2 · submitted 2025-12-20 · 🧮 math.AP

Stochastic homogenization of coarse-grained elliptic equations

Aidan Lau This is my paper

Pith reviewed 2026-05-16 20:25 UTC · model grok-4.3

classification 🧮 math.AP
keywords stochastic homogenizationquenched homogenizationdivergence-form elliptic equationscoarse-grained ellipticityergodic coefficientsstationary random fieldshomogenization limits
0
0 comments X

The pith

Quenched stochastic homogenization holds for divergence-form elliptic equations under a coarse-grained ellipticity assumption on the coefficients.

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

The paper shows that when coefficients are stationary and ergodic, integrable, and obey a relaxed ellipticity condition, the solutions of the random elliptic PDE converge almost surely to the solution of a deterministic homogenized equation. The key relaxation is that the coefficients need only stay bounded in a negative regularity sense when viewed at large scales, rather than pointwise everywhere. A reader would care because this covers media that can be rough or singular at small scales yet still produce reliable macroscopic behavior. The result also yields a corollary that gives a joint integrability condition on the symmetric and skew-symmetric parts of the coefficient matrix.

Core claim

Under the assumptions that the coefficient field is stationary, ergodic, integrable, and satisfies the coarse-grained ellipticity condition—meaning it remains bounded in a negative regularity sense on large scales—we prove that the solutions to the divergence-form elliptic equation homogenize in the quenched sense to the solution of a deterministic homogenized equation.

What carries the argument

The coarse-grained ellipticity assumption, which requires the coefficients to remain bounded in a negative regularity sense when averaged or tested on large scales.

If this is right

  • The homogenized limit equation is deterministic and elliptic with effective coefficients independent of the particular realization.
  • A joint integrability condition on the symmetric and skew-symmetric parts of the coefficient is sufficient for the result.
  • The quenched convergence holds for almost every realization of the random medium.
  • The framework applies to a wider class of random media than those requiring uniform pointwise ellipticity.

Where Pith is reading between the lines

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

  • The same large-scale control might allow homogenization results for parabolic or higher-order operators with analogous coefficient assumptions.
  • Numerical schemes could directly check the large-scale boundedness condition on simulated media to predict when homogenization occurs.
  • The approach suggests that homogenization can tolerate local singularities provided they average out at macroscopic scales.

Load-bearing premise

The coefficients must remain bounded in a negative regularity sense on large scales.

What would settle it

A stationary ergodic integrable coefficient field that violates the large-scale negative-regularity bound and for which the quenched homogenization limit fails to exist or is random.

read the original abstract

We prove quenched stochastic homogenization for divergence-form elliptic equations, under the assumption that the coefficients are stationary, ergodic, integrable, and satisfy a coarse-grained ellipticity assumption. The ellipticity assumption requires that the coefficients remain bounded in a negative regularity sense on large scales. As a corollary, we recover a sufficient joint integrability condition on the symmetric and skew-symmetric parts of the coefficient field.

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

0 major / 2 minor

Summary. The manuscript proves quenched stochastic homogenization for divergence-form elliptic equations whose coefficients are stationary, ergodic, integrable, and satisfy a coarse-grained ellipticity assumption (boundedness in a negative-regularity sense on large scales). The argument constructs correctors via the ergodic theorem and passes to the limit in the weak form; a corollary recovers a joint integrability condition on the symmetric and skew-symmetric parts of the coefficient field.

Significance. If the central proof is correct, the result is significant because it replaces classical uniform ellipticity with a weaker large-scale condition, thereby enlarging the class of admissible random media for which quenched homogenization holds. The approach adapts standard ergodic-corrector techniques while obtaining the necessary uniform estimates directly from the new assumption, which may prove useful in applications to highly oscillatory or degenerate random coefficients.

minor comments (2)
  1. [Introduction] The precise functional setting for the negative-regularity bound (e.g., the precise space and the scale at which the bound is imposed) should be stated explicitly in the introduction and in the statement of the main theorem, rather than only in the abstract.
  2. [Introduction] A short comparison paragraph with the classical uniform-ellipticity results (e.g., those of Gloria–Otto or Armstrong–Smart) would help readers assess how much the new assumption relaxes the hypotheses.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript and for the positive assessment of its significance. The recommendation for minor revision is noted. However, the report contains no specific major comments to address.

Circularity Check

0 steps flagged

Derivation self-contained; no circular steps

full rationale

The paper establishes quenched homogenization directly from the stated assumptions (stationarity, ergodicity, integrability, and coarse-grained ellipticity) by constructing correctors via the ergodic theorem and passing to the limit in the weak formulation. The coarse-grained ellipticity supplies uniform control on rescaled fields without reducing to any fitted parameter, self-definition, or self-citation chain. The corollary on joint integrability follows immediately by testing against suitable functions. No load-bearing step equates to its own input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard domain assumptions of stationarity and ergodicity plus the newly introduced coarse-grained ellipticity condition; no free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption Coefficients are stationary and ergodic
    Standard background assumption in stochastic homogenization theory, invoked in the abstract statement.
  • ad hoc to paper Coefficients satisfy coarse-grained ellipticity (bounded in negative regularity sense on large scales)
    New assumption introduced by the paper to enable the homogenization result.

pith-pipeline@v0.9.0 · 5334 in / 1165 out tokens · 25285 ms · 2026-05-16T20:25:11.122612+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    [ADS15] S

    arXiv: 2404.01115. [ADS15] S. Andres, J.-D. Deuschel, and M. Slowik. Invariance principle for the random conductance model in a degenerate ergodic environment. InAnn. Probab.43.4 (2015), pp. 1866–1891.issn: 0091-1798,2168-894X.doi:10.1214/14-AOP921. [AF03] R. A. Adams and J. J. F. Fournier.Sobolev spaces. Second. Vol

    work page doi:10.1214/14-aop921 2015

  2. [2]

    Elsevier/Academic Press, Amsterdam, 2003, pp

    Pure and Applied Mathematics (Amsterdam). Elsevier/Academic Press, Amsterdam, 2003, pp. xiv+305.isbn: 0-12-044143-8. [AK24] S. Armstrong and T. Kuusi.Elliptic homogenization from qualitative to quantitative. Lecture notes

    work page 2003

  3. [3]

    36 [AK25] S

    arXiv:2210.06488. 36 [AK25] S. Armstrong and T. Kuusi. Renormalization group and elliptic homogenization in high con- trast. InInvent. Math.242.3 (2025), pp. 895–1086.issn: 0020-9910,1432-1297.doi:10.1007/ s00222-025-01370-9. [AM91] M. Avellaneda and A. J. Majda. An integral representation and bounds on the effective dif- fusivity in passive advection by ...

    work page doi:10.1214/11-ps190 2025

  4. [4]

    EkelandandR

    Clas- sics in Applied Mathematics. Translated from the French. Society for Industrial and Ap- plied Mathematics (SIAM), Philadelphia, PA, 1999, pp. xiv+402.isbn: 0-89871-450-8.doi: 10.1137/1.9781611971088. [Eva10] L. C. Evans.Partial differential equations. Second. Vol

    work page doi:10.1137/1.9781611971088 1999

  5. [5]

    American Mathematical Society, Providence, RI, 2010, pp

    Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2010, pp. xxii+749.isbn: 978-0-8218-4974-3. doi:10.1090/gsm/019. [Feh23] B. Fehrman. Large-scale regularity in stochastic homogenization with divergence-free drift. In Ann. Appl. Probab.33.4 (2023), pp. 2559–2599.issn: 1050-5164,2168-8737.doi:10.1214/22- aap1872. [FK97] A. Fan...

    work page doi:10.1090/gsm/019 2010

  6. [6]

    Homogenization of diffusion processes with random stationary coefficients

    Classics in Applied Mathe- matics. Reprint of the 1985 original [MR0775683], With a foreword by Susanne C. Brenner. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2011, pp. xx+410. isbn: 978-1-611972-02-3.doi:10.1137/1.9781611972030.ch1. [JSW19] J. Junnila, E. Saksman, and C. Webb. Decompositions of log-correlated fields with app...

    work page doi:10.1137/1.9781611972030.ch1 1985

  7. [7]

    Boundary value problems with rapidly oscillating random coefficients

    Lecture Notes in Math. Springer, Berlin, 1983, pp. 507–517.isbn: 3-540-12718-6.doi:10.1007/BFb0072946. [PV81] G. C. Papanicolaou and S. R. S. Varadhan. “Boundary value problems with rapidly oscillating random coefficients”. InRandom fields, Vol. I, II (Esztergom, 1979). Vol

    work page doi:10.1007/bfb0072946 1983

  8. [8]

    , TITLE =

    Colloq. Math. Soc. J´ anos Bolyai. North-Holland, Amsterdam-New York, 1981, pp. 835–873. [PV82] G. C. Papanicolaou and S. R. S. Varadhan. “Diffusions with random coefficients”. InStatistics and probability: essays in honor of C. R. Rao. North-Holland, Amsterdam, 1982, pp. 547–552. [Ros70] H. P. Rosenthal. On the subspaces ofL p ppą2qspanned by sequences o...

    work page doi:10.1007/bf02771562 1981

  9. [9]

    American Mathematical Society, Prov- idence, RI, 1997, pp

    Mathematical Surveys and Monographs. American Mathematical Society, Prov- idence, RI, 1997, pp. xiv+278.isbn: 0-8218-0500-2.doi:10.1090/surv/049. [T´ ot18] B. T´ oth. Quenched central limit theorem for random walks in doubly stochastic random environment. InAnn. Probab.46.6 (2018), pp. 3558–3577.issn: 0091-1798,2168-894X.doi: 10.1214/18-AOP1256. 38

    work page doi:10.1090/surv/049 1997