pith. sign in

arxiv: 2604.07528 · v1 · submitted 2026-04-08 · 🧮 math.AP

Coarse-graining and quantitative stochastic homogenization of parabolic equations in high contrast

Aidan Lau This is my paper

Pith reviewed 2026-05-10 17:06 UTC · model grok-4.3

classification 🧮 math.AP
keywords stochastic homogenizationparabolic equationshigh contrastcoarse-grainingquantitative homogenizationrandom coefficientsdecorrelationspace-time dependence
0
0 comments X

The pith

Under a sufficient decorrelation assumption on space-time random coefficients, the homogenization length scale for high-contrast parabolic equations is bounded by exp(C log²(1+Λ/λ)) + C√λ.

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

This paper proves quantitative homogenization results for parabolic equations with high-contrast random coefficients that vary in both space and time. It shows that a decorrelation condition on the coefficients yields an explicit upper bound on the length scale at which the homogenized equation approximates the original system. The proof adapts a coarse-graining method previously developed for elliptic equations to the parabolic setting. A reader would care because the bound gives concrete rates that control approximation errors even when the contrast ratio between coefficients becomes arbitrarily large.

Core claim

The paper establishes that under a sufficient decorrelation assumption the homogenization length scale for high-contrast parabolic equations with random coefficients depending on both space and time is bounded by exp(C log²(1+Λ/λ)) + C√λ. This quantitative result follows from a parabolic coarse-graining framework that directly generalizes the elliptic coarse-graining approach of Armstrong and Kuusi.

What carries the argument

The parabolic coarse-graining framework, which extends the elliptic coarse-graining method to time-dependent equations and produces the explicit length-scale bound in terms of the contrast ratio.

If this is right

  • Explicit error estimates become available for the difference between the original parabolic solution and its homogenized counterpart.
  • The same coarse-graining technique yields quantitative rates for media whose contrast ratio Λ/λ is arbitrarily large.
  • The framework applies directly to coefficients that are random in both space and time rather than stationary in time.
  • The bound separates the contribution of contrast (the exponential term) from the contribution of the minimal coefficient scale (the square-root term).

Where Pith is reading between the lines

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

  • Numerical schemes could choose their coarse-graining mesh size according to the derived length-scale expression rather than by ad-hoc tuning.
  • Many standard random-field models with finite correlation time automatically satisfy the required decorrelation assumption.
  • Similar length-scale bounds might be obtainable for other evolution equations by applying the same parabolic coarse-graining steps.
  • The result suggests that time dependence does not fundamentally worsen the exponential dependence on contrast once decorrelation holds.

Load-bearing premise

The random coefficients satisfy a sufficient decorrelation assumption in both space and time.

What would settle it

Construct or simulate a random space-time coefficient field obeying the decorrelation condition yet exhibiting a homogenization length scale strictly larger than exp(C log²(1+Λ/λ)) + C√λ.

read the original abstract

We prove quantitative homogenization results for high contrast parabolic equations with random coefficients depending on both space and time. In particular, we prove that under a sufficient decorrelation assumption the homogenization length scale is bounded by $\exp(C\log^2(1+\Lambda/\lambda)) + C\sqrt{\lambda}$. The proof is based on a parabolic coarse-graining framework which generalizes the results of Armstrong and Kuusi in the elliptic setting.

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 / 1 minor

Summary. The manuscript proves quantitative homogenization results for high-contrast parabolic equations whose coefficients are random and depend on both space and time. Under a sufficient decorrelation assumption on the coefficients, it establishes that the homogenization length scale is bounded by exp(C log²(1 + Λ/λ)) + C √λ. The argument proceeds by constructing a parabolic coarse-graining framework that extends the elliptic results of Armstrong and Kuusi.

Significance. If the central claim holds, the work supplies the first explicit quantitative bound on the homogenization scale for parabolic high-contrast problems with space-time randomness. The generalization of the coarse-graining technique is a clear technical contribution that may enable further extensions to other evolution equations. The explicit (though C-dependent) form of the bound offers a concrete prediction that can be compared with numerical experiments on specific random media.

