BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

David Simmons

David Simmons appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.DSInformation Theorymath.COmath.ITComputational GeometryDiscrete Mathematicsmath.AP

Catalog footprint

What is connected

26works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

26 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 ('86) and Kleinbock--Margulis ('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'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
preprint2016arXiv

Capacity and Power Scaling Laws for Finite Antenna MIMO Amplify-and-Forward Relay Networks

In this paper, we present a novel framework that can be used to study the capacity and power scaling properties of linear multiple-input multiple-output (MIMO) $d\times d$ antenna amplify-and-forward (AF) relay networks. In particular, we model these networks as random dynamical systems (RDS) and calculate their $d$ Lyapunov exponents. Our analysis can be applied to systems with any per-hop channel fading distribution, although in this contribution we focus on Rayleigh fading. Our main results are twofold: 1) the total transmit power at the $n$th node will follow a deterministic trajectory through the network governed by the network's maximum Lyapunov exponent, 2) the capacity of the $i$th eigenchannel at the $n$th node will follow a deterministic trajectory through the network governed by the network's $i$th Lyapunov exponent. Before concluding, we concentrate on some applications of our results. In particular, we show how the Lyapunov exponents are intimately related to the rate at which the eigenchannel capacities diverge from each other, and how this relates to the amplification strategy and number of antennas at each relay. We also use them to determine the extra cost in power associated with each extra multiplexed data stream.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Decaying and non-decaying badly approximable numbers

