Number Theory [math.NT]

Representation of Ramanujan's tau function by twisted divisor functions

math.NT

We present an infinite family of identities that represent Ramanujan's tau function in terms of convolution sums of twisted divisor functions. Our method involves explicitly constructing non-vanishing level $1$ cusp forms from modular forms of higher levels.

A proof of $p$-adic Gross--Zagier theorem via BDP formula

math.NT

This paper provides a new proof of the $p$-adic Gross--Zagier formula for the $p$-adic $L$-function associated with the base change of a normalised cuspidal eigen-newform $f$ of weight $k \geq 2$ (and families of such) to an imaginary quadratic field $K$. Our results encompass both the classical $p$-ordinary cases and non-ordinary scenarios, including new cases where $k > 2$ and $\mathrm{ord}_p(a_p(f)) > 0$. Unlike the traditional approach of comparing geometric and analytic kernels, we employ a ``wall-crossing'' strategy centred on the BDP formula and the theory of Beilinson--Flach elements.

Fourier Dimension in Duffin--Schaeffer Conjecture

math.NT

Let $\psi\colon \mathbb{N} \to [0,\frac{1}{2})$ be a positive function, and let $\theta\colon \mathbb{N}\to \mathbb{R}$ be a real-valued function. Let $\{A_q\}$ and $\{B_q\}$ be sequences of integers such that $\gcd(A_q, B_q)=1$ and $B_q > 0$ for all $q$. Define $W^{\ast}(\psi,\theta)$ to be the set of $x \in [0,1]$ for which \[ \left| x - \frac{p+\theta(q)}{q} \right|<\frac{\psi(q)}{q} \text{ for infinitely many }(p,q)\in \mathbb{Z}\times \mathbb{N} \text{ with } \gcd(B_qp+A_q,q)=1. \] In this paper, we determine the Fourier dimension of \( W^*(\psi, \theta) \). Our result not only recovers the classical theorems of Kaufman and Bluhm (concerning the homogeneous case \( \psi(q) = q^{-\tau} \), \( \tau \ge 1 \)) but also furnishes a complete inhomogeneous generalization. In addition, it affirmatively resolves the coprime formulation of the Chen and Xiong conjecture.

Distribution modulo one of linear recurrent sequences

math.NT

We study the distribution modulo one of linear recurrent sequences of real numbers. We prove criteria for the finiteness of the set of limit values of the fractional parts of such a sequence and give lower bounds for the maximal distance between two limit values. Our results generalize theorems of Flatto, Lagarias, Pollington, and Dubickas.

$p$-adic Linear Regression for Random Sampling with Digitwise Noise

stat.CO

math.NT

math.ST

stat.TH

We propose a new probabilistic algorithm of $p$-adic linear regression for random sampling with digitwise noise. This includes a new probabilistic algorithm of modulo $p$ linear regression.

On the Iwasawa invariants of Kato's zeta elements for modular forms

math.NT

v5

We study the behavior of the Iwasawa invariants of the Iwasawa modules which appear in Kato's main conjecture without $p$-adic $L$-functions under congruences. It generalizes the work of Greenberg-Vatsal, Emerton-Pollack-Weston, B.D. Kim, Greenberg-Iovita-Pollack, and one of us simultaneously. As a consequence, we establish the propagation of Kato's main conjecture for modular forms of higher weight at arbitrary good prime under the assumption on the mod $p$ non-vanishing of Kato's zeta elements. The application to the $\pm$ and $\sharp/\flat$-Iwasawa theory for modular forms is also discussed.

Orders and partitions of integers induced by arithmetic functions

math.NT

v2

We pursue the question how integers can be ordered or partitioned according to their divisibility properties. Based on pseudometrics on $\mathbb{Z}$, we investigate induced preorders, associated equivalence relations, and quotient sets. The focus is on metrics or pseudometrics on $\mathbb{D}_n$, the set of divisors of a given modulus $n\in\mathbb{N}$, that can be extended to pseudometrics on $\mathbb{Z}$. Arithmetic functions can be used to generate such pseudometrics. We discuss several subsets of additive and multiplicative arithmetic functions and various combinations of their function values leading to binary metric functions that represent different divisibility properties of integers. We conclude this paper with numerous examples and review the most important results. As an additional result, we derive a necessary condition for the truth of the odd k-perfect number conjecture.

Comparing Hecke eigenvalues for pairs of automorphic representations for GL(2)

math.NT

v3

