Searcharxiv⌕ Search

arXiv subjects

Faustin Adiceam

Publications and source records attributed to Faustin Adiceam.

At least 19 recordsLinked to original sources
arXiv2026

Rational Points and Brownian Motion

Given a real-valued function $f$, let $\mathcal{N}_f(\delta, Q)$ be the number of rational points with denominators at most $Q\ge 1$ in the $(\delta/Q)$-tubular neighbourhood of the graph of the function $f$. A heuristic predicts that the number of such points grows like the area of the neighbourhood provided that $\delta$ is big enough (in a suitable sense). Considerable efforts have been committed to prove this heuristic for regular curves. This culminated in the works by Vaughan \& Velani~(2006) and by Huang~(2015) establishing an asymptotic expansion for $\mathcal{N}_f(\delta, Q)$ provided that $\delta\gg Q^{-1+\epsilon}$ for some $\epsilon>0$ when the map $f$ is, among other assumptions, twice continuously differentiable. The present work deals with the thus-far unexplored regime where minimal regularity conditions are imposed on the curve. More precisely, it is concerned with the case where the map $f$ is an a.s. realisation of the graph of Brownian motion. The main result establishes the existence of an almost sure asymptotic expansion for the counting function for all values of $\delta$, with the exception of a critical regime, thereby going well beyond the theory currently available for regular curves. A key ingredient in the proof is the derivation of the area heuristic, which relies on establishing the a.s. asymptotics of the area of the tubular neighbourhood of the graph of Brownian motion. This result has two main consequences: firstly, it completes the counting aspect of the theory of Diophantine approximation on the graph of Brownian motion initiated by Sprind\v{z}uk (1979). Secondly, it hints at the existence of a theory unifying the analysis of rational points near a curve on the one hand and, on the other, its local H\"older regularity and fine-scale oscillations. It thus builds a seemingly new bridge between Number Theory and Multifractal Analysis.

math.NT↗
arXiv2025

On the $P(t)$-adic Littlewood Conjecture in Characteristics $\ell \equiv 3\pmod{4}$

Given a prime $p$, the $p$-adic Littlewood Conjecture stands as a well-known arithmetic variant of the celebrated Littlewood Conjecture in Diophantine Approximation. In the same way as the latter, it admits a natural function field analogue depending on the choice of an irreducible polynomial $P(t)$ with coefficients in a field $\mathbb{K}$. This analogue is referred to as the $P(t)$-adic Littlewood Conjecture ($P(t)$-LC for short). $P(t)$-LC is proved to fail for any choice of irreducible polynomial $P(t)$ over any ground field $\mathbb{K}$ with characteristic $ \ell \equiv 3\pmod{4}$. The counterexample refuting it is shown to present a local arithmetic obstruction emerging from the fact that -1 is not a quadratic residue modulo a prime $\ell\equiv 3\pmod{4}$. The theory developed elucidates and generalises all previous approaches towards refuting the conjecture. They were all based on the computer-assisted method initiated by Adiceam, Nesharim and Lunnon (2021) which has been able to establish that $P(t)$-LC fails in some small characteristics (essentially up to 11). This computer-assisted method is, however, unable to provide a general statement as it relies on ad hoc computer verifications which, provided they terminate, refute $P(t)$--LC in a given characteristic. This limitation is overcome by exhibiting an arithmetic obstruction to the validity of $P(t)$--LC in infinitely many characteristics. The existence of arithmetic obstructions within the context of $P(t)$--LC leaves the remaining case of odd characteristics $ \ell\equiv 1\pmod{4}$ dependent on their determination. This is shown to hold in an effective and explicit way.

math.NT↗
arXiv2024

Probabilistic Effectivity in the Subspace Theorem

The Subspace Theorem due to Schmidt (1972) is a broad generalisation of Roth's Theorem in Diophantine Approximation (1955) which, in the same way as the latter, suffers a notorious lack of effectivity. This problem is tackled from a probabilistic standpoint by determining the proportion of algebraic linear forms of bounded heights and degrees for which there exists a solution to the Subspace Inequality lying in a subspace of large height. The estimates are established for a class of height functions emerging from an analytic parametrisation of the projective space. They are pertinent in the regime where the heights of the algebraic quantities are larger than those of the rational solutions to the inequality under consideration, and are valid for approximation functions more general than the power functions intervening in the original Subspace Theorem. These estimates are further refined in the case of Roth's Theorem so as to yield a Khintchin-type density version of the so-called Waldschmidt conjecture (which is known to fail pointwise). This answers a question raised by Beresnevich, Bernik and Dodson (2009).

