English

On Hoffman polynomials of $\lambda$-doubly stochastic irreducible matrices and commutative association schemes

Combinatorics 2024-03-04 v1

Abstract

Let Γ\Gamma denote a finite (strongly) connected regular (di)graph with adjacency matrix AA. The {\em Hoffman polynomial} h(t)h(t) of Γ=Γ(A)\Gamma=\Gamma(A) is the unique polynomial of smallest degree satisfying h(A)=Jh(A)=J, where JJ denotes the all-ones matrix. Let XX denote a nonempty finite set. A nonnegative matrix B\mboxMatX(R)B\in{\mbox{Mat}}_X({\mathbb R}) is called {\em λ\lambda-doubly stochastic} if zX(B)yz=zX(B)zy=λ\sum_{z\in X} (B)_{yz}=\sum_{z\in X} (B)_{zy}=\lambda for each yXy\in X. In this paper we first show that there exists a polynomial h(t)h(t) such that h(B)=Jh(B)=J if and only if BB is a λ\lambda-doubly stochastic irreducible matrix. This result allows us to define the Hoffman polynomial of a λ\lambda-doubly stochastic irreducible matrix. Now, let B\mboxMatX(R)B\in{\mbox{Mat}}_X({\mathbb R}) denote a normal irreducible nonnegative matrix, and B={p(B)pC[t]}{\cal B}=\{p(B)\mid p\in{\mathbb{C}}[t]\} denote the vector space over C{\mathbb{C}} of all polynomials in BB. Let us define a 0101-matrix A^\widehat{A} in the following way: (A^)xy=1(\widehat{A})_{xy}=1 if and only if (B)xy>0(B)_{xy}>0 (x,yX)(x,y\in X). Let Γ=Γ(A^)\Gamma=\Gamma(\widehat{A}) denote a (di)graph with adjacency matrix A^\widehat{A}, diameter DD, and let ADA_D denote the distance-DD matrix of Γ\Gamma. We show that B{\cal B} is the Bose--Mesner algebra of a commutative DD-class association scheme if and only if BB is a normal λ\lambda-doubly stochastic matrix with D+1D+1 distinct eigenvalues and ADA_D is a polynomial in BB.

Keywords

Cite

@article{arxiv.2403.00652,
  title  = {On Hoffman polynomials of $\lambda$-doubly stochastic irreducible matrices and commutative association schemes},
  author = {Giusy Monzillo and Safet Penjić},
  journal= {arXiv preprint arXiv:2403.00652},
  year   = {2024}
}