Bose–Mesner algebra

From HandWiki

In mathematics, a Bose–Mesner algebra is a special set of matrices which arise from a combinatorial structure known as an association scheme, together with the usual set of rules for combining (forming the products of) those matrices, such that they form an associative algebra, or, more precisely, a unitary commutative algebra. Among these rules are:

  • the result of a product is also within the set of matrices,
  • there is an identity matrix in the set, and
  • taking products is commutative.

Bose–Mesner algebras have applications in physics to spin models, and in statistics to the design of experiments. They are named for R. C. Bose and Dale Marsh Mesner.[1]

Definition

Let X be a set of v elements. Consider a partition of the 2-element subsets of X into n non-empty subsets, R1, ..., Rn such that:

  • given an [math]\displaystyle{ x \in X }[/math], the number of [math]\displaystyle{ y \in X }[/math] such that [math]\displaystyle{ \{x,y\} \in R_i }[/math] depends only on i (and not on x). This number will be denoted by vi, and
  • given [math]\displaystyle{ x,y \in X }[/math] with [math]\displaystyle{ \{x,y\} \in R_k }[/math], the number of [math]\displaystyle{ z \in X }[/math] such that [math]\displaystyle{ \{x,z\} \in R_i }[/math] and [math]\displaystyle{ \{z,y\} \in R_j }[/math] depends only on i,j and k (and not on x and y). This number will be denoted by [math]\displaystyle{ p^k_{ij} }[/math].

This structure is enhanced by adding all pairs of repeated elements of X and collecting them in a subset R0. This enhancement permits the parameters i, j, and k to take on the value of zero, and lets some of x,y or z be equal.

A set with such an enhanced partition is called an association scheme.[2] One may view an association scheme as a partition of the edges of a complete graph (with vertex set X) into n classes, often thought of as color classes. In this representation, there is a loop at each vertex and all the loops receive the same 0th color.

The association scheme can also be represented algebraically. Consider the matrices Di defined by:

[math]\displaystyle{ (D_i)_{x,y} = \begin{cases} 1,& \text{if } \left(x,y\right)\in R_{i},\\ 0,& \text{otherwise.} \end{cases} \qquad (1) }[/math]

Let [math]\displaystyle{ \mathcal{A} }[/math] be the vector space consisting of all matrices [math]\displaystyle{ \sideset{}{_{i=0}^{n}}\sum a_{i}D_{i} }[/math], with [math]\displaystyle{ a_{i} }[/math] complex.[3][4]

The definition of an association scheme is equivalent to saying that the [math]\displaystyle{ D_{i} }[/math] are v × v (0,1)-matrices which satisfy

  1. [math]\displaystyle{ D_i }[/math] is symmetric,
  2. [math]\displaystyle{ \sum_{i=0}^n D_{i}=J }[/math] (the all-ones matrix),
  3. [math]\displaystyle{ D_0=I, }[/math]
  4. [math]\displaystyle{ D_i D_j = \sum_{k=0}^n p^k_{ij} D_k = D_j D_i,\qquad i,j=0,\ldots,n. }[/math]

The (x,y)-th entry of the left side of 4. is the number of two colored paths of length two joining x and y (using "colors" i and j) in the graph. Note that the rows and columns of [math]\displaystyle{ D_i }[/math] contain [math]\displaystyle{ v_i }[/math] 1s:

[math]\displaystyle{ D_i J=J D_i = v_i J. \qquad (2) }[/math]

From 1., these matrices are symmetric. From 2., [math]\displaystyle{ D_{0},\ldots,D_{n} }[/math] are linearly independent, and the dimension of [math]\displaystyle{ \mathcal{A} }[/math] is [math]\displaystyle{ n+1 }[/math]. From 4., [math]\displaystyle{ \mathcal{A} }[/math] is closed under multiplication, and multiplication is always associative. This associative commutative algebra [math]\displaystyle{ \mathcal{A} }[/math] is called the Bose–Mesner algebra of the association scheme. Since the matrices in [math]\displaystyle{ \mathcal{A} }[/math] are symmetric and commute with each other, they can be simultaneously diagonalized. This means that there is a matrix [math]\displaystyle{ S }[/math] such that to each [math]\displaystyle{ A\in\mathcal{A} }[/math] there is a diagonal matrix [math]\displaystyle{ \Lambda_{A} }[/math] with [math]\displaystyle{ S^{-1}A S=\Lambda_{A} }[/math]. This means that [math]\displaystyle{ \mathcal{A} }[/math] is semi-simple and has a unique basis of primitive idempotents [math]\displaystyle{ J_{0},\ldots,J_{n} }[/math]. These are complex n × n matrices satisfying

