Number Theory [math.NT]

Estimating the tail of the singular product in the multivariate Bateman-Horn conjecture

math.NT

This paper investigates the asymptotics of the number of prime values taken by a polynomial in several variables with integer coefficients. Based on probabilistic heuristics and the multidimensional Bateman Horn conjecture, the expected order of growth of this number is derived. The main focus is on the accuracy of computing the singular series. Using methods of algebraic geometry and analytic number theory, estimates for the tail of the singular product are obtained. For the general case of polynomials satisfying smoothness conditions, an upper bound for the relative error is established. For diagonal polynomials, due to the factorization of exponential sums and formula of Katz, an improvement is achieved both in the decay exponent and in the constant. Comparative tables are provided demonstrating the effectiveness of the diagonal case. The results make it possible to control the accuracy of the singular series approximation in practical computations and can be used for further progress towards the proof of the Bateman Horn conjecture for multivariate polynomials.

Combinatorial sums derived from properties of Legendre polynomials

math.NT

From an identity connecting a combinatorial sum and Legendre polynomials, we derive closed forms for a number of combinatorial sums. Some of them are obtained via results about the integrals of functions associated with Legendre polynomials.

Monsky Matrix and 2-Selmer rank

math.NT

In this article, we produce infinite families of non-congruent numbers in the residue class of $1,2,$ and $3$ modulo $8$ with arbitrarily many triples or quadruples prime factors. In short, we use Monsky matrix to show that the $2$-Selmer rank of the corresponding congruent number elliptic curve is zero. We also establish some quantitative results to conclude that each such family contains infinitely many non-congruent numbers.

The $p$-powers dividing certain exponential sums

math.NT

We define the notion of couple density $(D, \mathbf b)$ where $D$ is a non-empty subset of $\mathbb Z^{m}$ and $ \mathbf b$ a fixed element in $\{0, \cdots, q-2\}^{m};$ We determine a minimum in terms of the density of the couple $(D,\mathbf b)$ for the $q$-adic valuation of the sum $ S_{\ell}(F,\mathbf b)$ with $F$ a Laurent polynomial. And we show that this minimum is a bound for the $q$-adic valuation of the zeros and poles of the associated $L$-function.

Solution to the Erdos problem on distinct residues of factorials

math.NT

math.CO

Paul Erdos posed the following question: Is there a prime number $p>5$ such that the residues of $2!$, $3!$,\ldots, $(p-1)!$ modulo $p$ all are distinct. In this short note, we give the negative answer on this question in an elementary way.

Families of Unit Equations and Exponential Diophantine Problems via Integral Points

math.NT

This paper investigates the distribution of integral points on projective varieties via two distinct methods: the Ru-Vojta theorem and our higher-dimensional generalization of the Huang-Levin-Xiao inequalities. These approaches operate under distinct geometric conditions, specifically the transverse and proper intersections of boundary divisors. Applying this framework, we prove degeneracy results for the solution sets of two classes of one-parameter families of unit equations, differentiated by the degrees of their polynomial coefficients. Finally, we extend previous greatest common divisor (GCD) estimates to derive new results for specific exponential Diophantine equations and the distribution of digits in $q$-adic representations.

Improved bounds for the Fourier uniformity conjecture

math.NT

math.CO

Let $\lambda$ denote the Liouville function. We prove that $$\sum_{X \leq x < 2X} \sup_{\alpha \in \mathbb{R}/\mathbb{Z}} \bigg\lvert\!\sum_{x \leq n < x+H} \lambda(n) e(n\alpha)\bigg\rvert = o(HX)$$ as $X\to \infty$, in the regime $H = H(X) \geq \exp((\log X)^{2/5+\varepsilon})$. This improves upon a result of Walsh towards the Fourier uniformity conjecture.

Generalized Estermann problem for non-integer powers with almost proportional summands

math.NT

