Skip to content
Preprint

Factorial residues modulo a prime: beyond the square-root bound

Aug 2026 · 1 citation · 9 references
Mathematics

Abstract

For a prime \(p\), let \(A_p=\{k!\pmod p:1\leq k<p\}\). We prove \(|A_p|\gg p^{8/15}\), improving the general lower bound \((\sqrt{2}-o(1))p^{1/2}\). The proof begins with the identity \((n+2)!=(n+1)!+((n+1)!)^2/n!\) in \(\mathbb{F}_p\), which produces many incidences for a family of fractional-linear maps. After Cauchy--Schwarz, the transition maps between two members of this family become affine lines, with multiplicity at most two. The Cartesian-product point-line incidence theorem of Stevens and de Zeeuw then yields the exponent \(8/15\).

View source

Similar papers

Preprint Aug 2026

Many Representations as Sums of Three Prime Cubes

Let $F_k(n)$ be the number of unordered representations \[ n=p_1^k+p_2^k+\cdots +p_k^k \] by primes, with repetitions allowed. Erd\H{o}s stated that $\limsup_{n\to\infty} F_3(n)=\infty$, but his proof appears not to have been published. A complete unconditional proof is given. The principal input is the classical Hecke...

Yukai Wang, Xu Zhang · 0 citations
Preprint Aug 2026

Five-Term and Higher Congruences Involving Arbitrary Sets and Short Intervals Modulo a Prime

We obtain asymptotic formulas for additive congruences \[ \sum_{i=1}^r m_i x_i^{-s}\equiv \lambda \pmod p, \] where the \(m_i\) range over arbitrary subsets of \(\mathbb F_p^\ast\) and the \(x_i\) over shifted intervals. For five terms, in the balanced case of common cardinality \(N\), the asymptotic holds uniformly in...

Zhi Yao · 0 citations
Preprint Sep 2026

The lower bound of shifted primes with large prime factors

In this paper, we consider the asymptotic density of $T_c(x):=\#\{p\leq x:P^+(p-1)\geq p^c\}$, where $P^+(n)$ denote the largest prime factor of $n$. We show that for $x\rightarrow\infty$, for any $0<c\leq 1/2$, one has \begin{align*} \mathop{\lim\inf}_{x\rightarrow\infty}\frac{T_c(x)}{\pi(x)}&\geq\max\left(1-\frac{16}...

Zhi-Yuan Yang · 0 citations
Preprint Sep 2026

On the exponential sum over squarefree integers

Let $\mu$ be the M\"obius function and $e(t)=e^{2\pi it}$. We prove that if $N\ge2$, $\alpha\in\mathbb{R}$, $(a,q)=1$, and $|\alpha-a/q|\le q^{-2}$, then \[\bigg|\sum_{n\le N}\mu^2(n)e(\alpha n)\bigg|\ll\left(\frac Nq+q\right)(\log 2N)^5, \] with an absolute implied constant, and we deduce the corresponding estimate on...

Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler · 0 citations
Preprint Sep 2026

Symbolic powers of the ideal of$n$ general points in $P^{n-1}$

Problem L of Fr\"oberg--Lundqvist--Oneto--Shapiro asks for the difference between the Hilbert series of ordinary and symbolic powers of the ideal of general points in projective space. We solve this completely for \(n\) general points of \(\PP^{n-1}\). Besides a closed formula for \[ \HS(S/I^m)-\HS(S/I^{(m)}), \] we de...

R. Fröberg, B. Shapiro · 0 citations
Preprint Aug 2026

Simple and distinct zeros in a prime-modulus Dirichlet family from near-microscopic to polylogarithmic heights

Fix \(\eta>0\) and \(A_0>0\). Let \(q\) tend to infinity through odd primes, put \(Q=\log q\), and let \(T=T(q)\) satisfy \[ \frac{(\log Q)^{1+\eta}}{Q}\le T\le Q^{A_0}. \] Set \(I=(T,2T]\), and sum without weights over the \(q-2\) nonprincipal characters modulo \(q\). Let \(\mathcal N_q\) count nontrivial zeros in \(I...

Zhi-Xu Hua, Xiu-Fan Yang · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.