[math]\displaystyle{ J_i^2 =J_i, i=0,\ldots,n, \qquad (3) }[/math]
[math]\displaystyle{ J_i J_k=0, i\neq k, \qquad (4) }[/math]
[math]\displaystyle{ \sum_{i=0}^n J_i = I. \qquad (5) }[/math]

The Bose–Mesner algebra has two distinguished bases: the basis consisting of the adjacency matrices [math]\displaystyle{ D_i }[/math], and the basis consisting of the irreducible idempotent matrices [math]\displaystyle{ E_k }[/math]. By definition, there exist well-defined complex numbers such that

[math]\displaystyle{ D_{i}=\sum_{k=0}^n p_i (k) E_k, \qquad (6) }[/math]

and

[math]\displaystyle{ |X|E_{k}=\sum_{i=0}^n q_k\left(i\right)D_i. \qquad (7) }[/math]

The p-numbers [math]\displaystyle{ p_i (k) }[/math], and the q-numbers [math]\displaystyle{ q_k(i) }[/math], play a prominent role in the theory.[5] They satisfy well-defined orthogonality relations. The p-numbers are the eigenvalues of the adjacency matrix [math]\displaystyle{ D_i }[/math].

Theorem

The eigenvalues of [math]\displaystyle{ p_i(k) }[/math] and [math]\displaystyle{ q_k(i) }[/math], satisfy the orthogonality conditions:

[math]\displaystyle{ \sum_{k=0}^n \mu_i p_i (k)p_\ell (k)=v v_i \delta_{i \ell}, \quad(8) }[/math]
[math]\displaystyle{ \sum_{k=0}^n \mu_i q_k (i) q_\ell (i)=v \mu_k \delta_{k \ell}. \quad(9) }[/math]

Also

[math]\displaystyle{ \mu_j p_i (j) = v_i q_ j (i),\quad i,j=0,\ldots,n. \quad(10) }[/math]

In matrix notation, these are

[math]\displaystyle{ P^T \Delta_\mu P=v\Delta_v, \quad(11) }[/math]
[math]\displaystyle{ Q^T \Delta_v Q=v\Delta_\mu, \quad(12) }[/math]

where [math]\displaystyle{ \Delta_v = \operatorname{diag} \{v_0,v_1,\ldots,v_n\},\qquad \Delta_\mu = \operatorname{diag} \{\mu_0,\mu_1,\ldots,\mu_n\}. }[/math]

Proof of theorem

The eigenvalues of [math]\displaystyle{ D_i D_\ell }[/math] are [math]\displaystyle{ p_i (k)p_\ell (k) }[/math] with multiplicities [math]\displaystyle{ \mu_k }[/math]. This implies that

[math]\displaystyle{ v v_i \delta_{i\ell} = \operatorname{trace}D_i D_\ell = \sum_{k=0}^n \mu_i p_i(k) p_\ell (k), \quad(13) }[/math]

which proves Equation [math]\displaystyle{ \left(8\right) }[/math] and Equation [math]\displaystyle{ \left(11\right) }[/math],

[math]\displaystyle{ Q = v P^{-1} = \Delta_v^{-1} P^T \Delta_\mu, \quad(14) }[/math]

which gives Equations [math]\displaystyle{ (9) }[/math], [math]\displaystyle{ (10) }[/math] and [math]\displaystyle{ (12) }[/math].[math]\displaystyle{ \Box }[/math]

There is an analogy between extensions of association schemes and extensions of finite fields. The cases we are most interested in are those where the extended schemes are defined on the [math]\displaystyle{ n }[/math]-th Cartesian power [math]\displaystyle{ X=\mathcal{F}^{n} }[/math] of a set [math]\displaystyle{ \mathcal{F} }[/math] on which a basic association scheme [math]\displaystyle{ \left(\mathcal{F},K\right) }[/math] is defined. A first association scheme defined on [math]\displaystyle{ X=\mathcal{F}^{n} }[/math] is called the [math]\displaystyle{ n }[/math]-th Kronecker power [math]\displaystyle{ \left(\mathcal{F},K\right)_{\otimes}^{n} }[/math] of [math]\displaystyle{ \left(\mathcal{F},K\right) }[/math]. Next the extension is defined on the same set [math]\displaystyle{ X=\mathcal{F}^{n} }[/math] by gathering classes of [math]\displaystyle{ \left(\mathcal{F},K\right)_{\otimes}^{n} }[/math]. The Kronecker power corresponds to the polynomial ring [math]\displaystyle{ F\left[X\right] }[/math] first defined on a field [math]\displaystyle{ \mathbb{F} }[/math], while the extension scheme corresponds to the extension field obtained as a quotient. An example of such an extended scheme is the Hamming scheme.

Association schemes may be merged, but merging them leads to non-symmetric association schemes, whereas all usual codes are subgroups in symmetric Abelian schemes.[6][7][8]

See also


Notes

References