Showing 1–40 of 40 results for author: Suomala, V

The largest slice of fractal percolation

Authors: Pablo Shmerkin, Ville Suomala

Abstract: For each $k\ge 3$, we determine the dimensional threshold for planar fractal percolation to contain $k$ collinear points. In the critical case of dimension $1$, the largest linear slice of fractal percolation is a Cantor set of zero Hausdorff dimension. We investigate its size in terms of generalized Hausdorff measures. For each $k\ge 3$, we determine the dimensional threshold for planar fractal percolation to contain $k$ collinear points. In the critical case of dimension $1$, the largest linear slice of fractal percolation is a Cantor set of zero Hausdorff dimension. We investigate its size in terms of generalized Hausdorff measures. △ Less

Submitted 24 January, 2025; originally announced January 2025.

Comments: 17 pages, 2 figures

MSC Class: Primary 60D05; Secondary 28A80; 60J85

Fourier dimension of Mandelbrot multiplicative cascades

Authors: Changhao Chen, Bing Li, Ville Suomala

Abstract: We investigate the Fourier dimension, $\dim_Fμ$, of Mandelbrot multiplicative cascade measures $μ$ on the $d$-dimensional unit cube. We show that if $μ$ is the cascade measure generated by a sub-exponential random variable then \[\dim_Fμ=\min\{2,\dim_2μ\}\,,\] where $\dim_2μ$ is the correlation dimension of $μ$ and it has an explicit formula. For cascades on the circle $S\subset\mathbb{R}^2$, we… ▽ More We investigate the Fourier dimension, $\dim_Fμ$, of Mandelbrot multiplicative cascade measures $μ$ on the $d$-dimensional unit cube. We show that if $μ$ is the cascade measure generated by a sub-exponential random variable then \[\dim_Fμ=\min\{2,\dim_2μ\}\,,\] where $\dim_2μ$ is the correlation dimension of $μ$ and it has an explicit formula. For cascades on the circle $S\subset\mathbb{R}^2$, we obtain \[\dim_Fμ\ge\frac{\dim_2μ}{2+\dim_2μ}\,.\] △ Less

Submitted 20 May, 2025; v1 submitted 20 September, 2024; originally announced September 2024.

Comments: Revision based on a referee report. Changes to the structure of the paper and to the derivation of the correlation dimension. All main results remain the same

MSC Class: 60G57 (Primary); 42B10; 28A80 (Secondary)

Multifractal analysis for the pointwise Assouad dimension of self-similar measures

Authors: Roope Anttila, Ville Suomala

Abstract: We quantify the pointwise doubling properties of self-similar measures using the notion of pointwise Assouad dimension. We show that all self-similar measures satisfying the open set condition are pointwise doubling in a set of full Hausdorff dimension, despite the fact that they can in general be non-doubling in a set of full Hausdorff measure. More generally, we carry out multifractal analysis b… ▽ More We quantify the pointwise doubling properties of self-similar measures using the notion of pointwise Assouad dimension. We show that all self-similar measures satisfying the open set condition are pointwise doubling in a set of full Hausdorff dimension, despite the fact that they can in general be non-doubling in a set of full Hausdorff measure. More generally, we carry out multifractal analysis by determining the Hausdorff dimension of the level sets of the pointwise Assouad dimension. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 22 pages, 1 figure. Comments are welcome!

MSC Class: 28A80 (Primary); 37C45 (Secondary)

New bounds on Cantor maximal operators

Authors: Pablo Shmerkin, Ville Suomala

Abstract: We prove $L^p$ bounds for the maximal operators associated to an Ahlfors-regular variant of fractal percolation. Our bounds improve upon those obtained by I. Łaba and M. Pramanik and in some cases are sharp up to the endpoint. A consequence of our main result is that there exist Ahlfors-regular Salem Cantor sets of any dimension $>1/2$ such that the associated maximal operator is bounded on… ▽ More We prove $L^p$ bounds for the maximal operators associated to an Ahlfors-regular variant of fractal percolation. Our bounds improve upon those obtained by I. Łaba and M. Pramanik and in some cases are sharp up to the endpoint. A consequence of our main result is that there exist Ahlfors-regular Salem Cantor sets of any dimension $>1/2$ such that the associated maximal operator is bounded on $L^2(\mathbb{R})$. We follow the overall scheme of Łaba-Pramanik for the analytic part of the argument, while the probabilistic part is instead inspired by our earlier work on intersection properties of random measures. △ Less

Submitted 17 December, 2021; v1 submitted 28 June, 2021; originally announced June 2021.

Comments: v2: 21 pages, 1 figure. Corrected several errors. Main result updated, but all qualitative improvements unchanged

MSC Class: Primary: 42B25; Secondary: 28A80; 60G57

Journal ref: Rev. Un. Mat. Argentina 64 (2022), no. 1, 69--86

Random perfect information games

Authors: János Flesch, Arkadi Predtetchinski, Ville Suomala

Abstract: The paper proposes a natural measure space of zero-sum perfect information games with upper semicontinuous payoffs. Each game is specified by the game tree, and by the assignment of the active player and of the capacity to each node of the tree. The payoff in a game is defined as the infimum of the capacity over the nodes that have been visited during the play. The active player, the number of chi… ▽ More The paper proposes a natural measure space of zero-sum perfect information games with upper semicontinuous payoffs. Each game is specified by the game tree, and by the assignment of the active player and of the capacity to each node of the tree. The payoff in a game is defined as the infimum of the capacity over the nodes that have been visited during the play. The active player, the number of children, and the capacity are drawn from a given joint distribution independently across the nodes. We characterize the cumulative distribution function of the value $v$ using the fixed points of the so-called value generating function. The characterization leads to a necessary and sufficient condition for the event $v \geq k$ to occur with positive probability. We also study probabilistic properties of the set of Player I's $k$-optimal strategies and the corresponding plays. △ Less