major comments (2)
  1. Abstract and the statement of the main theorem: the result is conditioned on a 'sufficient decorrelation assumption' whose precise mathematical form (e.g., quantitative mixing rates or correlation decay in space and time) is not supplied. Because this assumption is load-bearing for the validity of the bound exp(C log²(1 + Λ/λ)) + C √λ, its exact statement must appear explicitly, preferably as a numbered definition or hypothesis before the main theorem.
  2. The main quantitative bound (Abstract and the theorem statement): the constant C appears in both terms without any indicated dependence on dimension, ellipticity constants, or other parameters. While such unspecified constants are common, the claim of a 'quantitative' result would be strengthened by at least a qualitative discussion of how C scales with the remaining data.
minor comments (1)
  1. Notation section or introduction: the contrast parameters Λ and λ should be introduced with their precise meanings (upper and lower bounds on the coefficients) at the first appearance, together with any standing assumptions on the random field.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the major comments point by point below and have revised the manuscript accordingly.

read point-by-point responses

  1. Referee: Abstract and the statement of the main theorem: the result is conditioned on a 'sufficient decorrelation assumption' whose precise mathematical form (e.g., quantitative mixing rates or correlation decay in space and time) is not supplied. Because this assumption is load-bearing for the validity of the bound exp(C log²(1 + Λ/λ)) + C √λ, its exact statement must appear explicitly, preferably as a numbered definition or hypothesis before the main theorem.

    Authors: We agree with this observation. The decorrelation assumption is stated in Section 2 of the manuscript (Assumption 2.1), but to improve clarity and accessibility, we have moved its precise statement to appear as a numbered hypothesis (Hypothesis 1.2) immediately before the main theorem in the introduction. This hypothesis specifies a quantitative decorrelation condition with explicit mixing rates in space and time. We have also updated the abstract to reference this hypothesis explicitly. revision: yes

  2. Referee: The main quantitative bound (Abstract and the theorem statement): the constant C appears in both terms without any indicated dependence on dimension, ellipticity constants, or other parameters. While such unspecified constants are common, the claim of a 'quantitative' result would be strengthened by at least a qualitative discussion of how C scales with the remaining data.

    Authors: We acknowledge that providing some information on the dependence of C would strengthen the quantitative nature of the result. In the revised manuscript, we have added a new remark (Remark 1.5) following the main theorem, which qualitatively discusses the dependence: C depends on the dimension d, the ellipticity ratio, and the parameters in the decorrelation assumption (such as the mixing exponent). Specifically, C grows at most exponentially in d and polynomially in the other parameters, based on the iterative estimates in the proof. We note that obtaining fully explicit constants would require a significantly more technical tracking of all dependencies throughout the coarse-graining procedure, which we believe is beyond the scope of the current work but could be pursued in future research. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents a quantitative homogenization bound for parabolic equations as a direct generalization of the elliptic coarse-graining framework from Armstrong and Kuusi (external prior work, no author overlap indicated). The central result under the decorrelation assumption is derived via this framework without any reduction to self-definition, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain is self-contained against the cited external benchmarks and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on a decorrelation assumption whose details are not supplied in the abstract and on standard tools of stochastic homogenization.

axioms (1)
  • domain assumption Sufficient decorrelation assumption on the random coefficients
    Invoked explicitly in the abstract as necessary for the length-scale bound to hold.

