arXiv++ Combinatorics

Ternary coherent configurations are, on the one hand, a special case of multidimensional coherent configurations introduced by L. Babai (2016), and, on the other hand, a natural generalization of association schemes on triples introduced by D. M. Mesner and P. Bhattacharya (1990). A ternary coherent configuration X is said to be circulant if the automorphism group Aut(X) of X has a regular cyclic subgroup, and schurian if the classes of X are the orbits of the componentwise action of the group Aut(X) on triples of points of X. It is proved that any circulant ternary coherent configuration X of prime degree p is schurian with the possible exception of the case when X is an association schemes on triples and either Aut(X) = AGL1(p) and p = +1, or -1 (mod 8), or Aut(X) is a proper subgrou of AGL1(p).

It is proved that for infinitely many positive integers n, there exists a circulant graph of order n whose Weisfeiler-Leman dimension is at least c\sqrt{log n} for some positive constant c not depending on n.

An origin of the multidimensional Weisfeiler-Leman algorithm goes back to a refinement procedure of deep stabilization, introduced by B. Weisfeiler in a paper included in the collective monograph ``On construction and identification of graphs"(1976). This procedure is recursive and the recursion starts from an algorithm of depth-$1$ stabilization, which has never been discussed in the literature. A goal of the present paper is to show that a simplified algorithm of the depth-$1$ stabilization has the same power as the $3$-dimensional Weisfeiler-Leman algorithm. It is proved that the class of coherent configurations obtained at the output of this simplified algorithm coincides with the class introduced earlier by the third author. As an application we also prove that if there exist at least two nonisomorphic projective planes of order $q$, then the Weisfeiler-Leman dimension of the incidence graph of any projective plane of order $q$ is at least $4$.

For any finite group $G$ and a positive integer $m$, we define andstudy a Schur ring over the direct power $G^m$, which gives an algebraic interpretation of the partition of $G^m$ obtained by the $m$-dimensional Weisfeiler-Leman algorithm. It is proved that this ring determines the group $G$ up to isomorphism if $m\ge 3$, and approaches the Schur ring associated with the group $Aut(G)$ acting on $G^m$ naturally if $m$ increases. It turns out that the problem of finding this limit ring is polynomial-time equivalent to the group isomorphism problem.

Let $N$ be a normal subgroup of a finite group $G$. For a faithful $N$-set $Δ$, applying the university embedding theorem one can construct a faithful $G$-set $Ω$. In this short note, it is proved that if the $2$-closure of $N$ in $Ω$ is equal to $N$, then the $2$-closure of $N$ in $Δ$ is also equal to $N$; in addition, it is proved that any abelian normal subgroup of a finite totally $2$-closed group is cyclic; finally, it is proved that if a finite nilpotent group is a direct of two nilpotent subgroups where the two factors have coprime orders and both of them are totally 2-closed then G is totally $2$-closed. As corollaries, several well-known results on finite totally 2-closed groups are reproved in more simple ways.