Number Theory [math.NT]

Exceptional Sets for Certain ${}_2F_1$ Hypergeometric Functions

math.NT

For $a,b,c \in \mathbb{Q}$, the exceptional set associated to the Gauss hypergeometric function $_2F_1(a,b,c;z)$ is defined by $E(a,b,c) := \{ z \in \overline{\Q} \mid {}_2F_1(a,b,c;z) \in \overline{\mathbb{Q}} \}.$ In this paper, the exceptional sets $E(a,b,c)$ are determined explicitly for each $_2F_1(a,b,c;z)$ whose monodromy group is an arithmetic triangle group in Takeuchi's class I. The description is obtained via hypergeometric--modular identities together with transcendence results for periods of abelian varieties due to W\"ustholz, and classical result of Schneider on algebraic values of $j$-invariant of elliptic curves with complex multiplication.

A Complete classification of the rank of a certain family of elliptic curves

math.NT

In this article, we study the rank of the family of elliptic curves $E_{p}: y^{2}=x^{3}-6px, $ where $p\neq 3$ is an odd prime. We prove that if $p\equiv 1 \pmod{24}$, then the rank of $E_{p}$ is either $1$ or $3$, whereas for all other congruence classes of the odd prime $p$, the rank of $E_{p}$ is exactly $1$. Furthermore, we show that the elliptic curve $ E_{3}: y^{2}=x^{3}-18x $ has rank $0$. Thus, our results provide a complete classification of the ranks of the curves in this family according to the residue class of the prime parameter $p$.

Non-ordinary primes and congruences for weakly holomorphic modular forms of level 2

math.NT

In this paper, we investigate the arithmetic properties of the Fourier coefficients of weakly holomorphic modular forms of weight $k$ for the congruence subgroup $\Gamma_0(2)$, which have poles exclusively at the cusp $\infty$. Using the structure of canonical bases and the explicit duality between the coefficients of spaces of weakly holomorphic modular forms, which have a pole only at $\infty$, we prove a general family of congruences modulo primes $p \ge 5$ and derive several corollaries as examples of the theorem's application.

Density of Unicritical Polynomials over Local Fields with Rational Periodic Points

math.NT

We prove an asymptotic formula for the density of parameters $c\in \mathbb{Z}_p$ for which the polynomial $x^d+c$ admits a $\mathbb{Q}_p$-rational $n$-cycle. In the cases where $d=2$ and $p\neq 2,3$, we compute these densities explicitly for $n=1,2,$ and $3$.

Arithmetic properties of the 2-color overpartition function $\overline{p}_\ell(n)$

math.NT

We derive general families of Ramanujan-type congruences for the function $\overline{p}_{\ell}(n)$, which counts the $2$-color overpartitions of $n$ in which one of the colors appears only in parts that are multiples of $\ell$. For example, for all $n\geq0$ we prove that $$\overline{p}_{4}(32n+28)\equiv 0 \pmod{512}.$$

Solutions to Two Problems of S\'ark\"ozy and S\'os on Additive Representation Functions

math.NT

