2025-04-07 | | Total: 6
Let (an)n∈N be a lacunary sequence of integers satisfying the Hadamard gap condition. For any fixed dimension d≥1, we establish asymptotic upper bounds for the maximal gap in the set of dilates \{\boldsymbol{\alpha} a_n \}_{n \leq N} modulo 1 as N \to \infty, for Lebesgue--almost all dilation vectors \boldsymbol{\alpha} \in [0,1]^d. More precisely, we prove that for any lacunary (a_n)_{n \in \mathbb{N}} and Lebesgue--almost all \boldsymbol{\alpha}, every convex set in [0,1]^d of volume at least (\log N)^{2+\varepsilon}/N must contain an element of the set \{\boldsymbol{\alpha} a_n \}_{n \leq N} mod 1, for all sufficiently large N. We also establish a generalized version of this result, where the d-dimensional Lebesgue measure is replaced by a general measure satisfying a certain Fourier decay condition. Our result is optimal up to logarithmic factors, and recovers as a special case a recent result for dimension d=1.
In this article, we study a sum of squares of integers except for a fixed one. For any nonnegative integer n, we find the minimum number of squares of integers except for n whose sums represent all positive integers that are represented by a sum of squares except for it. This problem could be considered as a generalization of Dubouis's result for the case when n=0.
Let a(n) be the number of partitions of n of the form a_1 + a_2 + \cdots + a_k where a_{i + 1} is a proper divisor of a_i for all i < k. Erd{\H o}s and Loxton showed that the sum of a(n) over all n \leq x is asymptotic to a constant multiple of x^\rho where s = \rho \approx 1.73 is the unique solution to the equation \zeta(s) = 2 satisfying s > 1. In this note, we provide tight bounds on the value of this constant, though we do not find an exact formula for it. In addition, we write an explicit upper bound for a(n).
Let P be a monic prime of \mathbb F_q[\theta], we define the P-adic L-series associated with Anderson t-modules and prove a P-adic class formula à la Taelman linking a P-adic regulator, the class module and a local factor at P. Next, we extend this result to the multi-variable setting à la Pellarin. Finally, we give some applications to Drinfeld modules defined over \mathbb F_q[\theta] itself.
Given an elliptic curve defined over the field of rational numbers, it is known how its torsion subgroup may grow when we make a base change to a quadratic number field. In this paper we consider the inverse question: if we have the elliptic curve defined over the rationals and we know how the torsion subgroup grows, what can we say about the field? Our main result gives an explicit relationship between the primes dividing the conductor of the curve and the conductor of the extension as a first approach to a better understanding of this problem.
Let 0<m<n be integers, and let K_w denote the completion of a number field K at a non-trivial place w. For each non-zero \textbf{u}\in K_w^n, let \omega_{m-1}(\textbf{u}) denote the exponent of best approximation to \textbf{u} by vector subspaces of K_w^n of dimension m defined over K, and let \widehat{\omega}_{m-1}(\textbf{u}) denote the corresponding exponent of uniform approximation. Finally, let S_{m,n} denote the set of all pairs (\widehat{\omega}_{m-1}(\textbf{u}),\omega_{m-1}(\textbf{u})) where \textbf{u} runs through all points of K_w^n with linearly independent coordinates over K. In this paper we use parametric geometry of numbers to study this spectrum S_{m,n}, noting at first that it is independent of the choice of K and w. We may thus assume that K=\mathbb{Q} and K_w=\mathbb{R}. In this context, Schmidt and Summerer proposed conjectural descriptions for S_{1,n} and S_{n-1,n} which were confirmed by Marnat and Moshchevitin for each n\ge 2. We give an alternative proof of their result based on the PhD thesis of the first author, highlighting the duality between the two spectra. In his thesis, the first author generalized the conjecture to any pair (m,n) and proved it to be true also for S_{2,4}. We present this as well, but show that this natural conjecture fails for S_{3,5}. Moreover, the part of S_{3,5} that we succeed to compute here suggests a complicated boundary for that set, possibly not semialgebraic. We also give a qualitative description of S_{m,n} for a general pair (m,n).