Robin harmonic measure with a variable permeability parameter

Alberto Pacati; Svitlana Mayboroda

REVIEW 2 major objections 3 minor 20 references

Robin harmonic measure with a variable permeability parameter

T0 review · 2 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read In rough domains with variable permeability, the Robin harmonic measure is quantitatively mutually absolutely continuous with respect to the weighted surface measure a dσ.

desk verdict The main theorems are likely right, but the printed boundary Poincaré inequality is false as stated, and that is load-bearing. read the letter →

arxiv 2510.22354 v2 pith:IVXRNBJA submitted 2025-10-25 math.AP

Svitlana Mayboroda , Alberto Pacati This is my paper · ORCID

classification math.AP MSC 35J2535J1531B25

keywords Robinharmonicmeasurevariablepermeabilityone-sidedNTAdomainAhlfors-DavidregularmutualabsolutecontinuityboundaryHarnackinequalityGreenfunctionellipticvalueproblem

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

This paper establishes that the Robin harmonic measure — the measure that represents solutions of an elliptic Robin problem with a variable, possibly vanishing, permeability parameter a on a rough boundary — is controlled by the weighted surface measure μ = a dσ, and vice versa. The setting is a bounded one-sided NTA domain whose boundary is Ahlfors–David regular of dimension d strictly between n−2 and n. The main result says that for any nonnegative, non-identically-zero a in L^q with q > d/(d−n+2), the two measures are mutually absolutely continuous. More precisely, over small surface balls their ratios are comparable by a constant, and over large balls comparability holds up to a power of a local scale-invariant norm of a. A reader should care because this shows the Robin mechanism smooths out the wild behavior that Dirichlet harmonic measure can exhibit: even in very rough, non-rectifiable boundaries, the Robin measure tracks the permeability-weighted boundary area rather than the geometry of the domain.

What carries the argument

The load-bearing device is the boundary Poincaré inequality of Lemma 2.29 (a trace Poincaré inequality on surface balls) with exponent k < d/(n−2), obtained by adapting a chain-of-balls construction to dyadic boundary cubes. This inequality converts boundary L^{2k} oscillations of traces into interior L^2 gradient norms, uniformly over all scales; through (2.33) it supplies the factor r^{2−n+d−d/q}∥a∥_{L^q} that drives the small- and large-scale hypotheses of Theorems 1.3 and 1.5. It is what lets the paper treat the Robin problem as a perturbation of the Neumann problem and apply interior-type Moser/weak-Harnack arguments up to the boundary.

What would settle it

Take any bounded 1-sided NTA domain with d-ADR boundary, n−2 < d < n, and any non-identically-zero a ∈ L^q with q > d/(d−n+2); compute or construct analytically a Borel set E ⊂ Δ(x0, r) with μ(E) > 0 but ω_{R,L}^X(E) = 0 for some pole X. If such a pair exists, mutual absolute continuity fails and Theorem 1.2 is false; likewise, exhibiting balls Δ where the ratio ω(E)/ω(Δ) divided by μ(E)/μ(Δ) is unbounded as r → 0 would falsify Theorem 1.3.

Watch

Extended reading notes

Core claim

On a bounded one-sided NTA domain with d-ADR boundary (n−2 < d < n), for a uniformly elliptic L and a ≥ 0 in L^q(∂Ω, σ), q > d/(d−n+2), non-identically zero, the Robin harmonic measure ω_{R,L}^X and μ = a dσ are mutually absolutely continuous for every pole X ∈ Ω. The proof uses a boundary Poincaré inequality, Moser and weak-Harnack estimates for Neumann solutions with L^q data, a boundary Harnack inequality at small scales, and a Green-function representation ω(E) = ∫_E G^T_{R,A}(x, X) a dσ. Quantitative versions compare ω and μ on Borel subsets of surface balls Δ(x0, r): at small scales the ratio is bounded by C μ(E)/μ(Δ), at large scales by C times a power of ∥a∥_{L^q} r^{2−n+d−d/q}.

Load-bearing premise

