Number Theory [math.NT]

Tail Criteria, No-Go Audits, and Ap\'ery-Type Certificate Obstructions for the Irrationality of e+\pi

math.NT

The irrationality of e+pi remains open, despite the separate transcendence of e and pi. This paper studies the problem from the viewpoint of finite irrationality certificates and gives a bounded no-go audit for low-complexity Ap\'ery-type proof mechanisms. First, we prove exact equivalences between the hypothesis e+pi in Q and eventual factorial-arithmetic phenomena: a ceiling recurrence, a factorial-Cantor digit condition, and a divisibility criterion. These criteria identify what rationality would force, while showing why tail conditions are not finite obstructions. Second, we formulate an Ap\'ery-type certificate framework based on integer linear forms L_n = A_n(e+pi)+B_n with A_n,B_n in Z, L_n nonzero, and |L_n| tending to zero. A mixed integration-by-parts identity produces such forms from integer polynomials. We then audit several low-complexity constructions, including mixed Pad\'e approximation, crossed separate approximations to e and pi, simple J-fractions, holonomic ansatzes, Rodrigues-type families, and an integer kernel-lattice search. The main contribution is a rigid boundary probe: no-go filters marking a tested zone where analytic smallness is destroyed by denominator clearing, coefficient growth, primitive reduction, or continued-fraction shadows. In the final kernel-lattice audit, 145 raw candidates reduce to 133 primitive records; the best signals are dominated by continued-fraction shadows, while non-CF candidates do not form a degree-continuing family. Thus, within the tested low-complexity families, no non-circular Ap\'ery-type mechanism for e+pi is found.

Arithmetic Properties Satisfied by a Recent Integer Partition Function of Dombos

math.NT

math.CO

In recent work of Dombos, the set of integer partitions of $n$ wherein the parts are either divisible by 4 or congruent to $\pm 1 \pmod{6}$ arose in a natural way. In this work, we will denote the function which counts the number of such partitions of $n$ by $dp(n)$. Using elementary generating function manipulations and classical $q$--series results, we prove several congruences satisfied by $dp(n)$. As an example, we prove that, for all $\alpha \geq 1$ and all $n \geq 0$, \begin{equation*} dp \left( 3^{2\alpha + 1}n + \frac{7 \cdot 9^\alpha + 1}{4} \right) \equiv 0 \pmod{3}. \end{equation*}

A combinatorial large sieve for Sidon sets, distances, and norm forms

math.NT

math.CO

We develop a new combinatorial large sieve method for sets with bounded algebraic multiplicities. The method exploits algebraic splitting modulo many small primes: local congruence branching produces many modular collisions, while global bounded-multiplicity hypotheses force these collisions to be rare. As a first application, we prove that every Sidon subset $A\subset\{1^2,\ldots,N^2\}$ satisfies \[ |A| \le N\exp\left( -c\frac{\log N}{\log\log N} \right) \] for some absolute constant $c>0$. This gives the first super-polylogarithmic saving for a classical problem of Alon and Erd\H{o}s. As a second application, we establish new upper bounds for two grid-distance problems. We show that the largest subset of $[N]^2$ with no repeated distance has size at most $N\exp\left(-c\log N/\log\log N\right)$, giving the first progress in over thirty years on a problem of Erd\H{o}s and Guy. The same method also gives a super-polylogarithmic saving for subsets of $[N]^2$ with no isosceles triangles, a problem recently popularized by Ellenberg and by the PatternBoost work of Charton, Ellenberg, Wagner, and Williamson. We then develop an entropic version of the method. This gives bounds for $B_2[g]$-sets in the squares and for analogous bounded-multiplicity problems associated with norm forms over arbitrary number fields. Moreover, we prove the first nontrivial bounds for $B_3[g]$-sets in the cubes and $B_4[g]$-sets in the fourth powers.

Computing Hyperfibonacci Numbers by Means of Matrix Transformations and Jordan Forms

math.NT

The Hyperfibonacci sequence of the $r$th generation is defined recursively as a generalization of Fibonacci numbers, where each term is obtained by summing the terms of the Hyperfibonacci sequence of the preceding generation. We introduce the transformation matrix for Hyperfibonacci numbers, which enables us to determine the next term in a given generation. We explore the algebraic structure of that matrix, and its power of $n$, similarity transformations between these matrices and their Jordan canonical forms. Finally, we analyze the powers of these matrices using their Jordan forms, obtaining compact and elegant formulas for expressing $r$-generation Hyperfibonacci numbers in terms of Fibonacci numbers.

