The diffusivity of supercritical Bernoulli percolation is infinitely differentiable

Chenlin Gu; Wenhao Zhao

REVIEW 1 major objections 4 minor 74 references

The diffusivity of supercritical Bernoulli percolation is infinitely differentiable

T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The diffusivity of supercritical Bernoulli percolation is infinitely differentiable in the density parameter p.

desk verdict The open-interval result is real and the machinery is impressive, but the C^∞ claim at p=1 is not proven—Lemma 9.2 only works on open intervals and the derivative bound blows up as p→1. read the letter →

arxiv 2506.07158 v1 pith:SHITIQIA submitted 2025-06-08 math.PR math-phmath.APmath.MP

Chenlin Gu , Wenhao Zhao This is my paper

classification math.PRmath-phmath.APmath.MP MSC 35B2760K3760K35

keywords diffusionrandomwalkinvarianceprincipleregularitystochastichomogenizationsupercriticalpercolationrenormalizationcoarse-graining

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper's aim is to prove that the diffusivity $\sigma$(p) of the variable-speed random walk on supercritical Bernoulli percolation is infinitely differentiable in the density parameter p on the whole interval (p_c,1], for every dimension d>=2. This matters because transport coefficients in disordered media are expected to be smooth away from the critical point, and only a one-sided derivative at p=1 was previously known (Kozlov). The proof works through the effective conductivity a(p), which satisfies $\sigma$(p)^2/2 = a(p)/$\theta$(p), and shows that the finite-volume approximations a_m(p) — explicit polynomials in p — have derivatives that stay uniformly bounded in the volume and converge, at rate $3^{{-alpha m}}$ for every order k. The technical core is a renormalization scheme (pyramid partitions of good cubes) combined with cluster-growth decomposition and hole separation to control the high-order Glauber derivatives of the corrector. A reader should care because smoothness underpins any rigorous expansion or critical-exponent study of transport in percolation.

What carries the argument

The load-bearing object is the improved $ell^{1}$-L2 energy I_m(i,j), a normalized sum over all i-edge subsets F and j-edge subsets G of squared gradients of the (i+j)-th Glauber derivatives D_{F union G} v_m of the finite-volume corrector. The argument shows the k-th derivative of a_m(p) is bounded by finitely many of these energies, then controls them by induction using the perturbed corrector equation -div(a^F grad V_m(F,j)) = div W_m(F,j), in which the degree |F|+2j strictly decreases on the right-hand side. Because the percolation is degenerate (no uniform ellipticity), the induction is closed by a sequence of nested pyramid partitions of good cubes that are N-stable — robust to opening up to N edges — plus two combinatorial devices: cluster-growth decomposition, splitting F into boundary-connecting and hole-merging edges, and hole separation, which restricts Glauber derivatives inside a small cube. These yield the weighted estimate (5.14) and the annealed uniform bound (9.1) that proves the theorem.

What would settle it

For a fixed supercritical p and some order k, compute the k-th derivative of the finite-volume conductivity a_m(p) for increasing m; if the sequence does not converge, or converges slower than any $3^{{-alpha m}}$, Theorem 1.2 (and Theorem 1.1) are false. Alternatively, exhibit p in (p_c,1) where the effective conductivity a(p) has a jump in its k-th derivative.

Watch

Extended reading notes

Core claim

Theorem 1.1 states that for d>=2 the mapping p -> $\sigma$(p) is infinitely differentiable in (p_c,1], with the derivative at 1 understood as the left derivative; equivalently, the effective conductivity a(p) is C^infinity there. The proof additionally delivers Theorem 1.2: given d>=2 and p in (p_c,1], there exists an exponent alpha_*(d,p)>0 such that for every order k and every $\alpha$<alpha_*, |$a_m^{{(k)}}$(p) - $a^{{(k)}}$(p)| <= C(d,k,p,$\alpha$) $3^{{-alpha m}}$. This answers a question of Kozlov about differential properties of a(p) on the whole interval and extends his left-derivative result at p=1. The same differentiability transfers to the constant-speed walk, since the two diffusivities differ only by the smooth factor 2d E_p[a({0,1}) | 0 in C_infty].

