arXiv++ Combinatorics

Let $f(t)\in\mathbb{Z}[t]$ be a nonconstant polynomial with nonzero discriminant and let $k\ge2$ be an integer. For every sufficiently large prime $p\equiv1\pmod{k}$, by applying mixed exponential sums over finite fields, discrete Fourier analysis and the spectral graph theory, we establish a threshold $c(p,k,f)$ such that any subset $A\subseteq\mathbb F_p$ with $\#A\ge c(p,k,f)$ admits a permutation $a_1, a_2,\cdots, a_{\#A}$ of $A$ satisfying $f(a_i+a_{i+1})\in\{x^k: x\in\mathbb{F}_p^*\}$ for any $1\le i \le \#A$, where $a_{\#A+1}=a_1$. Also, we give lower and upper bounds for the least possible threshold.

By combining the recent results of Pierce and Xu on the higher-dimensional Burgess bound with the classical one-dimensional Burgess bound, we prove that for any sufficiently large prime $p$, there exists a Pythagorean triple $(a_p,b_p,c_p)$ with $a_p,b_p,c_p\in\mathbb{Z}\cap(0,p)$ such that $a_pb_p/2$ is a primitive root modulo $p$. This confirms a conjecture of Z.-W. Sun for all sufficiently large primes.

In this note, we prove two supercongruences involving Almkvist--Zudilin sequences, which were originally conjectured by Z.-H. Sun.

In this paper, by constructing some identities, we prove some $q$-analogues of some congruences. For example, for any odd integer $n>1$, we show that \begin{gather*} \sum_{k=0}^{n-1} \frac{(q^{-1};q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2} q^{(n^2-1)/4} - (1+q)[n] \pmod{Φ_n(q)^2},\\ \sum_{k=0}^{n-1}\frac{(q^3;q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2} q^{(n^2-9)/4} + \frac{1+q}{q^2}[n]\pmod{Φ_n(q)^2}, \end{gather*} where the $q$-Pochhanmmer symbol is defined by $(x;q)_0=1$ and $(x;q)_k = (1-x)(1-xq)\cdots(1-xq^{k-1})$ for $k\geq1$, the $q$-integer is defined by $[n]=1+q+\cdots+q^{n-1}$ and $Φ_n(q)$ is the $n$-th cyclotomic polynomial. The $q$-congruences above confirm some recent conjectures of Gu and Guo.

With help of $q$-congruence, we prove the divisibility of some binomial sums. For example, for any integers $ρ,n\geq 2$, $$\sum_{k=0}^{n-1}(4k+1) \binom{2k}{k}^ρ\cdot (-4)^{ρ(n-1-k)} \equiv 0\pmod{2^{ρ-2}n\binom{2n}{n}}.$$