Square-Annular Dynamics and Coalescence Frontiers for $n+\tau(n)$

math.NT

math.DS

Let $T(n)=n+\tau(n)$, where $\tau$ is the divisor function. We study the Erdos-Graham coalescence problem by encoding finite-level obstructions in the divisor-successor graph and in square-annular transfer maps. Coalescence is equivalent both to connectedness of this graph and to synchronization along an infinite non-autonomous sequence of finite annular systems. The basic identities are \[ \operatorname{im}(\mathcal A_k)=E_{k+1}, \qquad \mathcal F_{k^2}=k^2+E_k, \] where $E_k$ is the set of square-crossing overshoots from below $k^2$. We prove a transfer parity law, dynamic frontier bounds for the widths $W_{k,s}$, and the criterion that $\liminf_k|\mathcal A_k(E_k)|=1$ would imply connectedness. Unconditionally, \[ R(X)\le \log X+2\gamma+O(X^{-1/4}), \] and the exit sets are residue-universal, satisfy $|E_k|\le k^{o(1)}$, and obey \[ \frac94K+O(1)\le \sum_{k\le K}|E_k|\ll K(\log K)^3. \] Using the shifted-square estimate HST, obtained from the corrected Henriot--Nair--Tenenbaum theorem in the specialized form of Proposition 8.4 and from separate square-shift estimates, we obtain fixed-moment bounds \[ \sum_{k\le K}|E_k|^m\ll_m K(\log K)^{C_m}\quad(m\ge2). \] A further first-moment refinement to $K(\log K)^2$ is conditional on the additional, currently unproved, uniform quadratic Euler-product mean-value hypothesis HQE. We also prove quantitative large-jump and lower-runner race theorems, isolate interval filling, and formulate a square-gated two-branch criterion. No proof of the full Erdos-Graham problem is claimed.

An Average-Order Theorem for a Shifted Pairwise-Coprime Extremal Problem

math.NT

math.CO

For $n\ge 2$, let $\mathcal{M}(n)$ be the supremum of $\sum_{a\in A}1/(n-a)$ over pairwise coprime sets $A\subset [1,n)$. Erd\H{o}s asked whether $\mathcal{M}(n)\le \sum_{pd\}$, while the upper bound uses bounded-cost dual certificates and Buchstab--de Bruijn estimates for rough numbers. We also prove that $$ \mathcal{M}(n)=(e^{-\gamma}+o(1))\log\log n $$ for almost all $n$, with a quantitative exceptional-set bound, and hence Erd\H{o}s's inequality holds for almost all $n$. The almost-all proof uses a long-interval two-dimensional beta-sieve estimate for two moving forbidden residue classes, together with an exact finite singular-series cancellation. Finally, we prove the pointwise bound $\mathcal{M}(n)\le (2+\varepsilon)\log\log n+O_{\varepsilon}(1)$, explain the linear-sieve barrier behind the constant $2$, and record structural certificates, conditional window-packing reductions, numerical examples, and CRT sharpness constructions.

Restricted partition functions and additive complements

math.NT

Let $\mathbb{N}$ be the set of positive integers. For subsets $\mathcal{A},\mathcal{M}\subseteq \mathbb{N}$ and $n\in \mathbb{N}$, let $p(n,\mathcal{A},\mathcal{M})$ denote the number of representations of $n$ in the form $$ n=\sum_{a\in \mathcal{A}}m_a a, $$ where $m_a\in \mathcal{M}\cup \{0\}$ for all $a\in \mathcal{A}$, and only finitely many $m_a$ are nonzero. We prove that there exist two infinite sets $\mathcal{A}=\{a_n\}_{n=1}^{\infty}$ and $\mathcal{M}$ of positive integers such that $$ \lim_{n\to\infty}\frac{\log a_{n+1}-\log a_n}{\log n}=+\infty, $$ $p(n,\mathcal{A},\mathcal{M})>0$ for every $n\in\mathbb{N}$, and $p$ has polynomial growth. More generally, we prove a construction that associates restricted partition functions of polynomial growth with additive complements satisfying a simple counting condition. This answers a 2016 question of Dai and Chen in the affirmative.

