Metric Diophantine approximation over a local field of positive characteristic

Anish Ghosh

DOI: https://doi.org/10.48550/arXiv.math/0508472

2005-08-24

Abstract:We estalish the conjectures of Sprindzhuk over a local field of positive characteristic using the dynamical method of Kleinbock-Margulis.

Number Theory,Dynamical Systems

What problem does this paper attempt to address?

Projective metric number theory

Anish Ghosh,Alan Haynes

DOI: https://doi.org/10.48550/arXiv.1112.0128

2011-12-01

Abstract:In this paper we consider the probabilistic theory of Diophantine approximation in projective space over a completion of Q. Using the projective metric studied by Bombieri, van der Poorten, and Vaaler we prove the analogue of Khintchine's Theorem in projective space. For finite places and in higher dimension, we are able to completely remove the condition of monotonicity and establish the analogue of the Duffin-Schaeffer conjecture.

Number Theory
Metric Diophantine Approximation with Congruence Conditions

Erez Nesharim,Rene Ruhr,Ronggang Shi

DOI: https://doi.org/10.1142/s1793042120500980

2020-01-01

International Journal of Number Theory

Abstract:We prove a version of the Khinchin–Groshev theorem for Diophantine approximation of matrices subject to a congruence condition. The proof relies on an extension of the Dani correspondence to the quotient by a congruence subgroup. This correspondence together with a multiple ergodic theorem are used to study rational approximations in several congruence classes simultaneously. The result in this part holds in the generality of weighted approximation but is restricted to simple approximation functions.
Effective Results in The Metric Theory of Quantitative Diophantine Approximation

Ying Wai Lee,Andrew Scoones

2024-02-29

Abstract:Many results related to quantitative problems in the metric theory of Diophantine approximation are asymptotic, such as the number of rational solutions to certain inequalities grows with the same rate almost everywhere modulo an asymptotic error term. The error term incorporates an implicit constant that varies from one point to another. This means that applications of these results does not give concrete bounds when applied to, say a finite sum, or when applied to counting the number of solutions up to a finite point for a given inequality. This paper addresses this problem and makes the tools and their results effective, by making the implicit constant explicit outside of an exceptional subset of Lebesgue measure at most $\delta>0$, an arbitrarily small constant chosen in advance. We deduce from this the fully effective results for Schmidt's Theorem, quantitative Koukoulopoulos-Maynard Theorem and quantitative results on $M_{0}$-sets; we also provide effective results regarding statistics of normal numbers and strong law of large numbers.

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

Tushar Das,Lior Fishman,David Simmons,Mariusz Urbański

DOI: https://doi.org/10.1016/j.crma.2017.07.007

2017-08-01

Comptes Rendus Mathematique

Abstract: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×n matrices are both equal to mn(1−1m+n), thus proving a conjecture of Kadyrov, Kleinbock, Lindenstrauss, and Margulis as well as answering a question of Bugeaud, Cheung, and Chevallier. Other applications include computing the dimensions of the sets of points witnessing conjectures of Starkov and Schmidt.

mathematics
Local positivity and effective Diophantine approximation

DOI: https://doi.org/10.1007/s12188-022-00260-8

2022-11-08

Abstract:In this paper we present a new approach to prove effective results in Diophantine approximation. This approach involves measures of local positivity of divisors combined with Faltings's version of Siegel's lemma instead of a zero estimate such as Dyson's lemma. We then use it to prove an effective theorem on the simultaneous approximation of two algebraic numbers satisfying an algebraic equation with complex coefficients.

mathematics
Diophantine approximation in metric space

Jonathan M. Fraser,Henna Koivusalo,Felipe A. Ramírez

DOI: https://doi.org/10.1112/blms.12755

IF: 1.036

2022-12-04

Bulletin of the London Mathematical Society

