Pantaree Thengarnanchai,Pawaton Kaemawichanurat,Watcharintorn Ruksasakchai,Natawat Klamsakul
Abstract:In 1980, Athreya, Pranesachar and Singhi established the chromatic polynomial of $(3 \times n)$-Latin rectangles whose entries based on a set $\{1, 2, ..., \lambda\}$ in which $\lambda \geq n$. Their proof requires Möbius inversion formula and lattice partitions. In this paper, we present a simpler proof by using the idea of mathematical induction and appropriate coloring.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about calculating the number of \(3\times n\) Latin rectangles based on the set \(\{1, 2,\ldots,\lambda\}\), where \(\lambda\geq n\). Each row of a Latin rectangle contains numbers from 1 to \(n\), and each number appears exactly once in each row and at most once in each column.
Specifically, this paper aims to provide a simpler proof method for calculating the chromatic polynomial of \(3\times n\) Latin rectangles. The chromatic polynomial \(g(n,\lambda)\) represents the number of ways to legally color a \(3\times n\) Latin rectangle using \(\lambda\) colors. Previous research (such as the work of Athreya et al.) relied on the Möbius inversion formula and lattice partitions, while this paper proposes a simplified proof using only mathematical induction and appropriate coloring methods.
### Main contributions of the paper
1. **Simplified proof**: By introducing new graph structures and appropriate coloring methods, complex combinatorial tools (such as the Möbius inversion formula) are avoided, thus simplifying the derivation process of the chromatic polynomial of \(3\times n\) Latin rectangles.
2. **Application of induction**: Mathematical induction is used to gradually construct and verify the expression of the chromatic polynomial, ensuring the rigor and readability of the proof.
3. **New formula**: A new formula for calculating the chromatic polynomial of \(3\times n\) Latin rectangles is proposed:
\[
g(n,\lambda)=\frac{\lambda!}{(\lambda - n)!}\sum_{l = 0}^{n}(- 1)^{l}\binom{n}{l}\sum_{t_{1}=0}^{b}\sum_{t_{2}=0}^{l - t_{1}}A(\lambda,k,l,t_{1},t_{2})(B(\lambda,k,l,t_{1}))^{2}
\]
where \(k=n - l\), and \(A\) and \(B\) are defined as follows:
\[
A(\lambda,k,l,t_{1},t_{2})=\binom{k}{t_{1}}\binom{l}{t_{2}}\binom{\lambda - n}{l - t_{1}-t_{2}}\sum_{i = 0}^{t_{2}}(-1)^{i}(l - i)!\binom{t_{2}}{i}
\]
\[
B(\lambda,k,l,t_{1})=\sum_{t_{3}=0}^{k - t_{1}}\binom{k - t_{1}}{t_{3}}\binom{\lambda - n + t_{1}}{k - t_{3}}\sum_{j = 0}^{t_{3}}(-1)^{j}(k - j)!\binom{t_{3}}{j}
\]
### Summary
This paper re - derives the chromatic polynomial of \(3\times n\) Latin rectangles by a simplified method, which not only makes the proof more concise and understandable, but also provides new ideas and tools for research in related fields.