Recursions for Mock Theta Functions

math.NT

We establish weighted recursions for the coefficients of Ramanujan's third order mock theta functions $f$ and $\omega$. Specifically, we apply a holomorphic projection operator to vector-valued Rankin-Cohen brackets of completed mock theta series and their shadows. By employing a vector-valued framework, we exploit the vanishing of certain spaces of vector-valued cusp forms. Our proof is AI-assisted and prioritizes accessibility, allowing for straightforward customization and replication within the broader research community.

On zero-sum problems of two new types

math.NT

math.CO

In this paper, we mainly investigate zero-sum problems over $\mathbb Z/n\mathbb Z$ (with $n>1$) of two new types. Let $s_1(n)$ (resp. $t_1(n)$) be the least positive integer $k$ such that for any integers $a_1,\ldots,a_k$ not divisible by $n$ (resp., relatively prime to $n$), there is an $I\subseteq\{1,\ldots,k\}$ with $|I|=n$ for which the sum $\sum_{i\in I}a_i$ is divisible by $n$ but not divisible by $n^2$. For $n\geqslant 4$, we prove that $2n+1\leqslant s_1(n)\leqslant n^2-2n+2$ and $2n-(-1)^n\leqslant t_1(n)\leqslant (n-1)\varphi(n)+1$. We conjecture that $s_1(n)=2n+1$ and $t_1(n)=2n-(-1)^n$ for any integer $n>2$.

Analytic theories around the simplest screw

math.CV

math.CA

math.FA

math.NT

v2

We present several analytic theories related to screw functions and describe the connections among them, taking the screw function of the simplest screw line as a guiding example.Note that this article does not contain any new results. Nevertheless, subsequent developments have suggested that the analytic structures associated with the simplest screw provide a useful prototype for a broader theory connected with zeta-functions, Weil's quadratic forms, and related Hilbert-space structures arising in analytic number theory.

The greedy 3-sumfree sequence $S_{1,g,g+1}$

math.CO

math.NT

For every integer $g\ge 2$, we determine exactly which integers occur in the greedy 3-sumfree sequence that starts with $1$, $g$, and $g+1$. This gives a direct proof of a conjecture of Bosma, Bruin, Fokkink, Grube, Reuijl, and Tromp. We also obtain an explicit eventual periodic description, including both the preperiod and the repeating block.

Spectral interpretation of Riemann zeta zeros

math.CA

math.NT

