Number Theory [math.NT]

Simultaneous Approximation for Lattice-Based Cryptography

math.NT

We define two new problems called SIAP and CAP related to solving SIVP and CVP in a subset of lattices called Simultaneous Approximation (SA) lattices. We give dimension- and gap-preserving, deterministic polynomial-time and space reductions from SVP$_\gamma$, SIVP$_\gamma$, and CVP$_\gamma$ to their corresponding problems in SA lattices. These reductions show that instances of these problems in SA lattices are just as hard as general instances and thus are interesting new problems to consider for use in cryptography. We also show that the reductions are optimal in regards to integer inflation.

Computing Invariants of Artin-Schreier Curves

math.NT

math.AG

We present an algorithmic framework for computing generators for the ring of invariants of an Artin-Schreier curve. We give explicit invariants for almost all Artin-Schreier curves of genus up to~8 in standard form, and for a handful of curves of higher genus.

Analogue of the theta group $\Gamma_{\theta}$

math.NT

In this paper, we introduce higher level versions of the theta group $\Gamma_{\theta}.$ In particular, we treat level 3 and 4 versions of the theta group, $\Gamma_{\theta,3}$ and $\Gamma_{\theta,4}$ and prove that $\displaystyle F(\tau)=\eta \left(\frac{\tau-1}{3} \right) \eta\left(\frac{\tau+1}{3} \right)$ and $\displaystyle G(\tau)=\eta \left(\frac{\tau-1}{4} \right) \eta\left(\frac{\tau+1}{4} \right)$ are modular forms on $\Gamma_{\theta,3}$ and $\Gamma_{\theta,4}$ respectively. Moreover we compute their multiplier systems, $\nu_{F}$ and $\nu_{G}$.

Weakening the Legendre Conjecture

math.NT

The world of primes has many gaps between evidence and theorems. Here, we review Legendre's conjecture on primes between consecutive squares and recent progress on the weaker question of primes between consecutive larger powers. Assuming the Riemann hypothesis (RH), we observe that a recent result of Emanuel Carneiro, Micah Milinovich and Kannan Soundararajan, combined with a large-scale computation by Jonathan Sorenson and Jonathan Webster, implies the existence of primes between $x^{2+\delta}$ and $(x+1)^{2+\delta}$ for all real $x \geq 1$ when $\delta \geq 1/4$. For smaller values of $\delta > 0$, we provide an explicit bound $x_0 = x_0 (\delta)$ such that primes exist in these intervals whenever $x \geq x_0$ (again assuming RH). We conclude with an application to Mills-type prime-generating constants.

Multiplicative Diophantine Approximation on Planar Lines with Restricted Denominators

math.NT

We prove a Khintchine result for convergence of a multiplicative Diophantine set with restricted denominators on an arbitrary non-degenerate line. Specifically, given sequences of real numbers $\{a_n\}_{n\in\mathbb{N}},\, \{b_n\}_{n\in\mathbb{N}},\, \{c_n\}_{n\in\mathbb{N}},\, \{d_n\}_{n\in\mathbb{N}},$ we determine convergence conditions under which the set of $x\in [0,1]$ which satisfy $\left\lVert a_n x +c_n\right\rVert \cdot \left\lVert b_n x + d_n \right\rVert < \psi(n) $ for infinitely many $n\in\mathbb{N}$ has zero Hausdorff s-measure. We also obtain an upper bound for the Hausdorff dimension in the inhomogeneous setting.

An Explicit Result for the Sum of Two Almost Primes

math.NT

We show that every $N \geq 2$ can be written as the sum of positive integers $a$ and $b$ where $\Omega(ab) \leq 21$. The result is obtained through the direct application of an explicit lower bound Selberg sieve along with some computation and optimisation.

On rational quadratic cocycles

math.NT

math.AG

