Abstract:We solve Olga Taussky-Todd's circulant problem in the case of order 16.
What problem does this paper attempt to address?
This paper attempts to solve the specific form of the circulant matrix problem proposed by Olga Taussky - Todd in the case of order 16. Specifically, the goal of the article is to determine the set \( S(16) \) of all possible values of 16 - order integer circulant determinants.
### Problem Background
For a positive integer \( n \), define an \( n \)-order circulant determinant as:
\[ D(a_0, a_1, \ldots, a_{n - 1}) := \det\begin{pmatrix}
a_0 & a_{n - 1} & \cdots & a_1 \\
a_1 & a_0 & \cdots & a_2 \\
\vdots & \vdots & \ddots & \vdots \\
a_{n - 1} & a_{n - 2} & \cdots & a_0
\end{pmatrix} \]
When all elements \( a_i \) are integers, this circulant determinant is called an integer circulant determinant. Denote \( S(n) \) as the set of all possible values of \( n \)-order integer circulant determinants:
\[ S(n) := \{ D(a_0, a_1, \ldots, a_{n - 1}) \mid a_i \in \mathbb{Z} \} \]
In 1977, Olga Taussky - Todd proposed a problem: for any \( n \), determine the specific form of \( S(n) \). This problem is called Olga Taussky - Todd's circulant problem.
### Known Results
Previous research has solved some special cases:
- For \( n = p, 2p, p^2 \) (where \( p \) is an odd prime), the problem has been solved.
- Kaiblinger obtained the following results in the 2012 study:
- \( S(4)=\mathbb{Z}_{\text{odd}} \cup 16\mathbb{Z} \)
- \( S(8)=\mathbb{Z}_{\text{odd}} \cup 32\mathbb{Z} \)
- \( \mathbb{Z}_{\text{odd}} \cup 2^{2k - 1}\mathbb{Z} \subset S(2^k) \subset \mathbb{Z}_{\text{odd}} \cup 2^{k + 2}\mathbb{Z}, k\geq4 \)
These results raise the question of whether \( S(16)=\mathbb{Z}_{\text{odd}} \cup 64\mathbb{Z} \).
### Main Contributions of the Paper
This paper gives a negative answer and determines the specific form of \( S(16) \):
\[ S(16)=\mathbb{Z}_{\text{odd}} \cup 128\mathbb{Z} \cup \left\{ 64pm \mid p = a^2 + b^2\equiv1 \ (\text{mod} \ 8), a + b\equiv3,5 \ (\text{mod} \ 8), m\in\mathbb{Z} \right\} \cup \left\{ 64pm \mid p\equiv5 \ (\text{mod} \ 8), m\in\mathbb{Z} \right\} \cup \left\{ 64p^2m \mid p\equiv3 \ (\text{mod} \ 8), m\in\mathbb{Z} \right\} \]
where \( p \) represents a prime number.
Through this result, the author not only answers the question about the specific form of \( S(16) \), but also further...