BZPEER

preprint2016arXiv

Bruckner--Garg-type results with respect to Haar null sets in $C[0,1]$

A set $\mathcal{A}\subset C[0,1]$ is \emph{shy} or \emph{Haar null } (in the sense of Christensen) if there exists a Borel set $\mathcal{B}\subset C[0,1]$ and a Borel probability measure $μ$ on $C[0,1]$ such that $\mathcal{A}\subset \mathcal{B}$ and $μ\left(\mathcal{B}+f\right) = 0$ for all $f \in C[0,1]$ . The complement of a shy set is called a \emph{prevalent} set. We say that a set is \emph{Haar ambivalent} if it is neither shy nor prevalent. The main goal of the paper is to answer the following question: What can we say about the topological properties of the level sets of the prevalent/non-shy many $f\in C[0,1]$ ? The classical Bruckner--Garg Theorem characterizes the level sets of the generic (in the sense of Baire category) $f\in C[0,1]$ from the topological point of view. We prove that the functions $f\in C[0,1]$ for which the same characterization holds form a Haar ambivalent set. In an earlier paper we proved that the functions $f\in C[0,1]$ for which positively many level sets with respect to the Lebesgue measure $λ$ are singletons form a non-shy set in $C[0,1]$ . The above result yields that this set is actually Haar ambivalent. Now we prove that the functions $f\in C[0,1]$ for which positively many level sets with respect to the occupation measure $λ\circ f^{-1}$ are not perfect form a Haar ambivalent set in $C[0,1]$ . We show that for the prevalent $f\in C[0,1]$ for the generic $y\in f([0,1])$ the level set $f^{-1}(y)$ is perfect. Finally, we answer a question of Darji and White by showing that the set of functions $f \in C[0,1]$ for which there exists a perfect $P_f\subset [0,1]$ such that $f'(x) = \infty$ for all $x \in P_f$ is Haar ambivalent.

preprint2016arXiv

Increasing subsequences of random walks

Given a sequence of $n$ real numbers $\{S_i\}_{i\leq n}$ , we consider the longest weakly increasing subsequence, namely $i_1<i_2<\dots <i_L$ with $S_{i_k} \leq S_{i_{k+1}}$ and $L$ maximal. When the elements $S_i$ are i.i.d. uniform random variables, Vershik and Kerov, and Logan and Shepp proved that $\mathbb{E} L=(2+o(1)) \sqrt{n}$ . We consider the case when $\{S_i\}_{i\leq n}$ is a random walk on $\mathbb{R}$ with increments of mean zero and finite (positive) variance. In this case, it is well known (e.g., using record times) that the length of the longest increasing subsequence satisfies $\mathbb{E} L\geq c\sqrt{n}$ . Our main result is an upper bound $\mathbb{E} L\leq n^{1/2 + o(1)}$ , establishing the leading asymptotic behavior. If $\{S_i\}_{i\leq n}$ is a simple random walk on $\mathbb{Z}$ , we improve the lower bound by showing that $\mathbb{E} L \geq c\sqrt{n} \log{n}$ . We also show that if $\{\mathbf{S}_i\}$ is a simple random walk in $\mathbb{Z}^2$ , then there is a subsequence of $\{\mathbf{S}_i\}_{i\leq n}$ of expected length at least $cn^{1/3}$ that is increasing in each coordinate. The above one-dimensional result yields an upper bound of $n^{1/2 + o(1)}$ . The problem of determining the correct exponent remains open.

preprint2016arXiv

Restrictions of Hölder continuous functions

