Number Theory [math.NT]

M\"obius disjointness conjecture for Furstenberg's flow on $\mathbb{T}^\omega$ in short intervals

math.NT

Furstenberg's flow on the infinite-dimensional torus $\mathbb{T}^\omega$ is defined by \[ T (x_1, x_2, \ldots, x_\nu, \ldots) = (x_1 + \alpha, x_2 + h(x_1), \ldots, x_\nu + h(x_1 + (\nu-2)\beta), \ldots) \] with $\alpha\in \mathbb{R}$ satisfying certain diophantine conditions, $\beta\in \mathbb{R}\backslash\mathbb{Q},$ and $h: \mathbb{R}\to \mathbb{R}$ being $1$-periodic and analytic. This flow is irregular in the sense that its Birkhoff average does not exist for some $x\in \mathbb{T}^\omega$, and it is a generalization of Furstenberg's irregular flow on $\mathbb{T}^2$. The main result of this paper is that the M\"{o}bius Disjointness Conjecture of Sarnak holds for the above flow $(\mathbb{T}^\omega, T)$ in short intervals $(N-M, N]$ with $N^{5/8+\varepsilon} \leqslant M\leqslant N$.

Reduction mod $p$ of semi-stable representations of some super-Breuil weights

math.NT

We determine the mod $p$ reductions of the semi-stable representations $V_{k, \mathcal{L}}$ of weight $k \in [p + 5, 2p]\cup[2p + 6, 3p + 1]$ and $v_p(\mathcal{L}) < 1-k/2$ for primes $p \geq 5$. In particular, this shows that the techniques introduced in [CG24] involving the $p$-adic and mod $p$ local Langlands correspondences can be used to compute the reduction of $V_{k, \mathcal{L}}$ outside the range $k \in [3, p + 1]$. Moreover, this shows that the bound on $v_p(\mathcal{L})$ given by Bergdall-Levin-Liu [BLL23] can be improved, at least for weights $k \in [2p + 6, 3p + 1]$.

Geometry-of-numbers methods over global fields II: Coregular representations

math.NT

We develop geometry-of-numbers methods to count orbits in coregular vector spaces having bounded invariants over any global field. We apply these techniques to bound the average ranks and determine average Selmer group sizes of elliptic curves and Jacobians of hyperelliptic curves over any base global field $F$ of characteristic not $2$, $3$ or $5$.

On Regular Higher Power Rational Diophantine Triples

math.NT

A rational Diophantine $m$-tuple is a set $\{a_1,\ldots,a_m\}$ of distinct nonzero rational numbers such that $a_i a_j+1$ is a square for all $1\leq i < j\leq m$. Similarly, we may ask when $a_ia_j+1$ is a $k$-th power. Here, we study the case $k=4$ and produce some non-trivial infinite families of such triples. We show that there are infinitely many triples with positive elements for $k=4$. We also briefly consider the $k=6$ (sextic) and $k=8$ (octic) cases, explaining the difficulties in extending the method to higher exponents.

Non-liftability of Families of Abelian Varieties with Small $l$-adic Local System

math.NT

math.AG

We study families of abelian varieties over smooth proper curves with small $l$-adic local system over characteristic $p$. We show that such abelian schemes have a non-nef Hodge bundle and cannot be lifted to $W_2(k)$. We also establish an Arakelov-type inequality for families of abelian varieties over smooth proper curves in characteristic $p$, assuming $W_2(k)$-liftability.

The Limiting Distribution of Elliptic Dedekind Sums

math.NT

We consider elliptic Dedekind sums that were introduced by Sczech as generalizations of the classical ones to complex lattices. We prove that these sums -- suitably normalized -- have a Gaussian limiting distribution. As an application, we prove a conjecture due to Ito.

Supersingular Drinfeld modules, Brandt matrices, and rank-metric codes

math.NT

We prove a stabilization result for the $\mathbb{F}_q$-dimension of spaces of morphisms between supersingular Drinfeld modules, filtered by degree: for any two supersingular rank-$2$ Drinfeld $\mathbb{F}_q[T]$-modules in characteristic $\frak{p}$ of degree $d$, the dimension $m_s$ of the space of morphisms of $\tau$-degree at most $s$ satisfies $m_s = 2(s+1)-(d-1)$ for all $s\geq d-2$. This is proved using the theory of Brandt matrices and properties of $L$-functions of automorphic forms for $\mathrm{GL}_2$ over function fields. The stabilization formula, combined with an analysis of zero entries in Brandt matrices and a hyperplane-avoidance argument, yields semifield rank-metric codes. We also describe an efficient algorithm for computing the relevant Brandt matrices.

The sum-product phenomenon for dense subsets of finite fields

math.NT

Let $\mathbb{F}_p$ be a finite field of prime order $p$ and let $A \subset \mathbb{F}_p$ be a subset. In the dense regime when $|A| \geq \alpha p$ for some $\alpha \in (0,1)$, we determine the optimal constant $f(\alpha)$ in the inequality $$ \max(|A+A|, |A\cdot A|) \geq (f(\alpha) - o(1))p. $$ The proof relies on a structural result for sumsets of dense subsets, established via a regularity lemma in general finite abelian groups.

