Number Theory [math.NT]

Randomly piercing algebraic sets

math.NT

math.CO

We show, for example, that if one samples \[\frac{\log p}{2\log(1+(p-1)^{-1})} \cdot n^2(1 + o_{n\to \infty}(1))\] points in $\mathbb{F}_p^n$ at random then asymptotically almost surely this set intersects every quadratic hypersurface. We furthermore show that this is tight in that sampling $o_{n\to\infty}(n^2)$ fewer points almost surely fails to intersect some quadratic hypersurface. Our main result is a sharp threshold for the following problem: how many points in $\mathbb{F}_p^n$ does one need to randomly sample to almost surely intersect every algebraic set defined by at most $s$ polynomials each of degree at most $k$? As an application we improve lower bounds in the random Szemer\'{e}di theorem in $\mathbb{F}_p^n$, in particular obtaining a leading constant which grows as the threshold for what is considered a `dense' set in Szemer\'{e}di's theorem shrinks.

Consecutive integers free of certain prime factors

math.NT

Let $n_k$ denote the least integer $n>2k$ such that $(n-k)(n-k+1)\cdots(n-1)$ is not divisible by any prime in the interval $(k,2k)$. Confirming a conjecture of Erd\H{o}s, we prove that, for all sufficiently large $k$, $$ n_k > e^{\frac{\log^2 k}{20 \log \log k}}. $$

A note on equidistribution on a product of Shimura curves and Andr\'e--Oort

math.NT

In this short note we show that Galois orbits of CM points equidistribute on a product of $r\ge 2$ non-isomorphic Shimura curves by applying the adelic toral-packet equidistribution theorem of Aka--Luethi--Michel--Wieser. As a consequence, we deduce Andr\'e--Oort for the product of those curves, previously studied by Edixhoven and Yafaev, replacing GRH by a Linnik-type splitting condition at two auxiliary primes.

Symmetric square $L$-functions on $\mathrm{GL}_3$

math.NT

We give an asymptotic formula with a power-saving error term for the twisted first moment of symmetric square $L$-functions on $\mathrm{GL}_3$ in the spectral aspect. We apply this to obtain non-vanishing results and lower bounds of the expected order of magnitude for even moments, supporting the random matrix model for a unitary ensemble of $L$-functions. The main ingredients are the $\mathrm{GL}_3$ Kuznetsov formula, an asymmetric approximate functional equation, and strong bounds for the integral transforms appearing in the Kuznetsov formula.

Maximal Arboreal Galois Images for Polynomials of Twisted Carlitz Type

math.NT

In this paper, we study the arboreal Galois representations for polynomials of twisted Carlitz type, whose first iterated Galois group is linked to the torsion of a twisted Carlitz module. We prove two explicit families of polynomials having iterated Galois groups isomorphic to full iterated cyclic wreath product at every level. We then compare the arboreal Galois image of a polynomial of twisted Carlitz type with the adelic Galois image of its corresponding twisted Carlitz module, and show that arboreal maximality and adelic surjectivity are logically independent, except for a one-way local implication at the finite place $(t)$.

On the asymptotic density of the ordered pairs $(a,b)$ of positive integers such that $\gcd(ab,a+b)=\gcd(a,b)$

math.NT

Consider the arithmetic function of two variables $f(a,b)= \gcd(ab,a+b)/\gcd(a,b)$, recently investigated by Thang Pang Ern and Malcolm Tan Jun Xi. We deduce asymptotic formulas for sums of the form $\sum_{a,b\le x} h(f(a,b))$, where $h$ belongs to a certain class of arithmetic functions. In particular, we obtain an asymptotic formula for the number of ordered pairs $(a,b)\in {\Bbb N}^2$ such that $a,b\le x$ and $f(a,b)=m$, where $m\in {\Bbb N}$ is fixed. This shows that in the case $m=1$ the corresponding density is the quadratic class number constant $C= \prod_p (1-1/(p^2(p+1))) \doteq 0.881513$. We also formulate some related open problems.

Four-digit Kaprekar dynamics in odd bases

math.NT

math.CO

