On the dimension of $s$-Nikodým sets

Damian Dąbrowski,Max Goering,Tuomas Orponen

2024-06-29

Abstract:Let $s \in [0,1]$. We show that a Borel set $N \subset \mathbb{R}^{2}$ whose every point is linearly accessible by an $s$-dimensional family of lines has Hausdorff dimension at most $2 - s$.

Classical Analysis and ODEs

What problem does this paper attempt to address?

The dimension of harmonic measure on some AD-regular flat sets of fractional dimension

Xavier Tolsa

2023-06-10

Abstract:In this paper it is shown that if $E\subset\mathbb R^{n+1}$ is an $s$-AD regular compact set, with $s\in [n-\frac12,n)$, and $E$ is contained in a hyperplane or, more generally, in an $n$-dimensional $C^1$ manifold, then the Hausdorff dimension of the harmonic measure for the domain $\mathbb R^{n+1}\setminus E$ is strictly smaller than $s$, i.e., than the Hausdorff dimension of $E$.

Classical Analysis and ODEs,Analysis of PDEs
On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$

Pablo Shmerkin,Hong Wang

2024-08-13

Abstract:We establish the dimension version of Falconer's distance set conjecture for sets of equal Hausdorff and packing dimension (in particular, for Ahlfors-regular sets) in all ambient dimensions. In dimensions $d=2$ or $3$, we obtain the first explicit estimates for the dimensions of distance sets of general Borel sets of dimension $d/2$; for example, we show that the set of distances spanned by a planar Borel set of Hausdorff dimension $1$ has Hausdorff dimension at least $(\sqrt{5}-1)/2\approx 0.618$. In higher dimensions we obtain explicit estimates for the lower Minkowski dimension of the distance sets of sets of dimension $d/2$. These results rely on new estimates for the dimensions of radial projections that may have independent interest.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
Distance sets bounds for polyhedral norms via effective dimension

Iqra Altaf,Ryan Bushling,Bobby Wilson

2024-11-02

Abstract:We prove that, for every norm on $\mathbb{R}^d$ and every $E \subseteq \mathbb{R}^d$, the Hausdorff dimension of the distance set of $E$ with respect to that norm is at least $\dim_{\mathrm{H}} E - (d-1)$. An explicit construction follows, demonstrating that this bound is sharp for every polyhedral norm on $\mathbb{R}^d$. The techniques of algorithmic complexity theory underlie both the computations and the construction.

Classical Analysis and ODEs
Pinned distances of planar sets with low dimension

Jacob B. Fiedler,D. M. Stull

2024-08-02

Abstract:In this paper, we give improved bounds on the Hausdorff dimension of pinned distance sets of planar sets with dimension strictly less than one. As the planar set becomes more regular (i.e., the Hausdorff and packing dimension become closer), our lower bound on the Hausdorff dimension of the pinned distance set improves. Additionally, we prove the existence of small universal sets for pinned distances. In particular, we show that, if a Borel set $X\subseteq\mathbb{R}^2$ is weakly regular ($\dim_H(X) = \dim_P(X)$), and $\dim_H(X) > 1$, then \begin{equation*} \sup\limits_{x\in X}\dim_H(\Delta_x Y) = \min\{\dim_H(Y), 1\} \end{equation*} for every Borel set $Y\subseteq\mathbb{R}^2$. Furthermore, if $X$ is also compact and Alfors-David regular, then for every Borel set $Y\subseteq\mathbb{R}^2$, there exists some $x\in X$ such that \begin{equation*} \dim_H(\Delta_x Y) = \min\{\dim_H(Y), 1\}. \end{equation*}

Classical Analysis and ODEs,Logic
Hausdorff dimension of intersections with planes and general sets

Pertti Mattila

DOI: https://doi.org/10.48550/arXiv.2005.11790

2020-06-08

Abstract:We give conditions on a general family $P_{\lambda}:\R^n\to\R^m, \lambda \in \Lambda,$ of orthogonal projections which guarantee that the Hausdorff dimension formula $\dim A\cap P_{\lambda}^{-1}\{u\}=s-m$ holds generically for measurable sets $A\subset\Rn$ with positive and finite $s$-dimensional Hausdorff measure, $s>m$, and with positive lower density. As an application we prove for measurable sets $A,B\subset\Rn$ with positive $s$- and $t$-dimensional measures, and with positive lower density that if $s + (n-1)t/n > n$, then $\dim A\cap (g(B)+z) = s+t - n$ for almost all rotations $g$ and for positively many $z\in\Rn$.

