arXiv Science⌕ Search

arXiv subjects

David Simmons

Publications and source records attributed to David Simmons.

At least 19 recordsLinked to original sources
arXiv2026

Well and badly approximable sets, and rapid winning

The set of $\tau$-approximable numbers, $\mathcal W(\tau)$, has genuinely fractional Hausdorff dimension, whereas the set of inhomogeneously badly approximable numbers, $\Bad^\gamma$, has full Hausdorff dimension. We determine the Hausdorff dimension of their intersection by introducing the $\Psi$-rapid game, a scale-sensitive refinement of the rapid game of Hatefi and Simmons (preprint 2024). For every approximation function $\psi$, we prove that $\mathcal W(\psi)\cap\Bad^\gamma$ is strong $\Psi$-rapid winning for a natural gauge $\Psi$ determined by $\psi$. Unlike Schmidt-type games, whose winning property always implies full Hausdorff dimension, the $\Psi$-rapid game is calibrated to a prescribed Diophantine scale, so that the resulting dimension bound depends explicitly on the decay of $\Psi$. In particular, for $\psi(q)=q^{-\tau}, \tau\ge1,$ we recover the exact Jarn\'ik--Besicovitch dimension, that is, $$ \HD\bigl(\mathcal W(\tau)\cap\Bad^\gamma\bigr)=\frac{2}{\tau+1}.$$

math.NT↗
arXiv2026

Gradualist descriptionalist set theory

We introduce a formal language GDST (gradualist descriptionalist set theory) with a family of interpretations indexed by ordinals, as well as a sublanguage NMID (the language of not necessarily monotonic inductive definitions), and show that the assertion that all propositions in NMID have well-defined truth values is equivalent to the existence for each $k \in \mathbb N$ of a sequence of ordinals $\eta_0 < . . . < \eta_k$ such that for each $i < k$, $\eta_i$ is $\eta_{i+1}$-reflecting, a notion we introduce which implies being $\Pi_n$-reflecting for all $n \in \mathbb N$ (and in particular being admissible and recursively Mahlo).

math.LO↗
arXiv2025

McMullen's game for equicontinuously-twisted badly approximable points in continued fractions and beta expansions

In a beta-transformation (for integer beta) or a Gauss map system, given a sequence of functions fn from [0,1] to itself, consider the collection of points in [0,1] whose nth iteration under the map is distanced away from its value under fn. It is well known that for constant sequences fn, such collections are always winning in McMullen's game and in particular they have Hausdorff dimension 1. We extend the results to all equicontinuous sequences of functions fn.

math.DS↗
arXiv2025

Twisted Diophantine approximation on manifolds

In twisted Diophantine approximation, for a fixed $m\times n$ matrix $\boldsymbol\alpha$ one is interested in sets of vectors $\boldsymbol\beta\in\mathbb R^m$ such that the system of affine forms $\mathbb R^n \ni \mathbf q \mapsto \boldsymbol\alpha\mathbf q + \boldsymbol\beta \in \mathbb R^m$ satisfies some given Diophantine condition. In this paper we introduce the notion of manifolds which are of $\boldsymbol\alpha$-twisted Khintchine type for convergence or divergence. We provide sufficient conditions under which nondegenerate analytic manifolds exhibit this twisted Khintchine-type behaviour. Furthermore, we investigate the intersection properties of the sets of $\boldsymbol\alpha$-twisted badly approximable and well approximable vectors with nondegenerate manifolds.

math.NT↗
arXiv2025

Diophantine approximation on abelian varieties; a conjecture of M. Waldschmidt

Following the work of Waldschmidt, we investigate problems in Diophantine approximation on abelian varieties. First we show that a conjecture of Waldschmidt for a given simple abelian variety is equivalent to a well-known Diophantine condition holding for a certain matrix related to that variety. We then posit a related but weaker conjecture, and establish the upper bound direction of that conjecture in full generality. For rank 1 elliptic curves defined over a number field $K \subset \mathbb{R}$, we then obtain a weak-type Dirichlet theorem in this setting, establish the optimality of this statement, and prove our conjecture in this case.

math.NT↗
arXiv2024

Hausdorff dimension of differences of badly approximable sets

The set of badly approximable numbers, Bad, is known to be winning for Schmidt's game and hence has full Hausdorff dimension. It is also known that the set of inhomogeneously badly approximable numbers has full dimension. We prove that the set difference also has full dimension using a variant of the Schmidt game, which we call the rapid game, played on the space of unimodular grids.

math.NT↗
arXiv2024

Shrinking targets versus recurrence: the quantitative theory

