Number Theory [math.NT]

The Riemann-Siegel remainder as a fractional summand

math.NT

Starting from the Riemann-Siegel decomposition of $\zeta(s)$ given in Siegel's 1932 paper, we introduce a change of variable, $t=I(T)$, that replaces Siegel's coupled pair "imaginary part $t$ / summation index $m$" with one real index $T$. We then split Siegel's single remainder integral $R$ into two exact pieces, $R_{1ps}$ and $R_{2ps}$, and prove that $R=R_{1ps}+R_{2ps}$, so that $\zeta=\Sigma_1+R_{1ps}+\Sigma_2+R_{2ps}$. Our central observation is that each of these remainders is nothing more than one additional, fractional partial summand appended to its Dirichlet sum: $\zeta(s)=\sum_{n=1}^{m}n^{-s}+\hat{d}_1(m+1)^{-s}+\chi(s)\sum_{n=1}^{m}n^{s-1}+\hat{d}_2\chi(s)(m+1)^{s-1}$, with $\hat{d}_1,\hat{d}_2$ real numbers (always positive on the critical line), the fractions of those two summands that are used. As a corollary, when $\sigma=\frac{1}{2}$ one has $d_1=d_2$ (equivalently $\hat{d}_1=\hat{d}_2$); this fact is formally verified in Lean. Also, with this rescaling the remainder terms are nearly periodic in $T$ with period one, converging to a fixed waveform in the fractional part of $T$. This decomposition of Siegel's $R$ was discovered through experimental mathematics using a spiral visualization of the partial sums, described later in the paper. We also discuss a number of other observations, including what we call the yin yang curves, the zero counting function, and ovals of equal length leg loci.

Gaps, isolated points, and the origin of the ray in the one-dimensional Dirichlet spectrum

math.NT

We study the one-dimensional Dirichlet spectrum and obtain new results concerning the origin $\mu$ of the ray contained in the spectrum and its isolated points. First, we prove the improved upper bound $\mu \leq (448875+1611\sqrt{67773})/46982 = 18.4809\ldots$. We also exhibit an explicit gap $(L,R)$ in the Dirichlet spectrum, which yields the improved lower bound $\mu \geq R = 5.9596\ldots$. The proof of the lower bound includes an exact computer-assisted finite search over admissible continued-fraction words. We further prove that all points $Z_k$, $k\geq 2$, introduced by Ivanov are isolated points of the Dirichlet spectrum. Finally, we determine the asymptotic behavior of the neighboring gaps around $Z_k$ and describe the equivalence classes of all irrational numbers whose Dirichlet value is $Z_k$.

Exponential generating functions for Apostol-Dedekind and related sums

math.NT

One of the primary objectives of this paper is to construct generating functions for Apostol-Dedekind sums. These exponential generating functions greatly facilitate the discovery of new formulas and relations involving these sums. Other primary objectives of this paper are to define Apostol-Dedekind sums of higher-order and other certain family of finite sums, and to construct their generating functions. These generating functions include the Bernoulli polynomials and numbers, the Euler polynomials and numbers, the Array polynomials, the Stirling numbers, the Carlitz polynomials with their partial derivative equations, and the Hardy sums etc. Moreover, by using these functions, many novel formulas for the Apostol-Dedekind sums of higher-order are derived.

Nonvanishing of special $L$-values of cusp forms on $\mathrm{GL}(2)$ with totally split prime power twists: without the class number hypothesis

math.NT

Let $F$ be a number field and $f$ a normalized cuspidal Hecke eigenform on $\mathrm{GL}(2)$ over $F$, with $k/2$ as the central critical point of its $L$-function $L(f,s)$. Let $\mathfrak{p}$ be a totally split prime ideal of $F$ lying above an odd prime $p$ and coprime to the level ideal of $f$. In this article, we show that $L(f\otimes\phi, k/2)$ does not vanish for sufficiently ramified Hecke characters of $F$ of $p$-power order and $\mathfrak{p}$-power conductor. Our result improves previous works of Jaesung Kwon and Hae-Sang Sun, in which the additional hypothesis that $p$ does not divide the class number of $F$ is required.

On Mahler $U$-numbers under rational maps

math.NT

In 1906, Maillet proved that every nonconstant rational function over $\mathbb{Q}$ maps Liouville numbers to Liouville numbers. Let $R$ be a nonconstant rational function with real algebraic coefficients, of degree $d$, and let $e$ be the degree of its minimal field of definition over $\mathbb{Q}$. We prove that, for every $m\geq 1$, the possible types of $R(\xi)$, as $\xi$ ranges over $U$-numbers of type $m$, are exactly the integers $r$ with $\lceil m/(ed)\rceil\leq r\leq em$. Moreover, every such type occurs for some $\xi$ of type $m$ in every nonempty open interval. Consequently, for $m\geq2$, the only rational functions with real algebraic coefficients preserving the class of $U$-numbers of type $m$ are the M\"obius transformations over $\mathbb{Q}$.

Optimal large sieve for fixed order characters

math.NT

Let $n \geq 3$. We improve the large sieve inequality for $n$-th order Hecke characters over any number field containing the $n$-th roots of unity. Our bound is expected to be optimal in all ranges of parameters. Several applications are deduced, including a tight upper bound for the second moment of cubic characters ordered by conductor, asymptotics with lower order terms for the cubic second moment over squarefree moduli, and improved moment and zero density estimates for every $n \geq 3$.

Moments and Large Geometric Monodromy for Linearly Constrained Kloosterman Families

math.NT

math.AG

math.RT

We determine the connected geometric monodromy of the top-weight sheaves attached to linearly constrained Kloosterman families in every dimension n >= 4 and every characteristic p > max(2,n). The quantitative input is a fourth-moment identity whose auxiliary geometry depends on the moment degree rather than on the ambient family dimension. After an exact decoupling, the generic stratum is controlled by plane sections of the Cayley cubic, and a projective-ray argument gives the required power saving uniformly in each fixed dimension. On the geometric side, a local Fourier-transform calculation and Rojas-Leon's multiplicative-convolution formula produce a nonidentity unipotent boundary element. The fourth moment, reductivity, infinitude, and Larsen's alternative then give G_geom^0(W_n) = SL_r(n) without finite-group classification or numerical exceptional-case certificates. For comparison, we retain the independent Guralnick-Tiep route, including its sixth-moment and exact finite computations, but it is not used in the proof of the main theorem.

Sequential exponential-motivic periods in spatially cut-off $\phi^4_2$

math.NT

math-ph

math.AG

math.MP

We represent constructive integrals in spatially cut-off $\phi^4_2$ by sequences of exponential-motivic periods. For a nonzero spatial cutoff, a single Galois transformation makes the partition periods diverge in modulus along every sequence of approximations satisfying the constructive estimates. For a fixed cutoff presentation, we characterize the subgroup of transformations admitting a bounded realization on the free field's $L^1$ space and prove that all fixed-observable limits on this subgroup are a common scalar multiple of their physical values. A one-variable quartic example shows that all transformed fixed-observable sequences can converge without such a bounded realization, with limits that are not proportional to the physical values.

Iterated cotangent-difference integrals over totally real cyclotomic fields

math.NT

math.AG

We study iterated cotangent integrals with cyclotomic shifts and express their values along specified reference paths in terms of cyclotomic multiple zeta values. Differences of cotangent forms extend to a punctured projective line over a totally real cyclotomic field, giving a family of "real cyclotomic multiple zeta values." With rational tangential endpoints, these difference integrals are periods of mixed Tate motives over that field; integral endpoint data yield periods over its ring of integers after inverting primes dividing the level. The associated framed motivic classes generate a Hopf subalgebra under Goncharov's coproduct.

Prescribed ideal classes and elliptic points in Ennola cubic fields

math.NT

For every prime $\ell\geq5$ and integer $n\geq2$, we construct an Ennola cubic field with a specified prime above $\ell$ of exact ideal-class order $2^n$. The same squareclass obstructions give four independent rational points on associated elliptic curves. A Pell equation describes all parameters satisfying the required square and congruence conditions. A genus-one base change gives five independent sections whose generated subgroup is saturated at two. It also yields infinitely many geometrically nonisomorphic rational fibres of rank at least five.

Cubic Progressions on Smooth Plane Curves

math.NT

Let $C \subset \Pbb^2_k$ be a smooth projective plane curve of degree $d \ge 5$ over a number field $k$. We prove that any cubic arithmetic or geometric progression sequence on $C$ is finite. The proof rests on a prime-$p$ tower of cyclic Kummer covers controlled by the divisor of a linear-form quotient on $C$, combined with the Kadets--Vogt classification of curves with infinitely many cubic points, the Abramovich--Harris gonality descent, a Castelnuovo--Severi factorization for the elliptic maps supplied by Kadets--Vogt independently at consecutive levels of the tower, and a deck-transformation obstruction. We also obtain a conditional quartic result under a cyclotomic non-splitting hypothesis. The case $d = 4$ with $C(k) \neq \emptyset$ admits infinite cubic progressions, so no analogue of the main theorem can hold there.

Note on fractional sum of the divisor function

math.NT

Let $d(n)$ be the divisor function and denote by $[t]$ the integral part of the real number $t$. We prove that \begin{align*} \sum_{n\leq x^{1/c}}d\left(\left[\frac{x}{n^c}\right]\right)=d_cx^{1/c}+O_{\varepsilon,c}(x^{\theta_c+\varepsilon}), \end{align*} where $d_c$ is a suitable constant, \begin{align*} \theta_c=\frac{2(c+1)}{2c^2+(5+i)c+2}, \quad \text{for}\ 2\kappa_{i+1}/(1-\kappa_{i+1}+\lambda_{i+1})\leq c<2\kappa_i/(1-\kappa_i+\lambda_i), \end{align*} the pair $(\kappa_i,\lambda_i)$ satisfies \begin{align*} (\kappa_1,\lambda_1)=\left(\frac{1}{14},\frac{11}{14}\right),\quad (\kappa_{i+1},\lambda_{i+1})=\left(\frac{\kappa_i}{2\kappa_i+2},\frac{\kappa_i+\lambda_i+1}{2\kappa_i+2}\right), \quad i\geq 1. \end{align*} This result constitutes an improvement upon that of L. Wu (2025).

Few small primes suffice to cover unit groups

math.NT

