Number Theory [math.NT]

The Beilinson-Bloch conjecture for some cubic threefolds over global function fields
math.NT
math.AG


Matt Broe

We prove conjectures on algebraic cycles, due to Beilinson, Bloch, and Jannsen, for a class of smooth cubic threefolds over global function fields, using tools introduced by Jannsen. We deduce the Birch and Swinnerton-Dyer conjecture for their intermediate Jacobians, and use it to construct new examples of varieties over finite fields satisfying the Tate conjecture.

Integral Diophantine approximation on varieties
math.NT
math.AG


Zhizhong Huang, Florian Wilsch

We study the local behavior of integral points on log pairs near a fixed rational point in the boundary by means of an integral approximation constant. In light of Siegel's theorem about integral points on curves and McKinnon's conjecture on rational approximation constants, we conjecture that integral points that are close to the fixed point in archimedean topology should lie on certain rational curves with at most two points at infinity on weakly log Fano varieties. We verify this conjecture for a number of examples.

Chebyshev's bias for modular forms
math.NT


Shin-ya Koyama, Arshay Sheth

We study Chebyshev's bias for the signs of Fourier coefficients of cuspidal newforms on $\Gamma_0(N)$. Our main result shows that the bias towards either sign is completely determined by the order of vanishing of the $L$-function $L(s, f)$ at the central point of the critical strip. We then give several examples of modular forms where we explicitly compute the order of vanishing of $L(s, f)$ at the central point and as a by-product, verify the super-positivity property, in the sense of Yun--Zhang (2017), for these examples.

A generalization of Littlewood's $L^\alpha$ flat theorem, $\alpha>0$
math.NT
math.DS


el Houcein el Abdalaoui

We establish a generalization of Littlewood's criterion on $L^\alpha$-flatness by proving that there is no $L^\alpha$-flat polynomials, $\alpha>0$, within the class of analytic polynomials on the unit circle of the form $ P_n(z)=\sum_{m=1}^{n}c_m z^m, n \in {\mathbb{N}}^*,$ satisfying $$ \sum_{m=1}^{n}|c_m|^2 \leq \frac{K}{n^2} \sum_{m=1}^{n}m^2 |c_m|^2, $$ where $K$ is an absolutely constant. As a consequence, we confirm the $L^\alpha$-Littlewood conjecture, and thereby the $L^1$-Newman and $L^\infty$-Erd\"os conjectures. Our approach combines the $L^\alpha$ Littlewood theorem with the generalized Clarkson's second inequality for $L^\alpha(X,\mathcal{A},m;B)$, with $B$ a Banach spaces and $1 < \alpha \leq 2.$ It follows that there are only finitely many Barker sequences, and we further present several applications in number theory and the spectral theory of dynamical systems. Finally, we construct Gauss-Fresnel polynomials that are Mahler-flat, providing a new proof of the Beller-Newman theorem.

Local points on twists of $X(p)$
math.NT


Nuno Freitas, Diana Mocanu

Let $E/\mathbb{Q}$ be an elliptic curve and $p \geq 3$ a prime. The modular curve $X_E^-(p)$ parametrizes elliptic curves with $p$-torsion modules anti-symplectically isomorphic to $E[p]$. For each $\ell \neq p$, we give conditions, in terms of the type of reduction of $E$ at $\ell$ and standard invariants associated to $E/\mathbb{Q}_\ell$, for $X_E^-(p)(\mathbb{Q}_\ell)$ to be non-empty. Moreover, our conditions completely classify when $X_E^-(p)(\mathbb{Q}_\ell) \neq \emptyset$ except in a special case of good reduction; our main result includes $\ell = p$ when $E$ is semistable at $p$. As an application, we classify CM curves $E/\mathbb{Q}$ where the modular curve $X_E^-(p)$ is a counterexample to the Hasse principle for infinitely many $p$. Assuming the Frey--Mazur conjecture, we prove that for at least $60\%$ of rational elliptic curves $E$, the modular curve $X_E^-(p)$ is a counterexample to the Hasse principle for $50\%$ of primes $p$. Additionally, we simplify several local symplectic criteria in the work of the first author and Alain Kraus.

Siegel Eisenstein Series with Paramodular Level
math.NT


Erin Pierce, Ralf Schmidt

Starting with a primitive Dirichlet character of conductor $N$, we construct a paramodular Siegel Eisenstein series of level $N^2$ and weight $k\geq4$. We calculate the Fourier expansion of the holomorphic Siegel modular form thus constructed. The function is a paramodular newform, and its adelization generates an irreducible automorphic representation.

From small eigenvalues to large cuts, and Chowla's cosine problem
math.CO
math.CA
math.NT
math.SP


