Number Theory [math.NT]

$\mathcal L$-invariants and deep congruences between newforms

math.NT

We study congruences modulo powers of a prime $p$ between pairs of $p$-new modular Hecke eigenforms of level $\Gamma_0(p)$ and same weight $k$. Based on explicit computations, we conjecture that every such eigenform $f$ admits a twin to which it is congruent modulo a surprisingly high power of $p$, whose exponent is close to the opposite of the valuation of the $\mathcal L$-invariant of $f$, and whose Atkin--Lehner sign is opposite to that of $f$. This is a new phenomenon that is not explained by the known results on the $p$-adic variation of eigenforms. Inspired by the global picture, we formulate a local conjecture describing congruences between semistable representations of fixed weight, varying $\mathcal L$-invariant, and opposite Atkin--Lehner signs. We give some theoretical evidence towards our conjectures.

Szemer\'edi's Theorem Along Cantor Sets of Integers

math.NT

math.CA

math.DS

Let $\mathcal C= \{k_1< \cdots\}$ be Cantor set of integers, that is a set of integers with restricted digits modulo a base $b$, and suppose $0$ is one of the restricted digits. We show that $$ \liminf_N \Expectation_{n\in [N]} m(A\cap T^{-k_n} A \cap \cdots \cap T^{-\ell k_n} A )>0. $$ This is an extension of the IP Ergodic Theorem of Furstenberg and Katznelson, and a partial extension of recent work of Kra and Shalom. In particular, this implies that for any subset of integers $A$ of positive upper Banach density, there is a set $B$ of integers $n$ of positive lower Banach density such that $A$ contains an $\ell+1$ term progression, with step size $k_n$, where $n\in B$. This is a complement to recent results of Kra and Shalom, for IP Sets of integers, and Burgin, concerning Sarkozy's Theorem for Primes with restricted digits.

Relations for partitions with distinct even parts except the largest part which is even

math.NT

In this paper, we prove some new \(q\)-series identities connecting \(4\)-regular partitions and partitions with distinct even parts with largest part being odd. We also define three new partition functions with distinct even parts except the largest part which is even, and prove identities connecting the three partitions with \(4\)-regular partitions. Moreover, we also offer some congruence for the three newly defined partitions.

On the discriminant and index of a certain class of polynomials

math.NT

Let $f(x) = (x^{2}+1)^{n} - a x^{n} \in \mathbb{Z}[x]$ and assume $f(x)$ is irreducible. Let $\theta$ be a root of $f(x)$, set $K= \mathbb{Q}(\theta)$, and denote by $\mathbb{Z}_{K}$ the ring of integers of $K$. The index of $f$, denoted $\operatorname{ind}(f)$, is the index of $\mathbb{Z}[\theta]$ in $\mathbb{Z}_{K}$. A polynomial $f(x)$ is said to be monogenic if $\operatorname{ind}(f) = 1$. In this article, we explicitly compute the discriminant of the polynomial $f(x)$, and then derive necessary and sufficient conditions on the parameters $a$ and $n$ for $f(x)$ to be monogenic. Furthermore, we provide a complete description of the primes that divide $\operatorname{ind}(f)$.

A Weighted Words Study of MacMahon's and Russell's Modulo 6 Identities

math.CO

math.NT

We give new proofs of MacMahon and Russell's modulo 6 identities using the method of weighted words. We also present a new refinement of MacMahon's identity, some related finite sum identities, and a companion partition theorem to sequence avoiding partitions theorem of the author and Andrews.

Space-filling lattice designs for computer experiments

stat.ME

cs.NA

math.NA

math.NT

This paper investigates the construction of space-filling designs for computer experiments. The space-filling property is characterized by the covering and separation radii of a design, which are integrated through the unified criterion of quasi-uniformity. We focus on a special class of designs, known as quasi-Monte Carlo (QMC) lattice point sets, and propose two construction algorithms. The first algorithm generates rank-1 lattice point sets as an approximation of quasi-uniform Kronecker sequences, where the generating vector is determined explicitly. As a byproduct of our analysis, we prove that this explicit point set achieves an isotropic discrepancy of $O(N^{-1/d})$. The second algorithm utilizes Korobov lattice point sets, employing the Lenstra--Lenstra--Lov\'{a}sz (LLL) basis reduction algorithm to identify the generating vector that ensures quasi-uniformity. Numerical experiments are provided to validate our theoretical claims regarding quasi-uniformity. Furthermore, we conduct empirical comparisons between various QMC point sets in the context of Gaussian process regression, showcasing the efficacy of the proposed designs for computer experiments.

Subgroups with all finite lifts isomorphic are conjugate

