Generalized Harmonic Progression

2026-05-09T04:26:30Z

This paper presents formulae for the sum of the terms of a harmonic progression of order $k$ with integer parameters, $\mathrm{HP}_k(n)$, and for the partial sums of its two associated Fourier series, $C^z_{k}(a,b,n)$ and $S^z_{k}(a,b,n)$. $\mathrm{HP}_k(n)$ is built from the ground up, with a power series for $1/(aj+b)^k$ that is summed over $j$ using Faulhaber's formula. These new formulae are a generalization of the formulae created in a previous paper and were achieved using a slightly modified version of the reasoning employed before.

Invariant measure for double base expansions

2026-05-09T03:22:34Z

Given a pair $Q=(q_0,q_1)\in(1,\infty)^2$ with $q_0+q_1\ge q_0q_1$, a sequence $(c_i)\in\set{0,1}^\infty$ is called a $Q$-expansion of $x$ if
\begin{equation*}
x=\sum_{i=1}^{\infty}\frac{c_i}{q_{c_1}\cdots q_{c_i}}.
\end{equation*}
We primarily study the dynamical properties of the greedy and lazy maps, which are the piecewise-linear maps on the interval $I_Q=[0,\,1/(q_1-1)]$ defined by the corresponding algorithms for $Q$-expansions.
We show that the greedy and lazy maps each of which has a unique absolutely continuous invariant probability measure, equivalent to the Lebesgue measure on the intervals
\begin{equation*}
\left[0,\frac{q_0}{q_1}\right)\qtq{and}\left(\frac{q_1}{q_0(q_1-1)}-1,\frac{1}{q_1-1}\right],
\end{equation*}
respectively.
Furthermore, the corresponding dynamical systems are exact on $I_Q$.
As a dynamical consequence, under the stronger condition $q_0+q_1>q_0q_1$ the set of points having unique $Q$-expansions has Lebesgue measure zero, and almost every $x\in I_{Q}$ admits a continuum of $Q$-expansions.

A Complete Answer to Erdős Problem 690

2026-05-08T23:09:19Z

Let $d_k(p)$ denote the natural density of positive integers whose $k$-th smallest prime divisor is $p$. Erdős asked whether, for each fixed $k$, the sequence $p\mapsto d_k(p)$ is unimodal as $p$ ranges over the primes. Cambie proved that unimodality holds for $1\le k\le3$ and verified non-unimodality for $4\le k\le20$. We prove that $p\mapsto d_k(p)$ is not unimodal for every $k\ge4$, completing the classification. An exact first-difference criterion reduces the problem to comparing a symmetric-polynomial ratio with prime gaps. Explicit estimates for prime-counting functions, certified finite computations, one certified large prime gap, one certified twin prime, and a uniform Chinese-remainder construction then produce, for every $k\ge4$, a strict descent followed by a later strict ascent.

Learning from Ramanujan: Elementary Approaches to Profound Ideas

2026-05-08T21:02:51Z

We revisit several entries from Ramanujan's notebooks which follow from more elementary arguments than a first glance may suggest. Our goal is to demystify these results through more accessible proofs, while also shining some light on the web of interconnections within the notebooks and demonstrating the continuing relevance of Ramanujan's methods. Classical and modern tools, such as multisection, telescoping sums, partial fraction decomposition and Fourier analysis, are employed to reprove and extend identities originally presented without explanation. These contributions try not only to enrich our understanding of Ramanujan's intuition but also to offer new avenues for exploration in number theory, special functions and mathematical analysis.

Differences of squares of upper-triangular $2\times 2$ integer matrices

2026-05-08T18:05:33Z

We consider the problem of characterizing upper-triangular matrices $M=\begin{pmatrix}p&r\\0&q\end{pmatrix}\in M_2(\mathbb Z)$ which can be represented in the form $A^2-B^2$ with upper-triangular integer matrices $A$ and $B$ and give a complete criterion in terms of representations of $p$ and $q$ as differences of two squares and an additional divisibility condition on $r$. Also, we give a complete classification of representable matrices in terms of congruence conditions on $p$, $q$, and $r$.

A strengthening of Chang's lemma

2026-05-08T15:54:07Z