Load-bearing premise

The argument assumes the existing quantitative homogenization estimates for percolation clusters hold uniformly in the volume, and the whole induction collapses if those estimates fail.

Editorial extensions

If this is right

Kozlov's open question on the differentiability of a(p) over the whole interval is answered in the supercritical regime, for every dimension d>=2.
The result transfers from variable-speed to constant-speed random walk, since the extra factor 2d E_p[a({0,1}) | 0 in C_infty] is smooth in p by earlier work.
For each order k, the quantitative derivative convergence rate 3^{-alpha m} makes the interchange of limit and differentiation fully justified, giving a computational route: derivatives of the polynomial a_m(p) approximate those of a(p).
The proof's robustness, as the authors note, extends to inhomogeneous Bernoulli percolation models.
The C^infty regularity is a first step toward the open critical-exponent problem sigma^2(p) approx (p-p_c)^t and toward possible analyticity of a(p).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A direct corollary the authors do not spell out is that the same machinery should give C^infinity smoothness for the homogenized matrix and diffusion constant in more general dilution models (e.g., site percolation or long-range edge models), as long as the good-cube renormalization and cluster-growth structure survive.
Since the constants in Theorem 1.2 depend on k through the Meyers exponent, and the proof does not track this dependence, analyticity of a(p) is not obtained; a natural test is to track the k-dependence explicitly and see whether a quantitative Gehring-type argument could yield uniform convergence of the Taylor series near each p.
If the derivative bounds could be made uniform down to p_c with a controlled blow-up rate, they would turn the qualitative critical-exponent questions into quantitative ones; the current proof only gives regularity away from the threshold.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The headline: the paper proves C^∞ differentiability of σ(p) on the open supercritical interval, and that part looks solid. The advertised endpoint p=1 is not covered. The proof's last step (Lemma 9.2) is for open intervals, and the only derivative bound, (3.12), carries a (1-p)^{-k} prefactor that diverges as p→1. Proposition 9.1 gives bounds locally uniform in p, but only on compact subsets of (p_c,1)—it does not control the p-dependence near 1. So the conditions for Lemma 9.2 fail in any neighborhood of 1, and Theorem 1.2 at p=1 inherits the gap. Kozlov's left-derivative result is cited but not used in the proof. The fix is easy: restrict the main statements to (p_c,1), or add a separate limiting argument at 1. If the authors want the endpoint, they need to track the p-dependence of the improved energies uniformly up to 1, which the current induction doesn't do.

What's genuinely new: this is the first full regularity result in the supercritical phase, extending Kozlov's left-derivative-at-1 to the whole interval. The new tools—pyramid partitions of good cubes, cluster-growth decomposition, hole separation—look like real additions to the toolkit for Glauber derivatives in degenerate environments. The induction in Sections 7–8 is intricate but coherent, and the quantitative derivative convergence (Theorem 1.2) is a meaningful strengthening. The paper leans on Armstrong–Dario's quantitative homogenization, which is legitimate: those are published results, not assumed conclusions.

The citation pattern is fine. Self-citations are relevant background. No fitted parameters, no circularity.

Soft spots aside from the endpoint: the paper is very long and notation-heavy; that's a readability cost, not a correctness issue. I don't see a second flaw at this level.

Who this is for: specialists in stochastic homogenization and percolation who care about regularity of effective parameters. It deserves a serious referee—the core result on (p_c,1) is important enough and the machinery is substantial. My recommendation: send to peer review, but the authors should fix the endpoint overclaim before it's in final form.

Referee Report

1 major / 4 minor