Start with four digits, arrange them in both descending and ascending order, subtract, and repeat. This simple process is known as the Kaprekar routine, famous in base ten for sending every nonconstant four-digit string to $6174$. We show that in every odd base $B>3$, the four-digit Kaprekar map has an unexpectedly rigid structure. After at most three iterations, every nonconstant orbit enters an explicit triangular region $\mathcal{T}_B$, and on this region the map is conjugate to projective doubling: \[ \{[r],[s]\}\longmapsto \{[2r],[2s]\}. \] This gives a complete finite description of all nonconstant terminal cycles, including an explicit formula for their lengths and counts. In particular, the longest terminal cycle has length at most $(B-1)/2$, and equality can occur only when $B$ is prime. For primes $p>5$, equality occurs precisely when the least positive $m$ with $2^m\equiv\pm1\pmod p$ is $m=(p-1)/2$. The results proved here were first formulated by Schwartz and Thakur. As a test case for AI-assisted formal mathematics, AxiomProver produced Lean/mathlib formalizations of these results.

Generating Function of single-centered Black Hole Index in CHL Models

hep-th

math.NT

We present the construction of the generating function of single-centered black hole index in general $\mathbb{Z}_N$ CHL models. This is done by subtracting from the index of quarter BPS dyons, described by a meromorphic Siegel modular form, the generating function for the index of two-centered black holes. We use black hole bound state metamorphosis in CHL models for the construction of the generating function of two-centered black hole index. We prove the convergence of the generating function for the cases $N=2,3$.

Explicit descriptions of the subfields $(NL)^{pi}$ and $(NL)^{pi}(NL)^{sep}$ of $NL$ and new explicit criteria for $NL = (NL)^{pi}(NL)^{sep}$

math.RA

math.NT

Let $L=K(\theta)\simeq K[x]/f(x)$ be a simple field extension in prime characteristic $p>0$, $L^{sep}$ and $L^{pi}$ be the maximal separable and purely inseparable subfields of $L$, respectively. Let $N/K$ be a purely inseparable field extension. For the field extensions $L/K$ and $NL/N$, the aim of the paper is to give explicit descriptions of the following subfields and their degrees in terms of the coefficients of the polynomial $f$ and two numerical field invariants $m_f$ and $m_{f,N}$: $L^{pi}$, $L^{pi}L^{sep}$, $(NL)^{pi}$ and $(NL)^{pi}(NL)^{sep}$. From these results, we derive new explicit criteria for $L=L^{pi}L^{sep}$ and $NL=(NL)^{pi}(NL)^{sep}$.

On the second partial Global Euler-Poincare characteristics for Galois cohomology

math.NT

v2

Let $K$ be a number field, let $S$ be a finite set of primes of $K$ containing all archimedean primes, and let $G_{K,S}$ denote the Galois group of the maximal extension of $K$ unramified outside $S$. In this paper, we study the second partial Euler--Poincar\'e characteristic $\chi_{2}(G_{K,S},M)$ for a finite $G_{K,S}$-module $M$, without imposing the condition that the order of $M$ is an $S$-unit. By adjoining a further finite set of primes of $K$, which can be chosen to be disjoint from any prescribed set of primes of density zero, we obtain an explicit formula for the corresponding second partial Euler--Poincar\'e characteristic. As an application, we investigate the presentation of the Galois group $G_{K,S}$. Furthermore, for any number field, we construct counterexamples to the dimension conjecture for Galois deformation rings.

On efficient approximation of quadratic irrationals

math.NT

v3

We provide efficient algorithms to compute convergents of quadratic irrationals. We show that for square roots, in settings where Galois' refinement of Lagrange's theorem holds, certain decimations of the sequence of convergents are signed Chebyshev sequences, which can be also be generated by a Householder method.

The image of the adelic Galois representation of an elliptic curve with complex multiplication

math.NT

math.AG

v2

Let $E/\mathbb{Q}$ be an elliptic curve and let $\rho_E \colon \operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \operatorname{GL}(2, \widehat{\mathbb{Z}})$ be the adelic Galois representation attached to $E$. Much work has been done in recent years to study the image of $\rho_E$ (up to conjugation) as part of Mazur's so called ``Program B.'' In this paper, we describe and implement an efficient algorithm to compute the image of $\rho_E$ in $\operatorname{GL}(2, \widehat{\mathbb{Z}})$ (up to conjugation) for an elliptic curve $E/\mathbb{Q}$ with complex multiplication (CM) and $j$-invariant not $0$ or $1728$.

On Diophantine pairs and triples of triangular numbers

math.NT

v2