Classical Analysis and ODEs
Exceptional sets for length under restricted families of projections onto lines in $\mathbb{R}^3$

Terence L. J. Harris

2024-10-12

Abstract:It is shown that if $A \subseteq \mathbb{R}^3$ is a Borel set of Hausdorff dimension $\dim A>1$, and if $\rho_{\theta}$ is orthogonal projection to the line spanned by $( \cos \theta, \sin \theta, 1 )$, then $\rho_{\theta}(A)$ has positive length for all $\theta$ outside a set of Hausdorff dimension at most $\frac{3-\dim A}{2}$.

Classical Analysis and ODEs,Combinatorics,Metric Geometry
Boolean Dimension of a Boolean Lattice

Marcin Briański,Jȩdrzej Hodor,Hoang La,Piotr Micek,Katzper Michno

DOI: https://doi.org/10.1007/s11083-024-09666-w

2024-03-15

Order

Abstract:For every integer n with , we prove that the Boolean dimension of a poset consisting of all the subsets of equipped with the inclusion relation is strictly less than n .

mathematics
Hausdorff dimension of plane sections and general intersections

Pertti Mattila

DOI: https://doi.org/10.1112/blms.13038

IF: 1.036

2024-04-03

Bulletin of the London Mathematical Society

Abstract:This paper extends some results of Mattila (J. Fractal Geom. 66 (2021) 389–401 and Ann. Acad. Sci. Fenn. A Math. 42 (2017) 611–620), in particular, removing assumptions of positive lower density. We give conditions on a general family Pλ:Rn→Rm,λ∈Λ , of orthogonal projections which guarantee that the Hausdorff dimension formula dimA∩Pλ−1{u}=s−m holds generically for measurable sets A⊂Rn with positive and finite s ‐dimensional Hausdorff measure, s>m . As an application we prove for Borel sets A,B⊂Rn with positive s ‐ and t-dimensional measures that if s+(n−1)t/n>n , then dimA∩(g(B)+z)⩾s+t−n for almost all rotations g and for positively many z∈Rn . We shall also give an application to the estimates of the dimension of the set of exceptional rotations.

mathematics
Bounding the dimension of exceptional sets for orthogonal projections

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

2024-11-08

Abstract:It is well known that if $A\subseteq\R^n$ is an analytic set of Hausdorff dimension $a$, then $\dim_H(\pi_VA)=\min\{a,k\}$ for a.e. $V\in G(n,k)$, where $\pi_V$ is the orthogonal projection of $A$ onto $V$. In this paper we study how large the exceptional set \begin{center} $\{V\in G(n,k) \mid \dim_H(\pi_V A) < s\}$ \end{center} 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$.

Classical Analysis and ODEs
On the dimension of the singular set of perimeter minimizers in spaces with a two-sided Ricci curvature bound

Alessandro Cucinotta,Francesco Fiorani

2024-05-10

Abstract:We show that the Hausdorff dimension of the singular set of perimeter minimizers in non-collapsed Ricci limit spaces with a two-sided Ricci curvature bound is at most $N-5$, where $N$ is the dimension of the ambient space. The estimate is sharp.

Differential Geometry
Polylog dimensional subspaces of $\ell_\infty^N$

Gideon Schechtman,Nicole Tomczak--Jaegermann

DOI: https://doi.org/10.48550/arXiv.1812.03678

2018-12-10

Functional Analysis

Abstract:We show that a subspace of of $\ell_\infty^N$ of dimension $n>(\log N\log \log N)^2$ contains $2$-isomorphic copies of $\ell_\infty^k$ where $k$ tends to infinity with $n/(\log N\log \log N)^2$. More precisely, for every $\eta>0$, we show that any subspace of $\ell_\infty^N$ of dimension $n$ contains a subspace of dimension $m=c(\eta)\sqrt{n}/(\log N\log \log N)$ of distance at most $1+\eta$ from $\ell_\infty^m$.
New Hausdorff type dimensions and optimal bounds for bilipschitz invariant dimensions

Richárd Balka,Tamás Keleti

2023-12-21