For $0<α<1$ let $V(α)$ denote the supremum of the numbers $v$ such that every $α$ -Hölder continuous function is of bounded variation on a set of Hausdorff dimension $v$ . Kahane and Katznelson (2009) proved the estimate $1/2 \leq V(α)\leq 1/(2-α)$ and asked whether the upper bound is sharp. We show that in fact $V(α)=\max\{1/2,α\}$ . Let $\dim_{H}$ and $\overline{\dim}_{M}$ denote the Hausdorff and upper Minkowski dimension, respectively. The upper bound on $V(α)$ is a consequence of the following theorem. Let $\{B(t): t\in [0,1]\}$ be a fractional Brownian motion of Hurst index $α$ . Then, almost surely, there exists no set $A\subset [0,1]$ such that $\overline{\dim}_{M} A>\max\{1-α,α\}$ and $B\colon A\to \mathbb{R}$ is of bounded variation. Furthermore, almost surely, there exists no set $A\subset [0,1]$ such that $\overline{\dim}_{M} A>1-α$ and $B\colon A\to \mathbb{R}$ is $β$ -Hölder continuous for some $β>α$ . The zero set and the set of record times of $B$ witness that the above theorems give the optimal dimensions. We also prove similar restriction theorems for deterministic self-affine functions and generic $α$ -Hölder continuous functions. Finally, let $\{\mathbf{B}(t): t\in [0,1]\}$ be a two-dimensional Brownian motion. We prove that, almost surely, there is a compact set $D\subset [0,1]$ such that $\dim_{H} D\geq 1/3$ and $\mathbf{B}\colon D\to \mathbb{R}^2$ is non-decreasing in each coordinate. It remains open whether $1/3$ is best possible.

preprint2015arXiv

A new fractal dimension: The topological Hausdorff dimension

We introduce a new concept of dimension for metric spaces, the so-called topological Hausdorff dimension. It is defined by a very natural combination of the definitions of the topological dimension and the Hausdorff dimension. The value of the topological Hausdorff dimension is always between the topological dimension and the Hausdorff dimension, in particular, this new dimension is a non-trivial lower estimate for the Hausdorff dimension. We examine the basic properties of this new notion of dimension, compare it to other well-known notions, determine its value for some classical fractals such as the Sierpinski carpet, the von Koch snowflake curve, Kakeya sets, the trail of the Brownian motion, etc. As our first application, we generalize the celebrated result of Chayes, Chayes and Durrett about the phase transition of the connectedness of the limit set of Mandelbrot's fractal percolation process. They proved that certain curves show up in the limit set when passing a critical probability, and we prove that actually `thick' families of curves show up, where roughly speaking the word thick means that the curves can be parametrized in a natural way by a set of large Hausdorff dimension. The proof of this is basically a lower estimate of the topological Hausdorff dimension of the limit set. For the sake of completeness, we also give an upper estimate and conclude that in the non-trivial cases the topological Hausdorff dimension is almost surely strictly below the Hausdorff dimension. Finally, as our second application, we show that the topological Hausdorff dimension is precisely the right notion to describe the Hausdorff dimension of the level sets of the generic continuous function (in the sense of Baire category) defined on a compact metric space.

preprint2015arXiv

Dimensions of graphs of prevalent continuous maps

Let $K$ be an uncountable compact metric space and let $C(K,\mathbb{R}^d)$ denote the set of continuous maps $f\colon K \to \mathbb{R}^d$ endowed with the maximum norm. The goal of this paper is to determine various fractal dimensions of the graph of the prevalent $f\in C(K,\mathbb{R}^d)$ . As the main result of the paper we show that if $K$ has finitely many isolated points then the lower and upper box dimension of the graph of the prevalent $f\in C(K,\mathbb{R}^d)$ are $\underline{\dim}_B K+d$ and $\overline{\dim}_B K+d$ , respectively. This generalizes a theorem of Gruslys, Jonušas, Mijovic, Ng, Olsen, and Petrykiewicz. We prove that the graph of the prevalent $f\in C(K,\mathbb{R}^d)$ has packing dimension $\dim_P K+d$ , generalizing a result of Balka, Darji, and Elekes. Balka, Darji, and Elekes proved that the Hausdorff dimension of the graph of the prevalent $f\in C(K,\mathbb{R}^d)$ equals $\dim_H K+d$ . We give a simpler proof for this statement based on a method of Fraser and Hyde.

preprint2015arXiv

Hausdorff and packing dimension of fibers and graphs of prevalent continuous maps