For $H \ge N^{1-\frac{1}{2c}} \ln^2 N$, where $c$ is a fixed non-integer number satisfying $$ \|c\| \ge 3c\left(2^{[c]+1}-1\right)\frac{\ln \ln N}{\ln N}, \qquad c > \frac{4}{3}\left(1 + \frac{52\ln \ln N}{\ln N}\right), $$ we obtain an asymptotic formula for the number of representations of a sufficiently large integer $N$ in the form $$ p_{1} + p_{2} + [n^{c}] = N, $$ where $p_{1}, p_{2}$ are prime numbers, $n$ is a natural number, and $$ |p_{k} - \mu_{k}N| \le H,\qquad k = 1,2,\qquad |[n^{c}] - \mu_{3}N| \le H, $$ with $\mu_{1}, \mu_{2}, \mu_{3}$ being fixed positive constants satisfying $\mu_{1} + \mu_{2} + \mu_{3} = 1$. Keywords: Estermann problem, almost proportional summands, short exponential sum with a non-integer power of a natural number. Bibliography: 21 references.

On the automorphisms of the power semigroups of a numerical semigroup

math.NT

math.CO

math.RA

If $H$ is a numerical semigroup (that is, a cofinite subset of the non-negative integers closed under addition), then the non-empty subsets of $H$ form a semigroup $\mathcal P(H)$ under the sumset operation induced by addition in $H$. Moreover, if $0 \in H$, then $\mathcal P(H)$ is a monoid with identity element $\{0\}$, and the family $\mathcal P_0(H)$ of all subsets of $H$ containing $0$ is a submonoid of $\mathcal P(H)$. We show that the automorphism group of $\mathcal P(H)$ is trivial, and the same holds for $\mathcal P_0(H)$ when $0 \in H$. The proofs blend ideas from combinatorics and semigroup theory.

Multiplicative convolution and double shuffle relations

math.AG

math.AT

math.NT

We develop a geometric approach to the regularized double shuffle relations for multiple zeta values, based on convolution of perverse sheaves on $\mathbb{C}^*$ and inspired by the approach of Deligne and Terasoma. We introduce semi-holonomy isomorphisms associated with pro-unipotent paths and show that their compatibility with multiplicative convolution is equivalent to a condition on the pro-unipotent fundamental group, the homological pentagon equation. We prove that this condition is equivalent to the regularized double shuffle relations, yielding a geometric proof that the pentagon equation implies these relations. The approach is purely topological and avoids Hodge-theoretic and Tannakian methods.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

math.AG

math.NT

We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in $n \leqslant 4$ variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, or are quiver flag zero loci. We discuss implications to Arithmetic Mirror Symmetry conjecture, a Hodge-theoretic approach to the study of Ap\'{e}ry constants of Fano varieties proposed by Golyshev--Kerr--Sasaki. Using the partial case of Arithmetic Mirror Symmetry conjecture proved by Kerr, we construct two examples of a Mirror Symmetry correspondence between specific algebraic classes.

On $p$-adic $L$-functions for symplectic representations of GL(N) over number fields

math.NT

v3

Let $F$ be a number field, and $\pi$ a regular algebraic cuspidal automorphic representation of $\mathrm{GL}_N(\mathbb{A}_F)$ of symplectic type. When $\pi$ is spherical at all primes $\mathfrak{p}|p$, we construct a $p$-adic $L$-function attached to any regular non-critical spin $p$-refinement $\tilde\pi$ of $\pi$ to $Q$-parahoric level, where $Q$ is the $(n,n)$-parabolic. More precisely, we construct a distribution $L_p(\tilde\pi)$ on the Galois group $\mathrm{Gal}_p$ of the maximal abelian extension of $F$ unramified outside $p\infty$, and show that it interpolates all the standard critical $L$-values of $\pi$ at $p$ (including, for example, cyclotomic and anticyclotomic variation when $F$ is imaginary quadratic). We show that $L_p(\tilde\pi)$ satisfies a natural growth condition; in particular, when $\tilde\pi$ is ordinary, $L_p(\tilde\pi)$ is a (bounded) measure on $\mathrm{Gal}_p$. As a corollary, when $\pi$ is unitary, has very regular weight, and is $Q$-ordinary at all $\mathfrak{p}|p$, we deduce non-vanishing $L(\pi\times(\chi\circ N_{F/\mathbb{Q}}),1/2) \neq 0$ of the twisted central value for all but finitely many Dirichlet characters $\chi$ of $p$-power conductor.

