An Explicit Formula for the Number of Solutions of X^2=0 in Triangular Matrices over a Finite Field

Shalosh B. Ekhad,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.math/9512224

1995-12-20

Abstract:We prove an explicit formula for the number of $n \times n$ upper triangular matrices, over $GF(q)$, whose square is the zero matrix. This formula was recently conjectured by Sasha Kirillov and Anna Melnikov[KM].

Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to calculate the number of \(n\times n\) upper triangular matrices over the finite field \(GF(q)\) that satisfy \(X^2 = 0\). Specifically, the authors prove the explicit formula for the number of these matrices recently proposed by Sasha Kirillov and Anna Melnikov. This formula can be expressed as the polynomial \(C_n(q)\), where:

- For even \(n\), the formula is:
\[
C_{2n}(q)=\sum_j\left[\binom{2n}{n - 3j}-\binom{2n}{n - 3j-1}\right]\cdot q^{n^2-3j^2-j}
\]

- For odd \(n\), the formula is:
\[
C_{2n + 1}(q)=\sum_j\left[\binom{2n+1}{n - 3j}-\binom{2n+1}{n - 3j-1}\right]\cdot q^{n^2+n-3j^2-2j}
\]

Here, \(\binom{m}{n}_q\) represents the \(q\)-binomial coefficient, which is defined as:
\[
\binom{m}{n}_q=\frac{(1 - q^m)(1 - q^{m-1})\cdots(1 - q^{m - n+1})}{(1 - q)(1 - q^2)\cdots(1 - q^n)}
\]
It is valid when \(0\leq n\leq m\), and 0 otherwise.

Through a series of complex algebraic operations and combinatorial analysis, the paper finally proves the above formula. This result not only solves the conjecture proposed by Kirillov and Melnikov, but also provides new tools and methods for studying the properties of matrices over finite fields.