Number Theory [math.NT]

The Poisson Tail Conjecture for Primes in Short Intervals

math.NT

math.PR

In 1976, Gallagher showed that, conditional on the Hardy--Littlewood conjectures, the number of primes below $x$ in a randomly chosen short interval of length $\lambda \log x$ asymptotically follows a Poisson distribution with mean $\lambda$. Correspondingly, the normalized gaps between consecutive primes follow an exponential distribution, provided that the scaling parameter $\lambda$ is fixed. We investigate the validity and limitations of the associated folklore Poisson Tail Conjecture as $\lambda$ is allowed to grow. For \edit{slowly growing} $\lambda$, and conditional on a strong variant of the Hardy--Littlewood conjectures, we establish asymptotics demonstrating that the local counting statistics rigorously align with these predictions. Furthermore, we identify a phase transition and explore the breakdown of these distributions for larger $\lambda$, capturing the precise deviations when $\lambda$ grows slower than any fixed power of $\log x$. The proof relies on a novel combination of extremal interval sieve estimates and concentration inequalities from probability.

Cullen and Woodall numbers in Padovan and Perrin sequences

math.NT

Let $\{P_n\}_{n\ge 0}$ and $\{R_n\}_{n\ge 0}$ denote the Padovan and Perrin sequences, both satisfying the recurrence $U_{n+3} = U_{n+1} + U_n$, but with initial values $P_0 = P_1 = P_2 = 1$ and $R_0 = 3$, $R_1 = 0$, $R_2 = 2$, respectively. A \textit{Cullen number} is a positive integer of the form $m\cdot 2^m + 1$ for some integer $m \ge 1$, while a \textit{Woodall number} is a positive integer of the form $m\cdot 2^m - 1$ for some integer $m \ge 1$. In this paper, we determine all Woodall numbers in the Padovan sequence and all Cullen numbers in the Perrin sequence. Specifically, we prove that $1$ and $7$ are the only Woodall numbers in the Padovan sequence, and that $3$ is the only Cullen number in the Perrin sequence.

Distributions of Iwasawa $\lambda$-invariants of $\mathbf{Z}_p$-towers over supersingular isogeny graphs

math.NT

math.CO