Submitted 21 April, 2021; originally announced April 2021.

On dimensions of visible parts of self-similar sets with finite rotation groups

Authors: Esa Järvenpää, Maarit Järvenpää, Ville Suomala, Meng Wu

Abstract: We derive an upper bound for the Assouad dimension of visible parts of self-similar sets generated by iterated function systems with finite rotation groups and satisfying the open set condition. The bound is valid for all visible parts and it depends on the penetrable part of the set, which is a concept defined in this paper. As a corollary, we obtain in the planar case that if the projection is a… ▽ More We derive an upper bound for the Assouad dimension of visible parts of self-similar sets generated by iterated function systems with finite rotation groups and satisfying the open set condition. The bound is valid for all visible parts and it depends on the penetrable part of the set, which is a concept defined in this paper. As a corollary, we obtain in the planar case that if the projection is a finite or countable union of intervals then the visible part is 1-dimensional. We also prove that the Assouad dimension of a visible part is strictly smaller than the Hausdorff dimension of the set provided the projection contains interior points. △ Less

Submitted 18 March, 2022; v1 submitted 4 January, 2021; originally announced January 2021.

Comments: Changes to the previous version: Theorems 2.4 and 2.11 are proved assuming only the weak separation condition. Theorem 2.11 is proved using a simplified argument

MSC Class: 28A80

Covering the Sierpiński carpet with tubes

Authors: Aleksi Pyörälä, Pablo Shmerkin, Ville Suomala, Meng Wu

Abstract: We show that non-trivial $\times N$-invariant sets in $[0,1]^d$, such as the Sierpiński carpet and the Sierpiński sponge, are tube-null, that is, they can be covered by a union of tubular neighbourhoods of lines of arbitrarily small total volume. This introduces a new class of tube-null sets of dimension strictly between $d-1$ and $d$. We utilize ergodic-theoretic methods to decompose the set into… ▽ More We show that non-trivial $\times N$-invariant sets in $[0,1]^d$, such as the Sierpiński carpet and the Sierpiński sponge, are tube-null, that is, they can be covered by a union of tubular neighbourhoods of lines of arbitrarily small total volume. This introduces a new class of tube-null sets of dimension strictly between $d-1$ and $d$. We utilize ergodic-theoretic methods to decompose the set into finitely many parts, each of which projects onto a set of Hausdorff dimension less than $1$ in some direction. We also discuss coverings by tubes for other self-similar sets, and present various applications. △ Less

Submitted 31 May, 2020; originally announced June 2020.

Comments: 24 pages, 2 figures

MSC Class: Primary 37C45; Secondary 28A80

Intermediate value property for the Assouad dimension of measures

Authors: Ville Suomala

Abstract: Hare, Mendivil, and Zuberman have recently shown that if $X$ is a compact subset of the reals and of non-zero Assouad dimension $\dim_A X$, then for all $s>\dim_A X$, $X$ supports measures with Assouad dimension $s$. We generalise this result to arbitrary complete metric spaces. Hare, Mendivil, and Zuberman have recently shown that if $X$ is a compact subset of the reals and of non-zero Assouad dimension $\dim_A X$, then for all $s>\dim_A X$, $X$ supports measures with Assouad dimension $s$. We generalise this result to arbitrary complete metric spaces. △ Less

Submitted 8 June, 2020; v1 submitted 30 January, 2020; originally announced January 2020.

Comments: 10 pages. Typos fixed. Proof for Lemma 2.3 included. To appear in Anal. Geom. Metr. Spaces

MSC Class: 28A80; 54E50

The doubling metric and doubling measures

Authors: János Flesch, Arkadi Predtetchinski, Ville Suomala

Abstract: We introduce the so--called doubling metric on the collection of non--empty bounded open subsets of a metric space. Given a subset $U$ of a metric space $X$, the predecessor $U_{*}$ of $U$ is defined by doubling the radii of all open balls contained inside $U$, and taking their union. If $U$ is open, the predecessor of $U$ is an open set containing $U$. The directed doubling distance between $U$ a… ▽ More We introduce the so--called doubling metric on the collection of non--empty bounded open subsets of a metric space. Given a subset $U$ of a metric space $X$, the predecessor $U_{*}$ of $U$ is defined by doubling the radii of all open balls contained inside $U$, and taking their union. If $U$ is open, the predecessor of $U$ is an open set containing $U$. The directed doubling distance between $U$ and another subset $V$ is the number of times that the predecessor operation needs to be applied to $U$ to obtain a set that contains $V$. Finally, the doubling distance between $U$ and $V$ is the maximum of the directed distance between $U$ and $V$ and the directed distance between $V$ and $U$. △ Less

Submitted 2 March, 2020; v1 submitted 20 August, 2019; originally announced August 2019.

Comments: 22 pages

MSC Class: Primary 54E35; Secondary 28A12; 51F99

Fractal percolation and quasisymmetric mappings

Authors: Eino Rossi, Ville Suomala