math.NT↗
arXiv2024

Randomisation in the Josephus Problem

The Josephus problem is a well--studied elimination problem consisting in determining the position of the survivor after repeated applications of a deterministic rule removing one person at a time from a given group. A natural probabilistic variant of this process is introduced in this paper. More precisely, in this variant, the survivor is determined after performing a succession of Bernouilli trials with parameter $p$ designating each time the person to remove. When the number of participants tends to infinity, the main result characterises the limit distribution of the position of the survivor with an increasing degree of precision as the parameter approaches the unbiaised case $p=1/2$. Then, the convergence rate to the position of the survivor is obtained in the form of a Central-Limit Theorem. A number of other variants of the suggested probabilistic elimination process are also considered. They each admit a specific limit behavior which, in most cases, is stated in the form of an open problem.

math.PR↗
arXiv2023

Homogeneous Forms Inequalities

Given a set of inequalities determined by homogeneous forms, the following intertwined results are established: (1) the volume of the real semi-algebraic domain determined by these inequalities is explicitly determined; it is shown to be related to the largest root of the so-called Sato-Bernstein polynomial associated to a multivarite polynomial derived from the given set of homogeneous forms; (2) in relation with this result, the multiplicity of the largest root of the Sato-Bernstein polynomial of a multivariate polynomial is shown to coincide with the order of the smallest pole of the complex meromorphic zeta-distribution attached to it. This settles a classical problem in the theory of D-modules; (3) in the case that the homogeneous forms are twisted by random unimodular matrices, a metric, uniform and effective version of the Oppenheim conjecture is established. This answers a problem raised by Athreya and Margulis (2018). So does a related metric estimate counting the number of solutions in integer lattice points to the set of twisted inequalities. (4) in the deterministic case where the set of homogeneous forms is fixed, an upper bound is proved to hold for the function counting the number of integer solutions to the system of inequalities under consideration. The error term in this estimate is shown to admit a power saving provided that a quantitative measure of flatness emerging from geometric tomography is large enough. This settles a conjecture stated by Sarnak (1997).

math.NT↗
arXiv2022

Visibility Properties of Spiral Sets

A spiral in $\mathbb{R}^{d+1}$ is defined as a set of the form $\left\{\sqrt[d+1]{n}\cdot\boldsymbol{u}_n\right\}_{n\ge 1},$ where $\left(\boldsymbol{u}_n\right)_{n\ge 1}$ is a spherical sequence. Such point sets have been extensively studied, in particular in the planar case $d=1$, as they then serve as natural models describing phyllotactic structures (i.e. structures representing configurations of leaves on a plant stem). Recent progress in this theory provides a fine analysis of the distribution of spirals (e.g., their covering and packing radii). Here, various concepts of visiblity from discrete geometry are employed to characterise density properties of such point sets. More precisely, necessary an sufficient conditions are established for a spiral to be (1) an orchard (a "homogeneous" density property defined by Pòlya), (2) a uniform orchard (a concept introduced in this work), (3) a set with no visible point (implying that the point set is dense enough in a suitable sense) and (4) a dense forest (a quantitative and uniform refinement of the previous concept).

math.NT↗
arXiv2021

Cut-and-project quasicrystals, lattices, and dense forests

Dense forests are discrete subsets of Euclidean space which are uniformly close to all sufficiently long line segments. The degree of density of a dense forest is measured by its visibility function. We show that cut-and-project quasicrystals are never dense forests, but their finite unions could be uniformly discrete dense forests. On the other hand, we show that finite unions of lattices typically are dense forests, and give a bound on their visibility function, which is close to optimal. We also construct an explicit finite union of lattices which is a uniformly discrete dense forest with an explicit bound on its visibility.

math.NT↗
arXiv2021

Higher Dimensional Spiral Delone Sets