On the normality of the concatenated Fibonacci constant

math.NT

math.PR

math.ST

stat.TH

We study the concatenated Fibonacci constant $\mathcal{F} := 0.F_{1}F_{2}F_{3}\cdots = 0.11235813\cdots$, obtained by concatenating the Fibonacci numbers in the fractional part, and ask whether it is normal. We show that several classical sufficient conditions for normality by concatenation do not apply to the Fibonacci sequence because of its exponential growth, while a criterion of Pollack and Vandehey implies that the normality of $\mathcal{F}$ in base $10$ would follow if almost all Fibonacci numbers were $(\varepsilon,k)$-normal in base $10$. The Benford bias of leading digits and the Pisano periodicity of trailing digits are shown to contribute asymptotically negligible fractions of the total digits, isolating the distribution of the deep digits of large Fibonacci numbers as the remaining obstruction. Large-scale numerical experiments on the first $500{,}000$ Fibonacci numbers in bases $10$ and $2$ indicate that global single-digit counts and $k$-block statistics for $k = 2, 3, 4$ are compatible with iid-like fluctuations at the scales tested, and that a positional decomposition concentrates the visible structured deviation at the boundaries between consecutive Fibonacci numbers, while pooled interior blocks remain close to uniform. Our computations suggest that any obstruction to normality lies in the asymptotic behavior of the deep digits of $F_{n}$.

Markov fractions and Cohn matrices

math.NT

We show that the Markov fractions introduced recently by Springborn coincide with the index of the Cohn matrices defined by Aigner. This provides a simple concatenation rule for the corresponding continued fractions on the Conway topograph.

Orderings of Generalized k-Markov Numbers

math.NT

math.CO

A $k$-Markov number is a positive integer that appears in a positive integral solution to the Diophantine equation $x^2 + y^2 + z^2 + k(xy + xz + yz) = (3+3k)xyz$. This equation was introduced by Gyoda and Matsushita. When $k =0$, this definition recovers that of ordinary Markov numbers. The set of $k$-Markov numbers can be indexed by pairs of coprime positive integers. There is a consistent way to label non-coprime pairs with positive integers as well, yielding a larger set of ``generalized $k$-Markov numbers.'' In this paper, we classify lines along which the generalized $k$-Markov numbers grow monotonically, extending work in the ordinary case by Lee-Li-Rabideau-Schiffler and by the second author. We find that, as $k$ grows, the $k$-Markov numbers are more likely to be monotonic along a random line. This gives evidence that a $k$-version of Frobenius' uniqueness conjecture, which has been proposed by Gyoda and Maruyama, could be true.

Resolutions of spaces of crystalline representations and modularity

math.NT

We introduce a new partial resolution of crystalline spaces of Galois representations when the gaps in Hodge--Tate weights are smaller than $p$, with no bound on ramification. Furthermore, when $n =3$ in the case of minimal regular weight, we are able to show that the resolution is normal (assuming the ramification index is divisible by 3). Employing base change techniques and further analysis of the resolution, we are able to show that all the components of the crystalline deformation rings are potentially diagonalizable. As a consequence, we deduce automorphy lifting, the weight part of Serre's conjecture, and the Breuil-M\'ezard conjecture in dimension three for minimal regular weight.

Effective Joint Sato-Tate Distribution and Sign Change of Symmetric Power Coefficients

math.NT

We prove an unconditional, effective joint Sato-Tate distribution for the Fourier coefficients of two twist-inequivalent, non-CM newforms $f$ and $f'$. Our result generalises a result of Thorner, which holds for rectangular regions, by extending it to a wide range of measurable subsets of $[-2,2]^2$. Indeed, our theorem applies to any measurable region whose boundary consists of a finite number of continuous curves of finite length. As a consequence, we develop a unified framework to study various arithmetic properties of Fourier coefficients of symmetric power $L$-functions attached to $f$ and $f'$. In particular, for these coefficients (and their polynomial expressions), we obtain effective distribution results, quantitative statements on simultaneous sign behaviour, and bounds for the first sign change.

A remark on an integral structure of the imperfect coefficient ring of $(\varphi,\Gamma)$-modules

math.NT

math.RT

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. Let $\mathbb{A}_K$ denote the imperfect coefficient ring of $(\varphi,\Gamma)$-modules defined by Jean-Marc Fontaine. We prove that the canonical map $W(k_{K_\infty})[[\mu]]\rightarrow \mathbb{A}_K\cap A_\mathrm{inf}$ is an isomorphism, even if $K$ is ramified. This fact was remarked by Nathalie Wach without proof.

Explicit Kodaira-Spencer maps over PEL Shimura varieties

math.NT

math.AG

The goal of our work is to construct a class of morphisms between two canonical line bundles on integral models of PEL Shimura varieties via Kodaira--Spencer maps, and explicitly compute such morphisms and their effects on the canonical metrics of line bundles. This result provides a concrete method for comparing two canonical line bundles and the corresponding arithmetic intersection numbers. In particular, it allows us to give an explicit relationship between the height functions defined by these two line bundles.

Semistable Reduction Theorem for Overconvergent $F$-isocrystals over Laurent Series Fields

math.NT

math.AG