Abstract: We study the conformal dimension of fractal percolation and show that, almost surely, the conformal dimension of a fractal percolation is strictly smaller than its Hausdorff dimension. We study the conformal dimension of fractal percolation and show that, almost surely, the conformal dimension of a fractal percolation is strictly smaller than its Hausdorff dimension. △ Less

Submitted 16 April, 2020; v1 submitted 27 May, 2019; originally announced May 2019.

Comments: 16 pages, 4 figures, minor corrections to previous version

MSC Class: 28A80; 30C65; 60D05

Projections of Poisson cut-outs in the Heisenberg group and the visual $3$-sphere

Authors: Laurent Dufloux, Ville Suomala

Abstract: We study projectional properties of Poisson cut-out sets $E$ in non-Euclidean spaces. In the first Heisenbeg group, endowed with the Korányi metric, we show that the Hausdorff dimension of the vertical projection $π(E)$ (projection along the center of the Heisenberg group) almost surely equals $\min\{2,dim_H(E)\}$ and that $π(E)$ has non-empty interior if $dim_H(E)>2$. As a corollary, this allows… ▽ More We study projectional properties of Poisson cut-out sets $E$ in non-Euclidean spaces. In the first Heisenbeg group, endowed with the Korányi metric, we show that the Hausdorff dimension of the vertical projection $π(E)$ (projection along the center of the Heisenberg group) almost surely equals $\min\{2,dim_H(E)\}$ and that $π(E)$ has non-empty interior if $dim_H(E)>2$. As a corollary, this allows us to determine the Hausdorff dimension of $E$ with respect to the Euclidean metric in terms of its Heisenberg Hausdorff dimension $dim_H (E)$. We also study projections in the one-point compactification of the Heisenberg group, that is, the $3$-sphere $S^3$ endowed with the visual metric $d$ obtained by identifying $S^3$ with the boundary of the complex hyperbolic plane. In $S^3$, we prove a projection result that holds simultaneously for all radial projections (projections along so called "chains"). This shows that the Poisson cut-outs in $S^3$ satisfy a strong version of the Marstrand's projection theorem, without any exceptional directions. △ Less

Submitted 3 December, 2018; originally announced December 2018.

Comments: 36 pages

MSC Class: Primary 60D05; Secondary 28A80; 37D35; 37C45; 53C17

Hausdorff dimension of limsup sets of random rectangles in products of regular spaces

Authors: Fredrik Ekström, Esa Järvenpää, Maarit Järvenpää, Ville Suomala

Abstract: The almost sure Hausdorff dimension of the limsup set of randomly distributed rectangles in a product of Ahlfors regular metric spaces is computed in terms of the singular value function of the rectangles. The almost sure Hausdorff dimension of the limsup set of randomly distributed rectangles in a product of Ahlfors regular metric spaces is computed in terms of the singular value function of the rectangles. △ Less

Submitted 30 November, 2017; v1 submitted 7 May, 2017; originally announced May 2017.

Comments: v2: Removed the subsection about the Heisenberg group, which contained an error. 12 pages

Patterns in Random Fractals

Authors: Pablo Shmerkin, Ville Suomala

Abstract: We characterize the existence of certain geometric configurations in the fractal percolation limit set $A$ in terms of the almost sure dimension of $A$. Some examples of the configurations we study are: homothetic copies of finite sets, angles, distances, and volumes of simplices. In the spirit of relative Szemerédi theorems for random discrete sets, we also consider the corresponding problem for… ▽ More We characterize the existence of certain geometric configurations in the fractal percolation limit set $A$ in terms of the almost sure dimension of $A$. Some examples of the configurations we study are: homothetic copies of finite sets, angles, distances, and volumes of simplices. In the spirit of relative Szemerédi theorems for random discrete sets, we also consider the corresponding problem for sets of positive $ν$-measure, where $ν$ is the natural measure on $A$. In both cases we identify the dimension threshold for each class of configurations. These results are obtained by investigating the intersections of the products of $m$ independent realizations of $A$ with transversal planes and, more generally, algebraic varieties, and extend some well known features of independent percolation on trees to a setting with long-range dependencies. △ Less

Submitted 28 March, 2017; originally announced March 2017.

Comments: 66 pages

MSC Class: Primary:05D40; 28A75; 60C05; Secondary: 05C55; 28A78; 28A80; 60D05

Upper Conical density results for general measures on $\mathbb{R}^n$

Authors: Marianna Csörnyei, Antti Käenmäki, Tapio Rajala, Ville Suomala

Abstract: We study conical density properties of general Borel measures on Euclidean spaces. Our results are analogous to the previously known result on the upper density properties of Hausdorff and packing type measures. We study conical density properties of general Borel measures on Euclidean spaces. Our results are analogous to the previously known result on the upper density properties of Hausdorff and packing type measures. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Proc. Edinburgh Math. Soc. 53 (2010), no. 2, 311-331

Packing dimension and Ahlfors regularity of porous sets in metric spaces

Authors: Esa Järvenpää, Maarit Järvenpää, Antti Käenmäki, Tapio Rajala, Sari Rogovin, Ville Suomala