It is a well-known problem to identify the nontrivial zeros of the Riemann zeta function in terms of an eigenvalue problem. We here find such an eigenvalue problem for second order differential operators on the half-line. In a sense, our analysis pushesthe analysis of the zeta function over to the study of the Jacobi theta function, which may be thought of as the fundamental solution of the heat (or Schr\"odinger) equation on the unit circle (or the semi-infinite cylinder, if time is added). The eigenvalue problem takes the form $LD u+\alpha Lu=0$, where $L$ and $D$ are first-order differential operators, of which only $L$ involves the theta function. In a formal sense, then, $\alpha$ is an eigenvalue of the twisted operator $-LDL^{-1}$. Based on this formal thinking, we develop the notion of self-adjointness of the pair $(LD,L)$, to adapt the Hilbert-P\'olya idea to the spectral problem at hand.

Spectral Intertwining Operators

math.RT

math.AG

math.NT

We study spectral intertwining operators between spectral Eisenstein series $\operatorname{Eis}_{P^\vee}$, $\operatorname{Eis}_{Q^\vee}$ for two parabolic subgroups $P, Q$ of a $p$-adic reductive group $G$ with the same Levi subgroup $M$, inspired by the analogy with the classical intertwining operators between parabolic induced representations of $p$-adic reductive groups. In particular, we construct the normalized (canonical) intertwining operator that satisfies the transitivity and an unnormalized intertwining operator that is adjoint to a rational section of an analog of the Bruhat-Mackey's filtration. Moreover, the normalized and unnormalized intertwining operators differ by a ratio of L-functions, analogously to the Langlands conjecture about classical ones up to units. Finally we prove that the spectral intertwining operators correspond to classical ones up to units under any conjectural categorical local Langlands correspondence.

Single-valued polylogarithms for higher genera

hep-th

math-ph

math.AG

math.MP

math.NT

We extend the construction of single-valued polylogarithms at genus one from arXiv:2511.15240 to once-punctured Riemann surfaces of higher genera. The resulting functions have a trivial monodromy representation with respect to the fundamental group, hence they descend to well-defined functions on the surface. Our construction of single-valued polylogarithms is based on Enriquez' connection and relates them to the polylogarithms from D'Hoker-Hidding-Schlotterer. Finally, we identify the Arakelov Green's function within our framework.

Perturbed Polynomial Powers and Bourgain Entropy Obstructions for Khintchin Averages

math.DS

math.NT

Let $a\ge2$, let $p\in\mathbb{Z}[n]$ be eventually increasing and eventually non-negative, and let $\lambda_n=a^{p(n)}+f(n)>0$, where $f(n)\in\mathbb{Z}$. We prove, using Bourgain's bounded entropy criterion, that if $\log(1+f(n)a^{-p(n)})$ is eventually non-zero and decays geometrically in absolute value, then $(\lambda_n)$ is neither $L^\infty$-Khintchin nor $L^1$-Khintchin. In particular, for every $c\in\mathbb{Z}\setminus\{0\}$, every positive tail of $(a^{p(n)}+c)_{n\ge1}$ is non-Khintchin. The same conclusion applies to the standard examples $a^n+c$, $a^n+b^n$, and, whenever eventually positive, $a^n-b^n$, with $a\neq b$. Thus these perturbations of geometric powers lie on the unstable side of the Khintchin problem. This gives a negative answer, in the translated-power case, to the question of Fan--Fan--Queff\'elec--Queff\'elec on the stability of translated powers.

An Explicit non-Poissonian Pair Correlation Function

math.NT

v3

A generic uniformly distributed random sequence on the unit interval has Poissonian pair correlations. Usually, the pair correlations statistic is therefore studied for equidistributed sequences. At the same time, there are only very few explicitly known examples of sequences with this property and many types of deterministic sequences have been proven to fail having the Poissonian pair correlation property. In this paper we study the pair correlation statistic in the non-uniform case and analyze the first elementary example of such a sequence, namely $x_n := \left\{ \frac{\log(2n-1)}{\log(2)} \right\}$, which is a standard low-dispersion sequence. The proof heavily relies on a full understanding of the gap structure of $(x_n)_{n=1}^N$. Furthermore, we discuss differences to the weak pair correlation function which turns out to be linear.

Harder's conjecture II

math.NT

v3

Let $f$ be a primitive form of weight $2k+j-2$ for $\SL_2(\ZZ)$, and let $\frkp$ be a prime ideal of the Hecke field of $f$. We denote by $\SP_m(\ZZ)$ the Siegel modular group of degree $m$. Suppose that $k \equiv 0 \mod 2, \ j \equiv 0 \mod 4$ and that $\frkp$ divides the algebraic part of $L(k+j,f)$. Put ${\bf k}=(k+j/2,k+j/2,j/2+4,j/2+4)$. Then under certain easily checkable conditions, we prove that there exists a Hecke eigenform $F$ in the space of modular forms of weight $(k+j,k)$ for $\SP_2(\ZZ)$ such that $[\scri_2(f)]^{\bf k}$ is congruent to $\scra^{(I)}_4(F)$ modulo $\frkp$. Here, $[\scri_2(f)]^{\bf k}$ is the Klingen-Eisenstein lift of the Saito-Kurokawa lift $\scri_2(f)$ of $f$ to the space of modular forms of weight ${\bf k}$ for $\SP_4(\ZZ)$, and $\scra^{(I)}_4(F)$ is a certain lift of $F$ to the space of cusp forms of weight ${\bf k}$ for $\SP_4(\ZZ)$. As an application, we prove Harder's conjecture on the congruence between the Hecke eigenvalues of $F$ and some quantities related to the Hecke eigenvalues of $f$. This version gives proofs of Lemmas 7.2 and 7.3 and Corollaries 7.4 and 7.5 of the paper arXiv:2306.07582v2.

Modularity of higher theta series I: cohomology of the generic fiber

math.NT

math.AG

v3

In a previous paper we constructed higher theta series for unitary groups over function fields, and conjectured their modularity properties. Here we prove the generic modularity of the $\ell$-adic realization of higher theta series in cohomology. The proof debuts a new type of Fourier transform, occurring on the Borel-Moore homology of moduli spaces for shtuka-type objects, that we call the arithmetic Fourier transform. Another novelty in the argument is a sheaf-cycle correspondence extending the classical sheaf-function correspondence, which facilitates the deployment of sheaf-theoretic methods to analyze algebraic cycles. Although the modularity property is a statement within classical algebraic geometry, the proof relies on derived algebraic geometry, especially a nascent theory of derived Fourier analysis on derived vector bundles, which we develop.

On the Minimality of the Conductor for Elliptic Curve $L$-Functions

math.NT

v2

We investigate the role of the conductor in analytic rank bounds for elliptic curves over \(\mathbb{Q}\). Let \(E/\mathbb{Q}\) be an elliptic curve with conductor \(N_E\). We consider hypothetical degree-two \(L\)-functions associated to (E) that satisfy analytic continuation, a functional equation involving an arithmetic invariant \(\Phi(E)\), and yield rank bounds of the form \[ \operatorname{rank}(E)\ll \log \Phi(E). \] Using the Modularity Theorem, we show that any such invariant must satisfy \[ \Phi(E)\ge N_E. \] Thus the conductor is minimal among arithmetic invariants that can appear in this analytic framework. In particular, the standard logarithmic rank bounds arising from the conductor cannot be improved by replacing \(N_E\) with a strictly smaller invariant while preserving the same degree-two functional equation structure. These results provide a structural explanation for the distinguished role of the conductor in analytic approaches to the rank problem.

Structure of (Fine) Mordell--Weil Groups

math.NT

v3

In this article we study the algebraic structure of fine Mordell--Weil groups, plus/minus Mordell--Weil groups, Selmer groups, and plus/minus Selmer groups in the cyclotomic $\mathbb{Z}_p$-extensions of abelian number fields. As a first, we prove theorems on the equivariant structure of fine Mordell--Weil groups and plus/minus Mordell--Weil groups. In other words, we study the explicit shape of the fine, plus/minus objects as a $\Lambda(\mathcal{G})$-module with $\mathcal{G} \simeq \mathbb{Z}_p \times G$ and $G$ a finite abelian group. We prove refinements of previously known results over $\mathbb{Q}$ for the classical Selmer group and the plus/minus Selmer group, and subsequently also the Shafarevich--Tate group, and the plus/minus Shafarevich--Tate group. This gives new evidence towards an affirmative answer for the Kurihara--Pollack problem.

Modular Heights of Unitary Shimura Varieties III: Proof of the Main Theorem

math.NT

v2

This is the third and the last of a series of three papers, in which we prove a formula expressing the modular height of a unitary Shimura variety over a CM number field in terms of the logarithmic derivative of the Hecke L-function associated with the CM extension. The main idea of our proof is to compare the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series and the arithmetic degree of a generating series of divisors on unitary Shimura varieties. In this paper, we compute the arithmetic degree of the arithmetic generating series of divisors on unitary Shimura varieties, and then, combining with the results from the first two papers in this series, derive the modular height formula for unitary Shimura varieties.

Levinson's theorem and its generalization for Dirichlet L-functions

math.NT

v2

In this report, we present a proof of Levinson's theorem, following the ideas of Matthew P. Young in 2010, which states that one-third of the non-trivial zeros of the Riemann zeta function lie on the critical line, i.e. the line Re(s) = 1/2, using a mollified second moment of the zeta-function. Later, we present a generalized result for Dirichlet L-functions by Xiaosheng Wu in 2018, using Levinson's method, showing that more than two-fifths of the non-trivial zeros of Dirichlet L-functions are on the critical line. Moreover, more than two-fifths of the non-trivial zeros are simple and on the critical line, using a longer mollifier than in Levinson's original proof. This generalizes a result by Conrey from 1989 that the Riemann zeta-function has at least two-fifths of its zeros on the critical line.

Generalized rank deviations for overpartitions

math.NT

math.CO

v2

We prove formulas for generalized rank deviations for overpartitions. These formulas are in terms of Appell-Lerch series and sums of quotients of theta functions and extend work of Lovejoy and the second author. As an application, we compute a dissection.

New perspectives on $p$-adic regulator formulae

math.NT

v2

Inspired by the pullback method in the recent work of Sangiovanni-Vincentelli--Skinner, we reconstruct the diagonal class of Darmon--Rotger. Moreover, we reinterpret the computation of the $p$-adic regulator formula.

Affine Chabauty II

math.NT

v2

We present an algorithm for determining the set of $S$-integral points on an affine curve based on the Affine Chabauty method developed in the first part of this series. We achieve this by constructing explicit logarithmic differentials whose integrals take on prescribed values on $S$-integral points. Along the way, we prove a $p$-adic residue theorem for Coleman integrals of log differentials.

Iwasawa invariants and class number parity of multi-quadratic number fields

math.NT

v2

In this paper, based mainly on the method of Iwasawa and Kida, by studying in detail the Hasse's unit index and the ramifications of prime ideals, we obtain explicit results of Iwasawa invariants $ \lambda_{2} $ of the cyclotomic $ \Z_{2}$-extensions of number fields. In particular, under Greenberg's conjecture, we obtain an explicit formula of $ \lambda_{2} $ for imaginary multi-quadratic number fields. As an application, we give a criteria of determining class number parity of multi-quadratic number fields.

L-indistinguishability for covering groups of algebraic tori

math.NT

v2

A global packet may simultaneously contain an automorphic representation and a non-automorphic representation. The global $\mathcal S$-group is expected, and known in some cases, to specify the automorphic representations in each global packet. For a covering group of an algebraic torus, it is not obvious from the definition whether the analogue of a global $\mathcal S$-group has finite order. In this paper, we verify this finiteness for a Brylinski-Deligne covering group of a torus.

Limit theorems for random Dirichlet series with summation over primes, with an application to Rademacher random multiplicative functions

math.PR

math.NT

v2

It is shown that two conjectures put forward in the recent article Iksanov and Kostohryz (2025) are true. Namely, we prove a functional central limit theorem (FCLT) and a law of the iterated logarithm (LIL) for a random Dirichlet series $\sum_p \frac{\eta_p}{p^{1/2+s}}$ as $s\to 0+$, where $\eta_1$, $\eta_2,\ldots$ are independent identically distributed random variables with zero mean and finite variance, and $\sum_p$ denotes the summation over the prime numbers. As a consequence, an FCLT and an LIL are obtained for $\log \sum_{n\geq 1} \frac{f(n)}{n^{1/2+s}}$ as $s\to 0+$, where $f$ is a Rademacher random multiplicative function.

On the largest sum-free subset of the lattice cube

math.CO

math.NT

v2

We determine the limiting density of the largest sum-free subset of the lattice cube $\{1,2,\ldots,n\}^d$ for all $d$, thus resolving the natural conjecture that it is constructed by two appropriate hyperplane slices. Equivalently, we show that the largest measure of a sum-free subset of the hypercube $(0,1)^d\subset \mathbb{R}^d$ is attained by $\setcond{x\in (0,1)^d}{1\leq L(x)<2}$ for some linear map $L:\mathbb{R}^d\to \mathbb{R}$. It is natural to conjecture that the same phenomenon might hold if one replaces the hypercube by any convex set not containing the origin, but we give an example to show that for sufficiently large $d$ this is not the case.

Analytic summation of series involving higher-order derivatives of Chebyshev polynomials of the second kind and their applications to convolved linear recurrent sequences

math.CV

math.CO

math.NT

v3

This paper considers functional series whose terms are higher-order derivatives of Chebyshev polynomials of the second kind, where the degree of the polynomial is related to the order of the derivative. Analytic summation is used to determine the rational functions to which these series converge. These functions are expressed in terms of Chebyshev polynomials evaluated at a specific argument. Connections are established between derivatives of Chebyshev polynomials of the second kind and special numerical sequences generated by linear recurrence relations. New closed-form formulas are obtained for the sums of the series at various values of the argument. As consequences, combinatorial identities are derived for the Fibonacci, Lucas, and Pell numbers, for sections of the Fibonacci sequence, and for their convolutions. By means of analytic continuation, sums of formally divergent series are obtained, which in special cases correspond to the classical Euler formulas.