arXiv++ Combinatorics

The Index Conjecture in zero-sum theory states that when $n$ is coprime to $6$ and $k$ equals $4$, every minimal zero-sum sequence of length $k$ modulo $n$ has index $1$. While other values of $(k,n)$ have been studied thoroughly in the last 30 years, it is only recently that the conjecture has been proven for $n>10^{20}$. In this paper, we prove that said upper bound can be reduced to $4.6\cdot10^{13}$, and lower under certain coprimality conditions. Further, we verify the conjecture for $n<1.8\cdot10^6$ through the application of High Performance Computing (HPC).

We introduce consecutive equi-$n$-squares, a variant of equi-$n$-squares in which at least one row or column forms a fixed permutation of $\{1,\dots,n\}$, taken for concreteness to be $(1,\dots,n)$. More generally, the enumeration and probabilistic arguments presented here extend to the occurrence of any prescribed permutation as a row or column of an equi-$n$-square. We derive exact and asymptotic formulas for the number of consecutive equi-$n$-squares, showing precisely how their proportion among all equi-$n$-squares rapidly approaches zero as $n\to\infty$. We also analyze the distribution of consecutive equi-$n$-squares under uniform random sampling and explore connections to algebraic structures, interpreting equi-$n$-squares and consecutive equi-$n$-squares as Cayley tables. Finally, we supplement our theoretical results with Monte Carlo simulations for small values of $n$.