Abstract: Let $X$ be a metric measure space with an $s$-regular measure $μ$. We prove that if $A\subset X$ is $\varrho$-porous, then $\dim_{\mathrm{p}}(A)\le s-c\varrho^s$ where $\dim_{\mathrm{p}}$ is the packing dimension and $c$ is a positive constant which depends on $s$ and the structure constants of $μ$. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate… ▽ More Let $X$ be a metric measure space with an $s$-regular measure $μ$. We prove that if $A\subset X$ is $\varrho$-porous, then $\dim_{\mathrm{p}}(A)\le s-c\varrho^s$ where $\dim_{\mathrm{p}}$ is the packing dimension and $c$ is a positive constant which depends on $s$ and the structure constants of $μ$. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate by an example that the corresponding result is not valid if $μ$ is a doubling measure. However, in the doubling case we find a fixed $N\subset X$ with $μ(N)=0$ such that $\dim_{\mathrm{p}}(A)\le\dim_{\mathrm{p}}(X)-c(\log\tfrac 1\varrho)^{-1}\varrho^t$ for all $\varrho$-porous sets $A\subset X\setminus N$. Here $c$ and $t$ are constants which depend on the structure constant of $μ$. Finally, we characterize uniformly porous sets in complete $s$-regular metric spaces in terms of regular sets by verifying that $A$ is uniformly porous if and only if there is $t<s$ and a $t$-regular set $F$ such that $A\subset F$. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Math. Z. 266 (2010), no. 1, 83-105

Conical upper density theorems and porosity of measures

Authors: Antti Käenmäki, Ville Suomala

Abstract: We study how measures with finite lower density are distributed around $(n-m)$-planes in small balls in $\mathbb{R}^n$. We also discuss relations between conical upper density theorems and porosity. Our results may be applied to a large collection of Hausdorff and packing type measures. We study how measures with finite lower density are distributed around $(n-m)$-planes in small balls in $\mathbb{R}^n$. We also discuss relations between conical upper density theorems and porosity. Our results may be applied to a large collection of Hausdorff and packing type measures. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Adv. Math. 217 (2008), no. 3, 952-966

Asymptotically sharp dimension estimates for $k$-porous sets

Authors: Esa Järvenpää, Maarit Järvenpää, Antti Käenmäki, Ville Suomala

Abstract: In $\mathbb{R}^n$, we establish an asymptotically sharp upper bound for the upper Minkowski dimension of $k$-porous sets having holes of certain size near every point in $k$ orthogonal directions at all small scales. This bound tends to $n-k$ as $k$-porosity tends to its maximum value. In $\mathbb{R}^n$, we establish an asymptotically sharp upper bound for the upper Minkowski dimension of $k$-porous sets having holes of certain size near every point in $k$ orthogonal directions at all small scales. This bound tends to $n-k$ as $k$-porosity tends to its maximum value. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Math. Scand. 97 (2005), no. 2, 309-318

Nonsymmetric conical upper density and $k$-porosity

Authors: Antti Käenmäki, Ville Suomala

Abstract: We study how the Hausdorff measure is distributed in nonsymmetric narrow cones in $\mathbb{R}^n$. As an application, we find an upper bound close to $n-k$ for the Hausdorff dimension of sets with large $k$-porosity. With $k$-porous sets we mean sets which have holes in $k$ different directions on every small scale. We study how the Hausdorff measure is distributed in nonsymmetric narrow cones in $\mathbb{R}^n$. As an application, we find an upper bound close to $n-k$ for the Hausdorff dimension of sets with large $k$-porosity. With $k$-porous sets we mean sets which have holes in $k$ different directions on every small scale. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Trans. Amer. Math. Soc., 363 (2011), no. 3, 1183-1195

A class of random Cantor measures, with applications

Authors: Pablo Shmerkin, Ville Suomala

Abstract: We survey some of our recent results on the geometry of spatially independent martingales, in a more concrete setting that allows for shorter, direct proofs, yet is general enough for several applications and contains the well-known fractal percolation measure. We study self-convolutions and Fourier decay of measures in our class, and present applications of these results to the restriction proble… ▽ More We survey some of our recent results on the geometry of spatially independent martingales, in a more concrete setting that allows for shorter, direct proofs, yet is general enough for several applications and contains the well-known fractal percolation measure. We study self-convolutions and Fourier decay of measures in our class, and present applications of these results to the restriction problem for fractal measures, and the connection between arithmetic structure and Fourier decay. △ Less

Submitted 26 March, 2016; originally announced March 2016.

Comments: 28 pages, 2 figures

MSC Class: Primary: 28A80; 60D05; Secondary: 11B25; 28A75; 28A78; 42A38; 42A61; 60G46; 60G57

Hitting probabilities of random covering sets in tori and metric spaces

Authors: Esa Järvenpää, Maarit Järvenpää, Henna Koivusalo, Bing Li, Ville Suomala, Yimin Xiao

Abstract: We provide sharp lower and upper bounds for the Hausdorff dimension of the intersection of a typical random covering set with a fixed analytic set both in Ahlfors regular metric spaces and in the $d$-dimensional torus. In metric spaces, we consider covering sets generated by balls and, in the torus, we deal with general analytic generating sets. We provide sharp lower and upper bounds for the Hausdorff dimension of the intersection of a typical random covering set with a fixed analytic set both in Ahlfors regular metric spaces and in the $d$-dimensional torus. In metric spaces, we consider covering sets generated by balls and, in the torus, we deal with general analytic generating sets. △ Less

Submitted 22 May, 2016; v1 submitted 22 October, 2015; originally announced October 2015.

Comments: 22 pages

Dimensions of random covering sets in Riemann manifolds

