Source author record

Károly Simon

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DS math.PR math.CA math.MG

Catalog footprint

Research overview

14works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Dimension and measure of sums of planar sets and curves

Considerable attention has been given to the study of the arithmetic sum of two planar sets. We focus on understanding the measure and dimension of $A+Γ:=\left\{a+v:a\in A, v\in Γ\right\}$ when $A\subset \mathbb{R}^2$ and $Γ$ is a piecewise $\mathcal{C}^2$ curve. Assuming $Γ$ has non-vanishing curvature, we verify that (a) if $\dim_{\rm H} A \leq 1$ , then $\dim_{\rm H} (A+Γ)=\dim_{\rm H} A +1$ , where $\dim_{\rm H}$ denotes the Hausdorff dimension; (b) if $\dim_{\rm H} A>1$ , then $Leb_2(A+Γ)>0$ , where $Leb_2$ denotes the $2$ -dimensional Lebesgue measure; (c) if $\dim_{\rm H} A=1$ and $H^1(A) < \infty$ , then $Leb_2(A+Γ)=0$ if and only if $A$ is an irregular (purely unrectifiable) $1$ -set. Here, $H^1$ denotes the $1$ -dimensional Hausdorff measure. Items (a) and (b) follow from previous works of Wolff and Oberlin using Fourier analysis. In this article, we develop an approach using nonlinear projection theory which gives new proofs of (a) and (b) and the first proof of (c). Item (c) has a number of consequences: if a circle is thrown randomly on the plane, it will almost surely not intersect the four corner Cantor set. Moreover, the pinned distance set of an irregular $1$ -set has $1$ -dimensional Lebesgue measure equal to zero at almost every pin $t\in \mathbb{R}^2$ .

preprint2022arXiv

Projections of the random Menger sponge

Using a similar random process to the one which yields the fractal percolation sets, starting from the deterministic Menger sponge we get the random Menger sponge. We examine its orthogonal projections from the point of Hausdorff dimension, Lebesgue measure and existence of interior points. We obtain these results as special cases of our theorems stated for random self-similar IFSs. These are obatained by a random process similar to the fractal percolation, applied for the cylinder sets of a deterministic self-similar IFS, as in arXiv:1212.1345. In this paper the associated deterministic IFS on the line is of the special form $\mathcal{S}=\left\{\frac{1}{L}x+t_i \right\} _{i=1}^{m}$ , where $L\in\mathbb{N}$ , $L\geq 2$ and $t_i\in\mathbb{Q}$ .

preprint2022arXiv

Typical absolute continuity for classes of dynamically defined measures

We consider one-parameter families of smooth uniformly contractive iterated function systems $\{f^λ_j\}$ on the real line. Given a family of parameter dependent measures $\{μ_λ\}$ on the symbolic space, we study geometric and dimensional properties of their images under the natural projection maps $Π^λ$ . The main novelty of our work is that the measures $μ_λ$ depend on the parameter, whereas up till now it has been usually assumed that the measure on the symbolic space is fixed and the parameter dependence comes only from the natural projection. This is especially the case in the question of absolute continuity of the projected measure $(Π^λ)_*μ_λ$ , where we had to develop a new approach in place of earlier attempt which contains an error. Our main result states that if $μ_λ$ are Gibbs measures for a family of Hölder continuous potentials $ϕ^λ$ , with Hölder continuous dependence on $λ$ and $\{Π^λ\}$ satisfy the transversality condition, then the projected measure $(Π^λ)_*μ_λ$ is absolutely continuous for Lebesgue a.e.\ $λ$ , such that the ratio of entropy over the Lyapunov exponent is strictly greater than $1$ . We deduce it from a more general almost sure lower bound on the Sobolev dimension for families of measures with regular enough dependence on the parameter. Under less restrictive assumptions, we also obtain an almost sure formula for the Hausdorff dimension. As applications of our results, we study stationary measures for iterated function systems with place-dependent probabilities (place-dependent Bernoulli convolutions and the Blackwell measure for binary channel) and equilibrium measures for hyperbolic IFS with overlaps (in particular: natural measures for non-homogeneous self-similar IFS and certain systems corresponding to random continued fractions).

preprint2020arXiv

Dimension estimates for $C^1$ iterated function systems and repellers. Part I

This is the first article in a two-part series containing some results on dimension estimates for $C^1$ iterated function systems and repellers. In this part, we prove that the upper box-counting dimension of the attractor of any $C^1$ iterated function system (IFS) on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of any ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Similar results are obtained for the repellers for $C^1$ expanding maps on Riemannian manifolds.

preprint2020arXiv

Dimension of the repeller for a piecewise expanding affine map

In this paper, we study the dimension theory of a class of piecewise affine systems in euclidean spaces suggested by Michael Barnsley, with some applications to the fractal image compression. It is a more general version of the class considered in the work of Keane, Simon and Solomyak [The dimension of graph directed attractors with overlaps on the line, with an application to a problem in fractal image recognition. {\it Fund. Math.}, {\bf 180}(3):279-292, 2003] and can be considered as the continuation of the works [On the dimension of self-affine sets and measures with overlaps. {\it Proc. Amer. Math. Soc.}, {\bf 144}(10):4427-4440, 2016], [On the dimension of triangular self-affine sets. {\it Erg. Th. \& Dynam. Sys.}, to appear.] by the authors. We also present some applications of our results for the generalized Takagi functions and fractal interpolation functions.

preprint2020arXiv

Projections of Mandelbrot percolation in higher dimensions

We consider fractal percolation (or Mandelbrot percolation) which is one of the most well studied example of random Cantor sets. Rams and the first author studied the projections (orthogonal, radial and co-radial) of fractal percolation sets on the plane. We extend their results to higher dimension.

preprint2016arXiv