Let $(V,q)$ be a non-degenerate $n$-dimensional quadratic space over the rationals of real signature $(r,s)$. For every integer $1\leq k \leq \min\{r,n-2\}$ we construct classes in the cohomology of arithmetic subgroups of $\mathrm{O}(V)$ with values in the group of codimension $k$ cycles on the quadric of isotropic lines in $V$. Generating series of images of these classes in an equivariant version of the $k$-th Chow group are shown to be Siegel modular forms of genus $k$ in the extremal cases $k=1$ and $k=r$. Soit $(V,q)$ un espace quadratique non d\'eg\'en\'er\'e de dimension $n$ sur les rationnels, de signature r\'eelle $(r,s)$. Pour tout entier $1 \leq k \leq \min\{r,n-2\}$, nous construisons des classes dans la cohomologie des sous-groupes arithm\'etiques de $\mathrm{O}(V)$ \`a valeurs dans le groupe des cycles de codimension $k$ sur la quadrique des droites isotropes dans $V$. Les s\'eries g\'en\'eratrices des images de ces classes dans une version \'equivariante du $k$-i\`eme groupe de Chow sont des formes modulaires de Siegel de genre $k$ dans les cas extr\'emaux $k=1$ et $k=r$.

Distribution of sums involving Dirichlet characters over the $k$-free integers

math.NT

Assuming the generalized Riemann hypothesis and a bound for the negative discrete moments of the Riemann zeta function (resp. Dirichlet $L$-functions), we prove the existence of a logarithmic limiting distribution for the normalized partial sums $x^{-\frac{1}{2k}}\sum_{n\leq x}f(n)$, where $f$ is either a quadratic Dirichlet character or a modified Dirichlet character, restricted to the $k$-free integers. Moreover, we strengthen a conjecture made by Aymone, Medeiros and the author (cf. Ramanujan J. 59(3):713-728, 2022) concerning the precise order of magnitude for these partial sums.

Invertible Calabi-Yau Orbifolds over Finite Fields II

math.NT

hep-th

math.AG

We state a conjecture about the zeta function of crepant resolutions of Berglund--H\"ubsch orbifold hypersurfaces over a finite field. In addition to numerical evidence, we show that our conjectural zeta function satisfies the Weil conjectures and we elucidate its connection with Monsky--Washnitzer cohomology.

Endoscopic transfer and the wavefront upper bound conjecture

math.RT

math.NT

We verify the upper bound conjecture of Kim and the second author, and Hazeltine--Liu--Lo--Shahidi, for the geometric wavefront sets of co-tempered representations of split classical $p$-adic groups with $p\gg 0$, under certain technical conditions. The proof uses Waldspurger's work on the endoscopic transfer supplemented by results of Konno and Varma, as well as the wavefront set computations in the unipotent case by Mason-Brown--Okada and the second author.

R-triviality for adjoint classical groups of type C

math.RA

math.NT

For a central simple algebra with a symplectic involution (A,s) over a field of characteristic different from 2, we show that its group of projective similitudes PSim(A,s) is R-trivial in two new cases.

Approximating parametric suprema for constructible and power-constructible functions

math.AG

math.LO

math.NT

We prove that one may approximate parametric suprema of constructible and power-constructible functions using functions within the same class. This resolves a conjecture by Adiceam and Cluckers, which was posited after studying a question posed by Sarnak. We apply our result to prove that a certain subclass of Cexp-class distributions is tempered and to make uniform a bound concerning pushforward measures.

Toric schemes and integral models for Shimura varieties with $\Gamma_1(p)$-type level

math.AG

math.NT

math.RT

We propose a conjectural theory of $p$-integral models of Shimura varieties with level structure at $p$ given by a class of normal subgroups of parahoric subgroups with abelian quotient group. The role of the theory of local models is played in this context by a certain root stack over the local model for parahoric level. The construction of this root stack is based on the "divisor theorem" (a foundational fact about local models) and on the theory of toric varieties in this context, both of which are of independent interest. We prove our conjecture in the case of Shimura varieties of PEL type when the parahoric is an Iwahori (under some additional conditions).

