Abstract:We say that a chessboard filled with integer entries satisfies the neighbour-sum property if the number appearing on each cell is the sum of entries in its neighbouring cells, where neighbours are cells sharing a common edge or vertex. We show that an $n\times n$ chessboard satisfies this property if and only if $n\equiv 5\pmod 6$. Existence of solutions is further investigated of rectangular, toroidal boards, as well as on Neumann neighbourhoods, including a nice connection to discrete harmonic functions. Construction of solutions on infinite boards are also presented. Finally, answers to three dimensional analogues of these boards are explored using properties of cyclotomic polynomials and relevant ideas conjectured.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is about the neighbour - sum property on the chessboard, that is, whether an \(n\times n\) chessboard can be filled with integers such that the number in each cell is equal to the sum of the numbers in its adjacent cells. Specifically, the paper explores the following aspects:
1. **Existence problem**: What kind of \(n\times n\) chessboards have non - trivial solutions, that is, solutions that are not all zero?
2. **Rectangular and toroidal chessboards**: Generalize the problem to rectangular chessboards and toroidal chessboards, and explore whether there are non - trivial solutions in these cases.
3. **Neumann neighbourhood structure**: Change the definition of neighbours and only consider cells that share a boundary as neighbours, and study whether there are non - trivial solutions under this condition.
4. **Infinite chessboards**: Explore whether there are solutions that satisfy the neighbour - sum property on infinitely large chessboards.
### Specific problem description
The paper mainly focuses on the neighbour - sum problem on the \(n\times n\) chessboard, that is, the number in each cell is the sum of the numbers in its surrounding cells. Formally, let \(K\) be an \(n\times n\) matrix representing the integer distribution on the chessboard, then the neighbour - sum property can be expressed as:
\[A_{n}\text{vec}(K)=\text{vec}(K)\]
Here, \(A_{n}\) is the adjacency matrix of the chessboard, and \(\text{vec}(K)\) is the vectorized form of the matrix \(K\). The adjacency relationship here means that two cells share an edge or a vertex.
### Main results
The main result of the paper is to prove that an \(n\times n\) chessboard has a non - trivial solution if and only if \(6\mid(n + 1)\), that is, \(n\equiv5\pmod{6}\). This result is proved by introducing some key concepts and techniques, such as adjacency matrices, tensor products, eigenvalues, etc.
In addition, the paper also explores the existence of solutions for rectangular chessboards, toroidal chessboards, and different neighbour definitions, and gives specific construction methods and solutions.
### Summary
This paper, through the methods of linear algebra and algebraic number theory, deeply studies the neighbour - sum problem on the chessboard. It not only solves the problem in the two - dimensional case, but also generalizes it to higher dimensions and different boundary conditions. This provides a new perspective and tool for understanding discrete harmonic functions and other related problems.