On the dimension of triangular self-affine sets

As a continuation of a recent work of the same authors (arXiv:1504.07138), in this note we study the dimension theory of diagonally homogeneous triangular planar self-affine IFS.

preprint2016arXiv

Projections of Fractal percolation constructed with inhomogeneous probabilities

In this paper we consider fractal percolation random Cantor sets $E$ on the plane constructed with non-homogeneous probabilities. We focus on the case when the probabilities are large enough to guarantee that the almost sure dimension of $E$ is greater than $1$ . Under this assumption in the case of homogeneous (equal) probabilities it was proved by Rams and the first author that the orthogonal projection of $E$ contains an interval simultaneously in all directions. Moreover, Peres and Rams proved the stronger result that the orthogonal projection of the natural measure on $E$ to every line is absolutely continuous with Hölder-continuous density. We point out that in the case of non-homogeneous probabilities neither of the two previous assertions remain valid. However, we also prove that in the non-homogeneous case every line whose tangent is neither a rational nor a Liouville number is non-exceptional. That is, almost surely for all of these directions the projection of $E$ contains some interval and the projection of the natural measure has Hölder-continuous density.

preprint2013arXiv

Projections of fractal percolations

In this paper we study the radial and orthogonal projections and the distance sets of the random Cantor sets $E\subset \mathbb{R}^2$ which are called Mandelbrot percolation or percolation fractals. We prove that the following assertion holds almost surely: if the Hausdorff dimension of $E$ is greater than 1 then the orthogonal projection to \textbf{every} line, the radial projection with \textbf{every} center, and distance set from \textbf{every} point contain intervals.

preprint2013arXiv

Slicing the Sierpiński gasket

We investigate the dimension of intersections of the Sierpiński gasket with lines. Our first main result describes a countable, dense set of angles that are exceptional for Marstrand's theorem. We then provide a multifractal analysis for the set of points in the projection for which the associated slice has a prescribed dimension.

preprint2013arXiv

The dimension of projections of fractal percolations

\emph{Fractal percolation} or \emph{Mandelbrot percolation} is one of the most well studied families of random fractals. In this paper we study some of the geometric measure theoretical properties (dimension of projections and structure of slices) of these random sets. Although random, the geometry of those sets is quite regular. Our results imply that, denoting by $E\subset \mathbb{R}^2$ a typical realization of the fractal percolation on the plane, {itemize} If $\dim_{\rm H}E<1$ then for \textbf{all}lines $\ell$ the orthogonal projection $E_\ell$ of $E$ to $\ell$ has the same Hausdorff dimension as $E$ , If $\dim_{\rm H}E>1$ then for any smooth real valued function $f$ which is strictly increasing in both coordinates, the image $f(E)$ contains an interval. {itemize} The second statement is quite interesting considering the fact that $E$ is almost surely a Cantor set (a {\it random dust}) for a large part of the parameter domain, see \cite{Chayes1988}. Finally, we solve a related problem about the existence of an interval in the algebraic sum of $d\geq 2$ one-dimensional fractal percolations.

preprint2013arXiv

The geometry of fractal percolation

A well studied family of random fractals called fractal percolation is discussed. We focus on the projections of fractal percolation on the plane. Our goal is to present stronger versions of the classical Marstrand theorem, valid for almost every realization of fractal percolation. The extensions go in three directions: {itemize} the statements work for all directions, not almost all, the statements are true for more general projections, for example radial projections onto a circle, in the case $\dim_H >1$ , each projection has not only positive Lebesgue measure but also has nonempty interior. {itemize}

preprint2011arXiv

The algebraic difference of two random Cantor sets: The Larsson family

In this paper, we consider a family of random Cantor sets on the line and consider the question of whether the condition that the sum of the Hausdorff dimensions is larger than one implies the existence of interior points in the difference set of two independent copies. We give a new and complete proof that this is the case for the random Cantor sets introduced by Per Larsson.

preprint2005arXiv

Visibility for self-similar sets of dimension one in the plane

We prove that a purely unrectifiable self-similar set of finite 1-dimensional Hausdorff measure in the plane, satisfying the Open Set Condition, has radial projection of zero length from every point.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Károly Simon

Research overview

Is this your work?

14 publications

Dimension and measure of sums of planar sets and curves

Projections of the random Menger sponge

Typical absolute continuity for classes of dynamically defined measures

Dimension estimates for $C^1$ iterated function systems and repellers. Part I

Dimension of the repeller for a piecewise expanding affine map

Projections of Mandelbrot percolation in higher dimensions

On the dimension of triangular self-affine sets

Projections of Fractal percolation constructed with inhomogeneous probabilities

Projections of fractal percolations

Slicing the Sierpiński gasket

The dimension of projections of fractal percolations

The geometry of fractal percolation

The algebraic difference of two random Cantor sets: The Larsson family

Visibility for self-similar sets of dimension one in the plane

See the researcher in context

Building this map preview

Károly Simon

Research overview

Is this your work?

14 publications

Dimension and measure of sums of planar sets and curves

Projections of the random Menger sponge

Typical absolute continuity for classes of dynamically defined measures

Dimension estimates for C1C^1C1 iterated function systems and repellers. Part I

Dimension of the repeller for a piecewise expanding affine map

Projections of Mandelbrot percolation in higher dimensions

On the dimension of triangular self-affine sets

Projections of Fractal percolation constructed with inhomogeneous probabilities

Projections of fractal percolations

Slicing the Sierpiński gasket

The dimension of projections of fractal percolations

The geometry of fractal percolation

The algebraic difference of two random Cantor sets: The Larsson family

Visibility for self-similar sets of dimension one in the plane

See the researcher in context

Building this map preview

Dimension estimates for $C^1$ iterated function systems and repellers. Part I