The notions of shyness and prevalence generalize the property of being zero and full Haar measure to arbitrary (not necessarily locally compact) Polish groups. The main goal of the paper is to answer the following question: What can we say about the Hausdorff and packing dimension of the fibers of prevalent continuous maps? Let $K$ be an uncountable compact metric space. We prove that the prevalent $f\in C(K,\mathbb{R}^d)$ has many fibers with almost maximal Hausdorff dimension. This generalizes a theorem of Dougherty and yields that the prevalent $f\in C(K,\mathbb{R}^d)$ has graph of maximal Hausdorff dimension, generalizing a result of Bayart and Heurteaux. We obtain similar results for the packing dimension. We show that for the prevalent $f\in C([0,1]^m,\mathbb{R}^d)$ the set of $y\in f([0,1]^m)$ for which $\dim_H f^{-1}(y)=m$ contains a dense open set having full measure with respect to the occupation measure $λ^m \circ f^{-1}$ , where $\dim_H$ and $λ^m$ denote the Hausdorff dimension and the $m$ -dimensional Lebesgue measure, respectively. We also prove an analogous result when $[0,1]^m$ is replaced by any self-similar set satisfying the open set condition. We cannot replace the occupation measure with Lebesgue measure in the above statement: We show that the functions $f\in C[0,1]$ for which positively many level sets are singletons form a non-shy set in $C[0,1]$ . In order to do so, we generalize a theorem of Antunović, Burdzy, Peres and Ruscher. As a complementary result we prove that the functions $f\in C[0,1]$ for which $\dim_H f^{-1}(y)=1$ for all $y\in (\min f,\max f)$ form a non-shy set in $C[0,1]$ . We also prove sharper results in which large Hausdorff dimension is replaced by positive measure with respect to generalized Hausdorff measures, which answers a problem of Fraser and Hyde.

preprint2014arXiv

Inductive topological Hausdorff dimensions and fibers of generic continuous functions

In an earlier paper Buczolich, Elekes and the author introduced a new concept of dimension for metric spaces, the so called topological Hausdorff dimension. They proved that it is precisely the right notion to describe the Hausdorff dimension of the level sets of the generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space $K$ . The goal of this paper is to determine the Hausdorff dimension of the fibers of the generic continuous function from $K$ to $\mathbb{R}^n$ . In order to do so, we define the $n$ th inductive topological Hausdorff dimension, $\dim_{t^nH} K$ . Let $\dim_H K$ , $\dim_t K$ and $C_n(K)$ denote the Hausdorff and topological dimension of $K$ and the Banach space of the continuous functions from $K$ to $\mathbb{R}^n$ . We show that $\sup_{y\in \mathbb{R}^n} \dim_{H}f^{-1}(y) = \dim_{t^nH} K -n$ for the generic $f \in C_n(K)$ , provided that $\dim_t K\geq n$ , otherwise every fiber is finite. In order to prove the above theorem we give some equivalent definitions for the inductive topological Hausdorff dimensions, which can be interesting in their own right. Here we use techniques coming from the theory of topological dimension. We show that the supremum is actually attained on the left hand side of the above equation. We characterize those compact metric spaces $K$ for which $\dim_{H} f^{-1}(y)=\dim_{t^nH}K-n$ for the generic $f\in C_n(K)$ and the generic $y\in f(K)$ . We also generalize a result of Kirchheim by showing that if $K$ is self-similar and $\dim_t K\geq n$ then $\dim_{H} f^{-1}(y)=\dim_{t^nH}K-n$ for the generic $f\in C_n(K)$ for every $y\in \inter f(K)$.

preprint2014arXiv

Metric spaces admitting only trivial weak contractions