Summary. The paper proves that, for Bernoulli bond percolation on Z^d with d≥2, the diffusivity sigma(p) and the effective conductivity a(p) are infinitely differentiable on the supercritical interval (p_c,1], with the derivative at 1 understood as a left derivative; it also proves a quantitative finite-volume derivative convergence in Theorem 1.2. The proof is organized around finite-volume approximations a_m(p), an explicit chaos-expansion formula for the derivatives, a family of improved l^1-L^2 energy estimates, and a multi-scale renormalization built from pyramid partitions of good cubes. The main technical novelties are the cluster-growth decomposition and the hole-separation technique, which are used to handle the lack of uniform ellipticity on percolation clusters.

Significance. If the main theorem is valid, this is a substantial advance: it confirms a natural smoothness conjecture for a fundamental percolation quantity and provides quantitative derivative convergence, going well beyond Kozlov's one-sided result at p=1. The paper is honestly structured and does not fit any parameters; the core induction is detailed and the dependence on external results, especially Armstrong–Dario's quantitative homogenization estimates, is transparent. The new techniques (cluster-growth decomposition, hole separation, pyramid partitions) are likely to be useful in related degenerate-homogenization problems.

major comments (1)

[§9.2, Theorem 1.1 and Theorem 1.2; eq. (3.12)] The proof establishes the endpoint claim p=1 in Theorem 1.1 and Theorem 1.2 only insofar as Lemma 9.2 can be applied. Lemma 9.2 is an open-interval statement: it requires, for every k, local uniform boundedness of the k-th derivatives sup_L |nu_L^(k)| on the interval I. The proof of Theorem 1.1 verifies this condition using Lemma 3.4, eq. (3.12), together with Proposition 9.1. But eq. (3.12) carries the prefactor (1-p)^{-k}, and Proposition 9.1 gives uniform-in-m bounds for the energies I_m(i,j) with constants that are locally uniform in p on the open interval (p_c,1); it does not track or control the behavior of I_m(i,j) as p increases to 1, and in particular it does not show any vanishing that would cancel the (1-p)^{-k} singularity. Consequently the hypotheses of Lemma 9.2 are not verified on any one-sided neighborhood (1-epsilon,1), so the left-derivative statement at p=1 and the quantitative convergence at p=1 in Theorem 1.2 are unsupported by the arguments given. A separate endpoint argument is needed, or the statements should be revised to the open interval while the endpoint is treated by an additional limiting argument.

minor comments (4)

[§9.2, proof of Theorem 1.1] There is a typo in 'renormalizaiton' in the final paragraph of the proof of Theorem 1.1; it should read 'renormalization'.
[§5 and §7] The spelling of Meyers' estimate is inconsistent: the manuscript uses 'Meyers' in Definition 4.10 but 'Meyer's' in a few places such as Lemma 4.11; please standardize.
[§7, statement of Lemma 7.3] In the right-hand side of (7.7), the notation C^{F*}_{**}(r□∩□_m) is used, whereas elsewhere in the section the superscript is written as C^F_{**}; the notation should be made uniform to avoid confusion about whether the cluster is taken under a^F or under a^{F*}.
[§9.1, Proposition 9.1] The sentence 'The upper bound is locally uniform because the connectivity is monotone in function of p' is terse; it would help to state explicitly which constants in the renormalization depend on p through the tail estimate (4.2) and how local uniformity follows.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof of C^∞ regularity rests on exact derivative identities and external homogenization theorems, with no fitted inputs or self-citation chain forcing the conclusion.

full rationale