Faulhaber's formula, Bernoulli numbers, power sums of natural numbers and totatives and the functional equation $f(x)+x^k=f(x+1)$

math.NT

math.CO

math.HO

v3

In modern usage the Bernoulli numbers and Bernoulli polynomials follow Euler's approach and are defined using generating functions. We consider the functional equation $f(x)+x^k=f(x+1)$ and show that a solution can be derived from Faulhaber's formula for the sum of powers that provide a characterization of Bernoulli numbers and related results. We then use these results to study sums of powers of totatives of $n$ that are less than $\frac{n}{2}$. In particular, we show that, like the case of the sum of powers of all totatives, the sum of powers of this half of the totatives can also be expressed as a linear combinations of Dirichlet inverses of Jordan totients of odd degrees.

Shadowing and Stability of Non-Invertible $p$-adic Dynamics

math.NT

math.DS

v3

The stability theory of compact metric spaces with positive topological dimension is a well-established area in Dynamical Systems. A central result, attributed to Walters, connects the concepts of topological stability and the shadowing property in invertible dynamics. In contrast, zero-dimensional stability theory is a developing field, with an analogue of Walters' theorem for Cantor spaces being fully established only in 2019 by Kawaguchi. In this paper, we investigate the shadowing and stability properties of non-invertible dynamics in zero-dimensional spaces, focusing on the $p$-adic integers $\mathbb{Z}_{p} $ and the $p$-adic numbers $\mathbb{Q}_{p}$, where $p \geq 2$ is a prime number. The main result provides sufficient conditions under which the following families of maps exhibit strong shadowing and stability properties: 1) $p$-adic dynamical systems that are right-invertible through contractions, and 2) left-invertible contractions. Consequently, new examples of stable $p$-adic dynamics are presented.

A two-dimensional delta symbol method and its application to pairs of quadratic forms

math.NT

v2

We present a two-dimensional delta symbol method that facilitates a version of the Kloosterman refinement of the circle method, addressing a question posed by Heath-Brown. As an application, we establish the asymptotic formula for the number of integral points on a non-singular intersection of two integral quadratic forms with at least $10$ variables. Assuming the Generalized Lindel\"of Hypothesis, we reduce the number of variables to $9$ by performing a double Kloosterman refinement. A heuristic argument suggests our two-dimensional delta symbol will typically outperform known expressions of this type by an increasing margin as the number of variables grows.

An additive application of the resonance method

math.NT

v2

We improve upon an Omega result due to Soundararajan with respect to general trigonometric polynomials having positive Fourier coefficients. Instead of Dirichlet's approximation theorem we employ the resonance method and this leads to better extreme results in lattice point problems such as Dirichlet's divisor problem and Gauss' circle problem. Moreover, the present approach shows that the resonance method can also be viewed as an additive device, which has been used in multiplicative problems so far. Its extension to trigonometric polynomials with complex coefficients is also discussed and its connection to Bohr and Jessen's proof of Kronecker's theorem is highlighted.

Locally analytic vectors and $\mathbf{Z}_p$-extensions

math.NT

v5

