Number Theory [math.NT]

A new kind of automorphic form and a proof of the essential transformation laws
math.NT
math-ph
math.AG
math.CO
math.CV
math.MP


Michael Andrew Henry

We utilize the structure of quasiautomorphic forms over an arbitrary Hecke triangle group to define a new vector analogue of an automorphic form. We supply a proof of the functional equations that hold for these functions modulo the group generators.

Integrality of a trigonometric determinant arising from a conjecture of Sun
math.NT


Liwen Gao, Xuejun Guo

In this paper we resolve a conjecture of Zhi-Wei Sun concerning the integrality and arithmetic structure of certain trigonometric determinants. Our approach builds on techniques developed in our previous work, where trigonometric determinants were studied via special values of Dirichlet $L$-functions. The method is refined by establishing a connection between odd characters modulo $4n$ and even characters modulo $n$. The results highlight a close connection between trigonometric determinant matrices, Fourier-analytic structures, and arithmetic invariants.

Secondary Term for the Mean Value of Maass Special $L$-values
math.NT


Zhi Qi

In this paper, we discover a secondary term in the asymptotic formula for the mean value of Hecke--Maass special $L$-values $ L (1/2+it_f, f) $ with the average over $f (z)$ in an orthonormal basis of (even or odd) Hecke--Maass cusp forms of Laplace eigenvalue $1/4 + t_f^2$ ($t_f > 0$). To be explicit, we prove $$ \sum_{t_f \leqslant T} \omega_f L (1/2+it_f, f) = \frac {T^2} {\pi^2} + \frac {8T^{3/2}} {3\pi^{3/2} } + O \big(T^{1+\varepsilon}\big), $$ for any $\varepsilon > 0$, where $\omega_f$ are the harmonic weights. This provides a new instance of (large) secondary terms in the moments of $L$-functions -- it was known previously only for the smoothed cubic moment of quadratic Dirichlet $L$-functions. The proof relies on an explicit formula for the smoothed mean value of $L (1/2+it_f, f)$.

Short sums of trace functions over function fields and their applications
math.NT
math.AG


Will Sawin, Mark Shusterman

For large enough (but fixed) prime powers $q$, and trace functions to squarefree moduli in $\mathbb{F}_q[u]$ with slopes at most $1$ at infinity, and no Artin--Schreier factors in their geometric global monodromy, we come close to square-root cancellation in short sums. A special case is a function field version of Hooley's Hypothesis $R^*$ for short Kloosterman sums. As a result, we are able to make progress on several problems in analytic number theory over $\mathbb{F}_q[u]$ such as Mordell's problem on the least residue class not represented by a polynomial and the variance of short Kloosterman sums.

Large values of quadratic character sums revisited
math.NT


Zikang Dong, Ruihua Wang, Weijia Wang, Hao Zhang

We study large values of quadratic character sums with summation lengths exceeding the square root of the modulus. Assuming the Generalized Riemann Hypothesis, we obtain a new Omega result.

Some Congruences Involving Fourth Powers of Generalized Central Trinomial Coefficients
math.NT


Yassine Otmani, Hacene Belbachir

Let $ p \ge 5 $ be a prime and let $ b, c \in \mathbb{Z} $. Denote by $ T_k(b,c) $ the generalized central trinomial coefficient, i.e., the coefficient of $ x^k $ in $ (x^2 + bx + c)^k $. In this paper, we establish congruences modulo $ p^3 $ and $ p^4 $ for sums of the form $$ \sum_{k=0}^{p-1} (2k+1)^{2a+1}\,\varepsilon^{k}\,\frac{T_k(b,c)^4}{d^{2k}}, $$ where $ a \in \left\lbrace 0,1\right\rbrace $, $ \varepsilon \in \{1,-1\} $, and $ d = b^2 - 4c $ satisfies $ p \nmid d $. In particular, for the special case $ b = c = 1 $, we show that \begin{align*} \sum_{k=0}^{p-1}\left( 2k+1\right) ^{3} \frac{T_{k}^4}{9^k}\equiv -\frac{3p}{4}+\frac{3p^2}{4}\left( \frac{q_p(3)}{4}-1\right) \pmod{p^3}, \end{align*} where $T_k$ is the central trinomial coefficient and $q_p(a)$ is the Fermat quotient.