If $(X,d)$ is a metric space then the map $f\colon X\to X$ is defined to be a weak contraction if $d(f(x),f(y))<d(x,y)$ for all $x,y\in X$ , $x\neq y$ . We determine the simplest non-closed sets $X\subseteq \mathbb{R}^n$ in the sense of descriptive set theoretic complexity such that every weak contraction $f\colon X\to X$ is constant. In order to do so, we prove that there exists a non-closed $F_σ$ set $F\subseteq \mathbb{R}$ such that every weak contraction $f\colon F\to F$ is constant. Similarly, there exists a non-closed $G_δ$ set $G\subseteq \mathbb{R}$ such that every weak contraction $f\colon G\to G$ is constant. These answer questions of M. Elekes. We use measure theoretic methods, first of all the concept of generalized Hausdorff measure.

preprint2014arXiv

Restrictions of Brownian motion

Let $\{ B(t) \colon 0\leq t\leq 1\}$ be a linear Brownian motion and let $\dim$ denote the Hausdorff dimension. Let $α>\frac12$ and $1\leq β\leq 2$ . We prove that, almost surely, there exists no set $A\subset[0,1]$ such that $\dim A>\frac12$ and $B\colon A\to\mathbb{R}$ is $α$ -Hölder continuous. The proof is an application of Kaufman's dimension doubling theorem. As a corollary of the above theorem, we show that, almost surely, there exists no set $A\subset[0,1]$ such that $\dim A>\fracβ{2}$ and $B\colon A\to\mathbb{R}$ has finite $β$ -variation. The zero set of $B$ and a deterministic construction witness that the above theorems give the optimal dimensions.

preprint2013arXiv

Answer to a question of Kolmogorov

More than 80 years ago Kolmogorov asked the following question. Let $E\subseteq \mathbb{R}^{2}$ be a measurable set with $λ^{2}(E)<\infty$ , where $λ^2$ denotes the two-dimensional Lebesgue measure. Does there exist for every $\varepsilon>0$ a contraction $f\colon E\to \mathbb{R}^{2}$ such that $λ^{2}(f(E))\geq λ^{2}(E)-\varepsilon$ and $f(E)$ is a polygon? We answer this question in the negative by constructing a bounded, simply connected open counterexample. Our construction can easily be modified to yield the analogous result in higher dimensions.

preprint2013arXiv

Generalized Hausdorff measure for generic compact sets

Let $X$ be a Polish space. We prove that the generic compact set $K\subseteq X$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<\mathcal{H}^{h}(K)<\infty$ , where $\mathcal{H}^h$ denotes the $h$ -Hausdorff measure. This answers a question of C. Cabrelli, U. B. Darji, and U. M. Molter. Moreover, for every weak contraction $f\colon K\to X$ we have $\mathcal{H}^{h} (K\cap f(K))=0$ . This is a measure theoretic analogue of a result of M. Elekes.

preprint2012arXiv

Duality between measure and category in uncountable locally compact abelian Polish groups

We show that there is no addition preserving Erdős-Sierpiński mapping on any uncountable locally compact abelian Polish group. This generalizes results of Bartoszyński and Kysiak.

preprint2012arXiv

Intersection of continua and rectifiable curves

We prove that for any non-degenerate continuum $K \subseteq \mathbb{R}^d$ there exists a rectifiable curve such that its intersection with $K$ has Hausdorff dimension 1. This answers a question of B. Kirchheim.

preprint2011arXiv

Continuous horizontally rigid functions of two variables are affine

Cain, Clark and Rose defined a function $f\colon \RR^n \to \RR$ to be \emph{vertically rigid} if $\graph(cf)$ is isometric to $\graph (f)$ for every $c \neq 0$ . It is \emph{horizontally rigid} if $\graph(f(c \vec{x}))$ is isometric to $\graph (f)$ for every $c \neq 0$ (see \cite{CCR}). In an earlier paper the authors of the present paper settled Janković's conjecture by showing that a continuous function of one variable is vertically rigid if and only if it is of the form $a+bx$ or $a+be^{kx}$ ($a,b,k \in \RR$). Later they proved that a continuous function of two variables is vertically rigid if and only if after a suitable rotation around the z-axis it is of the form $a + bx + dy$ , $a + s(y)e^{kx}$ or $a + be^{kx} + dy$ ($a,b,d,k \in \RR$, $k \neq 0$ , $s : \RR \to \RR$ continuous). The problem remained open in higher dimensions. The characterization in the case of horizontal rigidity is surprisingly simpler. C. Richter proved that a continuous function of one variable is horizontally rigid if and only if it is of the form $a+bx$ ($a,b\in \RR$). The goal of the present paper is to prove that a continuous function of two variables is horizontally rigid if and only if it is of the form $a + bx + dy$ ($a,b,d \in \RR$). This problem also remains open in higher dimensions. The main new ingredient of the present paper is the use of functional equations.

