Odd Vector Cycles in $\mathbb{Z}^m$

Gaston A. Brouwer,Jonathan Joe,Matt Noble
2023-09-30
Abstract:Given positive integers $m$ and $r$, define $C_m(r)$ to be the minimum odd number of $\mathbb{Z}^m$ vectors, each of magnitude $\sqrt{r}$, that together sum to the zero vector. In this article, $C_m(r)$ is investigated for various assignments of $m$ and $r$. A few previous results are combined to definitively answer the question except in the case of $m=3$ and the square-free part of $r$ being even and also containing at least one odd prime factor $x$ with $x \equiv 2 \pmod 3$. We detail the results of a computer-assisted search to determine $C_3(r)$ for all $r < 10^6$ and then discuss parameterizations of vector cycles in $\mathbb{Z}^3$ of length five. We close with a few conjectures and open questions.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: for given positive integers \(m\) and \(r\), determine the smallest odd number \(n\) such that there exist \(n\) vectors in \(Z^m\), each with a modulus of \(\sqrt{r}\), and the sum of these vectors is the zero vector. Expressed in a formula, that is, to solve: \[C_m(r)=\min\{n\mid\exists v_1, v_2,\ldots, v_n\in Z^m, |v_i| = \sqrt{r}, v_1 + v_2+\cdots+ v_n = 0\}\] where \(n\) is odd. Specifically, the paper mainly focuses on the following problems: - For different \(m\) and \(r\), how to determine the value of \(C_m(r)\). - In particular, when \(m = 3\), for \(r\) under certain conditions, how to determine the value of \(C_3(r)\). By combining existing results, the paper discusses \(C_m(r)\) in different situations and particularly studies the case of \(m = 3\) in detail. For \(m = 3\), the paper finds that when \(r\equiv2\pmod{4}\) and its square - free part contains at least one odd prime factor with \(r\equiv2\pmod{3}\), the problem becomes especially complex. In addition, the paper also conducts a computer - aided search to determine the value of \(C_3(r)\) and proposes some conjectures and future research directions. In summary, the main problem of the paper is to determine the length \(C_m(r)\) of the smallest odd - period vector (that is, the sum of an odd number of vectors is the zero vector) composed of vectors with a given modulus \(\sqrt{r}\) in the \(Z^m\) space.