Number Theory [math.NT]

Arithmetic Symmetry in Ideal Prouhet-Tarry-Escott Solutions

math.NT

Motivated in part by anomaly cancellation for integral charge spectra in chiral gauge theory, we study the symmetric locus in the ideal degree-three Prouhet-Tarry-Escott problem. A symmetric integer solution is one whose entries are paired about a common center $c\in \frac12\mathbb Z$. This symmetry reduces the problem to a sum-of-two-squares equation, $x^2+y^2=u^2+v^2$, in integer variables, subject to the appropriate parity conditions. Thus the problem is governed by representations as sums of two squares. For the full symmetric locus, let $N_{\mathrm{sym}}(H)$ denote the number of nontrivial symmetric integer solutions of height at most $H$, counted with unordered multiset conventions and summed over the admissible centers. Then \begin{align*} N_{\mathrm{sym}}(H) = \frac{4\log 2}{3\pi^2}H^3\log H+O(H^3). \end{align*} The logarithmic enhancement comes from the second moment of the sum-of-two-squares representation function. In particular, the symmetric locus is larger than one would expect from the naive $H^3$ degree-weighted box-counting scale alone. This asymptotic identifies a large arithmetically structured subfamily of the ideal degree-three solution space, and suggests that paired anomaly-free integral charge spectra reflect a fundamental number-theoretic structure.

Explicit bounds for Dickman's function

math.NT

math.CA

We establish numerically explicit upper and lower bounds for Dickman's function $\rho(u)$, resulting in estimates with a relative error of less than $0.005/u^2$ for all $u\ge 5$. This allows for an approximate evaluation of $\rho(u)$ without the need to solve the delay differential equation numerically.

Weighted Recursions for the Smallest Parts Function

math.NT

We establish new polynomial-weighted recursions for Andrews' smallest parts function. Our results use the generating series for the spt function, a harmonic Maass form of weight 3/2, paired with the Dedekind eta function. Unlike previous work, we use the Rankin-Cohen bracket to obtain modular forms of weight larger than 2. This introduces a nontrivial quasimodular component, which we determine for the relevant weights. We apply the holomorphic projection operator and the vanishing of cusp form spaces of small enough weight to obtain our results.

Minkowski shapes of pure number fields

math.NT

We study the Minkowski shape of pure number fields \[ K_a=\mathbb Q(\theta),\qquad \theta^n=a. \] For admissible parameters satisfying an explicit local hypothesis at the primes dividing $n$, we prove a discrete--archimedean factorization \[ \mathrm{sh}(K_a)=\bigl[C(a)^{\mathsf T}\mathrm{diag}\bigl(s_1(a),\dots,s_{n-1}(a)\bigr)C(a)\bigr], \] where the $s_m(a)$ arise from normalized monomials and $C(a)\in\mathrm{GL}_{n-1}(\mathbb Q)$ comes from a normalized integral basis. This yields a uniform odd/even rigidity dichotomy: for every odd $n\geq 3$, the Minkowski shape is a complete invariant among admissible pure degree-$n$ fields, whereas for $n=2r$ it determines the core field $\mathbb Q(|a|^{1/r})$; on the squarefree admissible subfamily it is complete up to sign, although infinitely many non-isomorphic pairs $K_a$ and $K_{-a}$ have the same shape. We also derive explicit formulas for $|\mathrm{disc}(K_a)|$, including exponent-vector and divisor-lattice factorizations. Finally, we show that the pure-field shape locus is supported on rational diagonal leaves in shape space: unconditionally it lies in a countable union of closed leaves, while under the same local hypothesis only finitely many leaves occur in each fixed degree. On a fixed normalized stratum, the shape depends only on ratio variables, whereas discriminant growth is governed by independent product variables.

On the sequence $\mathrm{gcd}(a^n-1,b^n-1)$

math.NT

For integers $a,b\ge 2$, let \[ g_n:=\gcd(a^n-1,b^n-1)\qquad(n\ge 1). \] We study the sequence $(g_n)$ from the perspective of divisibility sequences and the Ailon--Rudnick problem. We prove that $(g_n)$ satisfies a constant-coefficient linear recurrence if and only if $a$ and $b$ are multiplicatively dependent. More generally, if $a$ and $b$ are multiplicatively independent, then every integer linear divisibility sequence $(W_n)$ satisfying \[ W_n\mid a^n-1 \qquad\text{and}\qquad W_n\mid b^n-1 \qquad(n\ge 1) \] is periodic. We also determine the local structure of $(g_n)$ through an exact support formula and an exact odd-prime valuation formula. In the normalized setting $\gcd(a-1,b-1)=1$, these formulas identify the bad set $\{n\ge 1:g_n>1\}$ as an explicit union of arithmetic progressions. Finally, we obtain several structural reductions toward the integer Ailon--Rudnick conjecture, including primitive-support, prime-power-ray, prime-index, and resultant formulations.

Monogenity of Fibonacci polynomials and Lucas polynomials

math.NT

We investigate the monogenity of irreducible factors of the Fibonacci polynomials $F_n(x)$ and the Lucas polynomials $L_n(x)$. Our main results show that for every odd positive integer $n$, all irreducible factors of $F_n(x)$ are monogenic, and for every even positive integer $n$, all irreducible factors of $L_n(x)$ are monogenic.

A criterion for weighted uniform distribution along functions from a Hardy field

math.NT

math.DS

A classical theorem of Boshernitzan states that if $f$ is a function which belongs to a Hardy field and which satisfies $|f(x)|\prec x^{\ell}$ for some $\ell\in \mathbb{N}$, then the sequence $(f(n))_{n\in \mathbb{N}}$ is uniformly distributed modulo 1 if and only if $\lim_{x\to\infty}\frac{|f(x)-p(x)|}{\log(x)} = \infty$ for all $p(x)\in \mathbb{Q}[x]$. We provide a new proof of this result using methods from summability theory and we extend Boshernitzan's criterion by obtaining necessary and sufficient conditions for $f$ to be uniformly distributed modulo 1 with respect to a broad class of weighted averages. As an application of our results, we show that for the function $f(x) = x^{3/2}$ and for any $(a,b)\subset [0,1]$, and all sufficiently large $N\in\mathbb{N}$, there is an $n\in [N-N^{\frac{1}{4}},N]$ such that $f(n)\mod 1\in (a,b)$.

Gcd-closed sets and divisibility among power LCM matrices

math.NT

