Number Theory [math.NT]

Atoms in the Semigroup of Non-Negative Integer Matrices

math.NT

math.GR

In the semigroup $M_2(\mathbb{N}_0)^\bullet$, two-by-two matrices with non-negative integer entries and non-zero determinant, we study the factorization of matrices into atoms, or irreducible matrices. In 2022, Baeth et al. listed some fundamental classes of atoms in $M_2(\mathbb{N}_0)^\bullet$; however, the factorability of most matrices in $M_2(\mathbb{N}_0)^\bullet$ remains unknown. We identify two additional classes of atoms: a class of atoms with determinant $p$, $2p$, or $4p$, for $p$ prime, and a class of atoms in which the main diagonal is much "larger" than the off-diagonal (or vice versa). Finally, we show that bisymmetric matrices with relatively prime entries are a divisor-closed subset of $M_2(\mathbb{N}_0)^\bullet$ and use a factor search algorithm to classify bisymmetric atoms of $M_2(\mathbb{N}_0)^\bullet$ with minimum entry up to 4000.

Power and rank-weighted sums in dense finite Sidon sets

math.NT

Let $S\subset \{1,2,\ldots,n\}$ be a Sidon set with $|S|=n^{1/2}+O(n^{1/2-\delta})$ for some fixed $\delta>0$. This article provides the following expected asymptotic formula $$ \sum_{\substack{a\in S\\ a\equiv r\pmod{m}}} a^\ell =\frac{1}{m(\ell+1)}n^{\ell+1/2} +o\left(n^{\ell+1/2}\right), $$ where $m\geq 1$, $0\leq r

Rational 2-Cycles for $x^3+bx+a$ and the Elliptic Family $Y^2=X^3+4X^2+16t^2$

math.NT

We study rational $2$-cycles for the cubic family $f_{b,a}(x)=x^3+bx+a$, where $a,b\in\mathbb{Q}$, via the arithmetic of elliptic curves. For fixed $a\neq0$, we give explicit birational formulas relating rational $2$-cycles of $f_{b,a}$ to rational points on $E_a:Y^2=X^3+4X^2+16a^2$. This specializes the known normal-form-II elliptic period-$2$ locus to the square-coefficient slice arising from $f_{b,a}$. Using explicit division-polynomial evaluations and Mazur's theorem, we prove that the distinguished section $P_t=(0,-4t)$ has infinite order on $\mathcal{E}_t:Y^2=X^3+4X^2+16t^2$ for every $t\in\mathbb{Q}^{\times}$. Consequently $E_a(\mathbb{Q})$ has positive rank for every nonzero $a\in\mathbb{Q}$, and for each such $a$ there are infinitely many rational values of $b$ for which $f_{b,a}$ admits a rational $2$-cycle. We then undertake a finer arithmetic study of the generic family $\mathcal{E}_t$ over $\mathbb{Q}$: we determine its rational $2$-torsion locus and prove that for $t\neq0$ no specialization admits a rational $5$-isogeny or a rational point of order $3$, $5$, or $7$; the order-$5$ and order-$7$ exclusions rest on certified Magma computations on explicit genus-$3$ curves. The torsion analysis is logically independent of the infinite-order theorem and is not required for the dynamical application.

Every natural number is a sum of distinct semiprime unit fractions

math.NT

math.CO

We prove that every natural number is a finite sum of distinct unit fractions whose denominators are semiprimes (products of two distinct primes). This is the $\omega=2$ integer case of a problem of Erd\H{o}s and Graham, stated only as a conjecture by Butler, Erd\H{o}s and Graham (Integers 15 (2015), A51), who proved the $\omega=3$ analogue. Counterintuitively the problem hardens as $\omega$ decreases -- the induction's feed thins -- so $\omega=2$ is the hard case; our proof adapts the Butler-Erd\H{o}s-Graham induction to this thin-feed regime, where the entire content of the induction step reduces to an explicit onset inequality $Y_0(N)\le\beta(N)$, proved for all $N\ge10$ by Olson's addition theorem and elementary Chebyshev bounds. The same engine extends to the rationals: for every squarefree $b$, every $a/b$ above an explicit threshold $\min\{B_{N_b}/6,\,1/5\}$ is $\omega=2$ representable, unconditionally. As an application we give the first complete proof of the rational $\omega=3$ statement -- every $a/b$ with squarefree $b$ is a sum of distinct sphenic unit fractions -- that Butler, Erd\H{o}s and Graham conjectured but left unpublished; a descent settles every $\omega\ge3$. What remains open is the $\omega=2$ regime below this threshold, which we reduce to a single explicit conjecture -- that the gap-free floor of a semiprime subset-sum set tends to zero.

On concatenations of two $k$-generalized Pell numbers

math.NT

We study the concatenation of two $k$-generalized Pell numbers. More precisely, we determine all solutions of the equation $P_n^{(k)} = P_m^{(k)} \cdot 10^{d} + P_p^{(k)}$, where $d$ is the number of decimal digits of $P_p^{(k)}$. We prove that for $k \ge 3$ there are no solutions, while for $k = 2$ the only solution is $P_4 = 12 = 1\|2$.

Counting Algebraic Integers of Bounded Height in Cyclotomic Fields

math.NT