Let $X = [0,1]$, and let $T:X\to X$ be an expanding piecewise linear map sending each interval of linearity to $[0,1]$. For $ψ:\mathbb N\to\mathbb R_{\geq 0}$, $x\in X$, and $N\in\mathbb N$ we consider the recurrence counting function \[ R(x,N;T,ψ) := \#\{1\leq n\leq N: d(T^n x, x) < ψ(n)\}. \] We show that for any $\varepsilon > 0$ we have \[ R(x,N;T,ψ) = Ψ(N)+O\left(Ψ^{1/2}(N) \ (\logΨ(N))^{3/2+\varepsilon}\right) \] for $μ$-almost all $x\in X$ and for all $N\in\mathbb N$, where $Ψ(N):= 2 \sum_{n=1}^N ψ(n)$. We also prove a generalization of this result to higher dimensions.

math.DS↗
arXiv2023

A variational principle in the parametric geometry of numbers

We extend the parametric geometry of numbers (initiated by Schmidt and Summerer, and deepened by Roy) to Diophantine approximation for systems of $m$ linear forms in $n$ variables, and establish a new connection to the metric theory via a variational principle that computes fractal dimensions of a variety of sets of number-theoretic interest. The proof relies on two novel ingredients: a variant of Schmidt's game capable of computing the Hausdorff and packing dimensions of any set, and the notion of templates, which generalize Roy's rigid systems. In particular, we compute the Hausdorff and packing dimensions of the set of singular systems of linear forms and show they are equal, resolving a conjecture of Kadyrov, Kleinbock, Lindenstrauss and Margulis, as well as a question of Bugeaud, Cheung and Chevallier. As a corollary of Dani's correspondence principle, the divergent trajectories of a one-parameter diagonal action on the space of unimodular lattices with exactly two Lyapunov exponents with opposite signs has equal Hausdorff and packing dimensions. Other applications include quantitative strengthenings of theorems due to Cheung and Moshchevitin, which originally resolved conjectures due to Starkov and Schmidt respectively; as well as dimension formulas with respect to the uniform exponent of irrationality for simultaneous and dual approximation in two dimensions, completing partial results due to Baker, Bugeaud, Cheung, Chevallier, Dodson, Laurent and Rynne.

math.NT↗
arXiv2023

Exact dimensions of the prime continued fraction Cantor set

We study the exact Hausdorff and packing dimensions of the $prime$ $Cantor$ $set$, $Λ_P$, which comprises the irrationals whose continued fraction entries are prime numbers. We prove that the Hausdorff measure of the prime Cantor set cannot be finite and positive with respect to any sufficiently regular dimension function, thus negatively answering a question of Mauldin (2013) for this class of dimension functions. By contrast, under a reasonable number-theoretic conjecture we prove that the packing measure of the conformal measure on the prime Cantor set is in fact positive and finite with respect to the dimension function $ψ(r) = r^δ\log^{-2δ}\log(1/r)$, where $δ$ is the dimension (conformal, Hausdorff, and packing) of the prime Cantor set.

math.NT↗
arXiv2023

Generalised Hausdorff measure of sets of Dirichlet non-improvable matrices in higher dimensions

Let $ψ:\mathbb R_{+}\to \mathbb R_{+}$ be a nonincreasing function. A pair $(A,\mathbf b),$ where $A$ is a real $m\times n$ matrix and $\mathbf b\in\mathbb R^{m},$ is said to be $ψ$-Dirichlet improvable, if the system $$\|A\mathbf q +\mathbf b-\mathbf p\|^m<ψ(T), \quad \|\mathbf q\|^n<T$$ is solvable in $\mathbf p\in\mathbb Z^{m},$ $\mathbf q\in\mathbb Z^{n}$ for all sufficiently large $T$ where $\|\cdot\|$ denotes the supremum norm. For $ψ$-Dirichlet non-improvable sets, Kleinbock--Wadleigh (2019) proved the Lebesgue measure criterion whereas Kim--Kim (2021) established the Hausdorff measure results. In this paper we obtain the generalised Hausdorff $f$-measure version of Kim--Kim (2021) results for $ψ$-Dirichlet non-improvable sets.

math.NT↗
arXiv2023

Hausdorff dimensions of perturbations of a conformal iterated function system via thermodynamic formalism

We consider small perturbations of a conformal iterated function system (CIFS) produced by either adding or removing some generators with small derivative from the original. We establish a formula, utilizing transfer operators arising from the thermodynamic formalism à la Sinai--Ruelle--Bowen, which may be solved to express the Hausdorff dimension of the perturbed limit set in series form: either exactly, or as an asymptotic expansion. Significant applications include strengthening Hensley's asymptotic formula from 1992, which improved on earlier bounds due to Jarník and Kurzweil, for the Hausdorff dimension of the set of real numbers whose continued fraction expansion partial quotients are all $\leq N$; as well as its counterpart for reals whose partial quotients are all $\geq N$ due to Good from 1941.

math.DS↗
arXiv2022

The generalised Hausdorff measure of sets of Dirichlet non-improvable numbers

Let $ψ:\mathbb R_+\to\mathbb R_+$ be a non-increasing function. A real number $x$ is said to be $ψ$-Dirichlet improvable if the system $$|qx-p|< \, ψ(t) \ \ {\text{and}} \ \ |q|<t$$ has a non-trivial integer solution for all large enough $t$. Denote the collection of such points by $D(ψ)$. In this paper, we prove a zero-infinity law valid for all dimension functions under natural non-restrictive conditions. Some of the consequences are zero-infinity laws, for all essentially sub-linear dimension functions proved by Hussain-Kleinbock-Wadleigh-Wang (2018), for some non-essentially sub-linear dimension functions, and for all dimension functions but with a growth condition on the approximating function.

math.NT↗
arXiv2022

Diophantine approximation on curves

Let $g$ be a dimension function. The Generalised Baker-Schmidt Problem (1970) concerns the $g$-dimensional Hausdorff measure ($\HH^g$-measure) of the set of $Ψ$-approximable points on nondegenerate manifolds. The problem relates the `size' of the set of $Ψ$-approximable points with the convergence or divergence of a certain series. In the dual approximation setting, the divergence case has been established by Beresnevich-Dickinson-Velani (2006) for any nondegenerate manifold. The convergence case, however, represents a major challenging open problem and progress thus far has been effectuated in limited cases only. In this paper, we discuss and prove several results on the $\HH^g$-measure on Veronese curves in any dimension $n$. As a consequence of one of our results, we generalize recent results of Pezzoni [Acta Arith. 193 (2020), no. 3, 269-281] regarding $n=3$. This improvement evolves from a deeper investigation on general irreducibility considerations applicable in arbitrary dimensions. We further investigate the $\HH^g$-measure for convergence on planar curves. We show that the monotonicity assumption on a multivariable approximating function cannot be removed for planar curves.

math.NT↗
arXiv2021

Schmidt's game on Hausdorff metric and function spaces: generic dimension of sets and images

We consider Schmidt's game on the space of compact subsets of a given metric space equipped with the Hausdorff metric, and the space of continuous functions equipped with the supremum norm. We are interested in determining the generic behaviour of objects in a metric space, mostly in the context of fractal dimensions, and the notion of `generic' we adopt is that of being winning for Schmidt's game. We find properties whose corresponding sets are winning for Schmidt's game that are starkly different from previously established, and well-known, properties which are generic in other contexts, such as being residual or of full measure.

math.MG↗
arXiv2021

Intrinsic Diophantine approximation on quadric hypersurfaces

We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by all rational points in $\mathbb Q^d$. We provide complete answers to major questions of Diophantine approximation in this context. Of particular interest are the impact of the real and rational ranks of the defining quadratic form, quantities whose roles in Diophantine approximation have never been previously elucidated. Our methods include a correspondence between the intrinsic Diophantine approximation theory on a rational quadric hypersurface and the dynamics of the group of projective transformations which preserve that hypersurface, similar to earlier results in the non-intrinsic setting due to Dani ('86) and Kleinbock--Margulis ('99).

math.NT↗
arXiv2020

On the dimension spectra of infinite iterated function systems

The dimension spectrum of a conformal iterated function system (CIFS) is the set of all Hausdorff dimensions of its various subsystem limit sets. This brief note provides two constructions -- (i) a compact perfect set that cannot be realized as the dimension spectrum of a CIFS; and (ii) a similarity IFS whose dimension spectrum has zero Hausdorff dimension, and thus is not uniformly perfect -- which resolve questions posed by Chousionis, Leykekhman, and Urbański, and go on provoke fresh conjectures and questions regarding the topological and metric properties of IFS dimension spectra.

math.DS↗
arXiv2020

Dynamical Borel-Cantelli lemma for recurrence theory

We study the dynamical Borel-Cantelli lemma for recurrence sets in a measure preserving dynamical system $(X, μ, T)$ with a compatible metric $d$. We prove that, under some regularity conditions, the $μ$-measure of the following set \[ R(ψ)= \{x\in X : d(T^n x, x) < ψ(n)\ \text{for infinitely many}\ n\in\N \} \] obeys a zero-full law according to the convergence or divergence of a certain series, where $ψ:\N\to\R^+$. Some of the applications of our main theorem include the continued fractions dynamical systems, the beta dynamical systems, and the homogeneous self-similar sets.

math.DS↗