We consider a variant of the strong multiplicity one theorem. Let $\pi_{1}$ and $\pi_{2}$ be two unitary cuspidal automorphic representations for $\mathrm{GL(2)}$ that are not twist-equivalent. We find a lower bound for the lower Dirichlet density of the set of places for which $\left\lvert a_{v}(\pi_{1}) \right\rvert > \left\lvert a_{v}(\pi_{2}) \right\rvert$, where $a_{v}(\pi_{i})$ is the trace of Langlands conjugacy class of $\pi_{i}$ at $v$. One consequence of this result is an improvement on the existing bound on the lower Dirichlet density of the set of places for which $\left\lvert a_{v}(\pi_{1})\right\rvert \neq \left\lvert a_{v}(\pi_{2}) \right\rvert$.

Hausdorff measure and Fourier dimensions of limsup sets arising in weighted and multiplicative Diophantine approximation

math.NT

v2

The classical Khintchine--Jarn\'ik Theorem provides elegant criteria for determining the Lebesgue measure and Hausdorff measure of sets of points approximated by rational points, which has inspired much modern research in metric Diophantine approximation. This paper concerns the Lebesgue measure, Hausdorff measure and Fourier dimension of sets arising in weighted and multiplicative Diophantine approximation. We provide zero-full laws for determining the Lebesgue measure and Hausdorff measure of the sets under consideration. In particular, the criterion for the weighted setup refines a dimensional result given by Li, Liao, Velani, Wang, and Zorin [arXiv: 2410.18578 (2024)], while the criteria for the multiplicative setup answer a question raised by Hussain and Simmons [J. Number Theory (2018)] and extend beyond it. A crucial observation is that, even in higher dimensions, both setups are more appropriately understood as consequences of the `balls-to-rectangles' mass transference principle. We also determine the exact Fourier dimensions of these sets. The result we obtain indicates that, in line with the existence results, these sets are generally non-Salem sets, except in the one-dimensional case. This phenomenon can be partly explained by another result of this paper, which states that the Fourier dimension of the product of two sets equals the minimum of their respective Fourier dimensions.

Three integers arising from B\'{e}zout's identity and resultants of integer polynomials

math.NT

v2

In this paper, we study three integers arising naturally from B\'{e}zout's identity, the resultant and the reduced resultant of two coprime integer polynomials. We establish several new divisibility relations among them. We also pose two conjectures by making computations.

Recurrence and congruences for the smallest parts function

math.NT

math.CO

v2

Let $\spt(n)$ be the number of smallest parts in the partitions of $n$. In this paper, we give some generalized Euler-like recursive formulas for the $\spt$ function in terms of Hecke trace of values of special twisted quadratic Dirichlet series. As a corollary, we give a closed form expression of the power series $\sum_{n\geq 0}\spt(\ell n-\delta_{\ell})q^n\pmod{\ell}$, $\delta_{\ell}:=(\ell^2-1)/24$, by Hecke traces for weight $\ell+1 $ cusp forms on $\SL_2(\mathbb{Z})$. We further establish an incongruence result for the $\spt$ function.

Solubility for families of norm equations coming from abelian number fields

math.NT

v2

For $F \in \mathbb{Z}[s,t]$ a binary quadratic form which is irreducible over $\mathbb{Q}$, and $L$ an abelian number field with class number $1$, we obtain the order of magnitude for the number of values $F(s,t)$ which are a norm from $L$. Our result relies on the fundamental lemma of sieve theory and on geometry of numbers.

Lifting iso-dual algebraic geometry codes

cs.IT

math.IT

math.NT

v2

In this work we investigate the problem of producing iso-dual algebraic geometry (AG) codes over a finite field $\mathbb{F}_q$ with $q$ elements. Given a finite separable extension $\mathcal{M}/\mathcal{F}$ of function fields and an iso-dual AG-code $\mathcal{C}$ defined over $\mathcal{F}$, we provide a general method to lift the code $\mathcal{C}$ to another iso-dual AG-code $\tilde{\mathcal{C}}$ defined over $\mathcal{M}$ under some assumptions on the divisors $D$ and $G$ and on the parity of the involved different exponents. We apply this method to lift iso-dual AG-codes over the rational function field to elementary abelian $p$-extensions, like the maximal function fields defined by the Hermitian, Suzuki, and one covered by the $GGS$ function field. We also obtain long binary and ternary iso-dual AG-codes defined over cyclotomic extensions.

Edge Zeta Functions and Eigenvalues for Buildings of Finite Groups of Lie Type

math.CO

math.NT

math.RT

v3

For the Tits building B(G) of a finite group of Lie type G(Fq), we study the edge zeta function, which enumerates edge-geodesic cycles in the 1-skeleton. We show that every nonzero edge eigenvalue becomes a power of q after raising to a bounded exponent k depending on the type of G. The proof is uniform across types using a Hecke algebra approach. This extends previous results for type A and for oppositeness graphs to the full edge-geodesic setting and all finite groups of Lie type.