We prove the semistable reduction theorem for $\mathcal{E}^{\dag}_K$-valued and $K$-valued overconvergent $F$-isocrystals over $k((t))$-varieties which were introduced by Lazda and P\'{a}l. As an application, we prove the finite dimensionality of $\mathcal{E}^{\dag}_K$-valued rigid cohomology with compact support.

Duality Between Prime Factors and The Prime Number Theorem For Arithmetic Progressions -- Higher Order Dualities

math.NT

In 1977, the first author observed a duality between the largest and smallest prime factors of integers, and established as a consequence some new results on the M\"obius function $\mu(n)$ using the Prime Number Theorem for Arithmetic Progressions. In that 1977 paper, higher order dualities were observed involving the $k$-th largest and $k$-th smallest prime factors, facilitated by the M\"obius function and $\omega(n)^{k-1}$, where $\omega(n)$ is the number of distinct prime factors on $n$. In 2024, the first author and Jason Johnson proved new results involving $\mu(n)$ and $\omega(n)$, by exploiting the second order duality identity of Alladi (1977). We establish here extensions to all higher orders $k$, the results of Alladi (1977) and of Alladi-Johnson (2024), by utilizing the $k$-th order duality in Alladi's 1977 paper. First, we show that for each $k\geq 2$, $$ \sum_{n=2}^{\infty} \frac{\mu(n)\omega(n)^{k}}{n} =0, $$ where $\mu(n)$ is the M\"obius Function and $\omega(n)$ counts the number of distinct prime factors of $n$. Further, using the General Duality Identity and the Prime Number Theorem of Arithmetic Progressions, we prove that for integers $j,\ell$ satisfying $1 \leq j \leq \ell$ and $(j,\ell)=1$ $$ \sum_{\substack{n=2 \\ p_1(n) \equiv j\;(mod\;\ell)}}^{\infty} \frac{\mu(n)\omega(n)^{k-1}}{n}=0, \nonumber $$ for every $k \geq 3$; this result for $k=1$ is due to Alladi (1977) and for $k=2$ due to Alladi-Johnson (2024). We also recast this result in the following manner as a density-type theorem: for integers $j,\ell$ satisfying $1 \leq j \leq \ell$ and $(j,\ell)=1$ $$ (-1)^k\sum_{\substack{n=2 \\ p_1(n) \equiv j\;(mod\;\ell)}}^{\infty} \frac{\mu(n){\omega(n)-1 \choose k-1}}{n}=\frac{1}{\varphi(\ell)}, \nonumber $$ for every $k \geq 3$. All results are established here in quantitative form.

Sophie Germain Primes and the Totient of Fibonacci Numbers

math.NT

We study the set $S(q)$ of residue classes $r$ modulo the Pisano period $\pi(q)$ for which $q \mid \varphi(F_m)$ for every $m \equiv r \pmod{\pi(q)}$. We prove that if $q$ is a Sophie Germain prime and $z(2q+1) \mid \pi(q)$, then $S(q)$ is a nonempty arithmetic progression, and for $q > 5$ its cardinality is odd and $q \equiv 8 \pmod{15}$. Conversely, we show that if a prime $p \equiv 1 \pmod{q}$ has $z(p) \mid \pi(q)$, then necessarily $p = 2q+1$, so $q$ is Sophie Germain. We conjecture that $S(q) \neq \emptyset$ forces the existence of such a prime $p$; this is verified for all $q \leq 50000$. Assuming that $z(2q+1) \mid \pi(q)$ holds for infinitely many Sophie Germain primes (verified computationally for approximately 23.9% of them), the Sophie Germain conjecture implies the existence of infinitely many primes $q \equiv 8 \pmod{15}$ with $(2q+1) \mid F_{\pi(q)}$ -- a purely Fibonacci-theoretic condition. These results generalize to arbitrary Lucas sequences $U_n(P,Q)$ with non-square discriminant.

Solvable Descent and the Grunwald Problem for Solvable Groups

math.NT

We prove a suitable fibration theorem over quasi-trivial tori that, through an approach developed by Harpaz and Wittenberg, implies so-called {\em solvable descent}. In particular, this gives a positive answer to the Grunwald problem for solvable groups up to the necessary Brauer--Manin obstruction, providing a generalizion of Shafarevich's positive answer to the Inverse Galois Problem for solvable groups. This also provides an alternative proof of Shafarevich's result that avoids his ``shrinking procedure''. For the fibration theorem, we first adapt the starting ideas of Shafarevich for the creation of local lifts. To deal then with the Brauer--Manin obstruction (i.e.\ the relevant local-to-global obstruction), we compute its ``triple variation'' on grids of fibers. The resulting expression is a linear combination of Red\'ei symbols on the base. Customizing these and employing a combinatorial principle first noted by Alexander Smith in the context of Class and Selmer Groups, one infers the vanishing of the obstruction in at least one fiber.

A Rademacher exact type formula for pod$_2(n)$

math.NT

In this paper, we calculate an exact formula for the number of partitions of a natural number $n$, where the largest part is even and no odd parts appears more than two times. The generating functions of the number of these partitions is a mixed mock modular form of weight 0. In order to obtain the formula we apply an extended version of the circle method, during which we need to bound Kloosterman sums and similar exponential sums as well as Mordell-type integrals.