The boundary Poincaré inequality (2.30) — uniform over all surface balls and all scales in this class of 1-sided NTA domains — is the load-bearing premise; if its constant cannot be kept uniform, the quantitative mutual absolute continuity results collapse.

Editorial extensions

If this is right

If the central claim holds, Robin harmonic measure for variable a is never singular with respect to μ: every set of positive μ-measure is seen by the Robin measure, and every set seen by the Robin measure has positive μ-measure.
For any surface ball where the local scale-invariant norm of a is small (∥a∥_{L^q(Δ)} r^{2−n+d−d/q} ≤ 1), the quantitative comparability (1.4) holds with constants independent of the ball and of a.
For balls where that norm is large, the power-law estimates (1.6) still give control, with exponent γ depending only on the geometric constants, ellipticity, and q.
Because solutions are Hölder continuous up to the boundary, the Robin problem has a well-defined pointwise boundary trace and a probability harmonic measure satisfying the Riesz representation formula.
The results cover a = 0 seamlessly on sets where permeability vanishes; only the support where a is non-identically zero matters for the lower bound of the measure.

Reading between the lines

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

The small-scale condition suggests a natural critical-length heuristic: ρ(q, d) = ∥a∥^{-1/(2−n+d−d/q)} behaves as a local permeability length below which the Robin measure is uniformly comparable to μ; above it, only power-law control remains. This scale has no direct analogue for constant a.
Because the proof only needs a ≥ 0 and non-identically zero, it implies that the Robin boundary condition regularizes the harmonic measure even when the Dirichlet problem would be completely singular; one might test whether this regularization by Robin data persists for operators with lower regularity coefficients.
The Green-function representation ω(E) = ∫_E G^T_{R,A}(·, X) a dσ suggests that for a fixed X, the density G^T_{R,A}(·, X) can be interpreted as the Robin Poisson kernel; a testable extension is to derive L^p solvability or Carleson-measure estimates for this kernel in the spirit of Dirichlet theory.
The boundary Poincaré inequality is the only non-standard input; if it can be proven for domains with uniformly rectifiable boundaries or for complex-valued elliptic coefficients, the same proof scheme would immediately extend the mutual absolute continuity to those settings.

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 honest one-line summary: this paper extends the constant-coefficient Robin harmonic measure result of [DDE+] to a variable, merely L^q Robin parameter on 1-sided NTA domains, and proves quantitative mutual absolute continuity against μ = a dσ instead of surface measure. That is a real step, and the paper is transparent about the simultaneous independent work [WYY]. The overall architecture — coercivity, Moser/weak-Harnack, Harnack at small scales, Green function, representation formula — is coherent and the exponents in Theorems 1.3 and 1.5 are the right ones. Give credit for that, and for the honest disclosure of overlap.

The load-bearing problem is Lemma 2.29, in particular inequality (2.30). Test it in the flat case Ω = R^n_+, d = n−1, with u = x_n η(x/r), η a cutoff, and E a set of positive measure in B(0,r)∩Ω. Then Tru = 0 on Δ(0,r) while u_E ≈ r, so the LHS of (2.30) is about r^{1+(n−1)/(2k)}, while the RHS is r times the gradient L2 norm, about r^{1+n/2}. For k=1 the ratio blows up like r^{−1/2}. The inequality cannot hold as stated. The origin of the error is in the proof of Lemma 2.27: after the Minkowski/Hölder step a spurious σ(2Q)^{−1/k} factor and the prefactor ℓ^{1−α+n/2−d/(2k)} produce the wrong scale. What the proof actually needs is the standard normalized boundary Poincaré inequality with RHS factor r^{1−n/2+d/(2k)}. That correction propagates to (2.33), which as printed is dimensionally inconsistent; the needed estimate is r^{2−n+d−d/q}∥g∥_{L^q}∫|∇u|^2, exactly the factor used later. Since Lemma 2.34, the Moser argument, and the weak Harnack proof all invoke (2.30), the printed proof of the main theorems is not valid.

