The all-ones matrix arises in the mathematical field of
combinatorics, particularly involving the application of algebraic methods to
graph theory. For example, if
A is the
adjacency matrix of an
n-vertex
undirected graph G, and
J is the all-ones matrix of the same dimension, then
G is a
regular graph if and only if
AJ =
JA. As a second example, the matrix appears in some linear-algebraic proofs of
Cayley's formula, which gives the number of
spanning trees of a
complete graph, using the
matrix tree theorem. The logical
square roots of a matrix of ones,
logical matrices whose square is a matrix of ones, can be used to characterize the
central groupoids. Central groupoids are algebraic structures that obey the
identity (a\cdot b)\cdot (b\cdot c)=b. Finite central groupoids have a
square number of elements, and the corresponding logical matrices exist only for those dimensions. ==See also==