{"title":"Sharp Favard Length of Random Cantor Sets","authors":"Alan Chang, Pablo Shmerkin, Ville Suomala","doi":"10.1007/s00039-026-00743-3","DOIUrl":null,"url":null,"abstract":"We show that for a large class of planar 1-dimensional random fractals <jats:inline-formula> <jats:alternatives> <jats:tex-math>$S$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>S</mml:mi> </mml:math> </jats:alternatives> </jats:inline-formula> , the Favard length <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\operatorname{Fav}(S(r))$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mo>Fav</mml:mo> <mml:mo>(</mml:mo> <mml:mi>S</mml:mi> <mml:mo>(</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> <mml:mo>)</mml:mo> </mml:math> </jats:alternatives> </jats:inline-formula> of the neighborhood <jats:inline-formula> <jats:alternatives> <jats:tex-math>$S(r)$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>S</mml:mi> <mml:mo>(</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> </mml:math> </jats:alternatives> </jats:inline-formula> is comparable to <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\log ^{-1}(1/r)$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msup> <mml:mo>log</mml:mo> <mml:mrow> <mml:mo>−</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mo>(</mml:mo> <mml:mn>1</mml:mn> <mml:mo>/</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> </mml:math> </jats:alternatives> </jats:inline-formula> , matching a universal lower bound; up to now, this was only known in expectation for a few concrete models. In particular, we show that there exist 1-Ahlfors regular sets with the fastest possible Favard length decay. For a wide class of planar one-dimensional “grid random fractals”, including fractal percolation and its Ahlfors-regular variants, we further show that <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\operatorname{Fav}(S(r))/\\log (1/r)$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mo>Fav</mml:mo> <mml:mo>(</mml:mo> <mml:mi>S</mml:mi> <mml:mo>(</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> <mml:mo>)</mml:mo> <mml:mo>/</mml:mo> <mml:mo>log</mml:mo> <mml:mo>(</mml:mo> <mml:mn>1</mml:mn> <mml:mo>/</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> </mml:math> </jats:alternatives> </jats:inline-formula> converges almost surely, and we identify the limit explicitly. Furthermore, we prove that for some 1-dimensional Ahlfors-regular random fractals <jats:inline-formula> <jats:alternatives> <jats:tex-math>$S$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>S</mml:mi> </mml:math> </jats:alternatives> </jats:inline-formula> , the Favard length of <jats:inline-formula> <jats:alternatives> <jats:tex-math>$S(r)$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>S</mml:mi> <mml:mo>(</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> </mml:math> </jats:alternatives> </jats:inline-formula> decays instead like <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\log \\log (1/r)/\\log (1/r)$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mo>log</mml:mo> <mml:mo>log</mml:mo> <mml:mo>(</mml:mo> <mml:mn>1</mml:mn> <mml:mo>/</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> <mml:mo>/</mml:mo> <mml:mo>log</mml:mo> <mml:mo>(</mml:mo> <mml:mn>1</mml:mn> <mml:mo>/</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> </mml:math> </jats:alternatives> </jats:inline-formula> , showing that the <jats:inline-formula> <jats:alternatives> <jats:tex-math>$1/\\log (1/r)$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mn>1</mml:mn> <mml:mo>/</mml:mo> <mml:mo>log</mml:mo> <mml:mo>(</mml:mo> <mml:mn>1</mml:mn> <mml:mo>/</mml:mo> <mml:mi>r</mml:mi> <mml:mo>)</mml:mo> </mml:math> </jats:alternatives> </jats:inline-formula> decay is not universal among random fractals, as might be expected from previous results.","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"53 1","pages":""},"PeriodicalIF":2.2000,"publicationDate":"2026-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Geometric and Functional Analysis","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00039-026-00743-3","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We show that for a large class of planar 1-dimensional random fractals $S$S , the Favard length $\operatorname{Fav}(S(r))$Fav(S(r)) of the neighborhood $S(r)$S(r) is comparable to $\log ^{-1}(1/r)$log−1(1/r) , matching a universal lower bound; up to now, this was only known in expectation for a few concrete models. In particular, we show that there exist 1-Ahlfors regular sets with the fastest possible Favard length decay. For a wide class of planar one-dimensional “grid random fractals”, including fractal percolation and its Ahlfors-regular variants, we further show that $\operatorname{Fav}(S(r))/\log (1/r)$Fav(S(r))/log(1/r) converges almost surely, and we identify the limit explicitly. Furthermore, we prove that for some 1-dimensional Ahlfors-regular random fractals $S$S , the Favard length of $S(r)$S(r) decays instead like $\log \log (1/r)/\log (1/r)$loglog(1/r)/log(1/r) , showing that the $1/\log (1/r)$1/log(1/r) decay is not universal among random fractals, as might be expected from previous results.
期刊介绍:
Geometric And Functional Analysis (GAFA) publishes original research papers of the highest quality on a broad range of mathematical topics related to geometry and analysis.
GAFA scored in Scopus as best journal in "Geometry and Topology" since 2014 and as best journal in "Analysis" since 2016.
Publishes major results on topics in geometry and analysis.
Features papers which make connections between relevant fields and their applications to other areas.