A Delone set in $\mathbb{R}^n$ is a set such that (a) the distance between any two of its points is uniformly bounded below by a strictly positive constant and such that (b) the distance from any point to the remaining points in the set is uniformly bounded above. Delone sets are thus sets of points enjoying nice spacing properties, and appear therefore naturally in mathematical models for quasicrystals. Define a spiral set in $\mathbb{R}^n$ as a set of points of the form $\left\{\sqrt[n]{k}\cdot\boldsymbol{u}_k\right\}_{k\ge 1}$, where $\left(\boldsymbol{u}_k\right)_{k\ge 1}$ is a sequence in the unit sphere $\mathbb{S}^{n-1}$. In the planar case $n=2$, spiral sets serve as natural theoretical models in phyllotaxis (the study of configurations of leaves on a plant stem), and an important example in this class includes the sunflower spiral. Recent works by Akiyama, Marklof and Yudin provide a reasonable complete characterisation of planar spiral sets which are also Delone. A related problem that has emerged in several places in the literature over the past fews years is to determine whether this theory can be extended to higher dimensions, and in particular to show the existence of spiral Delone sets in any dimension. This paper addresses this question by characterising the Delone property of a spiral set in terms of packing and covering conditions satisfied by the spherical sequence $\left(\boldsymbol{u}_k\right)_{k\ge 1}$. This allows for the construction of explicit examples of spiral Delone sets in $\mathbb{R}^n$ for all $n\ge 2$, which boils down to finding a sequence of points in $\mathbb{S}^{n-1}$ enjoying some optimal distribution properties.

math.NT↗
arXiv2021

Around the Danzer Problem and the Construction of Dense Forests

A 1965 problem due to Danzer asks whether there exists a set with finite density in Euclidean space intersecting any convex body of volume one. A suitable weakening of the volume constraint leads to the (much more recent) problem of constructing \emph{dense forests}. These are discrete point sets getting uniformly close to long enough line segments. Progress towards these problems have so far involved a wide range of ideas surrounding areas as varied as combinatorial and computation geometry, convex geometry, Diophantine approximation, discrepancy theory, the theory of dynamical systems, the theory of exponential sums, Fourier analysis, homogeneous dynamics, the mathematical theory of quasicrystals and probability theory. The goal of this paper is to survey the known results related to the Danzer Problem and to the construction of dense forests, to generalise some of them and to state a number of open problems to make further progress towards a solution to this longstanding question.

math.NT↗
arXiv2020

On the $t$-adic Littlewood Conjecture

The $p$-adic Littlewood Conjecture due to De Mathan and Teulié asserts that for any prime number $p$ and any real number $α$, the equation $$\inf_{|m|\ge 1} |m|\cdot |m|_p\cdot |\langle mα\rangle|\, =\, 0 $$ holds. Here, $|m|$ is the usual absolute value of the integer $m$, $|m|_p$ its $p$-adic absolute value and $ |\langle x\rangle|$ denotes the distance from a real number $x$ to the set of integers. This still open conjecture stands as a variant of the well-known Littlewood Conjecture. In the same way as the latter, it admits a natural counterpart over the field of formal Laurent series $\mathbb{K}\left(\left(t^{-1}\right)\right)$ of a ground field $\mathbb{K}$. This is the so-called \emph{$t$-adic Littlewood Conjecture} ($t$-LC). It is known that $t$--LC fails when the ground field $\mathbb{K}$ is infinite. This article is concerned with the much more difficult case when the latter field is finite. More precisely, a \emph{fully explicit} counterexample is provided to show that $t$-LC does not hold in the case that $\mathbb{K}$ is a finite field with characteristic 3. Generalizations to fields with characteristics different from 3 are also discussed. The proof is computer assisted. It reduces to showing that an infinite matrix encoding Hankel determinants of the Paper-Folding sequence over $\mathbb{F}_3$, the so-called Number Wall of this sequence, can be obtained as a two-dimensional automatic tiling satisfying a finite number of suitable local constraints.

math.NT↗
arXiv2016

On the Minimum of a Positive Definite Quadratic Form over Non--Zero Lattice points. Theory and Applications