Abstract:We introduce a new family of fractal dimensions by restricting the set of diameters in the coverings in the usual definition of the Hausdorff dimension. Among others, we prove that this family contains continuum many distinct dimensions, and they share most of the properties of the Hausdorff dimension, which answers negatively a question of Fraser. On the other hand, we also prove that among these new dimensions only the Hausdorff dimension behaves nicely with respect to Hölder functions, which supports a conjecture posed by Banaji obtained as a natural modification of Fraser's question. We also consider the supremum of these new dimensions, which turns out to be an other interesting notion of fractal dimension. We prove that among those bilipschitz invariant, monotone dimensions on the compact subsets of $\mathbb{R}^n$ that agree with the similarity dimension for the simplest self-similar sets, the modified lower dimension is the smallest and when $n=1$ the Assouad dimension is the greatest, and this latter statement is false for $n>1$. This answers a question of Rutar.

Classical Analysis and ODEs,Metric Geometry
Hausdorff dimension and exact approximation order in $\mathbb{R}^n$

Prasuna Bandi,Nicolas de Saxcé

2023-12-16

Abstract:Given a non-increasing function $\psi\colon\mathbb{N}\to\mathbb{R}^+$ such that $s^{\frac{n+1}{n}}\psi(s)$ tends to zero as $s$ goes to infinity, we show that the set of points in $\mathbb{R}^n$ that are exactly $\psi$-approximable is non-empty, and we compute its Hausdorff dimension. For $n\geq 2$, this answers questions of Jarník and of Beresnevich, Dickinson, and Velani.

Number Theory,Dynamical Systems
On distance sets, box-counting and Ahlfors-regular sets

Pablo Shmerkin

DOI: https://doi.org/10.19086/da.1643

2017-05-22

Abstract:We obtain box-counting estimates for the pinned distance sets of (dense subsets of) planar discrete Ahlfors-regular sets of exponent $s>1$. As a corollary, we improve upon a recent result of Orponen, by showing that if $A$ is Ahlfors-regular of dimension $s>1$, then almost all pinned distance sets of $A$ have lower box-counting dimension $1$. We also show that if $A,B\subset\mathbb{R}^2$ have Hausdorff dimension $>1$ and $A$ is Ahlfors-regular, then the set of distances between $A$ and $B$ has modified lower box-counting dimension $1$, which taking $B=A$ improves Orponen's result in a different direction, by lowering packing dimension to modified lower box-counting dimension. The proofs involve ergodic-theoretic ideas, relying on the theory of CP-processes and projections.

Classical Analysis and ODEs,Combinatorics,Dynamical Systems
Embedding Dimensions of Matrices Whose Entries are Indefinite Distances in the Pseudo-Euclidean Space

Hiroshi Nozaki,Masashi Shinohara,Sho Suda

DOI: https://doi.org/10.1007/s41980-023-00842-z

2024-01-05

Bulletin of the Iranian Mathematical Society

Abstract:A finite set of the Euclidean space is called an s -distance set provided that the number of Euclidean distances in the set is s . Determining the largest possible s -distance set for the Euclidean space of a given dimension is challenging. This problem was solved only when dealing with small values of s and dimensions. Lisoněk (J Combin Theory Ser A 77(2):318–338, 1997) achieved the classification of the largest 2-distance sets for dimensions up to 7, using computer assistance and graph representation theory. In this study, we consider a theory analogous to these results of Lisoněk for the pseudo-Euclidean space . We consider an s -indefinite-distance set in a pseudo-Euclidean space that uses the value instead of the Euclidean distance. We develop a representation theory for symmetric matrices in the context of s -indefinite-distance sets, which includes or improves the results of Euclidean s -distance sets with large s values. Moreover, we classify the largest possible 2-indefinite-distance sets for small dimensions.

mathematics
Tameness of holomorphic closure dimension in a semialgebraic set

Janusz Adamus,Serge Randriambololona

DOI: https://doi.org/10.1007/s00208-012-0808-y

2017-09-28

Abstract:Given a semianalytic set S in a complex space and a point p in S, there is a unique smallest complex-analytic germ at p which contains the germ of S, called the holomorphic closure of S at p. We show that if S is semialgebraic then its holomorphic closure is a Nash germ, for every p, and S admits a semialgebraic filtration by the holomorphic closure dimension. As a consequence, every semialgebraic subset of a complex vector space admits a semialgebraic stratification into CR manifolds satisfying a strong version of the condition of the frontier.

