Showing 1–20 of 20 results for author: Järvenpää, E

Hitting Probabilities and the Ekstr{ö}m-Persson conjecture

Authors: Esa Järvenpää, Markus Myllyoja, Stéphane Seuret

Abstract: We consider the Ekst\''om-Persson conjecture concerning the value of the Hausdorff dimension of random covering sets formed by balls with radii $(k^{-α})_{k=1}^\infty$ and centres chosen independently at random according to an arbitrary Borel probability measure $μ$ on $\mathbb{R}^d$. The conjecture has been solved positively in the case $\frac 1α\le \overline{\dim}_H μ$, where… ▽ More We consider the Ekst\''om-Persson conjecture concerning the value of the Hausdorff dimension of random covering sets formed by balls with radii $(k^{-α})_{k=1}^\infty$ and centres chosen independently at random according to an arbitrary Borel probability measure $μ$ on $\mathbb{R}^d$. The conjecture has been solved positively in the case $\frac 1α\le \overline{\dim}_H μ$, where $\overline{\dim}_H μ$ stands for the upper Hausdorff dimension of $μ$. In this paper, we develop a new approach in order to answer the full conjecture, proving in particular that the conjectured value is only a lower bound for the dimension. Our approach opens the way to study more general limsup sets, and has consequences on the so-called hitting probability questions. For instance, we are able to determine whether and what part of a deterministic analytic set can be hit by random covering sets formed by open sets. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Ekström-Persson conjecture regarding random covering sets

Authors: Esa Järvenpää, Maarit Järvenpää, Markus Myllyoja, Örjan Stenflo

Abstract: We consider the Hausdorff dimension of random covering sets generated by balls and general measures in Euclidean spaces. We prove, for a certain parameter range, a conjecture by Ekström and Persson concerning the exact value of the dimension in the special case of radii $(n^{-α})_{n=1}^\infty$. For generating balls with an arbitrary sequence of radii, we find sharp bounds for the dimension and sho… ▽ More We consider the Hausdorff dimension of random covering sets generated by balls and general measures in Euclidean spaces. We prove, for a certain parameter range, a conjecture by Ekström and Persson concerning the exact value of the dimension in the special case of radii $(n^{-α})_{n=1}^\infty$. For generating balls with an arbitrary sequence of radii, we find sharp bounds for the dimension and show that the natural extension of the Ekström-Persson conjecture is not true in this case. Finally, we construct examples demonstrating that there does not exist a dimension formula involving only the lower and upper local dimensions of the measure and a critical parameter determined by the sequence of radii. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: 25 pages, 1 figure

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

Fractal percolation is unrectifiable

Authors: Zoltán Buczolich, Esa Järvenpää, Maarit Järvenpää, Tamás Keleti, Tuomas Pöyhtäri

Abstract: We show that there exists $0<α_0<1$ (depending on the parameters) such that the fractal percolation is almost surely purely $α$-unrectifiable for all $α>α_0$. We show that there exists $0<α_0<1$ (depending on the parameters) such that the fractal percolation is almost surely purely $α$-unrectifiable for all $α>α_0$. △ Less

Submitted 30 March, 2021; v1 submitted 25 October, 2019; originally announced October 2019.

Comments: After the referee's report a restructured more readable version

MSC Class: 28A80; 60J80

Hausdorff dimension of limsup sets of rectangles in the Heisenberg group

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

Abstract: The almost sure value of the Hausdorff dimension of limsup sets generated by randomly distributed rectangles in the Heisenberg group is computed in terms of directed singular value functions. The almost sure value of the Hausdorff dimension of limsup sets generated by randomly distributed rectangles in the Heisenberg group is computed in terms of directed singular value functions. △ Less

Submitted 2 February, 2019; v1 submitted 27 April, 2018; originally announced April 2018.

Comments: 21 pages

MSC Class: 28A80; 60D05

Journal ref: Math. Scand., 126(2), 2020, pp 229--255

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

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

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

Porosities of Mandelbrot Percolation

Authors: Artemi Berlinkov, Esa Järvenpää

Abstract: We study porosities in the Mandelbrot percolation process. We show that, almost surely at almost all points with respect to the natural measure, the mean porosities of the set and the natural measure exist and are equal to each other for all parameter values outside of a countable exceptional set. As a corollary, we obtain that, almost surely at almost all points, the lower porosities of the set a… ▽ More We study porosities in the Mandelbrot percolation process. We show that, almost surely at almost all points with respect to the natural measure, the mean porosities of the set and the natural measure exist and are equal to each other for all parameter values outside of a countable exceptional set. As a corollary, we obtain that, almost surely at almost all points, the lower porosities of the set and the natural measure are equal to zero, whereas the upper porosities obtain their maximum values. △ Less

Submitted 28 June, 2016; originally announced June 2016.

MSC Class: 28A80; 37A50; 60D05; 60J80

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

Random affine code tree fractals: Hausdorff and affinity dimensions and pressure

Authors: Esa Järvenpää, Maarit Järvenpää, Meng Wu, Wen Wu

Abstract: We prove that for random affine code tree fractals the affinity dimension is almost surely equal to the unique zero of the pressure function. As a consequence, we show that the Hausdorff, packing and box counting dimensions of such systems are equal to the zero of the pressure. In particular, we do not presume the validity of the Falconer-Sloan condition or any other additional assumptions which h… ▽ More We prove that for random affine code tree fractals the affinity dimension is almost surely equal to the unique zero of the pressure function. As a consequence, we show that the Hausdorff, packing and box counting dimensions of such systems are equal to the zero of the pressure. In particular, we do not presume the validity of the Falconer-Sloan condition or any other additional assumptions which have been essential in all the previously known results. △ Less