Notes on the LVP and the CVP in $p$-adic Fields
math.NT


Chi Zhang, Mingqian Yao

This paper explores computational methods for solving the Longest Vector Problem (LVP) and Closest Vector Problem (CVP) in $p$-adic fields. Leveraging the non-Archimedean property of $p$-adic norms, we propose a polynomial time algorithm to compute orthogonal bases for $p$-adic lattices when the $p$-adic field is given by a minimal polynomial. The method utilizes the structure of maximal orders and $p$-radicals in extension fields of $\mathbb{Q}_{p}$ to efficiently construct uniformizers and residue field bases, enabling rapid solutions for LVP and CVP. In addition, we introduce the characterization of norms on vector spaces over $\mathbb{Q}_p$.

Explicit bounds for the graphicality of the prime gap sequence
math.NT


Keshav Aggarwal, Robin Frot, Haozhe Gou, Hui Wang

We establish explicit unconditional results on the graphic properties of the prime gap sequence. Let \( p_n \) denote the \( n \)-th prime number (with $p_0=1$) and \( \mathrm{PD}_n = (p_\ell - p_{\ell-1})_{\ell=1}^n \) be the sequence of the first \( n \) prime gaps. Building upon the recent work by Erd\H{o}s \emph{et al}, which proved the graphic nature of \( \mathrm{PD}_n \) for large \( n \) unconditionally, and for all \( n \) under RH, we provide the first explicit unconditional threshold such that:\\ (1) For all \( n \geq \exp\exp(30.5) \), \( \mathrm{PD}_n \) is graphic.\\ (2) For all \( n \geq \exp\exp(34.5) \), every realization \( G_n \) of \( \mathrm{PD}_n \) satisfies that \( (G_n, p_{n+1}-p_n) \) is DPG-graphic. Our proofs utilize a more refined criterion for when a sequence is graphic, and better estimates for the first moment of large prime gaps proven through an explicit zero-free region and explicit zero-density estimate for the Riemann zeta function.

On $\mathrm{Ext}^{\bullet}$ between locally analytic generalized Steinberg with applications
math.NT
math.RT


Zicheng Qian