Abstract:Diophantine approximation is traditionally the study of how well real numbers are approximated by rationals. We propose a model for studying Diophantine approximation in an arbitrary totally bounded metric space where the rationals are replaced with a countable hierarchy of "well‐spread" points, which we refer to as abstract rationals. We prove various Jarník–Besicovitch type dimension bounds and investigate their sharpness.

mathematics
Proving the Duffin-Schaeffer conjecture without GCD graphs

Manuel Hauke,Santiago Vazquez Saez,Aled Walker

2024-04-23

Abstract:We present a novel proof of the Duffin-Schaeffer conjecture in metric Diophantine approximation. Our proof is heavily motivated by the ideas of Koukoulopoulos-Maynard's breakthrough first argument, but simplifies and strengthens several technical aspects. In particular, we avoid any direct handling of GCD graphs and their `quality'. We also consider the metric quantitative theory of Diophantine approximations, improving the $(\log \Psi(N))^{-C}$ error-term of Aistleitner-Borda and the first named author to $\exp(-(\log \Psi(N))^{\frac{1}{2} - \varepsilon})$.

Number Theory
Two Central limit theorems in Diophantine approximation

Gaurav Aggarwal,Anish Ghosh

2023-06-04

Abstract:We prove central limit theorems for Diophantine approximations with congruence conditions and for inhomogeneous Diophantine approximations following the approach of Björklund and Gorodnik. The main tools are the cumulant method and dynamics on homogeneous spaces.

Number Theory,Dynamical Systems,Probability
Approximation of adelic divisors and equidistribution of small points

François Ballaÿ,Martín Sombra

2024-07-21

Abstract:We study the asymptotic distribution of Galois orbits of algebraic points with small height in a projective variety over a number field. Our main result is a generalization of Yuan's equidistribution theorem that does not require Zhang's lower bound for the essential minimum to be attained. It extends to all projective varieties a theorem of Burgos Gil, Philippon, Rivera-Letelier and the second author for toric varieties, and implies the semiabelian equidistribution theorem of Kühne. We also generalize previous work of Chambert-Loir and Thuillier to prove new logarithmic equidistribution results. In the last section, we extend our main theorem to the quasi-projective setting recently introduced by Yuan and Zhang.

Number Theory,Algebraic Geometry
Mean Values over Lattices in Number Fields and Effective Diophantine Approximation

Nathan Hughes

2023-06-05

Abstract:We answer a question raised by Alam and Ghosh concerning an error term for a spiralling result in Diophantine approximation by rationals in a number field. The proof relies on a generalisation of Rogers' Mean Value Theorem to algebraic number fields and an effective ergodic theorem due to Gaposhkin.

Number Theory,Dynamical Systems
Geodesic Metrics on Fractals and Applications to Heat Kernel Estimates

Qingsong Gu,Ka-Sing Lau,Hua Qiu,Huo-Jun Ruan

DOI: https://doi.org/10.1007/s11425-021-1989-3

2023-01-01

Science China Mathematics

Abstract:It is well known that for a Brownian motion, if we change the medium to be inhomogeneous by a measure μ , then the new motion (the time-changed process) will diffuse according to a different metric D (·,·). In 2009, Kigami initiated a general scheme to construct such metrics through some self-similar weight functions g on the symbolic space. In order to provide concrete models to Kigami’s theoretical construction, in this paper, we give a thorough study of his metric on two classes of fractals of primary importance: the nested fractals and the generalized Sierpinski carpets; we assume further that the weight functions g ≔ g a are generated by “symmetric” weights a . Let M be the domain of a such that D ga defines a metric, and let S be the boundary of M . One of our main results is that the metrics from g a satisfy the metric chain condition if and only if a ∈ S. To determine M and S , we provide a recursive weight transfer construction on the nested fractals, and a basic symmetric argument on the Sierpinski carpet. As an application, we use the metric chain condition to obtain the lower estimate of the sub-Gaussian heat kernel. This together with the upper estimate obtained by Kigami allows us to have a concrete class of metrics for the time change, and the two-sided sub-Gaussian heat kernel estimate on the fundamental fractals.
Diophantine Approximation in local function fields via Bruhat-Tit trees