Klurman, Shparlinski and Ter\"av\"ainen showed that there is a set of at most $(\log Q)^{1+\varepsilon}$ primes of polylogarithmic size whose subset products cover the unit group $(\mathbb{Z}/q\mathbb{Z})^\times$ for almost all moduli $q\le Q$. We show that $(1/\log2+o(1))\log Q$ primes suffice, which is optimal to first order, since $m$ primes have at most $2^m$ subset products. The proof combines a doubling argument of Erd\H{o}s--R\'enyi type for random subset products in a finite abelian group, modified to tolerate a small set of exceptional characters, with a one-time ``repair'' of the few primitive characters whose $L$-functions have zeros near $s=1$. An exact weighted repair gives a variant with at most $(2/\log2+o(1))\log Q$ primes and an exceptional set described explicitly.

Borwein-Bradley-type identities for Ramanujan-type series for $1/\pi^4$

math.NT

math.CA

math.CO

We prove ten conjectures of Z.-W. Sun on Ramanujan-type series for $1/\pi^4$ and $\pi^4$ with harmonic numbers. They follow by comparing Taylor coefficients in new Borwein-Bradley-type identities, whose products depend only on $x^3$, $x^4$, $x^6$ or $x^8$. These identities come from parametric extensions of the series of Cullen and Zhao. We derive the extensions from K. C. Au's Wilf-Zeilberger (WZ) seeds, and their sums are trigonometric. Our proofs use Guillera's periodicity argument and give new proofs of the original series. In the same way, Dougall's $_5F_4$ sum gives half-integer analogues of the identities of Koecher, Borwein-Bradley and Cohen, whose Taylor coefficients are Ap\'ery-like series for products of zeta values.

Supercongruences for Domb numbers

math.NT

We prove two supercongruence statements proposed by Z.-W. Sun for Domb numbers. The first concerns the unweighted truncated sum $$S_p=\sum_{n=0}^{p-1}D_n$$ and is governed by the two proper ideal classes of the order of discriminant $-60$ in $\mathbb{Q}(\sqrt{-15})$. We prove Sun's conjectured congruences modulo $p^2$ and obtain stronger formulas modulo $p^3$ in the split cases. The second concerns Domb sums weighted by the Lucas sequences associated with $X^2-11X+1$. Sun's original formulation has the exceptional counterexample $p=3$; after excluding this prime, we prove the corrected statement, including its modulo-$p^3$ refinement when both relevant quadratic characters are $+1$. Both results arise from one modular mechanism. The twisted Domb series is a modular period on $\Gamma_0(6)+\langle 3\rangle$ and is related by a quadratic pullback to Zagier's sporadic $C$-sequence. At primes inert in the imaginary quadratic field underlying the relevant complex multiplication, the truncated $C$-period is the Hasse invariant and vanishes at supersingular reduction; a finite pullback then gives divisibility modulo $p^2$. At split primes, explicitly constructed determinant-$1$ or determinant-$3$ matrices identify the Beukers unit root, yielding congruences modulo $p^3$. The two applications correspond respectively to orders of complex multiplication of discriminants $-60$ and $-156$.

Proofs of some OEIS conjectures on Wythoff sums, Fibonacci and Lucas words

math.NT

cs.FL

math.CO

We prove several conjectures from the On-Line Encyclopedia of Integer Sequences about the lower and upper Wythoff sequences and the Fibonacci word. Among them are two of Kimberling's three conjectures on the number of ways to write $n=\lfloor h\varphi\rfloor+\lfloor k\varphi^2\rfloor$ with $h,k\ge1$ (A259598): exactly one way if and only if $n+1=2F$ for a Fibonacci number $F\ge2$, and exactly two ways if and only if $n+1\ge7$ is a Lucas number. The third conjecture, that no way exists if and only if $n+1$ is a Fibonacci number, was proved earlier by Kawsumarng et al. We also observe that Kimberling's conjecture on the gaps of the sums of two distinct terms of A003622 and of their complement (A333308, A333309) follows, after a shift by $2$, from earlier Walnut results of Shallit and of Bosma et al. on A260317, and we re-verify it. Next, we prove Kimberling's five 2025 conjectures on the gaps between positions where the Fibonacci word and the "Lucas word" take prescribed values (A383423-A383427). Finally, we prove a conjecture of Mathar on A285383, and we point out that a conjecture of Schmidt on A003250 follows from theorems of Carlitz, Scoville and Vaughan (1973); we also confirm it with Walnut. Most proofs are decision procedures run in the free prover Walnut, and we supply the complete command file.

Through the lens of the Eisenstein ideal

math.NT

This paper exposits relationships between the geometry of modular curves and the arithmetic of cyclotomic fields through the Eisenstein ideal. For an integer $N \ge 5$ and an odd prime $p$, we define two conjecturally inverse maps between the real part $P$ of the Eisenstein reduction of the homology $P$ of $X_1(N)$ and the real part of the $p$-part $Y$ of the second $K$-group of the $N$th cyclotomic integer ring. We recall a motivic construction of the map from $P$ to $Y$ and describe the recent proof of the Eisenstein property of the underlying map on modular symbols. We provide a fully equivariant construction of the second map from $Y$ to $P$ using the Eisenstein reduction of the first \'etale cohomology of $X_1(N)$. We then explain an equivariant construction of the Euler system of cyclotomic units using extension classes in relative cohomology groups of modular curves and describe its place in our program.

Error Term Estimates for Sets of Remainders

math.NT

For a positive integer $n$, let $$ S_1(n)=\{n\bmod k:1\leq k\leq\lfloor n/2\rfloor\}, \qquad s_1(n)=|S_1(n)|. $$ Baraskar and Vukusic proved $s_1(n)=\Xi n+O(n/(\log n\log\log n))$ for an explicit positive constant $\Xi$, and asked for a sharper error term. Their computations suggested that an $O(n^{1/3})$ bound might hold. We prove that, for every $\alpha>\sqrt2$, $$ \limsup_{n\to\infty} \frac{s_1(n)-\Xi n}{n\exp\{-\alpha\sqrt{\log n\log\log n}\}} =\infty, $$ and the corresponding limit inferior is $-\infty$. In particular, no fixed power saving is possible. We also prove the complementary upper estimate $$ s_1(n)=\Xi n+O\left( n\exp\{-\alpha\sqrt{\log n\log\log n}\} \right) $$ for every fixed $\alpha\in (0,\sqrt{2})$, sharpening the previous $O(n/(\log n\log\log n))$ bound. Thus, the constant $\sqrt2$ is the threshold for bounds of the form $n\exp\{-\alpha\sqrt{\log n\log\log n}\}$.

Dyadic Structure of the Two-Block Odd Partition Function and Theta-Weighted Congruences for $pod(n)$

math.NT

math.CO

The two-block odd partition function \(a(n)\) is the signed enumeration of partitions into exactly two distinct part sizes, each occurring an odd number of times. By separating the underlying representations according to the \(2\)-adic valuations of the two part sizes, we obtain a signed decomposition, completed by two classical theta-function evaluations, which explains the structural relation \(a(2^km)=a(m)+(2^{k-1}-1)\sigma(m)\), where \(m\) is odd, \(k\ge1\), and \(\sigma(m)\) is the sum-of-divisors function. Combined with a previously established arithmetic formula for \(a(n)\), this relation yields congruences along the dyadic progressions \(2^k(4n+3)\), as well as the families \(a\!\left(2^\alpha3^\beta(12n+11)\right)\equiv0\pmod3\) and \(a\!\left(2^\alpha(18n+15)\right)\equiv0\pmod3\). We also use a factorization of the generating function of \(a(n)\) involving \(\operatorname{pod}(n)\), the number of partitions in which odd parts are distinct and even parts are unrestricted, to establish a uniform reduction modulo every odd prime of the associated auxiliary series. The resulting theta-weighted sums involving \(\operatorname{pod}(n)\) are congruent to \(a(n)\) and therefore admit explicit evaluations involving the sum-of-divisors function and the character divisor sum associated with the nonprincipal Dirichlet character modulo \(4\). As special cases, we obtain infinite families of weighted congruences modulo \(3\), \(5\), and \(13\).

An elementary proof of the Artin--Springer theorem for generalized quadratic forms over quaternion algebras

math.NT

math.RA

We give a short and simple proof that an anisotropic generalized quadratic form over a quaternion division algebra with involution of the first kind, in arbitrary characteristic, remains anisotropic after scalar extension to any odd-degree field extension.

On the generalized Sierpi\'nski and Riesel numbers

math.NT

In this paper, we prove that for any fixed base $b \ge 2$, there exists an infinite arithmetic progression of positive integers $k$ that are simultaneously generalized Sierpi\'nski and generalized Riesel numbers in base $b$. More precisely, we construct such an arithmetic progression so that both $k\cdot b^n + 1$ and $k\cdot b^n - 1$ have at least two distinct prime factors for every positive integer $n$. Our approach uses covering systems, following the ideas of Erd\H{o}s and later constructions of Harrington. The argument is then completed using Zsigmondy's theorem on primitive divisors together with properties of multiplicative orders.

One-level density of zeros of the Riemann zeta function weighted by its special values

math.NT

We consider the one-level density of zeros of the Riemann zeta function weighted by its special values on the line ${\rm Re}(s)=\sigma$, where $\sigma$ is a fixed real number such that $1/2\le \sigma\le1$. We show that the density function for the Riemann zeta function changes if and only if $\sigma=1/2$.

The main conjecture for a Vinogradov subsystem

math.NT

When $k\ge 2$ and $s>0$, we establish that for each $\varepsilon>0$, one has \[ \int_{[0,1)^{k-1}}\biggl| \sum_{1\le x\le X}e(\alpha_2x^2+\ldots +\alpha_k x^k)\biggr|^{2s}\,{\rm d}\boldsymbol \alpha \ll X^{s+\varepsilon}+X^{2s-(k^2+k-2)/2}, \] confirming the main conjecture for a new family of exponential sums beyond those of Vinogradov (translation-dilation invariant) type. Our methods are based on very recent work of the author employing the nested efficient congruencing method. Consequently, analogues of our results hold also in the setting of number fields and function fields.

Sharp mean value estimates in the absence of translation-dilation invariance

math.NT

We establish sharp mean value estimates for various exponential sums lacking translation-dilation invariance properties. For example, suppose that $k\ge 1$ and $s>0$. Then, for each $\varepsilon>0$, one has \[ \int_{[0,1)^k}\biggl| \sum_{1\le h\le X}\sum_{1\le z\le X}e(hz\alpha_1+\ldots +hz^k\alpha_k)\biggr|^{2s}\,{\rm d}\boldsymbol \alpha \ll X^\varepsilon\bigl( X^s+X^{2s-k(k+3)/2}\bigr), \] confirming the main conjecture for a new family of exponential sums. Our methods are based on the application of very recent work of the author employing the nested efficient congruencing method.

Four-square polynomial triples: quadratic classification and equal-degree obstructions

math.NT

