Hamming graphs in Nomura algebras

Let A be an association scheme on q≥3 vertices. We show that the Bose-Mesner algebra of the generalized Hamming scheme H(n,A), for n?2, is not the Nomura algebra of any type II matrix.This result gives examples of formally self-dual Bose-Mesner algebras that are not the Nomura algebras of type II matrices.     

Spin models constructed from Hadamard matrices

A spin model (for link invariants) is a square matrix W which satisfies certain axioms. For a spin model W, it is known that W ^T W ^?1 is a permutation matrix, and its order is called the index of W. Jaeger and Nomura found spin models of index?2, by modifying the construction of symmetric spin models from Hadamard matrices. The aim of this paper is to give a construction of spin models of an arbitrary even index from any Hadamard matrix. In particular, we show that our spin models of indices a power of 2 are new.     

An Algebra Associated with a Spin Model

To each symmetric n × n matrix W with non-zero complex entries, we associate a vector space N, consisting of certain symmetric n × n matrices. If W satisfies then N becomes a commutative algebra under both ordinary matrix product and Hadamard product (entry-wise product), so that N is the Bose-Mesner algebra of some association scheme. If W satisfies the star-triangle equation: then W belongs to N. This gives an algebraic proof of Jaeger's result which asserts that every spin model which defines a link invariant comes from some association scheme.     

On Four-Weight Spin Models and their Gauge Transformations

We study the four-weight spin models (W₁, W₂, W₃, W₄) introduced by Eiichi and Etsuko Bannai (Pacific J. of Math, to appear). We start with the observation, based on the concept of special link diagram, that two such spin models yield the same link invariant whenever they have the same pair (W₁, W₃), or the same pair (W₂, W₄). As a consequence, we show that the link invariant associated with a four-weight spin model is not sensitive to the full reversal of orientation of a link. We also show in a similar way that such a link invariant is invariant under mutation of links.Next, we give an algebraic characterization of the transformations of four-weight spin models which preserve W₁, W₃ or preserve W₂, W₄. Such gauge transformations correspond to multiplication of W₂, W₄ by permutation matrices representing certain symmetries of the spin model, and to conjugation of W₁, W₃ by diagonal matrices. We show for instance that up to gauge transformations, we can assume that W₁, W₃ are symmetric.Finally we apply these results to two-weight spin models obtained as solutions of the modular invariance equation for a given Bose-Mesner algebra B and a given duality of B. We show that the set of such spin models is invariant under certain gauge transformations associated with the permutation matrices in B. In the case where B is the Bose-Mesner algebra of some Abelian group association scheme, we also show that any two such spin models (which generalize those introduced by Eiichi and Etsuko Bannai in J. Alg. Combin. 3 (1994), 243–259) are related by a gauge transformation. As a consequence, the link invariant associated with such a spin model depends only trivially on the link orientation.     

Bose-Mesner Algebras Associated with Four-Weight Spin Models

It is known that for each matrix W _i and it's transpose ^t W _i in any four-weight spin model (X, W ₁, W ₂, W ₃, W ₄; D), there is attached the Bose-Mesner algebra of an association scheme, which we call Nomura algebra. They are denoted by N(W _i ) and N( ^t W _i ) = N′(W _i ) respectively. H. Guo and T. Huang showed that some of them coincide with a self-dual Bose-Mesner algebra, that is, N(W ₁) = N′(W ₁) = N(W ₃) = N′(W ₃) holds. In this paper we show that all of them coincide, that is, N(W _i ), N′(W _i ), i=1, 2, 3, 4, are the same self-dual Bose-Mesner algebra. Received: June 17, 1999 Final version received: Januray 17, 2000     

Symmetric Versus Non-Symmetric Spin Models for Link Invariants

We study spin models as introduced in [20]. Such a spin model can be defined as a square matrix satisfying certain equations, and can be used to compute an associated link invariant. The link invariant associated with a symmetric spin model depends only trivially on link orientation. This property also holds for quasi-symmetric spin models, which are obtained from symmetric spin models by certain gauge transformations preserving the associated link invariant. Using a recent result of [16] which asserts that every spin model belongs to some Bose-Mesner algebra with duality, we show that the transposition of a spin model can be realized by a permutation of rows. We call the order of this permutation the index of the spin model. We show that spin models of odd index are quasi-symmetric. Next, we give a general form for spin models of index 2 which implies that they are associated with a certain class of symmetric spin models. The symmetric Hadamard spin models of [21] belong to this class and this leads to the introduction of non-symmetric Hadamard spin models. These spin models give the first known example where the associated link invariant depends non-trivially on link orientation. We show that a non-symmetric Hadamard spin model belongs to a certain triply regular Bose-Mesner algebra of dimension 5 with duality, and we use this to give an explicit formula for the associated link invariant involving the Jones polynomial.     

Type II Matrices and Their Bose-Mesner Algebras

