Source author record

András Máthé

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

ResearcherUnclaimed source record

math.CA math.MG math.CO math.FA math.GN math.LO math.PR

Catalog footprint

Research overview

11works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Measurable circle squaring

Laczkovich proved that if bounded subsets $A$ and $B$ of $R^k$ have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than $k$ , then there is a partition of $A$ into finitely many parts that can be translated to form a partition of $B$ . Here we show that it can be additionally required that each part is both Baire and Lebesgue measurable. As special cases, this gives measurable and translation-only versions of Tarski's circle squaring and Hilbert's third problem.

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

Measuring sets with translation invariant Borel measures

Following Davies, Elekes and Keleti, we study measured sets, i.e. Borel sets $B$ in $\mathbb{R}$ (or in a Polish group) for which there is a translation invariant Borel measure assigning positive and σ-finite measure to $B$ . We investigate which sets can be written as a (disjoint) union of measured sets. We show that every Borel nullset $B\subset \mathbb{R}$ of the second category is larger than any nullset $A\subset \mathbb{R}$ in the sense that there are partitions $B=B_1\cup B_2$ , $A=A_1\cup A_2$ and gauge functions $g_1, g_2$ such that the Hausdorff measures satisfy $H^{g_i}(B_i)=1$ and $H^{g_i}(A_i)=0$ ( $i=1,2$ ). This implies that every Borel set of the second category is a union of two measured sets. We also present Borel and compact sets in $\mathbb{R}$ which are not a union of countably many measured sets. This is done in two steps. First we show that non-locally compact Polish groups are not a union of countably many measured sets. Then, to certain Banach spaces we associate a Borel and/or σ-compact additive subgroup of $\mathbb{R}$ which is not a union of countably many measured sets. It is also shown that there are measured sets which are null or non-σ-finite for every Hausdorff measure of arbitrary gauge function.

preprint2014arXiv

Measurable equidecompositions via combinatorics and group theory

We give a sketch of proof that any two (Lebesgue) measurable subsets of the unit sphere in $R^n$ , for $n\ge 3$ , with non-empty interiors and of the same measure are equidecomposable using pieces that are measurable.

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

Hausdorff dimension of metric spaces and Lipschitz maps onto cubes

We prove that a compact metric space (or more generally an analytic subset of a complete separable metric space) of Hausdorff dimension bigger than $k$ can be always mapped onto a $k$ -dimensional cube by a Lipschitz map. We also show that this does not hold for arbitrary separable metric spaces. As an application we essentially answer a question of Urbański by showing that the transfinite Hausdorff dimension (introduced by him) of an analytic subset $A$ of a complete separable metric space is the integer part of $\dim_H A$ if $\dim_H A$ is finite but not an integer, $\dim_H A$ or $\dim_H A-1$ if $\dim_H A$ is an integer and at least $ω_0$ if $\dim_H A=\infty$ .

preprint2012arXiv

How large dimension guarantees a given angle?

We study the following two problems: (1) Given $n\ge 2$ and $\al$, how large Hausdorff dimension can a compact set $A\su\Rn$ have if $A$ does not contain three points that form an angle $\al$? (2) Given $\al$ and $\de$, how large Hausdorff dimension can a %compact subset $A$ of a Euclidean space have if $A$ does not contain three points that form an angle in the $\de$-neighborhood of $\al$? An interesting phenomenon is that different angles show different behaviour in the above problems. Apart from the clearly special extreme angles 0 and $180^\circ$ , the angles $60^\circ,90^\circ$ and $120^\circ$ also play special role in problem (2): the maximal dimension is smaller for these special angles than for the other angles. In problem (1) the angle $90^\circ$ seems to behave differently from other angles.

preprint2012arXiv

Reconstructing geometric objects from the measures of their intersections with test sets

Let us say that an element of a given family $\A$ of subsets of $\R^d$ can be reconstructed using $n$ test sets if there exist $T_1,...,T_n \subset \R^d$ such that whenever $A,B\in \A$ and the Lebesgue measures of $A \cap T_i$ and $B \cap T_i$ agree for each $i=1,...,n$ then $A=B$ . Our goal will be to find the least such $n$ . We prove that if $\A$ consists of the translates of a fixed reasonably nice subset of $\R^d$ then this minimum is $n=d$ . In order to obtain this result we reconstruct a translate of a fixed function using $d$ test sets as well, and also prove that under rather mild conditions the measure function $f_{K,θ} (r) = \la^{d-1} (K \cap \{x \in \RR^d : <x,θ> = r\})$ of the sections of $K$ is absolutely continuous for almost every direction $θ$ . These proofs are based on techniques of harmonic analysis. We also show that if $\A$ consists of the magnified copies $rE+t$ $(r\ge 1, t\in\R^d)$ of a fixed reasonably nice set $E\subset \R^d$ , where $d\ge 2$ , then $d+1$ test sets reconstruct an element of $\A$. This fails in $\R$ : we prove that an interval, and even an interval of length at least 1 cannot be reconstructed using 2 test sets. Finally, using randomly constructed test sets, we prove that an element of a reasonably nice $k$ -dimensional family of geometric objects can be reconstructed using $2k+1$ test sets. A example from algebraic topology shows that $2k+1$ is sharp in general.

preprint2012arXiv

Sets of large dimension not containing polynomial configurations

The main result of this paper is the following. Given countably many multivariate polynomials with rational coefficients and maximum degree $d$ , we construct a compact set $E\subset \R^n$ of Hausdorff dimension $n/d$ which does not contain finite point configurations corresponding to the zero sets of the given polynomials. Given a set $E\subset \R^n$ , we study the angles determined by three points of $E$ . The main result implies the existence of a compact set in $\R^n$ of Hausdorff dimension $n/2$ which does not contain the angle $π/2$ . (This is known to be sharp if $n$ is even.) We show that there is a compact set of Hausdorff dimension $n/8$ which does not contain an angle in any given countable set. We also construct a compact set $E\subset \R^n$ of Hausdorff dimension $n/6$ for which the set of angles determined by $E$ is Lebesgue null. In the other direction, we present a result that every set of sufficiently large dimension contains an angle $ε$ close to any given angle.

preprint2011arXiv

Can we assign the Borel hulls in a monotone way?

A \emph{hull} of $A \subset [0,1]$ is a set $H$ containing $A$ such that $λ^*(H)=λ^*(A)$ . We investigate all four versions of the following problem. Does there exist a monotone (wrt. inclusion) map that assigns a Borel/ $G_δ$ hull to every negligible/measurable subset of $[0,1]$ ? Three versions turn out to be independent of ZFC (the usual Zermelo-Fraenkel axioms with the Axiom of Choice), while in the fourth case we only prove that the nonexistence of a monotone $G_δ$ hull operation for all measurable sets is consistent. It remains open whether existence here is also consistent. We also answer a question of Z. Gyenes and D. Pálvölgyi which asks if monotone hulls can be defined for every chain (wrt. inclusion) of measurable sets. We also comment on the problem of hulls of all subsets of $[0,1]$ .

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.

András Máthé

Research overview

Is this your work?

11 publications

Measurable circle squaring

Restrictions of Hölder continuous functions

Measuring sets with translation invariant Borel measures

Measurable equidecompositions via combinatorics and group theory

Answer to a question of Kolmogorov

Generalized Hausdorff measure for generic compact sets

Hausdorff dimension of metric spaces and Lipschitz maps onto cubes

How large dimension guarantees a given angle?

Reconstructing geometric objects from the measures of their intersections with test sets

Sets of large dimension not containing polynomial configurations

Can we assign the Borel hulls in a monotone way?

See the researcher in context

Building this map preview