Other soft spots are smaller. The abstract says absolute continuity with respect to surface measure, but the theorems are about μ = a dσ; that should be fixed. Lemma 5.2 is delegated to [DDE+] without a full proof for the variable-L^q case; that is probably fine, but it should be stated more carefully.

The good news: the intended normalized Poincaré inequality is standard, the exponents in the main theorems are consistent with the corrected scaling, and the rest of the chain appears structurally sound. This looks repairable, not fatal. But as submitted, a central lemma is false, so the paper needs serious revision, not just copyediting. I would send it to peer review, with referees asked to verify the corrected boundary Poincaré inequality and its downstream use. I would not cite it in its current form.

Referee Report

2 major / 3 minor

Summary. The paper studies the Robin boundary value problem for uniformly elliptic operators on bounded one-sided NTA domains with d-Ahlfors-David regular boundary, n-2<d<n. It treats a non-constant Robin parameter 0≤a∈L^q(∂Ω,σ), q>d/(d-n+2), constructs the Robin harmonic measure and Robin Green function, and proves the mutual absolute continuity ω_{R,L}^X ≪ μ and μ ≪ ω_{R,L}^X, where dμ=a dσ. Theorems 1.3 and 1.5 give quantitative two-sided bounds of the Radon-Nikodym ratios at small and large scales. The main new ingredient is a boundary Poincaré inequality (Lemma 2.29) used to run Neumann-type Moser, weak-Harnack, and boundary Harnack arguments.

Significance. If the proof is correct, this is a significant and natural extension of [DDE+] to variable permeability, with the expected sharp integrability threshold q>d/(d-n+2). The paper contains substantial original material: existence and uniqueness, local Hölder continuity up to the boundary for Robin solutions, construction of the Green function, and a representation formula leading to quantitative mutual absolute continuity. The reliance on [DDE+] and [DFM] is as tools, not circularly; no parameters are fit to the conclusion. The simultaneous independent work [WYY] is acknowledged honestly. However, the central new analytic estimate, the boundary Poincaré inequality, is mis-stated, and the error propagates into several load-bearing arguments.

major comments (2)

[Section 2, Lemma 2.29 / Eq. (2.30)] The statement of (2.30) has the wrong scale. For Ω=R^n_+, ∂Ω=R^{n-1} (d=n-1), take u(x)=x_n η(x/r) with η a smooth cutoff on B(0,2r). Then Tru=0 on Δ(0,r), while u_E≈r; for k=1 the LHS is ≈ r^{1+(n-1)/2}, and the RHS is r(∫_{B(0,Kr)} |∇u|^2)^{1/2} ≈ r^{1+n/2}. Hence LHS/RHS ≈ r^{-1/2}→∞ as r→0, so no uniform constant C exists. The proof of Lemma 2.27 (page 8-9) has the source: after the Minkowski/Hölder step a spurious σ(2Q)^{-1/k} factor appears, yielding the prefactor ℓ(Q)^{1-α+n/2-d/(2k)}. A dimensionally consistent boundary Poincaré inequality should have RHS C r^{1-n/2+d/(2k)} (∫|∇u|^2)^{1/2}. Since (2.30) is used in Lemma 2.34, Lemma 4.1, Lemma 4.10, Theorem 5.9, and the proofs of Theorems 1.3 and 1.5, the printed proof of the main theorems is not valid as it stands.
[Section 2, Eq. (2.33)] Equation (2.33) inherits the wrong exponent from (2.30). As printed it reads ∫_Δ |Tru-u_B|^2 g dσ ≤ C r^{1-d/q} ∥g∥_{L^q(Δ)} (∫|∇u|^2)^{1/2}, which is dimensionally inconsistent and cannot be derived from the corrected (2.30). The actually needed estimate is C r^{2-n+d-d/q} ∥g∥_{L^q(Δ)} ∫|∇u|^2. This is the version used to close the boundary terms in Lemma 4.1 (Eqs. 4.7-4.8) and in the weak Harnack proof (Eq. 4.14), and it is the one that yields the small-scale condition r^{2-n+d-d/q}∥a∥_{L^q}≤1 appearing in Theorems 1.3 and 1.5. The printed (2.33) must be corrected and all subsequent inequalities rechecked.