Type II matrices were introduced in connection with spin models for link invariants. It is known that a pair of Bose-Mesner algebras (called a dual pair) of commutative association schemes are naturally associated with each type II matrix. In this paper, we show that type II matrices whose Bose-Mesner algebras are imprimitive are expressed as so-called generalized tensor products of some type II matrices of smaller sizes. As an application, we give a classification of type II matrices of size at most 10 except 9 by using the classification of commutative association schemes.     

Spin Models of Index 2 and Hadamard Models

A spin model (for link invariants) is a square matrix W with non-zero complex entries which satisfies certain axioms. Recently it was shown that ^t WW ^–1 is a permutation matrix (the order of this permutation matrix is called the index of W), and a general form was given for spin models of index 2. Moreover, new spin models, called non-symmetric Hadamard models, were constructed. In the present paper, we classify certain spin models of index 2, including non-symmetric Hadamard models.     

Modular Hadamard martrices and related designs

A square matrix with entries ± 1 is called a modular Hadamard matrix if the inner product of each two distinct row vectors is a multiple of some fixed (positive) integer. This paper initiates the study of modular Hadamard matrices and the combinatorial designs associated with them. The related combinatorial designs are the main concern of this paper; some results dealing with the existence and construction of modular Hadamard matrices will be included in a later paper.     

Homogeneity of a Distance-Regular Graph Which Supports a Spin Model

A spin model is a square matrix that encodes the basic data for a statistical mechanical construction of link invariants due to V.F.R. Jones. Every spin model W is contained in a canonical Bose-Mesner algebra (W). In this paper we study the distance-regular graphs whose Bose-Mesner algebra satisfies W (W). Suppose W has at least three distinct entries. We show that is 1-homogeneous and that the first and the last subconstituents of are strongly regular and distance-regular, respectively.     

On Spin Models, Modular Invariance, and Duality

A spin model is a triple (X, W ⁺, W ^–), where W ⁺ and W ^– are complex matrices with rows and columns indexed by X which satisfy certain equations (these equations allow the construction of a link invariant from(X, W ⁺, W ^–) ). We show that these equations imply the existence of a certain isomorphism between two algebras and associated with (X, W ⁺, W ^–) . When is the Bose-Mesner algebra of some association scheme, and is a duality of . These results had already been obtained in [15] when W ⁺, W ^– are symmetric, and in [5] in the general case, but the present proof is simpler and directly leads to a clear reformulation of the modular invariance property for self-dual association schemes. This reformulation establishes a correspondence between the modular invariance property and the existence of spin models at the algebraic level. Moreover, for Abelian group schemes, spin models at the algebraic level and actual spin models coincide. We solve explicitly the modular invariance equations in this case, obtaining generalizations of the spin models of Bannai and Bannai [3]. We show that these spin models can be identified with those constructed by Kac and Wakimoto [20] using even rational lattices. Finally we give some examples of spin models at the algebraic level which are not actual spin models.     

The structure of weighing matrices having large weights

We examine the structure of weighing matricesW(n, w), wherew=n–2,n–3,n–4, obtaining analogues of some useful results known for the casen–1. In this setting we find some natural applications for the theory ofsigned groups and orthogonal matrices with entries from signed groups, as developed in [3]. We construct some new series of Hadamard matrices from weighing matrices, including the following:W(n, n–2) implies an Hadamard matrix of order2n ifn0 mod 4 and order 4n otherwise;W(n, n–3) implies an Hadamard matrix of order 8n; in certain cases,W(n, n–4) implies an Hadamard matrix of order 16n. We explicitly derive 117 new Hadamard matrices of order 2 ^t p, p<4000, the smallest of which is of order 2³·419.Supported by an NSERC grant     

On Spin Models,Triply Regular Association Schemes,and Duality

Motivated by the construction of invariants of links in 3-space, we study spin models on graphs for which all edge weights (considered as matrices) belong to the Bose-Mesner algebra of some association scheme. We show that for series-parallel graphs the computation of the partition function can be performed by using series-parallel reductions of the graph appropriately coupled with operations in the Bose-Mesner algebra. Then we extend this approach to all plane graphs by introducing star-triangle transformations and restricting our attention to a special class of Bose-Mesner algebras which we call exactly triply regular. We also introduce the following two properties for Bose-Mesner algebras. The planar duality property (defined in the self-dual case) expresses the partition function for any plane graph in terms of the partition function for its dual graph, and the planar reversibility property asserts that the partition function for any plane graph is equal to the partition function for the oppositely oriented graph. Both properties hold for any Bose-Mesner algebra if one considers only series-parallel graphs instead of arbitrary plane graphs. We relate these notions to spin models for link invariants, and among other results we show that the Abelian group Bose-Mesner algebras have the planar duality property and that for self-dual Bose-Mesner algebras, planar duality implies planar reversibility. We also prove that for exactly triply regular Bose-Mesner algebras, to check one of the above properties it is sufficient to check it on the complete graph on four vertices. A number of applications, examples and open problems are discussed.     

The Classification of Certain Four-Weight Spin Models