We investigate Diophantine pairs and triples of triangular numbers with the property $D(a)$ for a non-zero integer $a$. We prove that if a triangular number belongs to a $D(a)$-pair, it can be extended to infinitely many $D(a)$-triples of triangular numbers. Additionally, we determine infinite families of integers $a$ that admit such pairs, as well as families for which no $D(a)$-pairs can exist.

Linear recurrence sequences and palindromic concatenations of two repdigits in base $\beta$

math.NT

v2

Let $\beta$ be a non-unit real algebraic integer greater than one and $\{a_{n}\}_{n \geq 0}$ be a sequence satisfying a linear recurrence relation $a_{n+3}=aa_{n+2}+ba_{n+1}+ca_{n}$. Under certain conditions, we prove that the number of $a_{n}$ which are palindromic concatenations of two repdigits in base $\beta$ is finite.

On numerical semigroups with embedding dimension four

math.NT

v3

We develop a geometric procedure for finding the Ap\'ery set of any numerical semigroup with embedding dimension four. Previous methods of comparable strength worked only for embedding dimension three or under very specific conditions. We illustrate our method by finding the Frobenius numbers, genera, Betti elements, minimal presentations, and catenary degrees of numerical semigroups generated by four consecutive squares and by four consecutive triangular numbers.

Transformation Formulae and Applications for Double Lambert Series

math.NT

v2

In this paper, we study a class of double Lambert series and establish several identities and transformation relations for them. These formulae provide useful tools for reducing certain double Lambert series to single Lambert series. As applications, we derive identities related to recent conjectures of Andrews, Dixit, Schultz, and Yee, and of Amdeberhan, Andrews, and Ballantine. We also propose a new proof of a result of Amdeberhan, Andrews, and Ballantine.

On the Smallest Counterexample to the Log-Concavity of the D'Arcais Polynomials

math.NT

v2

Recently, Starr used asymptotic methods to disprove a conjecture by Heim--Neuhauser and Abdesselam about the log-concavity of the D'Arcais polynomials, without giving an explicit counterexample. We refine the asymptotics, to give the necessary estimates on convolutions of $\sigma_{-1}$, and identify the first counterexample at $\lambda = 65\,214\,507\,758\,400$. We also consider the asymptotic density of such counterexamples.

Root Clusters and Multiclusters over Imperfect Hilbertian Fields

math.NT

math.AC

math.GR

v2

We extend the theory of root clusters from perfect fields to general fields which are not necessarily perfect. We introduce the following notions for field extensions over any given base field and study their interesting properties: root cluster size, multicluster size and their generalizations root capacity, multiroot capacity; ascending index, ascending normal index and their generalizations intersection indicium, intersection normal indicium; compositum indicium and compositum normal indicium. We establish our results on the Inverse problems for these generalized notions over Hilbertian fields which generalizes our earlier results which were over number fields. In particular, we show over a given Hilbertian field, the existence of a polynomial for given degree, cluster size and multicluster size and existence of an extension for given root capacity and multiroot capacity with respect to that polynomial.

On zero-sum problems of two new types

math.NT

math.CO

v2

In this paper, we mainly investigate zero-sum problems over $(\mathbb Z/n\mathbb Z)^r$ (with $n>1$ and $r>0$) of two new types. Let $s_r(n)$ (resp. $t_r(n)$) be the least positive integer $k$ such that for any ${\bf a}_1,\ldots,{\bf a}_k\in\mathbb Z^r$ not congruent to ${\bf 0}=(0,\ldots,0)$ modulo $n$ (resp., with all the coordinates relatively prime to $n$), there is an $I\subseteq\{1,\ldots,k\}$ with $|I|=n$ for which $\sum_{i\in I}{\bf a}_i\equiv{\bf 0}\pmod n$ but $\sum_{i\in I}{\bf a}_i\not\equiv{\bf 0}\pmod {n^2}$. We study lower and upper bounds for $s_r(n)$ and $t_r(n)$. For $n>2$, we conjecture that $$s_1(n)=2n+1, \ t_1(n)=2n-(-1)^n,\ s_2(n)=4n+1,$$ and $$t_2(n)=\begin{cases}4n-3&\text{if}\ 2\nmid n,\\3n-3&\text{if}\ 2\mid n. \end{cases}$$.

The e\~ne product over a commutative ring

math.CA

math.CV

math.NT

v2