minor comments (3)

[Abstract and Introduction] The abstract and the first paragraph of the Introduction state that the result gives mutual absolute continuity of the Robin harmonic measure 'with respect to the surface measure'. The actual theorem (Theorem 1.2) is with respect to μ=a dσ. This wording should be corrected to avoid overstatement.
[Throughout] There are several typos: 'Making a comparison wit [DDE+]' (page 4), 'we can argue us [DDE+]' (page 21), 'contraddiction' (page 10), 'nasted' (page 24). In Lemma 2.34 and Remark 2.36, the notation ∥a∥_{L^q(Ω)} and ⨏_Ω a should refer to ∂Ω.
[Section 6, proof of Theorem 1.2] In the contradiction argument for μ << ω, the paper uses that if G(·,X) vanishes at a boundary point, then an iterated Harnack inequality forces G≡0. This requires G to be a Robin solution up to the boundary with vanishing boundary data; this is plausible from the preceding Hölder-continuity results (Theorem 5.6), but the passage could be made more explicit for the Green function's boundary values.

Circularity Check

0 steps flagged · score 1.0 of 10

No circularity: the variable-permeability Robin harmonic measure estimates are proved via Green-function representation and Harnack inequalities; self-citations are infrastructural, not conclusion-bearing.

full rationale

The paper does not reduce its main conclusions to its inputs. The Robin harmonic measure is defined by Riesz representation from the Robin solution operator, and mutual absolute continuity with respect to mu = a dsigma is obtained from the Green-function representation (6.13)/(6.20), not assumed. The quantitative small- and large-scale estimates in Theorems 1.3 and 1.5 are derived from the boundary Harnack inequality at small scales, Theorem 5.9, whose hypotheses are verified by scaling and the L^q normalization in (2.33); no parameter is fitted, and no renamed input is presented as a prediction. The paper does rely on prior work by the same author group, especially [DDE+] and [DFM], for trace theory, tent spaces, Poincare inequalities and Harnack-chain constructions. These dependencies are real and load-bearing for the proof, but they are infrastructural lemmas rather than the target theorem: neither [DDE+] nor [DFM] contains the variable-permeability Robin harmonic measure theorem proved here, so the self-citation chain does not force the conclusion by construction. The skeptical objection about the scale factor in (2.30) is a correctness concern about a supporting lemma, not a circularity: even if that inequality required correction, that would not make the theorem an equivalence with its assumptions. Overall no significant circularity is present; the score reflects only the non-circular but heavy reliance on the authors' earlier framework.

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

The paper introduces no new physical entities or fitted constants. Its free parameters are structural: the permeability a∈L^q, the boundary dimension d, and the geometric/ellipticity constants. The main external load is the trace/Sobolev theory and the constant-a Robin theory from [DDE+] and [DFM], which are cited rather than re-derived.

assumptions (6)

domain assumption One-sided NTA condition (H1)-(H2) and d-ADRegularity (H3) with n−2<d<n (Definitions 2.1-2.2)
The whole theory is built on these quantitative openness, connectedness, and boundary measure assumptions.
domain assumption Trace and Sobolev theory: compact trace, norm equivalence ∥u∥_W≈∥∇u∥_{L^2}+∥Tr u∥_{L^2(σ)}, density of C_c^∞, Sobolev embedding W^{1,2}⊂L^p (Theorem 2.5)
Imported from [DDE+, Theorem 2.1], [Jon81], [HKT08], [AR19]; used for coercivity, compactness, and all function-space arguments.
standard math Uniform ellipticity of A (2.14)-(2.15)
Standard assumption for elliptic operators; used throughout for energy estimates and Harnack constants.
standard math Classical interior Harnack inequality and Moser local boundedness for weak solutions (e.g. [HL00, Chapter 4])
Invoked in Lemmas 4.1, 5.7, Theorems 5.9, 6.7, and 6.11 for interior balls.
domain assumption Lemma 5.7 from [DDE+, Lemma 3.3]: local sup bound by a corkscrew value for nonnegative subsolutions
Borrowed as a black box to control boundary sup values in the small-scale Harnack proof.
standard math Riesz representation, Lax-Milgram, Banach-Alaoglu, Ascoli-Arzelà
Standard functional-analytic tools used for existence, compactness, and construction of harmonic measure.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Robin harmonic measure with a variable permeability parameter." pith.science (2026). https://pith.science/paper/IVXRNBJA