A graph-theoretic analogue of Iwasawa theory, initiated by Gonet and Valli\`eres, has attracted considerable interest in the study of Iwasawa invariants. On the other hand, for a pair of prime numbers $(r,\ell)$, one obtains a graph, called the supersingular $\ell$-isogeny graph (SIG), whose adjacency matrix has eigenvalues given by the $\ell$-th Fourier coefficients of the weight 2 Eisenstein series and newforms of level $r$. In this paper, we fix prime numbers $r$ and $p$, and let $\ell$ vary over infinitely many primes. We then investigate the distribution of the Iwasawa $\lambda$-invariants of the constant $\mathbf{Z}_p$-towers over the SIGs, thereby revealing connections among graph theory, Iwasawa theory, elliptic curves, and the Galois representations attached to newforms. At the end of this paper, we propose a conjecture concerning the Galois orbits of newforms.

On modular forms of rational weight satisfying the canonical second-order linear modular differential equation

math.NT

In this paper, we completely classify the rational weights $k$ for which the Kaneko-Zagier (KZ) differential equation admits a fundamental system of solutions consisting of modular forms for a principal congruence subgroup $\Gamma(N)$. By transforming the KZ equation into a hypergeometric differential equation, we study the global analytic continuation of its solutions, adopting an approach analogous to Stiller's work on Picard-Fuchs equations. We explicitly construct the monodromy representation matrices corresponding to the elements of the principal congruence subgroups and completely determine the algebraic conditions under which these connection matrices commute. Leveraging these stringent commutativity constraints, we prove that the weights $k$ yielding modular solutions are strictly limited to $k \equiv 1/2, 7/2, 1, 2, 3 \pmod{6}$ and $k = (6n+1)/5$, thereby demonstrating that no modular solutions exist beyond those previously discovered by Kaneko and Koike. Furthermore, the commutative algebras generated by these connection matrices reveal a profound analogy with commuting transfer matrices in quantum integrable systems.

Congruence Classes of Supporting the Erd\"{o}s-Straus Conjecture I: Tame Solutions

math.NT

In 1948, Erd\"{o}s and Straus formulated a conjecture : for any positive integer $n>2$, there exist positive integers $n_1,n_2$ and $n_3$ such that \begin{equation}\frac{4}{n}=\frac{1}{n_1}+\frac{1}{n_2}+\frac{1}{n_3},\nonumber\end{equation} which is still open. It is known that one only needs to prove the conjecture for any prime number $n$ such that $n\equiv 1\;(\mbox{mod}\;24)$. If $n=24m+1$ and $n_1\leq n_2,n_3$, then $n_1=6m+k$ with $1\leq k\leq 12m$. A solution $(n_1,n_2,n_3)$ of the above equation is called a {\it tame solution} if $n_2$ and $n_3$ are factors of $(6m+k)(24m+1)$. We call $n=24m+1$ {\it wild} if it does not have any tame solution. Computer calculation shows that there are only nine wild primes among the 7185 primes of the form $24m+1$ with $m\leq 30000$. In this paper, we derive the tame solutions of the above equation for the integers of the form $24m+1$ with $m$ parameterized by certain congruence classes. They cover the solvability of all the 586 tame primes among the 591 primes of the form $24m+1$ with $m\leq 2000$.

Computing Gamma(p/q) with Beta function values

math.HO

math.NT

In this expository article we show explicitly how to compute Gamma(p/q) in terms of Beta function values which in turn are Kontsevich-Zagier Periods.

Concise and elegant proofs of three formulas for complete Bell polynomials

math.CO

math.NT

In the paper, in light of the generating function of the complete Bell polynomials and other techniques, the author presents concise and elegant proofs of three formulas for the complete Bell polynomials.

Sets of large values of polynomial multi-correlation functions

math.DS

math.CO

math.NT

Let $p_1,...,p_L\in Z[x_1,...,x_d]$ be non-constant polynomials with zero constant term. The ergodic theoretical proofs of the polynomial and the IP-polynomial Szemeredi theorems as well as some of the ergodic-theoretical and combinatorial consequences of the Density Polynomial Hales-Jewett conjecture (DPHJ) naturally lead to the study of sets of large returns which are defined as $$ R_\epsilon^{p_1,...,p_L}(A):=\{n\in Z^d\,|\,\mu(A\cap T_1^{-p_1( n)}A\cap\cdots\cap T_L^{-p_L(n)}A)>\mu^{L+1}(A)-\epsilon\}, $$ where the $T_j$'s are commuting and invertible $\mu$-preserving transformations, $A$ is measurable, and $\epsilon>0$. We obtain new results dealing with the sets of the form $R_\epsilon^{p_1,...,p_L}(A)$. Among other things, we show that every set of the form $R_\epsilon^{p_1,...,p_L}(A)$ is syndetic if and only if $p_1,...,p_L$ are linearly independent, answering a question asked by Frantzikinakis-Kuca. Moreover, the linear independence of $p_1,...,p_L$ implies that every set of the form $R_\epsilon^{p_1,...,p_L}(A)$ has the A-IP$^*$ property (="almost" IP$^*$ property), which is stronger than syndeticity. The following is one of the new combinatorial results obtained in this paper. Suppose that $p_1,...,p_L$ are linearly independent. For any set $E\subseteq Z^D$ with upper Banach density $d^*(E)>0$, any non-zero $v_1,..., v_L\in Z^D$, and any $\epsilon>0$, the set $$ S_\epsilon^{p_1,...,p_L}(E):=\{ n\in Z^d\,|\,d^*(E\cap (E-p_1(n)v_1)\cap \cdots\cap (E-p_L(n)v_L))>(d^*(E))^{L+1}-\epsilon\} $$ is A-IP$^*$. Furthermore, we prove that when $D>L>1$, this result is sharp: the A-IP$^*$ property cannot be upgraded to IP$^*$. The techniques developed in this paper lead to some additional applications. For example, we show that an amplified form of the IP-polynomial Szemeredi theorem conjectured by Bergelson- McCutcheon follows from the DPHJ.

Definability via the tilting correspondence

math.LO

math.NT

We show that arithmetic definability of henselian valuations is preserved by the tilting correspondence. Moreover, we show that if a perfectoid valuation is arithmetically definable, then no parameters are needed. We also investigate whether these definitions can be chosen uniformly, and discuss the required quantifier complexity.

Top-dimensional rational cohomology of the congruence subgroup $\Gamma_{0,n}^+(p)$

math.AT

math.NT

Let $\Gamma_{0,n}^+(p)\subset \mathrm{SL}_n(\mathbb{Z})$ be the congruence subgroup of level-$p$ whose first column is of the form $(*,0,\dots,0)^t\bmod p$. We prove that the top-dimensional cohomology group $H^{\binom{n}{2}}(\Gamma_{0,n}^+(p);\mathbb{Q})$ vanishes for $p\in\{2,3,5,7,13\}$ if $n \geq 3$, as well as for $p \leq 6n-14$. Additionally, we prove a non-vanishing result, showing that this cohomology group is nonzero for $n = 2$ for every prime $p$, and for $n=3$ for all primes $p \notin \{2,3,5,7,13\}$.

Balanced intersection size distributions in projective planes

math.CO

math.NT

Given a point set $S$ in a projective plane $\Pi_q$ of order $q$, each line $\ell$ determines a secant size $|S\cap \ell|$. We study how balanced the secant-size distribution can be for the line set $\mathcal{L}$ of the plane, in other words, how many lines must share the same secant size. We show that $\min_{ S\subseteq \Pi_q} \max_k |\{\ell\in \mathcal{L}: |\ell\cap S|=k\}|=\Theta(q^{3/2}).$ This shows a large contrast with the case of real projective (or affine) plane, where $\max_{k>1} |\{\ell\in~ \mathcal{L}: |\ell\cap S|=k\}|$ is always at least the third of $|\{\ell\in \mathcal{L}: |\ell\cap S|>1\}|$. We also discuss explicit constructions in addition to randomized point sets, that are asymptotically close to be optimal, and point out a link between the constructions and character-sum estimates. Finally, we explore the relation between balanced secant size distributions and legitimate colorings, studied by Alon and F\"uredi, and prove a result that might resemble the Erd\H{o}s-Faber-Lov\'asz conjecture.

A discrete mean-value theorem for the higher derivatives of the Riemann zeta function

math.NT

v3

We show that the $n$th derivative of the Riemann zeta function, when summed over the non-trivial zeros of zeta, is real and positive/negative in the mean for $n$ odd/even, respectively. We show this by giving a full asymptotic expansion of these sums.

Resolution of two conjectures by Erd\H{o}s and Hall concerning separable numbers

math.NT

v2

Erd\H{o}s and Hall defined a pair $(m, n)$ of positive integers to be interlocking, if between any pair of consecutive divisors (both larger than $1$) of $n$ (resp. $m$) there is a divisor of $m$ (resp. $n$). A positive integer is said to be separable if it belongs to an interlocking pair. We prove that the lower density of separable powers of two is positive, as well as the lower density of powers of two which are not separable. Finally, we prove that the number of interlocking pairs whose product is equal to the product of the first primes, is finite. We hereby resolve two conjectures by Erd\H{o}s and Hall.

Breuil's Lattice Conjecture for GL2(K)

math.NT

v2

We prove Breuil's lattice conjecture for higher Hodge-Tate weights in the case of $\mathrm{GL}_2(K)$ where $K$ is an unramified extension of $\mathbb{Q}_p$. More precisely, under some genericity conditions, we show that the lattice inside a locally algebraic type induced by the completed cohomology of a $U(2)$-arithmetic manifold depends only on the Galois representation at places above $p$ for arbitrary Hodge-Tate weights, which are small relative to $p$. We further prove that the patched modules of all lattices inside the locally algebraic types with irreducible cosocle are cyclic. One key input of the paper is a structure theorem for mod $p$ representations of $\mathrm{GL}_2(\mathcal{O}_K)$, which are residually multiplicity free and of finite length. Another input is an explicit computation of universal framed Galois deformation rings, which parameterize potentially crystalline lifts with fixed tame inertial types and higher Hodge-Tate weights.

Two-color partitions with evens in one color

math.NT

v2

We consider sequences counting integer partitions in two colors (red and blue) in which the even parts occur only in blue color. We focus on subsequences defined by constraints on the parity and color of the summands. We establish formulas for our sequences and deduce identities of integer partitions.

Counting number fields using multiple Dirichlet series

math.NT

v2

We provide a method for counting number fields of fixed Galois group ordered by arbitrary inertial invariants using analytic techniques from the study of multiple Dirichlet series. We prove unconditional results for infinitely many new (concentrated and semiconcentrated) groups that were not approachable by previous methods. Conditional on subconvexity bounds bounds for certain Dirichlet series (e.g. the generalized Lindel\"of hypothesis), we use these techniques to prove the existence of an asymptotic growth rate for $G$-extensions for infinitely many new groups $G$ for which the minimum index elements of $G$ are contained in a union of proper abelian normal subgroups. In particular, our conditional results include all groups with nilpotency class $2$. Additionally, when $G$ is nilpotent our results give a power saving error term.

Wieferich Primes and Monogenic Trinomials

math.NT

v2

A prime $p$ is called a Wieferich prime if $2^{p-1}\equiv 1 \pmod{p^2}$. A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N\ge 2$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. In this article, we show that ${\mathcal F}_p(x):=x^{2p}+2x^{p}+2$ is monogenic if and only if $p$ is not a Wieferich prime.

On the Periods of Ikeda-Yamana Lift for the Unitary Group I

math.NT

v2

Let $F$ be a totally real field and $E$ be a quadratic CM extension field of $F$. Let $n$ be an odd positive integer. Yamana constructed a lift from Hermitian modular forms to automorphic forms on the unitary group. We denote by $\mathrm{I}_n(f)$ the form obtained by applying this lift to the Hermitian modular form $f$ of weight $(\kappa_v)_{v|\infty}$ and level 1. We then express the period $\perd{\mathrm{I}_n(f), \mathrm{I}_n(f)}$ of $\mathrm{I}_n(f)$ for Hecke eigenforms $f$ in terms of special values of certain $L$-functions attached to $f$. This is an extension of Katsurada's result concerning Ikeda's conjecture.

Lines in the prime number graph

math.NT

v2

The prime number graph is the set of points $(n,p_n)$ where $p_n$ denotes the $n^{\rm th}$ prime. Let $L(n)$ be the minimum number of straight line segments needed to cover the first $n$ points in this set. Let $B(n)$ be the largest number of points $(k,p_k)$ with $k\le n$ covered by a single line. Recently Sloane conjectured that $L(n) = O(n/\log n)$. We show that $L(n)=O(n \log \log n / \log n)$ and $B(n)\ge c\log n$ for a constant $c>0$ and all large $n$. Under RH we show that for large $n$ we have $B(n)=O(n^{3/4}(\log n)^{1/2})$ and $ L(n)\ge c' n^{1/4} (\log n) ^{-1/2}$ for some constant $c'>0.$

Pointwise order of generalized Hofstadter functions G, H and beyond

cs.DM

cs.FL

math.CO

math.NT

v2

Hofstadter's G function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, we vary the number $k$ of nested recursive calls in this equation and obtain a family of functions $(F\_k)$. Here we establish that this family is ordered pointwise: for all $k$ and $n$, we have $F\_k(n) \le F\_{k+1}(n)$. To achieve this, we make a detour via infinite morphic words generalizing the Fibonacci word. We prove various properties of these words, concerning the lengths of substituted prefixes of these words and the number of occurrences of specific letters in these prefixes. We also relate the limits of $\frac{1}{n}F\_k(n)$ to the frequencies of letters in the considered words. We provide a certified formalization of all these results in the Rocq proof assistant.

Cryptanalysis of the Legendre Pseudorandom Function over Extension Fields

cs.CR

math.NT

v3

The Legendre Pseudorandom Function (PRF) is a highly efficient cryptographic primitive built upon the Legendre symbol, valued for its low multiplicative complexity in Multi-Party Computation (MPC) and Zero-Knowledge Proof (ZKP) protocols. While its security over prime fields $\mathbb{F}_p$ is well-documented, recent interest has shifted toward instantiations over extension fields $\mathbb{F}_{p^r}$. This paper presents the first comprehensive cryptanalysis of the single-degree Legendre PRF operating over $\mathbb{F}_{p^r}$. First, we analyze polynomial input encoding under a standard passive threat model (sequential additive counter queries). We demonstrate that while the absence of polynomial carry-overs causes an asynchronous "no-carry fracture" that neutralizes classical sliding-window collision attacks, the fracture itself is deterministically periodic. By introducing a novel "Differential Signature" bucketing technique, we prove that an adversary can systematically group fractured sequences by their structural shapes to bypass this defense, recovering the secret key in $\mathcal{O}(U \cdot p^r/M)$ operations, where $U$ is the unicity distance. Second, we evaluate the PRF under an active Chosen-Query threat model. We demonstrate that an adversary can circumvent the additive fracture by evaluating the PRF along a geometric sequence generated by a primitive polynomial. This structure invokes strict multiplicative homomorphism over $\mathbb{F}^*_{p^r}$, permitting a direct generalization of state-of-the-art table collision attacks to extract the key in $\mathcal{O}(p^r/M)$ operations. Finally, we establish the cryptographic boundaries of these attacks, formally proving the necessity of higher-degree key variants ($d \ge 2$) to achieve exponential security against structural reduction in extension fields.