We prove a strengthening of Chang's lemma for subsets of $\mathbb F_p^n$. The classical conclusion that the large spectrum is contained in a subspace of dimension at most $2\varepsilon^{-2}\log(1/α)$ is refined to show that every character outside this subspace has small correlation with the set not only globally, but also on average over the cosets of the orthogonal complement, in a natural cosetwise $\ell^1$ norm. As a consequence, we obtain a localized counting lemma. We also give an extension of the argument to arbitrary finite abelian groups.

Expansion in $\text{SL}_2(\mathbb Z/q\mathbb Z)$ and Zaremba's conjecture

2026-05-08T15:40:58Z

We establish an expansion theory for $\text{SL}_2(\mathbb Z/q\mathbb Z)$. Incorporating this into a framework recently developed by Shkredov, we confirm Zaremba's conjecture.

Remarks on the distribution of Dirichlet $L$-functions along cosets

2026-05-08T15:27:26Z

In a previous work with B. Garcia, the author considered the asymptotic for the second moment of Dirichlet $L$-functions along cosets, and exhibited a surprising secondary main term that is not predicted by the recipe of Conrey, Farmer, Keating, Rubinstein, and Snaith. In this paper, we re-examine this problem and propose a modified recipe that correctly predicts this secondary main term. The original recipe gives the incorrect answer for this family because the root number is not always independent of the Dirichlet series coefficients along certain cosets, and our proposed fix simply takes this feature into account. In addition, we consider a handful of other problems related to Dirichlet $L$-functions along cosets. One goal is to reformulate Heath-Brown's $q$-analog of van der Corput's shifting method in terms of cosets, which leads to an upper bound on a hybrid second moment. We also revisit the classical van der Corput bound and view it (in more modern terms) as an amplified second moment of a trigonometric polynomial.

The Galois characterisation of $p$-adically closed fields -- A modern perspective

2026-05-08T14:25:26Z

In 1927, Artin and Schreier showed that a field is real closed if and only if its absolute Galois group has order two. Inspired by this characterisation and drawing on earlier work of Neukirch, Pop conjectured the following $p$-adic analogue: a field is $p$-adically closed if and only if its absolute Galois group is isomorphic to that of $\mathbb{Q}_p$. In 1995, the conjecture was independently solved by Efrat for $p \ne 2$ and by Koenigsmann in full generality. Using novel techniques in the theory of valued fields developed over the last 25 years, we give a new, elementary, and self-contained proof of this theorem, with a Galois characterisation of henselianity at the heart of the proof and without relying on Galois cohomology. We further highlight connections to the recent work of Jahnke-Kartas on perfectoid fields and model-theoretic transfer techniques. We provide a systematic account of all of our methods to encourage further investigations.

Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic

2026-05-08T12:47:50Z

We use height arguments to prove two results about the dynamical Mordell-Lang problem. (i) For an endomorphism of a projective variety, the return set of a dense orbit into a curve is finite if any cohomological Lyapunov multiplier of any iteration is not an integer. (ii) Let $f\times g:X\times C\rightarrow X\times C$ be an endomorphism, where $f$ and $g$ are surjective endomorphisms of a projective variety $X$ and a projective curve $C$, respectively. If the degree of $g$ is greater than the first dynamical degree of $f$, then the return sets of the system $(X\times C,f\times g)$ have the same form as the return sets of the system $(X,f)$. Using the second result, we deal with the case of split self-maps of products of curves, for which the degrees of the factors are pairwise distinct. In the cases that the height argument cannot be applied, we find examples which show that the return set can be very complicated -- more complicated than experts once imagined -- even for endomorphisms of tori with zero entropy. One may compare them with the conjectures and results stated in [CGSZ21] and [XY25].

Weighted Distributions of Complex Multiplication Orders in Ordinary Isogeny Classes

2026-05-08T11:55:55Z