@misc{pith2026251022354,
  author       = {Pith},
  title        = {Pith review of: Robin harmonic measure with a variable permeability parameter},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IVXRNBJA}},
  note         = {Machine review of arXiv:2510.22354}
}

abstract

In this paper we study the behavior of the solutions to the Robin problem in bounded $1$-sided NTA domains with Ahlfors-David regular boundary, generalizing the results of \cite{DavDEMM} to the case of a non constant Robin parameter. In particular, we will prove the mutual absolute continuity of the Robin harmonic measure with respect to the surface measure in the setting of variable permeability.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 3 linked inside Pith

[1]

Azzam, S

J. Azzam, S. Hofmann, J.M. Martell, M. Mourgoglou, and X. Tolsa, Harmonic measure and quantitative connectivity: geometric characterization of the L^p -solvability of the D irichlet problem , Invent. Math. 222 (2020), no. 3, 881--993

2020
[2]

Arfi and A

K. Arfi and A. Rozanova -P ierrat, Dirichlet-to- N eumann or P oincaré- S teklov operator on fractals described by d-sets , Discrete Contin. Dyn. Syst. 12 (2019), no. 1, 1--26

2019
[3]

R.F. Bass, K. Burdzy, and Z.Q. Chen, On the robin problem in fractal domains, Proc. London Math. Soc. 96 (2008), no. 4, 273--311

2008
[4]

Bucur, A

D. Bucur, A. Giacomini, and M. Nahon, Boundary behavior of R obin problems in non-smooth domains , http://arxiv.org/abs/2206.09771 arXiv:2206.09771 [math.AP]

arXiv
[5]

Bucur, M

D. Bucur, M. Nahon, C. Nitsch, and C. Trombetti, Shape optimization of a thermal insulation problem, Calc. Var. Partial Differential Equations 61 (2022), no. 5, 186

2022
[6]

Caffarelli, E.B

L.A. Caffarelli, E.B. Fabes, and C.E. Kenig, Completely singular elliptic-harmonic measures, Indiana Univ. Math. J. 30 (1981), no. 6, 917--924

1981
[7]

Christ, A T(b) theorem with remarks on analytic capacity and the C auchy integral , Colloq

M. Christ, A T(b) theorem with remarks on analytic capacity and the C auchy integral , Colloq. Math. 60/61 (1990), no. 2, 601--628

1990
[8]

Caffarelli and D

L. Caffarelli and D. Kriventsov, A free boundary problem related to thermal insulation, Comm. Partial Diﬀerential Equations 41 (2016), 1149--1182

2016

Show all 20 references

[9]

David, S

G. David, S. Decio, M. Engelstein, S. Mayboroda, and M. Michetti, Dimension and structure of the robin harmonic measure on rough domains, https://arxiv.org/abs/2410.23914 arXiv:2410.23914 [math.AP]

arXiv
[10]

David, J

G. David, J. Feneuil, and S. Mayboroda, Elliptic theory in domains with boundaries of mixed dimension, https://arxiv.org/abs/2003.09037 arXiv:2003.09037 [math.AP]

2003 arXiv
[11]

and K.-O

Michael G. and K.-O. Widman, The G reen function for uniformly elliptic equations , Manuscripta Math. 37 (1982), no. 3, 303--342

1982
[12]

Koskela, and H

Piotr H., P. Koskela, and H. Tuominen, Sobolev embeddings, extensions and measure density condition, J. Funct. Anal. 254 (2008), no. 5, 1217--1234

2008
[13]