Let $a,b$ and $n$ be positive integers and let $S=\{x_1, \cdots, x_n\}$ be a set of $n$ distinct positive integers. For $x\in S$, one defines $G_{S}(x)=\{d\in S: d

$P$-adic $L$-functions: $t$-modules and Dirichlet-Goss $L$-series

math.NT

We prove that the order of vanishing of a natural twist of the $P$-adic Carlitz zeta values at the positive "even" integers is always $1$. We also obtain the same result for $P$-adic Pellarin $L$-series, and for almost all $P$-adic Dirichlet-Goss $L$-series. To do so, we demonstrate a $P$-adic version of a reduced variant of the class formula for Anderson $t$-modules proven by Angl\`es, Ngo Dac and Tavares-Ribeiro in 2020.

Waring's problem involving D.H. Lehmer numbers

math.NT

For every positive integer $a$ which is coprime with $p$, $p$ is an odd prime, we denote by $\overline{a}$ the unique integer satisfying $1\leq \overline{a}\leq p$ and $a\overline{a}\equiv 1(\mathrm{mod}~p)$. Put $$L(p)=\{a\in Z^+:(a,p)=1,2\nmid a+\overline{a}\}.$$ The elements of $L(p)$ are called D.H. Lehmer numbers. The main purpose of this paper is to prove that every sufficiently large number unless it is congruent to 15 or 16$(\mathrm{mod}~{16})$ is representable as the sum of 14 fourth powers of D.H. Lehmer numbers. Furthermore, every sufficiently large number is representable as the sum of 16 fourth powers of D.H. Lehmer numbers.

Arithmetic exceptionality of generalized Chebyshev polynomials of the second kind

math.NT

In this paper, we show that generalized Chebyshev polynomials of the second kind, associated with the root system $A_2$, are not arithmetically exceptional. We achieve this by studying the norms of certain cyclotomic elements that admit a parametrization of finite fields.

Erd\H{o}s Problem 684 at Density One: Small-prime Parts of Binomial Coefficients and Gaussian Fluctuations

math.NT

math.PR

For $0\leq k\leq n$, let $u(n,k)$ be the largest divisor of $\binom nk$ whose prime factors are at most $k$. Erd\H{o}s Problem #684 concerns the special threshold $u(n,k)>n^2$ and asks how early this small-prime part can be forced to become large. We prove the density-one analogue for every fixed power threshold. If $f_c(n)$ is the least $k$ for which $u(n,k)>n^c$, then, for each fixed $c>0$, \[ f_c(n)=\left(\frac{c}{1-\gamma}+o(1)\right)\log n \] for almost all positive integers $n$. In particular, \[ f_2(n)=\left(\frac{2}{1-\gamma}+o(1)\right)\log n =(4.730544237\ldots+o(1))\log n \] for the Erd\H{o}s #684 threshold. This is a normal-order theorem, not a pointwise resolution of the corresponding worst-case problem. The constant $1-\gamma$ is arithmetic. Kummer's theorem rewrites $\log u(n,k)$ as a sum of carry indicators, and complete-residue averaging gives \[ m(k)=k\sum_{p\leq k}\frac{\log p}{p-1}-\log k!=(1-\gamma)k+o(k). \] The cancellation in this formula moves the typical crossing from the naive scale $c\log n$ to $c(1-\gamma)^{-1}\log n$. We prove the required concentration uniformly for every $k\leq A\log X$ on one dyadic interval, after discarding a zero-density exceptional set caused by large powers of small primes dividing one of the nearby integers $n,n-1,\ldots$. We also prove Gaussian fluctuations in the logarithmic range. If $k=k(X)\to\infty$, $k\leq A\log X$, and $n$ is uniform in $[X,2X)\cap\mathbb Z$, then \[ \frac{\log u(n,k)-m(k)}{\sqrt{V(k)}}\Rightarrow \mathcal N(0,1), \qquad V(k)\sim (2-\log(2\pi))k\log k. \] Higher prime powers are needed for the mean, but after centering their aggregate is $L^2$-negligible on the Gaussian scale; the variance comes only from the prime levels.

Murmurations in the Depth Aspect for Maass and Modular Forms

math.NT

We study murmurations in the depth aspect for holomorphic cusp forms of conductor $\ell^{2a}$ and fixed weight, where $\ell$ is an odd prime. For both $\mathrm{GL}_2$ and the definite quaternion algebra ramified at $\{\infty,\ell\}$, we determine the murmuration density as $a\to\infty$ with $\ell$ fixed. The resulting density agrees with the one previously obtained for odd conductor exponents, and hence gives a uniform density for cusp forms of conductor $\ell^n$ as $n\to\infty$. We also consider the case of Maass forms of conductor $\ell^n$. Finally, we compute the murmuration density in conductor $\ell^n$ as $\ell\to\infty$ with $n\geq3$ fixed.

On special perfect polynomials over $\mathbb{F}_2$

math.NT

We give some necessary conditions satisfied by special perfect polynomials over $\mathbb{F}_2$.

Uncertainty Principles for the Number Theoretic Transform

math.NT

cs.CR

cs.DS

Motivated by polynomial identity testing with exponentials (Li and Wu, ITCS'26), we study uncertainty principles for the number-theoretic transform (NTT). We show that the NTT satisfies strong sparsity tradeoffs: For every fixed prime $q$ and for all but finitely many primes $p \equiv 1 \pmod q$ every nonzero $f\in \mathbb F_p^{\mathbb Z_q}$ and its number-theoretic transform $\hat f$ satisfy \[ |\mathrm{Supp}(f)| + |\mathrm{Supp}(\hat f)| \ge q+1. \] Thus, a $k$-sparse function has transform support at least $q-k+1$. As our main technical contribution, we prove a probabilistic version of the above uncertainty principle, averaged over primes $p$, in the regime $p=q^{O(1)}$. As an application, we obtain a black-box identity test for $k$-sparse exponential polynomials of degree at most $d$ with vanishing soundness error, for $q$ moderately larger than $k$.

A convexity proof of Pohst's inequality

math.NT

math.CO

We give a short analytic proof of Raposo's signed refinement of Pohst's inequality.

On the degree-$2$ Siegel theta series of extremal even unimodular lattices of ranks $48$, $72$, $96$, and $120$

math.NT

math.CO

We study degree-$2$ Siegel theta series of extremal even unimodular lattices from the genus-$2$ viewpoint initiated by Ozeki. Using Igusa's structure theorem, we define a depth filtration on genus-$2$ cusp forms, measured by the total degree in $\chi_{10}$ and $\chi_{12}$, and relate it to the vanishing of low Fourier--Jacobi coefficients forced by extremality. In ranks $48$, $72$, and $96$, this interaction closes exactly and yields a direct genus-$2$ proof that the degree-$2$ theta series is uniquely determined by extremality (conditional on existence in rank $96$). In rank $120$ (again conditional on existence), the same argument leaves a one-dimensional residual line spanned by $\chi_{10}^6$: with $\chi_{10}$ in the standard integral normalization, any two such degree-$2$ theta series differ by an integer multiple of $\chi_{10}^6$.

Extremal Type II lattices of rank $72$ are generated by their second shell

math.NT

math.CO

math.MG

We show that if $L$ is an extremal Type II lattice of rank $72$, then $L$ is generated by its vectors of norm $10$. The proof determines the full inner product distribution between the shells of norms $8$ and $10$ using the spherical $11$-design property of the norm-$10$ shell.

Transcendence of simple geodesics on finite modular covers

math.NT

math.DS

The real projective line $\mathbb{R}\mathbf{P}^1$ is the boundary of $\mathbf{HP}=\{z\in \mathbb{C}\colon \Im(z)>0\}$, a model of the hyperbolic plane whose space of geodesics identifies with $\mathcal{G}(\mathbf{HP})=\mathbb{R}\mathbf{P}^1 \times \mathbb{R}\mathbf{P}^1 \setminus \mathrm{diagonal}$. The modular group $\Gamma=\operatorname{PSL}_2(\mathbb{Z})$ acts on $\mathbf{HP}$ with quotient the modular orbifold $\mathbf{M}=\Gamma\backslash \mathbf{HP}$. Consider a finite-index subgroup of the modular group $\Gamma^\prime \subset \Gamma = \operatorname{PSL}_2(\mathbb{Z})$ corresponding to a finite cover $\mathbf{M} \to \mathbf{M}^\prime$. A geodesic $(\xi^-,\xi^+)\in \mathcal{G}(\mathbf{HP})$ projects $\bmod{\Gamma^\prime}$ to a geodesic $\xi^\prime \subset \mathbf{M}^\prime$. We conjecture that if $\xi^\prime$ is simple, then $\xi^+$ is either rational or quadratic or transcendental. We prove this conjecture for leaves of minimal geodesic laminations. We explain why the conjecture is known for all simple geodesics in the modular torus cover associated to the derived subgroup $\Gamma^\prime = [\Gamma, \Gamma]$.

Zeta functions over curves

math.NT

In this paper we review the theory that David Goss developed, starting from 1979, to construct zeta functions around Carlitz zeta values and other remarkable formal series in local fields of positive characteristic. In the description of Goss' theory, we will see how it is primarily motivated by analogies with the classical theory of complex valued zeta and $L$-functions. We compare Goss' theory with another way of constructing zeta and $L$-functions that emerged in more recent times. The functions in the second type have as domains curves over finite fields, with the scalars extended to complete and algebraically closed fields of positive characteristic. The second type of functions interacts with Goss' functions but remains fundamentally different. We shall review a rationality theorem of Ferraro that allows, among others, to introduce some kind of analogue of the function $\xi$ of Riemann. In the path of describing Ferraro's proof, we present some essential tools useful to get into the theory: shtuka divisors and functions, special functions, Anderson motives, Drinfeld modules, among others. We discuss certain relative zeta functions that can be considered as counterparts of Dedekind zeta functions. In particular, we use methods introduced by Goss to prove that these functions extend to entire functions. The paper contains an appendix by Ferraro where the property of entireness of the above relative zeta functions is deduced (in a special case) from the conjunction of a formula by Angl\`es, Ngo Dac and Tavares Ribeiro and Ferraro's rationality formula. Ferraro also presents a conjecture on the order of vanishing of this function at the canonical point $\Xi$ and some numerical evidences.

The Dirichlet spectrum with respect to $L_1$ norm is $\left[\frac12,1\right]$

math.NT

We prove that the one-dimensional Dirichlet spectrum with respect to approximation in $L_1$ norm $\mathbb{D}^{[1]}$ satisfies $$ \mathbb{D}^{[1]}=\left[\frac12,1\right]. $$ This is equivalent to the fact that the Minkowski spectrum $\mathbb M$, associated with the Minkowski diagonal continued fraction, satisfies $$ \mathbb M=\left[\frac14,\frac12\right]. $$ Further, we show that level sets $$ \Theta_m=\{\alpha\in(0,1)\setminus\mathbb Q:\mathfrak m(\alpha)=m\}, $$ where $\mathfrak{m}(\alpha)$ is the Minkowski constant of $\alpha$, have Hausdorff dimension strictly greater than $1/2$ for any $m\in(1/4,1/2]$, while $\dim_H \Theta_{1/4}=\frac{1}{2}$.

Polynomial Corners Over finite Fields

math.NT

math.CO

Recently there has been some progress in understanding the density of a subset of $[N]^2$ that avoids polynomial patterns. Kravitz, Kuca, and Leng showed that if $P\in\mathbb{Z}[z]$ satisfies certain conditions, then any set $A\subseteq[N]^2$ does not contain $(x,y),(x+P(z),y),(x,y+P(z))$, we must have \[ |A|\ll_P\frac{N^2}{(\log\log\log N)^c} \] for some small constant $c$. In this article, we show a similar result in $(\mathbb{F}_p)^2$ where we get a better bound on the density of a set $A\subseteq (\mathbb{F}_p)^2$ not containing $(x,y),(x+P(z),y),(x,y+P(z))$ with some conditions on $P\in \mathbb{F}_p[z]$.

Degenerate generalized Stirling operators of the first kind arising from generalized Heisenberg algebra

math.NT

This paper investigates the degenerate generalized Stirling operators of the first kind bridging a gap in the operational calculus of the generalized Heisenberg algebra GHA unified with degenerate calculus. As they are the inverse of the degenerate generalized Stirling operators of the second kind, these operators express the monomial operator products in terms of the degenerate factorial operators. We derive key structural and combinatorial properties for these operators, including an explicit product factorization, a fundamental recurrence relation, and an operational shifting identity. Furthermore, we establish the orthogonality relations between the degenerate generalized Stirling operators of the first and second kinds, providing a complete combinatorial framework for functional quantum algebras.

Weil's quadratic form via the screw function

math.NT

math.FA

We establish a unified framework for understanding the results on the Weil quadratic form obtained by Yoshida (1992), Bombieri (2001, 2003), Connes--Consani (2023), and Connes--Consani--Moscovici (2025+) from the perspective of the screw function introduced in Suzuki (2023). An advantage of the approach via the screw function is that it provides a method to study the Weil quadratic form, which is originally defined in terms of distributions, by means of continuous functions. Based on this framework, we formulate a conjecture stating that a self-adjoint operator whose eigenvalues are the imaginary parts of the nontrivial zeros of the Riemann zeta function can be obtained as the limit, as $a \to \infty$, of self-adjoint operators arising from nonlocal realizations of the first-order differential operator on the finite interval $[-a,a]$. All these results are obtained without assuming the Riemann Hypothesis. This conjecture may be compared with the limit formula for the Riemann zeta function expressed in terms of zeta-regularized products proposed by Connes, Consani, and Moscovici, and it sheds new light on the spectral-theoretic interpretation of the nontrivial zeros of the Riemann zeta function.

Fourier Coefficients of Siegel--Eisenstein Series of Degree $2m$ and Weight $m+1$

math.NT

We study Fourier coefficients of the Siegel--Eisenstein series $E_{m+1}^{(2m)}(Z)$ for $m\equiv1\pmod4$ and $m\geq5$. Using the Fourier expansion formula due to Mizumoto, we determine the constant term and the exceptional non-zero Fourier coefficients. The result gives a higher-degree analogue of the degree-two formulas of Kohnen and Nagaoka, which were later rederived by Haruki.

Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

math.NT

Over any number field containing a root of unity of odd prime order, we construct a homogeneous space of $\mathrm{SL}_n$ with finite $2$-nilpotent geometric stabilizers, with a constant unramified algebraic Brauer group, which has no rational point but has local points in every completion of the ground field. This yields the first example of transcendental Brauer--Manin obstruction for homogeneous spaces of connected linear algebraic groups. Our method exploits a previous idea by Borovoi and Kunyavskii.

Abelian surfaces of small conductor from genus 3 double covers

math.NT

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.

Multiple zeta values ending with a fixed string

math.NT

We give a generating series expression for the sum of all multiple zeta values of a fixed weight, depth, and height, which end with a given string $\vec{\ell} = (\ell_1,\ldots,\ell_r)$; this builds upon the proof of the Ohno-Zagier Theorem. In particular, the sum of all multiple zeta values of fixed weight, depth and ending with $\vec{\ell}$ has bounded depth $\leq \ell_1 + \cdots + \ell_r$. We give some applications to evaluations of interpolated multiple zeta values, and to the generating series of double zeta values.

On the Smallest Counterexample to the Log-Concavity of the D'Arcais Polynomials

math.NT

Recently, Starr used asymptotic methods to disprove a conjecture by Heim--Neuhauser and Abdesselam about the log-concavity of the D'Arcais polynomials, without giving an explicit counterexample. We refine the asymptotics, to give the necessary estimates on convolutions of $\sigma_{-1}$, and identify the first counterexample at $\lambda = 65\,214\,507\,758\,400$. We also consider the asymptotic density of such counterexamples.

Fine-scale statistics for $\mathbb{Q}^n$

math.NT

math.DS

math.PR

We study the distribution of rational points in $\mathbb{R}^n$, with denominators restricted to the interval $[Q-\Delta, Q]$, and $Q,\Delta\to\infty$ such that $\Delta/Q\to 0$. Previous results in the literature, due to Hall and others, were limited to Farey sequences, where the window size $\Delta$ is of the same order as $Q$. We prove the convergence of fine-scale statistics in a range of scaling limits and express the limit laws in terms of natural probability measures on the space of affine lattices. The key technical ingredient of our approach is an equidistribution theorem for slowly expanding horospheres, with some new exotic limit measures. Our techniques furthermore allow us to answer a recent question by Anderson, Boca, Cobeli and Zaharescu concerning the directional statistics of lattice points.

Power Integral Bases in Polynomial Compositions

math.NT

In this paper, we study the monogeneity of a special class of composed polynomials of the form $ (f \circ g)(x) = (x^m + c)^n + a(x^m + c)^{n-1} + d(x^m + c)^{n-2} + b,$ where \( f(x) = x^n + a x^{n-1} + d x^{n-2} + b \in \mathbb{Z}[x] \) satisfies \( a^2 = 4d \) and \( g(x) = x^m + c \in \mathbb{Z}[x] \). Assuming that \( (f \circ g)(x) \) is irreducible over \( \mathbb{Q} \), we obtain necessary and sufficient conditions on the parameters \( a, b, c, d, m, n \) for the polynomial to be monogenic. These conditions help to identify when the set \( \{1, \theta, \dots, \theta^{mn-1}\} \) forms an integral basis of the number field \( \mathbb{Q}(\theta) \), where \( \theta \) is a root of \( (f \circ g)(x) \). We also provide lower bound for the counting of such monogenic polynomials. Furthermore, we study the behaviour of solutions to certain related differential equations and present a class of polynomials with non-square-free discriminants as an application of the main results.

A note on large values of Dirichlet $L$-functions for characters of fixed order at $1/2<\sigma\leq 1$

math.NT

In this note, we use a simple argument to show the existence of large values of conjecturally sharp size for Dirichlet $L$-functions attached to primitive characters of fixed order at $\sigma\in (1/2, 1]$. More precisely, for every fixed integer $g\geq 2$ we prove the existence of a primitive character $\chi$ of order $g$ and conductor $Q\asymp x$ such that $|L(1,\chi)| \geq e^\gamma\left(\log\log x+\log\log\log x-\log(2\log g)+o(1)\right). $ We also show that for every fixed $1/2<\sigma<1$ there exists a primitive character $\chi$ of order $g$ and conductor $Q\asymp x$ such that $\log |L(\sigma,\chi)| \geq \left(C_g(\sigma)+o(1)\right) (\log x)^{1-\sigma}(\log\log x)^{-\sigma}, $ for some explicit positive constant $C_g(\sigma).$ Previously, such bounds were known only conditionally on the Generalized Riemann Hypothesis, and even then only in the special cases $g=2$ and $g=3$.

On the Vinberg Family of K3 Surfaces

math.AG

math.NT

We study orthogonal modular forms associated with moduli spaces of lattice-polarized K3 surfaces whose generic transcendental lattices are of the form $T = H \oplus H \oplus L(-1)$ where $L$ is a root lattice of type $A_n$ or $D_n$. In Picard numbers $10$ through $17$, we use explicit Jacobian elliptic fibrations to construct modular forms on type IV domains associated with orthogonal groups $\mathrm{O}^+(T)$. We show that the coefficients of suitable Weierstrass models naturally realize generators for the corresponding graded rings of orthogonal modular forms.

Covering $\mathbb{F}_2^n$ with Hamming Balls

math.CO

math.NT

Green asked the following question concerning structures in sumsets: Suppose that $\mathbb{F}_2^n$ is partitioned into sets $A_1, \dots, A_K$. Does $A_i+A_i$ contain a coset of codimension $O_K(1)$ for some $i$? An answer is not known even in the case of $K = 3$. We resolve this question in the affirmative in two special cases: (1) when $A_1, A_2$ are Hamming balls of radius $r < n/2 - 7$ relative to different bases, and (2) when $A_1$ is a Hamming ball of sufficiently small constant density.

Birkhoff genericity on affine subspaces in horospheres

math.DS

math.NT

We study Birkhoff genericity for a simple uniformly expanding diagonal flow on $\mathrm{SL}_{n+1}(\mathbb R)/\mathrm{SL}_{n+1}(\mathbb Z)$, with initial points restricted to affine subspaces of the expanding horospherical orbit through the identity coset. We prove that almost every point on such an affine subspace is Birkhoff generic, except possibly in two situations: either the defining matrix of the affine subspace has Diophantine exponent at least $n$, or the affine subspace is arbitrarily well approximable by affine subspaces of dimension $(r-1)$ defined over a real number field of degree $m\ge 2$, with $n+1=mr$. As applications, we obtain Dirichlet non-improvability and logarithmic density results for almost every point on these affine subspaces.

Digit Mixing under Polynomial Maps

math.PR

math.NT

Let $X=\sum_{n\geq1}\xi_n2^{-n} $ be a random number where we model the digits $\xi_n$ as independent Bernoulli random variables with possibly non-identical parameters $p_n=\mathbb{P}(\xi_n=1)$. For any polynomial $P\in\mathbb{R}[X]$ with degree $d\geq2$, we prove almost sure absolute normality of $P(X)$ under the condition $p_n(1-p_n)\geq (\log n)^{\Gamma(d)} n^{-(d-1)/d}$ for a suitable constant $\Gamma(d)$ depending only on the degree $d$. Our analysis reveals the sharp power law $n^{-(d-1)/d}$, which is suggested by an elementary heuristics regarding carrier interactions. Our results establish a transition as we further show that the pure critical power law is insufficient, but the precise critical window remains an interesting open problem. As far as we know, this is the first sharp result on digit mixing. We complement our main results by structurally convenient summability criteria, which turns out to be sharp at least for $X^2$, and we formulate a more general conjecture for higher degrees. Our proofs rely on Fourier decay estimates which we obtain by probabilistic argument involving conditioning and non-resonancy estimates combined with a subtle triangularization argument.

Restriction estimates for toral eigenfunctions and lattice points in spherical regions

math.AP

math.CA

math.NT

math.SP

We establish new $L^2$ restriction estimates for toral eigenfunctions. These estimates are sharp in certain cases, and thus prove a conjecture of Huang-Zhang for smooth submanifolds of large codimension. In particular, they provide new progress toward a conjecture of Bourgain-Rudnick. The proof combines a slicing and packing method with the approximation of the discrete spherical multiplier by Magyar-Stein-Wainger and Magyar.

Algebraic Hodge generic points are dense

math.AG

math.CA

math.NT

Let $f: X \to S$ be a quasi-projective family of varieties defined over $\overline{\mathbb{Q}} \subset \mathbb{C}$. We show that the points of $S(\overline{\mathbb{Q}})$ that are Hodge generic for the variation of Hodge structures associated to $f$ are analytically dense in $S(\mathbb{C})$. In fact, in the spirit of the Grothendieck period conjecture and under a large monodromy assumption, we prove the density of the points of $S(\overline{\mathbb{Q}})$ where the periods of the fibre do not satisfy extra relations 'up to degree $\delta$'. As a by-product, we also establish new instances of the Mumford-Tate conjecture, beyond the realm of abelian motives. When the base $S$ is a curve, we provide quantitative estimates for points satisfying these properties. The main technical contribution is a new result on relations satisfied by solutions of $G$-operators, which relies on height estimates due to Bombieri and Andr\'e.

Bertini theorems for Hilbert-Samuel multiplicity over finite fields

math.AG

math.AC

math.NT

Let $X\subseteq \mathbb{P}^n_{\mathbb{F}_q}$ be a reduced, equidimensional, quasiprojective scheme. We prove that there exists a positive-density set of hypersurfaces $H_f$ such that for every closed point $P\in X\cap H_f$, one has $\mathrm{ord}_P(f)=1$ and $e_P(X\cap H_f)=e_P(X)$.

Linear congruence relations for exponents of Borcherds products

math.NT

v2

For all positive powers of primes $p\geq 5$, we prove the existence of infinitely many linear congruences between the exponents of twisted Borcherds products arising from a suitable scalar-valued weight $1/2$ weakly holomorphic modular form or a suitable vector-valued harmonic Maa{\ss} form. To this end, we work with the logarithmic derivatives of these twisted Borcherds products, and offer various numerical examples of non-trivial linear congruences between them modulo $p=11$. In the case of positive powers of primes $p=2,3$, we obtain similar results by multiplying the logarithmic derivative with a Hilbert class polynomial as well as a power of the modular discriminant function. Both results confirm a speculation by Ono.

$S$-arithmetic groups acting simply transitively on products of Bruhat-Tits trees

math.NT

math.GR

v3

Lubotzky asked when a transitive $\mathfrak{p}$-arithmetic action on a Bruhat--Tits tree arising from a totally definite quaternion algebra can be refined to a simply transitive action. We answer this question affirmatively for class number one maximal orders $\mathcal{O}$ in totally definite quaternion algebras $B$ over number fields $K$, using the classification of Kirschmer and Voight. For all but finitely many prime ideals $\mathfrak{p}$, we construct a congruence arithmetic lattice, commensurable with $\mathcal{O}[1/\mathfrak{p}]^\times/\mathcal{O}_K[1/\mathfrak{p}]^\times$, acting simply transitively on the vertices of the associated Bruhat--Tits tree. We further prove an $S$-arithmetic analogue for products of Bruhat--Tits trees, building on the work of Rungtanapirom, Stix, and Vdovina. These simply transitive actions produce many new examples of Ramanujan Cayley graphs and Ramanujan Cayley regular cubical complexes arising from totally definite quaternion algebras.

On the Hardy-Ramanujan Theorem

math.NT

math.PR

v2

In this note we prove an effective version of the Hardy--Ramanujan Theorem. For every $x\ge 2$ and every non-negative function $F$ on the non-negative integers, we show $$\frac{1}{x}\sum_{2\le n\le x}F(\omega(n)-1)\le 118\,\mathbb{E}F(Z_{\log\log x+4.096}),$$ where $Z_{\lambda}$ is Poisson with parameter $\lambda$. Thus the shifted empirical distribution of $\omega(n)$ is pointwise dominated by a fixed multiple of a Poisson law. We also obtain the sharper squarefree analogue, derive explicit Chernoff and Gaussian-window estimates, obtain moderate-deviation upper bounds and uniform moment estimates, and transfer these consequences to $\Omega(n)$ and to the number of prime divisors occurring exactly once.

Algorithms for determination of t-module structures on some extension groups

math.NT

v5

In \cite{kk04} the second and third author extended the methods of \cite{pr} and determined the \tm module structure on $\Ext^1(\Phi,\Psi )$ where $\Phi $ and $\Psi$ were Anderson \tm modules over $A={\mathbf F}_q[t]$ of some specific types. This approach involved the concept of biderivation and certain reduction algorithm. In this paper we generalize the results of \cite{pr} and \cite{kk04} and present complete algorithm for computation of \tm module structure on $\Ext^1(\Phi,\Psi )$ for \tm modules $\Phi $ and $\Psi$ such that $\rk \Phi > \rk \Psi.$ The last condition is not sufficient for our algorithm to be executable. We show that it can be applied when the matrix at the biggest power of $\tau$ in $\Phi_t$ is invertible. We also introduce a notion of ${\tau}$-composition series which we find suitable for the additive category of \tm modules and show that under certain assumptions on the composition series of $\Phi $ and $\Psi$ our algorithm is also executable.

Primes of the form $p^2 + nq^2$

math.NT

math.CO

v3

Suppose that $n$ is $0$ or $4$ modulo $6$. We show that there are infinitely many primes of the form $p^2 + nq^2$ with both $p$ and $q$ prime, and obtain an asymptotic for their number. In particular, when $n = 4$ we verify the `Gaussian primes conjecture' of Friedlander and Iwaniec. We study the problem using the method of Type I/II sums in the number field $\mathbf{Q}(\sqrt{-n})$. The main innovation is in the treatment of the Type II sums, where we make heavy use of two recent developments in the theory of Gowers norms in additive combinatorics: quantitative versions of so-called concatenation theorems, due to Kuca and to Kuca--Kravitz-Leng, and the quasipolynomial inverse theorem of Leng, Sah and the second author.

Torsion of elliptic curves with rational $j$-invariant over quartic number fields

math.NT

math.AG

v2

Let $E$ be an elliptic curve, defined over a quartic extension $K$ of $\mathbb{Q}$, with $j(E) \in \mathbb{Q}$. In this paper, we classify the possible group structure of the torsion subgroup $E(K)_{\text{tors}}$.

Kolyvagin systems of rank 0 and the structure of the Selmer group of elliptic curves over abelian extensions

math.NT

v2

With the motivation to study the Selmer group of an elliptic curve, we improve the theory of Kolyvagin systems to describe the Fitting ideals of a Selmer group in the core rank zero situation. By relaxing a Selmer structure of rank zero at certain prime, we can construct an auxiliary Kolyvagin system whose localisation determines most of the Fitting ideals of the Selmer group, and all of them when the Galois representation is not self-dual. With this new theory, one can describe, in terms of the modular symbols, the Galois structure of the Selmer group of an elliptic curve $E/\mathbb{Q}$ over a finite abelian extension whose degree is coprime to $p$.

Minimal value set binomials and Frobenius nonclassical curves

math.NT

math.AG

v2

In this paper, we characterize all minimal value set binomials over $\mathbb{F}_q$, that is, binomials whose size of the set of images is the smallest possible. With this information, we also classify all quadrinomial curves with separated variables that are $\mathbb{F}_q$-Frobenius nonclassical for the morphism of lines.

$L$-functions of elliptic curves in ring class extensions of real quadratic fields via regularized theta liftings

math.NT

v2

We derive new integral presentations for central derivative values of $L$-functions of elliptic curves $E/{\bf{Q}}$ twisted by ring class characters of a real quadratic field $K$ in terms of automorphic Green's functions for certain Hirzebruch-Zagier-like arithmetic divisors on the product of modular curves $X_0(N) \times X_0(N)$ along real geodesic cycles. We also relate these sums to Birch-Swinnerton-Dyer constants and periods.

Arithmetic Hirzebruch-Zagier divisors and central derivative values of Rankin-Selberg $L$-functions

math.NT

v2

Let $E$ be an elliptic curve parametrized by a newform $\phi \in S_2(\Gamma_0(N))$. Let $k$ be a quadratic field of discriminant $d_k$ prime to $N$. Given a character $\chi$ of the ideal class group of $k$ with theta series $\theta(\chi)$, we relate the central derivative values $\Lambda'(E/k, \chi, 1) = \Lambda'(1/2, \phi \times \theta(\chi))$ of the $\chi$-twisted $L$-function of $E/k$ to arithmetic heights of Hirzebruch-Zagier divisors on $X_0(N)\times X_0(N)$ when $k$ is imaginary quadratic, and to sums of Green's functions of Hirzebruch-Zagier divisors along real geodesic cycles of $X_0(N) \times X_0(N)$ determined by ideal classes when $k$ is real quadratic. More generally, we refine the higher Gross-Zagier formulae for CM cycles on spin Shimura varieties of any dimension this way. This gives two arithmetic height formulae for $\Lambda'(E/k, \chi, 1)$ when $k$ is imaginary quadratic, as well as a distinct proof of the Gross-Zagier formula, with implied relations between the arithmetic heights of Heegner divisors on $X_0(N)$ and Hirzebruch-Zagier divisors on $X_0(N) \times X_0(N)$. We also explain connections to the refined conjecture of Birch-Swinnerton-Dyer, and to Fourier coefficients of half-integral weight forms.

\'Etale fundamental groups of smooth arithmetic surfaces and the Grothendieck conjecture

math.NT

v2

We study the structure of the \'etale fundamental groups of smooth curves over certain arithmetic schemes, and investigate the relative version of Grothendieck's anabelian conjecture in this setting. Consequently, every hyperbolic curve over the ring of S-integers of a number field in which a rational prime is inverted is anabelian, i.e., its schematic structure is completely determined by its \'etale fundamental group. Moreover, we obtain a partial result toward the semi-absolute version of Grothendieck's anabelian conjecture in this context.

Additive functionals of Harmonic samples: the conditioned Dickman regime

math.NT

math.PR

v2

We study the distributional behavior of additive arithmetic functions evaluated at integers drawn from the harmonic distribution. Our main result shows that, for a broad family of completely additive functions, their evaluations at harmonic samples, suitably normalized, converge in law to conditioned Dickman-type Poisson integrals. This behavior contrasts with the Gaussian limits arising in the classical Erd\"os-Kac theorem under uniform sampling. Our approach combines the probabilistic representation of harmonic samples via independent geometric variables, analytic inputs such as Mertens' approximation, and a Poissonization procedure.

On Ramanujan's Continued Fractions of Orders Five, Ten, and Twenty and Associated Lambert Series Identities

math.NT

v2

In this work, we establish several new identities connecting Ramanujan's continued fractions of order twenty. By employing product representation for Jacobi's theta function $\theta_1$, we derive a family of new relations connecting the continued fractions of order twenty with continued fractions of order ten and Rogers-Ramanujan continued fraction. Further, utilizing certain mock theta functions and their logarithmic derivatives, we obtain beautiful relations between Lambert series and theta functions of level twenty. Using Ramanujan's $_1 \psi_1$ summation formula, we establish Lambert series identities associated with the continued fractions of order twenty. These results extend earlier work on continued fractions of order 6, 12, and 16 and contribute to theory of $q$-series.

Logical Undefinability of the Generalized Collatz Transition Relation in B\"uchi Arithmetic

math.NT

math.DS

v2

Let $q$ be an odd prime and let $d$ be an odd integer. We show that the arbitrary-step transition relation of the generalized Collatz map $T_{q,d}$ is not first-order definable in Base-2 B\"uchi Arithmetic ($BA_2$). We do this by demonstrating that if the transition relation were definable, the exponential set $P_q = \{q^y : y \in \mathbb{N}\}$ would also be definable in $BA_2$. Since $P_q$ is strictly non-semilinear, this yields a direct contradiction with the Cobham--Sem\"enov theorem. Consequently, we demonstrate that no finite automaton reading base-2 representations can recognize this transition relation.

Logarithmic Density of Rank $\geq 1$ and Rank $\geq 2$ Genus-2 Jacobians and Applications to Hyperelliptic Curve Cryptography

math.NT

cs.CR

v2

In this work we study quantitative existence results for genus-$2$ curves over $\mathbb{Q}$ whose Jacobians have Mordell--Weil rank at least $1$ or $2$, ordering the curves by the naive height of their integral Weierstrass models. We use geometric techniques to show that asymptotically the Jacobians of almost all integral models with two rational points at infinity have rank $r \geq 1$. Since there are $\asymp X^{\frac{13}{2}}$ such models among the $X^7$ curves $y^2=f(x)$ of height at most $X$, this yields a lower bound of logarithmic density $13/14$ for the subset of such curves whose Jacobians have rank at least $1$. We further present a large explicit subfamily of genus-$2$ curves, ordered by height as above, for which the Jacobians have rank $r \geq 2$, yielding an unconditional logarithmic density of at least $5/7$. Independently, we give a construction of genus-$2$ curves with split Jacobian and rank at least $2$, producing a subfamily of logarithmic density at least $2/21$. Finally, we analyze quadratic and biquadratic twist families in the split-Jacobian setting, obtaining a positive proportion of rank-$2$ twists. These results have implications for Regev's quantum algorithm in hyperelliptic curve cryptography.

Computing class groups and gonalities of algebraic curves over finite fields

math.NT

math.AG

v2

We give practical algorithms for computing the divisor class group and the gonality of a curve over a finite field, achieving several orders of magnitude speedup over existing methods for sufficiently large genus or residue field. The approach relies on introducing a precomputation step involving power series-expansions, which allows for an efficient amortized computation of large numbers of Riemann-Roch spaces.

Explicit p-adic Hodge theory for elliptic curves and non-split Cartan images

math.NT

v2

Let $E/\mathbb{Q}_p$ be an elliptic curve whose mod $p$ Galois image is contained in the normaliser of a non-split Cartan. We classify the possible $p$-adic images of $E$ using tools from $p$-adic Hodge theory via a careful analysis of the local Galois structure of the $p$-power torsion of $E$. We pay special attention to the case where $E$ has potentially supersingular reduction, where we give an algorithm to determine the corresponding filtered $(\varphi,\operatorname{Gal}(K/\mathbb{Q}_p))$-module from a Weierstrass model (which appears to be novel), and introduce alternative division polynomials that may be of independent interest. We deduce global consequences for elliptic curves $E/\mathbb{Q}$: when the mod $p$ representation of $E$ has non-split Cartan image and $E$ doesn't have CM, the $p$-adic image must be the full preimage of the normaliser of a mod $p^n$ non-split Cartan for some $n \geq 1$. As an application, we sharpen existing bounds on the adelic image in terms of the Weil height of the $j$-invariant.

Paratrophic Determinants over $\mathbb{Z}/N\mathbb{Z}$ via Discrete Fourier Transform

math.NT

v3

In this note, we investigate the paratrophic determinants attached to the multiplicative semigroup $\mathbb{Z}/N\mathbb{Z}$. We show that, via discrete Fourier, cosine, and sine transforms, these determinants factor into products of group determinants indexed by $d|N$. This yields explicit formulas for several determinant families, including determinants involving periodic Bernoulli functions and powers of the tangent function. As an application, we also prove a corrected version of a conjecture of Sun Zhi-Wei.

One one type of ud-preserving mapping

math.NT

v2

In this paper a class of mappings on unit interval is constructed. These mapping preserve uniform distribution and theirs iterations form a sequence which is Buck uniformly distributed. In the third part some prorties of these mappings are proven.

Anticyclotomic Iwasawa main conjectures for modular forms

math.NT

math.AG

v2

Let $f$ be a newform of even weight at least $4$, level $N$ and trivial character. Let $p\nmid N$ be an odd prime number that is ordinary for $f$ and let $K$ be an imaginary quadratic field satisfying a generalized Heegner hypothesis relative to $N$. In this paper, we prove (under mild arithmetic assumptions) Iwasawa main conjectures for $f$ over the anticyclotomic $\mathbb Z_p$-extension of $K$ both in the definite setting and in the indefinite setting (in the second case, we prove a main conjecture \`a la Perrin-Riou for modular forms). Our strategy of proof follows the approach of Bertolini-Darmon via congruences combined with our previous results on an analogue for $f$ of Kolyvagin's conjecture on the non-triviality of his $p$-adic system of derived Heegner points on elliptic curves. As a second contribution, when $p$ splits in $K$ we prove an Iwasawa-Greenberg main conjecture for the $p$-adic $L$-functions of Bertolini-Darmon-Prasanna and Brooks.

On new identities connecting Ramanujan-G\"ollnitz-Gordon continued fraction and Ramanujan's continued fraction of order four

math.NT

v2

By employing the classical tools from the theory of $q$-series and theta functions, new fascinating identities on different continued fractions can be achieved. In this article, we use the product expansion of Jacobi's theta function to establish identities that connect Ramanujan-G\"ollnitz-Gordon continued fraction with Ramanujan's continued fraction of order four. Also, we obtain Lambert series identities using Ramanujan's $_1 \psi_1$ summation formula.

Joint Sato-Tate Laws for Transformations of Hecke Eigenvalues: The Vertical Case

math.NT

v2

We introduce a framework within which a large class of joint equidistribution problems can be studied and resolved with effective error terms. This involves proving a higher dimensional and $\mu$-analogue of the Erd\"{o}s-Tur\'{a}n inequality, and utilizing the theory of the Hardy-Krause (H-K) variation from analysis, where, in particular, we formulate a technique to approximate a broad class of relevant functions by functions of bounded H-K variation. Our main focus will be on the vertical Sato-Tate problem for spaces of cusp forms and for families of elliptic curves over finite fields. In particular, we obtain novel results concerning the distribution of arithmetic relations, and, more generally, multi-dimensional functions of Fourier coefficients and Frobenius traces.

Logarithmic source curves in polynomial fiber products

math.NT

math.AG

v2

Let $k$ be a field of characteristic zero and let $f,g\in k[x]$ be nonconstant. We study rational lifts of $f(a)$ through $g$ that do not arise from a composition $f=g\circ h$. To each non-graph component of $f(X)=g(Y)$ we attach its logarithmic source curve, namely the smooth compactification of its normalization with reduced boundary. The main geometric result is a sharp contact formula at infinity: if $N=\deg g/\gcd(\deg f,\deg g)$, then every one-infinity non-graph source has $X$-degree $N$, and in general the $X$-degree is $N$ times the number of boundary points. Over number fields this yields a finite symmetric-difference expansion of $S$-integral new lifts. Active one-infinity sources give exactly the power terms in height counts; positive-rank admissible two-infinity sources give logarithmic $S$-unit families; and inactive one-infinity sources, rank-zero two-infinity sources, and the remaining components contribute only finitely many inputs. Primitive one-infinity source classes have only polylogarithmic overlap, and ordered configuration covers introduce no new exponent. Over $\mathbb Q$, the $B^{1/2}$ boundary is precisely the quadratic Bilu--Tichy source cell.

The Frobenius problem for shifted square sequences starting with a multiple of 4

math.NT

v2

The greatest integer that does not belong to a numerical semigroup S is called the Frobenius number of S, and finding the Frobenius number is called the Frobenius problem. In this paper, we solve the Frobenius problem for shifted square sequences starting with a multiple of 4.

Problems in additive number theory, VII: The structure of additive $h$-bases for $n$

math.NT

math.CO

v3

In additive number theory, a finite set $A$ of integers is an $h$-basis for $n$ if every integer in $\{0,1,2,\ldots, n\}$ can be represented as the sum of exactly $h$ not necessarily distinct elements of $A$. This paper introduces a new class of problems for these and related additive bases. The problems are designed, in part, to be susceptible to solution by AI.

Ultra Kolyvagin systems and higher Fitting ideals of Iwasawa Selmer groups

math.NT

v3

We develop the theory of equivariant, ultra Kolyvagin systems to bypass structural limitations of the Euler system machinery over infinite rings. By utilizing collections of classes living in the exterior powers of patched Selmer groups -- constructed from ultraproducts of classical Selmer groups -- we compute the structure of an Iwasawa Selmer group up to pseudo-isomorphism of Iwasawa modules and prove the absence of finite submodules. We apply this theoretical framework to the fine Selmer group of an elliptic curve and the Bloch-Kato Selmer group of the Rankin-Selberg convolution of modular forms.

On indecomposable elements in lattices

math.NT

math.MG

v2

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 fractional ideals in real quadratic number fields, we obtain an explicit counting estimate for the number of indecomposables with bounded norm, showing logarithmic growth.

Cyclotomic matrices related to Kloosterman sums over finite fields

math.NT

v3

In this paper, by using the arithmetic properties of character sums over finite fields, we investigate some cyclotomic matrices involving Kloosterman sums over finite fields. For example, let $$K_q(u)=\sum_{x\in\mathbb{F}_q\setminus\{0\}}e^{\frac{2\pi i}{p}{\rm Tr}_{\mathbb{F}_q/\mathbb{F}_p}\left(x+\frac{u}{x}\right)}$$ be the Kloosterman sum over $\mathbb{F}_q$, where $q=p^f$ is an odd prime power. We prove that matrix $[K_q(s_i+s_j)]_{1\le i,j\le (q-1)/2}$ is singular whenever $q\ge 11$, where $s_1,s_2,\cdots,s_{(q-1)/2}$ are exactly all non-zero squares over $\mathbb{F}_q$.

On a conjecture on Romanoff type sumsets

math.NT

v2

In this note, we generalize a 1950 result of P. Erd\H os on upper bounds of $k$-th moment of Romanoff type representation functions. As an application, we give a conditional proof of a recent conjecture of Y.-G. Chen on Romanoff type sumsets under the assumption of the Hardy-Littlewood conjecture.

A New Class of Linear Codes

cs.IT

math.IT

math.NT

v3

Let $n$ be a prime power, $r$ be a prime with $r\mid n-1$, and $\varepsilon\in (0,1/2)$. Using the theory of multiplicative character sums and superelliptic curves, we construct new codes over $\mathbb F_r$ having length $n$, relative distance $(r-1)/r+O(n^{-\varepsilon})$ and rate $n^{-1/2-\varepsilon}$. When $r=2$, our binary codes have exponential size when compared to all previously known families of linear and non-linear codes with relative distance asymptotic to $1/2$, such as Delsarte--Goethals codes. Moreover, concatenating with a Reed-Solomon code we get a family of codes of length $n$ and rate $n^{-1/(2n+2)-2\varepsilon/(n+1)}+O(n^{-1/(n+1)})$ and relative distance $1/2+O(n^{-\varepsilon})$. This shows that, for a fixed length, the rate of the concatenation suggested by Kschischang and Tasbihi (2024) of a Reed-Solomon and a Reed-Muller code can be made an order of magnitude smaller than a concatenation of a Reed-Solomon with a large dimensional Shadow code, while still keeping the regime of relative distance $1/2$. Finally, we show that the square of a Shadow code behaves like a random code and the Shadow code itself has a decoding algorithm, which suggest that such class of codes has the potential to be interesting for cryptographic applications.

Time-inhomogeneous random walks on finite groups and cokernels of random integer block matrices

math.PR

math.GR

math.NT

v4

We study time-inhomogeneous random walks on finite groups in the case where each random walk step need not be supported on a generating set of the group. When the supports of the random walk steps satisfy a natural condition involving normal subgroups of quotients of the group, we show that the random walk converges to the uniform distribution on the group and give bounds for the convergence rate using spectral properties of the random walk steps. As an application, we use the moment method of Wood to prove a universality theorem for cokernels of random integer matrices allowing some dependence between entries.

Measure rigidity and equidistribution for fractal carpets

math.DS

math.NT

v2

Let $\theta$ be a Bernoulli measure which is stationary for a random walk generated by finitely many contracting rational affine dilations of $\mathbb{R}^d$, and let $\mathcal{K} = \mathrm{supp}(\theta)$ be the corresponding attractor. An example in dimension $d=1$ is the Hausdorff measure on Cantor's middle thirds set, and examples in higher dimensions include missing digits sets, Sierpi\'nski carpets and Menger sponges. Let $\nu$ denote the image of $\theta$ under the map $\mathcal{K} \to \mathrm{SL}_{d+1}(\mathbb{R})/\mathrm{SL}_{d+1}(\mathbb{Z})$ which sends $x$ to the lattice $\Lambda_x = \mathrm{span}_{\mathbb{Z}}(e_1,\ldots,e_d,e_{d+1} + (x,0))$. We prove equidistribution of the pushforward measures $a_{n*}\nu$ along any diverging sequence of diagonal matrices $(a_n)\subset\mathrm{SL}_{d+1}(\mathbb{R})$ that expand the first $d$ coordinates under a natural non-escape of mass condition. The latter condition is known to hold whenever $\theta$ is absolutely friendly. We also show that weighted badly approximable vectors and Dirichlet-improvable vectors (for arbitrary norm) form a subset of $\mathcal{K}$ of $\theta$-measure zero. The key ingredient is a measure classification theorem for the stationary measures of an associated random walk on an $S$-arithmetic space, introduced by the two first-named authors in earlier work. A new feature of this setting is that this random walk admits stationary measures which are not invariant.

Divided powers on abelian varieties

math.AG

math.NT

v2

We prove the existence of divided powers in \'etale Chow groups of abelian varieties over a separably closed field, and hence of an integral lift of the Fourier transform, away from the characteristic and up to $2$-torsion. The method is to lift the Deninger-Murre Chow-K\"unneth projectors to integral ones, and draw consequences. Several techniques used here are new.

Wug-snake graphs and Markov numbers of matrix semigroups

math.CO

math.NT

v2

Classically, Markov numbers are recovered as perfect matching numbers of domino snake graphs. We extend this correspondence to matrix semigroups by introducing weighted universal generalised snake graphs, or wug-snake graphs for short. These are weighted bipartite graphs whose perfect matching sequences encode linear recurrences. We associate to each wug-snake graph a continuant matrix and prove that its determinant equals the weighted perfect matching number. We use this construction to define polymino wug-tiles for matrices and show that their determinants compute Markov-Davenport forms. Consequently, algebraic and geometric Markov numbers of matrices, and of matrix semigroups, can be expressed through perfect matchings. We develop the corresponding Frobenius maps for semigroups and study examples recovering classical Markov numbers, weighted PLLS-sequences, and higher-dimensional lattice realisations.

Two notes on valued fields

math.GN

math.NT

v2

This paper studies two questions on valued fields: the metric dimension induced by an absolute value, and the uniform openness of multiplication. For nontrivial non-archimedean absolute values, we prove that the metric dimension equals the density character. In the archimedean case, the metric dimension is 2 for subfields of $\mathbb{R}$, while for non-real subfields of $\mathbb{C}$ it is either 2 or 3, according to whether the field contains a non-real element together with its complex conjugate. We also show that multiplication is uniformly open on every valued field. Finally, we prove that this property is genuinely metric, not purely topological, even on $\mathbb{R}$ with a suitable compatible choice of metric.