arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.23295

Orthogonal Projections and Assouad Dimension: Resolving Fraser's Questions

Bilel Selmi
View original source ↗Read source document ↗Export metadata ↓

Abstract

We examine two questions on exceptional orthogonal projections for Assouad dimension. Let $1\le k<d$ and $1\le q<d$. For a set $F$ contained in a $q$-dimensional subspace $W\subset\R^d$ and containing a nonempty relatively open subset of $W$, we compute both the Hausdorff and packing dimensions of the exceptional $k$-planes as $k(d-k)-|q-k|-1$. In particular, a square in $\R^3$ has a one-dimensional set of exceptional plane projections. This disproves the bound $k(d-1-k)$ in Question 17.8.1 of Fraser's book as stated, for every $2\le k<d$. The planar packing question, Question 17.8.2, is already answered affirmatively by Wu's countability theorem. Using that theorem, we also describe the distinction between planar sets of Assouad dimension at most $1$ and those of dimension greater than $1$ when they are embedded in higher-dimensional spaces. The computations use elementary Grassmannian geometry; we make no claim of a new planar projection theorem or of an optimal bound for arbitrary higher-dimensional sets.

Explore related subjects

math.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bilel Selmi. 2026-10-16. Orthogonal Projections and Assouad Dimension: Resolving Fraser's Questions. https://arxiv.org/abs/2610.23295

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

An Algebraic Approach to Periodicity and Complexity of Delone Sets

We study the connection between local complexity and periodicity of Delone sets using an algebraic approach based on annihilators, that is, finite linear relations between translations of a configuration. We model colored Delone sets (Delone multisets) as $\mathbb{R}^d$-configurations, that is, functions on $\mathbb{R}^d$ with finite range, and extend the notions of annihilators and periodizers from $\mathbb{Z}^d$-configurations to the geometric setting of Delone sets. Our main results describe the structure imposed by the existence of non-trivial annihilators. We show that any $\mathbb{R}^d$-configuration admitting non-trivial annihilators has an annihilator of a particularly simple form, namely a product of finitely many difference operators corresponding to translations in pairwise rationally independent directions. We further improve this result and prove that for configurations supported on Delone sets of finite local complexity (FLC), the corresponding directions can be chosen pairwise linearly independent over $\mathbb{R}$. As a consequence of the existence of the special annihilator, we show that $\mathbb{R}^d$-configurations with annihilators admit a decomposition into finitely many components that are periodic in pairwise rationally independent directions. Moreover, we connect local complexity with algebraic structure by proving that Meyer sets with sufficiently slow patch complexity growth have low pattern complexity and hence admit non-trivial annihilators. Finally, we establish a sufficient and necessary condition under which the existence of suitable annihilators forces periodicity of $\mathbb{R}^d$-configurations supported on FLC Delone sets.

math.DS↗
arXiv2026

Extreme value theorem for geodesic flow on the quotient of the theta group

We establish an extreme value theorem for the geodesic flow $g_t$ on the hyperbolic surface $Θ\backslash\mathbb{H}^2$ associated with the theta group $Θ$. To capture excursions into both cusps of this surface, we introduce a generalized continued fraction algorithm obtained by splicing the even and odd--odd continued fraction maps into a single dynamical system. We prove that the natural extension of this map is isomorphic to the first return map of the geodesic flow on a suitable cross-section. Using spectral properties of the associated transfer operator, we derive a Galambos-type extreme value law for the digits of the spliced continued fraction. This symbolic result is then translated into a geometric extreme value theorem describing maximal cusp excursions of geodesics on $Θ\backslash\mathbb{H}^2$.

math.DS↗
arXiv2026

Asymmetry of a class of Mellin transforms

We consider a class of Mellin transforms $μ_η$ associated with a class of functions $η$, defined for every complex $s$ in the critical strip. We establish sufficient conditions on $η$ under which $μ_η(s)$ and $μ_η(1-s)$ cannot both vanish outside the critical line for sufficiently large imaginary parts of $s$. An application is given to the case in which $η$ is the fractional part function, for which the zeros of $μ_η$ coincide with the zeros of the Riemann zeta function.

math.DS↗