In this paper we show that if one of the matrices {Wi, 1 h i h 4} of a four-weight spin model (X, W1, W2, W3, W4; D) is equivalent to the matrix of a Potts model or a cyclic model as type II matrix and |X| S 5, then the spin model is gauge equivalent to a Potts model or a cyclic model up to simultaneous permutations on rows and columns. Using this fact and Nomura's result [12] we show that every four-weight spin model of size |X| = 5 is gauge equivalent to either a Potts model or a cyclic model up to simultaneous permutations on rows and columns.     

Minimax estimates of a linear parameter function in a regression model under restrictions on the parameters and variance-covariance matrix

Minimax nonhomogeneous linear estimators of scalar linear parameter functions are studied in the paper under restrictions on the parameters and variance-covariance matrix. The variance-covariance matrix of the linear model under consideration is assumed to be unknown but from a specific set R of nonnegativedefinite matrices. It is shown under this assumption that, without any restriction on the parameters, minimax estimators correspond to the least-squares estimators of the parameter functions for the “worst” variance-covariance matrix. Then the minimax mean-square error of the estimator is derived using the Bayes approach, and finally the exact formulas are derived for the calculation of minimax estimators under elliptical restrictions on the parameter space and for two special classes of possible variance-covariance matrices R. For example, it is shown that a special choice of a constant q ₀ and a matrixW ₀ defining one of the above classes R leads to the well known Kuks—Olman admissible estimator (see [16]) with a known variance-covariance matrixW ₀. Bibliography:32 titles. Translated fromObchyslyuval'na ta Prykladna Matematyka, No. 81, 1997, pp. 79–92.     

Strongly regular graphs and spin models for the Kauffman polynomial

We study spin models for invariants of links as defined by Jones [22]. We consider the two algebras generated by the weight matrices of such models under ordinary or Hadamard product and establish an isomorphism between them. When these algebras coincide they form the Bose-Mesner algebra of a formally self-dual association scheme. We study the special case of strongly regular graphs, which is associated to a particularly interesting link invariant, the Kauffman polynomial [27]. This leads to a classification of spin models for the Kauffman polynomial in terms of formally self-dual strongly regular graphs with strongly regular subconstituents [7]. In particular we obtain a new model based on the Higman-Sims graph [17].     

On a series of Hadamard matrices of order 2 t and the maximal excess of Hadamard matrices of order 22t

In this paper we give a new series of Hadamard matrices of order 2 ^t . When the order is 16, Hadamard matrices obtained here belong to class II, class V or to class IV of Hall's classification [3]. By combining our matrices with the matrices belonging to class I, class II or class III obtained before, we can say that we have direct construction, namely without resorting to block designs, for all classes of Hadamard matrices of order 16.Furthermore we show that the maximal excess of Hadamard matrices of order 2^2t is 2^3t , which was proved by J. Hammer, R. Levingston and J. Seberry [4]. We believe that our matrices are inequivalent to the matrices used by the above authors. More generally, if there is an Hadamard matrix of order 4n ² with the maximal excess 8n ³, then there exist more than one inequivalent Hadamard matrices of order 2^2t n ² with the maximal excess 2^3t n ³ for anyt 2.     

Symmetric Designs Attached to Four-Weight Spin Models

H. Guo and T. Huang studied the four-weight spin models (X, W ₁, W ₂, W ₃, W ₄;D) with the property that the entries of the matrix W ₂ (or equivalently W ₄) consist of exactly two distinct values. They found that such spin models are always related to symmetric designs whose derived design with respect to any block is a quasi symmetric design. In this paper we show that such a symmetric design admits a four-weight spin model with exactly two values on W ₂ if and only if it has some kind of duality between the set of points and the set of blocks. We also give some examples of parameters of symmetric designs which possibly admit four-weight spin models with exactly two values on W ₂.     

Type II Matrices of Size Five

. A type II matrix is an n×n matrix W with non-zero entries W _i,j which satisfies , i, j=1, …, n. Two type II matrices W, W′ are said to be equivalent if W′=P ₁Δ₁ WΔ₂ P ₂ holds for some permutation matrices P ₁, P ₂ and for some non-singular diagonal matrices Δ₁, Δ₂. In the present paper, it is shown that there are up to equivalence exactly three type II matrices in M ₅(C). Received: August 15, 1996 Revised: May 16, 1997     

The cocyclic Hadamard matrices of order less than 40

In this paper all cocyclic Hadamard matrices of order less than 40 are classified. That is, all such Hadamard matrices are explicitly constructed, up to Hadamard equivalence. This represents a significant extension and completion of work by de Launey and Ito. The theory of cocyclic development is discussed, and an algorithm for determining whether a given Hadamard matrix is cocyclic is described. Since all Hadamard matrices of order at most 28 have been classified, this algorithm suffices to classify cocyclic Hadamard matrices of order at most 28. Not even the total numbers of Hadamard matrices of orders 32 and 36 are known. Thus we use a different method to construct all cocyclic Hadamard matrices at these orders. A result of de Launey, Flannery and Horadam on the relationship between cocyclic Hadamard matrices and relative difference sets is used in the classification of cocyclic Hadamard matrices of orders 32 and 36. This is achieved through a complete enumeration and construction of (4t, 2, 4t, 2t)-relative difference sets in the groups of orders 64 and 72.