pith. sign in

arxiv: 2604.21047 · v2 · submitted 2026-04-22 · 🧮 math.AP · math.CA

Dimension Drop for Harmonic Measure on Ahlfors Regular Boundaries

Yingying Cai , Xavier Tolsa This is my paper

Pith reviewed 2026-05-09 23:11 UTC · model grok-4.3

classification 🧮 math.AP math.CA
keywords harmonic measureAhlfors regular setsdimension dropnon-flatness conditionbeta numbersgeometric measure theorypotential theory
0
0 comments X

The pith

Uniform non-flatness on s-Ahlfors regular sets forces the dimension of harmonic measure strictly below s for s near n.

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

The paper establishes quantitative dimension drop for harmonic measure on the boundary of a domain in R^{n+1} whose complement is an s-Ahlfors regular compact set. When the set satisfies a uniform L2 non-flatness condition beta2 at least delta0 at every scale, the Hausdorff dimension of the harmonic measure is less than s provided s lies in the interval from n minus c delta0 squared up to n. An analogous threshold holds in the plane under Azzam's combined infinity and hole beta condition. This matters for understanding how Brownian motion hitting probabilities distribute on irregular boundaries that are still Ahlfors regular but not too flat.

Core claim

For Omega equal to R^{n+1} minus E where E is s-Ahlfors regular and satisfies the uniform L2 non-flatness beta2 greater than or equal to delta0, the dimension of harmonic measure omega is strictly less than s whenever s belongs to (n minus c delta0 squared, n]. In the planar setting the same conclusion holds with threshold 1 minus c delta0 squared under the uniform condition beta infinity plus beta hole greater than or equal to delta0.

What carries the argument

The uniform L2-based non-flatness condition beta2 greater than or equal to delta0, which measures averaged squared deviation from flatness at every location and scale on the Ahlfors regular set and thereby controls the support of harmonic measure.

If this is right

  • Harmonic measure cannot charge a set of full dimension s under the stated non-flatness.
  • The size of the dimension gap scales quadratically with the non-flatness constant delta0.
  • The result supplies explicit quantitative control on how far below s the dimension falls.
  • The planar version replaces the L2 condition with Azzam's beta infinity plus beta hole and yields a similar explicit threshold.

Where Pith is reading between the lines

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

  • Flatness at all scales appears necessary for harmonic measure to reach the full dimension of an Ahlfors regular boundary.
  • The quadratic dependence on delta0 suggests that even mildly non-flat boundaries produce a measurable drop in dimension.
  • The same non-flatness control might imply dimension drop for other measures such as equilibrium or capacity measures on the same sets.
  • Explicit examples constructed by perturbing flat sets at controlled scales could test the sharpness of the c delta0 squared threshold.

Load-bearing premise

The L2 non-flatness quantity beta2 stays at least delta0 at every scale and every point on the boundary.

What would settle it

An s-Ahlfors regular set obeying beta2 at least delta0 everywhere but whose harmonic measure still has dimension exactly s for some s larger than n minus c delta0 squared would disprove the claim.

read the original abstract

We provide quantitative estimates for the dimension drop of harmonic measure. We show that for a domain $\Omega = \mathbb{R}^{n+1} \setminus E$ where $E$ is an $s$-Ahlfors regular compact set satisfying a uniform $L^2$-based non-flatness condition $\beta_2 \ge \delta_0$, the dimension of its harmonic measure is strictly less than $s$ for $s \in (n - c\delta_0^2, n]$. For planar domains, we establish an analogous quantitative threshold $s_0 = 1 - c\delta_0^2$ under Azzam's uniform non-flatness condition $\beta_\infty + \beta_{\operatorname{hole}} \ge \delta_0$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript claims to provide quantitative estimates for the dimension drop of harmonic measure on Ahlfors regular boundaries. Specifically, for domains Ω = ℝ^{n+1} ∖ E with E an s-Ahlfors regular compact set satisfying a uniform L² non-flatness condition β₂ ≥ δ₀, the dimension of the harmonic measure ω is strictly less than s for s in the interval (n - c δ₀², n]. An analogous result is established for planar domains under Azzam's uniform non-flatness condition β_∞ + β_hole ≥ δ₀, with threshold s₀ = 1 - c δ₀².

Significance. If the results hold, this provides precise quantitative thresholds connecting uniform non-flatness to a strict drop in harmonic measure dimension below the Ahlfors dimension s. This strengthens the theory of harmonic measure on irregular sets and builds on qualitative results in the area. A notable strength is the direct, non-circular derivation from the uniform β₂ ≥ δ₀ (at all scales) plus s-Ahlfors regularity, via standard corona decompositions and iterative estimates that yield porosity or capacity bounds.