preprint2011arXiv

The structure of continuous rigid functions of two variables

A function $f:\RR^n \to \RR$ is called \emph{vertically rigid} if $graph(cf)$ is isometric to $graph (f)$ for all $c \neq 0$ . We settled Janković's conjecture in a separate paper by showing that a continuous function $f:\RR \to \RR$ is vertically rigid if and only if it is of the form $a+bx$ or $a+be^{kx}$ ($a,b,k \in \RR$). Now we prove that a continuous function $f:\RR^2 \to \RR$ is vertically rigid if and only if after a suitable rotation around the z-axis $f(x,y)$ is of the form $a + bx + dy$ , $a + s(y)e^{kx}$ or $a + be^{kx} + dy$ ($a,b,d,k \in \RR$, $k \neq 0$ , $s : \RR \to \RR$ continuous). The problem remains open in higher dimensions.

preprint2011arXiv

The structure of rigid functions

A function $f:\RR \to \RR$ is called \emph{vertically rigid} if $graph(cf)$ is isometric to $graph (f)$ for all $c \neq 0$ . We prove Janković's conjecture by showing that a continuous function is vertically rigid if and only if it is of the form $a+bx$ or $a+be^{kx}$ ($a,b,k \in \RR$). We answer a question of Cain, Clark and Rose by showing that there exists a Borel measurable vertically rigid function which is not of the above form. We discuss the Lebesgue and Baire measurable case, consider functions bounded on some interval and functions with at least one point of continuity. We also introduce horizontally rigid functions, and show that a certain structure theorem can be proved without assuming any regularity.

Richárd Balka

Research overview

Is this your work?

16 publications

Bruckner--Garg-type results with respect to Haar null sets in $C[0,1]$

Increasing subsequences of random walks

Restrictions of Hölder continuous functions

A new fractal dimension: The topological Hausdorff dimension

Dimensions of graphs of prevalent continuous maps

Hausdorff and packing dimension of fibers and graphs of prevalent continuous maps

Inductive topological Hausdorff dimensions and fibers of generic continuous functions

Metric spaces admitting only trivial weak contractions

Restrictions of Brownian motion

Answer to a question of Kolmogorov

Generalized Hausdorff measure for generic compact sets

Duality between measure and category in uncountable locally compact abelian Polish groups

Intersection of continua and rectifiable curves

Continuous horizontally rigid functions of two variables are affine

The structure of continuous rigid functions of two variables

The structure of rigid functions

See the researcher in context

Building this map preview

Richárd Balka

Research overview

Is this your work?

16 publications

Bruckner--Garg-type results with respect to Haar null sets in C[0,1]C[0,1]C[0,1]

Increasing subsequences of random walks

Restrictions of Hölder continuous functions

A new fractal dimension: The topological Hausdorff dimension

Dimensions of graphs of prevalent continuous maps

Hausdorff and packing dimension of fibers and graphs of prevalent continuous maps

Inductive topological Hausdorff dimensions and fibers of generic continuous functions

Metric spaces admitting only trivial weak contractions

Restrictions of Brownian motion

Answer to a question of Kolmogorov

Generalized Hausdorff measure for generic compact sets

Duality between measure and category in uncountable locally compact abelian Polish groups

Intersection of continua and rectifiable curves

Continuous horizontally rigid functions of two variables are affine

The structure of continuous rigid functions of two variables

The structure of rigid functions

See the researcher in context

Building this map preview

Bruckner--Garg-type results with respect to Haar null sets in $C[0,1]$