We study triples of distinct nonconstant polynomials $a,b,c$ over $\mathbb{R}$, $\mathbb{Q}$ or $\mathbb{Z}$ for which $$ ab+1,\qquad ac+1,\qquad bc+1,\qquad abc+1 $$ are all polynomial squares. We show that, up to permutation and a common invertible affine change of variable, there is exactly one such triple of quadratic polynomials in $\mathbb{R}[X]$, the one arising from a recent construction of Jurasi\'{c}, and that none exists in $\mathbb{Q}[X]$ or $\mathbb{Z}[X]$. Moreover, for arbitrary nonconstant entries over $\mathbb{R}$ or $\mathbb{Q}$, we prove that the degree pattern $(2n,2m,2l)$ with $1\le n\le m\le l$ satisfies either $l=m$ or $l>n+m$. For the case $l=m$, we derive factorization systems and reducibility restrictions. In the equal-degree case over $\mathbb{Q}$, we further show that every entry has at least two distinct irreducible factors. As an application, we show that in a natural regular parametrized family of polynomial Diophantine triples in $\mathbb{Q}[X]$ the fourth expression $abc+1$ is never a square when the parameter is constant or the first entry is a square.

On the factorization of $x^{d_{r}} + x^{d_{r-1}} + \cdots + x^{d_{2}} + x^{d_{1}} + p$ and a conjecture of C. Nicol

math.NT

For an arbitrary prime $p$ and arbitrary positive integers $r$ and $d_{1}, \ldots, d_{r}$ with $d_{r} > \cdots > d_{1}$, we show that $x^{d_{r}} + x^{d_{r-1}} + \cdots + x^{d_{2}} + x^{d_{1}} + p$ removed of all of its monic irreducible reciprocal factors is irreducible. As a consequence, we establish a number of results related to a conjecture of Charles Nicol that, over the rationals, the sum of two cyclotomic polynomials $\Phi_{n}(x) + \Phi_{m}(x)$ is a product of cyclotomic polynomials times either $2$ or an irreducible polynomial, where $n$ and $m$ are integers exceeding $1$. We also establish similar results for $\Phi_{n}(x)\Phi_{m}(x)+1$.

Ab-faithfulness of absolute Galois groups in number theory

math.NT

We prove that the absolute Galois group of every discretely valued field of mixed characteristic is ab-faithful. We also prove ab-faithfulness for higher local fields of positive dimension and give further examples using finite split embedding problems. Finally, we give a formal Hilbert~90 criterion for center-freeness and slimness of finite-step solvable quotients. We apply this criterion to ab-faithful absolute Galois groups and obtain slimness for several classes of fields, including higher local fields of positive dimension.

Slope Stability for ${\mathbf Z}_p$-Towers of Curves

math.NT

math.AG

This work is devoted to a systematic study of slope stability for $\mathbf Z_p$-towers of the projective line over finite fields of characteristic $p$, ramified only at infinity. Our aim is to understand to what extent geometric stability of the genus sequence, or of the ramification break sequence, implies arithmetic stability of the Newton slopes of the zeta functions of the curves in the tower. We prove positive results and construct counterexamples that clarify the boundary between slope stability and its failure, with sharp bounds in several cases. For towers with eventual minimal ramification break ratios, a condition stronger than genus stability, Kosters and Zhu proved slope stability under an additional degree-gap condition. We construct towers with minimal break ratios that are not slope stable, answering negatively both their question of whether the gap can be removed and their broader question of whether genus stability implies slope stability. Under the minimal-break hypothesis alone, we prove exact partial slope stability on growing intervals approaching the first block, with uniform comparisons over explicit boundary annuli and finite flat spectral pieces. Further counterexamples distinguish partial from complete first-block propagation, first-block from two-block propagation, and full classical stability from a uniform annular slope law below one. We obtain improved bounds for the classical degree-gap constant, the partial-stability loss, and the sufficient starting levels, all independent of the constant-field degree. The proof uses a separate precision theorem for the semilinear Frobenius on finite contact blocks.

Amicable numbers

math.NT

Let $s(n):=\sum_{d\mid n,\,d < n} d$ denote the sum of the proper divisors of $n$. Distinct positive integers $n,m$ form an amicable pair if $s(n)=m$ and $s(m)=n$. Let $A(x)$ count the positive integers not exceeding $x$ that belong to an amicable pair. We report on a proof, found by ChatGPT Astra, that $$ A(x)\le x\exp\{-(1/2+o(1))\log x\,\log_3 x/\log_2 x\}$$ as $x\to\infty$. Here $\log_k$ denotes the $k$th iterate of the natural logarithm.

An Algebraic Proof of the Non-Modularity of Solutions to the Canonical Modular Differential Equation

math.NT

In this paper, we provide an algebraic proof of the condition for the existence of modular form solutions to the Kaneko-Zagier differential equation of weight $k$. Unlike previous representation-theoretic approaches relying on $SL_2(\mathbb{Z})$, our method employs the connection matrices of the principal congruence subgroup $\Gamma(N)$. By deriving a condition for simultaneous triangularizability from the commutators of the representation matrices and applying Galois theory, we prove that the associated two-dimensional representation of $\Gamma(N)$ is irreducible when the denominator $m$ of the fraction $(k+1)/6 = n/m$ satisfies $m=1$ or $m \ge 7$. Consequently, we identify the weights that admit no modular form solutions and obtain a complete classification of the dimensions of the spaces of such solutions.

Ideal-Smooth Sets and an Explicit Upper Bound for the Real Sum-Product Exponent

math.NT

math.CO

We construct arbitrarily large finite sets $A$ of real algebraic integers such that both $|A+A|$ and $|AA|$ are at most $|A|^{1.95835}$. The construction combines truncated ideal-smooth $S$-unit fibres with a coprime additive factor. A tensor-product rank argument, using a two-dimensional local feature at each selected prime ideal, controls the loss in the additive factor, while a direct estimate for an outer parallel body improves the sumset packing bound. The arithmetic input is an unramified pro-$2$ tower over a known degree-ten field, with simultaneous Frobenius cuts controlling the small prime ideals. We use unconditional Tsfasman--Vl\u{a}du\c{t} inequalities for the joint class-number--regulator cost. All finite numerical comparisons entering the exponent are certified by outward rational interval arithmetic. No unproved hypothesis is used.

Automorphic commutator relations in relative geometric Langlands

math.NT

math.AG

math.RT

We prove the automorphic commutator relation conjectured by Liu and Wang arXiv:2504.00275, which is the geometric input for the automorphic Clifford relations in their framework relating higher period integrals to higher derivatives of $L$-functions over function fields. The relation was previously established only under additional cohomological vanishing assumptions and for curves of genus different from one; we remove these assumptions. The main new ingredient is a "universal-local" stage between the local and the semi-local settings: we introduce the classifying stack of formal multidisks with two ordered marked sections, and we construct universal-local analogues of the Hecke stacks, unit objects, Hecke actions and special cohomological correspondences. Fusion and purity on this stack yield a universal-local commutator identity, which is proved using only the local assumptions on the Plancherel algebra that enter the conjecture. Specialization to a curve and the six-functor formalism then give the conjecture for every smooth projective curve.

Conflict-avoiding codes and near-primitive roots

math.NT

cs.IT

math.IT

An important role in the theory of conflict-avoiding codes is played by a quantity involving the multiplicative order of $4$ modulo $d$, with $d$ running over all positive divisors of an odd integer $n$. We establish results on its distribution as $n$ varies over the odd prime numbers, respectively odd integers, using techniques from the study of Artin's primitive root conjecture. We also point out some other interpretations of this quantity, with one of them making a connection with the factorization of $X^n-1$ into irreducibles over the finite field $\mathbb F_2$.

A proper arithmetic surface with infinite \'etale fundamental group

math.NT

math.AG

We give an example of a proper, regular, integral arithmetic surface over $\mathrm{Spec}\ \Z$ endowed with a section, and whose \'etale fundamental group admits an infinite pro-$2$ quotient. The construction is a geometric analog of the Golod--Shafarevich towers for rings of integers of number fields.

When the BSD Real Period Remembers Elliptic Curves over $\mathbb{Q}$

math.NT

We study the extent to which the invariants appearing in the Birch and Swinnerton-Dyer conjecture remember the elliptic curve, and we give several affirmative answers to this question. For example, the real period $\Omega_E =\frac{\Gamma(1/4)^2}{2\sqrt{\pi}\,17^{1/4}}$ and the Tate--Shafarevich group $ \Sha(E/\mathbb{Q})\cong \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ remember the elliptic curve $E: y^2=x^3+17x$. Let $K$ be a number field admitting a real embedding, and fix one such embedding $\sigma\colon K\hookrightarrow\mathbb{R}$. We first prove that, for an elliptic curve $E$ over $K$, the real period of $E$ attached to $\sigma$ determines the $K$-isogeny class of $E$. We then prove that an elliptic curve $E$ over $\mathbb{Q}$ is determined up to isomorphism over $\mathbb{Q}$ by its real period, the number of connected components of $E(\mathbb{R})$, and the real period of the quadratic twist $E^{D}$ by a negative square-free integer $D\equiv 1 \bmod 4$ coprime to the minimal discriminant of $E$. Moreover, over $\mathbb{Q}$, both statements already hold when the real periods are known only to sufficiently many decimal places, where the required precision depends on $E$ (and $D$).

A Variant of the Fractional Gamma-regularized Zeta Kernel

math.NT

In this paper, we introduce and study a special function, referred to as a variant of the fractional gamma-regularized zeta kernel, in which the lower incomplete gamma function appears in the numerator, contrasting with the fractional hypergeometric zeta function, where it appears in the denominator. We investigate its analytic properties, convergence behavior, and its connection to the Riemann zeta function. A representation is derived in terms of a multiplicative modification of the Riemann zeta function, and comparisons are made with known zero-free regions and deformation phenomena. We demonstrate that this function defines a deformation of the Riemann zeta function, which interpolates to the alternating zeta function in a specific limit. Additionally, a Dirichlet-type series representation is provided. Potential extensions, including a functional equation and asymptotic analysis, are proposed for future work.

Tower of coverings and polylog-size coverings of rational points

math.NT

We prove that a smooth irreducible proper variety over a number field admits polylogarithmic-size coverings of rational points of bounded height if it admits a tower of finite \'{e}tale coverings satisfying several conditions. One of the conditions is a height comparison on twists of the finite \'{e}tale covers. We prove that these conditions hold for abelian varieties.

Theta Series with Half-integral Characteristics

math.NT

We study theta series with half-integral characteristics attached to odd positive-definite unimodular lattices. In even rank, we get non-vanishing theta series with odd characteristics. We emphasize ranks divisible by four, where the involved rational lattices are integral unimodular neighbors.

A Bogomolov property for moduli spaces of polynomials over abelian extensions

