BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

David Simmons

David Simmons contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.DSmath.AP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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 (&#39;86) and Kleinbock--Margulis (&#39;99).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Metrical theorems on systems of affine forms

In this paper we discuss metric theory associated with the affine (inhomogeneous) linear forms in the so called doubly metric settings within the classical and the mixed setups. We consider the system of affine forms given by $\qq\mapsto \qq X+\bfalpha$, where $\qq\in\Z^m$ (viewed as a row vector), $X$ is an $m\times n$ real matrix and $\bfalpha\in \R^n$. The classical setting refers to the ${\rm dist}(\qq X+\bfalpha, \Z^m)$ to measure the closeness of the integer values of the system $(X, \bfalpha)$ to integers. The absolute value setting is obtained by replacing ${\rm dist}(\qq X+\bfalpha, \Z^m)$ with ${\rm dist}(\qq X+\bfalpha, \0)$; and the more general mixed settings are obtained by replacing ${\rm dist}(\qq X+\bfalpha, \Z^m)$ with ${\rm dist}(\qq X+\bfalpha, Λ)$, where $Λ$ is a subgroup of $\Z^m$. We prove the Khintchine--Groshev and Jarník type theorems for the mixed affine forms and Jarník type theorem for the classical affine forms. We further prove that the sets of badly approximable affine forms, in both the classical and mixed settings, are hyperplane winning. The latter result, for the classical setting, answers a question raised by Kleinbock (1999).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Regularity of Almost-Minimizers of Hölder-Coefficient Surface Energies

We study almost-minimizers of anisotropic surface energies defined by a Hölder continuous matrix of coefficients acting on the unit normal direction to the surface. In this generalization of the Plateau problem, we prove almost-minimizers are locally Hölder continuously differentiable at regular points and give dimension estimates for the size of the singular set. We work in the framework of sets of locally finite perimeter and our proof follows an excess-decay type argument.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

A variational principle in the parametric geometry of numbers, with applications to metric Diophantine approximation

We establish a new connection between metric Diophantine approximation and the parametric geometry of numbers by proving a variational principle facilitating the computation of the Hausdorff and packing dimensions of many sets of interest in Diophantine approximation. In particular, we show that the Hausdorff and packing dimensions of the set of singular $m\times n$ matrices are both equal to $mn \big(1-\frac1{m+n}\big)$, thus proving a conjecture of Kadyrov, Kleinbock, Lindenstrauss, and Margulis (preprint 2014) as well as answering a question of Bugeaud, Cheung, and Chevallier (preprint 2016). We introduce the notion of a $template$, which generalizes the notion of a $rigid$ $system$ (Roy, 2015) to the setting of matrix approximation. Our main theorem takes the following form: for any class of templates $\mathcal F$ closed under finite perturbations, the Hausdorff and packing dimensions of the set of matrices whose successive minima functions are members of $\mathcal F$ (up to finite perturbation) can be written as the suprema over $\mathcal F$ of certain natural functions on the space of templates. Besides implying KKLM&#39;s conjecture, this theorem has many other applications including computing the Hausdorff and packing dimensions of the set of points witnessing a conjecture of Starkov (2000), and of the set of points witnessing a conjecture of Schmidt (1983).

0 citations0 reviewsNo code linkedOpen access