Zhihan Jin, Aleksa Milojević, István Tomon, Shengtong Zhang

We show that there exists an absolute constant $\gamma>0$ such that for every $A\subseteq \mathbb{Z}_{>0}$ we have \[\min_{x\in [0, 2\pi]}\sum_{a\in A}\cos(ax)\leq -\Omega(|A|^{\gamma}).\] This gives the first polynomial bound for Chowla's cosine problem from 1965. To show this, we prove structural statements about graphs whose smallest eigenvalue is small in absolute value. As another application, we show that any graph $G$ with $m$ edges and no clique of size $m^{1/2-\delta}$ has a cut of size least $m/2+m^{1/2+\varepsilon}$ for some $\varepsilon=\varepsilon(\delta)>0$. This proves a weak version of a celebrated conjecture of Alon, Bollob\'as, Krivelevich, and Sudakov. Our proofs are based on novel spectral and linear algebraic techniques, involving subspace compressions and Hadamard products of matrices.

Regular Structures in Kronecker Permutations
math.CO
math.NT


François Clément

Kronecker sequences $(k \alpha \mod 1)_{k=1}^{\infty}$ for some irrational $\alpha > 0$ have played an important role in many areas of mathematics. It is possible to associate to each finite segment $(k \alpha \mod 1)_{k=1}^{n}$ a permutation $\pi \in S_n$ associated with the canonical lifting to two dimensions. We show that these permutations induced by Kronecker sequences based on irrational $\alpha$ are extremely regular for specific choices of $n$ and $\alpha$. In particular, all quadratic irrationals have an infinite number of choices of $n$ that lead to permutations where no cycle has length more than 4.

Hausdorff dimension of double base expansions and binary shifts with a hole
math.DS
math.MG
math.NT


Jian Lu, Wolfgang Steiner, Yuru Zou

For two real bases $q_0, q_1 > 1$, a binary sequence $i_1 i_2 \cdots \in \{0,1\}^\infty$ is the $(q_0,q_1)$-expansion of the number \[ \pi_{q_0,q_1}(i_1 i_2 \cdots) = \sum_{k=1}^\infty \frac{i_k}{q_{i_1} \cdots q_{i_k}}. \] Let $U_{q_0,q_1}$ be the set of all real numbers having a unique $(q_0,q_1)$-expansion. When the bases are equal, i.e., $q_0 = q_1 = q$, Allaart and Kong (2019) established the continuity in $q$ of the Hausdorff dimension of the univoque set $U_{q,q}$, building on the work of Komornik, Kong, and Li (2017). We derive explicit formulas for the Hausdorff dimension of $U_{q_0,q_1}$ and the entropy of the underlying subshift for arbitrary $q_0, q_1 > 1$, and prove the continuity of these quantities as functions of $(q_0, q_1)$. Our results also concern general dynamical systems described by binary shifts with a hole, including, in particular, the doubling map with a hole and (linear) Lorenz maps.

Integer Sets of Large Harmonic Sum Which Avoid Long Arithmetic Progressions
math.NT
math.CO
v2


Alexander Walker

We give conditions under which certain digit-restricted integer sets avoid $k$-term arithmetic progressions. These sets and their harmonic sums can be computed efficiently. Through large-scale search, we identify integer sets avoiding arithmetic progressions of length 4 and 10 whose harmonic sums exceed earlier "greedy" constructions.

Furstenberg--S\'{a}rk\"{o}zy theorem and partition regularity of polynomial equations over finite fields
math.NT
math.DS
v3


Ethan Ackelsberg, Vitaly Bergelson

We prove new combinatorial results about polynomial configurations in large subsets of finite fields. Bergelson--Leibman--McCutcheon (2005) showed that for any polynomial $P(x) \in \mathbb{Z}[x]$ with $P(0) = 0$, if $A \subseteq \mathbb{F}_q$ is a subset of a $q$-element finite field and $A$ does not contains distinct $a, b$ such that $b - a = P(x)$ for some $x$, then $|A| = o(q)$. In fields of sufficiently large characterstic, the bound $o(q)$ can be improved to $O(q^{1/2})$ by the Weil bound. We match this bound in the low characteristic setting and give a complete algebraic characterization of the class of polynomials for which the Furstenberg--S\'{a}rk\"{o}zy theorem holds over finite fields of fixed characteristic. Our next main result deals with an enhancement of the Furstenberg--S\'{a}rk\"{o}zy theorem over finite fields. Another consequence of the Weil bound is that if $P(x) \in \mathbb{Z}[x]$, $A, B \subseteq \mathbb{F}_q$, and there do not exist elements $a \in A$ and $b \in B$ with $b - a = P(x)$ for some $x$, then $|A| |B| = O(q)$, provided that the characteristic of $\mathbb{F}_q$ is sufficiently large depending on $P$. We provide a complete description of the family of polynomials for which this asymmetric enhancement holds over fields of fixed characteristic, achieving the same quantitative bounds that are available in the high characteristic setting. The exponential sum estimates that we produce in dealing with the above problems also allow us to establish partition regularity of families of polynomial equations over finite fields. As an example, we prove: if $P(x) \in \mathbb{Z}[x]$ with $P(0) = 0$, then for any $r \in \mathbb{N}$, there exists $N = N(P,r)$ and $c = c(P,r) > 0$ such that if $q > N$ and $\mathbb{F}_q = \bigcup_{i=1}^r{C_i}$, then there are at least $cq^2$ monochromatic solutions to the equation $P(x) + P(y) = P(z)$.

