Loading [MathJax]/extensions/TeX/boldsymbol.js

Number Theory

2025-04-07 | | Total: 6

#1 On the maximal volume of empty convex bodies amidst multivariate dilates of a lacunary integer sequence [PDF] [Copy] [Kimi] [REL]

Author: Eduard Stefanescu

Let (an)nN be a lacunary sequence of integers satisfying the Hadamard gap condition. For any fixed dimension d1, 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.

Subject: Number Theory

Publish: 2025-04-04 16:27:58 UTC


#2 Sums of squares of integers except for a fixed one [PDF] [Copy] [Kimi] [REL]

Authors: Wonjun Chae, Yun-seong Ji, Kisuk Kim, Kyoungmin Kim, Byeong-Kweon Oh, Jongheun Yoon

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.

Subject: Number Theory

Publish: 2025-04-04 14:17:51 UTC


#3 On a theorem of Erdős and Loxton [PDF] [Copy] [Kimi] [REL]

Author: Noah Lebowitz-Lockard

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).

Subject: Number Theory

Publish: 2025-04-04 13:37:46 UTC


#4 A P-adic class formula for Anderson t-modules [PDF] [Copy] [Kimi] [REL]

Author: Alexis Lucas

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.

Subject: Number Theory

Publish: 2025-04-04 13:19:55 UTC


#5 On the torsion growth in quadratic number fields for elliptic curves defined over the rationals [PDF] [Copy] [Kimi] [REL]

Authors: Arias-de-Reyna, Sara, Pineda, Miguel, Tornero, José M

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.

Subject: Number Theory

Publish: 2025-04-04 09:13:43 UTC


#6 Best versus uniform Diophantine approximatio [PDF] [Copy] [Kimi] [REL]

Authors: Martin Rivard-Cooke, Damien Roy

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).

Subject: Number Theory

Publish: 2025-04-04 01:23:21 UTC