Showing 1–13 of 13 results for author: Csörnyei, M

On the modulus of continuity of functions whose image has positive measure, and metric embeddings into $\mathbb{R}^d$ without shrinking

Authors: Iqra Altaf, Marianna Csörnyei

Abstract: A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $ω(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has Lebesgue measure zero. Choquet claimed in \cite{Choquet} that this was a full characterization, i.e. for every $ω$ for which $ω(r)/r^2$ converges to $\infty$ as… ▽ More A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $ω(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has Lebesgue measure zero. Choquet claimed in \cite{Choquet} that this was a full characterization, i.e. for every $ω$ for which $ω(r)/r^2$ converges to $\infty$ as $r\to 0$, there is a counterexample. We disprove this by showing that the correct characterization, in $\mathbb{R}^d$, is $\int_{0}^{1} ω(r)^{-1/d}=\infty$. For the precise statement see Theorem 2. We obtain this as a special case of a more general result. We study which spaces $(X,ρ)$ can be embedded into ${\mathbb R}^d$ without decreasing any of the distances in $X$. That is, we ask the question whether there is an $f: X\to {\mathbb R}^d$ such that $\|f(x)-f(y)\|\ge ρ(x,y)$ for every $x,y\in X$. We study this problem for some very general distance functions $ρ$ (we do not even assume that it is a metric space, in particular, we do not assume that $ρ$ satisfies the triangle inequality), and find quantitative necessary and sufficient conditions under which such a mapping exists. We will obtain the characterization mentioned above as a special case of our metric embedding results, by choosing $X$ to be an interval in $\mathbb{R}$, and defining $ρ$ by putting $ρ(x,y)=r$ if $\|x-y\|=ω(r)$. △ Less

Submitted 8 April, 2025; originally announced April 2025.

MSC Class: 28A75; 30L05

Bounding the dimension of exceptional sets for orthogonal projections

Authors: Peter Cholak, Marianna Csornyei, Neil Lutz, Patrick Lutz, Elvira Mayordomo, D. M. Stull

Abstract: It is well known that if $A \subseteq \mathbb{R}^n$ is an analytic set of Hausdorff dimension $a$, then $\dim_H(π_VA)=\min\{a,k\}$ for a.e.\ $V\in G(n,k)$, where $G(n,k)$ denotes the set of all $k$-dimensional subspaces of $\mathbb{R}^n$ and $π_V$ is the orthogonal projection of $A$ onto $V$. In this paper we study how large the exceptional set \begin{equation*} \{V\in G(n,k) \mid \dim_H(π_V A… ▽ More It is well known that if $A \subseteq \mathbb{R}^n$ is an analytic set of Hausdorff dimension $a$, then $\dim_H(π_VA)=\min\{a,k\}$ for a.e.\ $V\in G(n,k)$, where $G(n,k)$ denotes the set of all $k$-dimensional subspaces of $\mathbb{R}^n$ and $π_V$ is the orthogonal projection of $A$ onto $V$. In this paper we study how large the exceptional set \begin{equation*} \{V\in G(n,k) \mid \dim_H(π_V A) < s\} \end{equation*} can be for a given $s\le\min\{a,k\}.$ We improve previously known estimates on the dimension of the exceptional set, and we show that our estimates are sharp for $k=1$ and for $k=n-1$. Hence we completely resolve this question for $n=3$. △ Less

Submitted 27 December, 2024; v1 submitted 7 November, 2024; originally announced November 2024.

Hausdorff dimension of Besicovitch sets of Cantor graphs

Authors: Iqra Altaf, Marianna Csörnyei, Kornélia Héra

Abstract: We consider the Hausdorff dimension of planar Besicovitch sets for rectifiable sets $Γ$, i.e. sets that contain a rotated copy of $Γ$ in each direction. We show that for a large class of Cantor sets $C$ and Cantor-graphs $Γ$ built on $C$, the Hausdorff dimension of any $Γ$-Besicovitch set must be at least $\min\left(2-s^2,\frac{1}{s}\right)$, where $s=\dim C$. We consider the Hausdorff dimension of planar Besicovitch sets for rectifiable sets $Γ$, i.e. sets that contain a rotated copy of $Γ$ in each direction. We show that for a large class of Cantor sets $C$ and Cantor-graphs $Γ$ built on $C$, the Hausdorff dimension of any $Γ$-Besicovitch set must be at least $\min\left(2-s^2,\frac{1}{s}\right)$, where $s=\dim C$. △ Less

Submitted 13 November, 2023; v1 submitted 26 August, 2022; originally announced August 2022.

Scaled Oscillation and Level Sets

Authors: Iqra Altaf, Marianna Csornyei, Bobby Wilson

Abstract: We study the size and regularity properties of level sets of continuous functions with bounded upper-scaled and lower-scaled oscillation. We study the size and regularity properties of level sets of continuous functions with bounded upper-scaled and lower-scaled oscillation. △ Less

Submitted 12 July, 2021; v1 submitted 24 May, 2021; originally announced May 2021.

Closed sets with the Kakeya property

Authors: Marianna Csörnyei, Kornélia Héra, Miklós Laczkovich

Abstract: We say that a planar set $A$ has the Kakeya property if there exist two different positions of $A$ such that $A$ can be continuously moved from the first position to the second within a set of arbitrarily small area. We prove that if $A$ is closed and has the Kakeya property, then the union of the nontrivial connected components of $A$ can be covered by a null set which is either the union of para… ▽ More We say that a planar set $A$ has the Kakeya property if there exist two different positions of $A$ such that $A$ can be continuously moved from the first position to the second within a set of arbitrarily small area. We prove that if $A$ is closed and has the Kakeya property, then the union of the nontrivial connected components of $A$ can be covered by a null set which is either the union of parallel lines or the union of concentric circles. In particular, if $A$ is closed, connected and has the Kakeya property, then $A$ can be covered by a line or a circle. △ Less

Submitted 1 February, 2018; originally announced February 2018.

Journal ref: Mathematika 63, (2017), 184-195

Upper Conical density results for general measures on $\mathbb{R}^n$

Authors: Marianna Csörnyei, Antti Käenmäki, Tapio Rajala, Ville Suomala

Abstract: We study conical density properties of general Borel measures on Euclidean spaces. Our results are analogous to the previously known result on the upper density properties of Hausdorff and packing type measures. We study conical density properties of general Borel measures on Euclidean spaces. Our results are analogous to the previously known result on the upper density properties of Hausdorff and packing type measures. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Journal ref: Proc. Edinburgh Math. Soc. 53 (2010), no. 2, 311-331

Small unions of affine subspaces and skeletons via Baire category

Authors: Alan Chang, Marianna Csörnyei, Kornélia Héra, Tamás Keleti

Abstract: Our aim is to find the minimal Hausdorff dimension of the union of scaled and/or rotated copies of the $k$-skeleton of a fixed polytope centered at the points of a given set. For many of these problems, we show that a typical arrangement in the sense of Baire category gives minimal Hausdorff dimension. In particular, this proves a conjecture of R. Thornton. Our results also show that Nikodym set… ▽ More Our aim is to find the minimal Hausdorff dimension of the union of scaled and/or rotated copies of the $k$-skeleton of a fixed polytope centered at the points of a given set. For many of these problems, we show that a typical arrangement in the sense of Baire category gives minimal Hausdorff dimension. In particular, this proves a conjecture of R. Thornton. Our results also show that Nikodym sets are typical among all sets which contain, for every point x of R^n, a punctured hyperplane H\{x} through x. With similar methods we also construct a Borel subset of R^n of Lebesgue measure zero containing a hyperplane at every positive distance from every point. △ Less

Submitted 14 February, 2018; v1 submitted 5 January, 2017; originally announced January 2017.

Comments: to appear in Advances in Mathematics

MSC Class: 28A78; 54E52

Journal ref: Adv. Math. 328 (2018) 801-821

The Kakeya needle problem and the existence of Besicovitch and Nikodym sets for rectifiable sets

Authors: Alan Chang, Marianna Csörnyei

Abstract: We solve the Kakeya needle problem and construct a Besicovitch and a Nikodym set for rectifiable sets. We solve the Kakeya needle problem and construct a Besicovitch and a Nikodym set for rectifiable sets. △ Less

Submitted 6 May, 2020; v1 submitted 6 September, 2016; originally announced September 2016.

Comments: added new section on dilations and incorporated referee's suggestions

MSC Class: 28A75

Journal ref: Proc. London Math. Soc. 118 (2019), 1084-1114

The Besicovitch-Federer projection theorem is false in every infinite dimensional Banach space

Authors: David Bate, Marianna Csörnyei, Bobby Wilson

Abstract: We construct a purely unrectifiable set of finite $\mathcal H^1$-measure in every infinite dimensional separable Banach space $X$ whose image under every $0\neq x^*\in X^*$ has positive Lebesgue measure. This demonstrates completely the failure of the Besicovitch-Federer projection theorem in infinite dimensional Banach spaces. We construct a purely unrectifiable set of finite $\mathcal H^1$-measure in every infinite dimensional separable Banach space $X$ whose image under every $0\neq x^*\in X^*$ has positive Lebesgue measure. This demonstrates completely the failure of the Besicovitch-Federer projection theorem in infinite dimensional Banach spaces. △ Less

Submitted 28 June, 2015; originally announced June 2015.

Journal ref: Isr. J. Math. (2017) 220: 175

Tangents of $σ$-finite Curves and Scaled Oscillation

Authors: Marianna Csörnyei, Bobby Wilson

Abstract: We show that every continuous simple curve with $σ$-finite length has a tangent at positively many points. We also apply this result to functions with finite lower scaled oscillation; and study the validity of the results in higher dimension. We show that every continuous simple curve with $σ$-finite length has a tangent at positively many points. We also apply this result to functions with finite lower scaled oscillation; and study the validity of the results in higher dimension. △ Less

Submitted 25 November, 2014; originally announced November 2014.

MSC Class: 26A24; 28A15

On Cantor sets and doubling measures

Authors: Marianna Csörnyei, Ville Suomala

Abstract: For a large class of Cantor sets on the real-line, we find sufficient and necessary conditions implying that a set has positive (resp. null) measure for all doubling measures of the real-line. We also discuss same type of questions for atomic doubling measures defined on certain midpoint Cantor sets. For a large class of Cantor sets on the real-line, we find sufficient and necessary conditions implying that a set has positive (resp. null) measure for all doubling measures of the real-line. We also discuss same type of questions for atomic doubling measures defined on certain midpoint Cantor sets. △ Less

Submitted 26 April, 2012; originally announced April 2012.

Comments: to apper in J. Math. Anal. Appl

Tube-measurability

Authors: Marianna Csörnyei, Laura Wisewell

Abstract: Define an outer measure on R^n by taking the infimum, over all covers of the set by tubes, of the sum of the cross-sectional areas of the tubes. We show that the only measurable sets for this outer measure are its null sets and their complements. Define an outer measure on R^n by taking the infimum, over all covers of the set by tubes, of the sum of the cross-sectional areas of the tubes. We show that the only measurable sets for this outer measure are its null sets and their complements. △ Less

Submitted 27 March, 2007; originally announced March 2007.

Comments: 4 pages

MSC Class: 28A12

Universal singular sets in the calculus of variations

Authors: Marianna Csornyei, Bernd Kirchheim, Toby C. O'Neil, David Preiss, Steffen Winter

Abstract: For regular one-dimensional variational problems, Ball and Nadirashvilli introduced the notion of the universal singular set of a Lagrangian L and established its topological negligibility. This set is defined to be the set of all points in the plane through which the graph of some absolutely continuous L-minimizer passes with infinite derivative. Motivated by Tonelli's partial regularity resu… ▽ More For regular one-dimensional variational problems, Ball and Nadirashvilli introduced the notion of the universal singular set of a Lagrangian L and established its topological negligibility. This set is defined to be the set of all points in the plane through which the graph of some absolutely continuous L-minimizer passes with infinite derivative. Motivated by Tonelli's partial regularity results, the question of the size of the universal singular set in measure naturally arises. Here we show that universal singular sets are characterized by being essentially purely unrectifiable -- that is, they intersect most Lipschitz curves in sets of zero length and that any compact purely unrectifiable set is contained within the universal singular set of some smooth Lagrangian with given superlinear growth. This gives examples of universal singular sets of Hausdorff dimension two, filling the gap between previously known one-dimensional examples and Sychev's result that universal singular sets are Lebesgue null. We show that some smoothness of the Lagrangian is necessary for the topological size estimate, and investigate the relationship between growth of the Lagrangian and the existence of (pathological) rectifiable pieces in the universal singular set. We also show that Tonelli's partial regularity result is stable in that the energy of a `near' minimizer u over the set where it has large derivative is controlled by the how far u is from being a minimizer. △ Less

Submitted 7 September, 2006; originally announced September 2006.

Comments: 67 pages. Submitted to the Archive of Rational Mechanics

MSC Class: 49N60