Fourier growth of degree $2$ polynomials

math.NT

math.AP

math.CO

math.FA

v2

We prove bounds for the absolute sum of all level-$k$ Fourier coefficients for $(-1)^{p(x)}$, where polynomial $p:\mathbf{F}_2^n \to \mathbf{F}_2$ is of degree $1$ or degree $2$.

Pythagoras numbers for infinite algebraic fields

math.NT

v2

We prove that the Pythagoras number of the ring of integers of the compositum of all real quadratic fields is infinite. The same holds for certain infinite totally real cyclotomic fields. In contrast, we construct infinite degree totally real algebraic fields whose rings of integers have finite Pythagoras numbers, namely, one, two, three, and at least four.

High order elements in extensions of finite fields given by binomials

math.NT

v2

We construct explicitly in any finite field of the form Fq[x]/(x^m-a) elements with multiplicative order at least 2^{(2m)^(1/2)}

Mordell--Lang and disparate Selmer ranks of odd twists of some superelliptic curves over global function fields

math.NT

v2

Fix a prime number $\ell \geq 5$. Let $K = \mathbb{F}_q(t)$ be a global function field of characteristic $p$ coprime to $2,3$, and $q \equiv 1 \text{ mod } \ell$. Let $C:y^\ell = F(x)$ be a non-isotrivial superelliptic curve over $K$ such that $F$ is a degree $3$ polynomial over $\mathbb{F}_q(t)$. Denote by $C_f: fy^\ell = F(x)$ the twist of $C$ by a polynomial $f$ over $\mathbb{F}_q$. Assuming some conditions on $C$, we show that the expected number of $K$-rational points of $C_f$ is bounded, and at least $99\%$ of such curves $C_f$ have at most $(3p)^{5\ell} \cdot \ell!$ many $K$-rational points, as $f$ ranges over the set of polynomials of sufficiently large degree over $\mathbb{F}_q$. To achieve this, we compute the distribution of dimensions of $1-\zeta_\ell$ Selmer groups of Jacobians of such superelliptic curves. This is done by generalizing the technique of constructing a governing Markov operator, as developed from previous studies by Klagsbrun--Mazur--Rubin, Yu, and the author. As a byproduct, we prove that the density of odd twist families of such superelliptic curves with even Selmer ranks cannot be equal to $50\%$, a disparity phenomena observed in previous works by Klagsbrun--Mazur--Rubin, Yu, and Morgan for quadratic twist families of principally polarized abelian varieties.

On the structure of the dimension spectrum for continued fraction expansions

math.NT

math.DS

v2

We analyse the dimension spectrum of continued fractions expansions with coefficients restricted to infinite subsets of $ \mathbb{N}$. We prove that the set of powers $P_q=\{q^n\colon n\in \mathbb{N}\}$ has full dimension spectrum for each integer $q\geq 2$, answering a question by Chousionis, Leykekhman and Urba\'nski. On the other hand, we show that the dimension spectrum for $P^*_q=\{q^n\colon n\in \mathbb{N}\}\cup\{1\}$ has many gaps and regions where it is nowhere dense. We also investigate the case where $A$ is generated by a monomial, $M_q=\{n^q\colon n\in\mathbb{N}\}$. For $M_q$ we prove that the dimension spectrum is full for $q\in\{1,2,3,4,5\}$, and it has a gap for each $q\geq 6$. Furthermore we show for $q\in\{6,7,8\}$ that the dimension spectrum of $M_q$ is the disjoint union of two nontrivial closed intervals, and it is the disjoint union of three nontrivial closed intervals for $q \in\{9,10\}$. For $q\geq 11$ we show that the dimension spectrum of $M_q$ consists of finitely many disjoint nontrivial closed intervals. The results concerning $M_q$ extend existing results for $q=1$ and $q=2$. In our analysis we employ Perron-Frobenius (transfer) operators, and numerical tools developed by Falk and Nussbaum that give rigorous estimates for the Hausdorff dimension for continued fractions expansions.