Let $K$ be a finite extension of $\mathbf{Q}_p$ and let $\mathcal{G}_K = \mathrm{Gal}(\overline{\mathbf{Q}_p}/K)$. Lately, interest has risen around a generalization of the theory of $(\varphi,\Gamma)$-modules, replacing the cyclotomic extension with an arbitrary infinitely ramified $p$-adic Lie extension. Computations from Berger suggest that locally analytic vectors should provide such a generalization for any arbitrary infinitely ramified $p$-adic Lie extension, and this has been conjectured by Kedlaya. In this paper, we focus on the case of $\mathbf{Z}_p$-extensions, using recent work of Berger-Rozensztajn and Porat on an integral version of locally analytic vectors and explain what can be the structure of the locally analytic vectors in the higher rings of periods $\widetilde{\mathbf{A}}^{\dagger}$ in this setting. We show that the existence of nontrivial locally analytic vectors in $\widetilde{\mathbf{A}}^{\dagger}$, a necessary condition for Kedlaya's conjecture to hold, is equivalent to the existence of an overconvergent lift of the field of norms attached to the $\mathbf{Z}_p$-extension. In the anticyclotomic setting, assuming that such an overconvergent lift exists, we are able to construct elements in the corresponding Robba ring which should not exist according to a conjecture of Berger. We then prove that in this specific setting, a particular case of Berger's conjecture holds, discarding the existence of such elements. In particular, this disproves Kedlaya's conjecture and shows that there is no overconvergent lift of the field of norms in the anticyclotomic setting.

Multiple $\wp$-Functions and Their Applications

math.NT

v4

In this paper, we introduce and study multiple $\wp$-functions, which generalize the classical Weierstrass $\wp$-function to iterated sums over lattice points, and we establish explicit formulas expressing them in terms of single $\wp$-functions with coefficients given by multiple Eisenstein series. As an application, we derive some relations among multiple Eisenstein series and multiple zeta values by exploiting the double periodicity of the multiple $\wp$-functions.

The complexity of Ford domains of $\Gamma_0(N)$

math.NT

v2

We investigate a particular choice of the Ford fundamental domain of the congruence subgroup $\Gamma_0(N)$ and define a notion of complexity $c(N)$ accordingly, which is a nonnegative integer and carries some information on the shape of the Ford domain. The property that $c(N)=0$ first appeared as a technical assumption in a paper by Pohl, which is closely related to a conjecture of Zagier on the "reduction theory" of $\Gamma_0(N)$. In this paper, we give a complete classification of positive integers $N$ with $c(N)=0$, and we also show that $c(N)$ goes to infinity if both the number of distinct prime factors of $N$ and the smallest prime factor of $N$ go to infinity.

Semistable abelian varieties over $\mathbb{Q}$ with bad reduction at 19 only: an overview of the Fontaine--Schoof strategy

math.NT

v2

In this paper we provide an overview of a strategy pioneered by Fontaine and heavily refined by Schoof to classify abelian varieties with prescribed bad reduction. Throughout the overview, we prove various non-trivial background results turning it into an introduction for readers unacquainted with this topic. With the overview completed, we provide explicit examples of the strategy in action. At first we give introductory examples, classifying semistable abelian varieties over $\mathbb{Q}$ with bad reduction at exactly one of 3 or 5 up to isogeny over $\mathbb{Q}$. We then move onto a harder example, proving the analogous result for 19, which is new.

On new identities of Jacobi sums and related cyclotomic matrices

math.NT

v3

In this paper, using some arithmetic properties of Jacobi sums, we investigate some products involving Jacobi sums and reveal the connections between these products and certain cyclotomic matrices. In particular, as an application of our main results, we confirm a conjecture posed by Z.-W. Sun in 2019, and obtain a stronger result.

Torsion groups of elliptic curves that appear infinitely often over septic fields

math.NT

v2

In this short note we determine the set $\Phi^\infty(7)$ of Abelian groups that appear as torsion groups of infinitely many elliptic curves (up to $\overline \mathbb Q$-isomorphism) over number fields of degree 7.

A primality test for $Kp^\ell - 1$ numbers

math.NT

v2