1, New York University Courant Institute of Mathematical Sciences, New York, 2000

Qing Han and Fanghua Lin, Elliptic partial differential equations, Courant Lecture Notes in Mathematics, vol. 1, New York University Courant Institute of Mathematical Sciences, New York, 2000. 2777537

2000
[14]

Hofmann and D

S. Hofmann and D. Sparrius, The N eumann function and the L^p N eumann problem in chord-arc domains , Adv. Nonlinear Stud. 25 (2025), no. 2, 313--349

2025
[15]

Jones, Quasiconformal mappings and extendability of functions in S obolev spaces , Acta Math

P.W. Jones, Quasiconformal mappings and extendability of functions in S obolev spaces , Acta Math. 147 (1981), no. 1-2, 71--88

1981
[16]

Kim, Note on local boundedness for weak solutions of N eumann problem for second-order elliptic equations , J

S. Kim, Note on local boundedness for weak solutions of N eumann problem for second-order elliptic equations , J. Korean Soc. Ind. Appl. Math. 19 (2015), no. 2, 189–195

2015
[17]

Lanzani and Z

L. Lanzani and Z. Shen, On the R obin boundary conditions for L aplace’s equation in L ipschitz domains , Commun. Partial Diﬀer. Equations 29 (2004), no. 1-2, 91--109

2004
[18]

Modica and S

L. Modica and S. Mortola, Construction of a singular elliptic-harmonic measure, Manuscripta Math. 33 (1980/81), no. 1, 81--98

1980
[19]

Riesz and M

F. Riesz and M. Riesz, Compte Rendues du Quatrième Congrèes des Mathématiciens Scandinaves, (Stockholm 1916), Almqvists and Wilksels, (Upsala, 1920)

1916
[20]

J. Wang, D. Yang, and S. Yang, Robin P roblems of E lliptic E quations on R ough D omains: H ölder R egularity, G reen's F unctions, and H armonic M easures , https://arxiv.org/abs/2509.23073 arXiv:2509.23073 [math.AP]

Pith tools

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

[1] [1]

Azzam, S

J. Azzam, S. Hofmann, J.M. Martell, M. Mourgoglou, and X. Tolsa, Harmonic measure and quantitative connectivity: geometric characterization of the L^p -solvability of the D irichlet problem , Invent. Math. 222 (2020), no. 3, 881--993

2020

[2] [2]

Arfi and A

K. Arfi and A. Rozanova -P ierrat, Dirichlet-to- N eumann or P oincaré- S teklov operator on fractals described by d-sets , Discrete Contin. Dyn. Syst. 12 (2019), no. 1, 1--26

2019

[3] [3]

R.F. Bass, K. Burdzy, and Z.Q. Chen, On the robin problem in fractal domains, Proc. London Math. Soc. 96 (2008), no. 4, 273--311

2008

[4] [4]

Bucur, A

D. Bucur, A. Giacomini, and M. Nahon, Boundary behavior of R obin problems in non-smooth domains , http://arxiv.org/abs/2206.09771 arXiv:2206.09771 [math.AP]

arXiv

[5] [5]

Bucur, M

D. Bucur, M. Nahon, C. Nitsch, and C. Trombetti, Shape optimization of a thermal insulation problem, Calc. Var. Partial Differential Equations 61 (2022), no. 5, 186

2022

[6] [6]

Caffarelli, E.B

L.A. Caffarelli, E.B. Fabes, and C.E. Kenig, Completely singular elliptic-harmonic measures, Indiana Univ. Math. J. 30 (1981), no. 6, 917--924

1981

[7] [7]

Christ, A T(b) theorem with remarks on analytic capacity and the C auchy integral , Colloq

M. Christ, A T(b) theorem with remarks on analytic capacity and the C auchy integral , Colloq. Math. 60/61 (1990), no. 2, 601--628

1990

[8] [8]

Caffarelli and D

L. Caffarelli and D. Kriventsov, A free boundary problem related to thermal insulation, Comm. Partial Diﬀerential Equations 41 (2016), 1149--1182

2016