Complex Variables
Nagata Dimension and Lipschitz Extensions Into Quasi-Banach Spaces

Jan Bíma

2024-02-06

Abstract:Given two metric spaces $\mathcal N \subseteq \mathcal M$ in inclusion and $0<p\leq 1$, we wish to determine the smallest constant $\mathfrak{t}_p (\mathcal N, \mathcal M)$ such that any Lipschitz map $f: \mathcal N \to Z$ into any $p$-Banach space $Z$ can be extended to a Lipschitz map $f' : \mathcal M \to Z$ satisfying $\operatorname{Lip} f' \leq \mathfrak{t}_p (\mathcal N, \mathcal M)\cdot \operatorname{Lip} f$. In this article, we prove that if $\mathcal N$ has finite Nagata dimension at most $d$ with constant $\gamma$, then $\mathfrak{t}_p (\mathcal N, \mathcal M) \lesssim_p \gamma \cdot (d+1)^{1/p -1} \cdot \log (d+2)$ for all $0<p\leq 1$. We show that examples of spaces with finite Nagata dimension include doubling spaces, as well as minor-excluded metric graphs. We also establish that the constant $\mathfrak{t}_p (\mathcal N, \mathcal M)$ generally increases as $p$ approaches zero.

Functional Analysis
Hausdorff dimension for the set of points connected with the generalized Jarník-Besicovitch set

Ayreena Bakhtawar

DOI: https://doi.org/10.48550/arXiv.1911.12550

2020-10-16

Abstract:In this article we aim to investigate the Hausdorff dimension of the set of points $x \in [0,1)$ such that for any $r\in\mathbb{N},$ \begin{align*} a_{n+1}(x)a_{n+2}(x)\cdots a_{n+r}(x)\geq e^{\tau(x)(h(x)+\cdots+h(T^{n-1}(x)))} {align*} holds for infinitely many $n\in\mathbb{N},$ where $h$ and $\tau$ are positive continuous functions, $T$ is the Gauss map and $a_n(x)$ denote the $n$th partial quotient of $x$ in its continued fraction expansion. By appropriate choices of $r$, $\tau(x)$ snd $h(x)$ we obtain the classical Jarník-Besicovitch Theorem as well as more recent results by Wang-Wu-Xu, Wang-Wu, Huang-Wu-Xu and Hussain-Kleinbock-Wadleigh-Wang.

Number Theory,Dynamical Systems
A note on Borsuk's problem in Minkowski spaces

Andrei M. Raigorodskii,Arsenii Sagdeev

DOI: https://doi.org/10.1134/S1064562424701849

2023-07-19

Abstract:In 1993, Kahn and Kalai famously constructed a sequence of finite sets in $d$-dimensional Euclidean spaces that cannot be partitioned into less than $(1.203\ldots+o(1))^{\sqrt{d}}$ parts of smaller diameter. Their method works not only for the Euclidean, but for all $\ell_p$-spaces as well. In this short note, we observe that the larger the value of $p$, the stronger this construction becomes.

Metric Geometry,Combinatorics

On the dimension of $s$-Nikodým sets

The dimension of harmonic measure on some AD-regular flat sets of fractional dimension

On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$

Distance sets bounds for polyhedral norms via effective dimension

Pinned distances of planar sets with low dimension

Hausdorff dimension of intersections with planes and general sets

Exceptional sets for length under restricted families of projections onto lines in $\mathbb{R}^3$

Boolean Dimension of a Boolean Lattice

Hausdorff dimension of plane sections and general intersections

Bounding the dimension of exceptional sets for orthogonal projections

On the dimension of the singular set of perimeter minimizers in spaces with a two-sided Ricci curvature bound

Polylog dimensional subspaces of $\ell_\infty^N$

New Hausdorff type dimensions and optimal bounds for bilipschitz invariant dimensions

Hausdorff dimension and exact approximation order in $\mathbb{R}^n$

On distance sets, box-counting and Ahlfors-regular sets

Embedding Dimensions of Matrices Whose Entries are Indefinite Distances in the Pseudo-Euclidean Space

Tameness of holomorphic closure dimension in a semialgebraic set

Nagata Dimension and Lipschitz Extensions Into Quasi-Banach Spaces

Hausdorff dimension for the set of points connected with the generalized Jarník-Besicovitch set

A note on Borsuk's problem in Minkowski spaces