Counting integer points on affine surfaces with a side condition
math.NT
v2


Tim Browning, Matteo Verzobio

We extend work of Heath-Brown and Salberger, based on the determinant method, to provide a uniform upper bound for the number of integral points of bounded height on an affine surface, which are subject to a polynomial congruence condition. This is applied to get a new uniform bound for points on diagonal quadric surfaces, and to a problem about the representation of integers as a sum of four unlike powers.

Rational points in a family of conics over $\mathbb{F}_2(t)$
math.NT
v2


Daniel Loughran, Judith Ortmann

Serre famously showed that almost all plane conics over $\mathbb{Q}$ have no rational point. We investigate versions of this over global function fields, focusing on a specific family of conics over $\mathbb{F}_2(t)$ which illustrates new behaviour. We obtain an asymptotic formula using harmonic analysis, which requires a Tauberian theorem over function fields for Dirichlet series with branch point singularities.

Determining explicitly the Mordell-Weil group of certain rational elliptic surfaces
math.NT
math.AG
v2


Remke Kloosterman

Let $A,B$ be nonzero rational numbers. Consider the elliptic curve $E_{A,B}/\mathbb{Q}(t)$ with Weierstrass equation $y^2=x^3+At^6+B$. An algorithm to determine $\mathrm{rank } E_{A,B}(\mathbb{Q}(t))$ as a function of $(A,B)$ was presented in a recent paper by Desjardins and Naskrecki. We will give a different and shorter proof for the correctness of that algorithm, using a more geometric approach and discuss for which classes of examples this approach might be useful.

The approach of cluster symmetry to Diophantine equations
math.NT
math.AC
math.CO
v2


Leizhen Bao, Fang Li

This paper aims to employ a cluster-theoretic approach to provide a class of Diophantine equations whose solutions can be obtained by starting from initial solutions through mutations. We establish a novel framework bridging cluster theory and Diophantine equations through the lens of cluster symmetry. On the one hand, we give the necessary and sufficient condition for Laurent polynomials to remain invariant under a given cluster symmetric map. On the other hand, we construct a discriminant algorithm to determine whether a given Laurent polynomial has cluster symmetry and whether it can be realized in a generalized cluster algebra. As applications of this framework, we solve Markov-cluster equations, describe three classes of invariant Laurent polynomial rings, resolve two questions posed by Gyoda and Matsushita, and lastly give two MATLAB programs about our main theorems.

The partition function and elliptic curves
math.NT
math.CO
v3


Ken Ono

For each $n\geq 1$, we express the partition function $p(n)$ as a CM trace on $X_0(6)$ of the discriminant $\Delta_n:=1-24n$ invariants of a weight 0 weak Maass function $P$ that records where CM elliptic curves sit on $X(1)$, together with their canonical first-order "CM tangent'', the diagonal local slope of the CM isogeny relation on $X(1)\times X(1)$. In this viewpoint, we obtain a formula for $p(n)\!\!\pmod{\ell},$ when $\ell$ is inert in $\mathbb{Q}(\sqrt{\Delta_n}),$ as a Brandt-module pairing $\langle u_{\Delta_n},v_P\rangle$ that is assembled from oriented optimal embeddings of Eichler orders. For $\ell \in \{5, 7, 11\}$ and $j\geq 1$, we obtain a new proof of the Ramanujan congruences $$ p(5^j n +\beta_5(j))\equiv 0\pmod{5^j}, $$ $$ p(7^j n +\beta_7(j))\equiv 0\pmod{7^{ [ j/2]+1}}, $$ $$ p(11^jn+\beta_{11}(j))\equiv 0\pmod{11^j}, $$ where $\beta_m(j)$ is the unique residue $0\le \beta