In this note, we fix a height bound $B$, and give a bound on the number of algebraic integers and units of absolute height at most $B$ in cyclotomic extensions $\mathbb{Q}[\zeta_q]$, where $q$ is a prime power. The bound is asymptotic in $q$.

A full $p^{4r}$ supercongruence tower for a level-three symmetric-cube hypergeometric sequence

math.NT

Let ${}_2F_1(1/3,1/3;1;27z)^3=\sum_{n\ge0}A_nz^n$. We prove the full prime-power supercongruence tower $A_{mp^r}\equiv A_{mp^{r-1}}\pmod{p^{4r}}$ for $p\ge5$, $m\ge1$, $r\ge1$. The level-three modular expansion used below was already recorded by Moy; the contribution here is the depth-preserving modulus $p^{4r}$, extending the previously known depth-one modulus $p^4$ case to all prime powers. The proof is modular. After replacing $A_n$ by $B_n=(-1)^nA_n$, the generating function is realized on $X_0(3)$ by $\sum_{n\ge0}B_nt^n=\eta(\tau)^9/\eta(3\tau)^3$ with $t=\eta(3\tau)^{12}/\eta(\tau)^{12}$. The logarithmic derivative $C=(\sum_{n\ge0}B_nt^n)\,(q/t)\,(dt/dq)$ is the Eisenstein series $3E_{5,\chi_0,\chi_3}$. Lagrange-Buermann gives $B_m=\mathrm{CT}_q(C(q)/t(q)^m)$. The new point is to replace the one-prime Hecke defect by the prime-power defect $T_{p^{s+1}}(C/t^{mp^{s+1}})-T_{p^s}(C/t^{mp^s})$. Its $i=0$ Hecke layer is the sparse Cartier defect controlling $A_{mp^{s+1}}-A_{mp^s}$, while all remaining Hecke layers are divisible by the required power of $p$ by induction. A Fricke involution argument on the two-dimensional space $M_5(\Gamma_0(3),\chi_3)=\mathrm{Span}\{C,tC\}$ then kills the low-order part exactly and the principal part modulo $p^{4(s+1)}$.

Large values of quadratic Dirichlet $L$-functions of prime-related moduli

math.NT

In this paper, we apply the long resonator method to exhibit large values at the central point of the family of quadratic Dirichlet $L$-functions of prime-related moduli under the generalized Riemann hypothesis.

The Bateman-Horn conjecture on average for generalized von Mangoldt Functions

math.NT

We study the Bateman--Horn conjecture for generalised von Mangoldt functions. As an application, we prove that for $k \in \{2, 3\}$, almost all Bouniakowsky polynomials represent integers that are a product of exactly $k$ primes.

A Beyond Endoscopy Derivation of the Functional Equation for the Symmetric-Square L-Function

math.NT

We derive the functional equation of the symmetric-square $L$-function for level-one holomorphic cusp forms and even Hecke--Maass cusp forms directly from Petersson and Kuznetsov trace formulas. The argument inserts the symmetric-square coefficients into the spectral side, applies Poisson summation in a quadratic variable on the geometric side, and uses a Weber--Schafheitlin calculation to identify the archimedean transform. This gives an averaged symmetric-square Voronoi identity. Combined with Mellin inversion and a spectral separation argument, this recovers the functional equation, while the singular discriminant supplies the diagonal correction. In the Maass case the identity naturally involves the full Kuznetsov spectrum, including the Eisenstein contribution.

Square-root cancellation for sums of coefficients of $\operatorname{GL}(m)$-automorphic forms over values of random polynomials

math.NT

For arbitrary $m\geq 2$ and $d\geq 1$, we establish square-root cancellation for sums of Fourier coefficients of $\mathrm{GL}(m)$-automorphic forms averaged over values of random degree-$d$ polynomials.

A parametric family of primes p = km(m+1) + e + 2kq: heuristic laws, conditional theorems, and unconditional primality certificates

math.NT

We study the parametric family p_{k,m,e,q} = k m(m+1) + e + 2kq (k,m in N*, e in {+1,-1}, q in Z), extending the elementary fact that every prime p>3 satisfies p = +/-1 (mod 6). Each prime p>k+1 has a canonical triple (m,e,q) with |q| minimal; every assertion is tagged rigorous, conditional, or heuristic. Rigorous: (i) for every prime l dividing 2k, p = e (mod l) -- the degenerate modular axis is fixed exactly, independent of q; (ii) for the 3-smooth subfamily p=3m(m+1)+1 with m=2^a 3^b-1, Pocklington-Lehmer certificates are unconditional, two a-priori filters remove about 87% of candidates, and we exhibit an unconditionally certified prime of 29998 decimal digits, independently re-verified; (iii) the reported spectral correlation between Q(r)=sum q_n and the zeros of zeta is a spurious-regression artefact -- beyond three permutation tests and a bias-free test on 10^8 primes (R^2=1.16e-7), we prove unconditionally that the regression amplitude A_N(gamma) tends to 0 for every fixed gamma, by reduction to square-root-phase prime exponential sums. Conditional (GRH / Bateman-Horn / RH): |q_min| = O_k(m (log m)^2); E[|q| | m] = m/4 + O((log m)^2 / sqrt m); a modular distribution law; and a per-prime zeta-footprint << p^{-1/4} (Selberg variance). Heuristic (validated at 10^6-10^8): E[|q_min|] ~ (log m)/C_k, and the geometric constant C_0(k) = <|q|>/sqrt(p) = 1/(4 sqrt k), stable to <0.02% over 3<=k<=29. The work rests on two genuinely unconditional pillars: constructive (the certified prime) and analytic-negative (the vanishing zeta-signal). No classical question is settled; this is experimental mathematics with rigorously tracked hypotheses.