Families of symplectic Galois representations over small parabolic eigenvarieties for Siegel cuspforms of genus $2$

math.NT

We construct small parabolic eigenvarieties for holomorphic Siegel cuspforms of genus $2$ and study families of Galois representations attached to them in the spirit of Bella\"iche--Chenevier. In the course, we introduce the notion of $(\varphi, \Gamma)$-modules with $G$-structures and the notion of refined families of symplectic Galois representations by implementing the theory of symplectic Galois determinant d'apr\`es Moakher--Quast. We then prove an infinitesimal $R=\mathbb{T}$ theorem under mild hypotheses. As an application, we study the relationship between the geometry of the small parabolic eigenvarieties at the Saito--Kurokawa lifts for cuspidal eigenforms (both finite-slope and infinite-slope) and the Bloch--Kato Selmer groups of those eigenforms.

A primality test for $Kp^\ell - 1$ numbers

math.NT

We develop an algebraic framework over arbitrary quadratic fields $L = \mathbb{Q}(\sqrt{D})$ to generalize the Miller-Rabin primality test. Consequently, we present a deterministic primality test for integers of the form $N = c_D k p^{\ell} - 1$ that requires only a single modular exponentiation and achieves a computational complexity of $\tilde{\mathcal{O}}(\log^2 N)$. Furthermore, we also establish an analogue of Korselt's criterion within this setting. Finally, computational data generated using SageMath confirm its efficiency, successfully establishing the primality of numbers in the associated quadratic field within milliseconds.

Maximal quadrics over finite fields and minimal codewords of projective Reed-Muller codes

cs.IT

cs.DM

math.AG

math.CO

math.IT

math.NT

We study the classification of minimal codewords of projective Reed-Muller codes of order $2$. This problem is equivalent to identifying quadrics over finite fields whose set of rational points is maximal with respect to the inclusion. We prove that except one particular case over $\mathbb{F}_2$, any two absolutely irreducible quadrics whose sets of rational points are contained within one another should be equal as projective varieties. We deduce a precise characterisation of the minimal codewords of projective Reed-Muller codes of order $2$ and further give their exact number for each possible weight.

Implementing p-adic numbers in Macaulay2 using its foreign function interface and FLINT

math.AG

math.NT

Macaulay2 is a computer algebra platform widely used by researchers in algebraic geometry and commutative algebra. Using the ForeignFunctions package, it is possible to make calls from Macaulay2 to dynamic libraries such as FLINT. We demonstrate this by introducing a new Macaulay2 package implementing p-adic numbers using FLINT via this interface. We discuss implementation details such as memory allocation, interaction with Macaulay2's garbage collector, and object-oriented design decisions that mirror the existing implementations of the real and complex number fields in Macaulay2.

Markov numbers of semigroups

math.CO

math.NT

In this paper, we systematically study generalized Markov numbers arising from semigroups of reduced integer matrices. This construction allows us to find these numbers by counting perfect matchings of a new family of bipartite graphs, which we call wug-snake graphs. We also show how this relates to the geometry of numbers and the classical theory of Markov minima.

Elementary symmetric polynomials and a potentially injective family of maps on partitions

math.CO

math.NT

In this article, we provide an infinite family of examples to disprove a recent conjecture due to Ballantine and her collaborators on the injectivity of a class of maps, namely pre_k, defined on integer partitions. These maps arise from applying the sequence of elementary symmetric polynomials to integer partitions, where pre_k is associated with the kth polynomial. Subsequently, we state a modified version of their conjecture. Throwing fresh light on these class of maps, we study the inter-relationships between them, deviating from the approaches so far, which study these maps one at a time. Though one case of the conjecture (k=2) has now been settled independently by the work of Ballantine and collaborators, and Li, we provide alternate proofs of three subcases corresponding to this settled case. We also discuss lower bounds for the number of partitions of n which are in the image of the map pre_2.

Forbidden subgraphs in divisor graphs and an Erd\H{o}s divisibility problem

math.CO

math.NT

Erd\H{o}s asked for the largest size $f(n)$ of a subset of $\{1,\dots,n\}$ with no element dividing two others. We show that $f(n)=c_2\,n+o(n)$ for an effectively computable constant $c_2$, and moreover that the number $q(n)$ of such subsets satisfies $q(n)=\beta_2^{n+o(n)}$ for a computable constant $\beta_2$. To prove this, we recast the divisibility constraint as forbidding a certain directed subgraph in the divisor graph on $\{1,\dots,n\}$ and prove a more general result: for any finite family of connected forbidden subgraphs of the divisor graph, both the extremal density and counting rate are effectively computable. The proof uses a theorem of McNew on local statistics of divisor graphs.

Superspecial generalized Howe curves of genus 4, 5, and 6 with completely decomposable Jacobians

math.AG

math.NT