Luis Arenas-Carmona,Claudio Bravo

2024-01-10

Abstract:We use the theory of arithmetic quotients of the Bruhat-Tits tree developed by Serre and others to obtain Dirichlet-style theorems for Diophantine approximation on global function fields. This approach allows us to find sharp values for the constants involved and, occasionally, explicit examples of badly approximable quadratic irrationals. Additionally, we can use this method to easily compute the measure of the set of elements that can be written as the limit of a sequence of ``better than expected'' approximants. All these results can be easily obtained via continued fractions when they are available, so that quotient graphs can be seen as a partial replacement of them when this fails to be the case.

Number Theory
Dynamical diophantine approximation exponents in characteristic p

Wade Hindes

DOI: https://doi.org/10.1112/blms.13168

IF: 1.036

2024-10-19

Bulletin of the London Mathematical Society

Abstract:Let φ(z) be a non‐isotrivial rational function in one‐variable with coefficients in F ̄p(t) and assume that γ∈P1(F ̄p(t)) is not a post‐critical point for φ . Then we prove that the diophantine approximation exponent of elements of φ−m(γ) are eventually bounded above by ⌈deg(φ)m/2⌉+1 . To do this, we mix diophantine techniques in characteristic p with the adelic equidistribution of small points in Berkovich space. As an application, we deduce a form of Silverman's celebrated limit theorem in this setting. Namely, if we take any wandering point a∈P1(F ̄p(t)) and write φn(a)=an/bn for some coprime polynomials an,bn∈F ̄p[t] , then we prove that 12⩽lim infn→∞deg(an)deg(bn)⩽lim supn→∞deg(an)deg(bn)⩽2, whenever 0 and ∞ are both not post‐critical points for φ . In characteristic p , the Thue–Siegel–Dyson–Roth theorem is false, and so our proof requires different techniques than those used by Silverman.

mathematics
Inhomogeneous Diophantine Approximation on $M_0$-sets

Volodymyr Pavlenkov,Evgeniy Zorin

2024-01-17

Abstract:We prove new quantitative Schmidt-type theorem for Diophantine approximations with restraint denominators on fractals (more precisely, on $M_0$-sets). Our theorems introduce a sharp balance condition between the growth rate of the sequence of denominators and the decay rate of the Fourier transform of a Rajchman measure. Among the other things, this allows applications to sequences of denominators of polynomial growth. In particular, we infer new inhomogeneous Khintchine-Järnik type theorems with restraint denominators for a broad family of denominator sequences. Furthermore, our results provide non-trivial lower bounds for Hausdorff dimensions of intersections of two sets of inhomogeneously well-approximable numbers with restraint denominators.

Number Theory,Dynamical Systems
Metric and spectral aspects of random complex divisors

Michele Ancona,Damien Gayet

2023-11-16

Abstract:For any integer $n\geq 2$, we prove that for any large enough integer $d$, with large probability the injectivity radius of a random degree $d$ complex hypersurface in $\mathbb{C} \mathit{P}^n$ is larger than $d^{-\frac{3}2(n+1)}$. Here the hypersurface is endowed with the restriction of the ambient Fubini-Study metric, and the probability measure is induced by the Fubini-Study $L^2$-Hermitian product on the space of homogeneous complex polynomials of degree $d$ in $(n+1)$-variables. We also prove that with high probability, the sectional curvatures of the random hypersurface are bounded by $d^{3(n+1)}$, and that its spectral gap is bounded below by $\exp(-d^{\frac{3}2(n+3)})$. These results extend to random submanifolds of higher codimension in any complex projective manifold. Independently, we prove that the diameter of a degree $d$ divisor is bounded by $Cd^3$, which generalizes and amends the bound given in~\cite{feng1999diameter} for planar curves.

Algebraic Geometry,Probability
Inhomogeneous Khitchine-Groshev type theorems on manifolds over function fields

Sourav Das,Arijit Ganguly