Let $Σ_d^{++}$ be the set of positive definite matrices with determinant 1 in dimension $d\ge 2$. Identifying any two $SL_d(\mathbb{Z})$-congruent elements in $Σ_d^{++}$ gives rise to the space of reduced quadratic forms of determinant one, which in turn can be identified with the locally symmetric space $X_d:=SL_d(\mathbb{Z})\backslash SL_d(\mathbb{R})/SO_d(\mathbb{R})$. Equip the latter space with its natural probability measure coming from a Haar measure on $SL_d(\mathbb{R})$. In 1998, Kleinbock and Margulis established sharp estimates for the probability that an element of $X_d$ takes a value less than a given real number $δ>0$ over the non--zero lattice points $\mathbb{Z}^d\backslash\{ 0 \}$. In this article, these estimates are extended to a large class of probability measures arising either from the spectral or the Cholesky decomposition of an element of $Σ_d^{++}$. The sharpness of the bounds thus obtained are also established (up to multiplicative constants) for a subclass of these measures. Although of an independent interest, this theory is partly developed here with a view towards application to Information Theory. More precisely, after providing a concise introduction to this topic fitted to our needs, we lay the theoretical foundations of the study of some manifolds frequently appearing in the theory of Signal Processing. This is then applied to the recently introduced Integer-Forcing Receiver Architecture channel whose importance stems from its expected high performance. Here, we give sharp estimates for the probabilistic distribution of the so-called \emph{Effective Signal--to--Noise Ratio}, which is an essential quantity in the evaluation of the performance of this model.

math.NT↗
arXiv2016

Open Problems and Conjectures related to the Theory of Mathematical Quasicrystals

This list of problems arose as a collaborative effort among the participants of the Arbeitsgemeinschaft on Mathematical Quasicrystals, which was held at the Mathematisches Forschungsinstitut Oberwolfach in October 2015. The purpose of our meeting was to bring together researchers from a variety of disciplines with a common goal of understanding different viewpoints and approaches surrounding the theory of mathematical quasicrystals. The problems reflect this goal and this diversity and we hope that they will motivate further cross-disciplinary research and lead to new advances in our overall vision of this rapidly developing field.

math-ph↗
arXiv2015

How far can you see in a forest?

We address a visibility problem posed by Solomon & Weiss. More precisely, in any dimension $n := d + 1 \ge 2$, we construct a forest $\F$ with finite density satisfying the following condition : if $\e > 0$ denotes the radius common to all the trees in $\F$, then the visibility $\V$ therein satisfies the estimate $\V(\e) = O(\e^{-2d-η})$ for any $η> 0$, no matter where we stand and what direction we look in. The proof involves Fourier analysis and sharp estimates of exponential sums.

math.NT↗
arXiv2015

Diophantine Approximation and applications in Interference Alignment

This paper is motivated by recent applications of Diophantine approximation in electronics, in particular, in the rapidly developing area of Interference Alignment. Some remarkable advances in this area give substantial credit to the fundamental Khintchine-Groshev Theorem and, in particular, to its far reaching generalisation for submanifolds of a Euclidean space. With a view towards the aforementioned applications, here we introduce and prove quantitative explicit generalisations of the Khintchine-Groshev Theorem for non-degenerate submanifolds of $\mathbb{R}^n$. The importance of such quantitative statements is explicitly discussed in Section 4.7.1 of Jafar's monograph `Interference Alignment - A New Look at Signal Dimensions in a Communication Network', Foundations and Trends in Communications and Information Theory, Vol. 7, no. 1, 2010.

math.NT↗
arXiv2014

Rational approximation and arithmetic progressions

A reasonably complete theory of the approximation of an irrational by rational fractions whose numerators and denominators lie in prescribed arithmetic progressions is developed in this paper. Results are both, on the one hand, from a metrical and a non-metrical point of view and, on the other hand, from an asymptotic and also a uniform point of view. The principal novelty is a Khintchine type theorem for uniform approximation in this context. Some applications of this theory are also discussed.

math.NT↗
arXiv2013

Liminf Sets in Simultaneous Diophantine Approximation

Let Q be an infinite set of positive integers. Denote by W(Q) the set of n-tuples of real numbers simultaneously tau-well approximable by infinitely many rationals with denominators in Q but only by finitely many rationals with denominators in the complement of Q. The Hausdorff dimension of the liminf set W(Q) is computed when tau > 2 + 1/n. A p-adic analogue of the problem is also studied.

math.NT↗
arXiv2013

Vertical shift and simultaneous Diophantine approximation on polynomial curves

The Hausdorff dimension of the set of simultaneously tau well approximable points lying on a curve defined by a polynomial P(X)+alpha, where P(X) is a polynomial with integer coefficients and alpha is in R, is studied when tau is larger than the degree of P(X). This provides the first results related to the computation of the Hausdorff dimension of the set of well approximable points lying on a curve which is not defined by a polynomial with integer coefficients. The proofs of the results also include the study of problems in Diophantine approximation in the case where the numerators and the denominators of the rational approximations are related by some congruential constraint.

math.NT↗