On periodic sign changes for weighted representations of integers as colored sums of triangular and generalized pentagonal numbers

math.NT

In this paper, we study sign changes and vanishing for the number of representations of an integer as a sum of triangular numbers plus three-colored sums of generalized pentagonal numbers with an even number of parts minus those with an odd number of parts. We study this by investigating coefficients appearing in the $q$-series expansion of $F(z) = \frac{\eta(z)}{{\eta(2z)}^2 {\eta(3z)}^3}$, where $\eta$ is the Dedekind-eta function. We use the Hardy-Ramanujan-Rademacher circle method to give an asymptotic formula for the coefficients.

Thakur's hypotheses on power sums of $\mathbb{F}_q[t]$

math.NT

math.CO

In his 2009 paper, Thakur posed three conjectural hypotheses for the degrees of the power sums \[ S_d(k)=\sum_{\substack{a\in \mathbb F_q[t] \text{ monic}\\ \deg a=d}} a^{-k} \qquad\text{and}\qquad s_d(k)=-\deg_t S_d(k). \] For prime fields $q=p$, we prove Hypotheses H1 and H2, giving a unique greedy description of the extremal term in Carlitz's formula and establishing the recursion \[ s_d(k)=s_{d-1}(s_1(k))+s_1(k). \] As consequences, the prime-field recursion gives the strict Newton-polygon convexity used in the prime-field Carlitz-Goss Riemann-hypothesis theorem, and it recovers Thakur's nonvanishing theorem for positive multizeta values over $\mathbb F_p[t]$. We also prove Hypothesis H3 for all finite fields $q=p^f$, establishing the monotonicity \[ s_d(k)

Indivisibility of ray class groups of real quadratic fields

math.NT

Let ${\ell}$, p $\ge$ 5 be primes such that p | (${\ell}$ -1). Let $\Delta$ > 0 be the fundamental discriminant of a real quadratic field in which ${\ell}$ splits. We denote by h - ${\ell}$ ($\Delta$) the order of the minus part (for the Galois action) of the ray class group of Q( $\sqrt$ $\Delta$) of modulus ${\ell}$. In this paper, we study the indivisibility of h - ${\ell}$ ($\Delta$) by p, and prove that under the assumption that this set is non-empty. This lower bound is made unconditional if ${\ell}$ = 2p + 1, i.e. if p is a Sophie Germain prime. Our result can be viewed as being in the continuity of the results of Kohnen-Ono, Ono, Byeon, Beckwith etc. regarding the class numbers of quadratic fields, in the sense that we rely on techniques from the theory of half-integral weight modular forms. Significant difficulties however arise in our study, as we have to study Eisenstein congruences for cuspforms of weight 3 2 , and use a generalized Shimura correspondence of Baruch-Mao. Combined with the results of Lecouturier-Wang, our result has implications eg. for the 5-part of BSD for even quadratic twists of X 0 (11).

Two $q$-congruences from Jackson's ${}_8\phi_7$ summation and Andrews' ${}_4\phi_3$ summation

math.NT

We prove two $q$-congruence conjectures of Guo on truncated basic hypergeometric series. The first result strengthens a congruence obtained from Jackson's terminating very-well-poised ${}_8\phi_7$ summation from the modulus $\Phi_n(q)^4$ to the modulus $\Phi_n(q)^5$ when $n\equiv3\pmod 5$. The second result proves a cyclotomic congruence modulo $\Phi_n(q)$ when $n\equiv1\pmod4$, by a specialization of Andrews' terminating ${}_4\phi_3$ summation.

The difference of the sums of odd and even parts of restricted partitions

math.NT

Denote by $S\left(D,n\right)$ the sum of all odd parts minus the sum of all even parts of all partitions of $n$ in which parts from $D$ do not repeat. In this paper, we derive the generating function for $S\left(2\mathbb{N},n\right)$ and use it to give some congruences modulo 4. We also derive the generating function for $S\left(2\mathbb{N}-1,n\right)$ and prove two congruences for these functions, one of which was previously proven by Garvan and Sarma.

Obstructions and kernel transport for Hecke lifts of partition q-brackets

math.NT

math.CO

We study lifts of the level-one Hecke action on quasimodular forms through the partition q-bracket. We prove two obstruction theorems: no exact lift on the genuine shifted symmetric algebra $\mathbb{Q}[Q_2,Q_3,\ldots]$ is multiplicative, and no exact lift satisfies a strict $Q_2$-tower condition. We classify fixed-weight exact lifts by kernel actions and kernel-valued Hecke cocycles, construct transported scalar lifts under Hecke stability of the q-bracket image, and derive kernel-transport and spectral-divisibility consequences from the injectivity of Zagier's lowering operator $B=\frac12(D-\partial^2)$ on the genuine homogeneous subspace. Exact rational rank computations show q-bracket surjectivity in weights at most $16$, yielding explicit Hecke lifts and kernel data in those weights.

Divided differences and complex variations of multiple zeta-star values

math.NT

The derived set of multiple zeta-star values is the half-line $[1,+\infty)$. In this paper, we study the corresponding limiting set for finite multiple star harmonic sums. Using the theory of divided differences, we construct a natural complex analytic interpolation of finite multiple star harmonic sums. For real $s>1$, we analyze the range of this interpolation in detail and prove a finite zeta-star correspondence. In the complex case, we formulate an injectivity conjecture, which may be viewed as the complex variation of zeta-star correspondence for multiple zeta-star values.

Generalized Bell polynomial operators arising from generalized normal ordering

math.NT

This paper explores the deformed combinatorial structures arising from the generalized Heisenberg algebra GHA which is characterized by an analytic function of the Hamiltonian f(H) and governs systems with non-linear spectra. Moving beyond the classical Heisenberg-Weyl framework, we investigate the normal ordering of the generalized number operator $N_f^n = (\fa)^n$, which naturally introduces the generalized Stirling operators of the second kind. Using the vacuum eigenvalue the Hamiltonian, we define quantum operator factorials and a generalized quantum exponential function. We explicitly construct the generalized coherent states and derive several operator identities. Notably, we prove that the powers of quantum operators expand into generalized falling factorials, and that the coherent state expectation values are explicitly given by the generalized Bell polynomial operators.

Quantitative Oppenheim Conjecture for Random Quadratic Forms and Optimal Variance Bounds in Function Fields

math.NT

math.DS

math.PR

We prove a quantitative version of Oppenheim's conjecture in the function field setting. In order to do so, we compute the higher moments of the Siegel transform. In particular, we find an optimal bound on the variance of the number of lattice points in a set. Moreover, we compute the exact variance of the number of lattice points in a ball, which is of independent interest.

A counterexample to the near-quadratic Elekes--R\'onyai expander conjecture over $\mathbb R$

math.NT

math.CO

We disprove the near-quadratic Elekes--R\'onyai expander conjecture over $\mathbb R$. The counterexample is a fixed nonspecial quadratic polynomial, together with arbitrarily large finite sets of real algebraic integers on which its image has a fixed power saving from quadratic size. The main result of this paper is obtained by generative AI, particularly ChatGPT 5.5 Pro and the Rethlas system. The proof relies on a recent construction by OpenAI of an infinite tower of number fields.

Footnote to a theorem of Phagan on actions of a cyclic group

math.NT

math.GR

We provide a simplified proof of a recent theorem of Phagan (arXiv:2509.14083) relating the number of orbits of a given length of an action $G \curvearrowright S$ of a cyclic group with the number of orbits of the induced action $H \curvearrowright S$ of a subgroup $H \subseteq G$. This combinatorial fact has applications to notions of arithmetic similarity of number fields, as investigated by Phagan (op. cit.).

On the classification of indecomposable Ekedahl-Oort strata in unitary Shimura varieties, and related Newton polygons

math.NT

In this paper, we give a complete classification of indecomposable Ekedahl-Oort strata of Shimura varieties associated to the unitary group $\mathsf{GU}(a, b)$ over an odd inert prime. We show that each indecomposable stratum is one of four types: unitary unicycle, unitary bicycle, Serre unicycle, or Serre bicycle; the latter two types are named for a tensor construction of abelian varieties developed by Serre. We provide an algorithm that translates the description of a stratum in terms of words in the alphabet $\{\texttt{f},\texttt{v}\}$ to the corresponding Weyl group coset representative. Finally, using a $p$-adic lift, we construct a `tautological' point in each Ekedahl-Oort stratum, and compute its Newton polygon. As an application, we show that the indecomposable Ekedahl-Oort strata corresponding to unitary unicycles and Serre unicycles always intersect the supersingular locus.

Transformers Learn the Mestre-Nagao Heuristic

cs.LG

math.NT

We train a two-layer transformer encoder to classify rational elliptic curves $E/\mathbb{Q}$ of conductor $\leq 10000$ as either rank 0 or rank 1 from the first 128 normalized Frobenius traces. We achieve >99% accuracy on both classes, and accuracy is essentially unchanged on test curves with no isogeny or quadratic-twist relative in the training set. We then apply techniques from mechanistic interpretability such as attention analysis, linear probing, activation patching, logit attribution, and neuron-level circuit analysis to reverse-engineer the algorithm the (centroid in function space) model learned. We find that a sparse circuit of 20 out of 512 layer-1 MLP neurons is sufficient for rank prediction under a linear probe with an AUROC of 0.992 at plateau, implementing a push-pull detector architecture of rank-0 and rank-1 detectors with a one-sided readout. However, we notice that the model has sub-optimal readout problems indicating a mismatch in rank-order between the readout pathway and the discriminative circuit. Critically, the learned input weights of the top discriminating neuron match the Mestre-Nagao sum heuristic weights $\log(p)/(p\cdot \log{B})$ with a Spearman coefficient $r = 0.997$ and Pearson coefficient $r = 0.952$: the model has learnt a result from analytic number theory from the Frobenius trace data alone. We additionally find that all 50 independently trained models concentrate CLS attention on prime positions at 2-50$\times$ the rate of composite positions. The CLS embedding encodes $\log{L(E,1)}$ with $R^2 = 0.962\pm 0.011$ across the 50 models (after controlling for the conductor). Activation patching analysis reveals that attention weights are dissociated from causal information flow. Additionally, the 50 solutions from training are near-identical in function space (with pairwise agreement $>$98.8%) despite large weight space barriers.

The distribution of the de Moivre experiment

math.PR

math.NT

In this paper, we focus on de Moivre random experience which allows us to introduce the $ s- $Bernoulli distribution and the bi$ ^s $nomial distribution. We present some probabilistic properties such as the expectation, the variance, the skewness and kurtosis coefficients, the moments and the generating functions. Then we establish that for $ s\in\mathbb{N} $, the bi$ ^s $nomial distribution converges to a limiting Poisson and normal distributions when $ n\rightarrow\infty. $

Dominant Zeros of Nekrasov--Okounkov Polynomials

math.CO

math.NT

We give an exact finite-dimensional Perron--Frobenius realization of the dominant zero of the Nekrasov--Okounkov polynomials $\nop _n(z)$. For a normalized positive sequence $h=(h(n))_{n\ge 1}$ with $h(1)=1$, define $\pol _0^h(z)=1$ and, for $n\ge 1$, \[ \pol _n^h(z)=\frac{z}{h(n)}\sum_{k=1}^n \sigma(k)\pol _{n-k}^h(z),\] where $\sigma(k)$ denotes the sum of divisors of $k$. The Nekrasov--Okounkov polynomials are obtained from the specialization $h(n)=n$ by the shift $\nop _n(z)=\pol _n^h(z+1)$. We derive a Hessenberg determinant representation for $\pol _n^h(z)$. After separating the trivial zero at the origin, the remaining zeros of $\pol _n^h(-z)$ are identified with the eigenvalues of an explicit $(n-1)\times(n-1)$ nonnegative matrix $M_n^h$. We prove that $M_n^h$ is primitive and apply Perron--Frobenius theory to show that $\pol _n^h(z)$ has a unique zero of maximal modulus; this zero is real, negative, and simple. As a consequence, the same property holds for the Nekrasov--Okounkov polynomials. We also prove strict monotonicity of the associated spectral radii.

Dual Affine Spiral Orbits on $\mathbb{Z}^2$ Generated by Paired Unit Squares

math.DS

math.MG

math.NT

We introduce a simple iterative geometric construction on the integer lattice $\mathbb{Z}^2$ consisting of paired unit squares that share a single corner. At each step, a new square is constructed outwardly on the hypotenuse of the isosceles right triangle formed by the outer edges adjacent to the shared corner. This process generates two interlocking affine spiral orbits on $\mathbb{Z}^2$: a positive orbit {P_n} starting at (0,0) and a negative orbit $\{N_n\}$ starting at (-1,2). Both sequences satisfy linear recurrences driven by multiplication by the Gaussian integer $1+i$. We show that the paired points remain symmetric with respect to the fixed midpoint $M=(-1/2,1)$ for all $n$, satisfying the invariant $P_n + N_n = (-1,2)$. Extending the iteration backward under the associated inverse maps produces an iterated function system whose attractor is similar to the Twindragon fractal, providing a concrete lattice-based viewpoint on its geometry. In addition, the paired points yield the normalized integer sequence $a(n) = (|P_n|^2 + |N_n|^2)/5 = 2^(n+1) + 1 - 2*Re((1+i)^n)$, which is always an integer and appears as A396151 in the OEIS.

Non-Archimedean balanced metrics and their application to totally degenerate abelian varieties

math.AG

math.DG

math.NT

For a polarized complex manifold with discrete automorphism group, it is known that if the first Chern class admits a cscK metric, then the balanced metrics, which are characterized in terms of the algebro-geometric notion of Chow stability, approximate this cscK metric. In this paper, we study a non-Archimedean analogue of this phenomenon. In particular, we prove that such an analogue holds for polarized totally degenerate abelian varieties. As an application, we also show that, for a totally degenerating family of polarized abelian varieties, the validity of this non-Archimedean analogue yields a uniform estimate for the Calabi--Yau metrics on fibers sufficiently close to the degenerate fiber.

Torsors of Generalized del Pezzo Tori and Brauer Groups

math.AG

math.NT

math.RT

Using cohomological Mackey functors, we give an explicit Brauer group classification of torsors under tori of generalized del Pezzo varieties. This identifies the image of Lamarche's Brauer invariants and extends the Brauer-theoretic description in Blunk's classification of degree-six del Pezzo surfaces. We also determine which finite field extensions can appear in other Brauer group presentations of these torsors. The same tori act on Losev-Manin spaces, so the computation applies to these toric varieties as well.

An Asymmetric Formula for Interval Consonance and its Relation to Harmonic Coincidence

cs.SD

eess.AS

math.HO

math.NT

Euler's Gradus Suavitatis (1739) assigns a dissonance value to a musical interval p/q by the formula G(p/q) = 1 + \Omega^(p) + \Omega^(q), where \Omega^(n) = \sum_i e_i(p_i - 1) sums the weighted prime exponents of n. We propose the simpler asymmetric formula f(p/q) = p + \Omega^(q), which treats numerator and denominator differently and performs comparably on standard consonance data. We also show that, under a model in which harmonics are integer-indexed and counted uniformly up to a fixed truncation level, Gradus is equivalent to a weighted harmonic coincidence count with weights w(n) = \Omega^(n), connecting it to Galileo's earlier pulse-coincidence model (1638). The formula naturally generates a coprime integer triangle T(n,k) = n + \Omega^(k), whose rightmost diagonal gives the two-stage dissonance of the superparticular (consecutive-harmonic) intervals. The formula f admits a simple two-stage interpretation in terms of harmonic context and partial recognition, which we offer as a speculative perceptual hypothesis.

The Grothendieck-Katz Conjecture for privileged local systems

math.AG

math.NT

We define study privileged local systems on a smooth quasi-projective complex variety $X$ with fixed quasi-unipotent monodromies around a boundary divisor. The notion is a generalization of Katz' physical rigidity on an open of $\mathbb P^1$. It is defined in any dimension and includes non-rigid local systems. In the latter case, Katz used the \emph{middle convolution} procedure to classify all physically local systems and derived several consequences such as the $p$-curvature conjecture for local systems of this type. We present a new proof, which avoids the use of middle convolution. This yields examples in higher dimension of local systems which verify the $p$-curvature conjecture.

Monodromy groups and exceptional Hodge classes, I: Fermat Jacobians

math.NT

math.AG

v5

Denote by $J_m$ the Jacobian variety of the hyperelliptic curve defined by the affine equation $y^2=x^m+1$ over $\mathbb{Q}$, where $m \geq 3$ is a fixed positive integer. We compute several interesting arithmetic invariants of $J_m$: its decomposition up to isogeny into simple abelian varieties, the minimal field $\mathbb{Q}(\operatorname{End}(J_m))$ over which its endomorphisms are defined, and its connected monodromy field $\mathbb{Q}(\varepsilon_{J_m})$. Currently, there is no general algorithm that computes the last invariant. For large enough values of $m$, the abelian varieties $J_m$ provide non-trivial examples of high-dimensional phenomena, such as degeneracy and the non-triviality of the extension $\mathbb{Q}(\varepsilon_{J_m})/\mathbb{Q}(\operatorname{End}(J_m))$.

Hasse principle for intersections of two quadrics via Kummer surfaces

math.NT

v2

We prove new cases of the Hasse principle for Kummer surfaces constructed from 2-coverings of Jacobians of genus 2 curves, assuming finiteness of relevant Tate-Shafarevich groups. Under the same assumption, we deduce the Hasse principle for quartic del Pezzo surfaces with trivial Brauer group and irreducible or completely split characteristic polynomial, hence the Hasse principle for smooth complete intersections of two quadrics in the projective space of dimension at least 5.

The moments of split greatest common divisors

math.NT

v3

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.

New arithmetic properties for overpartitions where nonoverlined parts are $\ell$-regular

math.NT

v3

In this paper, we study the partition functions $\overline{R_\ell^\ast}(n)$, which count the number of overpartitions of $n$ where the non-overlined parts are $\ell$-regular for a given $\ell$. Using elementary techniques, as well as the theory of modular forms, we establish several new arithmetic properties, including infinite families of congruences for these functions.

Invertible Calabi-Yau Orbifolds over Finite Fields

math.NT

hep-th

math.AG

v3

In the context of Berglund-Huebsch mirror symmetry, we compute the eigenvalues of the Frobenius endomorphism acting on a p-adic version of Borisov's complex. As a result, we conjecture an explicit formula for the number of points of crepant resolutions of invertible Calabi-Yau orbifolds defined over a finite field.

On the arithmetic properties of partitions into parts simultaneously $4$-regular and $9$-distinct

math.NT

v2

In 2017, Keith presented a comprehensive survey on integer partitions into parts that are simultaneously regular, distinct, and/or flat. Recently, the authors initiated a study of partitions into parts that are simultaneously regular and distinct, examining them from both arithmetic and combinatorial perspectives. In particular, several Ramanujan-like congruences were obtained for $\myRD^{(\ell, t)}(n)$, the number of partitions of $n$ into parts that are simultaneously $\ell$-regular and $t$-distinct (parts appearing fewer than $t$ times), for various pairs $(\ell, t)$. In this paper, we focus on the case $(\ell, t)=(4,9)$ and conduct a thorough investigation of the arithmetic properties of $\myRD^{(4, 9)}(n)$. We establish several infinite families of congruences modulo $4$, $6$, and $12$, along with a collection of Ramanujan-like congruences modulo $24$.

Lifting $L$-polynomials of genus 2 curves

math.NT

v2

Let $C$ be a genus $2$ curve over $\mathbb{Q}$. Harvey and Sutherland's implementation of Harvey's average polynomial-time algorithm computes the $\bmod \ p$ reduction of the numerator of the zeta function of $C$ at all good primes $p\leq B$ in $O(B\log^{3+o(1)}B)$ time, which is $O(\log^{4+o(1)} p)$ time on average per prime. Alternatively, their algorithm can do this for a single good prime $p$ in $O(p^{1/2}\log^{1+o(1)}p)$ time. While Harvey's algorithm can also be used to compute the full zeta function, no practical implementation of this step currently exists. In this article, we present an $O(\log^{2+o(1)}p)$ Las Vegas algorithm that takes the $\bmod \ p$ output of Harvey and Sutherland's implementation and outputs the full zeta function. We then benchmark our results against the fastest algorithms currently available for computing the full zeta function of a genus~$2$ curve, finding substantial speedups in both the average polynomial-time and single prime settings.

Prime Splitting and Common $N$-Index Divisors in Radical Extensions: Part $p=2$

math.NT

v2

Following work of V\'elez, we explicitly describe the splitting of the integral prime 2 in the radical extension $\mathbb{Q}(\sqrt[n]{a})$, where $x^n-a$ is an irreducible polynomial in $\mathbb{Z}[x]$. With previous work of the second author, this fully describes the splitting of any prime in $\mathbb{Q}(\sqrt[n]{a})$. Using this description, we classify common index divisors (the primes whose splitting prevents the existence of a power integral basis for the ring of integers). Using work of Pleasants, we extend this to describe common $N$-index divisors (primes that divide the index of any order generated over $\mathbb{Z}$ by $N$ elements). We also present a novel construction of non-monogenic fields with no common index divisors as well as constructions of number rings requiring $N+1$ ring generators for any $N>0$. Examples are provided throughout.

Torsion groups of elliptic curves that appear infinitely often over septic, octic and nonic fields

math.NT

v3

We determine the sets $\Phi^{\infty}(n)$ of abelian groups that appear as torsion groups of infinitely many elliptic curves, up to $\overline \Q$-isomorphism, over number fields of degree $n=7,8$ and $9$. The proof follows the strategy of Derickx and Sutherland for degrees 5 and 6: we reduce the problem to low-degree points on the modular curves $X_1(m,n)$, construct the required maps using modular units, and eliminate the remaining candidates using gonality computations over finite fields and maps to lower-genus modular curves. The curve \(X_1(37)\) in degree \(9\) requires an additional argument: we show that \(W^0_9(X_1(37))\) contains no translate of the positive-rank elliptic factor of \(J_1(37)\) arising from the quotient \(X_1(37)\to X_0^+(37)\simeq 37.a1\).

Some series representing the Riemann zeta function

math.NT

v4

Series, converging geometrically fast on the complex plane toward the Riemann zeta function, are provided. They are expressed using a sequence, depending on the complex variable and on an integer at least 2, and obeying a linear recurrence. The asymptotic to all orders in inverse powers of the indexing integer is obtained. Related sequences were first encountered in theoretical computer science decades ago. The tools to obtain their asymptotic expansion to all orders were developed by the author in a special case devoted to the Euler-Mascheroni constant. These tools are applied here in a more general context.

T-Fermat integers

math.NT

v2

We introduce the concept of a T-Fermat integer, which generalizes the notion of a prime number. We show that any composite T-Fermat integer, if one exists, must be a Carmichael number. We prove several properties of T-Fermat integers and conjecture that there are infinitely many composite T-Fermat integers. Together with a further structural conjecture, this suggests a possible route toward proving the infinitude of primes $p$ such that $\omega(p-1)\leq 2$.

A proof of a permutation-inverse bent-function conjecture

math.NT

v2

Let $q=2^e$ with $e$ even, and let $\mathbb F_{q^2}$ be the finite field of order $q^2$. Put $d=(q^2+q+1)/3$, and consider the permutation polynomial $$ \sigma(X)=X+X^d+X^{dq}\in\mathbb F_{q^2}[X].$$ For $\alpha\in\mathbb F_q^*$, define $$f_{\alpha}(x)=\operatorname{Tr}_{q^2}\bigl(\alpha(\sigma^{-1}(x))^3\bigr),\qquad x\in\mathbb F_{q^2}.$$ We prove that $f_{\alpha}$ is bent if and only if $\alpha$ is not a cube in $\mathbb F_q$, thereby proving a conjecture of Li, Li, Helleseth, and Qu. The proof computes the Walsh values on $\mathbb F_q$ directly and treats the complementary parameters by reducing them to a two-variable exponential sum. A binary Hasse congruence, proved through finite carry analysis and a projective-frame cancellation of the only large carry component, forces the outside Walsh coefficients in the noncubic case to be $\pm q$. As an application, we identify a recent cyclotomic family of Xie, Li, Wang, and Zeng with the same construction in different coordinates and thereby prove their conjecture.

A Deterministic Cryptographic Prime Generation Chain over Monogenic Cubic Number Fields and their Generalizations

math.NT

v2

Generating primes is a fundamental problem in modern cryptography. Deterministic primality tests work well for special integers such as Mersenne or Proth primes, but these forms are quite restrictive. In this paper, we give a direct method to construct new primes from known ones. Starting with a seed prime $q \equiv 1 \pmod{3}$, we construct an integer $N \equiv 1 \pmod{3}$ satisfying $(2N + 1)^2 \equiv -3 \pmod{q}$. We then prove that $N$ is prime using the structure of monogenic pure cubic fields $K = \mathbb{Q}(\sqrt[3]{d})$. The resulting test requires only a single modular exponentiation and runs in $\tilde{\mathcal{O}}(\log^2 N)$ time. Finally, we show how this construction extends to pure number fields of arbitrary prime degree.

Perfect powers among Jacobsthal numbers

math.NT

v2

Jacobsthal numbers are an example of a Lucas sequence defined by a recurrence relation analogous to that of the Fibonacci numbers, but with different parameters. In this paper, we prove that the only perfect powers among Jacobsthal numbers are the trivial ones, namely $0$ and $1$. Using the Binet formula, the problem is reduced to an exponential Diophantine equation in three unknowns. We resolve this equation via the modular approach, following the framework developed by Bennett and Skinner for ternary Diophantine equations. This work contributes to the study of perfect powers in linear recurrence sequences.

The Kozlov completeness problem

math.CA

math.CV

math.NT

v5

This paper concerns a long-standing problem raised by Kozlov on completeness of the dilation systems $\{\mathbf{1}_{(\alpha,\beta)}(kx):k=1,2,\cdots\}$ generated by odd periodic extensions on $\mathbb{R}$ of characteristic functions $\mathbf{1}_{(\alpha,\beta)}$, where $0\leq\alpha<\beta\leq1$. Up to now there has only some fragmentary results under the assumption $\alpha=0$. Focusing on the dilation completeness problem for characteristic functions $\mathbf{1}_V$ of open subsets $V\subset(0,1)$ that are finite unions of intervals with rational endpoints, we exhibit the exact forms of such $V$ in almost all interesting situations by using substantially techniques from analytic number theory. As a consequence, it yields a complete solution for the rational version of the Kozlov completeness problem. Moreover, our results also illustrate the fascinating connection among the Completeness Problem, the Twin Prime Conjecture and the Sophie Germain Prime Conjecture.

Prismatic Crystals for schemes in characteristic $p$

math.AG

math.NT

v2

Let $(A,\delta_A)$ be a crystalline prism and let $\mathfrak X$ be a finite type $A/p$-scheme admitting a Koszul-regular closed immersion into a smooth formal $A$-scheme $Y$. We construct a sheaf of prismatic envelopes $\Delta_Y(\mathfrak X)$ attached to a Frobenius lift modulo $p^2$ on $Y$, prove that prismatic crystals on $(\mathfrak X/A)_{\Delta}$ are equivalent to integrable topologically quasi-nilpotent $p$-connections on $\Prism_Y(\mathfrak X)$, and identify their prismatic cohomology with the corresponding de Rham complex. When a global Frobenius lift is available, a lifted Ogus--Vologodsky functor gives an equivalence between $p$-connections on the prismatic envelope of the Frobenius twist and connections on the $p$-complete PD-envelope. Gluing this local correspondence yields an equivalence between prismatic crystals on $\mathfrak X^{(1)}$ and crystalline crystals on $\mathfrak X$ for l.c.i. $\mathfrak X$ over $A/p$.

Parahoric Hecke Ext-algebras in characteristic $p$

math.RT

math.NT

v2

Let $\mathfrak{F}$ be a nonarchimedean local field of residual characteristic $p$, and let $G$ denote the group of $\mathfrak{F}$-points of a connected reductive group over $\mathfrak{F}$. For an open compact subgroup $\mathcal{U}$ of $G$ and a unital commutative ring $k$, we let $\mathbf{X}_{\mathcal{U}}$ denote the space of compactly supported $k$-valued functions on $G/\mathcal{U}$. Building on work of Ollivier--Schneider, we investigate the graded $\textrm{Ext}$-algebra $E_{\mathcal{U}}^* := \textrm{Ext}_G^*(\mathbf{X}_{\mathcal{U}},\mathbf{X}_{\mathcal{U}})^{\textrm{op}}$. In particular, we describe the Yoneda product, an involutive anti-automorphism, and (when $k$ is a field of characteristic $p$ and $\mathcal{U}$ has no $p$-torsion) a duality operation. We allow for the reductive group to be non-split, and for the open compact subgroup $\mathcal{U}$ to be non-pro-$p$. Specializing further to the case $G = \textrm{SL}_2(\mathbb{Q}_p)$ with $p \geq 5$ and a coefficient field of characteristic $p$, we obtain more precise results when $\mathcal{U}$ is equal to an Iwahori subgroup $J$ or a hyperspecial maximal compact subgroup $K$. In particular, we compute the structure of $E_J^*$ as an $E_J^0$-bimodule, obtain an explicit description of the center $\mathcal{Z}(E_J^*)$ of $E_J^*$, and construct a surjective morphism of algebras $\mathcal{Z}(E_J^*) \longrightarrow E_K^*$ (analogous to the compatibility between Bernstein and Satake isomorphisms in characteristic 0). From this we deduce the (somewhat surprising) fact that $E_K^*$ is not graded-commutative, contrary to what happens for almost all $\ell$-modular characteristics.

Fel's Conjecture on Syzygies of Numerical Semigroups

math.CO

math.AC

math.NT

v2

Let $S=\langle d_1,\dots,d_m\rangle$ be a numerical semigroup and $k[S]$ its semigroup ring. The Hilbert numerator of $k[S]$ determines normalized alternating syzygy power sums $K_p(S)$ encoding alternating power sums of syzygy degrees. Fel conjectured an explicit formula for $K_p(S)$, for all $p\ge 0$, in terms of the gap power sums $G_r(S)=\sum_{g\notin S} g^r$ and universal symmetric polynomials $T_n$ evaluated at the generator power sums $\sigma_k=\sum_i d_i^k$ (and $\delta_k=(\sigma_k-1)/2^k$). We prove Fel's conjecture via exponential generating functions and coefficient extraction, solating the universal identities for $T_n$ needed for the derivation. The argument is fully formalized in Lean/Mathlib, and was produced automatically by AxiomProver from a natural-language statement of the conjecture.