We define the e\~ne product for the multiplicative group of polynomials and formal power series with coefficients on a commutative ring and unitary constant coefficient. This defines a commutative ring structure where multiplication is the additive structure and the e\~ne product is the multiplicative one. For polynomials with complex coefficients, the e\~ne product acts as a multiplicative convolution of their divisor. We study its algebraic properties, its relation to symmetric functions on an infinite number of variables, to tensor products, and Hecke operators. The exponential linearizes also the e\~ne product. The e\~ne product extends to rational functions and formal meromorphic functions. We also study the analytic properties over the complex numbers, and for entire functions. The e\~ne product respects Hadamard-Weierstrass factorization and is related to the Hadamard product. The e\~ne product plays a central role in predicting the phenomenon of the "statistics on Riemann zeros" for Riemann zeta function and general Dirichlet $L$-functions discovered by the author. It also gives reasons to believe in the Riemann Hypothesis as explained in the survey "Notes on the Riemann Hypothesis".

On the dynamical Manin-Mumford conjecture for plane polynomial maps

math.DS

math.AG

math.NT

v3

We prove the dynamical Manin-Mumford conjecture for regular polynomial maps of A^2 and irreducible curves avoiding super-attracting orbits at infinity, over any field of characteristic 0.

p-Primary Torsion of the Brauer Group in Characteristic p

math.AG

math.NT

v3

Let X be a proper smooth variety over an algebraically closed field k of characteristic p>0. This thesis studies the p-primary component of the Brauer group of X.

$\ell^{p}$ improving estimates for multilinear forms motivated by distance graphs

math.CA

math.NT

v2

We undertake a systematic study of the mapping properties of forms based on distance graphs in $\mathbb{Z}^{d}$ to see how the structure of a graph, $G$, affects the $\ell^{p}$ improving estimates of the form, $\Lambda_{G}$, based on $G$. This extends previous work on $\ell^{p}$ improving properties for the spherical averaging operator, which corresponds to a distance graph of a single distance. We obtain $\ell^{p}$ improving estimates for the collection of forms based on all graphs with 2, 3, and 4 vertices, as well as chains and simplexes of any size in $\mathbb{Z}^{d}$. Surprisingly, certain mapping properties only seem to depend on the number of vertices in the graph, not its structure, and forms based on subgraphs of a graph, $G$, do not necessarily inherit all mapping properties from $G$.

Beating Product Constructions for Linear Equations Over Finite Fields

math.CO

math.NT

v2

We show that for any $A\subseteq \mathbb{F}_q^n$ lacking non-trivial solutions to a translation-invariant linear equation of genus one, meaning that no nonempty proper subset of the coefficients sums to $0$, there is a set $B\subseteq \mathbb{F}_q^m$ in some higher dimension which also lacks non-trivial solutions, such that \[|B|^{1/m}>|A|^{1/n}.\] In particular, this implies that no fixed cap set in $\mathbb{F}_3^n$ gives an asymptotically optimal lower bound by direct products alone.

Dominant Zeros of Nekrasov--Okounkov Polynomials

math.CO

math.NT

v2

We give an exact finite-dimensional Perron--Frobenius realization of the dominant zero of the Nekrasov--Okounkov polynomials $\nop _n(z)$. For a normalized positive sequence $h=(h(n))_{n\ge 1}$ with $h(1)=1$, define $\pol _0^h(z)=1$ and, for $n\ge 1$, \[ \pol _n^h(z)=\frac{z}{h(n)}\sum_{k=1}^n \sigma(k)\pol _{n-k}^h(z),\] where $\sigma(k)$ denotes the sum of divisors of $k$. The Nekrasov--Okounkov polynomials are obtained from the specialization $h(n)=n$ by the shift $\nop _n(z)=\pol _n^h(z+1)$. We derive a Hessenberg determinant representation for $\pol _n^h(z)$. After separating the trivial zero at the origin, the remaining zeros of $\pol _n^h(-z)$ are identified with the eigenvalues of an explicit $(n-1)\times(n-1)$ nonnegative matrix $M_n^h$. We prove that $M_n^h$ is primitive and apply Perron--Frobenius theory to show that $\pol _n^h(z)$ has a unique zero of maximal modulus; this zero is real, negative, and simple. As a consequence, the same property holds for the Nekrasov--Okounkov polynomials. We also prove strict monotonicity of the associated spectral radii.