math.GR

math.AG

math.GT

math.NT

We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset equivalent subgroups of a finite group are not necessarily isomorphic, answering a question of Dipendra Prasad. We also indicate connections to profinite rigidity, anabelian geometry, mapping class groups, and non-arithmetic lattices in Lie groups.

Steenrod operations and symplectic arithmetic duality

math.AG

math.AT

math.NT

This expository article elaborates upon my talk at the 2025 AMS Summer Institute on Algebraic Geometry. It gives an introduction to a conjecture from Tate's 1966 S\'eminaire Bourbaki report, predicting the existence of a symplectic form on Brauer groups of surfaces over finite fields, and then an informal tour of the proof in \cite{Feng20} and \cite{CF}.

Asymptotics and zero distribution of geometric polynomials

math.CA

math.CO

math.NT

We obtain some results on the asymptotic behavior and zero distribution of the so-called geometric polynomials. The asymptotics is given both on compact subsets of $\C\setminus [-1,0]$ and on compact subsets of the interval $(-1,0)$. The zeros of these polynomials are simple and lie in $(-1,0]$; moreover, the zeros of consecutive polynomials interlace. Its zero distribution is a measure whose density is similar to Cauchy weight. Some orthogonality properties of these polynomials are also proved.

Conjugacy classes of regular integer matrices

math.RA

math.NT

math.RT

This paper is devoted to the theory of $GL_n({\mathbb Z})$-conjugacy classes of regular integer $n\times n$ matrices. Such a matrix is $GL_n({\mathbb Q})$-conjugate to the companion matrix of its characteristic polynomial. But the set of $GL_n({\mathbb Z})$-conjugacy classes of regular integer matrices with a fixed characteristic polynomial $f$ is usually nontrivial (finite if $f$ has simple roots, infinite if $f$ has multiple roots). It is in 1:1-correspondence to a subsemigroup of a certain quotient semigroup of the commutative semigroup of full lattices in the algebra ${\mathbb Q}[t]/(f)$. In its first part, the paper gives a survey on old and new results on full lattices and orders in a finite dimensional commutative ${\mathbb Q}$-algebra with unit element and on induced semigroups. In its longer second part, the paper applies this theory to many examples, essentially all cases with $n=2$, many cases with $n=3$ and two cases with arbitrary $n$, the case with $n$ different integer eigenvalues and the case of a single $n\times n$ Jordan block.

Power monoids and their arithmetic: a survey

math.RA

math.CO

math.NT

The non-empty finite subsets of a multiplicatively written monoid form a monoid in their own right, and so do the finite subsets that contain the identity element. Partly due to their unusual arithmetic properties, these structures, known as power monoids, have attracted increasing attention in recent years and have in turn stimulated growing interest in new perspectives in factorization theory, better suited to non-cancellative settings. We survey these developments and briefly review some related aspects.

On Graham's rearrangement conjecture

math.CO

cs.DM

math.NT

Graham conjectured in 1971 that for any prime $p$, any subset $S\subseteq \mathbb{Z}_p\setminus \{0\}$ admits an ordering $s_1,s_2,\dots,s_{|S|}$ where all partial sums $s_1, s_1+s_2,\dots,s_1+s_2+\dots+s_{|S|}$ are distinct. We prove this conjecture for all subsets $S\subseteq \mathbb{Z}_p\setminus \{0\}$ with $|S|\le p^{1-\alpha}$ and $|S|$ sufficiently large with respect to $\alpha$, for any $\alpha \in (0,1)$. Combined with earlier results, this gives a complete resolution of Graham's rearrangement conjecture for all sufficiently large primes $p$.

On a Pair of Diophantine Equations

math.NT

v2

For relatively prime natural numbers $a$ and $b$, we study the two equations $ax+by = (a-1)(b-1)/2$ and $ax+by+1= (a-1)(b-1)/2$, which arise from the study of cyclotomic polynomials. Previous work showed that exactly one equation has a nonnegative solution, and the solution is unique. Our first result gives criteria to determine which equation is used for a given pair $(a,b)$. We then use the criteria to study the sequence of equations used by the pair $(a_n/\gcd{(a_n, a_{n+1})}, a_{n+1}/\gcd{(a_n, a_{n+1})})$ from several special sequences $(a_n)_{n\geq 1}$. Finally, fixing $k \in \mathbb{N}$, we investigate the periodicity of the sequence of equations used by the pair $(k/\gcd{(k, n)}, n/\gcd{(k, n)})$ as $n$ increases.

Dynamical systems defined by polynomials with algebraic properties

math.NT

v5

