arXiv++ Combinatorics

We present a construction of a Jordan scheme from an elementary abelian $2$-group of rank $n$ and a $\{1,-1\}$-matrix of order $2^n$ that satisfies a specified condition. We then prove that the orders of matrices with the specified condition are limited to $2, 4$ or $8$. Using these matrices, we construct essentially two new proper Jordan schemes of orders $16$ and $32$. Finally, we analyze the structures of the real adjacency Jordan algebras of these Jordan schemes and prove that they are the first known examples whose real adjacency Jordan algebras admit simple components of type $\mathbb{R} \oplus_f \mathbb{R}^n$, namely non-Hermitian type.

We consider when the projective special linear group over a finite field defines a $3$-design with a cyclic starter block. We will show that the equivalences of the existence of such $3$-$(q+1,5,3)$ and $3$-$(q+1,10,18)$ designs for a prime power $q\equiv 1\pmod{20}$, and $3$-$(q+1,13,33)$ and $3$-$(q+1,26,150)$ designs for a prime power $q\equiv 1\pmod{52}$, respectively.

D. G. Higman generalized a coherent configuration and defined a weight. In this article, we will modify the definition and investigate weights on coherent configurations. If our weights are on a thin homogeneous coherent configuration, that is essentially a finite group, then there is a natural correspondence between the set of equivalence classes of weights and $2$-cohomology group of the group. We also give a construction of weights as a generalization of Higman's method using monomial representations of finite groups.

B. Xu characterized rank $4$ self-dual association schemes inducing three partial geometric designs by their character tables. We construct such association schemes as Schur rings over abelian $2$-groups.

For a finite connected simple graph, the Terwilliger algebra is a matrix algebra generated by the adjacency matrix and idempotents corresponding to the distance partition with respect to a fixed vertex. We will consider algebras defined by two other partitions and the centralizer algebra of the stabilizer of the fixed vertex in the automorphism group of the graph. We will give some methods to compute such algebras and examples for various graphs.

In his famous monograph on permutation groups, H.~Wielandt gives an example of a Schur ring over an elementary abelian group of order $p^2$ ($p>3$ is a prime), which is non-schurian, that is, it is the transitivity module of no permutation group. Generalizing this example, we construct a huge family of non-schurian Schur rings over elementary abelian groups of even rank.

In 1988, D. G. Higman gave properties of parameters of strongly regular designs without proof. It included an error. We will give proofs and correct the error.

We can obtain a non-symmetric class $2$ association scheme by a skew-Hadamard matrix. We begin with a skew-Hadamard matrix of order $n$, construct a skew-Hadamard matrix of order $2n$ by doubling construction, and a non-symmetric class $2$ association scheme of order $2n-1$. We will show that the association scheme obtained in this way never be schurian if $n$ is greater than or equal to $8$.

We define modular Terwilliger algebras of association schemes, Terwilliger algebras over a positive characteristic field, and consider basic properties. We give a condition for the modular Terwilliger algebra to be non-semisimple. We show that the dimension of a Terwilliger algebra of a Johnson scheme depends on the characteristic of the coefficient field. We also give some other examples.

We construct a pair of non-commutative rank 8 association schemes from a rank 3 non-symmetric association scheme. For the pair, two association schemes have the same character table but different Frobenius-Schur indicators. This situation is similar to the pair of the dihedral group and the quaternion group of order 8. We also determine the structures of adjacency algebras of them over the rational number field.

The well-known absolute bound condition for a primitive symmetric association scheme (X,S) gives an upper bound for |X| in terms of |S| and the minimal non-principal multiplicity of the scheme. In this paper we prove another upper bounds for |X| for an arbitrary primitive scheme (X,S). They do not depend on |S| but depend on some invariants of its adjacency algebra KS where K is an algebraic number field or a finite field.