Some new cases of Zilber-Pink in $Y(1)^3$

math.NT

math.AG

v2

We prove the Zilber-Pink conjecture for curves in $Y(1)^3$ that intersect a modular curve in the boundary. We also give an unconditional result for unlikely intersection points having few places of supersingular reduction where they are close to a fixed base point. Both results are proved using the G-functions method for unlikely intersections.

Uniform irreducibility of Galois action on the $\ell$-primary part of Abelian $3$-folds of Picard type

math.NT

math.AG

math.RT

v2

Half a century ago Manin showed that given a number field $k$ and a rational prime $\ell$, there exists a uniform bound for the order of cyclic $\ell$-power isogenies between two non-CM elliptic curves over $k$. We generalize this to certain $2$-dimensional families of abelian $3$-folds with multiplication by an imaginary quadratic field.

Generalized Hausdorff dimension of irrationals with Lagrange value exactly 3

math.NT

math.DS

v2

We study the generalized Hausdorff dimension of some natural subsets of $k^{-1}(3)$, where $k^{-1}(3)$ consists of the real numbers $x$ for which $\left| x-\frac{p}{q} \right|<\frac{1}{(3+\varepsilon)q^2}$ has infinitely many rational solutions $\frac{p}{q}$ for any $\varepsilon<0$ but only finitely many for any $\varepsilon>0$. It is well known that $k^{-1}(3)$ is an uncountable set with Hausdorff dimension zero. Given any dimension function $h$, we determine the exact "cut point" at which the generalized Hausdorff dimension $\mathcal{H}^h(k^{-1}(3))$ drops from infinity to zero. In particular we show that such a measure is always zero or not $\sigma$--finite, and, as an application, we can classify topologically $k^{-1}(3)$. Moreover, we show that the subset of attainable elements of $k^{-1}(3)$ has the same generalized Hausdorff dimension as $k^{-1}(3)$, but the subset of non--attainable elements of $k^{-1}(3)$ has a "strictly smaller" generalized Hausdorff dimension.

Rational Angle Bisection Problem in Higher Dimensional Spaces and Incenters of Simplices over Fields

math.NT

math.MG

v4

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

Special $L$-values of certain CM weight three Hecke eigenforms

math.NT

v2

Ramanujan's theory of elliptic functions to alternative bases connects modular forms with hypergeometric series and has led to applications such as the modularity of certain hypergeometric Galois representations. In this paper, we relate special values of $L$-functions of certain CM Hecke eigenforms to Ramanujan's alternative bases via the modularity of hypergeometric Galois representations associated with hypergeometric series ${}_{3}F_{2}\!\left[ \genfrac{}{}{0pt}{}{\frac{1}{2} \ \frac{1}{d} \ \frac{d-1}{d}}{\ 1 \ \ \ \ 1} ;\ t \right]$, $d=2$, $3$, $4$, and $6$, arising from tensor products of CM elliptic curves over real quadratic fields. We also give a complete classification of these type of hypergeometric Galois representations.

Multi-scale Vandermonde test kernels for spectral trace formulas

math.NT

v2

We construct a family of test kernels for use in spectral trace formulas on locally symmetric spaces. The key innovation is the factorization $h_T = g_T \star \widetilde{g}_T$, which simultaneously achieves: (i) automatic positive semi-definiteness of the spectral multiplier $m_{h_T}(\pi) = |m_{g_T}(\pi)|^2 \ge 0$; (ii) $J$-fold moment annihilation via a multi-scale Vandermonde construction, yielding super-polynomial decay of all error terms; (iii) uniform spectral parameter bounds (Master-Bound) $\mathfrak{E}_{\mathrm{tot}}(T) \ll T^{d+1-\delta}$ with $\delta > 0$ depending only on the symmetry order $k$ and the annihilation depth $J \asymp \sqrt{(\log T)/k}$, representing a power saving over the main term $\asymp T^{d+1}$. The cost is a controlled polynomial growth $T^{c_0^2/2+o(1)}$ in the Vandermonde coefficients (with exponent strictly less than 1), which is dominated by the super-polynomial decay of the off-diagonal terms. The construction is axiomatized over two analytic hypotheses -- a Weyl law and Bessel/Airy asymptotics -- making it applicable beyond the classical $\mathrm{GL}(2)$ setting.