2024-06-13

Abstract:The goal of this paper is to establish a complete Khintchine-Groshev type theorem in both homogeneous and inhomogeneous setting, on analytic nondegenerate manifolds over a local field of positive characteristic. The dual form of Diophantine approximation has been considered here. Our treatise provides the function field analogues of the various earlier results of this type, studied in the euclidean and S-adic framework, by Bernik, Kleinbock and Margulis, Beresnevich, Bernik, Kleinbock and Margulis, Badziahin, Beresnevich and Velani, Mohammadi and Golsefidy, and Datta and Ghosh.

Number Theory
Good functions, measures, and the Kleinbock-Tomanov conjecture

Victor Beresnevich,Shreyasi Datta,Anish Ghosh

2024-07-17

Abstract:In this paper we prove a conjecture of Kleinbock and Tomanov \cite[Conjecture~FP]{KT} on Diophantine properties of a large class of fractal measures on $\mathbb{Q}_p^n$. More generally, we establish the $p$-adic analogues of the influential results of Kleinbock, Lindenstrauss, and Weiss \cite{KLW} on Diophantine properties of friendly measures. We further prove the $p$-adic analogue of one of the main results in \cite{Kleinbock-exponent} due to Kleinbock concerning Diophantine inheritance of affine subspaces, which answers a question of Kleinbock. One of the key ingredients in the proofs of \cite{KLW} is a result on $(C, \alpha)$-good functions whose proof crucially uses the mean value theorem. Our main technical innovation is an alternative approach to establishing that certain functions are $(C, \alpha)$-good in the $p$-adic setting. We believe this result will be of independent interest.

Number Theory,Dynamical Systems
A variational principle in the parametric geometry of numbers

Tushar Das,Lior Fishman,David Simmons,Mariusz Urbański

DOI: https://doi.org/10.1016/j.aim.2023.109435

2023-11-12

Abstract: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.

Number Theory,Dynamical Systems
Simultaneous Diophantine approximation with a divisibility condition

Bernard de Mathan

2024-02-14

Abstract:In a previous paper, we studied certain sequences of simultaneous rational approximations in ${\bf R}^2$ which present some analogy with the continued fractions. We got results around the Littlewood conjecture by using such approximations. Here we show that such results also hold when we add divisibility conditions.

Number Theory
Diophantine transference principle over function fields

Sourav Das,Arijit Ganguly

2024-01-27

Abstract:We study the Diophantine transference principle over function fields. By adapting the approach of Beresnevich and Velani to the function field set-up, we extend many results from homogeneous Diophantine approximation to the realm of inhomogeneous Diophantine approximation over function fields. This also yields the inhomogeneous Baker-Sprindzuk conjecture over function fields as a consequence. Furthermore, we prove the upper bounds for the general non-extremal scenario.

Number Theory

Metric Diophantine approximation over a local field of positive characteristic

Projective metric number theory

Metric Diophantine Approximation with Congruence Conditions

Effective Results in The Metric Theory of Quantitative Diophantine Approximation

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

Local positivity and effective Diophantine approximation

Diophantine approximation in metric space

Proving the Duffin-Schaeffer conjecture without GCD graphs

Two Central limit theorems in Diophantine approximation

Approximation of adelic divisors and equidistribution of small points

Mean Values over Lattices in Number Fields and Effective Diophantine Approximation

Geodesic Metrics on Fractals and Applications to Heat Kernel Estimates

Diophantine Approximation in local function fields via Bruhat-Tit trees

Dynamical diophantine approximation exponents in characteristic p

Inhomogeneous Diophantine Approximation on $M_0$-sets

Metric and spectral aspects of random complex divisors

Inhomogeneous Khitchine-Groshev type theorems on manifolds over function fields

Good functions, measures, and the Kleinbock-Tomanov conjecture

A variational principle in the parametric geometry of numbers

Simultaneous Diophantine approximation with a divisibility condition

Diophantine transference principle over function fields