Rongyin Wang | Searcharxiv

arXiv2026

An Asymptotic Bound for Non-covering Congruence Systems over Fq[x]

Fix a prime power $q$. Let $D_q(n)$ be the largest possible least degree of a polynomial omitted by a non-covering family of $n$ congruence classes in $\mathbb F_q[x]$. Assuming the known theorem that every non-covering family of $n$ classes omits a polynomial of degree less than $n$, we prove \[ D_q(n)=\frac{n}{q-1}+O_q(1). \] The upper bound combines a minimal-counterexample reduction to irreducible moduli with a truncated inclusion--exclusion (Brun sieve) argument. A nested-modulus construction gives the matching lower bound. This is a follow-up to the author's 2025 work.

math.NT↗

arXiv2025

On an Erdős-type conjecture on $\mathbb{F}_q[x]$

P. Erdős conjectured in 1962 that on the ring $\mathbb{Z}$, every set of $n$ congruence classes in $\mathbb{Z}$ that covers the first $2^n$ positive integers also covers the ring $\mathbb{Z}$. This conjecture was first confirmed in 1970 by R. B. Crittenden and C. L. Vanden Eynden. Later, in 2019, P. Balister, B. Bollobás, R. Morris, J. Sahasrabudhe, and M. Tiba provided a more transparent proof. In this paper, we follow the approach used by R. B. Crittenden and C. L. Vanden Eynden to prove the generalized Erdős' conjecture in the setting of polynomial rings over finite fields. We prove that every set of $n$ cosets of ideals in $\mathbb F_q[x]$ that covers all polynomials whose degree is less than $n$ covers the ring $\mathbb{F}_q[x]$.

math.NT↗