Number Theory [math.NT]

On Erd\H{o}s problem $\# 648$
math.NT


Stijn Cambie

We establish the order of the maximum length of an increasing sequence, bounded by $n$, in which the largest prime divisor of the elements form a decreasing sequence.

On a Romanoff type problem of Erd\H{o}s and Kalm\'{a}r
math.NT


Yuchen Ding

Let $\mathbb{N}$ and $\mathcal{P}$ be the sets of natural numbers and primes, respectively. Motived by an old problem of Erd\H os and Kalm\'ar, we prove that for almost all $y>1$ the lower asymptotic density of integers of the form $p+\lfloor y^k\rfloor~(p\in \mathcal{P},k\in \mathbb{N})$ is positive.

Summability of Elliptic Functions via Residues
math.NT
math.AG


Matthew Babbitt

Summability has been a central object of study in difference algebra over the past half-century. It serves as a cornerstone of algebraic methods to study linear recurrences over various fields of coefficients and with respect to various kinds of difference operators. Recently, Dreyfus, Hardouin, Roques, and Singer introduced a notion of elliptic orbital residues, which altogether serve as a partial obstruction to summability for elliptic functions with respect to the shift by a non-torsion point over an elliptic curve. We explain how to refine this into a complete obstruction, which promises to be useful in applications of difference equations over elliptic curves, such as elliptic hypergeometric functions and the combinatorics of walks in the quarter plane.

Root numbers for twisted Fermat quotient curves
math.NT


Ryosuke Yanagihara

Let $\ell$ be an odd prime, $N \geq 1$ be an integer, and $\delta \geq 1$ be a $\ell^N$-th power free integer such that ${\rm ord}_{\ell}(\delta) = 0$ or $\ell \nmid {\rm ord}_{\ell}(\delta)$. In this paper, we give an explicit formula for the root number of the Hecke character associated with a certain quotient curve of the twisted Fermat curve $X^{\ell^N} + Y^{\ell^N} = \delta$. This result gives a generalization of Stoll (2002) and Shu (2021).

Finiteness of Powers of Two with All Even Digits
math.NT
math.DS


Bogdan C. Dumitru

We study the problem of finding positive integers $n$ such that all the decimal digits of $2^n$ are even, i.e., belong to $\{0, 2, 4, 6, 8\}$. Computational checks up to $n = 10^{13}$ reveal the known cases $n = 1, 2, 3, 6, 11$ and no additional instances. We present a self-contained argument, based on equidistribution and a shrinking targets approach, showing there are only finitely many positive integers $n$ for which $2^n$ has all even decimal digits.

Equivariant Iwasawa Theory for Ritter-Weiss Modules and Applications
math.NT


Rusiru Gambheera, Cristian D. Popescu

