REVIEW 3 major objections 4 minor 37 references
Two Phase Free Boundary Problem for Poisson Kernels
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Vanishing oscillation of the two Poisson kernel logarithms fully characterizes vanishing chord-arc geometry on Ahlfors regular boundaries.
desk verdict A real two-phase characterization theorem: Poisson kernel VMO is equivalent to vanishing chord-arc under just Ahlfors regularity and connectedness, with the main load-bearing soft spot being the sketched corkscrew lemma. 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 argument runs through three linked mechanisms. First, the De Giorgi cylindrical excess e(E,x,r,nu) = (1/r^(n-1)) integral over the cylinder of |nu_E - nu|^2/2 with respect to surface measure measures how far the boundary's measure-theoretic normal deviates from a fixed direction; a compactness-and-height-bound argument (Theorem 3.9 and Appendix A) shows that small excess forces the boundary to be a Lipschitz graph over a plane with controlled height, so control of the unit normal oscillation yields Reifenberg flatness. Second, on the potential-theoretic side, the small-BMO condition on log k+ and log k- implies, through the John-Nirenberg inequality, that k+ and k- are Muckenhoupt weights, which gives the reverse Holder and doubling properties of harmonic measure (Lemma 4.11); doubling then produces interior and exterior corkscrew balls (Lemma 4.3), hence uniform rectifiability. Third, using approximate domains built from dyadic cubes (Appendix B), the proof compares the single layer potentials on the two sides, applies the jump relations for their gradients, and transfers oscillation of the Poisson kernels to oscillation of the unit normal (Theorem 4.12) via Calderon-Zygmund estimates on the uniformly rectifiable approximations.
What would settle it
Construct a connected domain with Ahlfors regular boundary and locally doubling harmonic measure whose boundary has no interior corkscrew ball at some arbitrarily small scale, for instance a boundary with hairpin crevices of decreasing width; if such a domain exists, Lemma 4.3 is false and the derivation of corkscrews from doubling, and hence Theorem 1.1, collapses.
Extended reading notes
Core claim
The central discovery is Theorem 1.1: for n at least 3, if $\Omega$+ and $\Omega$- = R^n \ $\Omega$+ are domains with common topological boundary that is (n-1)-Ahlfors regular, then (i) both $\Omega$+ and $\Omega$- are vanishing chord-arc domains with unit normal in VMO_loc if and only if (ii) there exist poles X+ in $\Omega$+ and X- in $\Omega$- such that the Poisson kernels k+ = domega+/dsigma and k- = domega-/dsigma exist and log k+ and log k- lie in VMO_loc. The forward direction is the existing characterization of chord-arc domains by Poisson kernels; the new content is the reverse direction, which manufactures all the geometric information two-sided corkscrew balls, uniform rectifiability, vanishing Reifenberg flatness, and VMO of the unit normal out of the vanishing oscillation of the two logarithms, under only connectivity and Ahlfors regularity.
Load-bearing premise
The chain depends on the step in Section 4.1, Lemma 4.3, sketched rather than fully proved, that a locally doubling harmonic measure on a domain with Ahlfors regular boundary forces, at every boundary point and small scale, a ball inside the domain of size comparable to the scale; if that step fails, the analytic VMO condition cannot be turned into the two-sided boundary access the rest of the proof needs.
Editorial extensions
If this is right
- If log k+ and log k- lie in VMO_loc, then the unit normal nu lies in VMO_loc and the common boundary is vanishing Reifenberg flat, so both domains are vanishing chord-arc domains.
- Under the same hypotheses the boundary is uniformly rectifiable, so L^2 Riesz transforms are bounded and singular-integral tools apply to the two-phase problem.
- The quantitative version shows that a sufficiently small BMO norm of log k+ and log k- forces the domains to be delta-chord-arc for arbitrarily small delta, with the required smallness depending only on dimension, the Ahlfors constant, and the pole locations.
- Conversely, if the domains are already vanishing chord-arc, the logarithms of the Poisson kernels are in VMO_loc, so the potential-theoretic condition is not merely sufficient but exactly equivalent to the geometric one.
- Because connectivity and Ahlfors regularity are the only a priori hypotheses, the result removes the need to assume Reifenberg flatness or a two-sided John condition in related free-boundary theorems.
Reading between the lines
- I infer that the quantitative estimates of Theorem 4.12 should transfer to a purely local statement: on any boundary ball, a sufficiently small BMO norm of log k+ and log k- controls the BMO norm of nu on a smaller ball, with the ratio of scales depending on the compact set, so the equivalence may hold for boundaries that are only Ahlfors regular up to a finite scale.
- I infer that the same strategy may prove an analogous two-phase characterization for elliptic measures of uniformly elliptic operators with rough coefficients, since the corkscrew-from-doubling step is purely potential-theoretic and does not use the specific form of the Laplacian beyond the Green-function estimates.
- I infer that the exponent one-eighth appearing in the oscillation transfer is likely an artifact of the John-Nirenberg and Calderon-Zygmund chain, and an explicit family of examples could reveal the true optimal exponent relating BMO norms of log k and nu.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Theorem 1.1: for n ≥ 3 and complementary domains Ω+ and Ω− = Rn \ Ω+ with common (n−1)-Ahlfors regular boundary ∂Ω, the two domains are both vanishing chord-arc domains with ν ∈ VMOloc(σ) if and only if the interior and exterior Poisson kernels exist and log k+ and log k− lie in VMOloc(dσ). The forward direction is imported from Kenig–Toro [KT03], while the reverse direction is obtained by combining a new geometric flatness result (Corollary 3.10), a localization theorem for Poisson kernels (Theorem 4.12), and an approximation of domains satisfying a local two-sided corkscrew condition by UR domains (Appendix B). Section 3 develops excess and flatness methods for sets of locally finite perimeter with Ahlfors regular boundary, and the paper also states quantitative versions in Theorems 4.12 and 4.14.
Significance. If correct, Theorem 1.1 gives a sharp potential-theoretic characterization of vanishing chord-arc geometry under minimal topological assumptions, removing a priori NTA, chord-arc, or uniform rectifiability hypotheses that appear in [KT06] and [BH16]. The geometric results in Section 3 and in Appendices A and B are presented with substantial detail, and Theorem 4.12 provides explicit quantitative control of the oscillation of the unit normal in terms of the oscillation of log k±. The paper therefore represents a significant advance in the two-phase free boundary problem for harmonic measure. However, the reverse implication relies critically on Lemma 4.3, whose proof is only a sketch, and on an imported estimate in (4.22), and those points leave the proof not fully self-contained at a load-bearing location.
major comments (3)
- [Section 4.1, Lemma 4.3] Lemma 4.3 is load-bearing for Theorem 4.12 and hence for the (ii) implies (i) direction of Theorem 1.1, but its proof is only sketched. The critical estimate (4.6) is obtained by an 'elementary geometric argument' that is postponed and then only outlined, and the lemma is called folklore. As written, the argument uses boundary Hölder continuity of the Green function and the estimate (4.3), but it does not fully demonstrate that the Whitney summation in (4.5)-(4.6) uses only Ahlfors regularity, boundary Hölder continuity, and local doubling of ω. If the comparison at (4.5)-(4.6) secretly requires a boundary Harnack estimate or a corkscrew point at scale r, the argument would be circular, because producing those corkscrews is precisely the role of the lemma. Please provide a complete proof, or a precise reference with the full statement, and verify explicitly that every input is available before the corkscrew conclusion is drawn.
- [Section 4.2, equation (4.22)] The estimate (4.22), which is used in (4.38) to control the term I in Theorem 4.12, is quoted from [BH16, Lemma 1.33] without proof. This inequality converts the BMO bound on log k into the L2 closeness of k to its geometric mean, and it is a load-bearing step in the localization argument from log k± ∈ VMOloc(σ) to ν ∈ VMOloc(σ). Please include the proof or a full statement with hypotheses, constants, and the precise way in which the bound depends on the BMO seminorm, rather than a parenthetical reference, so that the reader can verify that the chain is complete.
- [Section 4.3, Theorem 1.1 and Theorem 4.14] The proof of Theorem 1.1 concludes that (ii) implies (i) by combining Theorem 4.12 with Corollary 3.11. Since Theorem 4.12 depends on Lemma 4.3 and on (4.22), the main theorem inherits any incompleteness in those two points. In addition, Theorem 4.14 is stated as a direct consequence of Theorem 4.12, Corollary 3.10, and [KT99], but the dependence of the constants on the compact set is not made fully explicit; please clarify that the quantitative statement is uniform on compacta in the sense of the definitions of BMOloc and VMOloc.
minor comments (4)
- [Throughout] The manuscript contains numerous OCR-style artifacts, including 'iintegdisplay' in (4.2), 'nelementF' in Remark 4.6, and a corrupted running header 'FLA TNESS AND OSCILLA TION'. These should be cleaned before publication.
- [Remark 2.21] In the proof of the claim in Remark 2.21, the notation mixes ∂∗E and ∂E several times, for example in (2.23) and in the line following (2.18). Please standardize the notation so that the role of the reduced boundary versus the topological boundary is unambiguous.
- [Lemma 4.11] In part (4) of Lemma 4.11 the parameter is denoted '~τ(r)', which is visually confusing given the use of τ elsewhere. A more standard notation such as τ_r or τ(r) would improve readability.
- [Theorem 4.12, beginning of proof] The statement 'there exists a dyadic cube Q as in Lemma B.2 such that Δ(x0, r0/A) ⊂ Q ⊂ Δ(x0, r0)' should define the surface ball Δ(x0, r) and the precise sense in which the cube Q contains one surface ball and is contained in another; this is currently implicit and would be easier to check if written out.
Circularity Check
No significant circularity: the main equivalence is derived from independent harmonic-measure, layer-potential, and geometric-measure-theoretic inputs; self-citations are not load-bearing in a circular sense.
full rationale
The derivation of Theorem 1.1 is self-contained in the sense required here. Direction (ii) implies (i) runs through Theorem 4.12, where small BMO oscillation of log k± is converted into small BMO oscillation of the unit normal. That conversion is not assumed: Lemma 4.11 proves doubling and reverse Hölder from the John–Nirenberg inequality for doubling measures; Lemma 4.3 converts local doubling into two-sided corkscrews using the independent Green-function estimate (4.3) from [HM15, Lemma 2.40] and a Whitney-type summation; and Appendix B constructs UR approximating domains from the resulting DLTSCS without presupposing the conclusion. The layer-potential estimates (4.12)–(4.14) are quoted from [HMT10], an external published source, and are used only after corkscrew and UR structure has been obtained. The citation to [BH16, Lemma 1.33] for the technical estimate (4.22) is a self-citation, but that lemma is an L2 closeness statement under the same log-BMO hypothesis and does not assume ν∈VMO or the chord-arc conclusion; thus it is independent support rather than a circular premise. Direction (i) implies (ii) is cited from [KT03], an external theorem, and is not derived from the paper's own conclusions. The only noteworthy fragility is Lemma 4.3, whose proof is explicitly a sketch adapted from [HM15, Lemma 3.14] and whose boundary Hölder input is imported; that is a possible correctness gap to verify, but the paper does not assume the lemma's conclusion to prove it, so it does not constitute circularity by the standard in the review instructions.
Assumptions & free parameters
assumptions (6)
- standard math De Giorgi structure theorem and compactness for sets of locally finite perimeter (Theorems 2.2, 3.6; Propositions 2.4 and 2.5).
- standard math David-Christ-Hytonen-Kairema dyadic cube decomposition for Ahlfors regular sets (Lemma B.2).
- standard math Nontangential maximal function and jump relations for single layer potentials on uniformly rectifiable domains (Lemmas 4.8 and 4.9 from [HMT10]).
- standard math Kenig-Toro [KT03] main theorem: the Poisson kernel of a vanishing chord-arc domain satisfies log k in VMO.
- standard math John-Nirenberg inequality for doubling measures (Theorem 5.2 of [ABKY11]).
- standard math Folklore result, Lemma 4.3 adapted from [HM15, Lemma 3.14]: local doubling of harmonic measure on an Ahlfors regular domain implies interior corkscrew balls.
Cite this review
Pith. "Pith review of Two Phase Free Boundary Problem for Poisson Kernels." pith.science (2026). https://pith.science/paper/4BCYFHAT
@misc{pith2026190803033,
author = {Pith},
title = {Pith review of: Two Phase Free Boundary Problem for Poisson Kernels},
year = {2026},
howpublished = {\url{https://pith.science/paper/4BCYFHAT}},
note = {Machine review of arXiv:1908.03033}
}
read the original abstract
We provide a potential theoretic characterization of vanishing chord-arc domains under minimal assumptions. In particular we show that, if a domain has Ahlfors regular boundary, the oscillation of the logarithm of the interior and exterior Poisson kernels yields a great deal of geometric information about the domain. We use techniques from the classical calculus of variations, potential theory, quantitative geometric measure theory to accomplish this. One feature of this work, compared to Bortz-Hofmann PAMS 16 and Kenig-Toro Crelle 06, is that a priori we only require that the domains in question are connected.
Reference graph
Works this paper leans on
-
[1]
John- N irenberg lemmas for a doubling measure
Daniel Aalto, Lauri Berkovits, Outi Elina Kansanen, and Hong Yue. John- N irenberg lemmas for a doubling measure. Studia Math. , 204(1):21--37, 2011
work page 2011
-
[2]
Null sets of harmonic measure on NTA domains: L ipschitz approximation revisited
Matthew Badger. Null sets of harmonic measure on NTA domains: L ipschitz approximation revisited. Math. Z. , 270(1-2):241--262, 2012
2012
-
[3]
Reifenberg flatness and oscillation of the unit normal vector
Simon Bortz and Max Engelstein. Reifenberg flatness and oscillation of the unit normal vector. ArXiv Preprint, 08 2017
work page 2017
-
[4]
A singular integral approach to a two phase free boundary problem
Simon Bortz and Steve Hofmann. A singular integral approach to a two phase free boundary problem. Proc. Amer. Math. Soc. , 144(9):3959--3973, 2016
work page 2016
-
[5]
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
work page 1990
-
[6]
Morceaux de graphes lipschitziens et int\' e grales singuli\`eres sur une surface
Guy David. Morceaux de graphes lipschitziens et int\' e grales singuli\`eres sur une surface. Rev. Mat. Iberoamericana , 4(1):73--114, 1988
work page 1988
-
[7]
Wavelets and singular integrals on curves and surfaces , volume 1465 of Lecture Notes in Mathematics
Guy David. Wavelets and singular integrals on curves and surfaces , volume 1465 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1991
work page 1991
-
[8]
Frontiere orientate di misura minima
Ennio De Giorgi. Frontiere orientate di misura minima . Seminario di Matematica della Scuola Normale Superiore di Pisa, 1960-61. Editrice Tecnico Scientifica, Pisa, 1961
work page 1960
Show all 37 references
-
[9]
David and D
G. David and D. Jerison. Lipschitz approximation to hypersurfaces, harmonic measure, and singular integrals. Indiana Univ. Math. J. , 39(3):831--845, 1990
1990
-
[10]
Quasiminimal surfaces of codimension 1 and J ohn domains
Guy David and Stephen Semmes. Quasiminimal surfaces of codimension 1 and J ohn domains. Pacific J. Math. , 183(2):213--277, 1998
1998
-
[11]
Evans and Ronald F
Lawrence C. Evans and Ronald F. Gariepy. Measure theory and fine properties of functions . Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1992
1992
-
[12]
Systems of dyadic cubes in a doubling metric space
Tuomas Hyt\" o nen and Anna Kairema. Systems of dyadic cubes in a doubling metric space. Colloq. Math. , 126(1):1--33, 2012
2012
-
[13]
The weak- A_ property of harmonic and p -harmonic measures implies uniform rectifiability
Steve Hofmann, Phi Le, Jos\' e Mar\' i a 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
-
[14]
Uniform rectifiability and harmonic measure I : U niform rectifiability implies P oisson kernels in L^p
Steve Hofmann and Jos\' e Mar\' i a Martell. Uniform rectifiability and harmonic measure I : U niform rectifiability implies P oisson kernels in L^p . Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 47(3):577--654, 2014
2014
-
[15]
Uniform rectifiability and harmonic measure iv: Ahlfors regularity plus poisson kernels in l^ p implies uniform rectifiability
Steve Hofmann and JM Martell. Uniform rectifiability and harmonic measure iv: Ahlfors regularity plus poisson kernels in l^ p implies uniform rectifiability. arXiv preprint arXiv:1505.06499 , 2015
2015 arXiv
-
[16]
Uniform rectifiability, C arleson measure estimates, and approximation of harmonic functions
Steve Hofmann, Jos\' e Mar\' i a Martell, and Svitlana Mayboroda. Uniform rectifiability, C arleson measure estimates, and approximation of harmonic functions. Duke Math. J. , 165(12):2331--2389, 2016
2016
-
[17]
Singular integrals and elliptic boundary problems on regular Semmes-Kenig-Toro
Steve Hofmann , Marius Mitrea , and Michael Taylor . Singular integrals and elliptic boundary problems on regular Semmes-Kenig-Toro. Int. Math. Res. Not. , 2010(14):2567--2865, 2010
2010
-
[18]
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
-
[19]
Kenig and Tatiana Toro
Carlos E. Kenig and Tatiana Toro. Harmonic measure on locally flat domains. Duke Math. J. , 87(3):509--551, 1997
1997
-
[20]
Kenig and Tatiana Toro
Carlos E. Kenig and Tatiana Toro. Free boundary regularity for harmonic measures and P oisson kernels. Ann. of Math. (2) , 150(2):369--454, 1999
1999
-
[21]
Kenig and Tatiana Toro
Carlos E. Kenig and Tatiana Toro. Poisson kernel characterization of R eifenberg flat chord arc domains. Ann. Sci. \' E cole Norm. Sup. (4) , 36(3):323--401, 2003
2003
-
[22]
Kenig and Tatiana Toro
Carlos E. Kenig and Tatiana Toro. Free boundary regularity below the continuous threshold: 2-phase problems. J. Reine Angew. Math. , 596:1--44, 2006
2006
-
[23]
Sets of finite perimeter and geometric variational problems , volume 135 of Cambridge Studies in Advanced Mathematics
Francesco Maggi. Sets of finite perimeter and geometric variational problems , volume 135 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2012. An introduction to geometric measure theory
2012
-
[24]
Geometry of sets and measures in E uclidean spaces , volume 44 of Cambridge Studies in Advanced Mathematics
Pertti Mattila. Geometry of sets and measures in E uclidean spaces , volume 44 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1995. Fractals and rectifiability
1995
-
[25]
On the geometry of rectifiable sets with carleson and poincar\'e-type conditions
Jessica Merhej. On the geometry of rectifiable sets with carleson and poincar\'e-type conditions. preprint, arXiv:1510.05056 . To appear in Indiana Univ. Math. J., 2016
2016 arXiv
-
[26]
Poincar\`e-type inequalities and finding good parameterizations
Jessica Merhej. Poincar\`e-type inequalities and finding good parameterizations. preprint, arXiv:1605.07655 ., 2016
2016 arXiv
-
[27]
Melnikov , and Joan Verdera
Pertti Mattila , Mark S. Melnikov , and Joan Verdera . The Cauchy integral, analytic capacity, and uniform rectifiability. Ann. Math. (2) , 144(1):127--136, 1996
1996
-
[28]
On the uniform rectifiability of AD-regular measures with bounded Riesz transform operator: the case of codimension 1
Fedor Nazarov , Xavier Tolsa , and Alexander Volberg . On the uniform rectifiability of AD-regular measures with bounded Riesz transform operator: the case of codimension 1. Acta Math. , 213(2):237--321, 2014
2014
-
[29]
The two-phase problem for harmonic measure in VMO
Mart \' Prats and Xavier Tolsa . The two-phase problem for harmonic measure in VMO . preprint, arXiv:1904.00751 ., 2019
1904 arXiv
-
[30]
E. R. Reifenberg. Solution of the P lateau P roblem for m -dimensional surfaces of varying topological type. Acta Math. , 104:1--92, 1960
1960
-
[31]
Chord-arc surfaces with small constant
Stephen Semmes . Chord-arc surfaces with small constant. I. Adv. Math. , 85(2):198--223, 1991
1991
-
[32]
Chord-arc surfaces with small constant
Stephen Semmes . Chord-arc surfaces with small constant. II: Good parametrizations. Adv. Math. , 88(2):170--199, 1991
1991
-
[33]
Hypersurfaces in R ^n whose unit normal has small BMO norm
Stephen Semmes. Hypersurfaces in R ^n whose unit normal has small BMO norm. Proc. Amer. Math. Soc. , 112(2):403--412, 1991
1991
-
[34]
Weighted H ardy spaces , volume 1381 of Lecture Notes in Mathematics
Jan-Olov Str\" o mberg and Alberto Torchinsky. Weighted H ardy spaces , volume 1381 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1989
1989
-
[35]
Elias M. Stein. Singular integrals and differentiability properties of functions . Princeton Mathematical Series, No. 30. Princeton University Press, Princeton, N.J., 1970
1970
-
[36]
Doubling and flatness: geometry of measures
Tatiana Toro. Doubling and flatness: geometry of measures. Notices Amer. Math. Soc. , 44(9):1087--1094, 1997
1997
-
[37]
Geometric measure theory---recent applications
Tatiana Toro. Geometric measure theory---recent applications. Notices Amer. Math. Soc. , 66(4):474--481, 2019
2019
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.