For a set $A\subseteq\mathbb{N}_0$, let $r_1(A,n)$ denote the number of solutions of the equation $a+a^{\prime}=n$ with $a,a^{\prime}\in A$, and let $r_2(A,n)$ denote the number of such solutions subject to $a\le a^{\prime}$. These functions are called additive representation functions (as first considered by Erd\H{o}s, S\'ark\"ozy and S\'os). In this paper, we resolve two problems posed by S\'ark\"ozy and S\'os in 1997. First, if $A$ is infinite and $r_2(A,2m+1)\ge r_2(A,2m)$ for every sufficiently large $m$, then the complement of $A$ is finite. This gives a negative answer to Problem 3.1 in~\cite{SarkozySos1997}. Secondly, there exist an arithmetic function $f$ satisfying $f(n) \to \infty$, $f(n+1) \ge f(n)$ for $n > n_0$, and $f(n) = o\left(\frac{n}{(\log n)^2}\right)$, and a set $A$ such that \( |r_1(A,n) - f(n)| = o((f(n))^{1/2}) \) holds on a sequence of integers $n$ whose density is $1$. This gives a positive answer to Problem 3.3 in~\cite{SarkozySos1997}.

Counterexamples of Friedlander--Iwaniec dual sums conjecture

math.NT

Let $a(n)$ and $b(n)$ be arithmetic sequences, and $$A(s)=\sum_{n\ge1}a(n)n^{-s}, \qquad B(s)=\sum_{n\ge1}b(n)n^{-s},$$ be the two Dirichlet series related by a certain functional equation. Let $m$ be the \emph{analytic degree} of the functional equation. For $x>0$ and a positive integer $N$, Friedlander and Iwaniec (2005) define the sharply truncated nonlinear dual sum $$\mathcal B_{\ell,D}(x,N) := \sum_{\substack{n\in\mathbb N\\ n\le N}} b(n)n^{-\beta_m} \cos\left( 2\pi m\left(\frac{nx}{D}\right)^{1/m} +\frac{\pi\ell}{4} \right),$$ where $D\ge1$ is the conductor, $\beta_m:=\frac{m+1}{2m}$, and $\ell=m-3-2k$ is determined by the archimedean weight $k$ of the functional equation. Their Conjecture 1 predicts that, for every $\varepsilon>0$, $$\mathcal B_{\ell,D}(x,N) \ll_{\varepsilon,\boldsymbol\kappa} (DNx)^\varepsilon,$$ uniformly in the variables $x$ and $N$, with the degree, conductor, and archimedean datum fixed. We give counterexamples to this prediction with $$A(s)=B(s)=\zeta(s)^m,\; m\geq 4$$ where $$\zeta(s):=\sum_{n\ge1}n^{-s} \qquad(\operatorname{Re}s>1)$$ is the Riemann zeta function.

An explicit uniform cubic wedge for consecutive Toeplitz minors of the Riemann xi coefficients

math.NT

Let (a_k) be the positive coefficient sequence of the normalized Riemann xi-function, and let D_{r,k} denote its consecutive Toeplitz minors. The Riemann Hypothesis is equivalent to (a_k) being a Polya frequency sequence of infinite order, and hence to nonnegativity of all Toeplitz minors. We prove that D_{r,k} > 0 for every r >= 2 and k >= 10^18 r^3. This gives an explicit cubic tail scale uniform in r, in contrast with Katkova's fixed-order asymptotic positivity. The proof does not use numerically verified zeros of the Riemann zeta-function. It combines a certified complex saddle-point analysis of the moment transform, an exact q-Pascal dilation semigroup controlling every degree simultaneously, and a weighted Banach-algebra majorant for the nonlinear remainder, closed by an inertia-preservation argument. All analytic constants are certified with directed rounding in Arb ball arithmetic, and all algebraic identities are verified in exact rational arithmetic. The ancillary files reproduce every certificate. The result concerns only the tail regime k much larger than r^3 and makes no progress on the Riemann Hypothesis, which concerns the complementary region.

Twisted Siegel-Weil formulas for $\mathrm{GL}_2$ over non-Galois quartic CM fields

math.NT

We establish twisted Siegel-Weil formulas for non-Galois quartic CM fields, identifying the twisted theta integral against a quadratic character with the Doi-Naganuma lift of Hecke's integral. This implies the base change of Jacquet-Langlands correspondence for certain Hecke characters from $\mathbb{Q}$ to real quadratic fields via Doi-Naganuma lift is an isomorphism. As an application, we prove that the twisted CM values of Borcherds forms are algebraic multiple of logarithm of units, explicitly described by the Fourier coefficients of twisted theta integrals.

A Modular Form Proof of the Irrationality of $\zeta\left(3\right)$

math.NT

We present an expository proof of the irrationality of $\zeta\left(3\right)$ using modular forms of level 6. By constructing a suitable Eichler integral, we obtain a power series with controlled denominators and sufficiently large radius of convergence. Beukers' irrationality criterion then implies that $\zeta\left(3\right)$ is irrational.

On the average number of subgroups of the group ${\Bbb Z}_{n_1}\times {\Bbb Z}_{n_2}$

math.NT

Let ${\mathbb Z}_{n}$ be the additive group of residue classes modulo $n.$ For any positive integers $n_1$ and $n_2$, let $s(n_1,n_2)$ and $c(n_1,n_2)$ denote the number of subgroups and the number of cyclic subgroups of the group ${\mathbb Z}_{n_1}\times {\mathbb Z}_{n_2}$, respectively. The aim of this paper is to study the asymptotic behavior of the sums $\sum_{n_1,n_2\le x}s(n_1,n_2)$ and $\sum_{n_1,n_2\le x}c(n_1,n_2)$. Some sharper asymptotic results are given for the these sums. Mean values of the error terms are also studied.

A survey on moments of a class of error terms

math.NT

This is a survey article on the moments of a class of error terms in analytic number theory. We begin by reviewing the moments of the Dirichlet divisor problem, and then review the hybrid moments of error terms in the divisor problems. We give two new results on the joint distribution of sign changes of $\Delta_2(x)$ and $\Delta_3(x). $ In the last section, we present some conjectures on the moment results in the well-known Selberg class.

Consecutive non-square non-primitive tuples in finite fields

math.NT

Let $q$ be an odd prime power and put \[ \theta_q=\frac{\varphi(q-1)}{q-1}. \] Let $\mathbb{F}_q$ denote a finite field with $q$ elements, an element of $\mathbb{F}_q$ is called non-square non-primitive, or \emph{NSNP}, if it is both a non-square and a non-primitive element. We first obtain a general existence theorem for consecutive tuples of non-square $\ell$th powers, where $\ell$ is an odd prime divisor of $q-1$. More precisely, if $k\ge 2$, $\text{char}\mathbb{F}_q\ge k$, and \[ q>(k-1)^2(2\ell)^{2k}, \] then $\mathbb{F}_q$ contains $k$ consecutive non-square $\ell$th powers. Combining this result with a finite computation, we prove that $\theta_q<4/15$ guarantees the existence of three consecutive NSNP elements. On the boundary $\theta_q=4/15$, the only exceptions are \[ \mathbb{F}_{31},\quad \mathbb{F}_{61},\quad \mathbb{F}_{121}. \] In particular, the constant $4/15$ is best possible.

Torsion of rational elliptic curves over $\Z_p$-extensions of quadratic fields for $p\geq5$, with a slope analysis for $p=3$

math.NT

Let $E/\Q$ be an elliptic curve, let $K$ be a quadratic field, and let $L/K$ be a $\Z_p$-extension. We revisit Avc{\i}'s theorem on the equality $E(L)_{\tors}=E(K)_{\tors}$ for $p>5$ and clarify a Galois-over-$\Q$ point needed in its proof: the auxiliary descent lemmas are finite Galois-over-$\Q$ statements, while finite layers of a general mixed $\Z_p$-extension of an imaginary quadratic field need not be Galois over $\Q$. We repair this by replacing finite layers by finite Galois envelopes built from the cyclotomic and anti-cyclotomic directions. We then prove the equality $E(L)_{\tors}=E(K)_{\tors}$ for every $p\geq5$, including the formerly exceptional prime $p=5$, by excluding the remaining cyclic $25$-torsion obstruction via quadratic twists and the theorem of Chou--Daniels--Krijan--Najman over $\Q_{\infty,5}$. Finally, for $p=3$ and imaginary quadratic $K\neq\Q(\sqrt{-3})$, we give a slope stratification: the odd part of $E(L)_{\tors}$ comes from $L\cap K_{\cyc}$, while the $2$-primary part comes from $L\cap K(E[2])$. In particular, the two residue classes with both slope coordinates $3$-adic units have no torsion growth, the anti-cyclotomic residue class can contribute only $2$-primary growth, and all new odd torsion is forced into the cyclotomic residue class. The possible orders of odd cyclic subgroups are explicitly bounded, and $13$-torsion is excluded in the cases covered by the stratification.

On Erdos-Falconer distance problem in even dimensions

math.NT

math.CA

math.CO

Let $q$ be an odd prime power and $\mathbb{F}_q$ be the finite field of order $q$. We prove an extraction theorem for the Erd\H{o}s-Falconer distance conjecture in even dimensions, showing that the conjecture for all even dimensions reduces to the planar case. As consequences, we obtain improved thresholds on the pinned distance problem and the distribution of triangles, achieving new records of $\frac{d}{2}+\frac{1}{4}$ over prime fields and $\frac{d+1}{2}+\frac{1}{10}$ over arbitrary finite fields, respectively.

Galois-invariant N\'eron--Severi ranks of Fermat surfaces over number fields: a Galois module, closed forms, a threshold, and exact tables

math.NT

math.AG

For a Fermat surface X_d: x_0^d+x_1^d+x_2^d+x_3^d=0 we compute the Galois-invariant Neron-Severi (Picard) rank rho_K(X_d) = dim (NS(X) \otimes Q)^{Gal(Qbar/K)}: for every subfield K of Q(zeta_d) by an explicit character average -- in closed form for gcd(d,6)=1, with the rational ranks tabulated for 4 <= d <= 30 -- and for an arbitrary number field K through the reduction rho_K = rho_{K \cap L} to the field of definition L. The geometric Picard number is classical (Shioda, Aoki), and L is due to Gvirtz-Chen and Skorobogatov; here we supply the rank layer. As a Gal(Q(zeta_d)/Q)-module the zeta_d-rational Neron-Severi group is Qh \oplus M with M \otimes Q(zeta_d) monomial on the Shioda eigenlines; writing chi_NS = 1 + chi_M, we get rho_K = (1/|H|) sum_{t in H} chi_NS(t). For degree coprime to 6 we prove rho_Q(X_d) = 1 + 3(Psi_2(d) - 3 tau(d) + 2) with Psi_2 multiplicative; we establish a field-of-definition threshold with explicit Hasse-Davenport witnesses, an assembled orbit rule for even d, and the exact table for 4 <= d <= 30, where the exceptional entries at d = 14, 24, 28, 30 are proved internally by Hasse-Davenport identities and a stabilizer descent, and corroborated by exact Z[zeta_m] evaluation and by the per-character field-of-definition computation of Gvirtz-Chen--Skorobogatov. The average order is sum_{d <= x, gcd(d,6)=1} rho_Q(X_d) ~ (3/5) x^2. All results are unconditional: on a surface the algebraic classes are the rational (1,1)-classes by Lefschetz. Ancillary files provide 15 standalone exact-arithmetic scripts, a 1270-row orbit-by-orbit certificate of the exceptional layer, and the full character tables, with pinned dependencies and chained checksums.

Quadratic residue patterns of length 4 and 5

math.NT

math.AG

We generalize the results of the first part of the paper by Kiritchenko, Tsfasman, Vl\u{a}du\c{t} and Zakharevich on quadratic residue patterns to the case of arbitrary words over the alphabet $\{R, N\}$ of length $l = 4$ and $l = 5$. First, we obtain explicit formulas for the number of occurrences of a given pattern $S$ in the sequence of quadratic residues and nonresidues modulo a prime $p$. These formulas are expressed in terms of Frobenius traces on a finite collection of low-genus hyperelliptic curves. Second, using a generalized Sato-Tate approach, we describe the limiting distributions of the normalized error term for $l = 4$.

Diophantine analysis and the Braid group ${\bf B}_3$

math.NT

Given a finite dimensional representation $\pi$ of a finitely generated group $G=\langle g_1, \ldots, g_n\rangle$, the associated characteristic polynomial is defined as $Q_\pi(z):=\det(z_0I+z_1\pi(g_1)+\cdots +z_n\pi(g_n))$, and it is known to contain a good amount of structural information about $G$ and $\pi$. This paper is a part of an ongoing project to investigate the number-theoretic properties of the algebraic varieties (called {\em eigensurfaces}) $\{z\in \mathbb{C}^{n+1}: Q_\pi(z)=0\}$. Its focus is the distribution of prime triples in the eigensurface $S:=\{z\in \mathbb{C}^3: (z_0+z_1+z_2)^2+z_0z_1=0\}$ associated with the braid group ${\bf B}_3$ and its reduced Burau representation. We prove that such triples occur with higher frequency on $S$ than in the ambient lattice, revealing an unexpected connection between group representation theory and analytic number theory.

On some sums involving small arithmetic functions

math.NT

Let $f$ be any arithmetic function and define $S_f(x):=\sum_{n\leq x}f([x/n])$. If the function $f$ is small, namely, $f(n)\ll n^\varepsilon,$ then the error term $E_f(x)$ in the asymptotic formula of $S_f(x)$ has the form $O(x^{1/2+\varepsilon}).$ In this paper, we shall study the mean square of $E_f(x)$ and establish some new results of $E_f(x)$ for some special functions.

Betti-Whittaker periods under duality: variations and applications

math.NT

One of the authors (Chen) had previously proved a result on the behavior of Betti-Whittaker periods under duality for cohomological cuspidal automorphic representations of ${\rm GL}_n/{\mathbb Q}$ under some regularity assumptions while using their relation to $L$-values as an anchor in his proof. In this article we prove a generalization of this result to ${\rm GL}_n$ over any number field $F$ without any regularity assumptions and without recourse to $L$-values, while using the outer-automorphism of ${\rm GL}_n$ as the main tool. Then, using results of Harder and one of the other authors (Raghuram), we give applications to new rationality results for the ratios of special values of general triple product $L$-functions and for general twisted Asai $L$-functions. We also give a new proof of a previous result of Bhagwat and Raghuram on the special values of $L$-functions for orthogonal groups. We present variations on period relations for the Betti-Shalika periods under duality, and the behavior of Betti-Whittaker periods under Galois automorphisms of $F$.

Jacob's ladders and new $\zeta$-functionals and corresponding $\zeta$-equivalents of the Fermat-Wiles theory based on sums of elementary $\zeta$-pulses

math.NT

In this paper we obtain some sum-variants of our first $\zeta$-equivalent of the Fermat-Wiles theorem. For example, on the Riemann hypothesis, we give a new type of $\zeta$-equivalent based on a sum of isolated rectangle-shaped signals (pulses).

Bounded trajectories of quasi-rays on homogeneous spaces and Diophantine approximation with weight functions

math.DS

math.NT

Let $G$ be a connected semisimple real Lie group, $\Gamma$ an irreducible lattice in $G$ and $X = G/\Gamma$. Let $F = \{g_t: t\ge 0\}$ be a non-quasiunipotent one-parameter subsemigroup of $G$. Then it is known that the set of points in $X$ with bounded $F$-trajectories has full Hausdorff dimension. In addition, if $U$ is the expanding horospherical subgroup relative to $g_1$, then for any $x \in X$ the set of points $u \in U$ such that the $F$-trajectory of $ux$ is bounded has full Hausdorff dimension. In this paper we take $U$ to be a horospherical subgroup of $G$ and apply Shi's equidistribution theorem for elements of the expanding cone with respect to $U$ to describe a class of subsets $F$ in $G$, not presupposing the group structure, for which the above full Hausdorff dimension statements also hold. As an application, we prove that the set of badly approximable matrices in the set-up of Diophantine approximations with quasimultiplicative weight functions has full Hausdorff dimension.

A short survey the game Bulgarian solitaire and related games

math.HO

math.CO

math.NT

Let $N$ be an arbitrary positive integer and let $\lambda=(\lambda_1, \lambda_2, \ldots, \lambda_l)$ be a partition of $N$ of length $l$, i.e., $\sum_{i=1}^l\lambda_i= N$ with parts $\lambda_1\ge \lambda_2\ldots \lambda_l\ge 1$. Define $T(\lambda)$ as the partition of $N$ with parts $l,\lambda_1-1\lambda_2-1,\ldots \lambda_l-1$,ignoring any zeros that might occur. Starting with a partition $\lambda$ of $N$, we describe Bulgarian solitaire by repeatedly applying the shift operation $T$ to obtain the sequence of partitions $$ \lambda, T(\lambda), T^2(\lambda),\ldots . $$ We say a partition $\mu$ of $N$ is $T$-cyclic if $T(\mu) = \mu$ for some $i\ge 1$. In 1982 Brandt [9] characterized all $T$-cyclic partitions for Bulgarian solitaire. Bulgarian solitaire is a dynamical system on integer partition of a positive integer $N$ which converges to a unique fixed point if $N=1+2+\cdots +k$ is a triangular number. In this paper we present a short survey of the game Bulgarian solitaire and several variations of this game.

A positive answer to the Owings's sumsets question

math.CO

math.DS

math.NT

The paper gives a positive answer to Owings's sumsets question. That is, it is shown that for any $2$-coloring of natural numbers, there is an infinite $B\subset \mathbb{N}$ such that $B+B$ is monochromatic. Meanwhile, some weighted forms of this result are also presented.

Space of norms on locally algebraic representations

math.RT

math.GN

math.NT

Let $F$ and $E$ be finite extensions of $\mathbb Q_p$, let $\mathbb G$ be a reductive group over $F$, and put $G=\mathbb G(F)$. Let $V$ be a locally algebraic representation of the form $V=\pi_{\mathrm{sm}}\otimes_E\sigma_{\mathrm{alg}}$, where $\pi_{\mathrm{sm}}$ is smooth admissible and $\sigma_{\mathrm{alg}}$ is finite-dimensional algebraic. We study the extended Goldman--Iwahori distance on the set of non-Archimedean norms on $V$. After fixing a reference norm $\alpha_0$, its finite-distance component $\mathscr N_{\alpha_0}(V)$ is the bounded projective limit of the extended Bruhat--Tits buildings attached to $V_K=\pi_{\mathrm{sm}}^K\otimes_E\sigma_{\mathrm{alg}}$. It is complete for the resulting uniform sup metric; this metric is of $\ell^\infty$ type and is generally not CAT(0). We prove directly that a $G$-orbit in $\mathscr N_{\alpha_0}(V)$ is bounded if and only if this component contains a $G$-invariant norm. The invariant norm is the pointwise supremum of the orbit. We formulate an integral group-algebra and type-Hecke condition necessary for an invariant norm. For $G=GL_n(F)$ we specialise to $V=\operatorname{BS}(r)=\pi_{\mathrm{gen}}(r)\otimes_E \pi_{\mathrm{alg}}(r)$.

Counting subsets of integers free of arithmetic configurations

math.CO

math.NT

Cameron and Erd\H{o}s asked if the number of sets free of arithmetic progressions of length $k$ is $2^{r_k(n)(1+o(1))}$, where $r_k(n)$ is the maximum cardinality of a $k$-AP-free subset of $\{1, \dots, n\}$. Balogh, Liu and Sharifzadeh made significant progress on this question showing that it is $2^{O(r_k(n))}$ for an infinite sequence of $n$. We improve their result in two ways. On the one hand, we prove that, for $k\geq 5$, the number of $k$-AP-free sets in $[n]$ is $2^{r_k(n)(1+o(1))}$ for an infinite sequence of $n$, solving the question of Cameron and Erd\H{o}s for infinitely many values. On the other hand, we also prove that for $k \geq 3$ and all $n$ the number of $k$-AP-free sets in $[n]$ is $2^{O(r_k(n))}$. These results are in fact special cases of a general framework that we develop to count families of sets excluding certain arithmetic patterns, which applies as long as the corresponding extremal threshold satisfies certain Behrend-type lower bounds. As further examples, we get analogous results for solution sets to almost all systems of linear equations as well as counting versions of the multidimensional Szemer\'edi theorem.

Quantitative Oppenheim in signature $(2,2)$ via determinant values

math.DS

math.NT

We give a new proof of the quantitative Oppenheim theorem in signature $(2,2)$, originally proved by Eskin-Margulis-Mozes, by recasting the problem as one about determinant values on lattices in $\operatorname{M}_2(\mathbb R)$. The determinant $\det\begin{pmatrix}x&y\\ z&w\end{pmatrix}=xw-yz$ is a quadratic form of signature $(2,2)$, and every real quadratic form of this signature is obtained from it by a real linear change of variables. For every Diophantine lattice $\Lambda<\operatorname{M}_2(\mathbb R)$ that is not determinant-rational, for every $a<\operatorname{det} v