BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Richárd Balka

Richárd Balka contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CAmath.GNmath.PR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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&#39;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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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ć&#39;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.

0 citations0 reviewsNo code linkedOpen access
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ć&#39;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.

0 citations0 reviewsNo code linkedOpen access
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ć&#39;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.

0 citations0 reviewsNo code linkedOpen access