Expression for $g(k)$ Related to Waring's Problem
math.NT
v2


Owen Root

Waring's Problem asks whether, for each positive integer $k$, there exists an integer $s$ such that every positive integer is a sum of at most $k$th powers. While Hilbert proved the existence of such $s$, Waring's Problem has lead to areas of related work, namely the function $g(k)$, which denotes the least such $s$. There is no known general closed form for $g(k)$, though for $g(k)$ has been evaluated for small $k$. Prior work has reduced the problem to verifying a particular condition, which if never occurs, implies an expression for $g(k)$. In this paper, I present a proof the condition never occurs, thus fixing the value of $g(k)$.

The divisor function along arithmetic progressions and binary cubic polynomials
math.NT
v2


Lasse Grimmelt, Jori Merikoski

We prove a new equidistribution estimate for the divisor function in arithmetic progression to moduli that have two small factors. We give two applications. First, we show an asymptotic formula for the divisor function over arithmetic progressions to almost all moduli of exponent $2/3$. Second, we show an asymptotic formula for the divisor function along the nonhomogeneous binary cubic polynomial $X Y^2+1$.

Companions to the Andrews-Gordon and Andrews-Bressoud identities, and recent conjectures of Capparelli, Meurman, Primc, and Primc
math.CO
math.NT
math.RT
v2


Matthew C. Russell

We find bivariate generating functions for the $k=1$ cases of recently conjectured colored partition identities of Capparelli, Meurman, A. Primc, and M. Primc that are slight variants of the generating functions for the sum sides of the Andrews-Gordon and Andrews-Bressoud identities, relating them to recent work of Warnaar. This $k=1$ cases turn out to be equivalent to identities of Jing, Misra, and Savage. Finally, we provide bijections for these identities involving two-line cylindric partitions, in the spirit of Corteel.

Extravagance, irrationality and Diophantine approximation
math.DS
math.NT
math.PR
v5


Jon Aaronson, Hitoshi Nakada

For an invariant probability measure for the Gauss map, almost all numbers are Diophantine if the log of the partial quotient function is integrable. We show that with respect to a ``continued fraction mixing'' measure for the Gauss map with the log of the partial quotient function non-integrable, almost all numbers are Liouville. We also exhibit Gauss-invariant, ergodic measures with arbitrary irrationality exponent. The proofs are applications of our study of the ``extravagance'' of positive, stationary, stochastic processes. In addition, we prove a Khinchin-type dichotomy for Diophantine approximation with respect to ergodic``weak Renyi measures'' which are ``doubling at $0$''.

On restricted sumsets with bounded degree relations
math.CO
math.NT
v3


Minghui Ouyang

Given two subsets $A, B \subseteq \mathbb{F}_p$ and a binary relation $\mathcal{R} \subseteq A \times B$, the restricted sumset of $A, B$ with respect to $\mathcal{R}$ is defined as $A +_{\mathcal{R}} B = \{ a+b \colon (a,b) \notin \mathcal{R} \}$. When $\mathcal{R}$ is taken as the equality relation, determining the minimum value of $|A +_{\mathcal{R}} B|$ is the famous Erd\H{o}s--Heilbronn problem, which was solved separately by Dias da Silva, Hamidoune and Alon, Nathanson and Ruzsa. Lev later conjectured that if $A, B \subseteq \mathbb{F}_p$ with $|A| + |B| \le p$ and $\mathcal{R}$ is a matching between subsets of $A$ and $B$, then $|A +_{\mathcal{R}} B| \ge |A| + |B| - 3$. We confirm this conjecture in the case where $|A| + |B| \le (1-\varepsilon)p$ for any $\varepsilon > 0$, provided that $p > p_0$ for some sufficiently large $p_0$ depending only on $\varepsilon$. Our proof builds on a recent work by Bollob\'as, Leader, and Tiba, and a rectifiability argument developed by Green and Ruzsa. Furthermore, our method extends to cases when $\mathcal{R}$ is a degree-bounded relation, either on both sides $A$ and $B$ or solely on the smaller set. In addition, we construct subsets $A \subseteq \mathbb{F}_p$ with $|A| = \frac{6p}{11} - O(1)$ such that $|A +_{\mathcal{R}} A| = p-3$ for any prime number $p$, where $\mathcal{R}$ is a matching on $A$. This extends an earlier construction by Lev and highlights a distinction between the combinatorial notion of the restricted sumset and the classcial Erd\H{o}s--Heilbronn problem, where $|A +_{\mathcal{R}} A| \ge p$ holds given $\mathcal{R} = \{(a,a) \colon a \in A\}$ is the equality relation on $A$ and $|A| \ge \frac{p+3}{2}$.