minor comments (3)
  1. The abstract states the main results clearly but does not outline the proof strategy. Adding a sentence about the use of corona decompositions or iterative estimates would help contextualize the approach for readers.
  2. Clarify the dependence of the constant c on the dimension n and other parameters to make the quantitative nature more explicit.
  3. Ensure consistency in notation between the L²-based β₂ and the planar conditions β_∞ and β_hole across the manuscript.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition of our quantitative thresholds for the dimension drop of harmonic measure under uniform non-flatness conditions. The report recommends minor revision but raises no specific major comments or criticisms. Accordingly, we see no need for revisions at this stage.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained from stated assumptions

full rationale

The paper states a quantitative dimension drop for harmonic measure as a direct consequence of s-Ahlfors regularity of E together with the uniform L² non-flatness hypothesis β₂ ≥ δ₀ (or the planar Azzam condition). The argument proceeds via standard corona decompositions and iterative estimates that propagate the given non-flatness into porosity or capacity bounds. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claim remains independent of the target dimension bound and is externally falsifiable from the input hypotheses.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The result rests on the standard definition of harmonic measure, the definition of s-Ahlfors regularity, and the given non-flatness conditions; no new entities are introduced and the only free parameter is the existential constant c.

free parameters (1)
  • c
    Positive constant whose existence is asserted in the threshold n - c δ₀²; no numerical value or fitting procedure is supplied in the abstract.
axioms (2)
  • domain assumption Harmonic measure on the boundary of a domain in R^{n+1} is a Borel probability measure whose dimension is well-defined.
    Invoked when the paper speaks of 'the dimension of its harmonic measure'.
  • domain assumption s-Ahlfors regularity: there exist constants such that c r^s ≤ H^s(E ∩ B(x,r)) ≤ C r^s for all x in E and r > 0.
    Stated explicitly as the hypothesis on E.