Authors: De-Jun Feng, Esa Järvenpää, Maarit Järvenpää, Ville Suomala

Abstract: Let ${\pmb M}$, ${\pmb N}$ and ${\pmb K}$ be $d$-dimensional Riemann manifolds. Assume that ${\bf A}:=(A_n)_{n\in{\Bbb N}}$ is a sequence of Lebesgue measurable subsets of ${\pmb M}$ satisfying a necessary density condition and ${\bf x}:=(x_n)_{n\in {\Bbb N}}$ is a sequence of independent random variables which are distributed on ${\pmb K}$ according to a measure which is not purely singular with… ▽ More Let ${\pmb M}$, ${\pmb N}$ and ${\pmb K}$ be $d$-dimensional Riemann manifolds. Assume that ${\bf A}:=(A_n)_{n\in{\Bbb N}}$ is a sequence of Lebesgue measurable subsets of ${\pmb M}$ satisfying a necessary density condition and ${\bf x}:=(x_n)_{n\in {\Bbb N}}$ is a sequence of independent random variables which are distributed on ${\pmb K}$ according to a measure which is not purely singular with respect to the Riemann volume. We give a formula for the almost sure value of the Hausdorff dimension of random covering sets ${\bf E}({\bf x},{\bf A}):=\limsup_{n\to\infty}A_n(x_n)\subset {\pmb N}$. Here $A_n(x_n)$ is a diffeomorphic image of $A_n$ depending on $x_n$. We also verify that the packing dimensions of ${\bf E}({\bf x},{\bf A})$ equal $d$ almost surely. △ Less

Submitted 31 August, 2015; originally announced August 2015.

Fractal percolation, porosity, and dimension

Authors: Changhao Chen, Tuomo Ojala, Eino Rossi, Ville Suomala

Abstract: We study the porosity properties of fractal percolation sets $E\subset\mathbb{R}^d$. Among other things, for all $0<\varepsilon<\tfrac12$, we obtain dimension bounds for the set of exceptional points where the upper porosity of $E$ is less than $\tfrac12-\varepsilon$, or the lower porosity is larger than $\varepsilon$. Our method works also for inhomogeneous fractal percolation and more general ra… ▽ More We study the porosity properties of fractal percolation sets $E\subset\mathbb{R}^d$. Among other things, for all $0<\varepsilon<\tfrac12$, we obtain dimension bounds for the set of exceptional points where the upper porosity of $E$ is less than $\tfrac12-\varepsilon$, or the lower porosity is larger than $\varepsilon$. Our method works also for inhomogeneous fractal percolation and more general random sets whose offspring distribution gives rise to a Galton-Watson process. △ Less

Submitted 21 August, 2015; originally announced August 2015.

Comments: 29 pages, 8 figures

MSC Class: 60J80; 28A80; 60D05

Journal ref: Journal of Theoretical Probability volume 30, pages1471-1498 (2017)

Local dimensions in Moran constructions

Authors: Antti Käenmäki, Bing Li, Ville Suomala

Abstract: We study the dimensional properties of Moran sets and Moran measures in doubling metric spaces. In particular, we consider local dimensions and $L^q$-dimensions. We generalize and extend several existing results in this area. We study the dimensional properties of Moran sets and Moran measures in doubling metric spaces. In particular, we consider local dimensions and $L^q$-dimensions. We generalize and extend several existing results in this area. △ Less

Submitted 15 December, 2015; v1 submitted 21 April, 2015; originally announced April 2015.

Comments: 13 pages

MSC Class: 28A12; 28A80

Journal ref: Nonlinearity, 29 (2016), no. 3, 807-822

Random cutout sets with spatially inhomogeneous intensities

Authors: Tuomo Ojala, Ville Suomala, Meng Wu

Abstract: We study the Hausdorff dimension of Poissonian cutout sets defined via inhomogeneous intensity measures on Ahlfors-regular metric spaces. We obtain formulas for the Hausdorff dimension of such cutouts in self-similar and self-conformal spaces using the multifractal decomposition of the average densities for the natural measures. We study the Hausdorff dimension of Poissonian cutout sets defined via inhomogeneous intensity measures on Ahlfors-regular metric spaces. We obtain formulas for the Hausdorff dimension of such cutouts in self-similar and self-conformal spaces using the multifractal decomposition of the average densities for the natural measures. △ Less

Submitted 1 August, 2016; v1 submitted 14 April, 2015; originally announced April 2015.

Comments: 24 pages. Incorporated refereeing comments. To appear in Israel J. Math

MSC Class: Primary 60D05; Secondary 28A80; 37D35; 37C45

Spatially independent martingales, intersections, and applications

Authors: Pablo Shmerkin, Ville Suomala

Abstract: We define a class of random measures, spatially independent martingales, which we view as a natural generalisation of the canonical random discrete set, and which includes as special cases many variants of fractal percolation and Poissonian cut-outs. We pair the random measures with deterministic families of parametrised measures $\{η_t\}_t$, and show that under some natural checkable conditions,… ▽ More We define a class of random measures, spatially independent martingales, which we view as a natural generalisation of the canonical random discrete set, and which includes as special cases many variants of fractal percolation and Poissonian cut-outs. We pair the random measures with deterministic families of parametrised measures $\{η_t\}_t$, and show that under some natural checkable conditions, a.s. the total measure of the intersections is Hölder continuous as a function of $t$. This continuity phenomenon turns out to underpin a large amount of geometric information about these measures, allowing us to unify and substantially generalize a large number of existing results on the geometry of random Cantor sets and measures, as well as obtaining many new ones. Among other things, for large classes of random fractals we establish (a) very strong versions of the Marstrand-Mattila projection and slicing results, as well as dimension conservation, (b) slicing results with respect to algebraic curves and self-similar sets, (c) smoothness of convolutions of measures, including self-convolutions, and nonempty interior for sumsets, (d) rapid Fourier decay. Among other applications, we obtain an answer to a question of I. Łaba in connection to the restriction problem for fractal measures. △ Less