I find no circular step in the derivation chain. The main result is obtained by reducing σ(p) to a(p)/θ(p) via the Einstein relation (1.5), then proving exact finite-volume derivative identities (Proposition 3.1), bounding the improved ℓ1-L2 energies I_m(i,j) by a quenched induction (Propositions 7.1 and 8.6), and finally applying the classical uniform-convergence lemma (Lemma 9.2). The finite-volume approximation rate and Meyers estimates are imported from Armstrong and Dario [11], whose assumptions do not include the target C^∞ regularity of σ(p). The authors' own prior works [31], [32], and [48] are cited for corrector estimates and the Einstein relation, but these are independent published results with stated hypotheses that do not contain the conclusion of this paper; they are real evidence rather than circular support. No parameter is fitted to the target quantity, and Theorem 1.2's quantitative derivative convergence is not assumed but derived from the external rate in [11] together with the new uniform derivative bounds. The skeptical concern about the endpoint p=1 — that Lemma 9.2 is stated on an open interval and (3.12) has a (1-p)^{-k} singularity — is a possible correctness gap, not a circularity: the proof chain does not define the endpoint smoothness in terms of itself.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted. The paper's new content is a proof; it assumes standard percolation facts and previously established homogenization theorems. The only potentially fragile input is the external quantitative homogenization machinery.

assumptions (4)

domain assumption Uniqueness and a.s. existence of the infinite cluster above p_c
Invoked in Section 2.2; standard percolation fact.
domain assumption Quenched invariance principle and Einstein relation sigma^2/2 = a/theta
Used to reduce the main theorem to conductivity; established in [23,59,32].
domain assumption Quantitative homogenization and Meyers' estimates on percolation clusters
Finite-volume approximation rate [11, Prop 5.2] and boundary Meyers' estimate [11, Prop 3.8], used in Lemma 4.11 and Proposition 5.1; load-bearing for Sections 5 and 9.
domain assumption Smoothness of the connection probability theta(p)
Russo and Georgakopoulos-Panagiotis [69,39]; used in the reduction via (1.5).

how reviews work

0 comments

Cite this review

Pith. "Pith review of The diffusivity of supercritical Bernoulli percolation is infinitely differentiable." pith.science (2026). https://pith.science/paper/SHITIQIA

@misc{pith2026250607158,
  author       = {Pith},
  title        = {Pith review of: The diffusivity of supercritical Bernoulli percolation is infinitely differentiable},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SHITIQIA}},
  note         = {Machine review of arXiv:2506.07158}
}

abstract

We prove that, the diffusivity and conductivity on $\mathbb{Z}^d$-Bernoulli percolation ($d \geq 2$) are infinitely differentiable in supercritical regime. This extends a result by Kozlov [Uspekhi Mat. Nauk 44 (1989), no. 2(266), pp 79 - 120]. The key to the proof is a uniform estimate for the finite-volume approximation of derivatives, which relies on the perturbed corrector equations in homogenization theory. The renormalization of geometry is then implemented in a sequence of scales to gain sufficient degrees of regularity. To handle the higher-order perturbation on percolation, new techniques, including cluster-growth decomposition and hole separation, are developed.

Figures

Figures reproduced from arXiv: 2506.07158 by the authors.