math.NT

math.AG

math.DS

Let $d\geq2$ be an integer, and let $\operatorname{MPoly}^d$ be the moduli space of degree-$d$ polynomials. For every number field $K$, we prove that there exists $\epsilon_{K,d}>0$ such that \[ \left\lbrace\alpha\in\operatorname{MPoly}^d(K^{\mathrm{ab}})\colon h_{\mathrm{crit}}(\alpha)<\epsilon_{K,d}\right\rbrace=\left\lbrace\alpha\in\operatorname{MPoly}^d(K^{\mathrm{ab}})\colon h_{\mathrm{crit}}(\alpha)=0\right\rbrace \] is finite, where $h_{\mathrm{crit}}$ is the critical height. In particular, only finitely many $K^{\mathrm{ab}}$-rational points of $\operatorname{MPoly}^d$ are postcritically finite. The proof uses a universal critical-divisor family, a nef adelic line bundle with an explicit orbit-height formula, the intertwined relation, local ramification estimates, and the correspondence method of Ji--Song--Xie.

How close can rational points get to a manifold?

math.NT

We prove the heuristically predicted lower bound for the number of rational points of height at most $Q$ lying within $\epsilon/Q$ of a fixed analytic nondegenerate manifold in $\mathbb{R}^n$, provided that $\epsilon \asymp Q^{-\tau}$ for some $\tau \leq 3/(2m+1)$, where $m$ is the codimension of the manifold. Our result establishes the lower bound well beyond the previously conjectured range $\tau \leq 1/m$, and improves upon a recent result of Schindler, Srivastava, and Technau, who established the same lower bound for $\tau \leq 3/(2n-1)$.

Counting zero-sum subspaces for the multiplicative inverse function

math.NT

math.CO

Let $q=2^n$ with $n\ge6$, and let $\mathbb{F}_q$ be the finite field with $q$ elements. For a subspace $E$ of $\mathbb{F}_q$, define \[ S(E)=\sum_{x\in E\setminus\{0\}}x^{-1}.\] Let $N_{n,k}$ denote the number of $k$-dimensional $\mathbb{F}_2$-subspaces $E$ for which $S(E)=0$. We prove that, if $k\ge3$ and $n\ge2k+1$, then \[ \left|\frac{2^nN_{n,k}}{\genfrac{[}{]}{0pt}{}{n}{k}_{2}}-1\right|<2^{r^2+r}2^{n(1-r/2)},\] where $r=\lfloor\frac{k-1}{2}\rfloor$, and $\genfrac{[}{]}{0pt}{}{n}{k}_{2}$ is the Gaussian binomial coefficient. In particular, \[ N_{n,k}\sim2^{-n}\genfrac{[}{]}{0pt}{}{n}{k}_{2}\quad (n\to\infty)\] uniformly for $n/3

Golod--Shafarevich for arithmetic surfaces

math.NT

We construct Golod--Shafarevich towers of arithmetic surfaces over the integers. In particular, we obtain an arithmetic surface with a section and infinite geometric etale fundamental group, answering a question raised by Bost and Charles about the existence of such surfaces. Taking generic fibres gives curves over the rationals with infinite geometric etale towers in which a rational point splits completely. This answers questions posed by Ihara and by Frey, Kani and V\"olklein. Taking the generic fibres of the tower, we also obtain sequence of curves over the rationals whose genera goes to infinity and whose logarithmic conductors grows no more than linearly in the genera, answering a question asked by Venkatesh at PCMI in 2022. The authors worked together on this problem since 2022 and developed a general strategy. They were able to bring it to fruit only after a collaboration with GPT5.6 Sol, Fable and Aletheia a Gemini-powered internal agent developed at Google DeepMind.

Chowla Conjecture for the truncated M\"obius function over $\mathbb{F}_q[t]$

math.NT

In this paper we give an analytic proof of the Two-point Chowla conjecture for the truncated M\"obius function $\mu_M$ for the function field case in the fixed $q$ setting. We reformulate the problem into studying the distribution of $(\omega_M,\omega_M\circ T_a)$. Thus we develop a uniform bivariate Erd\H{o}s-Kac theorem in terms of the characteristic function for small pair of real numbers $(u,v)$ via the Kubilius model. For this purpose we also develop and employ the pure Brun sieve for polynomials in this paper.

Degeneracy loci and unlikely intersections in abelian schemes

math.NT

math.AG

Let $\mathcal{A}\to S$ be an abelian scheme over a normal quasi-projective variety over a number field, and let $\mathcal{X}\subseteq\mathcal{A}$ be a positive-dimensional subvariety. For every integer $t>0$, we prove that, outside the $t$-degeneracy locus of $\mathcal{X}$, at most finitely many points lie in flat group subschemes of relative dimension less than $t$. In particular, this intersection is not Zariski dense whenever $\mathcal{X}$ is $t$-nondegenerate. The proof combines a bounded height theorem with uniform large Galois orbit estimates, o-minimal point counting, and mixed Ax--Schanuel, following the Pila--Zannier strategy. The arithmetic input is an explicit bound for the complexity of endomorphism relations, obtained from geometry of numbers and height estimates for abelian varieties. As applications, we formulate a relative Mordell--Lang conjecture, prove it for section images in powers of certain abelian schemes, and establish injectivity of specialization of the group of sections outside a proper closed subset under variation and dimension hypotheses.

$7$-adic Galois representations of elliptic curves over the rationals via Kummer descent

math.NT

We show that the two modular curves of level $49$ and genus $9$ left open by the work of Rouse, Sutherland and Zureick-Brown, and of Furio and Lombardo, have no non-CM rational points. Together with the theorem of Furio and Lombardo on $X_{ns}^{+}(49)$, this completes the classification of the $7$-adic images of Galois of non-CM elliptic curves over $Q$. The proof is a Kummer descent on the superelliptic equations $F(x,y) = k\,w^{7}$ of Furio and Lombardo, in the cases $7 \mid k$ that they left open. The covering curves are twists of the Fermat septic, they map to twists of the Klein quartic, and a $7$-adic computation shows that the twist attached to a solution is trivial. The rational points of the Klein quartic were determined by Hurwitz, who reduced the question to Fermat's Last Theorem for exponent $7$, proved by Lam\'e. Thus, the last open case of the $7$-adic part of Mazur's Program B rests on Fermat's Last Theorem for exponent $7$.

The linear independence of $1$, $\zeta(3)$, and $\zeta(4)$

math.NT

In a recent breakthrough, Fauzan proved the irrationality of $\zeta(5)$. In this paper, we combine Fauzan's determinant method with classical simultaneous approximations of zeta values studied by Zudilin and Dauguet--Zudilin to prove the linear independence of $1$, $\zeta(3)$, and $\zeta(4)$ over $\mathbb{Q}$.

ETM-3D: A One-Parameter Multistable Quadratic Flow with an Explicit Absorbing Set and Intermittent Chaos

nlin.CD

cs.SY

eess.SY

math.DS

math.NT

math.OC

We study a one-parameter three-dimensional quadratic flow, denoted ETM-3D, on the benchmark domain $\rho\geq0$. Its homogeneous quadratic triad preserves Euclidean quadratic energy, while the full vector field has constant divergence -8. A shifted quadratic Lyapunov function yields an explicit positively invariant absorbing set and therefore global ultimate boundedness. The equilibria reduce generically to a scalar quartic, with a separate singular case at $\rho=\sqrt{5}$. Continuation reveals two saddle-node bifurcations, a generic transcritical bifurcation, a supercritical Hopf bifurcation, and a fold of limit cycles. Stable and unstable period-one branches meet at the fold with their nontrivial Floquet multipliers approaching +1. Just beyond this point, a 25-point logarithmic parameter study gives a laminar-length scaling exponent of -0.551 (95% confidence interval [-0.621,-0.481]), consistent with type-I intermittency. At larger $\rho$, a chaotic attractor coexists with an asymptotically stable equilibrium and periodic windows occur. Structural invariants are used to distinguish the flow from several classical quadratic chaotic families.

Infinite log-concavity of the Taylor coefficients of the Riemann xi-function

math.CO

math.CV

math.NT

The Riemann hypothesis is equivalent to $F(x)$ belonging to the Laguerre--P\'olya class. Br\"and\'en [J. Reine Angew. Math., 2011] proved that if an entire function in the Laguerre--P\'olya class has nonnegative Taylor coefficients, then its coefficient sequence is infinitely log-concave. Consequently, the Riemann hypothesis implies the infinite log-concavity of $(\lambda_n)_{n\ge0}$. In this paper, we prove that the sequence $(\lambda_n)_{n\ge0}$ is strictly infinitely log-concave. This resolves a conjecture of Zhu [Math. Z., 2023]. The proof combines explicit complex-analytic estimates for the iterated logarithmic ratios, rigorous interval arithmetic for a finite range of indices, and a global closure argument.

Uniform positivity of the tau invariant

math.AG

math.CO

math.NT

We prove the Baker--Rumely conjecture that the tau invariant of a metrized graph admits a positive lower bound proportional to its total length, with an absolute constant. We also construct simple cubic metrized graphs whose normalized tau invariants tend to $59/7260<1/108$, disproving the proposed universal constant $1/108$. The lower bound is independent of the genus, the number of edges, and the distribution of edge lengths. Its proof combines a second-moment inequality for Euclidean lattices with a partition of the edge coordinates of a cycle lattice into three independent sets. The counterexamples have only two edge lengths and admit an elementary resistance calculation. Through the tropical moment identity, the lower bound also gives a uniform estimate for the non-archimedean terms in height formulas for Jacobians.

Weak approximation for Campana points on projective spaces

math.AG

math.NT

We prove weak approximation for Campana points on the projective line with log Fano boundary, and on projective $n$-space with either $n+3$ hyperplanes in general position or two transverse smooth quadrics, each of coefficient $1/2$.

Tempered Symplectic Distinction For Quaternionic $GL_n(D)$: A Conjecture of PRASAD

math.RT

math.NT

Let $F$ be a non-Archimedean local field of characteristic zero, let $D/F$ be the quaternion division algebra, and put $G_n = GL_n(D)$ and $H_n = Sp_n(D)$. We prove Prasad's revised conjecture on tempered representations with symplectic period. If $\rho$ is a unitary $H_r$-distinguished supercuspidal representation and $\delta_m(\rho)$ denotes the generalized Steinberg representation associated to $\rho$, set $B_0(\rho) = \rho, B_m(\rho) = \delta_{m+1}(\rho) \times \delta_m(\rho), m \geq 1.$ We prove that an irreducible tempered representation $\pi$ of $G_n$ is $H_n$-distinguished if and only if $\pi$ is isomorphic to the product over $i$ of $B_{m_i}(\rho_i),$ where each $\rho_i$ is a unitary distinguished supercuspidal representation.

