arXiv++ Combinatorics

Let \(\mathbb{F}_q\) be a finite field with \(q>7\). Zhi-Wei Sun conjectured that for every \(a_0\in\mathbb{F}_q\), there is a circular permutation \((a_1,\dots,a_{q-1})\) of non-zero elements of \(\mathbb{F}_q\) such that \(a_0+a_i a_{i+1}\) is primitive for \(1\le i\le q-1\), where \(a_q=a_1\). In this paper, we confirm this conjecture for \(q>18\,888\,871\). For \(a_0=0\), the conclusion holds for all \(q>4\). For \(a_0\ne0\), we apply the Chvátal--Erdős theorem to obtain a Hamilton cycle.

A prime circle of order $2n$ is a circular ordering of $1,\ldots,2n$ such that the sum of every two adjacent terms is prime. We prove that a prime circle exists for every sufficiently large $n$. The proof is based on a perfect matching and robust expansion. We also study Hamilton cycles in graphs and digraphs defined by primitive sums and differences over finite fields. In particular, the primitive-sum graph on $\F_q$ is Hamiltonian for every prime power $q>18\,888\,871$, and for the graph on a full prime field $\F_p$, the bound improves to $p>61$.

Given a positive integer $n$, define a function on the symmetric group $S_n$ by $$F(τ) = \sum_{k=1}^{n}k^2τ(k)^2.$$ Motivated by a conjecture of Zhi-Wei Sun, we investigate the residue classes attained by $F(τ)$ modulo $2n+1$. We prove that for every integer $n>4$, the set $\{F(τ):τ\in S_n\}$ contains a complete residue system modulo $2n+1$. The proof is based on a family of involutions whose values are controlled by subset sums of squares.

Let $n$ be a positive integer, and define the rational function $S(x_1,\ldots,x_{2n})$ as the permanent of the matrix $[x_{j,k}]_{1\le j,k\le 2n}$, where $$x_{j,k}=\begin{cases}(x_j+x_k)/(x_j-x_k)&\text{if}\ j\not=k,\\1&\text{if}\ j=k.\end{cases}$$ We give an explicit formula for $S(x_1,\ldots,x_{2n})$ which has the following consequence: If one of the variables $x_1,\ldots,x_{2n}$ takes zero, then $S(x_1,\ldots,x_{2n})$ vanishes, i.e., $$\sum_{τ\in S_{2n}}\prod_{j=1\atop τ(j)\not=j}^{2n}\frac{x_j+x_{τ(j)}}{x_j-x_{τ(j)}}=0,$$ where we view an empty product $\prod_{i\in\emptyset}a_i$ as $1$. As an application, we show that if $ζ$ is a primitive $2n$-th root of unity then $$\sum_{τ\in S_{2n}}\prod_{j=1\atop τ(j)\not=j}^{2n}\frac{1+ζ^{j-τ(j)}}{1-ζ^{j-τ(j)}}=((2n-1)!!)^2$$ as conjectured by Z.-W. Sun.