pith-pipeline@v0.9.0 · 5421 in / 1411 out tokens · 54256 ms · 2026-05-09T23:11:20.723081+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Azzam,Dimension drop for harmonic measure on Ahlfors regular boundaries, Potential Anal

    J. Azzam,Dimension drop for harmonic measure on Ahlfors regular boundaries, Potential Anal. 53(2020), no. 3, 1025–1041

    work page 2020

  2. [2]

    Azzam,Semi-uniform domains and theA ∞ property for harmonic measure, Int

    J. Azzam,Semi-uniform domains and theA ∞ property for harmonic measure, Int. Math. Res. Not. IMRN (2021), no. 9, 6717–6771

    work page 2021

  3. [3]

    Azzam, S

    J. Azzam, S. Hofmann, J. M. Martell, S. Mayboroda, M. Mourgoglou, X. Tolsa, and A. Volberg, Rectifiability of harmonic measure, Geom. Funct. Anal.26(2016), no. 3, 703–728

    work page 2016

  4. [4]

    Azzam, S

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

    work page 2020

  5. [5]

    Badger and S

    M. Badger and S. Lewis,Local set approximation: Mattila-Vuorinen type sets, Reifenberg type sets, and tangent sets, Forum Math. Sigma3(2015), Paper No. e24, 63

    work page 2015

  6. [6]

    Batakis,Harmonic measure of some Cantor type sets, Ann

    A. Batakis,Harmonic measure of some Cantor type sets, Ann. Acad. Sci. Fenn. Math.21(1996), no. 2, 255–270

    work page 1996

  7. [7]

    Batakis and A

    A. Batakis and A. Zdunik,Hausdorff and harmonic measures on non-homogeneous Cantor sets, Ann. Acad. Sci. Fenn. Math.40(2015), no. 1, 279–303

    work page 2015

  8. [8]

    Bourgain,On the Hausdorff dimension of harmonic measure in higher dimension, Invent

    J. Bourgain,On the Hausdorff dimension of harmonic measure in higher dimension, Invent. Math.87(1987), no. 3, 477–483

    work page 1987

  9. [9]

    Carleson,On the support of harmonic measure for sets of Cantor type, Ann

    L. Carleson,On the support of harmonic measure for sets of Cantor type, Ann. Acad. Sci. Fenn. Ser. A I Math.10(1985), 113–123

    work page 1985

  10. [10]

    Cuf´ ı, X

    J. Cuf´ ı, X. Tolsa, and J. Verdera,About the Jones-Wolff Theorem on the Hausdorff dimension of harmonic measure, arXiv:1809.08026, 2023

    work page arXiv 2023

  11. [11]

    David, C

    G. David, C. Jeznach, and A. Julia,Cantor sets with absolutely continuous harmonic measure, J. ´Ec. polytech. Math.10(2023), 1277–1298

    work page 2023

  12. [12]

    David and P

    G. David and P. Mattila,Removable sets for Lipschitz harmonic functions in the plane, Rev. Mat. Iberoamericana16(2000), no. 1, 137–215

    work page 2000

  13. [13]

    J. B. Garnett and D. E. Marshall,Harmonic measure, New Mathematical Monographs, vol. 2, Cambridge University Press, Cambridge, 2005

    work page 2005

  14. [14]

    P. W. Jones,On scaling properties of harmonic measure, Perspectives in analysis, Math. Phys. Stud., vol. 27, Springer, Berlin, 2005, pp. 73–81

    work page 2005

  15. [15]

    P. W. Jones and T. H. Wolff,Hausdorff dimension of harmonic measures in the plane, Acta Math.161(1988), no. 1-2, 131–144

    work page 1988

  16. [16]

    J. L. Lewis, G. C. Verchota, and A. L. Vogel,Wolff snowflakes, Pacific J. Math.218(2005), no. 1, 139–166

    work page 2005

  17. [17]

    N. G. Makarov,On the distortion of boundary sets under conformal mappings, Proc. London Math. Soc. (3)51(1985), no. 2, 369–384

    work page 1985

  18. [18]

    Mattila,Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, vol

    P. Mattila,Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, vol. 44, Cambridge University Press, Cambridge, 1995

    work page 1995

  19. [19]

    Pathak,On the dimension drop for harmonic measure on uniformly non-flat Ahlfors-David regular boundaries, Preprint, arXiv:2601.16167 (2026)

    A. Pathak,On the dimension drop for harmonic measure on uniformly non-flat Ahlfors-David regular boundaries, Preprint, arXiv:2601.16167 (2026)

    work page arXiv 2026

  20. [20]

    Riesz and M

    F. Riesz and M. Riesz,On the boundary values of an analytic function, Quatri` eme congr` es des math. scand. 1916, 27–44 (1916). 35

    work page 1916

  21. [21]

    Tolsa,Analytic capacity, the Cauchy transform, and non-homogeneous Calder´ on-Zygmund theory, Progress in Mathematics, vol

    X. Tolsa,Analytic capacity, the Cauchy transform, and non-homogeneous Calder´ on-Zygmund theory, Progress in Mathematics, vol. 307, Birkh¨ auser/Springer, Cham, 2014

    work page 2014

  22. [22]

    Tolsa,The dimension of harmonic measure on some Ahlfors regular flat sets of fractional dimension, Int

    X. Tolsa,The dimension of harmonic measure on some Ahlfors regular flat sets of fractional dimension, Int. Math. Res. Not. IMRN (2024), no. 8, 6579–6605

    work page 2024

  23. [23]

    Tolsa,New criteria for the rectifiability of Radon measures in terms of Riesz transforms, arXiv:2512.14534, 2026

    X. Tolsa,New criteria for the rectifiability of Radon measures in terms of Riesz transforms, arXiv:2512.14534, 2026

    work page arXiv 2026

  24. [24]

    Urba´ nski and A

    M. Urba´ nski and A. Zdunik,Hausdorff dimension of harmonic measure for self-conformal sets, Adv. Math.171(2002), no. 1, 1–58

    work page 2002

  25. [25]

    Volberg,On the dimension of harmonic measure of Cantor repellers, Michigan Math

    A. Volberg,On the dimension of harmonic measure of Cantor repellers, Michigan Math. J.40 (1993), no. 2, 239–258

    work page 1993

  26. [26]

    Volberg,One phase problem for two positive harmonic function: below the codimension1 threshold, Preprint, arXiv:2205.03687 (2022)

    A. Volberg,One phase problem for two positive harmonic function: below the codimension1 threshold, Preprint, arXiv:2205.03687 (2022)

    work page arXiv 2022

  27. [27]

    Volberg,On the harmonic measure of self-similar sets on the plane, Harmonic analysis and discrete potential theory (Frascati, 1991), Plenum, New York, 1992, pp

    A. Volberg,On the harmonic measure of self-similar sets on the plane, Harmonic analysis and discrete potential theory (Frascati, 1991), Plenum, New York, 1992, pp. 267–280

    work page 1991

  28. [28]

    T. H. Wolff,Plane harmonic measures live on sets ofσ-finite length, Ark. Mat.31(1993), no. 1, 137–172

    work page 1993

  29. [29]

    T. H. Wolff,Counterexamples with harmonic gradients inR 3, Essays on Fourier analysis in honor of Elias M. Stein (Princeton, NJ, 1991), Princeton Math. Ser., vol. 42, Princeton Univ. Press, Princeton, NJ, 1995, pp. 321–384. Yingying Cai: Departament de Matem`atiques, Universitat Aut`onoma de Barcelona, Barcelona, Spain. Email address:yingying.cai@uab.cat ...

    work page 1991