Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.21768

Visible parts and projections of the affine fractal percolation

Eeva Kuure·Markus Myllyoja·Aleksi Pyörälä
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the visible parts and orthogonal projections of the affine fractal percolation. We show that for the affine fractal percolation $E$, conditioned on $E \neq \varnothing$, almost surely the dimension of the visible part is equal to $\min\{1, \dim_{\rm H} E\}$ from all directions except for the major contracting direction. The visible part from the major contracting direction is notably different from the other directions, and we provide a formula for its Hausdorff and box dimensions. In addition, we show that almost surely conditioned on $E \neq \varnothing$, $\dim_{\rm H} π(E) =\min\{ 1, \dim_{\rm H} E\}$ for every orthogonal projection $π$ excluding the one onto the major contracting direction, and given $\dim_{\rm H} E >1$, these projections contain intervals.

Explore related subjects

math.CAmath.MGmath.PR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Eeva Kuure, Markus Myllyoja, Aleksi Pyörälä. 2026-10-15. Visible parts and projections of the affine fractal percolation. https://arxiv.org/abs/2610.21768

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Reverse square function estimates for degenerate curves and their applications

Building on the classical work of Córdoba--Fefferman and the recent work of Schippa, we establish $L^4$ reverse square function estimates for functions whose Fourier support is contained in a $δ$-neighborhood of the curve $\{(ξ,|ξ|^a): |ξ|\leq 1\}$ in $\mathbb{R}^2$, for all exponents $a\in(0,\infty)\backslash\{1\}$. As applications, we derive sharp $L^4$ Strichartz estimates on the one-dimensional torus for fractional Schrödinger equations and establish new local smoothing estimates in modulation spaces. In the latter application, orthogonal Strichartz-type estimates also play a crucial role.

math.CA↗
arXiv2026

Gaussian rigidity and width of measures

Given $0\le m<n$ and a positive Radon measure $μ$ on $\mathbb R^n$ with at most polynomial growth, assume that it has finite $m$-dimensional Gaussian discrepancy, defined as $$\mathcal D(μ):=\limsup_{R\to\infty}\Bigl[R^2\sup_{x\in\mathrm{spt}μ}|G_R^μ(x)-1|\Bigr],$$ where $G_R^μ(x):=(4πR^2)^{-m/2}\int_{\mathbb R^n} e^{-|z-x|^2/(4R^2)}\,dμ(z)$. Provided that $μ$ admits a flat blow-down $\mathcal H^m\llcorner V$ (an assumption that cannot be dropped entirely), we prove that there exists a finite (smallest) $0\leδ<\infty$, the so-called width of $μ$, such that $$\mathrm{spt}μ\subseteq \bar B_δ(V+x_0),\quad δ^2\le C(m,n)\mathcal{D}(μ),$$ where $\bar B_δ(V+x_0)$ denotes the closed $δ$-neighborhood of a suitable translate of $V$. Note that the exponent is optimal because of scale invariance. In particular, when $\mathcal D(μ)=0$, the support of $μ$ is included in an $m$-dimensional affine plane. We use this fact to give a simpler proof of Preiss's rectifiability theorem: while still based on Gaussian averages of $μ$, this new proof avoids showing uniqueness (and hence conicality) of blow-downs of $m$-uniform measures, as well as studying Gaussian-weighted moments beyond second order. The strategy of proof consists of an anisotropic blow-down of $μ$, followed by an analysis of the resulting Young measure, using a rigidity lemma involving the heat semigroup.

math.CA↗
arXiv2026

Fourier decay and endpoint estimates for lacunary maximal operators

We study endpoint estimates for lacunary maximal operators associated with compactly supported measures. For every $d\geq1$, we construct a compactly supported, absolutely continuous probability measure on $\mathbb R^d$ with polynomial Fourier decay whose associated lacunary maximal operator fails to map $H^1(\mathbb R^d)$ boundedly into $L^{1,\infty}(\mathbb R^d)$. In particular, it fails to be of weak type $(1,1)$. This gives a negative answer to the weak type $(1,1)$ question posed by Seeger and Wright in 2011 and to Open Problems 14 and 15, contributed by Wright at the 2016 Conference in Harmonic Analysis, held at the University of Wisconsin--Madison in honor of Professor Michael Christ.

math.CA↗