Superspecial curves are important objects in number theory and algebraic geometry, and the existence in genus $g \geq 4$ remains an open problem for all but finitely many characteristics $p > 0$. As a computational approach to this problem, Kudo-Harashita-Howe (2020) showed that a superspecial curve of genus 4 exists in each characteristic $p$ with $7 < p < 20000$. Their method restricted attention to a specific class of curves, known as Howe curves, for which superspeciality is reduced to those of curves of genus at most 2. In this paper, we focus on a more specific class of curves, namely Howe curves whose Jacobians decompose into a product of four elliptic curves. By restricting our attention to such curves, the superspeciality reduces to the supersingularity of elliptic curves, which enables us to construct a superspecial curve of genus 4 more efficiently than Kudo-Harashita-Howe's method. As our first main result, we confirmed by computer the existence of such superspecial curves of genus 4 in characteristics $p$ with $20000 < p < 10^6$. Using a similar approach, we also propose constructions of superspecial curves of genera 5 and 6 from only supersingular elliptic curves. Furthermore, computational experiments establish the existence of superspecial curves of genus 5 (resp. genus 6) in characteristics $p$ with $13 < p < 10^5$ (resp. $7 < p < 10^5$).

Unirational algebraic groups and tame ramification

math.AG

math.NT

Let $\mathcal{O}_K$ be a complete discrete valuation ring with field of fractions $K$ and algebraically closed residue field $k.$ Let $G$ be a smooth connected commutative algebraic group over $K$ which does not contain a copy of $\mathbf{G}_{\mathrm{a}}.$ For each $d$ prime to $p:=\mathrm{char}\, k,$ let $K(d)$ be the unique extension of $K$ of degree $d.$ We investigate how the N\'eron lft-model of $G$ behaves under base change to the ring of integers $\mathcal{O}_{K(d)}.$ Information about this behaviour is encoded in the "jumps" of Edixhoven's filtration on the special fibre of the N\'eron lft-model of $G,$ as well as in Halle-Nicaise's motivic zeta function of $G.$ If $G$ is unirational (e. g. an algebraic torus), we show that the jumps of $G$ are rational numbers and that the motivic zeta function of $G$ is a rational function. We also deduce analogous results for Abelian varieties with potentially totally multiplicative reduction. This answers a question of Halle-Nicaise and partially one of Edixhoven. Along the way, we answer a question of Oesterl\'e about the structure of unipotent algebraic groups over function fields in positive characteristic. Under stronger conditions on $G,$ we obtain rationality of jumps even for separably closed but imperfect $k.$

Near-optimal density theorems for large dilates of large point configurations

math.CA

math.CO

math.NT

We study density thresholds that force a measurable set $E\subseteq\mathbb{R}^d$ to contain all sufficiently large similar copies of every $n$-point configuration. We prove a lower bound of the form $1-O((\log n)/n)$, which matches the known upper bound up to the logarithmic factor, thus essentially resolving a problem posed by Falconer, Yavicoli, and the first author of the present paper. We also study the same problem for embeddings of $n$-point configurations into $\mathbb{R}^d$ equipped with the $\ell^p$ norm, obtaining an asymptotically sharp bound $1-1/n+o(1/n)$, as soon as $p\in(1,\infty)\setminus\{2\}$. In the proof of the former estimate we use equidistribution of polynomial sequences modulo $1$ combined with probabilistic thinning. The proof of the latter estimate relies on the geometry of the $\ell^p$ spaces for $p\neq2$.

Generalised Cesaro Convergence, Root Identities and the Riemann Hypothesis

math.NT

math.CA

v2

We extend the notion of generalised Cesaro summation/convergence developed previously to the more natural setting of what we call "remainder" Cesaro summation/convergence and, after illustrating the utility of this approach in deriving certain classical results, use it to develop a notion of generalised root identities. These extend elementary root identities for polynomials both to more general functions and to a family of identities parametrised by a complex parameter \mu. In so doing they equate one expression (the derivative side) which is defined via Fourier theory, with another (the root side) which is defined via remainder Cesaro summation. For \mu a non-positive integer these identities are naturally adapted to investigating the asymptotic behaviour of the given function and the geometric distribution of its roots. For the Gamma function we show that it satisfies the generalised root identities and use them to constructively deduce Stirling's theorem. For the Riemann zeta function the implications of the generalised root identities for \mu=0,-1 and -2 are explored in detail; in the case of \mu=-2 a symmetry of the non-trivial roots is broken and allows us to conclude, after detailed computation, that the Riemann hypothesis must be false. In light of this, some final direct discussion is given of areas where the arguments used throughout the paper are deficient in rigour and require more detailed justification. The conclusion of section 1 gives guidance on the most direct route through the paper to the claim regarding the Riemann hypothesis.

On the pointwise periodicity of multiplicative and additive functions

math.NT

v2

We study the problem of estimating the number of points of coincidences of an idealized gap on the set of integers under a given multiplicative function $g:\mathbb{N}\longrightarrow \mathbb{C}$ respectively additive function $f:\mathbb{N}\longrightarrow \mathbb{C}$. We obtain various lower bounds depending on the length of the period, by varying the worst growth rates of the ratios of their consecutive values.

Bounds for the distribution of the Frobenius traces associated to a generic abelian variety

math.NT

v2

