REVIEW 2 major objections 4 minor 1 cited by
Perturbations of elliptic operators in 1-sided chord-arc domains. Part II: Non-symmetric operators and Carleson measure estimates
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read In 1-sided chord-arc domains, Carleson estimates are equivalent to A∞ elliptic measure, even for non-symmetric coefficients.
desk verdict Serious and genuinely new results in non-symmetric elliptic measure theory, but the load-bearing estimates live in an unpublished companion; accept conditionally on their release. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the passage between a continuum Carleson estimate and dyadic sawtooth combinatorics. The paper uses dyadic grids on the Ahlfors-regular boundary, Carleson boxes $T_Q$, sawtooth domains $\Omega_{\mathcal{F},Q}$, and a "good $\varepsilon_0$-cover"—a nested chain of level sets defined through the dyadic maximal operator, in which each next level loses a fixed fraction of the previous elliptic measure. Lemma 3.10 converts a small elliptic-measure set into a bounded solution whose conical square function is large on that set, which is exactly what forces the surface measure to be small. In the converse direction, the Green function $G_{L_0}$ replaces $\delta(X)$ as the weight, and an integration-by-parts identity for antisymmetric matrices, involving the column-wise divergence ${\rm div}_C D$, is what lets the perturbation terms be absorbed as Carleson-measure contributions.
What would settle it
Exhibit a 1-sided chord-arc domain $\Omega$ and a real uniformly elliptic matrix $A$ (not necessarily symmetric) such that every bounded weak solution satisfies (1.2) but $\omega_L\notin A_\infty(\partial\Omega)$, or vice versa; because the two properties are claimed equivalent for all such operators, a single counterexample would decide against the theorem.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 1.1: for any real uniformly elliptic divergence-form operator $L$ in a 1-sided chord-arc domain, condition (a)—every bounded weak solution satisfies the Carleson measure estimate (1.2)—is equivalent to condition (b)—$\omega_L\in A_\infty(\partial\Omega)$. The forward direction is proved by constructing, for any small elliptic-measure set $F$, a good $\varepsilon_0$-cover whose nested levels are turned into a harmonic function $u=\omega_L^X(S)$ with large conical square function on $F$, forcing $F$ to have small surface measure. The reverse direction replaces the distance-to-boundary weight $\delta$ by the Green function $G_{L_0}$ on sawtooth subdomains and uses integration by parts with adapted cutoffs. The same reversal, run with $L_0$ in place of $L$, yields the general perturbation statement Theorem 4.13, from which Theorems 1.3 and 1.6 follow.
Load-bearing premise
The argument depends on a suite of boundary estimates for elliptic measure and Green functions in 1-sided chord-arc domains—doubling, boundary Harnack, and comparison—quoted from an unpublished manuscript [HMT1]; the main equivalence would collapse if those estimates are not available with the stated quantitative control.
Editorial extensions
If this is right
- For any real (not necessarily symmetric) elliptic operator in a 1-sided chord-arc domain, the Carleson measure estimate (1.2) and $\omega_L\in A_\infty(\partial\Omega)$ are interchangeable criteria.
- If $\omega_{L_0}\in A_\infty$ and the disagreement $\varrho(A_1,A_0)^2/\delta$ is a Carleson measure, then $\omega_{L_1}\in A_\infty$; the perturbation need not be small.
- When the antisymmetric part is locally Lipschitz and its column divergence satisfies (1.8), the three properties $\omega_L\in A_\infty$, $\omega_{L^\top}\in A_\infty$, and $\omega_{L_{\rm sym}}\in A_\infty$ are equivalent.
- Under the stronger gradient-Carleson hypothesis (1.11), $\omega_L\in A_\infty$ alone implies the domain is a chord-arc domain; the transpose condition previously assumed is redundant.
- Small antisymmetric perturbations with locally Lipschitz entries and Carleson-controlled divergence preserve the $A_\infty$ property of elliptic measure.
Reading between the lines
- Because the proof of Theorem 1.1 is quantitative, the $A_\infty$ constants and the Carleson constant should depend only on the ellipticity, the 1-sided chord-arc domain constants, and the Carleson norm; comparing these constants across the perturbation theorem may give effective stability bounds.
- The Green-function substitution suggests a template for nonlinear divergence-form operators, such as the $p$-Laplacian, wherever a Green function and boundary Harnack estimates are available.
- Theorem 1.6 indicates that the antisymmetric part of the matrix is visible to elliptic measure only through its column-wise divergence; one could test whether matrices with the same antisymmetric divergence produce the same $A_\infty$ behaviour.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies real (not necessarily symmetric) uniformly elliptic divergence-form operators in 1-sided chord-arc domains. Theorem 1.1 asserts the equivalence between (a) Carleson measure estimates for the gradients of all bounded weak solutions and (b) membership of the associated elliptic measure in the Muckenhoupt class A∞ with respect to surface measure. The forward direction is proved by a new dyadic good-cover argument; the reverse direction is proved by a reduction to discrete Carleson measures using sawtooths and published lemmas from [HMT2]. Theorems 1.3 and 1.6 are derived as consequences of a more general perturbation result, Theorem 4.13, which gives the preservation of A∞ under Carleson perturbations of the coefficients and under transposition when the divergence of the antisymmetric part satisfies a Carleson condition. Corollary 1.9 then removes an assumption in [HMT2].
Significance. If Theorem 1.1 is fully justified, this is a substantial extension of the Kenig-Kirchheim-Pipher-Toro result to 1-sided chord-arc domains and to non-symmetric operators, with the equivalence of Carleson estimates and A∞ as the central tool. The proof strategy is genuinely novel: the dyadic good-cover construction in Lemma 3.10 and the sawtooth-based reduction in Section 3.2 are interesting in their own right, and Theorem 4.13 gives a unified and conceptually simpler route to the perturbation results. There are no fitted parameters and no circularity: the new implications reduce to previously established estimates, and the Carleson-from-A∞ argument is an actual proof. The main caveat is that the foundational boundary estimates are cited to the unpublished manuscript [HMT1], so the significance of the theorem is currently conditional on the validity and availability of that manuscript.
major comments (2)
- [Section 2.4 and Theorem 1.1] The central equivalence depends on Lemmas 2.16, 2.17, and 2.24, all of which are either entirely cited to, or in the non-symmetric 1-sided CAD case attributed to, the unpublished manuscript [HMT1] ('work in progress, 2014'). These lemmas are used essentially at (3.18), (3.21), (3.15), and (3.55), so the proofs of both directions of Theorem 1.1 cannot be completed without them. The paper does not reproduce their proofs, and I found no published reference that covers the non-symmetric 1-sided CAD case. This is a load-bearing external dependency, not a circularity, but it blocks unconditional acceptance. The authors should either include proofs of these lemmas in the paper, cite a published or otherwise available version of [HMT1], or explicitly state Theorem 1.1 as conditional on [HMT1].
- [Section 3.1, Lemma 3.5] In the proof that Q_i^k ∩ Q_j^{k+1} ≠ ∅ forces Q_i^k ⊂ Q_j^{k+1}, the displayed inequality a^{-k} μ(Q_i^k) < μ( ~F ∩ Q_i^k) ≤ a^{-k-1} μ(Q_i^k) has an upper bound that does not follow from (3.7) or (3.8). The valid argument is that (3.7) for Q_i^k gives μ( ~F ∩ Q_i^k) > a^{-k} μ(Q_i^k) > a^{-(k+1)} μ(Q_i^k), so Q_i^k itself satisfies the density property used to define F_{k+1}, contradicting maximality of Q_j^{k+1} when Q_j^{k+1} ⊊ Q_i^k. The displayed inequality should be corrected. Since Lemma 3.5 supplies the good cover used in Lemma 3.10, the proof of (a) ⇒ (b) in Theorem 1.1 depends on this repair.
minor comments (4)
- [Section 3.1, text before (3.12)] The heading reads 'Proof of Proof of Theorem 1.1'; the duplicated 'Proof of' should be removed.
- [Section 3.2, Eq. (3.55)] The chain G0(X_I)/ℓ(I) ≈ G0(X_I)/δ(X_I) ≈ ω0(Δ_Q)/σ(Q) ≈ 1 compresses several nontrivial steps: Lemma 2.24(b) is stated with X_Δ (the corkscrew point of Δ) rather than with X_I, so one also needs Harnack's inequality and the symmetry identity (2.22) to justify replacing X_Δ by X_I. This should be expanded for readability and verifiability.
- [Section 3.2, Lemma 3.24, Case 2] In (3.36) the lower bound is labelled u(X_{~Q_i^ℓ}), but in the context of Case 2 the lower bound is for u(X_{~P_i^ℓ}) = u(X_{~Q_i^ℓ}); the label is confusing and should be corrected.
- [Section 2.3, Eq. (2.11)] The chain T_Q ⊂ T_Q^* ⊂ T_Q^{**} ⊂ T_Q^{**} ⊂ κ0 B_Q ∩ Ω repeats T_Q^{**}; the intended second inclusion is likely T_Q^{**} ⊂ T_Q^{***} or the intermediate region should be named consistently.
Circularity Check
No circularity: the A∞-vs-Carleson equivalence is proved from external boundary-regularity lemmas, with no fitted parameter or conclusion assumed.
full rationale
The claimed derivation chain is not circular. Theorem 1.1 is proved in two independent directions. In (a)=>(b), the Carleson estimate is applied only to the bounded solution u(X)=ω_X^L(S) constructed from a good epsilon-cover of a small-elliptic-measure set; the proof then converts the resulting lower square-function bound into a dyadic A∞ condition and uses Lemma 2.24(c)-(d) to pass to the continuous definition of A∞. No step assumes ω_L∈A∞. In (b)=>(a), the hypothesis ω_L∈A∞ is used to obtain a density in L^q via the scale-invariant form (2.15) and to normalize the Green function, after which Proposition 3.58 gives the discrete Carleson estimate through an integration by parts with a sawtooth cutoff. Again the conclusion (1.2) is derived rather than assumed. Theorems 1.3 and 1.6 reduce to Theorem 1.1 and Proposition 4.18, and the latter is proved from the same external lemmas, not from its conclusion. The only load-bearing citations to the authors' own work are Lemmas 2.16, 2.17, and 2.24 from [HMT1], and Lemmas 3.5, 3.12, and 4.44 from [HMT2]. These are parameter-free quantitative estimates whose stated hypotheses do not include Theorem 1.1; consequently, under the review rule for self-citations they constitute independent support rather than circularity. The fact that [HMT1] is listed as work in progress is a real verification and reproducibility concern, but it is not a circularity: no equation in the paper is equal to its input by construction, and no fitted quantity is renamed as a prediction.
Assumptions & free parameters
assumptions (5)
- domain assumption Ω is a 1-sided CAD: interior Corkscrew, Harnack Chain, and Ahlfors regular boundary.
- domain assumption Existence of elliptic measure and Green function for non-symmetric real uniformly elliptic operators on domains with AR boundary, with doubling, boundary Harnack, and comparison estimates (Lemmas 2.16, 2.17, 2.24).
- standard math Dyadic grid decomposition of Ahlfors regular sets (Lemma 2.5).
- standard math Equivalence of the A∞ condition with reverse Holder weights and the scale-invariant estimate (2.15).
- standard math Standard interior estimates for weak solutions of divergence form elliptic equations: Caccioppoli, Moser boundedness, Poincare, and Harnack.
Cite this review
Pith. "Pith review of Perturbations of elliptic operators in 1-sided chord-arc domains. Part II: Non-symmetric operators and Carleson measure estimates." pith.science (2026). https://pith.science/paper/L7XIKO63
@misc{pith2026190802268,
author = {Pith},
title = {Pith review of: Perturbations of elliptic operators in 1-sided chord-arc domains. Part II: Non-symmetric operators and Carleson measure estimates},
year = {2026},
howpublished = {\url{https://pith.science/paper/L7XIKO63}},
note = {Machine review of arXiv:1908.02268}
}
abstract
We generalize to the setting of 1-sided chord-arc domains, that is, to domains satisfying the interior Corkscrew and Harnack Chain conditions (these are respectively scale-invariant/quantitative versions of the openness and path-connectedness) and which have an Ahlfors regular boundary, a result of Kenig-Kirchheim-Pipher-Toro, in which Carleson measure estimates for bounded solutions of the equation $Lu=-{\rm div}(A\nabla u) = 0$ with $A$ being a real (not necessarily symmetric) uniformly elliptic matrix, imply that the corresponding elliptic measure belongs to the Muckenhoupt $A_\infty$ class with respect to surface measure on the boundary. We present two applications of this result. In the first one we extend a perturbation result recently proved by Cavero-Hofmann-Martell presenting a simpler proof and allowing non-symmetric coefficients. Second, we prove that if an operator $L$ as above has locally Lipschitz coefficients satisfying certain Carleson measure condition then $\omega_L\in A_\infty$ if and only if $\omega_{L^\top}\in A_\infty$. As a consequence, we can remove one of the main assumptions in the non-symmetric case of a result of Hofmann-Martell-Toro and show that if the coefficients satisfy a slightly stronger Carleson measure condition the membership of the elliptic measure associated with $L$ to the class $A_\infty$ yields that the domain is indeed a chord-arc domain.
Forward citations
Cited by 1 Pith paper
-
Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part II: The large constant case
For uniformly elliptic divergence-form operators with DKP coefficients on uniform Ahlfors regular domains, A∞ absolute continuity of elliptic measure is equivalent to uniform rectifiability of the boundary and to bein...
Reference graph
Works this paper leans on
-
[1]
Lewis, and Philippe Tchamitchian
Pascal Auscher, Steve Hofmann, John L. Lewis, and Philippe Tchamitchian. Extrapolation of C arleson measures and the analyticity of K ato's square-root operators. Acta Math. , 187 (2):161--190, 2001
work page 2001
-
[2]
Carleson measures, trees, extrapolation, and T(b) theorems
Pascal Auscher, Steve Hofmann, Camil Muscalu, Terence Tao, and Christoph Thiele. Carleson measures, trees, extrapolation, and T(b) theorems. Publ. Mat. , 46 (2):257--325, 2002
work page 2002
-
[3]
Martell, Kaj Nystr \"o m, and Tatiana Toro
Jonas Azzam, Steve Hofmann, Jos \'e M. Martell, Kaj Nystr \"o m, and Tatiana Toro. A new characterization of chord-arc domains. J. Eur. Math. Soc , 19 (4), 2014
work page 2014
-
[4]
Christopher J. Bishop and Peter W. Jones. Harmonic measure and arclength. Ann. of Math. , 132 (3):511--547, 1990
work page 1990
-
[5]
On the H ausdorff dimension of harmonic measure in higher dimension
Jean Bourgain. On the H ausdorff dimension of harmonic measure in higher dimension. Invent. Math. , 87 (3):477--483, 1987
work page 1987
-
[6]
Interpolations by bounded analytic functions and the corona problem
Lennart Carleson. Interpolations by bounded analytic functions and the corona problem. Ann. of Math. , 76 (3):547--559, 1962
work page 1962
-
[7]
Ronald R. Coifman and Charles L. Fefferman. Weighted norm inequalities for maximal functions and singular integrals. Stud. Math. , 51 (3):241--250, 1974
work page 1974
-
[8]
Interpolating sequences and separation properties
Lennart Carleson and John Garnett. Interpolating sequences and separation properties. J. Analyse Math. , 28 (1):273--299, 1975
work page 1975
Show all 35 references
-
[9]
Juan Cavero, Steve Hofmann, and Jos\'e M. Martell. Perturbations of elliptic operators in 1-sided chord-arc domains. P art I : Small and large perturbation for symmetric operators. Trans. Amer. Math. Soc. , 371 (4):2797--2835, 2019
2019
-
[10]
A T(b) theorem with remarks on analytic capacity and the C auchy integral
Michael Christ. A T(b) theorem with remarks on analytic capacity and the C auchy integral. Colloq. Math. , 60/61 (2):601--628, 1990
1990
-
[11]
Bj \"o rn E. J. Dahlberg. Estimates of harmonic measure. Arch. Rational Mech. Anal. , 65 (3):275--288, 1977
1977
-
[12]
Guy David and David S. Jerison. Lipschitz approximation to hypersurfaces, harmonic measure, and singular integrals. Indiana Univ. Math. J. , 39 (3):831--845, 1990
1990
-
[13]
Singular integrals and rectifiable sets in R ^n : B eyond L ipschitz graphs
Guy David and Stephen Semmes. Singular integrals and rectifiable sets in R ^n : B eyond L ipschitz graphs. Ast\'erisque , 193 :152, 1991
1991
-
[14]
Analysis of and on uniformly rectifiable sets , volume 38 of Mathematical Surveys and Monographs
Guy David and Stephen Semmes. Analysis of and on uniformly rectifiable sets , volume 38 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 1993
1993
-
[15]
Fefferman, Carlos E
Robert A. Fefferman, Carlos E. Kenig, and Jill Pipher. The theory of weights and the D irichlet problem for elliptic equations. Ann. of Math. (2) , 134 (1):65--124, 1991
1991
-
[16]
Rubio de Francia
Jos\'e Garc \' a-Cuerva and Jos\'e L. Rubio de Francia . Weighted norm inequalities and related topics , volume 116 of North-Holland Mathematics Studies . North-Holland Publishing Co., Amsterdam, 1985. Mathematical Notes, 104
1985
-
[17]
Nonlinear potential theory of degenerate elliptic equations
Juha Heinonen, Tero Kilpel\"ainen, and Olli Martio. Nonlinear potential theory of degenerate elliptic equations . Oxford University Press, New York, 1993
1993
-
[18]
Steve Hofmann and John L. Lewis. The Dirichlet Problem for Parabolic Operators with Singular Drift Terms . Number 719 in American Mathematical Society: Memoirs of the American Mathematical Society. American Mathematical Society, 2001
2001
-
[19]
Martell, and Kaj Nystr \"o m
Steve Hofmann, Phi Le, Jos \'e M. Martell, and Kaj Nystr \"o m. The weak- A _ property of harmonic and p -harmonic measures implies uniform rectifiability. Anal. PDE , 10 (3):513--558, 2017
2017
-
[20]
Steve Hofmann and Jos\'e M. Martell. A note on A_ estimates via extrapolation of C arleson measures. In The AMSI - ANU W orkshop on S pectral T heory and H armonic A nalysis , volume 44 of Proc. Centre Math. Appl. Austral. Nat. Univ. , pages 143--166. Austral. Nat. Univ., Canb...
2010
-
[21]
Steve Hofmann and Jos\'e M. Martell. A_ estimates via extrapolation of C arleson measures and applications to divergence form elliptic operators. Trans. Amer. Math. Soc. , 364 (1):65--101, 2012
2012
-
[22]
Steve Hofmann and Jos\'e M. Martell. Uniform rectifiability and harmonic measure I : Uniform rectifiability implies P oisson kernels in L ^p . Ann. Sci. École Norm. Sup. , 47 (3):577--654, 2014
2014
-
[23]
Steve Hofmann, Dorina Mitrea, Marius Mitrea, and Andrew J. Morris. L ^p -Square Function Estimates on Spaces of Homogeneous Type and on Uniformly Rectifiable Sets . Number 1159 in Memoirs of the American Mathematical Society. American Mathematical Society, 2017
2017
-
[24]
Martell, and Tatiana Toro
Steve Hofmann, Jos\'e M. Martell, and Tatiana Toro. General operators on 1-sided NTA domains. work in progress , 2014
2014
-
[25]
Martell, and Tatiana Toro
Steve Hofmann, Jos\'e M. Martell, and Tatiana Toro. A _ implies NTA for variable coefficients. J. Differential Equations , 263 (10):6147--6188, 2017
2017
-
[26]
Martell, and Ignacio Uriarte-Tuero
Steve Hofmann, Jos \'e M. Martell, and Ignacio Uriarte-Tuero. Uniform rectifiability and harmonic measure, II : P oisson kernels in L^p imply uniform rectifiability. Duke Math. J. , 163 (8):1601--1654, 2014
2014
-
[27]
Jerison and Carlos E
David S. Jerison and Carlos E. Kenig. Boundary behavior of harmonic functions in nontangentially accessible domains. Adv. in Math. , 46 (1):80--147, 1982
1982
-
[28]
Kenig, Bernd Kirchheim, Jill Pipher, and Tatiana Toro
Carlos E. Kenig, Bernd Kirchheim, Jill Pipher, and Tatiana Toro. Square functions and the A_ property of elliptic measures. J. Geom. Anal. , 26 (3):2383--2410, 2014
2014
-
[29]
Lavrentiev
Mikhail A. Lavrentiev. Boundary problems in the theory of univalent functions ( R ussian). Math Sb. , 43 :815--846, 1936
1936
-
[30]
Lewis and Margaret A
John L. Lewis and Margaret A. M. Murray. Regularity properties of commutators and layer potentials associated to the heat equation. Trans. Amer. Math. Soc. , 328 (2):815--842, 1991
1991
-
[31]
Harmonic analysis on chord arc domains
Emmanouil Milakis, Jill Pipher, and Tatiana Toro. Harmonic analysis on chord arc domains. J. Geom. Anal. , 23 (4):2091--2157, 2013
2013
-
[32]
Perturbations of elliptic operators in chord arc domains
Emmanouil Milakis, Jill Pipher, and Tatiana Toro. Perturbations of elliptic operators in chord arc domains. Harmonic analysis and partial differential equations, Contemp. Math. , 612 :143--161, 2014
2014
-
[33]
Uber die randwerte einer analytischen funktion
Frigyes Riesz and Marcel Riesz. Uber die randwerte einer analytischen funktion. Comptes Rendus du Quatri\`eme Congr\`es des Math\'ematiciens Scandinaves , pages 27--44, 1916
1916
-
[34]
Analysis vs
Stephen Semmes. Analysis vs. geometry on a class of rectifiable hypersurfaces in R ^n . Indiana University Mathematics Journal , 39 (4):1005--1035, 1990
1990
-
[35]
BMO solvability and A _ condition of the elliptic measures in uniform domains
Zihui Zhao. BMO solvability and A _ condition of the elliptic measures in uniform domains. J. Geom. Anal. , 28 (2):866--908, 2018
2018
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.