Submitted 26 February, 2015; v1 submitted 23 September, 2014; originally announced September 2014.

Comments: 96 pages, 5 figures. v4: The definition of the metric changed in Section 8. Polishing notation and other small changes. All main results unchanged

MSC Class: Primary: 28A75; 60D05; Secondary: 28A78; 28A80; 42A38; 42A61; 60G46; 60G57

Projections of random covering sets

Authors: Changhao Chen, Henna Koivusalo, Bing Li, Ville Suomala

Abstract: We show that, almost surely, the Hausdorff dimension $s_0$ of a random covering set is preserved under all orthogonal projections to linear subspaces with dimension $k>s_0$. The result holds for random covering sets with a generating sequence of ball-like sets, and is obtained by investigating orthogonal projections of a class of random Cantor sets. We show that, almost surely, the Hausdorff dimension $s_0$ of a random covering set is preserved under all orthogonal projections to linear subspaces with dimension $k>s_0$. The result holds for random covering sets with a generating sequence of ball-like sets, and is obtained by investigating orthogonal projections of a class of random Cantor sets. △ Less

Submitted 7 November, 2013; originally announced November 2013.

Comments: 17 pages

MSC Class: 60D05; 28A78; 28A80

Journal ref: J. Fractal Geom. 1 (2014), no. 4, 449-467

A note on the hitting probabilities of random covering sets

Authors: Bing Li, Ville Suomala

Abstract: Let $E=\limsup\limits_{n\to\infty}(g_n+ξ_n)$ be the random covering set on the torus $\mathbb{T}^d$, where $\{g_n\}$ is a sequence of ball-like sets and $ξ_n$ is a sequence of independent random variables uniformly distributed on $\T^d$. We prove that $E\cap F\neq\emptyset$ almost surely whenever $F\subset\mathbb{T}^d$ is an analytic set with Hausdorff dimension, $\dim_H(F)>d-α$, where $α$ is the… ▽ More Let $E=\limsup\limits_{n\to\infty}(g_n+ξ_n)$ be the random covering set on the torus $\mathbb{T}^d$, where $\{g_n\}$ is a sequence of ball-like sets and $ξ_n$ is a sequence of independent random variables uniformly distributed on $\T^d$. We prove that $E\cap F\neq\emptyset$ almost surely whenever $F\subset\mathbb{T}^d$ is an analytic set with Hausdorff dimension, $\dim_H(F)>d-α$, where $α$ is the almost sure Hausdorff dimension of $E$. Moreover, examples are given to show that the condition on $\dim_H(F)$ cannot be replaced by the packing dimension of $F$. △ Less

Submitted 10 July, 2013; originally announced July 2013.

Comments: 11 pages

MSC Class: 60D05; 28A78; 28A80

Local multifractal analysis in metric spaces

Authors: Antti Käenmäki, Tapio Rajala, Ville Suomala

Abstract: We study the local dimensions and local multifractal properties of measures on doubling metric spaces. Our aim is twofold. On one hand, we show that there are plenty of multifractal type measures in all metric spaces which satisfy only mild regularity conditions. On the other hand, we consider a local spectrum that can be used to gain finer information on the local behaviour of measures than its g… ▽ More We study the local dimensions and local multifractal properties of measures on doubling metric spaces. Our aim is twofold. On one hand, we show that there are plenty of multifractal type measures in all metric spaces which satisfy only mild regularity conditions. On the other hand, we consider a local spectrum that can be used to gain finer information on the local behaviour of measures than its global counterpart. △ Less

Submitted 6 June, 2013; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: arXiv admin note: text overlap with arXiv:1003.2895

MSC Class: 28A80; 28D20; 54E50

Journal ref: Nonlinearity, 26 (2013), no. 8, 2157-2173

Volume growth of quasihyperbolic balls

Authors: Xiaohui Zhang, Riku Klén, Ville Suomala, Matti Vuorinen

Abstract: The purpose of this paper is to study the notion of the quasihyperbolic volume and to find growth estimates for the quasihyperbolic volume of balls in a domain $G \subset {\mathbb R}^n\,$ in terms of the radii. The purpose of this paper is to study the notion of the quasihyperbolic volume and to find growth estimates for the quasihyperbolic volume of balls in a domain $G \subset {\mathbb R}^n\,$ in terms of the radii. △ Less

Submitted 26 July, 2017; v1 submitted 27 August, 2012; originally announced August 2012.

MSC Class: 51M10; 51M25; 28A80

Hausdorff dimension of affine random covering sets in torus

Authors: Esa Järvenpää, Maarit Järvenpää, Henna Koivusalo, Bing Li, Ville Suomala