Let $A$ be an abelian variety defined over $\mathbb{Q}$ and of dimension $g$. Assume that, for each sufficiently large prime $\ell$, $A$ has a surjective residual modulo $\ell$ Galois representation. For $t\in \mathbb{Z}$ and $x>0$, denote by $\pi_A(x, t)$ the number of primes $p \leq x$ for which the Frobenius trace $a_{1, p}(A)$ associated to $A \pmod p$ equals $t$. Assuming the Generalized Riemann Hypothesis for Dedekind zeta functions (GRH), we obtain that $\pi_A(x, 0) \ll_A x^{1 - \frac{1}{2g^2+g+1}}/(\log x)^{1 - \frac{2}{2g^2+g+1}}$ and $\pi_A(x, t) \ll_A x^{1 - \frac{1}{2g^2+g+2}}/(\log x)^{1 - \frac{2}{2g^2+g+2}}$ if $t \neq 0$, and deduce that almost all primes $p$ satisfy $|a_{1, p}(A)| > p^{\frac{1}{2 g^2 + g + 1}}/ (\log p)^{\frac{2}{2g^2+g+1}+\varepsilon}$ for any $\varepsilon>0$. Assuming, in addition to GRH, Artin's Holomorphy Conjecture and a Pair Correlation Conjecture for Artin L-functions, we obtain that $\pi_A(x, 0) \ll_A x^{1 - \frac{1}{g+1}}/(\log x)^{1 - \frac{4}{g+1}}$ and $\pi_A(x, t) \ll_A x^{1 - \frac{1}{g+2}}/(\log x)^{1 - \frac{4}{g+2}}$ if $t \neq 0$, and deduce that almost all primes $p$ satisfy $|a_{1, p}(A)|> p^{\frac{1}{g + 2} - \varepsilon }$ for any $\varepsilon>0$.

On general divisor functions over Piatetski-Shapiro sequences

math.NT

v2

In this paper, we consider the general divisor functions over Piatetski-Shapiro sequences. We can give some general results which contain some special divisor functions. Precisely, we extend the divisor problem over Piatetski-Shapiro sequences to the function $f(n),$ where $f(n)\ll n^{\varepsilon},$ $$f(n)=\sum_{n=n_{1}n_{2}} \tau(n_{1})g(n_{2}),$$ $\tau(n)$ is the number of representations of $n$ as product of two natural numbers and \[ \sum_{1\leq n\leq x}|g(n)|\ll x^{5/8+\varepsilon}. \] On the other hand, we also considered these arithmetic functions over Piatetski-Shapiro sequences in arithmetic progressions.

An Arithmetic Invariant of the Jacquet-Langlands correspondence

math.NT

math.RT

v5

We describe the local-global compatibility of local Plancherel measures and the Tamagawa measure under the Jacquet-Langlands correspondence. We apply the notion of densities of modules over a discrete group, which generalizes the dimensions over a discrete group. We prove that the global Jacquet-Langlands correspondence preserves the densities over principal arithmetic groups.

On the $(\varphi,\Gamma)$-modules corresponding to crystalline representations

math.NT

math.RT

v2

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. We introduce the notion of crystalline $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K^{+}$ and show that their category is equivalent to the category of crystalline $\mathbb{Z}_p$-representations of the absolute Galois group of $K$. In other words, we determine the $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K$ that correspond to crystalline representations. This equivalence generalizes, in certain respects, that of L. Berger in the unramified case.

An algebraicity conjecture of Drinfeld and the moduli of $p$-divisible groups

math.NT

math.AG

v4

We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$ and $1$-bounded cocharacter $\mu$, verifying a recent conjecture of Drinfeld. This can be viewed as a refinement of results of B\"ultel-Pappas, who gave a related construction using $(G,\mu)$-displays defined via rings of Witt vectors. We show that, when $G = \mathrm{GL}_h$ and $\mu$ is a minuscule cocharacter, these stacks are isomorphic to the stack of truncated $p$-divisible groups of height $h$ and dimension $d$ (the latter depending on $\mu$). This gives a generalization of results of Ansch\"utz-Le Bras, yielding a linear algebraic classification of $p$-divisible groups over very general $p$-adic bases, and verifying another conjecture of Drinfeld. The proofs use deformation techniques from derived algebraic geometry, combined with an animated variant of Lau's theory of higher frames and displays, and -- with a view towards applications to the study of local and global Shimura varieties -- actually prove representability results for a wide range of stacks whose tangent complexes are $1$-bounded in a suitable sense. As an immediate application, we prove algebraicity for the stack of perfect $F$-gauges of Hodge-Tate weights $0,1$ and level $n$.

On the mean values of the Barnes multiple zeta function

math.NT

v2

The asymptotic behavior of the mean values of multiple zeta functions is of significant interest due to its close connection with the Riemann zeta function. In this paper, we establish asymptotic behavior of the mean square values of Barnes multiple zeta functions.

Formalising the Bruhat-Tits Tree

math.NT

cs.LO

v4

In this article we describe the formalisation of the Bruhat-Tits tree - an important tool in modern number theory - in the Lean Theorem Prover. Motivated by the goal of connecting to ongoing research, we apply our formalisation to verify a result about harmonic cochains on the tree.

On the Asymptotic Density of a GCD-based Map

math.NT

v2