Towards Graham's rearrangement conjecture via rainbow paths

math.CO

math.GR

math.NT

v2

We study an old question in combinatorial group theory which can be traced back to a conjecture of Graham from 1971. Given a group $\Gamma$, and some subset $S\subseteq \Gamma$, is it possible to permute $S$ as $s_1, s_2, \ldots, s_d$ so that the partial products $\prod_{1 \leq i \leq t} s_i$, $t\in [d]$ are all distinct? Most of the progress towards this problem has been in the case when $\Gamma$ is a cyclic group. We show that for any group $\Gamma$ and any $S \subseteq \Gamma$, there is a permutation of $S$ where all but a vanishing proportion of the partial products are distinct, thereby establishing the first asymptotic version of Graham's conjecture under no restrictions on $\Gamma$ or $S$. To do so, we explore a natural connection between Graham's problem and the following very natural question attributed to Schrijver. Given a $d$-regular graph $G$ properly edge-coloured with $d$ colours, is it always possible to find a rainbow path with $d-1$ edges? We settle this question asymptotically by showing one can find a rainbow path of length $d - o(d)$. While this has immediate applications to Graham's question for example when $\Gamma = \mathbb{F}_2^k$, our general result above requires a more involved result we obtain for the natural directed analogue of Schrijver's question.

Polynomially effective equidistribution for certain unipotent subgroups in quotients of perfect Lie groups

math.DS

math.CA

math.NT

v3

We prove an effective equidistribution theorem for orbits of certain unipotent subgroups in arithmetic quotients of perfect Lie groups with a polynomial error term. Even for semisimple quotients, our result provides the first infinite family of examples where effective equidistribution with polynomial error rate is obtained for non-horospherical unipotent subgroups. The proof is based on the spectral gap of the ambient space, an effective closing lemma, Bourgain's discretized projection theorem, and a sub-modularity inequality in irreducible representation. The sub-modularity inequality is crucial to our proof and is of independent interest. As applications, we obtain effective estimates on distribution of lattice orbits on homogeneous spaces, as well as an effective version of the Oppenheim conjecture for indefinite quadratic forms with a polynomial error rate in all dimension $d \geq 3$.

Signatures in TQFT : Asymptotics and Modularity

math.GT

math.NT

math.QA

v2

We study the signature $\sigma_g(\frac q p)$ of $\mathrm{SU}_2$-TQFT vector spaces associated to surfaces of genus $g$, as a function of the defining root of unity $\zeta=e^{i\pi q/p}$. We prove that $\frac{1}{p^2}\sigma_2(\frac{q}{p})$ converges to $\Lambda(\theta)=\frac{16}{\pi^3}\sum\limits_{n\ge 1, \textrm{ odd}}\frac{1}{n^3\sin(n\pi\theta)}$ when $\frac{q}{p}$ goes to an irrational number $\theta\in [0,1]$ under certain conditions. We also observe that the function $\Lambda(\theta)$ is the boundary value of an Eichler integral of a level $2$ modular form of weight $4$, and use this to propose a conjectural transformation law for the signature function in genus 2 similar to the reciprocity formula for classical Dedekind sums.

On Touchard's Identity: Generalizations and Related Results

math.CO

math.NT

v2

Starting with a known polynomial identity, we derive two generalizations of Touchard's identity concerning Catalan numbers; one obtained using the Beta function and the other via a connection with Stirling numbers of the second kind. We subsequently establish several new combinatorial identities.