On three conjectures of Kimberling concerning the array $\lfloor k\varphi^n\rfloor$

math.CO

math.NT

Let $\varphi$ be the golden ratio and let $R_n=\{\lfloor k\varphi^n\rfloor : k\ge 1\}$ be the $n$-th row of the array $T(n,k)=\lfloor k\varphi^n\rfloor$ (OEIS A128440). In 2022 Kimberling conjectured that the rows $R_{2n-1}$ and $R_{2n}$ are disjoint, and that after the two rows are merged and each entry is replaced by its rank, they become the lower and upper Wythoff sequences. He also conjectured (OEIS A358359) that if $a(N)$ is the number of rows containing $N$, then every positive integer occurs infinitely often among the values of $a$. We show that the first two conjectures follow quickly from the Skolem-Bang theorem, which also yields the exact rule for when two rows are disjoint: $R_i\cap R_j=\emptyset$ ($i

Polynomials with restricted support and maximal zeros on a finite Cartesian set

math.AC

cs.IT

math.IT

math.NT

Given a finite Cartesian set $S=X \times Y$ and a decreasing set of monomials $\mathcal M$, we call extremal polynomials for $\mathcal M$ over $S$ those that have the maximum number of zeros in $S$ and whose support belongs to $\mathcal M$. Coordinate factorizations give a family of extremal polynomials; we call them canonical. If $\max(\mathcal M)$, taken with respect to divisibility, is a single monomial, all extremal polynomials are canonical. If $|\max(\mathcal M)|=2$, either all extremal polynomials are canonical, or the problem reduces to the case where $\max(\mathcal M)=\{x^{d_x},y^{d_y}\}$. In the latter case, we prove that the existence of noncanonical extremal polynomials depends on finding families of subsets whose elementary symmetric functions agree. This condition is more restrictive than the classical Prouhet--Tarry--Escott problem, which asks for two sets whose elementary symmetric functions agree. We determine the number of triples $(X, Y, h)$, where $h$ is a quadratic noncanonical extremal polynomial. We apply extremal polynomials to coding theory via minimum-weight codewords.

Generic Hodge and special Hodge--Witt polygons

math.AG

math.NT

We prove that the Hodge polygon of the generic fiber of a proper smooth $p$-adic formal scheme over $\mathcal O_C$ lies on or above the generalized Hodge--Witt polygon of its special fiber. The argument combines prismatic cohomology with Ekedahl's diagonal theory of coherent Raynaud complexes. For each integral cutoff and each finite iteration length, a finite iterated Nygaard construction produces a perfect $A_{\mathrm{inf}}$-complex. Its individual-degree lengths along the generic divisor branches are weighted Hodge sums. A maximal-minor specialization argument bounds their sum by the corresponding crystalline length. On the special fiber, an exact derived modification of coherent Raynaud complexes has length growth governed by weighted Hodge--Witt numbers, with bounded error. Passing to the limit in these numerical lengths gives the comparison, allowing negative Hodge--Witt numbers and crystalline torsion. No projectivity, algebraization, or descent to a discretely valued field is assumed.

Spreading out perverse sheaves

math.AG

math.NT

We spread out geometrically irreducible perverse sheaves. Over an arithmetic base scheme, such sheaves extend from the generic fiber to a relatively perverse, universally locally acyclic sheaf over a dense open of the base scheme. As an application, we prove the arithmetic Kashiwara conjecture by Esnault and Kerz for geometric traits in equicharacteristic and generalize the decomposition theorem for arithmetic complexes to fields finitely generated over a separably closed field. We also recover the Hard Lefschetz theorem for arithmetic perverse sheaves.

Diophantine equations in primes: density of prime points on affine hypersurfaces II

math.NT

v2

Let $F \in \mathbb{Z}[x_1, \ldots, x_n]$ be a homogeneous form of degree $d \geq 2$, and let $V_F^*$ denote the singular locus of the affine variety $V(F) = \{ \mathbf{z} \in {\mathbb{A}}^n_{\mathbb{C}}: F(\mathbf{z}) = 0 \}$. %defined by the equation $F (x_1, \ldots, x_n) = 0.$ In this paper, we prove the existence of integer solutions with prime coordinates to the equation $F(x_1, \ldots, x_n) = 0$ provided $F$ satisfies suitable local conditions and $n - \dim V_F^* > d^2 (2d-1) 4^{d} \left( 33 + \frac{37}{2d-1 } \right) + \frac{3 (32 d) (33d) (6d + 1)}{d-1} 2^{d-1} + (12 d + 1) (4 (d-1) 2^d + 1)$. The result is obtained by using the Heath-Brown identity and optimizing various parts of the argument in the author's previous work, which made use of the Vaughan identity and required $n - \dim V_F^* \geq 2^8 3^4 5^2 d^3 (2d-1)^2 4^{d}$.

The moments of split greatest common divisors

math.NT

v4

Sequences of the form $(\gcd(u_n,v_n))_{n \in \mathbb N}$, with $(u_n)_n$, $(v_n)_n$ sums of $S$-units, have been considered by several authors. The study of $\gcd(n,u_n)$ corresponds, after Silverman, to divisibility sequences arising from the algebraic group $\mathbb G_{\mathrm{a}} \times \mathbb G_{\mathrm{m}}$; in this case, Sanna determined all asymptotic moments of the arithmetic function $\log\,\gcd (n,u_n)$ when $(u_n)_n$ is a Lucas sequence. Here, we characterize the asymptotic behavior of the moments themselves $\sum_{n \leq x}\,\gcd(n,u_n)^\lambda$, thus solving the moment problem for $\mathbb G_{\mathrm{a}} \times \mathbb G_{\mathrm{m}}$. We give both unconditional and conditional results, the latter only relying on standard conjectures in analytic number theory.

On sparsity of integral points in orbits and correspondences with big iterated pullbacks

math.NT

math.DS

v3

We prove new unconditional results of sparsity of integral points on orbits under many maps and correspondences in arbitrary dimensions, generalizing theorems of Yasufuku(2015) and others. The main ingredients are new diophantine approximation tools and recent constructions for correspondences due to Ingram (2011).

The Erd\H{o}s--Moser sum-free set problem via improved bounds for $k$-configurations

math.NT

math.CO

v2

A $k$-configuration is a collection of $k$ distinct integers $x_1,\ldots,x_k$ together with their pairwise arithmetic means $\frac{x_i+x_j}{2}$ for $1 \leq i < j \leq k$. Building on recent work of Filmus, Hatami, Hosseini and Kelman on binary systems of linear forms and of Kelley and Meka on Roth's theorem on arithmetic progressions, we show that, for $N \geq \exp((k\log(2/\alpha))^{O(1)})$, any subset $A \subseteq [N]$ of density at least $\alpha$ contains a $k$-configuration. This improves on the previously best known bound $N \geq \exp((2/\alpha)^{O(k^2)})$, due to Shao. As a consequence, it follows that any finite non-empty set $A \subseteq \mathbb{Z}$ contains a subset $B \subseteq A$ of size at least $(\log|A|)^{1+\Omega(1)}$ such that $b_1+b_2 \not\in A$ for any distinct $b_1,b_2 \in B$. This provides a new proof of a lower bound for the Erd\H{o}s--Moser sum-free set problem of the same shape as the best known bound, established by Sanders.

The error term of the fourth moment of the Riemann zeta-function

math.NT

v2

We examine the size of $E_{2}(T)$, the error term in the asymptotic formula for $\int_{0}^{T} |\zeta(1/2 + it)|^{4}\, dt$ where $\zeta(s)$ is the Riemann zeta-function. We reduce the powers of $\log T$ in the known bounds for $E_{2}(T)$ and $\int_{0}^{T} E_{2}(t)^{2}\, dt$. As a consequence, we obtain small logarithmic improvements for $k$th moments where $8\leq k\leq 12$. In particular, we obtain $\int_0^T|\zeta(1/2+it)|^{12}\,dt\ll T^2(\log T)^{15}$.

Extendability of group actions on K3 or Enriques surfaces

math.NT

math.AG

v3

Let $X$ be a K3 or Enriques surface with good reduction. Let $G$ be a finite group acting (not necessarily linearly) on $X$. We give a criterion for this group action to extend to a smooth model of $X$ in terms of the action of $G$ on the second $\ell$-adic cohomology groups. In particular, we generalize the result on the extendability of Galois actions on K3 surfaces by Chiarellotto, Lazda, and Liedtke. As an application, we prove that a symplectic linear group action is extendable if the residue characteristic does not divide its order. Lastly, we relate the good reduction of Enriques surfaces with that of their K3 double covers.

Kobayashi length bounds on bordered surfaces and generalized integral points on abelian varieties

math.NT

v4

Let $B$ be a compact Riemann surface and $B_0\subseteq B$ a hyperbolic surface obtained by removing finitely many disjoint closed disks. Fix a nontrivial loop $\alpha$ in $B_0$. For $s\ge0$, let $L(\alpha,s)$ denote the supremum, over all finite subsets $S\subset B_0$ with $\#S\le s$, of the minimal Kobayashi length of a loop in $B_0\smallsetminus S$ that is freely homotopic to $\alpha$ in $B_0$. Phung in [14] proved that $L(\alpha,s)$ grows at most linearly and at least as $\sqrt{s}/\log s$. We sharpen the upper bound to $O(\sqrt{s+1})$, which determines $\lim_{s\to\infty}\log L(\alpha,s)/\log s=1/2$, answering [14, Question 1.4]. As an application, we improve Phung's counting bound for generalized integral points on abelian varieties over complex function fields. For an abelian variety of dimension $n$ over $\mathbb C(B)$ satisfying his geometric hypotheses, Phung proved a bound of order $(s+1)^{2nk}$ modulo the constant trace, where $k$ is the minimal number of generators of $\pi_1(B_0)$. We explain his method in detail and insert our stronger length estimate to obtain $(s+1)^{nk}$, halving the exponent. Counting in the Mordell--Weil lattice of rank $r$ gives the more precise bound $O((s+1)^{r/2})$ and a linear bound in $s+1$ for the canonical heights, with the family and $B_0$ fixed. For normal-crossings $D$ with Cartier model closure, this proves the fixed-model geometric Lang-Vojta conjecture in the stated abelian setting, without an exceptional set.

Arithmetic exceptionality of Latt\`{e}s maps

math.NT

v3

Let $\mathbb{F}_q$ denote a finite field of order $q$. A rational function $r(x)\in \mathbb{Q}(x)$ is said to be arithmetically exceptional if it induces a permutation on $\mathbb{P}^1(\mathbb{F}_p)$ for infinitely many primes $p$. Based on some computational results, Odaba\c{s} conjectured that for each $k\in \mathbb{N}$, the $k$-th Latt\`{e}s map attached to an elliptic curve $E/\mathbb{Q}$ is arithmetically exceptional if and only if $E$ has no $k$-torsion point whose $x$-coordinate is rational. In this paper, we prove that this conjecture is true for any elliptic curve $E/\mathbb{Q}$ having complex multiplication by an imaginary quadratic field other than $\mathbb{Q}(\sqrt{-11}).$ On the other hand, we show that the conjecture becomes invalid if $E$ has CM by $\mathbb{Q}(\sqrt{-11})$ and $6\mid k$. Partial results for non-CM elliptic curves are also given.

On indecomposable elements in lattices

math.NT

math.MG

v3

We study the distribution of indecomposable elements in Euclidean lattices. A positive element in a lattice is called indecomposable if it cannot be represented as a sum of two other positive nonzero elements. The set of all indecomposables in a lattice forms the Hilbert basis for the positive lattice semigroup. We classify lattices that contain only finitely many indecomposables versus those that contain infinitely many. In the two-dimensional case, we prove that every positive element in a lattice can be represented as a positive integer linear combination of at most two indecomposables, which is a certain variation of the discrete Carath\'eodory's property. In the case of lattices coming from ideals in the rings of integers of real quadratic number fields, we obtain an explicit counting estimate for the number of indecomposables with bounded norm, showing logarithmic growth.

Abelian surfaces of small conductor from genus 3 double covers

math.NT

v2

We describe the construction of a database of roughly half a million abelian surfaces over Q of small conductor arising as Pryms associated to a genus 3 double cover of a genus 1 curve. Our construction uses a method that provides a degree of control over the primes of bad reduction.

Multi-target hyperbolic sieves and elliptic trace obstructions

math.NT

v2

Let $N=pq$ be a product of two primes, and let $\ell$ be an odd prime not dividing $N$. For $a\in\mathbb F_\ell^*$, the set \[ H_a(N;\ell)=\{ax+Nx^{-1}:x\in\mathbb F_\ell^*\} \] contains the residue of $ap+q$ modulo $\ell$. Since residues outside this set can be excluded when searching for that linear form, it has been applied as a sieve for linear combinations of $p$ and $q$ in recent deterministic integer factorization methods. Its size is $(\ell+\chi(aN))/2$, where $\chi$ is the Legendre symbol modulo $\ell$. We study unions of these sets, which give a common set of candidate residues for several linear forms and thus allow to sieve for multiple target forms at once. For distinct $a,b$, we obtain an exact formula for $|H_a(N;\ell)\cup H_b(N;\ell)|$ in terms of \[ K(A,B)=\sum_{z\in\mathbb F_\ell}\chi((z^2-A)(z^2-B)), \qquad A=4aN,\quad B=4bN. \] The Hasse-Weil bound gives an error of $O(\sqrt\ell)$ from $3\ell/4$. For fixed $c\ne0,1$, we prove the elementary identity $K(A,cA)=-1-\chi(A)t_c$, where $t_c=-1-K(1,c)$. Hence the union for a primitive-root pair $(a,b)=(\gamma,\gamma^2)$ has at most two sizes as $N$ varies. We give an exact condition on $t_\gamma$ for the bound $3\ell/4+1$ to hold for every nonzero $N$ modulo $\ell$, and compute the first and second moments. For $k$ distinct coefficients, we prove \[ \left|\left|\bigcup_{j=1}^k H_{a_j}(N;\ell)\right| -\ell(1-2^{-k})\right| \le (k-1+2^{-k})\sqrt\ell+k. \] We derive the corresponding bounds modulo products of distinct primes using the Chinese remainder theorem. We also determine the exact size of the image obtained by restricting $x$ to the nonzero $r$-th powers, which applies when searching for a divisor of the form $u^r$ in $N=u^rv$.

Explicit upper and lower bounds on certain functions related to $\zeta(s)$ for $s>1$

math.NT

v2

We provide explicit upper and lower bounds for certain commonly occurring expressions that involve the Riemann zeta function $\zeta(s)$ and its derivatives on $s>1$. For example, this improves upon existing bounds for $(s-1)\zeta(s)$ and its derivatives, and for $(\zeta'/\zeta)(s)$.

Reduction modulo p of crystalline Galois representations via {\mu}_p-equivariance

math.NT

math.AG

v2

For a crystalline representation of the absolute Galois group of Q_p, with given Hodge-Tate weights, we obtain new constraints on the inertial weights of its mod p reduction. This allows us to formulate an explicit Serre weight conjecture, in the generality of L-parameters for unramified connected reductive groups over Q_p, and to prove the elimination direction of this conjecture. The proof uses prismatic techniques to show that the reductions modulo p of the Breuil-Kisin modules attached to crystalline Galois representations acquire a natural {\mu}_p-equivariant structure. Combining this with results on the geometry of the {\mu}_p-fixed points of affine Grassmannians leads to our new constraint.

Sums of Kloosterman sums formed with modular symbols

math.NT

v2

We study sums of Kloosterman sums formed with a modular symbol. Employing Tauberian methods, we first give an estimate for a (Riesz) sum of Ramanujan sums formed with a modular symbol. We further define a zeta function that is analogous to the Selberg zeta function, establish its continuation to $\Re(s)>1/2$, give estimates for its growth and use this to prove a cancellation statement for sums of these twisted Kloosterman sums. We explain the connection of this construction to the eigenvalue 1/4 problem and formulate an analogue of Linnik's conjecture. Finally, we present numerical evidence that there is cancellation and also that the Kloosterman sums with a modular symbol are not correlated with classical Kloosterman sums.

On Small Doubling in Right-Ordered Groups and Baumslag-Solitar Groups-II

math.NT

v3

Recently, Mohan et al. [Results Math. 80 (2025), No. 4, 122] answered Freiman's $3k-4$ conjecture in right-ordered groups under certain restrictions. In this paper, we take a step further by investigating the structure of nonempty subsets $S$ of a right-ordered group satisfying the small doubling condition $|S^2| = 3|S|-3$. Moreover, we provide a complete characterization of all nonempty finite subsets $S$ of the Baumslag-Solitar group $\mathrm{BS}(1,q)$ (with $q \in \mathbb{Z}$ and $q \neq -1$) for which $|S^2| = 3|S|-3$ and the identity element is the minimum of $S$.

On a certain arithmetic function defined via Bernoulli numbers

math.NT

v2

The paper defines a certain function \(\chi(n)\) on the set of odd integers \(n \ge 3\). The integrality property of this function is investigated. The main result establishes that the function is integer-valued if and only if \(n\) is a prime number or an odd Giuga number. Thus, the integrality of \(\chi(n)\) serves as a single criterion unifying three classes: prime numbers, Carmichael numbers, and odd Giuga numbers. The proof relies exclusively on the von Staudt--Clausen theorem on the denominators of Bernoulli numbers and Korselt's criterion for Carmichael numbers, which makes the exposition elementary. A connection is proven between prime numbers \(p\) for which \(\chi(p)=p-1\) and Nov\'ak--Carmichael numbers. It is proven that the primes satisfying this criterion form a sequence with the identifier A337119 in the Online Encyclopedia of Integer Sequences. For the classes \(P_\mu\) of primes with a fixed value \(\chi(p)=\mu\), a characterization is obtained in terms of the exponents of the prime divisors of the numerator of the corresponding Bernoulli number \(B_{p-1}\). For some \(\mu\), explicit congruences are provided. The work is accessible to a wide readership due to its minimal use of advanced mathematical apparatus.

Multiple Zeta Values

math.NT

math.CO

v2

These lecture notes are based on three courses given at Nagoya University. Their purpose is to give a beginner-friendly introduction to multiple zeta values and several of their variants, such as finite and symmetric multiple zeta values, q-analogues of multiple zeta values, and multiple Eisenstein series. These notes will be updated in the future.

$k$-Lucas Annulus for Polynomial Zeros

math.NT

v2

We prove a binomial identity relating the $k$-Lucas and $k$-Fibonacci sequences: for real $k>0$ and integers $m\ge1$, $n\ge1$, a binomial-weighted sum of $k$-Lucas numbers reduces to a multiple of $L_{k,mn}$ when $n$ is even, but to a multiple of $F_{k,mn}$ when $n$ is odd. This parity dependence traces back to the $k$-Lucas Binet formula lacking the normalising factor $1/(\alpha-\beta)$ present for $k$-Fibonacci numbers. The identity supplies, for each parity of $n$ and each $m$, an explicit family of positive weights summing to one; combined with the general annulus principle of Dalal and Govil, this yields a $k$-Lucas annulus containing all the zeros of a complex polynomial of degree $n$, complementing the $k$-Fibonacci-based bounds of D\'iaz-Barrero, Bidkham-Shashahani, and Kaur.

Reduced polynomial lifts of APN permutations over Galois rings and effective non-APN bounds

math.NT

cs.IT

math.IT

v2

We study coefficientwise permutation lifts of reduced polynomial representatives of almost perfect nonlinear (APN) permutations from finite fields to Galois rings. The standard permutation criterion shows that a permutation polynomial over $\mathbb F_{2^m}$ admits such a lift if and only if its formal derivative is nowhere zero on the field. In that case, every coefficientwise lift permutes $\operatorname{GR}(2^k,m)$ for every $k>1$. It is natural to conjecture that the reduced representative of an APN permutation admits no such lift. However, Zhang and Haobo supplied a counterexample to our earlier critical-point conjecture, which also refutes this lifting claim. Their degree-$24$ reduced APN permutation over $\mathbb F_{32}$ has a nowhere-zero formal derivative. We record this example and give an exact linear-image and trace-dual criterion for the absence of rational critical points in quadratic functions. We also obtain explicit non-APN bounds from Janwa-Wilson-Rodier surfaces. For every odd degree $d\ge5$ outside the Gold and Kasami-Welch exponent families, results of Hernando-McGuire and Aubry-McGuire-Rodier yield an absolutely irreducible component defined over the ground field. Applying the Cafure-Matera point estimate gives an explicit threshold above which no polynomial of degree $d$ over $\mathbb F_{2^m}$ is APN. This makes the known qualitative nonexistence result effective. An identity between difference tables extends the bound to polynomials $ax+g(x^2)+c$, where $a\ne0$ and $g$ has an odd degree in the stated range. Finally, every cubic permutation polynomial has a rational critical point and therefore admits no coefficientwise permutation lift.

An upper bound for an exceptional automorphism group

math.NT

math.AG

v2

Let $q=p^h>7$ be odd, put $m=(q+1)/2$, and suppose that $i=(m-2)/2$ satisfies $\gcd(i,m)=\gcd(i+2,m)=1$. For the $\mathbf{F}_{q^2}$-maximal function field $\mathcal{F}_i=\mathbf{F}_{q^2}(x,y)$ defined by $y^m=x^i(x^2+1)$, Peter Beelen, Maria Montanucci, Jonathan Niemann, and Luciane Quoos showed that the geometric automorphism group contains a subgroup of order $4(q+1)$ and conjectured that its order is exactly $4(q+1)$. We prove this equality by establishing the reverse inequality.

On multiply induced characters

math.NT

math.GR

v2

We investigate finite group structures that yield complex irreducible characters induced simultaneously from two or more distinct subgroups. When such a group is realized as the Galois group of a Galois extension of number fields, this phenomenon implies that multiple subfields share the same Artin $L$-function.

On the classification of small cyclotomic integers

math.NT

v3

We give a general classification theorem for cyclotomic algebraic integers with all complex absolute values bounded by a fixed constant $c$, modeled on the theorem of Cassels which treats the case $c = \sqrt{5}$ up to finitely many exceptions. As a corollary, we establish that the range of the function taking a cyclotomic integer to its maximum complex absolute value is a well-ordered (but not closed) subset of the real numbers. We also formulate analogous statements for algebraic numbers in the maximal cyclotomic extension of a fixed number field. The proofs combine a result of Loxton, which bounds the number of roots of unity in the shortest additive representation of a cyclotomic integer in terms of the maximum complex absolute value, with an equidistribution theorem of Bilu et al. for Galois orbits of torsion points on algebraic tori.

Todd's relation conjecture and binary relations for multiple zeta values in positive characteristic

math.NT

v2

We prove Todd's relation conjecture: all $\mathbb{F}_q(\theta)$-linear relations of Thakur's multiple zeta values are generated from the fundamental binary relation by the operators $\mathcal{B}^{\mathrm{S}}$, $\mathcal{C}^{\mathrm{S}}$, $\mathcal{B}^{\mathrm{S}}\circ \mathcal{C}^{\mathrm{S}}$; moreover they are also generated by $\mathcal{B}^{\ast\mathrm{S}}$, $\mathcal{C}^{\mathrm{S}}$, $\mathcal{B}^{\ast\mathrm{S}}\circ\mathcal{C}^{\mathrm{S}}$. The $\mathcal{B}^{\ast\mathrm{S}}$-part of this conjecture has been proved by Chang, Chen and Mishiba. We prove the whole conjecture for Carlitz multiple polylogarithm values, which implies the $\mathcal{B}^{\mathrm{S}}$-part for multiple zeta values. We also determine all fixed relations and binary relations. Let $\mathfrak{BR}^{\mathrm{S}}_w$ be the $\mathbb{F}_q(\theta)$-linear space spanned by binary relations of weight $w$, and let $\operatorname{Fix}^{\mathrm{S}}_w$ be the $\mathbb{F}_q(\theta)$-linear space spanned by fixed relations. We derive generating functions $\sum_{w\ge 1}\bigl(\dim_{\mathbb{F}_q(\theta)}\operatorname{Fix}^{\mathrm{S}}_w\bigr)x^w=\frac{x^{q+1}(1-x)}{(1-2x)(1-2x+x^{q+1})}$ and $\sum_{w\ge 1}\bigl(\dim_{\mathbb{F}_q(\theta)}\mathfrak{BR}^{\mathrm{S}}_w\bigr)x^w=\frac{x^q(1-x)}{(1-2x)(1-2x+x^{q+1})}.$ Our results are based on the recent work of Im-Kim-Ngo Dac on the $\mathbb{F}_q$-linear relations of Thakur's multiple zeta values, and a system of transfer theorems between multiple zeta values and multiple polylogarithm values.

The three Kanade-Russell identities modulo nine

math.NT

math.CO

v3

We prove the three symmetric Kanade-Russell identities modulo nine.

Dynamical uniform boundedness for unicritical polynomials

math.NT

math.AG

math.DS

v2

We prove the dynamical uniform boundedness conjecture for unicritical polynomials $z^d + c$ over every number field $K$ when $d \geq 4$, and over every number field $K$ not containing $\mathbb{Q}(\sqrt{-3})$ when $d = 3$. Furthermore, our unconditional bounds on perodic points are effectively computable. In the remaining cases, we show that the dynamical uniform boundedness conjecture is implied by the boundedness of Mordell-Weil ranks over $K$ for a specific family of elliptic curves when $d = 3$ and for Jacobians of dynatomic curves when $d = 2$.

The Local Ghost Theorem in the Tr\`es Ramifi\'e Case

math.NT

v2

Let $p\geq 11$ and let $\bar\rho$ be a tr\`es ramifi\'e representation. For a primitive projective-augmented module of the corresponding type, we prove the tr\`es ramifi\'e analogues of the local results of Liu-Truong-Xiao-Zhao and thereby establish the local ghost conjecture in this case. The main difference here is that the Iwahori dimension increases by one between consecutive relevant classical weights and may therefore be odd. Accordingly, the proof of the near-Steinberg results must treat both integral and half-integral centres.

Uniform Mordell--Lang conjecture for semiabelian varieties

math.NT

v4

We prove the uniform Mordell--Lang conjecture for semiabelian varieties, that is, for a subvariety $X$ of a semiabelian variety, its intersection with a finite-rank subgroup of rational points, can be covered by at most $c$ cosets contained in $X$, where $c$ depends only on the dimension of the semiabelian variety, the degree of $X$, and the rank of the subgroup. Our proof is new even in the abelian case previously proven by Gao--Ge--K\"uhne.

The large sieve for square moduli under Hooley's hypothesis $R^*$

math.NT

v2

Let $S(Q,M,N,(a_n))=\sum_{q\le Q}\sum_{(a,q)=1}|\sum_{M

Wave Numbers: Discrete Sequence Algebras, Sieve Projectors, and Dynamical Geometry

math.NT

v3

We establish a comprehensive algebraic, geometric, and physical classification of the wave closure space generated from primitive plane wave sequences on the discrete spatial lattice $\mathbb{Z}$. Resolving lattice degeneracies via unwrapped phase spaces, we prove that the linear wave group $\mathcal{G}$ under pointwise product, inversion, and root extraction is an infinite divisible abelian torsion group isomorphic to $(\mathbb{Q}/\mathbb{Z}) \times (\mathbb{Q}/\mathbb{Z})$, with canonical decomposition into Pr\"{u}fer $p$-groups and maximal cyclotomic value field $\mathbb{Q}^{\mathrm{ab}}$. Extending to coordinate powers yields the polynomial phase group $\mathcal{G}_{\mathrm{poly}}$, classified by integer-valued polynomials $\operatorname{Int}(\mathbb{Z})$. Adjoining addition yields the group algebra $\mathbb{C}[\mathcal{G}_{\mathrm{poly}}]$, for which we establish the Permutation-Symmetric Phasor Superposition Theorem, factoring superpositions into collective barycentric carriers and closed Born probability envelopes. Using algebraic sieves over roots of unity, we construct idempotent projectors and complementary Not-sieve notch filters, achieving exact algebraic synthesis of both momentum and localized Kronecker position bases. Generalizing to non-abelian quaternions $\mathcal{V}_\mathbb{H}$, we prove a polar decomposition into scalar envelopes and $\mathrm{SU}(2)$ spinor rotors. Identifying coordinate advance with time, biquaternion determinants intrinsically yield Minkowski spacetime $s^2 = c^2 t^2 - \|\mathbf{x}\|^2$ and the Lorentz group $\mathrm{SO}^+(1,3)$. We demonstrate emergent vacuum zero-point jitter, topological selection of rational frequencies, and correspondences with discrete qudits.

Strongly Pseudoperfect Numbers

math.NT

v2

A positive integer $n$ is said to be strongly pseudoperfect if there is a subset $S$ of the positive divisors of $n$ such that $d \in S$ if and only if $n/d \in S$, and $\sum_{d \in S} d = 2n$. We construct new infinite families of strongly pseudoperfect numbers, and also prove new restrictions on when a positive integer $n$ can be strongly pseudoperfect.

A closed-form law for the Salikhov-Zeilberger-Zudilin-Bai family, and computational evidence that Bai's point is optimal

math.NT

v2

Salikhov (2008), Zeilberger-Zudilin (2020) and Bai (2026) bound the irrationality measure of pi with the same shape of complex integral. This note gives one closed-form law mu(a0,a1,b) for the whole family, shows that it reproduces all three published records, proves that it is exactly scale-invariant, and gives evidence that Bai's parameter point is the global optimum of the family - a statement Bai explicitly declines to make about her own result. The admissible configurations are forced by a Machin condition: zeros at 0, +-w, +-wbar and poles at +-P give a linear form in 1 and pi if and only if P^2 - N(w) = 2P Im(w). The law depends only on the two ratios a0/a1 and b/a1, so the infinite three-parameter lattice is exactly two-dimensional. The 2-adic saving is exactly 5(2a1-b)/2 per n, in two regimes, and no further saving exists. The decay rate is governed by the min-max value of the steepest-descent method, the lowest level at which the two endpoints of the integral become connected within a sublevel set of the integrand; the value obtained from the least critical level is a lower bound for mu and serves as a screening. Among the sixteen admissible configurations with P < 100, exactly one carries a triple that yields a bound, namely Salikhov's (P = 5, w = 1+2i), and the least mu over all sixteen and over all primitive triples with a0, a1 <= 10 and b <= 22 is 7.103205334137 at (2,2,3). Within that configuration the minimum is 7.101862832356 at (1857,1857,2785), which is Bai's point, the vertex sitting exactly at Q = 2a/(3a-2b) = 3714. Each statement carries an explicit label, PROVED or VERIFIED or CONJECTURE, and the reservations of scope are stated in the note. An ancillary file re-derives every numerical claim from scratch, with no external dependency.

New bounds for the integer Chebyshev constant of [0,1]

math.NT

v2

The integer Chebyshev constant of [0,1] has been bracketed by 0.4213 <= t_Z([0,1]) <= 0.422685 since the work of Pritsker (2005) and of Flammang (2014). We prove 0.4222286000 <= t_Z([0,1]) <= 0.4226846975, narrowing the interval from 1.39e-3 to 4.56e-4. Both bounds are established by explicit certificates. The upper bound is carried by an integer polynomial with 92 factors and explicit integer exponents; the lower bound by a discrete measure on 947 cells together with a library of 206 irreducible polynomials, through an inequality in which the terms paying for divisibility are made explicit. Two self-contained scripts, included as ancillary files, re-derive both bounds from the certificates alone.

Quadratic distances in even dimensions over prime fields

math.NT

math.CA

math.CO

v2

Let $p$ be an odd prime, let $m\geq1$ be an integer, and let $Q$ be a nondegenerate quadratic form on $\mathbb F_p^{2m}$. For a nonempty set $E\subseteq\mathbb F_p^{2m}$, write $\Delta_Q(E)=\{Q(x-y):x,y\in E\}$. We prove that, whenever $|E|>p^m$, \[ |\Delta_Q(E)|\gg \min\left\{\frac{p}{L_E},\, \frac{|E|}{p^{m-1}L_E^2}\right\}, \qquad L_E=\log\left(2+\frac{p^{m+1}}{|E|}\right), \] with an absolute implied constant independent of $p$, $m$ and $Q$. This confirms the Erd\H{o}s--Falconer distance conjecture up to a logarithmic factor. In the anisotropic planar case $m=1$, for small sets, we also prove that \[ |\Delta_Q(E)|\gg\frac{|E|}{\log(2|E|)}, \qquad (1\leq |E|\leq p), \] which is also optimal up to a logarithmic factor.

K-theory and localizing invariants of large categories

math.KT

math.AG

math.AT

math.CT

math.NT

v4

In this paper we introduce and study the so-called continuous $K$-theory for a certain class of "large" stable $\infty$-categories, more precisely, for dualizable presentable categories. For compactly generated categories, the continuous $K$-theory is simply the usual (non-connective) $K$-theory of the full subcategory of compact objects. More generally, we show that any localizing invariant of small stable $\infty$-categories can be uniquely extended to a localizing invariant of dualizable categories. We compute the continuous $K$-theory for categories of sheaves on locally compact Hausdorff spaces. Using the special case for sheaves on the real line, we give an alternative proof of the theorem of Kasprowski and Winges \cite{KW19} on the commutation of $K$-theory with infinite products for small stable $\infty$-categories. We also study the general theory of dualizable categories. In particular, we give an "explicit" proof of Ramzi's theorem \cite{Ram24a} on the $\omega_1$-presentability of the category of dualizable categories. Among other things, we prove that dualizability is equivalent to "flatness" in the category of presentable stable categories.

A closer look at some cyclic semifields

math.RA

math.NT

v3

We prove that the choice of the automorphism $\sigma$ in the construction of a Petit semifield is important when counting isomorphism classes. Different choices of generators $\sigma$ of the Galois group of a cyclic field extension $K/F$ of degree $n$ can produce non-isomorphic proper nonassociative Petit algebras $K[t;\sigma]/K[t;\sigma](t^m-a)$ when $n\nmid m$, or when $n=m$ and $a$ does not lie in the fixed field of $\sigma$. In particular, this is the case when $F$ is a finite field. Thus there are $\varphi(n)$ families of these semifields (where $\varphi$ is the Euler function); one family for each distinct generator $\sigma$ involved in their construction, and no algebra in one family is isomorphic to one in another family. We then turn to the isotopy classes of these algebras. When the order of $\sigma$ is greater or equal to the degree $m$, and whenever $m\geq 3$ when $n>m$, two proper nonassociative Petit division algebras $K[t;\sigma]/K[t;\sigma](t^m-a_1)$ and $K[t;\sigma]/K[t;\sigma](t^m-a_2)$ which are isotopic are indeed already isomorphic, whenever ${\rm Aut}(K)$ is abelian. Under the same assumptions on $n$ and $m$, two such semifields constructed from the same generator $\sigma$ of ${\rm Gal}(\mathbb{F}_{q^n}/\mathbb{F}_{q})$ are thus isomorphic whenever they are isotopic. For $n = m$, we show that each isotopy class of Petit semifields $K[t;\sigma]/K[t;\sigma]f$ contains a proper nonassociative cyclic algebra $(K/F,\sigma,a)$. We then count the isotopy classes of all Petit semifields when $n>2$. We also present some upper bounds, counts, and parametrizations for different equivalence and isomorphism classes. Most of our results are proved in all generality for any cyclic Galois field extension.

Marked multi-colorings and marked chromatic polynomials of hypergraphs and subspace arrangements

math.CO

math.NT

v2

We introduce the concepts of marked multi-colorings, marked chromatic polynomials, and marked (multivariate) independence series for hypergraphs. We show that the coefficients of the q-th power of the marked independence series of a hypergraph coincide with its marked chromatic polynomials in q, thereby generalizing a corresponding result for graphs established in Chaithra et al. 2025 (arXiv:2503.11230). These notions are then naturally extended to subspace arrangements. In particular, we prove that the number of marked multi q-colorings of a subspace arrangement is a polynomial in q. We also define the (marked) independence series for subspace arrangements and prove that the (-q)-th power of the independence series of a hyperplane arrangement has non-negative coefficients. We further investigate the coefficientwise non-negativity of the (-q)-th power of the independence series of a hypergraph. We show that all edges must have even cardinality for this non-negativity to hold, and provide a counterexample demonstrating that this condition is not sufficient.

Mod $p$ Iwasawa algebras of pro-$p$ Iwahori subgroups

math.RT

math.NT

v2

Suppose $F$ is a finite unramified extension of $\mathbb{Q}_p$, and $G$ is the group of $F$-points of a split, connected, reductive group over $F$. Under a natural restriction on $p$, we determine the structure of the graded mod $p$ Iwasawa algebra $\textrm{gr}_{\mathfrak{m}}(\mathbb{F}_p [\![ I]\!])$, where $I$ is a pro-$p$ Iwahori subgroup of $G$. We also determine its maximal commutative quotient, and relate these results to Gelfand--Kirillov dimensions of smooth mod $p$ representations of $G$.

On the rational points in conics of a cubic surface

math.AG

math.NT

v2

In this article, we give uniform upper bounds of the rational points and integral points of bounded height provided by conics in a cubic surface. For this target, we give a generalized version of the global determinant method of Salberger by Arakelov geometry.

Lifting banal representations of classical groups

math.RT

math.NT

v2

Let $\mathrm{G}$ be a symplectic, a split orthogonal, or an unramified unitary group over a local non-archimedean field $\mathrm{F}$. A prime $\ell$ is called banal with respect to $\mathrm{G}$ if it does not divide the cardinality of the $k$-points of $\mathrm{G}$, where $k$ is the residue field of $\mathrm{F}$. In this paper we show that for every banal prime $\ell$, any smooth irreducible $\overline{\mathbb{F}}_\ell$-representation of $\mathrm{G}(\mathrm{F})$ admits a lift to $\overline{\mathbb{Q}}_\ell$. We also state similar results for more general classical groups of symplectic, orthogonal or unitary type. As an application we prove Howe-duality in the strongly banal case for symplectic-orthogonal or unitary dual pairs.

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals

math.LO

math.NT

v2

Let $k$ be a complete valuation field. We define freeness of a Banach $k$-vector space as the existence of an orthonormal Schauder basis, and almost freeness of a Banach $k$-vector space as a non-Archimedean Banach space analogue of almost freeness of an Abelian group. As non-Archimedean Banach space analogues of the classical facts that an almost free Abelian group is free under the assumption that its cardinality is $\aleph_1$-strongly compact or weakly compact, we show that an almost free Banach $k$-vector space is free under similar assumptions.

Spectrum of the refined Diophantine exponent

math.CO

cs.FL

math.DS

math.NT

v2

The refined Diophantine exponent, recently introduced by the author, is a quantity that measures the periodicity of an infinite word. In this article, we study this exponent from combinatorial and topological viewpoints. First, we show that, over a ternary alphabet, the spectrum of the refined Diophantine exponent is $[1,\infty]$. Second, we show that this exponent has topological properties similar to those of the set of Liouville numbers. Finally, we provide concrete examples with the Champernowne, Rudin--Shapiro, and Thue--Morse words, words coming from coding a rotation by intervals, and bracket words.

Infinite transitivity of tame groups of automorphisms of affine spaces

math.AG

math.NT

v2

For positive integers $n$ and $m$, we study the actions of the groups of tame automorphisms of the $n$-dimensional affine spaces over finite fields on ordered subsets of $m$ points. Our primary interest lies in constructing tame automorphisms that take one ordered sequence to another and in proving upper and lower bounds on the maximal complexity of such automorphisms. Our preferred measure of complexity of an automorphism is the maximum of the degrees of the polynomials that define it and its inverse. Using methods and results from various branches of mathematics, including the theory of symmetric groups, affine geometry over finite fields, polynomial interpolation, combinatorics of projective spaces over fields, and polynomial automorphisms, we obtain a wide variety of qualitative and quantitative results.

DCCQ: From Ordered Bernoulli Levels to Critical-Line Geometry: Integer Quantization, Bernoulli Residual Phase, and Prime-Power Spectra

cs.LG

math.NT

v2

We present the discrete--complex complement quotient (DCCQ) framework through the ordered Bernoulli-word kernel $f(p,n,k)=p^k(1-p)^{n-k}$ and its inverse-integer level sets. The binary level $2^{-n}$ selects $p=1/2$ as the unique real split-independent anchor. Imposing the additional continuation rule $1-z=\overline z$ gives the conjugation-symmetric line $z=1/2+iu$. On the central normalized branch, the inverse-level split $\kappa=k/n$ also has real part $1/2$. The quadratic coordinate $Q(z)=1/4+u^2$ identifies complementary conjugate points, has minimum $1/4$, and has an explicit two-sign inverse; restricting its values to integers defines an arithmetic quantization. For supplied positive critical-line zero ordinates $\gamma_k$, the induced level has the exact decomposition \[ L_k=\frac14+\gamma_k^2=N_k+\delta_k,\qquad \delta_k=\widetilde B_1\!\left(\gamma_k^2+\frac34\right), \] where $N_k=\lfloor L_k+1/2\rfloor$ and $\widetilde B_1(x)=\{x\}-1/2$. The integer--phase pair $(N_k,e^{2\pi i\delta_k})$ retains the level and the positive ordinate. Prime-exponent coordinates describe the factorization of the integer component, while conditional Fourier moments formulate an open question about the residual phases. The finite numerical diagnostics are descriptive. A distinct complex exponent $s$ gives an inverse-level representation of the supplied term $m^{-s}$; direct substitution cancels the auxiliary coordinates. These terms assemble into the classical Dirichlet series and Euler product for $\Re s>1$. The framework organizes exact coordinate identities, classical zeta connections, and numerical diagnostics; it establishes neither conditional equidistribution nor a zero-location theorem.

Disproof of a Conjectured Upper Bound for the Davenport Constant

math.CO

math.NT

v3

Let $G= C_{n_1}\oplus\cdots\oplus C_{n_r}$ be a finite abelian group with $1