Let (x_n; n\in Z) be a bisequence of elements x_n in the 1-dimensional torus R/Z, which is called a stream over R/Z. Let P(z)=a_k z^k+...+a_1 z+a_0 be a polynomial with integer coefficients. Define the set of streams over R/Z such that the convolution product P(z)\times(x_n; n\in Z)=(\sum_{i=0}^k a_i x_{n-i}; n\in Z)=(0; n\in Z), which is called the stream 0 of P. We study similarities between stream 0 of P and the roots of P(z)=0.

p-adic Borel extension for local Shimura varieties

math.NT

math.AG

v2

We show that the moduli spaces of Scholze's $p$-adic shtukas with framing satisfy a $p$-adic rigid analytic version of Borel's extension theorem. In particular, this holds for local Shimura varieties, for all local Shimura data $(G,[b],\{\mu\})$, even for exceptional groups $G$, and extends work of Oswal-Shankar-Zhu-Patel who proved a $p$-adic Borel extension property for Rapoport-Zink spaces. As a corollary, we deduce that all these spaces satisfy a $p$-adic rigid analytic version of Brody hyperbolicity.

Formalising the Bruhat-Tits Tree

math.NT

cs.LO

v3

In this article we describe the formalisation of the Bruhat-Tits tree - an important tool in modern number theory - in the Lean Theorem Prover. Motivated by the goal of connecting to ongoing research, we apply our formalisation to verify a result about harmonic cochains on the tree.

Decomposition of real numbers into sums of L\"uroth sets

math.NT

v2

We study the decomposition of real numbers into sums of L\"uroth sets, which are defined by numbers whose L\"uroth expansions have prescribed digit constraints. We establish several results on the congruence modulo 1 of sums of L\"uroth sets, including summands with digits bounded above, below, and combinations of the two. We also analyse the Hausdorff dimension of L\"uroth sets and their sums. The results extend classical findings on continued fractions to L\"uroth expansions.

Polynomials associated to Lie algebras

math.NT

math.RT

v2

We associate to a semisimple complex Lie algebra $\mathfrak{g}$ a sequence of polynomials $P_{\ell,\mathfrak{g}}(x)\in\mathbb{Q}[x]$ in $r$ variables, where $r$ is the rank of $\mathfrak{g}$ and $\ell=0,1,2,\ldots $. The polynomials $P_{\ell,\mathfrak{g}}(x)$ are uniquely associated to the isomorphism class of $\mathfrak{g}$, up to re-numbering the variables, and are defined as special values of a variant of Witten's zeta function. Another set of polynomials associated to $\mathfrak{g}$ were defined in 2008 by Komori, Matsumoto and Tsumura using different special values of another variant of Witten's zeta function.

Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 2: bounds towards the Ramanujan conjecture

math.NT

math.RT

v2

We continue generalizing Altu\u{g}'s work on $\mathsf{GL}_2$ over $\mathbb{Q}$ in the unramified setting for \emph{Beyond Endoscopy} to the ramified case where ramification occurs at $S=\{\infty,q_1,\dots,q_r\}$ with $2\in S$, after generalizing the first step. We establish a new proof of the $1/4$ bound towards the Ramanujan conjecture for the trace of the cuspidal part in the ramified case, which is also provided by adapting Altu\u{g}'s original approach. The proof proceeds in three stages: First, we estimate the contributions from the non-elliptic parts of the trace formula. Then, we apply the main result from our the previous work to isolate the $1$-dimensional representations within the elliptic part. Finally, we employ technical analytic estimates to bound the remainder terms in the elliptic part.

Op\'erateurs d'entrelacement et alg\`ebres de Hecke avec param\`etres d'un groupe r\'eductif $p$-adique - le cas des groupes classiques

math.RT

math.NT

v4

For $G$ a symplectic or orthogonal $p$-adic group (not necessarily split), or an inner form of a general linear $p$-adic group, we compute the endomorphism algebras of some induced projective generators \`a la Bernstein of the category of smooth representations of $G$ and show that these algebras are isomorphic to the semi-direct product of a Hecke algebra with parameters by a finite group algebra. Our strategy and parts of our intermediate results apply to a general reductive connected $p$-adic group.

Recursive Prime Factorizations: Dyck Words as Numbers

cs.FL

math.NT

v4

I propose a class of non-positional numeral systems where numbers are represented by Dyck words, with the systems arising from a recursive extension of prime factorization. After describing two proper subsets of the Dyck language capable of uniquely representing all natural numbers and a superset of the rational numbers respectively, I consider "Dyck-complete" languages, in which every member of the Dyck language represents a number. I conclude by suggesting possible research directions.