We develop an algebraic framework over arbitrary quadratic fields $L = \mathbb{Q}(\sqrt{D})$ to generalize the Miller-Rabin primality test. Consequently, we present a deterministic primality test for integers of the form $N = K p^{\ell} - 1$ that requires only a single modular exponentiation and achieves a computational complexity of $\tilde{\mathcal{O}}(\log^2 N)$. Furthermore, we also establish an analogue of Korselt's criterion within this setting. Finally, computational data generated using SageMath confirm its efficiency, successfully establishing the primality of numbers in the associated quadratic field within milliseconds.

Relations between higher level Hurwitz class numbers

math.NT

v2

We connect generalizations of the classical Hurwitz class numbers coming from two different frameworks: one introduced by Pei and Wang, arising from the generalized Cohen--Eisenstein series, and another by Li, Skoruppa, and Zhou, arising from Eichler orders of quaternion algebras. As applications, we obtain new basis for Eisenstein space $E_{3/2}^{+}(4N,\mathrm{id})$, a generalization of recent results of Beckwith and Mono, and a generalization of Gauss' formula.

Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation

cs.SC

math.NT

math.OA

v3

The solutions of the equation $f^{(p-1)} + f^p = h^p$ in the unknown function $f $over an algebraic function field of characteristic $p$ are very closely linked to the structure and factorisations of linear differential operators with coefficients in function fields of characteristic $p$. However, while being able to solve this equation over general algebraic function fields is necessary even for operators with rational coefficients, no general resolution method has been developed. We present an algorithm for testing the existence of solutions in polynomial time in the ``size'' of h and an algorithm based on the computation of Riemann-Roch spaces and the selection of elements in the divisor class group, for computing solutions of size polynomial in the ``size'' of h in polynomial time in the size of h and linear in the characteristic $p$, and discuss its applications to the factorisation of linear differential operators in positive characteristic $p$.

Carl St{\o}rmer and his Numbers

math.HO

math.NT

v3

In many proofs of Fermat's Two Squares Theorem, the smallest least residue solution $x_0$ of the quadratic congruence $x^2 \equiv -1 \bmod p$ plays an essential role; here $p$ is prime and $p \equiv 1 \bmod 4$. Such an $x_0$ is called a St{\o}rmer number, named after the Norwegian mathematician and astronomer Carl St{\o}rmer (1874-1957). In this paper, we establish necessary and sufficient conditions for $x_0 \in \mathbb{N}$ to be a St{\o}rmer number of some prime $p \equiv 1 \bmod 4$. St{\o}rmer's main interest in his investigations of St{\o}rmer numbers stemmed from his study of identities expressing $\pi$ as finite linear combinations of certain values of the Gregory-MacLaurin series for $\arctan(1/x)$. Since less than 600 digits of $\pi$ were known by 1900, approximating $\pi$ was an important topic. One such identity, discovered by St{\o}rmer in 1896, was used by Yasumasa Kanada and his team in 2002 to obtain 1.24 trillion digits of $\pi$. We also discuss St{\o}rmer's work on connecting these numbers to Gregory numbers and approximations of $\pi$.

Asymptotics and zero behaviour of geometric polynomials

math.CA

math.CO

math.NT

v2

We obtain some results on the asymptotic behaviour of Geometric polynomials in both the complex plane minus $[-1,0]$ and the interval $(-1,0)$. We also find the distance of consecutive zeros of these polynomials in the bulk of the interval $(-1,0)$. We also prove that they satisfy certain orthogonality properties. Due to their relationship with Eulerian polynomials, the results for Geometric polynomials can be transferred to Eulerian polynomials verbatim.

A Necessary and Sufficient Condition for Uniqueness of Euclidean Division

math.AC

math.NT

math.RA

v2

A well-known result from the 1960s characterizes all Euclidean domains in which division is guaranteed to produce a unique quotient and remainder. As this relies on the historical (and more restrictive) definition of a Euclidean domain, the question of whether the result still holds under the modern definition was left open. In this paper, we prove the answer is afirmative.