Abstract: We calculate the almost sure Hausdorff dimension of the random covering set $\limsup_{n\to\infty}(g_n + ξ_n)$ in $d$-dimensional torus $\mathbb T^d$, where the sets $g_n\subset\mathbb T^d$ are parallelepipeds, or more generally, linear images of a set with nonempty interior, and $ξ_n\in\mathbb T^d$ are independent and uniformly distributed random points. The dimension formula, derived from the sin… ▽ More We calculate the almost sure Hausdorff dimension of the random covering set $\limsup_{n\to\infty}(g_n + ξ_n)$ in $d$-dimensional torus $\mathbb T^d$, where the sets $g_n\subset\mathbb T^d$ are parallelepipeds, or more generally, linear images of a set with nonempty interior, and $ξ_n\in\mathbb T^d$ are independent and uniformly distributed random points. The dimension formula, derived from the singular values of the linear mappings, holds provided that the sequences of the singular values are decreasing. △ Less

Submitted 7 May, 2013; v1 submitted 16 July, 2012; originally announced July 2012.

Comments: 16 pages, 1 figure

MSC Class: 60D05; 28A80

Journal ref: Ann. Inst. Henri Poincare Probab. Stat. 50 (2014), no. 4

On Cantor sets and doubling measures

Authors: Marianna Csörnyei, Ville Suomala

Abstract: For a large class of Cantor sets on the real-line, we find sufficient and necessary conditions implying that a set has positive (resp. null) measure for all doubling measures of the real-line. We also discuss same type of questions for atomic doubling measures defined on certain midpoint Cantor sets. For a large class of Cantor sets on the real-line, we find sufficient and necessary conditions implying that a set has positive (resp. null) measure for all doubling measures of the real-line. We also discuss same type of questions for atomic doubling measures defined on certain midpoint Cantor sets. △ Less

Submitted 26 April, 2012; originally announced April 2012.

Comments: to apper in J. Math. Anal. Appl

Local conical dimensions for measures

Authors: De-Jun Feng, Antti Käenmäki, Ville Suomala

Abstract: We study the decay of $μ(B(x,r)\cap C)/μ(B(x,r))$ as $r\downarrow 0$ for different kinds of measures $μ$ on $\R^n$ and various cones $C$ around $x$. As an application, we provide sufficient conditions implying that the local dimensions can be calculated via cones almost everywhere. We study the decay of $μ(B(x,r)\cap C)/μ(B(x,r))$ as $r\downarrow 0$ for different kinds of measures $μ$ on $\R^n$ and various cones $C$ around $x$. As an application, we provide sufficient conditions implying that the local dimensions can be calculated via cones almost everywhere. △ Less

Submitted 26 April, 2012; originally announced April 2012.

MSC Class: Primary 28A80; Secondary 28A75; 28A12

Journal ref: Math. Proc. Cambridge Philos. Soc., 154 (2013), no. 3, 465-479

Sets which are not tube null and intersection properties of random measures

Authors: Pablo Shmerkin, Ville Suomala

Abstract: We show that in $\mathbb{R}^d$ there are purely unrectifiable sets of Hausdorff (and even box counting) dimension $d-1$ which are not tube null, settling a question of Carbery, Soria and Vargas, and improving a number of results by the same authors and by Carbery. Our method extends also to "convex tube null sets", establishing a contrast with a theorem of Alberti, Csörnyei and Preiss on Lipschitz… ▽ More We show that in $\mathbb{R}^d$ there are purely unrectifiable sets of Hausdorff (and even box counting) dimension $d-1$ which are not tube null, settling a question of Carbery, Soria and Vargas, and improving a number of results by the same authors and by Carbery. Our method extends also to "convex tube null sets", establishing a contrast with a theorem of Alberti, Csörnyei and Preiss on Lipschitz-null sets. The sets we construct are random, and the proofs depend on intersection properties of certain random fractal measures with curves. △ Less

Submitted 26 November, 2014; v1 submitted 26 April, 2012; originally announced April 2012.

Comments: 24 pages. Referees comments incorporated. JLMS to appear

MSC Class: Primary 28A75; Secondary 42A61; 28A80

Journal ref: J. Lond. Math. Soc. (2) 91 (2015), no. 2, 405--422

Dimensions of random affine code tree fractals

Authors: Esa Järvenpää, Maarit Järvenpää, Antti Käenmäki, Henna Koivusalo, Örjan Stenflo, Ville Suomala

Abstract: We calculate the almost sure Hausdorff dimension for a general class of random affine planar code tree fractals. The set of probability measures describing the randomness includes natural measures in random $V$-variable and homogeneous Markov constructions. We calculate the almost sure Hausdorff dimension for a general class of random affine planar code tree fractals. The set of probability measures describing the randomness includes natural measures in random $V$-variable and homogeneous Markov constructions. △ Less

Submitted 1 February, 2012; originally announced February 2012.

Comments: 22 pages

MSC Class: 28A80; 60D05; 37H99

Journal ref: Ergodic Theory Dynam. Systems 34 (2014), no. 3, 854-875

Dimension, entropy, and the local distribution of measures

Authors: Tuomas Sahlsten, Pablo Shmerkin, Ville Suomala

Abstract: We present a general approach to the study of the local distribution of measures on Euclidean spaces, based on local entropy averages. As concrete applications, we unify, generalize, and simplify a number of recent results on local homogeneity, porosity and conical densities of measures. We present a general approach to the study of the local distribution of measures on Euclidean spaces, based on local entropy averages. As concrete applications, we unify, generalize, and simplify a number of recent results on local homogeneity, porosity and conical densities of measures. △ Less