We show that the symmetry of \[f\left(a,b\right)=\frac{\operatorname{gcd}\left(ab,a+b\right)}{\operatorname{gcd}\left(a,b\right)}\] stems from an $\operatorname{SL}_2\left(\mathbb{Z}\right)$ action on primitive pairs and that all solutions to $f\left(a,b\right)=n$ admit a uniform three-parameter description -- recovering arithmetic-progression families via the Chinese remainder theorem when $n$ is squarefree. It shows that the density of pairs with $f\left(a,b\right)=1$ tends to $\prod_p\left(1-p^{-2}(p+1)^{-1}\right)\approx0.88151$, and that its higher-order analogue $f_r$ has a limiting density $6/\pi^2$ for $r\ge2$.

On the $b$-ary expansion of a real number whose irrationality exponent is close to 2

math.NT

v2

Let $b \ge 2$ be an integer and $\xi$ an irrational real number. We establishes that, if the irrationality exponent of $\xi$ is less than $2.324 \ldots$, then the $b$-ary expansion of $\xi$ cannot be `too simple', in a suitable sense. This improves the results of our previous paper [Ann. Sc. Norm. Super. Pisa Cl. Sci., 2017].

Hermite-Jensen limits and $d$ log-concavity of $q$-multinomials

math.NT

math.CO

v2

In 1878, Sylvester proved Cayley's Conjecture that the coefficients of the Gaussian $q$-binomial coefficients are unimodal. In 1990, O'Hara famously discovered a constructive combinatorial proof, and in 2013, Pak and Panova proved the stronger property of strict unimodality for sufficiently large parameters. We move from unimodality to log-concavity and higher degree $ d$ log-concavity, known as Tur\'an inequalities. Although $q$-binomial coefficients are not always log- or degree $d$ log-concave, it's natural to ask to what extent these inequalities hold. In infinite families with limiting aspect ratio bounded away from zero and one, we prove that these stronger inequalities hold uniformly, for each $C>0,$ on the central window $|m-\mu|< C\sigma,$ where $\mu$ and $\sigma$ are the mean and standard deviation of the normalized distribution. More generally, we obtain the same conclusions for $q$-multinomial coefficients. These results stem from the asymptotic behavior of normalized Jensen polynomials, which are approximated by Hermite polynomials.

On a system of two Diophantine inequalities with six prime variables

math.NT

v2

Suppose that $c,d,\alpha,\beta$ are real numbers satisfying the inequalities $1<79/71$ and $1<\alpha<\beta<6^{1-d/c}$. In this paper, it is proved that, for sufficiently large real numbers $N_1$ and $N_2$ subject to $\alpha\leqslant N_2/N_1^{d/c}\leqslant\beta$, the following Diophantine inequalities system \begin{align*} \begin{cases} |p_1^c+p_2^c+p_3^c+p_4^c+p_5^c+p_6^c-N_1|<\varepsilon_1 (N_1) \\ |p_1^d+p_2^d+p_3^d+p_4^d+p_5^d+p_6^d-N_2|<\varepsilon_2 (N_2) \end{cases} \end{align*} is solvable in prime variables $p_1, p_2, p_3, p_4, p_5, p_6$, where \begin{align*} \begin{cases} \varepsilon_1 (N_1)=N_1^{-(1/c)(79/71-c)} (\log N_1)^{201}, \\ \varepsilon_2 (N_2)=N_2^{-(1/d)(79/71-d)} (\log N_2)^{201} . \end{cases} \end{align*} This result constitutes an improvement upon the previous result of Han-Liu-Zhang [5].

On the Limiting Density of a gcd Map

math.NT

math.RA

v2

The function \[f(a,b)=\frac{\gcd(a+b,ab)}{\gcd(a,b)}\] is of interest in this paper. We then ask a natural question regarding how often $f(a,b)=1$ is. We yield the limiting density $\rho=\prod_{p}\left(1-\frac{1}{p^2(p+1)}\right)\approx 0.88151$ which is an Euler product that unexpectedly matches the quadratic class number constant from the theory of real quadratic fields. We also consider its higher-order analogue $f_r$, where the problem collapses to coprimality and the density becomes $1/\zeta(2)=6/\pi^2$.

Remarks on the inverse Littlewood conjecture

math.NT

math.CA

math.CO

v2

The Littlewood conjecture, proven by Konyagin and McGehee-Pigno-Smith in the 1980s, states that if $A\subset \mathbb{Z}$ is a finite set of integers with $\lvert A\rvert=N$ then $\| \widehat{1_A}\|_1\geq c\log N$ for some absolute constant $c > 0$. We explore what structure $A$ must have if $\| \widehat{1_A}\|_1\leq K\log N$ for some constant $K$. Under such an assumption we prove, for instance, that $A$ contains a subset $A'\subseteq A$ with $\lvert A\rvert \geq N^{0.99}$ such that $\lvert A'+A'\rvert \ll K^{O(1)}\lvert A'\rvert$. As a consequence, for any $k\geq 3$, if $N$ is sufficiently large depending on $k$ and $K$, then $A$ must contain an arithmetic progression of length $k$. A byproduct of our analysis is a (slightly) improved bound for the constant $c$.

Sums of four generalized polygonal numbers of almost prime length

math.NT

v2

In this paper, we consider sums of four generalized polygonal numbers whose parameters are restricted to integers with a bounded number of prime divisors. With some restriction on m modulo 30, we show that for n sufficiently large, it can be represented as such a sum, where the parameters are restricted to have at most 988 prime factors.

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

math.NT

v2

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.

An integrality phenomenon

math.NT

math.CA

math.CO

v2

We prove a general statement about the integrality of the sequences generated by a recursion of the following form: $nu_n$ equals a linear combination of $u_{n-1},u_{n-2},\dots,u_0$ with polynomial coefficients in $n$ of special form. This includes a conjectural integrality of the sequence related to the H\"ormander-Bernhardsson extremal function, for which we further give a direct proof as well.

On nonconvex constellations among primes I

math.NT

v3

Extending our work on the $k$-tuple conjecture, we apply those methods to the Engelsma counterexamples (narrow constellations) of length $J=459$ and span $|s|=3242$. We track the evolution of these $58$ counterexamples from inadmissible driving terms starting in the cycle of gaps ${\mathcal G}(11^\#)$ up through their first appearance in ${\mathcal G}(113^\#)$. We continue developing primorial coordinates for each admissible instance through a breadth-first exhaustive search through ${\mathcal G}(211^\#)$, at which point we need to develop strategies for depth-first searches for an instance that would survive Eratosthenes sieve. Our calculations show that {\em none} of the $(459,3242)$-counterexamples occur before $9.7\,E73$. For each of the $58$ Engelsma $(459,3242)$-counterexamples we calculate its asymptotic relative population, among other constellations of length $J=459$, and we study how these counterexamples work. In this version (9 April) we have completed the calculations in Table 6 to include all of the terms in primorial expansion for the smallest initial generator and corrected a typographical error on page 6.

Values of algebraic functions at Liouville numbers

math.NT

v2

In 1953 LeVeque proved the existence of $U_m$-numbers by showing that for some specially defined Liouville number $\lambda$, the $m$th root $\lambda^{1/m}$ is in $U_m$. In this article we study the following question: let $u$ be an algebraic function of degree $m$ and $\lambda$ a Liouville number; under which conditions is $u(\lambda)$ a $U_m$-number? We consider a more refined notion of $\mathcal{L}$-numbers, and show that, under very general assumptions, an algebraic function of degree $m$ takes $U_m$-values at all $\mathcal{L}$-numbers.

Remarks on the conjectures of Capparelli, Meurman, Primc and Primc

math.CO

math.NT

math.RT

v2

In a series of two papers, S. Capparelli, A. Meurman, A. Primc, M. Primc (CMPP) and then M. Primc put forth three remarkable sets of conjectures, stating that the generating functions of coloured integer partition in which the parts satisfy restrictions on the multiplicities admit simple infinite product forms. While CMPP related one set of conjectures to the principally specialised characters of standard modules for the affine Lie algebra $\mathrm{C}_n^{(1)}$, finding a Lie-algebraic interpretation for the remaining two sets remained an open problem. In this paper, we use the work of Griffin, Ono and the fourth author on Rogers-Ramanujan identities for affine Lie algebras to solve this problem, relating the remaining two sets of conjectures to non-standard specialisations of standard modules for $\mathrm{A}_{2n}^{(2)}$ and $\mathrm{D}_{n+1}^{(2)}$. We also use their work to formulate conjectures for the bivariate generating function of one-parameter families of CMPP partitions in terms of Hall-Littlewood symmetric functions. We make a detailed study of several further aspects of CMPP partitions, obtaining (i) functional equations for bivariate generating functions which generalise the well-known Rogers-Selberg equations, (ii) a partial level-rank duality in the $\mathrm{A}_{2n}^{(2)}$ case, and (iii) (conjectural) identities of the Rogers-Ramanujan type for $\mathrm{D}_3^{(2)}$.

Moduli spaces of curves with polynomial point counts

math.AG

math.NT

v2

We prove that the number of curves of a fixed genus g over finite fields is a polynomial function of the size of the field if and only if g is at most 8. Furthermore, we determine for each positive genus g the smallest n such that the moduli space of curves of genus g with n marked points does not have polynomial point count. A key ingredient in the proofs, which is also a new result of independent interest, is the computation of the thirteenth cohomology group of the moduli spaces of stable curves of genus g with n marked points, for all g and n.

Adelic Models of Percolation

math-ph

math.MP

math.NT

math.PR

v2

Models of long range percolations on lattices and on hierarchical lattices are related through the use of three intermediate geometries: a 1-parameter deformation based on the power mean function, relating lattice percolation to a percolation model governed by the toric volume form; the adelic product formula for a function field, relating the hierarchical lattice model to an adelic percolation model; and the adelic product formula for number fields that relates the toric percolation model on the lattice given by the ring of integers in the Minkowski embedding to another adelic percolation model.

Nine and ten lonely runners

math.CO

cs.DM

math.NT

v2

The Lonely Runner Conjecture of Wills and Cusick states that if $k+1$ runners start running at distinct constant speeds around a unit-length circular track, then for each runner there is a time when he/she is at least $1/(k+1)$ away from all other runners. Rosenfeld recently obtained a computer-assisted proof of the conjecture for $8$ runners. By refining his approach with a sieve, we obtain proofs (also computer-assisted) for $9$ and $10$ runners.