We develop a global arithmetic framework for studying endomorphism rings inside ordinary elliptic isogeny classes over finite fields. Let p be a prime and let I(t,p) be an ordinary isogeny class over the finite field F_p with Frobenius trace t. The discriminant Delta = t^2 - 4p can be written as Delta = v^2 D_K, where D_K is the fundamental discriminant of an imaginary quadratic field K. In this setting, the possible endomorphism rings are precisely the quadratic orders O_f = Z + f O_K, with f dividing v. Building on Deuring's correspondence, we express the distribution of these orders in terms of weighted class numbers h*(D) = h(D)/w(D), and obtain explicit formulas for global distributions across the entire isogeny class. This approach goes beyond the classical local viewpoint, where the endomorphism ring is constant along each level of an ell-isogeny volcano. In particular, we introduce weighted exact and cumulative distributions of endomorphism rings. These distributions induce canonical laws for the ell-adic valuation of conductors and recover the vertical stratification of ell-volcanoes in an averaged sense. On the global side, by varying the prime p, we relate the existence of curves with a prescribed CM order O_D to splitting conditions in the associated ring class field L_D. Using the Chebotarev density theorem, we obtain the natural density 1/(2h(D)) for primes admitting CM by O_D. This gives a horizontal distribution law complementary to the vertical conductor distribution. These results establish a unified perspective linking Deuring theory, isogeny graph geometry, and class field theory. They also provide a natural framework for quantitative and algorithmic studies of ordinary isogeny classes.

Weighted averages of $p$-adic hypergeometric functions and traces of Frobenius of elliptic curves

2026-05-08T11:35:55Z

In this paper, we aim to study traces of Frobenius of certain one parameter families of elliptic curves and their relationships with $p$-adic hypergeometric functions. For example, we consider a DIK family of curves and establish the trace of Frobenius as weighted averages of special values of certain families of $p$-adic hypegeometric functions, where the average is taken over the arrays of parameters. Moreover, we consider Jacobi curves and express the trace of Frobenius as a special values of $p$-adic hypergeomtric functions. As a consequence of these results we obtain four summation identities for the $p$-adic hypegeometric functions that arise from the DIK family. Furthermore, we obtain $p$-adic analogous of Euler and Pfaff transformations for certain $p$-adic hypergemetric functions.

On ratios of theta functions

2026-05-08T10:51:01Z

Motivated by the average partition function of c free bosons $($Afhkami-Jeddi et al. \cite{Afhk2021}$)$ and the average of the genus 1 partition function over the Narain moduli space $($Maloney-Witten \cite{Witten2020}$)$, we investigate ratios of theta functions. In this paper, we completely classify the minimizers (or maximizers) for ratios of theta and Epstein zeta functions. We find that the hexagonal lattice plays a pivotal role there. These results have direct applications in conformal and Liouville field theory via partition functions. Additionally, they yield the minima of differences of theta and Epstein zeta functions, which have implications for the mathematics of crystallization and interacting particle theory (\cite{Bet2016,Bet2019AMP}).

Brik's sequence: a strange recursion

2026-05-08T10:16:32Z

We study the properties of the sequence of words $(B_i)$, where $B_1 = 101$ and $B_{i+1} = B_i C_i$ for $i \geq 1$, where $C_i$ is $B_i$ with the first $i$ symbols removed, and the infinite binary sequence ${\bf b} = 10101101011011101 \cdots$ of which all the $B_i$ are prefixes. We show that $\bf b$ is recurrent, but not uniformly recurrent; it has exponential factor complexity; it is not morphic; and the density of $1$'s exists and is transcendental.

Anderson generating function of rank-one Drinfeld Module over rational function fields

2026-05-08T09:26:22Z

We establish a fundamental breakthrough in rank-one Drinfeld module arithmetic by deriving explicit formulas over the integral domain $\A = H^{0}(\mathbb{P}^1-P_ρ, \mathcal{O}_{\mathbb{P}^1})$, which generalizes the classical polynomial ring ($N=1$) to the projective line associated with an infinite place of degree $N \geqslant 2$. This fills a longstanding gap by developing a comprehensive parallel to Carlitz module theory foundational in positive characteristic arithmetic for the understudied case of infinite places of degree $>1$. We construct Anderson generating functions for these modules and link them to the Carlitz period via Pellarin's series, exponential torsion modules, and logarithmic deformations. These constructions provide powerful tools for studying such Drinfeld modules and their associated $L$-series, central to modern number theory. A key result reveals a critical distinction from Carlitz theory: the standard Anderson generating function residue formula fails due to Galois group action. We resolve this obstruction by introducing an exponential action, enabling simultaneous study of all twisted exponential functions a major methodological advance. We further show that Anderson generating function computation involves the dual of Drinfeld modules, leading to an appropriate residue formula modification. Notably, our natural approach generalizes to arbitrary Dedekind domains, extending our results beyond $\A$ and opening new avenues in Drinfeld module theory.