Let $n\geq 2$ be an integer, $p$ be a prime number and $K$ be a finite extension of $\mathbb{Q}_p$. Motivated by Schraen's thesis and Gehrmann's definition of automorphic simple $\mathscr{L}$-invariants, we study the first non-vanishing extension groups between a pair of locally $K$-analytic generalized Steinberg representations of $\mathrm{GL}_n(K)$. We study subspaces of these extension groups defined by using either relative conditions with respect to Lie subalgebras of $\mathfrak{s}\mathfrak{l}_{n}$ (isomorphic to $\mathfrak{s}\mathfrak{l}_{m}$ for some $2\leq m

On Trivial Cyclically Covering Subspaces of $\mathbb{F}_q^n$ in Non-Coprime Characteristic
math.NT


Shuang Li, Pingzhi Yuan

A subspace $U$ of $\mathbb{F}_q^n$ is called \textit{cyclically covering} if the whole space $\mathbb{F}_q^n$ is the union of the cyclic shifts of $U$. The case $\mathbb{F}_q^n$ itself is the only covering subspace, is of particular interest. Recently, Huang solved this problem completely under the condition $\gcd(n, q)=1$ using primitive idempotents and trace functions, and explicitly posed the non-coprime case as an open question. This paper provides a complete answer to Huang's question. We prove that if $n = p^k m$ where $p = \operatorname{char}(\mathbb{F}_q)$ and $\gcd(m, p)=1$, then $h_q(p^k m) = 0$ if and only if $h_q(m) = 0$. This result fully reduces the non-coprime case to the coprime case settled by Huang. Our proof employs the structure theory of cyclic group algebras in modular characteristic.

Regulators on some abelian coverings of $\mathbb{P}^1$ minus $n+2$ points
math.NT
math.AG


Yusuke Nemoto, Takuya Yamauchi

In this paper, we construct certain rational or integral elements in the motivic cohomology of superelliptic curves which are quotient curves of abelian coverings of $\mathbb{P}^1$ minus $n+2$ points, and prove that these elements are non-trivial by expressing their regulators in terms of Appell-Lauricella hypergeometric functions. We also check that such elements are integral under a mild assumption. We also give various numerical examples for the Beilinson conjecture on special values of $L$-functions of the superelliptic curves by using hypergeometric expressions.

Average first-passage times for character sums
math.NT


Quanyu Tang, Hao Zhang

Let $\varepsilon>0$ and, for an odd prime $p$, set $$ S_\ell(p):=\sum_{n\le \ell}\left(\frac{n}{p}\right). $$ Define the first-passage time $$ f_\varepsilon(p):=\min\{\ell\ge 1:\ S_\ell(p)<\varepsilon\ell\}. $$ We prove that there exists a constant $c_\varepsilon>0$ such that, as $x\to\infty$, $$ \sum_{p\le x} f_\varepsilon(p)\sim c_\varepsilon \frac{x}{\log x}. $$

Rational Angle Bisection Problem in Higher Dimensional Spaces and Incenters of Simplices over Fields
math.NT
math.MG


Takashi Hirotsu

In this article, we generalize the following problem, which is called the rational angle bisection problem, to the $n$-dimensional space $k^n$ over a subfield $k$ of $\mathbb R$: on the coordinate plane, for which rational numbers $a$ and $b$ are the slopes of the angle bisectors between two lines with slopes $a$ and $b$ rational? First, we give a few characterizations of when the angle bisectors between two lines with direction vectors in $k^n$ have direction vectors in $k^n.$ To find solutions to the problem in the case when $k = \mathbb Q,$ we also give a formula for the integral solutions of $x_1{}^2+\dots +x_n{}^2 = dx_{n+1}{}^2,$ which is a generalization of the negative Pell's equation $x^2-dy^2 = -1,$ where $d$ is a square-free positive integer. Second, by applying the above characterizations, we give a necessary and sufficient condition for the incenter of a given $n$-simplex with $k$-rational vertices to be $k$-rational. On the coordinate plane, we prove that every triangle with $k$-rational vertices and incenter can be obtained by scaling a triangle with $k$-rational side lengths and area, which is a generalization of a Heronian triangle. We also state certain fundamental properties of a few centers of a given triangle with $k$-rational vertices.

Counting Lattices with Local Hecke Series
math.NT


Gautami Bhowmik, Masao Tsuzuki

We count the maximal lattices over $p$-adic fields and the rational number field. For this, we use the theory of Hecke series for a reductive group over nonarchimedean local fields, which was developed by Andrianov and Hina-Sugano. By treating the Euler factors of the counting Dirichlet series for lattices, we obtain zeta functions of classical groups, which were earlier studied with $p$-adic cone integrals. When our counting series equals the existing zeta functions of groups, we recover the known results in a simple way. Further we obtain some new zeta functions for non-split even orthogonal and odd orthogonal groups.

Isomorphism between Hopf algebras for multiple zeta values
math.NT
math.QA


Li Guo, Hongyu Xiang, Bin Zhang

The classical quasi-shuffle algebra for multiple zeta values have a well-known Hopf algebra structure. Recently, the shuffle algebra for multiple zeta values are also equipped with a Hopf algebra structure. This paper shows that these two Hopf algebras are isomorphic.

Number of $K$-rational points with given $j$-invariant on modular curves
math.NT


Ivan Novak

In this article, we study how to compute the number of $K$-rational points with a given $j$-invariant on an arbitrary modular curve. As an application, for each positive integer $n$, we determine the list of possible numbers of cyclic $n$-isogenies an elliptic curve over some number field can admit. Similarly, for an odd prime power $p^k$, we calculate the possible values for the number of points above some $j$-invariant on Cartan modular curves $X_{\mathrm s}(p^k)$, $X_{\mathrm{ns}}(p^k)$ and their normalizers. Combining known results about images of Galois representations of CM elliptic curves with our work, we also devise a simple algorithm to determine the number of rational CM points on any modular curve.

On Diophantine exponents of lattices
math.NT


Nikolay Moshchevitin

We describe the spectrum of ordinary Diophantine exponents for $d$-dimensional lattices. The result reduces the problem to two-dimensional case and uses argument of metric theory.

Green's function on the Tate curve
math.NT
hep-th
math-ph
math.AP
math.MP


An Huang, Rebecca Rohrlich, Yaojia Sun, Eric Whyman

Motivated by the question of defining a $p$-adic string worldsheet action in genus one, we define a Laplacian operator on the Tate curve, and study its Green's function. We show that the Green's function exists. We provide an explicit formula for the Green's function, which turns out to be a non-Archimedean counterpart of the Archimedean Green's function on a flat torus.

The least prime with a given cycle type
math.NT


Peter J. Cho, Robert J. Lemke Oliver, Asif Zaman

Let $G$ be a finite group. Let $K/k$ be a Galois extension of number fields with Galois group isomorphic to $G$, and let $C \subseteq \mathrm{Gal}(K/k) \simeq G$ be a conjugacy invariant subset. It is well known that there exists an unramified prime ideal $\mathfrak{p}$ of $k$ with Frobenius element lying in $C$ and norm satisfying $\mathrm{N}\mathfrak{p} \ll |\mathrm{Disc}(K)|^{\alpha}$ for some constant $\alpha = \alpha(G,C)$. There is a rich literature establishing unconditional admissible values for $\alpha$, with most approaches proceeding by studying the zeros of $L$-functions. We give an alternative approach, not relying on zeros, that often substantially improves this exponent $\alpha$ for any fixed finite group $G$, provided $C$ is a union of rational equivalence classes. As a particularly striking example, we prove that there exist absolute constants $c_1,c_2 > 0$ such that for any $n\geq 2$ and any conjugacy class $C \subset S_n$, one may take $\alpha(S_n,C) = c_1 \exp(-c_2n)$. Our approach reduces the core problem to a question in character theory.

The splitting field and generators of the elliptic surface $Y^2=X^3 +t^{360} +1$
math.NT
math.AG


Sajad Salami

The splitting field of an elliptic surface $\mathcal{E}/\mathbb{Q}(t)$ is the smallest finite extension $\mathcal{K} \subset \mathbb{C}$ such that all $\mathbb{C}(t)$-rational points are defined over $\mathcal{K}(t)$. In this paper, we provide a symbolic algorithmic approach to determine the splitting field and a set of $68$ linearly independent generators for the Mordell--Weil lattice of Shioda's elliptic surface $Y^2=X^3 +t^{360} +1$. This surface is noted for having the largest known rank 68 for an elliptic curve over $\mathbb{C}(t)$. Our methodology utilizes the known decomposition of the Mordell-Weil Lattice of this surface into Lattices of ten rational elliptic surfaces and one $K3$ surface. We explicitly compute the defining polynomials of the splitting field, which reach degrees of 1728 and 5760, and verify the results via height pairing matrices and specialized symbolic software packages.

Arithmetic in the Boij S\"oderberg Cone
math.AC
math.AG
math.NT


Adam Boocher, Noah Huang, Harrison Wolf

We study two long-standing conjectures concerning lower bounds for the Betti numbers of a graded module over a polynomial ring. We prove new cases of these conjectures in codimensions five and six by reframing the conjectures as arithmetic problems in the Boij-S\"oderberg cone. In this setting, potential counterexamples correspond to explicit Diophantine obstructions arising from the numerics of pure resolutions. Using number-theoretic methods, we completely classify these obstructions in the codimension three case revealing some delicate connections between Betti tables, commutative algebra and classical Diophantine equations. The new results in codimensions five and six concern Gorenstein algebras where a study of the variety determined by these Diophantine equations is sufficient to resolve the conjecture in this case.

The period map from commutative to noncommutative deformations
math.AG
math.AT
math.NT


Samuel A. Moore

We study the period map from infinitesimal deformations of a scheme $X$ over a perfect field $k$ to those of the associated $k$-linear $\infty$-category $\mathrm{QC}(X)$. For quasicompact, smooth, and separated $X$, we identify the corresponding map on tangent fibres with the dual HKR map $\mathrm{R}\Gamma(X, \mathrm{T}_X)[1] \to \mathrm{HH}^{\bullet}(X/k)[2]$, and give conditions for injectivity on homotopy groups. As applications, we prove liftability along square-zero extensions to be a derived invariant (at least when $\mathrm{char}(k) \ne 2$), and exhibit cases where the entire (classical) deformation functor of $X$ is a derived invariant; this partially answers a question of Lieblich.

Correctness of Extended RSA Public Key Cryptosystem
cs.CR
math.NT


Dar-jen Chang, Suranjan Gautam

This paper proposes an alternative approach to formally establishing the correctness of the RSA public key cryptosystem. The methodology presented herein deviates slightly from conventional proofs found in existing literature. Specifically, this study explores the conditions under which the choice of the positive integer N, a fundamental component of RSA, can be extended beyond the standard selection criteria. We derive explicit conditions that determine when certain values of N are valid for the encryption scheme and explain why others may fail to satisfy the correctness requirements. The scope of this paper is limited to the mathematical proof of correctness for RSA-like schemes, deliberately omitting issues related to the cryptographic security of RSA.

Mod $p$ Poincar\'e duality for $p$-adic period domains
math.AG
math.NT
math.RT


Guillaume Pignon-Ywanne

In this article, we introduce a new class of smooth partially proper rigid analytic varieties over a $p$-adic field that satisfy Poincar\'e duality for \'etale cohomology with mod $p$-coefficients : the varieties satisfying "primitive comparison with compact support". We show that almost proper varieties, as well as p-adic (weakly admissible) period domains in the sense of Rappoport-Zink belong to this class. In particular, we recover Poincar\'e duality for almost proper varieties as first established by Li-Reinecke-Zavyalov, and we compute the \'etale cohomology with $\mathbb{F}_p$-coefficients of p-adic period domains, generalizing a computation of Colmez-Dospinescu-Niziol for Drinfeld's symmetric spaces. The arguments used in this paper rely crucially on Mann's six functors formalism for solid $\mathcal{O}^{+,a}/\pi$ coefficients.

The Birch--Swinnerton-Dyer exact formula for quadratic twists of elliptic curves
math.NT
v2


Shuai Zhai

In the present paper, we obtain a general lower bound for the $2$-adic valuation of the algebraic part of the central value of the complex $L$-series for the quadratic twists of any elliptic curve over $\mathbb{Q}$, showing that when the $2$-part of the product of Tamagawa factors grows, the $2$-part of the algebraic central $L$-value grows as well, in accordance with the Birch--Swinnerton-Dyer exact formula. This generalises a result of Coates--Kim--Liang--Zhao to all elliptic curves defined over $\mathbb{Q}$. We also prove the existence of an explicit infinite family of quadratic twists with analytic rank $0$ for a large family of elliptic curves.

P\'olya-Ostrowski Group and Unit Index in Real Biquadratic Fields
math.NT
v4


Huda Naeem Hleeb Al-Jabbari, Abbas Maarefparvar

The P\'olya-Ostrowski group of a Galois number field $K$, is the subgroup $Po(K)$ of the ideal class group $Cl(K)$ of $K$ generated by the classes of all the strongly ambiguous ideals of $K$. The number field $K$ is called a P\'olya field, whenever $Po(K)$ is trivial. In this paper, using some results of Bennett Setzer \cite{Bennett} and Zantema \cite{Zantema}, we give an explicit relation between the order of P\'olya groups and the Hasse unit indices in real biquadratic fields. As an application, we refine Zantema's upper bound on the number of ramified primes in P\'olya real biquadratic fields.

Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields
math.NT
math.GR
v4


Abid Ali, Lisa Carbone, Paul Garrett

Let $G$ be an affine or hyperbolic rank 2 Kac--Moody group over a finite field $\mathbb F_q$. Let $X=X_{q+1}$ be the Tits building of $G$, the $(q+1)$--homogeneous tree, and let $\Gamma$ be a non-uniform lattice in $G$. When $\Gamma$ is a standard parabolic subgroup for the negative $BN$--pair, we define Eisenstein series on $\Gamma \backslash X$ and prove its convergence in a half space using Iwasawa decomposition of the Haar measure on $G$. A crucial tool is a description of the vertices of $X$ in terms of Iwasawa cells. We also prove meromorphic continuation of the Eisenstein series. This requires us to construct an integral operator on the Tits building $X$ and a truncation operator for the Eisenstein series. We also develop the functional analytic framework necessary for proving meromorphic continuation in our setting, by refining and extending Bernstein's Continuation Principle.

The \'etale cohomology ring of a punctured arithmetic curve
math.NT
math.AG
v5


Eric Ahlqvist, Magnus Carlson

We compute the cohomology ring $H^*(U,\mathbb{Z}/n\mathbb{Z})$ for $U=X\setminus S$ where $X$ is the spectrum of the ring of integers of a number field $K$ and $S$ is a finite set of finite primes. As a consequence, we obtain an efficient way to compute presentations of $Q_2(G_S)$, where $G_S$ is Galois group of the maximal extension of $K$ unramified outside of a finite set of primes $S$, for varying $K$. This includes the following cases (for $p$ any prime dividing $n$): $\mu_p(\overline{K}) \not\subseteq K$; $S$ does not contain the primes above $p$; and $p=2$ with $K$ admitting real archimedean places. We also show how to recover the classical reciprocity law of the Legendre symbol from the graded commutativity of the cup product.

On the Stieltjes Approximation Error to Logarithmic Integral
math.NT
v2


Jonatan Gomez

We study the approximation error $\varepsilon(x)=\operatorname{li}_{*}(x)-\operatorname{li}(x)$ arising from the classical Stieltjes asymptotic expansion for the logarithmic integral. Our analysis is based on the discrete values $\varepsilon_k=\varepsilon(e^{k})$ and their increments $\Delta_k=\varepsilon_{k+1}-\varepsilon_k,$ for which we derive new unconditional analytic bounds. Using precise integral representations for each increment $\Delta_k$, together with sharp upper and lower estimates for the associated kernel integrals, we obtain computable and uniform bounds for $\varepsilon_k$ for all $k\ge 1$, and hence for $\varepsilon(x)$ for all $x\ge e$. We prove the following unconditional bounds: $$\begin{array}{l} \displaystyle \frac{1}{3}\sqrt{\frac{2\pi}{\ln(x)}} + o\left(\frac{1}{\sqrt{\ln(x)}}\right) \le \varepsilon(x) \le \frac{1}{3}\sqrt{\frac{2\pi}{\ln(x)}} + o\left(\frac{1}{\sqrt{\ln(x)}}\right) \text{for all } e \le x \le e^{1000}, \end{array} $$ $$\begin{array}{l} \displaystyle \frac{1}{3}\sqrt{\frac{2\pi}{\ln(x)}} + o\left(\frac{1}{\sqrt{\ln(x)}}\right) - C_{l} \le \varepsilon(x) \le \frac{1}{3}\sqrt{\frac{2\pi}{\ln(x)}} + o\left(\frac{1}{\sqrt{\ln(x)}}\right) + C_{r} \text{for all } x>e^{1000} \text{ with } C_{l} = 0.0000035462\text{ and } C_{r}=0.0000021511. \end{array}$$ These results establish the first fully explicit global bounds for the Stieltjes approximation error. Finally, our findings strongly support the conjectural behaviour: $$ \varepsilon(x) = \frac{1}{3}\sqrt{\frac{2\pi}{\ln(x)}} + o\!\left(\frac{1}{\sqrt{\ln(x)}}\right), \qquad x\ge e. $$

Expander estimates for cubes
math.NT
math.CO
v2


Joerg Bruedern, Simon L Rydin Myerson

If $\mathscr A$ is a set of natural numbers of exponential density $\delta$, then the exponential density of all numbers of the form $x^3+a$ with $x\in\mathbb N$ and $a\in\mathscr A$ is at least $\min(1, \frac 13+\frac 56 \delta)$. This is a considerable improvement on the previous best lower bounds for this problem, obtained by Davenport more than 80 years ago. The result is the best possible for $\delta\ge \frac 45$.

Symmetric square type $L$-series
math.NT
math.RT
v2


Ingmar Metzler

We construct symmetric square type $L$-series for vector-valued modular forms transforming under the Weil representation associated to a discriminant form. We study Hecke operators and integral representations to investigate their properties, deriving functional equations and infinite product expansions.

Non-vanishing of Poincar\'e Series on Average
math.NT
v2


Ned Carmichael, Noam Kimmel

We study when Poincar\'e series for congruence subgroups do not vanish identically. We show that almost all Poincar\'e series with suitable parameters do not vanish when either the weight $k$ or the index $m$ varies in a dyadic interval. Crucially, analyzing the problem `on average' over these weights or indices allows us to prove non-vanishing in ranges where the index $m$ is significantly larger than $k^2$ - a range in which proving non-vanishing for individual Poincar\'e series remains out of reach of current methods.

New Algebraic Points on Curves
math.NT
v2


Maleeha Khawaja, Samir Siksek

Let $C$ be a smooth projective absolutely irreducible curve of genus at least 2, defined over the rationals. For a number field $L$, we define the set of $L$-new points on $C$ to be $C(L)_{new} = \{P \in C(L) : \mathbb{Q}(P)=L\}$; this is the set of points on $C$ defined over $L$ but not any strictly smaller field. Let $n$ be at least 2. We conjecture that $C(L)_{new}$ is empty for 100 percent of degree $n$ number fields $L$ when ordered by absolute discriminant. For degrees $n=2$, $3$, we give sufficient criteria for our conjecture to hold in terms of an explicit model for $C$. For general $n$ we prove a theorem that harmonises with the conjecture. In particular, we verify our conjecture for $n=2$ and $C=X_0(N)$ for the $18$ values $N \ne 37$ such that $X_0(N)$ is hyperelliptic, and also for $n=3$ and $C=X_0(23)$, $X_0(29)$, $X_0(31)$, $X_0(64)$. Moreover, we prove the analogue of our conjecture for the unit equation, again with $n=3$.

Unimodular Fake Mobius Functions
math.NT
v2


Ali Saraeb

We study \emph{unimodular fake} $\mu's$, i.e. multiplicative functions $\mathfrak f: \N \to \mathbb{S}^1 \cup \{0\} $ determined by a fixed sequence $\{\varepsilon_k\}_{k\ge 0} \subset \mathbb{S}^1 \, \cup \, \{0\}$ via the rule $\mathfrak f(p^k)=\varepsilon_k$ for every prime $p$ and $k \ge 0$. The Dirichlet series of a given $\mathfrak f$ admits the Euler product \[ F_{\mathfrak f}(s)=\sum_{n\ge1}\frac{\mathfrak f(n)}{n^s} =\prod_p g_{\mathfrak f}(p^{-s}),\qquad g_{\mathfrak f}(u)=\sum_{k\ge0}\varepsilon_k u^k, \] and the canonical zeta-factorization \[ F_{\mathfrak f}(s)=\zeta(s)^{\,z}\,\zeta(2s)^{\,w}\,G_{\mathfrak f}(s), \qquad z=\varepsilon_1,\ \ w=\varepsilon_2-\frac{\varepsilon_1(\varepsilon_1+1)}{2}, \] where $G_{\mathfrak f}(s)$ is a holomorphic Euler product on $\Re s>1/3$. Assuming the Riemann hypothesis and Simple Zeros Conjecture, we derive an explicit formula for $A_{\mathfrak f}^{\exp}(x)= \sum_{n \ge 1} \mathfrak f(n) \, e^{-n/x} $ of the form \[ A_{\mathfrak f}^{\exp}(x) -\Delta_1(x;z,w) = \Delta_{1/2}(x;z,w)\;+\;\sum_{\rho}\Delta_\rho(x;z,w,\mathfrak f)\;+\;\mathcal E(x). \] To our knowledge, our expansion is the first extension of the Selberg-Delange method for Dirichlet series of the form $\zeta(s)^{\,z}\,\zeta(2s)^{\,w}\,G(s)$ that, beyond the main term from $s=1$, also extracts lower-order contributions from the singularities on the critical line $\Re(s)=1/2$. On the other hand, we introduce a notion of \emph{bias} at the natural scale $x^{1/2}(\Log x)^{w-1}$ and obtain an explicit criterion distinguishing \emph{persistent}, \emph{apparent}, and \emph{unbiased} behavior in this regime.

Bounding the integral of the argument of the Riemann Zeta function
math.NT
v2


Victor Amberger

This article improves the estimate of $|S_1(t_2)-S_1(t_1)|$, which is the definite integral of the argument of the Riemann zeta-function between $t_1$ and $t_2$. Estimates of this quantity are needed to apply Turing's method to compute the exact number of zeta zeros up to a given height.

Intersections of sumsets in additive number theory
math.NT
v2


Melvyn B. Nathanson

Let $A$ be a subset of an additive abelian semigroup and let $hA$ be the $h$-fold sumset of $A$. The following question is considered: Let $(A_q)_{q=1}^{\infty}$ be a strictly decreasing sequence of sets in the semigroup and let $A = \bigcap_{q=1}^{\infty} A_q$. When does one have \[ hA = \bigcap_{q=1}^{\infty} hA_q \] for some or all $h \geq 2$?

Almost perfect nonlinear power functions with exponents expressed as fractions
cs.IT
cs.CR
cs.DM
math.CO
math.IT
math.NT
v2


Daniel J. Katz, Kathleen R. O'Connor, Kyle Pacheco, Yakov Sapozhnikov

Let $F$ be a finite field, let $f$ be a function from $F$ to $F$, and let $a$ be a nonzero element of $F$. The discrete derivative of $f$ in direction $a$ is $\Delta_a f \colon F \to F$ with $(\Delta_a f)(x)=f(x+a)-f(x)$. The differential spectrum of $f$ is the multiset of cardinalities of all the fibers of all the derivatives $\Delta_a f$ as $a$ runs through $F^*$. An almost perfect nonlinear (APN) function is one for which the largest cardinality in its differential spectrum is $2$. Almost perfect nonlinear functions are of interest as cryptographic primitives. If $d$ is a positive integer, then the power function over $F$ with exponent $d$ is the function $f \colon F \to F$ with $f(x)=x^d$ for every $x \in F$. There is a small number of known infinite families of APN power functions. In this paper, we re-express the exponents for one such family in a more convenient form. This enables us not only to obtain the differential spectrum of each power function $f$ with an exponent in our family, but also to determine the elements that lie in an arbitrary fiber of the discrete derivative of $f$. This differential analysis, which is far more detailed than previous results, is achieved by composing the discrete derivative of $f$ with some permutations and a double covering of its domain to obtain a function whose fibers can more readily be analyzed.

Diophantine Graphs
math.CO
math.NT
v2


A. Nasr, A. Elsonbaty, M. A. Seoud, M. Anwar

This manuscript introduces Diophantine labeling, a new way of labeling of the vertices for finite simple undirected graphs with some divisibility condition on the edges. Maximal graphs admitting Diophantine labeling are investigated and their number of edges are computed. Some number-theoretic techniques are used to characterize vertices of maximum degree and nonadjacent vertices. Some necessary and sufficient conditions for vertices of equal degrees are found.

Polynomial extensions of Raimi's theorem
math.CO
math.NT
v3


Norbert Hegyvari, Janos Pach, Thang Pham

Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after an appropriate shift (translation). We establish a polynomial extension of this result, proving that such intersections persist under polynomial shifts in any dimension. Let $P^{(1)},\dots,P^{(f)}\in\mathbb{Z}[x]$ be non-constant polynomials with positive leading coefficients and $P^{(j)}(0)=0$ for every $j$. We construct a partition of $\mathbb{N}^k$ into an arbitrarily fixed finite number of pieces such that for any coloring of $\mathbb{N}^k$ with finitely many colors, there exist $x_0\in \mathbb{N}$ and a single color class that meets all partition pieces after shifts by $x_0+P^{(j)}(h)$ in each of the $k$ coordinate directions, for every $j$ and infinitely many values $h\in \mathbb{N}$. Our proof exploits Weyl's equidistribution theory, Pontryagin duality, and the structure of polynomial relation lattices. We also prove some finite analogues of the above results for abelian groups and $SL_2(\mathbb{F}_q)$.