pith-pipeline@v0.9.0 · 5347 in / 1056 out tokens · 52669 ms · 2026-05-10T17:06:07.212865+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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Sharp error estimates in stochastic homogenization of parabolic systems with time-dependent coefficients

    math.AP 2026-05 unverdicted novelty 7.0

    Proves stationary correctors and new flux correctors for parabolic stochastic homogenization under spectral gap conditions, yielding optimal error estimates on C1 cylinders via duality and weighted arguments.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · cited by 1 Pith paper

  1. [1]

    Armstrong, A

    S. Armstrong, A. Bordas, and J.-C. Mourrat. Quantitative stochastic homogenization and regularity theory of parabolic equations. Analysis and PDE , 11(8):1945--2014, 2018

    work page 1945

  2. [2]

    Adams and John J

    Robert A. Adams and John J. F. Fournier. Sobolev spaces , volume 140 of Pure and Applied Mathematics (Amsterdam) . Elsevier/Academic Press, Amsterdam, second edition, 2003

    work page 2003

  3. [3]

    Armstrong and T

    S. Armstrong and T. Kuusi. Elliptic homogenization from qualitative to quantitative, 2024. preprint

    work page 2024

  4. [4]

    Armstrong and T

    S. Armstrong and T. Kuusi. Renormalization group and homogenization in high contrast, 2024. preprint

    work page 2024

  5. [5]

    Armstrong, T

    S. Armstrong, T. Kuusi, and J.-C. Mourrat. Quantitative stochastic homogenization and large-scale regularity , volume 352 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer, Cham, 2019

    work page 2019

  6. [6]

    T. Ando. Topics on operator inequalities . Hokkaido University, Research Institute of Applied Electricity, Division of Applied Mathematics, Sapporo, 1978

    work page 1978

  7. [7]

    Degenerate parabolic equations and H arnack inequality

    Filippo Chiarenza and Raul Serapioni. Degenerate parabolic equations and H arnack inequality. Ann. Mat. Pura Appl. (4) , 137:139--162, 1984

    work page 1984

  8. [8]

    L. C. Evans. Partial differential equations , volume 19 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, second edition, 2010

    work page 2010

  9. [9]

    B. Fehrman. Stochastic homogenization with space-time ergodic divergence-free drift. Ann. Probab. , 52(1):350--380, 2024

    work page 2024

  10. [10]

    Fiedler and V

    M. Fiedler and V. Pt\' a k. A new positive definite geometric mean of two positive definite matrices. Linear Algebra Appl. , 251:1--20, 1997

    work page 1997

  11. [11]

    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

  12. [12]

    Gloria and F

    A. Gloria and F. Otto. An optimal error estimate in stochastic homogenization of discrete elliptic equations. Ann. Appl. Probab. , 22(1):1--28, 2012

    work page 2012

  13. [13]

    Elliptic problems in nonsmooth domains , volume 69 of Classics in Applied Mathematics

    Pierre Grisvard. Elliptic problems in nonsmooth domains , volume 69 of Classics in Applied Mathematics . Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2011. Reprint of the 1985 original [MR0775683], With a foreword by Susanne C. Brenner

    work page 2011

  14. [14]

    Kufner and B

    A. Kufner and B. Opic. How to define reasonably weighted S obolev spaces. Comment. Math. Univ. Carolin. , 25(3):537--554, 1984

    work page 1984

  15. [15]

    Lions and E

    J.-L. Lions and E. Magenes. Non-homogeneous boundary value problems and applications. V ol. I , volume Band 181 of Die Grundlehren der mathematischen Wissenschaften . Springer-Verlag, New York-Heidelberg, 1972. Translated from the French by P. Kenneth

    work page 1972

  16. [16]

    Lions and E

    J.-L. Lions and E. Magenes. Non-homogeneous boundary value problems and applications. V ol. II , volume Band 182 of Die Grundlehren der mathematischen Wissenschaften . Springer-Verlag, New York-Heidelberg, 1972. Translated from the French by P. Kenneth

    work page 1972

  17. [17]

    Temam and I

    R. Temam and I. Ekeland. Convex Analysis and Variational Problems . Classics in Applied Mathematics. SIAM, 1999

    work page 1999

  18. [18]

    Basic linear partial differential equations , volume Vol

    Fran c ois Tr \` e ves. Basic linear partial differential equations , volume Vol. 62 of Pure and Applied Mathematics . Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975

    work page 1975

  19. [19]

    Interpolation theory, function spaces, differential operators , volume 18 of North-Holland Mathematical Library

    Hans Triebel. Interpolation theory, function spaces, differential operators , volume 18 of North-Holland Mathematical Library . North-Holland Publishing Co., Amsterdam-New York, 1978

    work page 1978

  20. [20]

    auser Classics. Birkh\

    Hans Triebel. Theory of function spaces II . Modern Birkh\"auser Classics. Birkh\"auser Basel, first edition, 1992

    work page 1992

  21. [21]

    Matrix inequalities

    Xingzhi Zhan. Matrix inequalities . Lecture notes in mathematics. Springer Berlin, Heidelberg, 2002

    work page 2002