Submitted 26 September, 2012; v1 submitted 27 October, 2011; originally announced October 2011.

Comments: v2: 23 pages, 6 figures. Updated references. Accepted to J. London Math. Soc

MSC Class: 28A80; 28D20

Journal ref: J. London Math. Soc. (2) (2013) Vol 87 (1): 247-268

Thin and fat sets for doubling measures in metric spaces

Authors: Tuomo Ojala, Tapio Rajala, Ville Suomala

Abstract: We consider sets in uniformly perfect metric spaces which are null for every doubling measure of the space or which have positive measure for all doubling measures. These sets are called thin and fat, respectively. In our main results, we give sufficient conditions for certain cut-out sets being thin or fat. We consider sets in uniformly perfect metric spaces which are null for every doubling measure of the space or which have positive measure for all doubling measures. These sets are called thin and fat, respectively. In our main results, we give sufficient conditions for certain cut-out sets being thin or fat. △ Less

Submitted 26 April, 2012; v1 submitted 30 March, 2011; originally announced March 2011.

MSC Class: 28A12 (Primary); 30L10 (Secondary)

Journal ref: Studia Math. 208 (2012), 195-211

Existence of doubling measures via generalised nested cubes

Authors: Antti Käenmäki, Tapio Rajala, Ville Suomala

Abstract: Working on doubling metric spaces, we construct generalised dyadic cubes adapting ultrametric structure. If the space is complete, then the existence of such cubes and the mass distribution principle lead into a simple proof for the existence of doubling measures. As an application, we show that for each $ε>0$ there is a doubling measure having full measure on a set of packing dimension at most… ▽ More Working on doubling metric spaces, we construct generalised dyadic cubes adapting ultrametric structure. If the space is complete, then the existence of such cubes and the mass distribution principle lead into a simple proof for the existence of doubling measures. As an application, we show that for each $ε>0$ there is a doubling measure having full measure on a set of packing dimension at most $ε$. △ Less

Submitted 31 March, 2011; v1 submitted 2 November, 2010; originally announced November 2010.

MSC Class: 28C15 (Primary); 54E50 (Secondary)

Journal ref: Proc. Amer. Math. Soc., 140 (2012), no. 9, 3275-3281

Dimension of the boundary in different metrics

Authors: Riku Klén, Ville Suomala

Abstract: We consider metrics on Euclidean domains $Ω\subset\R^n$ that are induced by continuous densities $ρ\colonΩ\rightarrow(0,\infty)$ and study the Hausdorff and packing dimensions of the boundary of $Ω$ with respect to these metrics. We consider metrics on Euclidean domains $Ω\subset\R^n$ that are induced by continuous densities $ρ\colonΩ\rightarrow(0,\infty)$ and study the Hausdorff and packing dimensions of the boundary of $Ω$ with respect to these metrics. △ Less

Submitted 25 April, 2012; v1 submitted 11 May, 2010; originally announced May 2010.

Comments: 20 pages, 2 figures

MSC Class: 28A78; 30C65

Journal ref: Math. Scand. 112 (2013), 275-301

Local homogeneity and dimensions of measures

Authors: Antti Käenmäki, Tapio Rajala, Ville Suomala

Abstract: We introduce two new concepts, local homogeneity and local L^q-spectrum, both of which are tools that can be used in studying the local structure of measures. The main emphasis is given to the examination of local dimensions of measures in doubling metric spaces. As an application, we reach a new level of generality and obtain new estimates in the study of conical densities and porous measures. We introduce two new concepts, local homogeneity and local L^q-spectrum, both of which are tools that can be used in studying the local structure of measures. The main emphasis is given to the examination of local dimensions of measures in doubling metric spaces. As an application, we reach a new level of generality and obtain new estimates in the study of conical densities and porous measures. △ Less

Submitted 17 September, 2012; v1 submitted 15 March, 2010; originally announced March 2010.

MSC Class: 28A12; 28A80 (Primary) 28A78; 28D20 (Secondary)

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci., 16 (2016), no. 4, 1315-1351

Packing dimension of mean porous measures

Authors: D. Beliaev, E. Järvenpää, M. Järvenpää, A. Käenmäki, T. Rajala, S. Smirnov, V. Suomala

Abstract: We prove that the packing dimension of any mean porous Radon measure on $\mathbb R^d$ may be estimated from above by a function which depends on mean porosity. The upper bound tends to $d-1$ as mean porosity tends to its maximum value. This result was stated in \cite{BS}, and in a weaker form in \cite{JJ1}, but the proofs are not correct. Quite surprisingly, it turns out that mean porous measure… ▽ More We prove that the packing dimension of any mean porous Radon measure on $\mathbb R^d$ may be estimated from above by a function which depends on mean porosity. The upper bound tends to $d-1$ as mean porosity tends to its maximum value. This result was stated in \cite{BS}, and in a weaker form in \cite{JJ1}, but the proofs are not correct. Quite surprisingly, it turns out that mean porous measures are not necessarily approximable by mean porous sets. We verify this by constructing an example of a mean porous measure $μ$ on $\mathbb R$ such that $μ(A)=0$ for all mean porous sets $A\subset\mathbb R$. △ Less

Submitted 25 May, 2009; v1 submitted 16 May, 2007; originally announced May 2007.

Comments: Revised version

MSC Class: 28A75; 28A80

Journal ref: J. Lond. Math. Soc. 80 (2009), no. 2, 514-530