**Figure 2.** Quick explanation of parameters in the ℓ 1 -L 2 improved energy [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗

**Figure 3.** The outline of proof. 1.3. Organization of paper. The remaining of paper is organized as follows. In Section 2, we recall the results from previous work. The elementary objects, including the expression of a (k) m (p), the ℓ 1 -L 2 energy, and the perturbed corrector equation are deduced in Section 3. We then study the uniform bound of the ℓ 1 -L 2 energy from the aspects of geometry, analysis, and combinatorics. I… view at source ↗

Figures from the paper (4 more)

**Figure 4.** Figure 4: The figure on the left is a realization of cluster of percolation (C , Ea d (C )), and the figure on the right is its induced graph (C , Ed(C )) [PITH_FULL_IMAGE:figures/full_fig_p010_4.png]

**Figure 5.** Figure 5: An illustration of the pyramid partitions P (N,3) 2 (□),P (N,3) 1 (□),P (N,3) 0 (□) [PITH_FULL_IMAGE:figures/full_fig_p027_5.png]

**Figure 6.** Figure 6: Illustration for the argument in (4.31) [PITH_FULL_IMAGE:figures/full_fig_p030_6.png]

**Figure 7.** Figure 7: The clusters in gray are boundary-connecting, while the others in red are holes. The edges in blue are in F∗, and the ones in green are of F◦. The arrows in orange mark the vertices for the canonical grain extension: among the nearest vertices on a, they choose the one…

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

74 extracted references · 61 canonical work pages

[1]

Aizenman, H

M. Aizenman, H. Kesten, and C. M. Newman. Uniqueness of the infinite cluster and continuity of con- nectivity functions for short and long range percolation.Comm. Math. Phys., 111(4):505–531, 1987

work page 1987
[2]

Y. Almog. Averaging of dilute random media: a rigorous proof of the Clausius-Mossotti formula.Arch. Ration. Mech. Anal., 207(3):785–812, 2013

work page 2013
[3]

Y. Almog. The Clausius-Mossotti formula in a dilute random medium with fixed volume fraction.Mul- tiscale Model. Simul., 12(4):1777–1799, 2014

work page 2014
[4]

Y. Almog. The Clausius-Mossotti formula for dilute random media of perfectly conducting inclusions. SIAM J. Math. Anal., 49(4):2885–2919, 2017

work page 2017
[5]

Anantharaman and C

A. Anantharaman and C. Le Bris. A numerical approach related to defect-type theories for some weakly random problems in homogenization.Multiscale Model. Simul., 9(2):513–544, 2011

work page 2011
[6]

Anantharaman and C

A. Anantharaman and C. Le Bris. Elements of mathematical foundations for numerical approaches for weakly random homogenization problems.Commun. Comput. Phys., 11(4):1103–1143, 2012

work page 2012
[7]

S. Andres. Homogenization theory of random walks in degenerate random environment.arXiv preprint arXiv:2504.06690, 2025

arXiv 2025
[8]

Andres, M

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

work page 2013

Show all 74 references

[9]

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

2015
[10]

Antal and A

P. Antal and A. Pisztora. On the chemical distance for supercritical Bernoulli percolation.Ann. Probab., 24(2):1036–1048, 1996

1996
[11]

Armstrong and P

S. Armstrong and P. Dario. Elliptic regularity and quantitative homogenization on percolation clusters. Commun. Pure Appl. Math., 71(9):1717–1849, 2018

2018
[12]

Armstrong and T

S. Armstrong and T. Kuusi. Elliptic homogenization from qualitative to quantitative.arXiv preprint arXiv:2210.06488, 2022

2022 arXiv
[13]

Armstrong and T

S. Armstrong and T. Kuusi. Renormalization group and elliptic homogenization in high contrast.arXiv preprint arXiv:2405.10732, 2024

2024 arXiv
[14]

Armstrong, T

S. Armstrong, T. Kuusi, and J.-C. Mourrat. Mesoscopic higher regularity and subadditivity in elliptic homogenization.Comm. Math. Phys., 347(2):315–361, 2016

2016
[15]

Armstrong, T

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

2017
[16]

Armstrong, T

S. Armstrong, T. Kuusi, and J.-C. Mourrat.Quantitative stochastic homogenization and large-scale reg- ularity, volume 352 ofGrundlehren der mathematischen Wissenschaften. Springer Nature, 2019

2019
[17]

S. N. Armstrong and J.-C. Mourrat. Lipschitz regularity for elliptic equations with random coefficients. Arch. Ration. Mech. Anal., 219(1):255–348, 2016

2016
[18]

S. N. Armstrong and C. K. Smart. Quantitative stochastic homogenization of convex integral functionals. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 49(2):423–481, 2016

2016
[19]

M. T. Barlow. Random walks on supercritical percolation clusters.Ann. Probab., 32(4):3024–3084, 2004

2004
[20]

M. T. Barlow and J.-D. Deuschel. Invariance principle for the random conductance model with unbounded conductances.Ann. Probab., 38(1):234–276, 2010

2010
[21]

M. T. Barlow and B. M. Hambly. Parabolic Harnack inequality and local limit theorem for percolation clusters.Electron. J. Probab., 14:no. 1, 1–27, 2009

2009
[22]

Benjamini, H

I. Benjamini, H. Duminil-Copin, G. Kozma, and A. Yadin. Disorder, entropy and harmonic functions. Ann. Probab., 43(5):2332–2373, 2015

2015
[23]

Berger and M

N. Berger and M. Biskup. Quenched invariance principle for simple random walk on percolation clusters. Probab. Theory Related Fields, 137(1-2):83–120, 2007

2007
[24]

M. Biskup. Recent progress on the random conductance model.Probab. Surv., 8:294–373, 2011

2011
[25]

Biskup, X

M. Biskup, X. Chen, T. Kumagai, and J. Wang. Quenched invariance principle for a class of random conductance models with long-range jumps.Probab. Theory Related Fields, 180(3-4):847–889, 2021

2021
[26]

S. R. Broadbent and J. M. Hammersley. Percolation processes: I. crystals and mazes. InMathematical proceedings of the Cambridge philosophical society, volume 53, pages 629–641. Cambridge University Press, 1957

1957
[27]

R. M. Burton and M. Keane. Density and uniqueness in percolation.Comm. Math. Phys., 121(3):501–505, 1989

1989
[28]

J. T. Chayes, L. Chayes, and C. M. Newman. Bernoulli percolation above threshold: an invasion perco- lation analysis.The Annals of Probability, pages 1272–1287, 1987

1987
[29]

Chen, Z.-Q

X. Chen, Z.-Q. Chen, T. Kumagai, and J. Wang. Quantitative stochastic homogenization for random conductance models with stable-like jumps.Probab. Theory Related Fields, 191(1-2):627–669, 2025

2025
[30]

X. Chen, T. Kumagai, and J. Wang. Random conductance models with stable-like jumps: quenched invariance principle.Ann. Appl. Probab., 31(3):1180–1231, 2021

2021
[31]

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

2021
[32]

Dario and C

P. Dario and C. Gu. Quantitative homogenization of the parabolic and elliptic Green’s functions on percolation clusters.Ann. Probab., 49(2):556–636, 2021

2021
[33]

P. G. de Gennes. La percolation: un concept unificateur.La recherche, 7(72):919–927, 1976

1976
[34]

Duerinckx and A

M. Duerinckx and A. Gloria. Analyticity of homogenized coefficients under Bernoulli perturbations and the Clausius-Mossotti formulas.Arch. Ration. Mech. Anal., 220(1):297–361, 2016

2016
[35]

Duerinckx and A

M. Duerinckx and A. Gloria. The Clausius-Mossotti formula.Asymptot. Anal., 134(3-4):437–453, 2023

2023
[36]

Duerinckx and A

M. Duerinckx and A. Gloria.On Einstein ’s effective viscosity formula, volume 7 ofMemoirs of the European Mathematical Society. EMS Press, Berlin, 2023

2023
[37]

Duminil-Copin

H. Duminil-Copin. Sixty years of percolation. InProceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. IV. Invited lectures, pages 2829–2856. World Sci. Publ., Hackensack, NJ, 2018

2018
[38]

Fitzner and R

R. Fitzner and R. van der Hofstad. Mean-field behavior for nearest-neighbor percolation ind >10. Electron. J. Probab., 22:Paper No. 43, 65, 2017

2017
[39]

Georgakopoulos and C

A. Georgakopoulos and C. Panagiotis. Analyticity results in bernoulli percolation.arXiv preprint arXiv:1811.07404, 2018

2018 arXiv
[40]

Giunti, C

A. Giunti, C. Gu, and J.-C. Mourrat. Quantitative homogenization of interacting particle systems.Ann. Probab., 50(5):1885–1946, 2022

1946
[41]

Giunti, C

A. Giunti, C. Gu, J.-C. Mourrat, and M. Nitzschner. Smoothness of the diffusion coefficients for particle systems in continuous space.Commun. Contemp. Math., 25(3):Paper No. 2250027, 60, 2023

2023
[42]

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

2015
[43]

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

2011
[44]

Gloria and F

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

2012
[45]

Gloria and F

A. Gloria and F. Otto. Quantitative results on the corrector equation in stochastic homogenization.J. Eur. Math. Soc. (JEMS), 19(11):3489–3548, 2017

2017
[46]

Grimmett.Percolation, volume 321 ofGrundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

G. Grimmett.Percolation, volume 321 ofGrundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, second edition, 1999. 68

1999
[47]

C. Gu. An efficient algorithm for solving elliptic problems on percolation clusters.The Annals of Applied Probability, 32(4):2755–2810, 2022

2022
[48]

C. Gu, Z. Su, and R. Xu. Coupling between brownian motion and random walks on the infinite percolation cluster.arXiv preprint arXiv:2411.04778, 2024

2024 arXiv
[49]

Hara and G

T. Hara and G. Slade. Mean-field critical behaviour for percolation in high dimensions.Comm. Math. Phys., 128(2):333–391, 1990

1990
[50]

Heydenreich and R

M. Heydenreich and R. van der Hofstad.Progress in high-dimensional percolation and random graphs. CRM Short Courses. Springer, Cham; Centre de Recherches Math´ ematiques, Montreal, QC, 2017

2017
[51]

B. D. Hughes.Conduction and Diffusion in Percolating Systems, pages 191–235. Springer US, New York, NY, 2021

2021
[52]

T. Iwaniec. The Gehring lemma. InQuasiconformal mappings and analysis (Ann Arbor, MI, 1995), pages 181–204. Springer, New York, 1998

1995
[53]

V. V. Jikov, S. M. Kozlov, and O. A. Ole˘ inik.Homogenization of differential operators and integral functionals. Springer-Verlag, Berlin, 1994

1994
[54]

H. Kesten. The critical probability of bond percolation on the square lattice equals 1 2 .Comm. Math. Phys., 74(1):41–59, 1980

1980
[55]

Kesten and Y

H. Kesten and Y. Zhang. The probability of a large finite cluster in supercritical Bernoulli percolation. Ann. Probab., 18(2):537–555, 1990

1990
[56]

Kolmogoroff

A. Kolmogoroff. On inequalities between the upper bounds of the successive derivatives of an arbitrary function on an infinite interval.Amer. Math. Soc. Translation, 1949(4):19, 1949

1949
[57]

S. M. Kozlov. Geometric aspects of averaging.Uspekhi Mat. Nauk, 44(2(266)):79–120, 1989

1989
[58]

Lee and C.-N

T.-D. Lee and C.-N. Yang. Statistical theory of equations of state and phase transitions. ii. lattice gas and ising model.Physical Review, 87(3):410, 1952

1952
[59]

Mathieu and A

P. Mathieu and A. Piatnitski. Quenched invariance principles for random walks on percolation clusters. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 463(2085):2287–2307, 2007

2007
[60]

Messager and T

A. Messager and T. JC. On analyticity properties of pressure for two-body ising models. 1974

1974
[61]

Messager and J.-C

A. Messager and J.-C. Trotin. Analyticity properties in ising models. InAnnales de l’IHP Physique th´ eorique, volume 24, pages 301–321, 1976

1976
[62]

J.-C. Mourrat. First-order expansion of homogenized coefficients under Bernoulli perturbations.J. Math. Pures Appl. (9), 103(1):68–101, 2015

2015
[63]

Naddaf and T

A. Naddaf and T. Spencer. Estimates on the variance of some homogenization problems, 1998, unpub- lished preprint

1998
[64]

Navarro Arroyo

V. Navarro Arroyo. Variants and applications of gehring’s lemma. Master’s thesis, Universitat Polit` ecnica de Catalunya, 2023

2023
[65]

S. Ott. Weak mixing and analyticity of the pressure in the ising model.Communications in Mathematical Physics, 377:675–696, 2020

2020
[66]

Pisztora

A. Pisztora. Surface order large deviations for Ising, Potts and percolation models.Probab. Theory Related Fields, 104(4):427–466, 1996

1996
[67]

Procaccia, R

E. Procaccia, R. Rosenthal, and A. Sapozhnikov. Quenched invariance principle for simple random walk on clusters in correlated percolation models.Probab. Theory and Related Fields, 166(3-4):619–657, 2016

2016
[68]

Rudin.Principles of mathematical analysis

W. Rudin.Principles of mathematical analysis. International Series in Pure and Applied Mathematics. McGraw-Hill Book Co., New York-Auckland-D¨ usseldorf, third edition, 1976

1976
[69]

L. Russo. A note on percolation.Zeitschrift f¨ ur Wahrscheinlichkeitstheorie und verwandte Gebiete, 43(1):39–48, 1978

1978
[70]

Sapozhnikov

A. Sapozhnikov. Random walks on infinite percolation clusters in models with long-range correlations. Ann. Probab., 45(3):1842–1898, 2017

2017
[71]

Sidoravicius and A.-S

V. Sidoravicius and A.-S. Sznitman. Quenched invariance principles for walks on clusters of percolation or among random conductances.Probab. Theory Related Fields, 129(2):219–244, 2004

2004
[72]

Smirnov and W

S. Smirnov and W. Werner. Critical exponents for two-dimensional percolation.Math. Res. Lett., 8(5- 6):729–744, 2001

2001
[73]

von Landau

E. von Landau. Einige ungleichungen f¨ ur zweimal differentiierbare funktionen.Proceedings of the London Mathematical Society, s2-13(1):43–49, 1914

1914
[74]

V. V. Zhikov. Efficient conductivity of homogeneous random sets.Mat. Zametki, 45(4):34–45, 125, 1989. (Chenlin Gu)Yau Mathematical Sciences Center, Tsinghua University, Beijing, China Email address:gclmath@tsinghua.edu.cn (Wenhao Zhao)EPFL, Lausanne, Switzerland & School of Ma...

1989

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Aizenman, H

M. Aizenman, H. Kesten, and C. M. Newman. Uniqueness of the infinite cluster and continuity of con- nectivity functions for short and long range percolation.Comm. Math. Phys., 111(4):505–531, 1987

work page 1987

[2] [2]

Y. Almog. Averaging of dilute random media: a rigorous proof of the Clausius-Mossotti formula.Arch. Ration. Mech. Anal., 207(3):785–812, 2013

work page 2013

[3] [3]

Y. Almog. The Clausius-Mossotti formula in a dilute random medium with fixed volume fraction.Mul- tiscale Model. Simul., 12(4):1777–1799, 2014

work page 2014

[4] [4]

Y. Almog. The Clausius-Mossotti formula for dilute random media of perfectly conducting inclusions. SIAM J. Math. Anal., 49(4):2885–2919, 2017

work page 2017

[5] [5]

Anantharaman and C

A. Anantharaman and C. Le Bris. A numerical approach related to defect-type theories for some weakly random problems in homogenization.Multiscale Model. Simul., 9(2):513–544, 2011

work page 2011

[6] [6]

Anantharaman and C

A. Anantharaman and C. Le Bris. Elements of mathematical foundations for numerical approaches for weakly random homogenization problems.Commun. Comput. Phys., 11(4):1103–1143, 2012

work page 2012

[7] [7]

S. Andres. Homogenization theory of random walks in degenerate random environment.arXiv preprint arXiv:2504.06690, 2025

arXiv 2025

[8] [8]

Andres, M

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

work page 2013