We consider a finite, abelian, CM extension $H/F$ of a totally real number field $F$, and construct a $\mathbb{Z}_p[[G(H_\infty/F)]]-$module $\nabla_S^T(H_\infty)_p$, where $p>2$ is a prime and $H_\infty$ is the cyclotomic $\Bbb Z_p$-extension of $H$. This is the Iwasawa theoretic analogue of a module introduced by Ritter and Weiss in \cite{Ritter-Weiss} and studied further by Dasgupta and Kakde in \cite{Dasgupta-Kakde}. Our main result states that the $\Bbb Z_p[[G(H_\infty/F]]^-$-module $\nabla_S^T(H_\infty)_p$ is of projective dimension $1$, is quadratically presented, and that its Fitting ideal is principal, generated by an equivariant $p$-adic $L$-function $\Theta_S^T(H_\infty/F)$. As a first application, we compute the Fitting ideal of an arithmetically interesting $\Bbb Z_p[[G(H_\infty/F)]]^-$-module $X_S^{T,-}$, which is a variant of the classical unramified Iwasawa module $X$ (the Galois group of the maximal abelian, unramified, pro-$p$ extension of $H_\infty$), extending earlier results of Greither-Kataoka-Kurihara \cite{Greither-Kataoka-Kurihara}. These are all instances of what is now called an Equivariant Main Conjecture in the Iwasawa theory of totally real number fields, and refine the classical main conjecture, proved by Wiles in \cite{wiles}. As a final application, we give a short, Iwasawa theoretic proof of the minus $p$-part of the far-reaching Equivariant Tamagawa Number Conjecture for the Artin motive $h_{H/F}$, for all primes $p>2$, a result also obtained, independently and with different (Euler system) methods, by Bullack-Burns-Daoud-Seo \cite{Bullach-Burns-Daoud-Seo} and Dasgupta-Kakde-Silliman \cite{Dasgupta-Kakde-Silliman-ETNC}.

Diophantine approximation of multiple zeta-star values
math.NT
math.CA


Jiangtao Li

The set of multiple zeta-star values is a countable dense subset of the half line $(1,+\infty)$. In this paper, we establish some classical Diophantine type results for the set of multiple zeta-star values. Firstly, we give a criterion to determine whether a number is a multiple zeta-star value. Secondly, we establish the zero-one law for the set of multiple zeta-star value. Lastly, we propose a conjecture for the set of multiple zeta-star values, which strengthens the original zero-one law.

An Integral Equivariant Refinement of the Iwasawa Main Conjecture for Totally Real Fields
math.NT


Rusiru Gambheera

For an abelian, CM extension $H/F$ of a totally real number field $F$, we improve upon the reformulation of the Equivariant Tamagawa Number Conjecture for the Artin motive $h_{H/F}$ by Atsuta-Kataoka in \cite{Atsuta-Kataoka-ETNC} and extend the results proved in \cite{Bullach-Burns-Daoud-Seo}, \cite{Dasgupta-Kakde-Silliman-ETNC}, \cite{gambheera-popescu} and \cite{Dasgupta-Kakde} on conjectures by Burns-Kurihara-Sano \cite{Burns-Kurihara-Sano} and Kurihara \cite{Kurihara}. Then, we consider the $\mathbb{Z}_p[[Gal(H_\infty/F)]]-$module $X_S^{T}$ where $p>2$ is a prime and $H_{\infty}$ is the cyclotomic $\mathbb{Z}_p-$ extension of $H$. This is a generalization of the classical unramified Iwasawa module $X$. By taking the projective limits of the results proved at finite layers of the Iwasawa tower, as our main result, extending the earlier results of Gambheera-Popescu in \cite{gampheera-popescu-RW}, we calculate the Fitting ideal of $X_S^{T,-}$ for non-empty $T$, which is an integral equivariant refinement of the Iwasawa main conjecture for totally real fields proved by Wiles. We also give a conjectural answer to the Fitting ideal of the module $X^-$.

On the abscissas of a Dirichlet series and its subseries supported on prime factorization
math.NT
math.FA


Chaman Kumar Sahu

For a sequence $\{a_n\}_{n \geq 1} \subseteq (0, \infty)$ and a Dirichlet series $f(s) = \sum_{n=1}^\infty a_n n^{-s},$ let $\sigma_a(f)$ denote the abscissa of absolute convergence of $f$ and let \begin{equation} \delta_a(f): = \inf\Bigg\{\Re(s) : \sum\limits_{\substack{j= 1 \\ \tiny{\mbox{gpf}}(j) \leq p_n }}^\infty a_j j^{-s} < \infty ~\text{for all}~ n \geq 1\Bigg\}, \end{equation} where $\{p_j\}_{j \geq 1}$ is an increasing enumeration of prime numbers and $\text{\bf gpf}(n)$ denotes the greatest prime factor of an integer $n \geq 2.$ One significant aspect of these abscissas is their crucial role in analyzing the multiplier algebra of Hilbert spaces associated with diagonal Dirichlet series kernels. The main result of this paper establishes that $\sigma_a(f)- \delta_a(f)$ can be made arbitrarily large, meaning that it can be equal to any non-negative real number. As an application, we determine the multiplier algebra in some cases and, in others, gain insights into the structure of the multiplier algebra of certain Hilbert spaces of Dirichlet series.

Proof of the Lehmer conjecture on Ramanujan's $\tau$ function
math.NT


Minjia Shi, Lu Wang, Patrick Solé

A criterion for Lehmer's conjecture in terms of the spherical designs held in the shells of the lattice $E_8$ was derived by de La Harpe, Pache and Venkov circa 2005. We check that this criterion is satisfied by combining spherical designs, harmonic polynomials, weighted theta series, and Deligne's bound on the modulus of the $\tau$ function.

Computing algebraic Belyi functions on Bring's curve
math.NT
math.AG
math.CV


Madoka Horie, Takuya Yamauchi

In this paper, we explicitly compute two kinds of algebraic Belyi functions on Bring's curve. One is related to a congruence subgroup of ${\rm SL}_2(\mathbb{Z})$ and the other is relate to a congruence subgroup of the triangle group $\Delta(2,4,5)\subset {\rm SL}_2(\mathbb{R})$. To carry out the computation, we use elliptic cusp forms of weight 2 for the former case while the automorphism group of Bring's curve for the latter case. We also discuss a suitable base field (a number field) for isomorphisms between Hulek-Craig's curve, Bring's curve, and its another algebraic model obtained as a modular curve.

Inflated G-Extensions for Algebraic Number Fields
math.NT


M Krithika, P Vanchinathan

In 2018, Legrand and Paran proved a weaker form of the Inverse Galois Problem for all Hilbertian fields and all finite groups: that is, there exist possibly non-Galois extensions over given Hilbertian base field with given finite group as the group of field automorphisms fixing the base field. For $\mathbf Q$ it was proved earlier by M. Fried. In this paper our objective is to determine how big the degree of such extension can be compared to the order of the automorphism group. A special case of our result shows that if the Inverse Galois problem for $\bq$ has a solution for a finite group $G$, say of order $n$, then there exist algebraic number fields of degree $nm$, for any $m\ge3$ with the same automorphism group $G$.

Remarks on a certain restricted partition function of Lin
math.NT
math.CO


Russelle Guadalupe

Let $b(n)$ be the number of three-colored partitions $\pi=(\pi_1,\pi_2,\pi_3)$ of $n$ such that $\pi_1$ has distinct odd parts and $\pi_2$ and $\pi_3$ have parts only divisible by $4$. Utilizing modular forms, Lin obtained the generating functions for $b(3n+1)$ and $b(3n+2)$, which yields the congruence $b(3n+2)\equiv 0\pmod{3}$. In this work, we give elementary proofs of these generating functions by employing $q$-series manipulations and dissection formulas. We also establish an infinite family of internal congruences modulo $3$ satisfied by $b(n)$.

Characterization of norm and quasi-norm forms in S-adic setting
math.NT


George Tomanov

The goal of the present paper is to characterize the norm and quasi-norm forms defined over an arbitrary number field F in terms of their values at the S-integer points, where S is a finite set of valuations of F containing the archimedean ones. In this way we generalize the main result of the recent paper [T5], where the notion of a quasi-norm form is introduced when F = Q and S is a singleton. In complement, we exhibit some relations with problems and results in this area of research.

What is the Funniest Number? An investigation of numerical humor
math.NT
math.HO


Emily G. Pottebaum

In a preliminary study of numerical humor, we propose the Perceived Specificity Hypothesis (PSH). The PSH states that, for nonnegative integers < 100, the funniness of a number increases with its apparent precision. A survey of 68 individuals supports the veracity of this hypothesis and indicates that oddly specific numbers tend to be funniest. Our results motivate future study in this novel subfield.

The Categories of Lubin-Tate and Drinfeld Bundles
math.NT
math.AG
math.RT


James Taylor

For a finite extension $F$ of $\mathbb{Q}_p$ and $n \geq 1$, we show that the category of Lubin-Tate bundles on the $(n-1)$-dimensional Drinfeld symmetric space is equivalent to the category of finite-dimensional smooth representations of the group of units of the division algebra of invariant $1/n$ over $F$.

Davenport-Heilbronn Function Ratio Properties and Non-Trivial Zeros Study
math.NT
math.AP


Tao Liu, Juhao Wu

This paper systematically investigates the analytic properties of the ratio $f(s)/f(1-s) = X(s)$ based on the Davenport-Heilbronn functional equation $f(s) = X(s)f(1-s)$. We propose a novel method to analyze the distribution of non-trivial zeros through the monotonicity of the ratio $|f(s)/f(1-s)|$. Rigorously proving that non-trivial zeros can only lie on the critical line $\sigma=1/2$, we highlight two groundbreaking findings: 1. Contradiction of Off-Critical Zeros: Numerical "exceptional zeros" (e.g., Spira, 1994) violate the theoretical threshold $\kappa=1.21164$ and conflict with the monotonicity constraint of $|X(s)|=1$. 2. Essential Difference Between Approximate and Strict Zeros: Points satisfying $f(s) \to 0$ do not constitute strict zeros unless verified by analyticity. This work provides a new perspective for studying zero distributions of $L$-functions related to the Riemann Hypothesis.

A new family of q-Bernstein polynomials: Probabilistic viewpoint
math.CA
math.NT


Ayse Karagenc, Mehmet Acikgoz, Serkan Araci

In this paper, we introduce a new class of polynomials, called probabilistic q-Bernstein polynomials, alongside their generating function. Assuming Y is a random variable satisfying moment conditions, we use the generating function of these polynomials to establish new relations. These include connections to probabilistic Stirling numbers of the second kind and higher-order probabilistic Bernoulli polynomials associated with Y. Additionally, we derive recurrence and differentiation properties for probabilistic q-Bernstein polynomials. Utilizing Leibniz's formula, we give an identity for the generating function of these polynomials. In the latter part of the paper, we explore applications by choosing appropriate random variables such as Poisson, Bernoulli, Binomial, Geometric, Negative Binomial, and Uniform distributions. This allows us to derive relationships among probabilistic q-Bernstein polynomials, Bell polynomials, Stirling numbers of the second kind, higher-order Frobenius-Euler numbers, and higher-order Bernoulli polynomials. We also present p-adic q-integral and fermionic p-adic q-integral representations for probabilistic q-Bernstein polynomials.

Critical modular lattices in the Gaussian core model
math.MG
math.NT


Arian Joharian, Frank Vallentin, Marc Christian Zimmermannn

We discuss the local analysis of Gaussian potential energy of modular lattices. We show for instance that the $3$-modular $12$-dimensional Coxeter-Todd lattice and the $2$-modular $16$-dimensional Barnes-Wall lattice, which both provide excellent sphere packings, are not, even locally, universally optimal (in the sense of Cohn and Kumar).

Rational points in Cantor sets and spectral eigenvalue problem for self-similar spectral measures
math.CA
math.FA
math.NT


Derong Kong, Kun Li, Zhiqiang Wang

Given $q\in \mathbb{N}_{\ge 3}$ and a finite set $A\subset\mathbb{Q}$, let $$K(q,A)= \bigg\{\sum_{i=1}^{\infty} \frac{a_i}{q^{i}}:a_i \in A ~\forall i\in \mathbb{N} \bigg\}.$$ For $p\in\mathbb{N}_{\ge 2}$ let $D_p\subset\mathbb{R}$ be the set of all rational numbers having a finite $p$-ary expansion. We show in this paper that for $p \in \mathbb{N}_{\ge 2}$ with $\gcd(p,q)=1$, the intersection $D_p\cap K(q, A)$ is a finite set if and only if $\dim_H K(q, A)<1$, which is also equivalent to the fact that the set $K(q, A)$ has no interiors. We apply this result to study the spectral eigenvalue problem. For a Borel probability measure $\mu$ on $\mathbb{R}$, a real number $t\in \mathbb{R}$ is called a spectral eigenvalue of $\mu$ if both $E(\Lambda) =\big\{ e^{2 \pi \mathrm{i} \lambda x}: \lambda \in \Lambda \big\}$ and $E(t\Lambda) = \big\{ e^{2 \pi \mathrm{i} t\lambda x}: \lambda \in \Lambda \big\}$ are orthonormal bases in $L^2(\mu)$ for some $\Lambda \subset \mathbb{R}$. For any self-similar spectral measure generated by a Hadamard triple, we provide a class of spectral eigenvalues which is dense in $[0,+\infty)$, and show that every eigen-subspace associated with these spectral eigenvalues is infinite.

A Sharper Upper Bound for the Separating Words Problem
cs.FL
math.NT


Bogdan C. Dumitru

We show that for any two distinct words $ s_1, s_2 $ over an arbitrary alphabets, there exists a deterministic finite automaton with $ O(\log^2 n) $ states that accepts $ s_1 $ and rejects $ s_2 $. This improves the previous upper bound of $O(n^{1/3}\log^7 n)$

$p$-Adic Polynomial Regression as Alternative to Neural Network for Approximating $p$-Adic Functions of Many Variables
math-ph
cs.LG
cs.NA
math.MP
math.NA
math.NT
math.OC


Alexander P. Zubarev

A method for approximating continuous functions $\mathbb{Z}_{p}^{n}\rightarrow\mathbb{Z}_{p}$ by a linear superposition of continuous functions $\mathbb{Z}_{p}\rightarrow\mathbb{Z}_{p}$ is presented and a polynomial regression model is constructed that allows approximating such functions with any degree of accuracy. A physical interpretation of such a model is given and possible methods for its training are discussed. The proposed model can be considered as a simple alternative to possible $p$-adic models based on neural network architecture.

Independence of $\ell$
math.AG
math.KT
math.NT


Denis-Charles Cisinski

We prove independence of $\ell$ for Betti numbers as well as for characteristic polynomials of motivically defined endomorphisms of $\ell$-adic cohomology. This long standing problem is solved through the construction of new comparison isomorphisms relating $\ell$-adic cohomology of a separated scheme of finite type over an algebraically closed field of positive characteristic with its rigid cohomology. Taking advantage of the description of categories of $\ell$-adic sheaves of geometric origin as categories of modules over $\ell$-adic cohomology in the stable category of motivic sheaves, these independence of $\ell$-results are promoted to independence of $\ell$ of suitable categories of $\ell$-adic sheaves themselves.

Consecutive Piatetski-Shapiro primes based on the Hardy-Littlewood conjecture
math.NT
v3


Victor Z. Guo, Yuan Yi

The Piatetski-Shapiro sequences are of the form ${\mathcal{N}}^{(c)} := (\lfloor n^c \rfloor)_{n=1}^\infty$ with $c > 1, c \not\in \mathbb{N}$. In this paper, we study the distribution of pairs $(p, p^{\#})$ of consecutive primes such that $p \in {\mathcal{N}}^{(c_1)}$ and $p^{\#} \in {\mathcal{N}}^{(c_2)}$ for $c_1, c_2 > 1$ and give a conjecture with the prime counting functions of the pairs $(p, p^{\#})$. We give a heuristic argument to support this prediction which relies on a strong form of the Hardy-Littlewood conjecture. Moreover, we prove a proposition related to the average of singular series with a weight of a complex exponential function.

Note on a conjecture of Hildebrand regarding friable integers
math.NT
v5


Régis de la Bretèche, Gérald Tenenbaum

Hildebrand proved that the smooth approximation for the number $\Psi(x,y)$ of $y$-friable integers not exceeding $x$ holds for $y>(\log x)^{2+\varepsilon}$ under the Riemann hypothesis and conjectured that it fails when $y\leqslant (\log x)^{2-\varepsilon}$. This conjecture has been recently confirmed by Gorodetsky by an intricate argument. We propose a short, straight-forward proof.

Evaluation of reciprocal sums of hyperbolic functions using quasimodular forms
math.NT
v2


Wei Wang

This paper studies eight families of infinite series involving hyperbolic functions. Under some conditions, these series are linear combinations of derivatives of Eisenstein series. The paper gives a systematic method for computing the values of these series at CM points. The approach utilizes complex multiplication theory, the structure of the rings of modular forms and quasimodular forms, and certain differential operators defined on these rings. This paper also expresses the generalized reciprocal sums of Fibonacci numbers as the special values of the series mentioned above. Thus it gives some algebraic independence results about the generalized reciprocal sums of Fibonacci numbers.

Integers that are not the sum of positive powers
math.NT
v2


Brennan Benfield, Oliver Lippard

The generalized Waring problem asks exactly which positive integers cannot be expressed as the sum of $j$ positive $k$-th powers? Using computational techniques, this paper refines an approach introduced by Zenkin, establishes results for the individual cases $5 \le k \le 9$, and resolves conjectures of Zenkin and the OEIS. This paper further establishes theoretical results regarding the properties of the sets of integers that are not the sum of $j$ positive $k$-th powers. The notion of Waring's problem is further extended to the finite sets of non-representable numbers where $G(1,k) < j < g(1,k)$. Improved computational techniques and results from Waring's problem are used throughout to catalog the sets of such integers, which are then considered in a general setting.

Equivariant Vector Bundles with Connection on Drinfeld Symmetric Spaces
math.NT
math.RT
v3


James Taylor

For a finite extension $F$ of $\mathbb{Q}_p$ and $n \geq 1$, let $D$ be the division algebra over $F$ of invariant $1/n$ and let $G^0$ be the subgroup of $\text{GL}_n(F)$ of elements with norm $1$ determinant. We show that the action of $D^\times$ on the Drinfeld tower induces an equivalence of categories from finite dimensional smooth representations of $D^\times$ to $G^0$-finite $\text{GL}_n(F)$-equivariant vector bundles with connection on $\Omega$, the $(n-1)$-dimensional Drinfeld symmetric space.

Proof of Merca's stronger conjecture on truncated Jacobi triple product series
math.NT
math.CO
v2


Xiangyu Ding, Lisa Hui Sun

The study of truncated theta series has regained vitality since Andrews and Merca's work on the truncated version of Euler's pentagonal number theorem in 2012. In 2021, Merca proposed a stronger version of the conjecture for the truncated Jacobi triple product series. In this paper, for any given $R, S$ and $k$, we provide a systematic method to determine the lower bound $N$ of $n$ such that when $n\geq N$, Merca's stronger conjecture holds. More precisely, we first treat the infinite $q$-shift factorial in the denominator of the above theta series as the product of the following two parts \[ \frac{1}{\left(q^s, q^{r-s}; q^r\right)_{2}}\cdot \frac{1}{\left(q^{2r+s}, q^{3r-s}; q^r\right)_{\infty}}:=\sum_{n=0}^{\infty} p_{4}(n)q^n\cdot \sum_{n=0}^{\infty} g_{s,r}(n)q^n,\] where $s=S/(S,R),r=R/(S,R)$ are coprime. The first part can be interpreted in terms of partition functions $p_{4}(n) $ which are the number of partitions of $n$ only with parts $s, r+s, r-s, 2r-s$. The second part can be seen as a nonmodular infinite product. For $p_{4}(n)$, we obtained the general upper and lower bounds by using the residue theorem and the properties for partition functions. Further multiplied by the numerator of the theta series, we derive a lower bound of $n$ which satisfies that the coefficients of the subsequent terms are all nonnegative. For $g_{s,r}(n)$, we obtain the lower and upper bounds by applying the circle method on nonmodular infinite products, from which we also deduce an asymptotic formula for $g_{s,r}(n)$. Then, by considering the convolution of these two parts, we confirm Merca's stronger conjecture when $n\geq N $. Consequently, we show that when $k$ is sufficiently large, it only needs to deal with the first part to provide the bound $N $ and Merca's stronger conjecture holds directly for any $S$ and $R$.

On single-variable Witten zeta functions of rank 2 and 3
math.NT
math.CA
v2


Kam Cheong Au

We employ a Mellin transform-based approach to simultaneously study single-variable Witten zeta functions associated with rank 2 and 3 root systems. Detailed information about their pole locations, residues, and special values are obtained. Regarding their behavior at negative integers, we highlight a potential connection to Eisenstein series and make a $p$-adic observation.

Metric results of the intersection of sets in Diophantine approximation
math.NT
math.DS
v2


Chen Tian, Liuqing Peng

Let $\psi : \mathbb{R}_{>0}\rightarrow \mathbb{R}_{>0}$ be a non-increasing function. Denote by $W(\psi)$ the set of $\psi$-well-approximable points and by $E(\psi)$ the set of points $x\in[0,1]$ such that for any $0 < \epsilon < 1$ there exist infinitely many $(p,q)\in\mathbb{Z}\times\mathbb{N} $ with $$\left(1-\epsilon\right)\psi(q)< \left| x-\frac{p}{q}\right|< \psi(q) .$$ In this paper, we investigate the metric properties of the set $E(\psi).$ Specifically, we compute the $s$-dimensional Hausdorff measure $\mathcal{H}^s(E(\psi))$ of $E(\psi)$ for a large class of $s \in (0,1].$ Additionally, we establish that $$\dim_{\mathcal H} E(\psi_1) \times \cdots \times E(\psi_n) =\min \{ \dim_{\mathcal H} E(\psi_i)+n-1: 1\le i \le n \},$$ where $\psi_i:\mathbb{R}_{> 0}\rightarrow \mathbb{R}_{> 0} $ is a non-increasing function satisfying $\psi_i(x)=o(x^{-2}) $ for $1\le i \le n.$

Bogomolov property for Galois representations with big local image
math.NT
v2


Andrea Conti, Lea Terracini

An algebraic extension of the rational numbers is said to have the $\textit{Bogomolov property}$ (B) if the absolute logarithmic Weil height of its non-torsion elements is uniformly bounded from below. Given a continuous representation $\rho$ of the absolute Galois group $G_{\mathbb{K}}$ of a number field ${\mathbb{K}}$, one says that $\rho$ has (B) if the subfield of $\overline{\mathbb{Q}}$ fixed by $\mathrm{ker}\,\rho$ has (B). We prove that, if $\rho:G_{\mathbb{K}} \to \mathrm{GL}_d({\mathbb{Z}}_p)$ maps an inertia subgroup at a prime above $p$ surjectively onto an open subgroup of $\mathrm{GL}_d({\mathbb{Z}}_p)$, then $\rho$ has (B). More generally, we show that if the image of a decomposition group above $p$ is open in $\rho(G_{\mathbb{K}})$, and a certain condition on the center of $\rho(G_{\mathbb{K}})$ satisfied, then $\rho$ has (B). In particular, no assumption on the modularity of $\rho$ is needed, contrary to previous work of Habegger and Amoroso--Terracini. We provide several examples both in modular and non-modular cases. Our methods rely on a result of Sen comparing the ramification and Lie filtrations on the $p$-adic Lie group $\rho(G_{\mathbb{K}})$.

Generation of Hecke fields by squares of cyclotomic twists of modular $L$-values
math.NT
v2


Valentin Blomer, Ashay Burungale, Philippe Michel, Jun-Hwi Min

Let $f$ be a non-CM elliptic newform without a quadratic inner twist, $p$ an odd prime and $\chi$ a Dirichlet character of $p$-power order and sufficiently large $p$-power conductor. We show that the compositum $\mathbb{Q}_{f}(\chi)$ of the Hecke fields associated to $f$ and $\chi$ is generated by the square of the absolute value of the corresponding central $L$-value $L^{\rm alg}(1/2, f \otimes \chi)$ over $\mathbb{Q}(\mu_p)$. The proof is based among other things on techniques used for the recent resolution of unipotent mixing conjecture by the first and third named authors.

The large sieve for square moduli, revisited
math.NT
v3


Stephan Baier

We revisit the large sieve for square moduli and obtain conditional improvements under hypotheses on higher additive energies of modular square roots.

Non-free sections of Fano fibrations
math.AG
math.NT
v4


Brian Lehmann, Eric Riedl, Sho Tanimoto

Let $B$ be a smooth projective curve and let $\pi: \mathcal{X} \to B$ be a smooth integral model of a geometrically integral Fano variety over $K(B)$. Geometric Manin's Conjecture predicts the structure of the irreducible components $M \subset \textrm{Sec}(\mathcal{X}/B)$ which parametrize non-relatively free sections of sufficiently large anticanonical degree. Over the complex numbers, we prove that for any such component $M$ the sections come from morphisms $f: \mathcal{Y} \to \mathcal{X}$ such that the generic fiber of $\mathcal{Y}$ has Fujita invariant $\geq 1$. Furthermore, we prove that there is a bounded family of morphisms $f$ which together account for all such components $M$. These results verify the first part of Batyrev's heuristics for Geometric Manin's Conjecture over $\mathbb{C}$. Our result has ramifications for Manin's Conjecture over global function fields: if we start with a Fano fibration over a number field and reduce mod $p$, we obtain upper bounds of the desired form by first letting the prime go to infinity, then the height.

The structure of Lonely Runner spectra
math.CO
math.NT
v4


Vikram Giri, Noah Kravitz

For each subtorus $T$ of $(\mathbb{R}/\mathbb{Z})^n$, let $D(T)$ denote the (infimal) $L^\infty$-distance from $T$ to the point $(1/2,\ldots, 1/2)$. The $n$-th Lonely Runner spectrum $\mathcal{S}(n)$ is defined to be the set of all values achieved by $D(T)$ as $T$ ranges over the $1$-dimensional subtori of $(\mathbb{R}/\mathbb{Z})^n$ that are not contained in the coordinate hyperplanes. The Lonely Runner Conjecture predicts that $\mathcal{S}(n) \subseteq [0,1/2-1/(n+1)]$. Rather than attack this conjecture, we study the structure of the sets $\mathcal{S}(n)$. The main purpose of this note is to show that the set of accumulation points of $\mathcal{S}(n)$ is precisely $\mathcal{S}(n-1)$.

Frieze patterns and Farey complexes
math.CO
math.NT
v3


Ian Short, Matty Van Son, Andrei Zabolotskii

Frieze patterns have attracted significant attention recently, motivated by their relationship with cluster algebras. A longstanding open problem has been to provide a combinatorial model for frieze patterns over the ring of integers modulo $n$ akin to Conway and Coxeter's celebrated model for positive integer frieze patterns. Here we solve this problem using the Farey complex of the ring of integers modulo $n$; in fact, using more general Farey complexes we provide combinatorial models for frieze patterns over any rings whatsoever. Our strategy generalises that of the first author and of Morier-Genoud et al. for integers and that of Felikson et al. for Eisenstein integers. We also generalise results of Singerman and Strudwick on diameters of Farey graphs, we recover a theorem of Morier-Genoud on enumerating friezes over finite fields, and we classify those frieze patterns modulo $n$ that lift to frieze patterns over the integers in terms of the topology of the corresponding Farey complexes.

MNT Elliptic Curves with Non-Prime Order
cs.CR
math.NT
v2


Maciej Grześkowiak

Miyaji, Nakabayashi, and Takano proposed the algorithm for the construction of prime order pairing-friendly elliptic curves with embedding degrees $k=3,4,6$. We present a method for generating generalized MNT curves. The order of such pairing-friendly curves is the product of two prime numbers.

Some remarks to a Theorem of van Geemen
math.AG
math.NT
v2


Riccardo Salvati Manni, Eberhard Freitag

In [ Ge], Bert van Geemen computed the dimension of the space of the fourth power of the theta nullwerte. In [SM2], it has been observe that all linear relations between the $\theta_m^4$ are consequences of the quartic Riemann relations. In this note, we want to give a new proof of these result and extend them. In a last section we treat the linear dependencies between arbitrary powers $\vartheta[m]^k$. We will show that $k=4$ is the only case where such dependencies can occur. For this reason, we give a slightly different title: Some remarks to a Theorem of van Geemen

A higher algebraic approach to liftings of modules over derived quotients
math.AC
math.NT
math.RA
v2


Ryo Ishizuka

We show a certain existence of a lifting of modules under the self-$\mathrm{Ext}^2$-vanishing condition over the "derived quotient" by using the notion of higher algebra. This refines a work of Auslander-Ding-Solberg's solution of the Auslander-Reiten conjecture for complete interesctions. Together with Auslander's zero-divisor theorem, we show that the existence of such $\mathrm{Ext}$-vanishing module over derived quotients is equivalent to being local complete intersections.

Permutation polynomials over finite fields from low-degree rational functions
cs.CR
math.NT
v2


Kirpa Garg, Sartaj Ul Hasan, Chunlei Li, Hridesh Kumar, Mohit Pal

This paper considers permutation polynomials over the finite field $F_{q^2}$ in even characteristic by utilizing low-degree permutation rational functions over $F_q$. As a result, we obtain two classes of permutation binomials and six classes of permutation pentanomials over $F_{q^2}$. Additionally, we show that the obtained binomials and pentanomials are quasi-multiplicative inequivalent to the known ones in the literature.