arXiv++ Combinatorics

In 2003 Peter Cameron introduced the concept of a Jordan scheme and asked whether there exist Jordan schemes which are not symmetrisations of coherent configurations (proper Jordan schemes). The question was answered affirmatively by the authors last year and some of the examples were presented in an essay uploaded to the arXiv. In this paper we describe several infinite series of proper Jordan schemes and present first developments in the theory of Jordan schemes - a new class of algebraic-combinatorial objects.

A special class of Jordan algebras over a field $F$ of characteristic zero is considered. Such an algebra consists of an $r$-dimensional subspace of the vector space of all square matrices of a fixed order $n$ over $F$. It contains the identity matrix, the all-one matrix; it is closed with respect to \correction{matrix transposition}, Schur-Hadamard (entrywise) multiplication and the Jordan product $A*B=\frac 12 (AB+BA)$, where $AB$ is the usual matrix product. The suggested axiomatics (with some natural additional requirements) implies an equivalent reformulation in terms of symmetric binary relations on a vertex set of cardinality $n$. The appearing graph-theoretical structure is called a Jordan scheme of order $n$ and rank $r$. A significant source of Jordan schemes stems from the symmetrization of association schemes. Each such structure is called a non-proper Jordan scheme. The question about the existence of proper Jordan schemes was posed a few times by Peter J. Cameron. In the current text an affirmative answer to this question is given. The first small examples presented here have orders $n=15,24,40$. Infinite classes of proper Jordan schemes of rank 5 and larger are introduced. A prolific construction for schemes of rank 5 and order $n=\binom{3^d+1}{2}$, $d\in {\mathbb N}$, is outlined. The text is written in the style of an essay. The long exposition relies on initial computer experiments, a large amount of diagrams, and finally is supported by a number of patterns of general theoretical reasonings. The essay contains also a historical survey and an extensive bibliography.

The $t$-vertex condition, for an integer $t\ge 2$, was introduced by Hestenes and Higman in 1971, providing a combinatorial invariant defined on edges and non-edges of a graph. Finite rank 3 graphs satisfy the condition for all values of $t$. Moreover, a long-standing conjecture of M. Klin asserts the existence of an integer $t_0$ such that a graph satisfies the $t_0$-vertex condition if and only if it is a rank 3 graph. We construct the first infinite family of non-rank 3 strongly regular graphs satisfying the $7$-vertex condition. This implies that the Klin parameter $t_0$ is at least 8. The examples are the point graphs of a certain family of generalised quadrangles.