We call a badly approximable number $decaying$ if, roughly, the Lagrange constants of integer multiples of that number decay as fast as possible. In this terminology, a question of Y. Bugeaud ('15) asks to find the Hausdorff dimension of the set of decaying badly approximable numbers, and also of the set of badly approximable numbers which are not decaying. We answer both questions, showing that the Hausdorff dimensions of both sets are equal to one. Part of our proof utilizes a game which combines the Banach--Mazur game and Schmidt's game, first introduced in Fishman, Reams, and Simmons (preprint '15).

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

New examples of complete sets, with connections to a Diophantine theorem of Furstenberg

A set $A\subseteq\mathbb N$ is called $complete$ if every sufficiently large integer can be written as the sum of distinct elements of $A$. In this paper we present a new method for proving the completeness of a set, improving results of Cassels ('60), Zannier ('92), Burr, Erdős, Graham, and Li ('96), and Hegyvári ('00). We also introduce the somewhat philosophically related notion of a $dispersing$ set and refine a theorem of Furstenberg ('67).

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Random walks on homogeneous spaces and diophantine approximation on fractals

We extend results of Y. Benoist and J.-F. Quint concerning random walks on homogeneous spaces of simple Lie groups to the case where the measure defining the random walk generates a semigroup which is not necessarily Zariski dense, but satisfies some expansion properties for the adjoint action. Using these dynamical results, we study diophantine properties of typical points on some self-similar fractals in R^d. As examples, we show that for any self-similar fractal K in R^d satisfying the open set condition (for instance any translate or dilate of Cantor's middle thirds set or of a Koch snowflake), almost every point with respect to the natural measure on K is not badly approximable. Furthermore, almost every point on the fractal is of generic type, which implies (in the one dimensional case) that its continued fraction expansion contains all finite words with the frequencies predicted by Gauss measure. We prove analogous results for matrix multiplication, and for the case of fractals defined by Mobius transformation.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Strictly Positive and Continuous Random Fibonacci Sequences and Network Theory Applications

We motivate the study of a certain class of random Fibonacci sequences - which we call continuous random Fibonacci sequences - by demonstrating that their exponential growth rate can be used to establish capacity and power scaling laws for multihop cooperative amplify-and-forward (AF) relay networks. With these laws, we show that it is possible to construct multihop cooperative AF networks that simultaneously avoid 1) exponential capacity decay and 2) exponential transmit power growth across the network. This is achieved by ensuring the network's Lyapunov exponent is zero.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Uniformly de Bruijn sequences and symbolic Diophantine approximation on fractals

Intrinsic Diophantine approximation on fractals, such as the Cantor ternary set, was undoubtedly motivated by questions asked by K. Mahler (1984). One of the main goals of this paper is to develop and utilize the theory of infinite de Bruijn sequences in order to answer closely related questions. In particular, we prove that the set of infinite de Bruijn sequences in $k\geq 2$ letters, thought of as a set of real numbers via a decimal expansion, has positive Hausdorff dimension. For a given $k$, these sequences bear a strong connection to Diophantine approximation on certain fractals. In particular, the optimality of an intrinsic Dirichlet function on these fractals with respect to the height function defined by symbolic representations of rationals follows from these results.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

An analogue of a theorem of Kurzweil

A theorem of Kurzweil ('55) on inhomogeneous Diophantine approximation states that if $θ$ is an irrational number, then the following are equivalent: (A) for every decreasing positive function $ψ$ such that $\sum_{q = 1}^\infty ψ(q) = \infty$, and for almost every $s\in\mathbb R$, there exist infinitely many $q\in\mathbb N$ such that $\|qθ- s\| < ψ(q)$, and (B) $θ$ is badly approximable. This theorem is not true if one adds to condition (A) the hypothesis that the function $q\mapsto qψ(q)$ is decreasing. In this paper we find a condition on the continued fraction expansion of $θ$ which is equivalent to the modified version of condition (A). This expands on a recent paper of D. H. Kim ('14).

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Extrinsic Diophantine approximation on manifolds and fractals

Fix $d\in\mathbb N$, and let $S\subseteq\mathbb R^d$ be either a real-analytic manifold or the limit set of an iterated function system (for example, $S$ could be the Cantor set or the von Koch snowflake). An $extrinsic$ Diophantine approximation to a point $\mathbf x\in S$ is a rational point $\mathbf p/q$ close to $\mathbf x$ which lies $outside$ of $S$. These approximations correspond to a question asked by K. Mahler ('84) regarding the Cantor set. Our main result is an extrinsic analogue of Dirichlet's theorem. Specifically, we prove that if $S$ does not contain a line segment, then for every $\mathbf x\in S\setminus\mathbb Q^d$, there exists $C > 0$ such that infinitely many vectors $\mathbf p/q\in \mathbb Q^d\setminus S$ satisfy $\|\mathbf x - \mathbf p/q\| < C/q^{(d + 1)/d}$. As this formula agrees with Dirichlet's theorem in $\mathbb R^d$ up to a multiplicative constant, one concludes that the set of rational approximants to points in $S$ which lie outside of $S$ is large. Furthermore, we deduce extrinsic analogues of the Jarník--Schmidt and Khinchin theorems from known results.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Variations on Dirichlet's theorem

We give a necessary and sufficient condition for the following property of an integer $d\in\mathbb N$ and a pair $(a,A)\in\mathbb R^2$: There exist $κ> 0$ and $Q_0\in\mathbb N$ such that for all $\mathbf x\in \mathbb R^d$ and $Q\geq Q_0$, there exists $\mathbf p/q\in\mathbb Q^d$ such that $1\leq q\leq Q$ and $\|\mathbf x - \mathbf p/q\| \leq κq^{-a} Q^{-A}$. This generalizes Dirichlet's theorem, which states that this property holds (with $κ= Q_0 = 1$) when $a = 1$ and $A = 1/d$. We also analyze the set of exceptions in those cases where the statement does not hold, showing that they form a comeager set. This is also true if $\mathbb R^d$ is replaced by an appropriate "Diophantine space", such as a nonsingular rational quadratic hypersurface which contains rational points. Finally, in the case $d = 1$ we describe the set of exceptions in terms of classical Diophantine conditions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Diophantine properties of measures invariant with respect to the Gauss map

Motivated by the work of D. Y. Kleinbock, E. Lindenstrauss, G. A. Margulis, and B. Weiss, we explore the Diophantine properties of probability measures invariant under the Gauss map. Specifically, we prove that every such measure which has finite Lyapunov exponent is extremal, i.e. gives zero measure to the set of very well approximable numbers. We show on the other hand that there exist examples where the Lyapunov exponent is infinite and the invariant measure is not extremal. Finally, we answer in the negative a question posed by Kleinbock, Lindenstrauss, and Weiss, by constructing a family of measures on the real line which are Ahlfors regular and yet do not satisfy a 0-1 law for approximability.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Shrinking targets for non-autonomous dynamical systems corresponding to Cantor series expansions

We provide a closed formula of Bowen type for the Hausdorff dimension of a very general shrinking target scheme generated by the non-autonomous dynamical system on the interval $[0,1)$, viewed as $\mathbb{R}/\mathbb{Z}$, corresponding to a given method of Cantor series expansion. We also examine a wide class of examples utilizing our theorem. In particular, we provide a Diophantine approximation interpretation of our scheme.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Random Iteration of Rational Functions

It is a theorem of Denker and Urbański ('91) that if $T:\mathbb C\to\mathbb C$ is a rational map of degree at least two and if $ϕ:\mathbb C\to\mathbb R$ is Hölder continuous and satisfies the "thermodynamic expanding" condition $P(T,ϕ) > \sup(ϕ)$, then there exists exactly one equilibrium state $μ$ for $T$ and $ϕ$, and furthermore $(\mathbb C,T,μ)$ is metrically exact. We extend these results to the case of a holomorphic random dynamical system on $\mathbb C$, using the concepts of relative pressure and relative entropy of such a system, and the variational principle of Bogenschütz ('92/'93). Specifically, if $(T,Ω,\textbf P,θ)$ is a holomorphic random dynamical system on $\mathbb C$ and $ϕ:Ω\to H_α(\mathbb C)$ is a Hölder continuous random potential function satisfying one of several sets of technical but reasonable hypotheses, then there exists a unique equilibrium state of $(\mathbb X,\mathbb T,ϕ)$ over $(Ω,\textbf P,θ)$. Also included is a general (non-thermodynamic) discussion of random dynamical systems acting on $\mathbb C$, generalizing several basic results from the deterministic case.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Badly Approximable Systems of Affine Forms and Incompressibility on Fractals

We explore and refine techniques for estimating the Hausdorff dimension of exceptional sets and their diffeomorphic images. Specifically, we use a variant of Schmidt's game to deduce the strong C^1 incompressibility of the set of badly approximable systems of linear forms as well as of the set of vectors which are badly approximable with respect to a fixed system of linear forms.

0 citations0 reviewsNo code linkedOpen access