Submitted 9 October, 2015; originally announced October 2015.

Comments: 16 pages, 2 figures

MSC Class: 37C45; 28A80; 15A45

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.

Random affine code tree fractals and Falconer-Sloan condition

Authors: Esa Järvenpää, Maarit Järvenpää, Bing Li, Örjan Stenflo

Abstract: We calculate the almost sure dimension for a general class of random affine code tree fractals in $\mathbb R^d$. The result is based on a probabilistic version of the Falconer-Sloan condition $C(s)$ introduced in \cite{FS}. We verify that, in general, systems having a small number of maps do not satisfy condition $C(s)$. However, there exists a natural number $n$ such that for typical systems the… ▽ More We calculate the almost sure dimension for a general class of random affine code tree fractals in $\mathbb R^d$. The result is based on a probabilistic version of the Falconer-Sloan condition $C(s)$ introduced in \cite{FS}. We verify that, in general, systems having a small number of maps do not satisfy condition $C(s)$. However, there exists a natural number $n$ such that for typical systems the family of all iterates up to level $n$ satisfies condition $C(s)$. △ Less

Submitted 16 September, 2014; v1 submitted 9 April, 2014; originally announced April 2014.

Comments: 19 pages

MSC Class: 37C45; 28A80; 15A45

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

Hausdorff dimension and non-degenerate families of projections

Authors: Esa Järvenpää, Maarit Järvenpää, Tamás Keleti

Abstract: We study parametrized families of orthogonal projections for which the dimension of the parameter space is strictly less than that of the Grassmann manifold. We answer the natural question of how much the Hausdorff dimension may decrease by verifying the best possible lower bound for the dimension of almost all projections of a finite measure. We also show that a similar result is valid for smooth… ▽ More We study parametrized families of orthogonal projections for which the dimension of the parameter space is strictly less than that of the Grassmann manifold. We answer the natural question of how much the Hausdorff dimension may decrease by verifying the best possible lower bound for the dimension of almost all projections of a finite measure. We also show that a similar result is valid for smooth families of maps from $n$-dimensional Euclidean space to $m$-dimensional one. △ Less

Submitted 23 March, 2012; originally announced March 2012.

MSC Class: 28A80; 37C45

Journal ref: J Geom Anal 24 (2014), 2020-2034

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

Besicovitch-Federer projection theorem and geodesic flows on Riemann surfaces

Authors: Risto Hovila, Esa Järvenpää, Maarit Järvenpää, François Ledrappier

Abstract: We extend the Besicovitch-Federer projection theorem to transversal families of mappings. As an application we show that on a certain class of Riemann surfaces with constant negative curvature and with boundary, there exist natural 2-dimensional measures invariant under the geodesic flow having 2-dimensional supports such that their projections to the base manifold are 2-dimensional but the suppor… ▽ More We extend the Besicovitch-Federer projection theorem to transversal families of mappings. As an application we show that on a certain class of Riemann surfaces with constant negative curvature and with boundary, there exist natural 2-dimensional measures invariant under the geodesic flow having 2-dimensional supports such that their projections to the base manifold are 2-dimensional but the supports of the projections are Lebesgue negligible. In particular, the union of complete geodesics has Hausdorff dimension 2 and is Lebesgue negligible. △ Less

Submitted 12 December, 2012; v1 submitted 18 April, 2011; originally announced April 2011.

Comments: 12 pages

MSC Class: 28A80; 37C45; 53D25; 37D20

Singularity of projections of 2-dimensional measures invariant under the geodesic flow

Authors: Risto Hovila, Esa Järvenpää, Maarit Järvenpää, François Ledrappier

Abstract: We show that on any compact Riemann surface with variable negative curvature there exists a measure which is invariant and ergodic under the geodesic flow and whose projection to the base manifold is 2-dimensional and singular with respect to the 2-dimensional Lebesgue measure. We show that on any compact Riemann surface with variable negative curvature there exists a measure which is invariant and ergodic under the geodesic flow and whose projection to the base manifold is 2-dimensional and singular with respect to the 2-dimensional Lebesgue measure. △ Less

Submitted 14 April, 2011; originally announced April 2011.

Comments: 12 pages

MSC Class: 37C45; 53D25; 37D20; 28A80

Visible parts of fractal percolation

Authors: I. Arhosalo, E. Järvenpää, M. Järvenpää, M. Rams, P. Shmerkin

Abstract: We study dimensional properties of visible parts of fractal percolation in the plane. Provided that the dimension of the fractal percolation is at least 1, we show that, conditioned on non-extinction, almost surely all visible parts from lines are 1-dimensional. Furthermore, almost all of them have positive and finite Hausdorff measure. We also verify analogous results for visible parts from poi… ▽ More We study dimensional properties of visible parts of fractal percolation in the plane. Provided that the dimension of the fractal percolation is at least 1, we show that, conditioned on non-extinction, almost surely all visible parts from lines are 1-dimensional. Furthermore, almost all of them have positive and finite Hausdorff measure. We also verify analogous results for visible parts from points. These results are motivated by an open problem on the dimensions of visible parts. △ Less

Submitted 19 November, 2009; originally announced November 2009.

Comments: 22 pages, 3 figures

MSC Class: 28A80

Journal ref: Proc. Edinb. Math. Soc. (2) 55 (2012), no. 2, 311--331

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