Advertisement

Two-valenced association schemes and the Desargues theorem

  • Mitsugu Hirasaka
  • Kijung Kim
  • Ilia PonomarenkoEmail author
Open Access
Article
  • 63 Downloads

Abstract

The main goal of the paper is to establish a sufficient condition for a two-valenced association scheme to be schurian and separable. To this end, an analog of the Desargues theorem is introduced for a noncommutative geometry defined by the scheme in question. It turns out that if the geometry has enough many Desarguesian configurations, then under a technical condition, the scheme is schurian and separable. This result enables us to give short proofs for known statements on the schurity and separability of quasi-thin and pseudocyclic schemes. Moreover, by the same technique, we prove a new result: given a prime p, any \(\{1,p\}\)-scheme with thin residue isomorphic to an elementary abelian p-group of rank greater than two, is schurian and separable.

Mathematics Subject Classification

05E30 

1 Introduction

An association scheme can be thought as a partition of the arcs of a complete directed graph into digraphs connected via special regularity conditions. Numerous examples of associative schemes include the orbital schemes of transitive permutation groups, the Cayley schemes corresponding to Schur rings, the schemes of distance-regular graphs, etc., see [3]. It is now widely believed that the theory of association schemes is one of the most important branches of algebraic combinatorics.

One of the fundamental problems in theory of association schemes is to determine whether a given scheme is schurian, i.e., comes from a permutation group, and/or separable, i.e., uniquely determined by its intersection number array (for the exact definitions, see Sect. 2). In the last 2 decades, these two problems are intensively studied for the two-valenced schemes, see, e.g., [2, 6, 11, 13]; here, an association scheme is said to be two-valenced if the valencies of its basic relations take exactly two values, and if they are 1 and k, the term \(\{1,k\}\)-scheme is also used.

An analysis of the known proofs that certain two-valenced schemes are schurian or separable shows that in all cases, the following two properties are significant. The first one is that there are sufficiently many intersection numbers of the scheme in question that are equal to 1; to define this property precisely, we introduce, in Sect. 3, the saturation condition (a special case of it appeared in [2]). The second property expresses the fact that in a noncommutative “affine” geometry determined by the two-valenced scheme, there are sufficiently many Desarguesian configurations, see Sect. 4.

A two-valenced scheme having the first and second properties is said to be saturated and Desarguesian, respectively. A model example illustrating these two properties is the scheme of a finite affine space that is two-valenced, saturated (except for few cases), and Desarguesian if the dimension of the affine space is at least 3 (see Examples in Sects. 3 and 4). Numerous examples of other saturated Desarguesian schemes can be found among pseudocyclic and quasi-thin schemes, see the proofs of Corollaries 1.2 and 1.3.

Theorem 1.1

Let \(\mathcal {X}\) be a two-valenced scheme. Assume that \(\mathcal {X}\) is saturated and Desarguesian. Then, \(\mathcal {X}\) is schurian and separable.

For the scheme of a finite affine space of dimension at least 3, Theorem 1.1 expresses a well-known fact that in the Desarguesian case, this scheme is reconstructed from its automorphism group and is uniquely determined by its order.

The power of Theorem 1.1 is illustrated by three statements. The first two are known results, but using the theorem, we are able to give much shorter and clear proofs than in the original papers. The third one (Theorem 1.4) is a new result, which is discussed later.

Corollary 1.2

[11] There exists a function f, such that any pseudocyclic scheme of valency \(k>1\) and degree at least f(k) is schurian and separable.

From the proof of Corollary  given in Sect. 6, it follows that the function f satisfies the inequality \(f(k)\le 1+ 3k^6\). More subtle arguments used in [2] show that \(f(k)\le 1+6k(k-1)^2\).

Corollary 1.3

[12, 13] Any quasi-thin scheme satisfying the condition \(n_{s^*s}\ne 2\) for all basis relations, s, is schurian and separable.

Except for the separability statement, the result of Corollary 1.3 is contained in [13]. On the other hand, the schurian and separable quasi-thin schemes were characterized in [12]. This result can also be deduced from an analog of Theorem 1.1, in which the Desarguesian condition is replaced by a weaker one (namely, the amount of the required Desarguesian configuration is reduced). To keep the text more compact, we do not go into detailed explanation of this topic.

Our second main result (also deduced from Theorem 1.1) concerns the schurity and separability of a class of meta-thin schemes introduced in [7]. A meta-thin scheme can be thought as an extension of a regular scheme \(\mathcal {X}\) by another regular scheme. Even if the meta-thin scheme is a \(\{1,p\}\)-scheme, where p is a prime, the schurity and separability problems seem to be very complicated. In a sense, the answer depends on the scheme \(\mathcal {X}\), which can be chosen as the thin residue of the scheme in question. For example, if the group associated with \(\mathcal {X}\) has distributive lattice of normal subgroups, then the scheme in question is schurian and separable [9]. However, there are many non-schurian and non-separable meta-thin \(\{1,p\}\)-schemes for which that group is elementary abelian of order \(p^2\) [8]. The following theorem shows that if the group is an elementary abelian p-group of rank greater than two, then the situation is smooth.

Theorem 1.4

Given a prime p, any \(\{1,p\}\)-scheme with thin residue isomorphic to an elementary abelian p-group of rank greater than two, is schurian and separable.

Except for the above-mentioned examples from [8], not so much is known on the schurity and separability of a \(\{1,p\}\)-scheme with thin residue isomorphic to an elementary abelian p-group of rank two. For \(p=2\), this case was studied in [12]; it seems that a complete picture can be obtained with the help of recent classification of separable coherent configurations with fibers of size at most 4 [5].

The paper is organized as follows. For the reader convenience a background on association schemes and related concepts is given in Sect. 2. In Sects. 3 and 4, we introduce and study the saturated and Desarguesian two-valenced schemes, respectively. The proof of Theorem  is given in Sect. 5. In Sect. 6, we prove the corollaries and Theorem 1.4.

Notation.

Throughout the paper, \(\Omega \) denotes a finite set.

The diagonal of the Cartesian product \(\Omega \times \Omega \) is denoted by \(1_\Omega \) or 1.

For a relation \(r\subseteq \Omega \times \Omega \), we set \(r^*=\{(\beta ,\alpha ):\ (\alpha ,\beta )\in r\}\) and \(\alpha r=\{\beta \in \Omega :\ (\alpha ,\beta )\in r\}\) for all \(\alpha \in \Omega \).

For a relation \(r\subseteq \Omega \times \Omega \) and sets \(\Delta ,\Gamma \subseteq \Omega \), we set \(r_{\Delta ,\Gamma }=r\cap (\Delta \times \Gamma )\). If S is a set of relations, we put \(S_{\Delta ,\Gamma }=\{r_{\Delta ,\Gamma }:\ r\in S\}\) and denote \(S_{\Delta ,\Delta }\) by \(S_\Delta \).

For relations \(r,s\subseteq \Omega \times \Omega \), we set \(r\cdot s=\{(\alpha ,\beta ):\ (\alpha ,\gamma )\in r,\ (\gamma ,\beta )\in s\) for some \(\gamma \in \Omega \}\). If S and T are sets of relations, we set \(S\cdot T=\{s\cdot t:\ s\in S,\, t\in T\}\).

For a set S of relations on \(\Omega \), we denote by \(S^\cup \) the set of all unions of the elements of S, and put \(S^*=\{r^*:\ r\in S\}\) and \(\alpha S=\cup _{r\in S}\alpha r\), where \(\alpha \in \Omega \).

An elementary abelian p-group of order \(p^m\) is denoted by \(E_{p^m}\).

2 Association schemes

In our presentation of association schemes, we follow papers [4, 12] and monographs [3, 14]. All the facts which we use can be found in these sources and references therein.

2.1 Definitions

A pair \(\mathcal {X}=(\Omega ,S)\), where \(\Omega \) is a finite set and S is a partition of \(\Omega \times \Omega \), is called an association scheme or scheme on \(\Omega \) if the following conditions are satisfied: \(1_\Omega \in S\), \(S^*=S\), and given \(r,s,t\in S\), the number
$$\begin{aligned} c_{rs}^t:=|\alpha r\cap \beta s^*| \end{aligned}$$
does not depend on the choice of \((\alpha ,\beta )\in t\).

The elements of \(\Omega \), S, \(S^\cup \), and the numbers \(c_{rs}^t\) are called the points, basis relations, relations, and intersection numbers of \(\mathcal {X}\), respectively. The numbers \(|\Omega |\) and |S| are called the degree and the rank of \(\mathcal {X}\). The unique basic relation containing a pair \((\alpha ,\beta )\in \Omega \times \Omega \) is denoted by \(r(\alpha ,\beta )\). Since the mapping \(r:\Omega \times \Omega \rightarrow S\) depends only on \(\mathcal {X}\), it should be denoted by \(r_\mathcal {X}\), but we usually omit the subindex if this does not lead to confusion.

2.2 Complex product

The set \(S^\cup \) contains the relation \(r\cdot s\) for all \(r,s\in S^\cup \), see [3, Proposition 2.1.4]. It follows that this relation is the union (possibly empty) of basis relations of \(\mathcal {X}\); the set of these relations is called the complex product of r and s and denoted by rs. Thus:
$$\begin{aligned} rs\subseteq S,\qquad r,s\in S. \end{aligned}$$
In what follows, for any \(X,Y\subseteq S\), we denote by XY the union of all sets rs with \(r\in X\) and \(s\in Y\). Obviously, \((XY)Z=X(YZ)\) for all \(X,Y,Z\subseteq S\).

2.3 Valencies

For any basic relation \(s\in S\), the number \(|\alpha s|\) with \(\alpha \in \Omega \) equals the intersection number \(c_{ss^*}^{1}\), and, hence, does not depend on the choice of the point \(\alpha \). It is called the valency of s and denoted by \(n_s\); we say that s is thin if \(n_s=1\).

For the intersection numbers, we have the following well-known identities:
$$\begin{aligned} c_{r^*s^*}^{t^*}=c_{sr}^t\quad \text {and}\quad n_tc_{rs}^{t^*}=n_rc_{st}^{r^*}=n_sc_{tr}^{s^*},\qquad r,s,t\in S. \end{aligned}$$
(1)
The scheme \(\mathcal {X}\) is said to be regular (respectively, \(\{1,k\}\)-scheme) if \(n_s=1\) (respectively, \(k>1\) and \(n_s=1\) or k) for all \(s\in S\).

2.4 Isomorphisms and schurity

A bijection from the point set of a scheme \(\mathcal {X}\) to the point set of a scheme \(\mathcal {X}'\) is called an isomorphism from \(\mathcal {X}\) to \(\mathcal {X}'\) if it induces a bijection between their sets of basis relations. The schemes \(\mathcal {X}\) and \(\mathcal {X}'\) are said to be isomorphic if there exists an isomorphism from \(\mathcal {X}\) to \(\mathcal {X}'\).

An isomorphism from a scheme \(\mathcal {X}\) to itself is called an automorphism if the induced bijection on the basis relations of \(\mathcal {X}\) is the identity. The set of all automorphisms of a scheme \(\mathcal {X}\) is a group with respect to composition and will be denoted by \({{\,\mathrm{Aut}\,}}(\mathcal {X})\).1

Conversely, let \(K\le {{\,\mathrm{Sym}\,}}(\Omega )\) be a transitive permutation group, and let S denote the set of orbits in the induced action of K on \(\Omega ^2\). Then, \(\mathcal {X}=(\Omega ,S)\) is a scheme; we say that \(\mathcal {X}\) is associated with K. A scheme on \(\Omega \) is said to be schurian if it is associated with some transitive permutation group on \(\Omega \). A scheme \(\mathcal {X}\) is schurian if and only if it is associated with the group \({{\,\mathrm{Aut}\,}}(\mathcal {X})\).

2.5 Algebraic isomorphisms and separability

Let \(\mathcal {X}\) and \(\mathcal {X}'\) be schemes. A bijection \(\varphi :S\rightarrow S',\ r\mapsto r'\) is called an algebraic isomorphism from \(\mathcal {X}\) to \(\mathcal {X}'\) if
$$\begin{aligned} c_{rs}^t=c_{r's'}^{t'},\qquad r,s,t\in S. \end{aligned}$$
(2)
In this case, \(\mathcal {X}\) and \(\mathcal {X}'\) are said to be algebraically isomorphic.
Each isomorphism f from \(\mathcal {X}\) onto \(\mathcal {X}'\) induces an algebraic isomorphism:
$$\begin{aligned} \varphi _f:r\mapsto r^f \end{aligned}$$
between these schemes. The set of all isomorphisms inducing the algebraic isomorphism \(\varphi \) is denoted by \({{\,\mathrm{Iso}\,}}(\mathcal {X},\mathcal {X}',\varphi )\). In particular:
$$\begin{aligned} {{\,\mathrm{Iso}\,}}(\mathcal {X},\mathcal {X},{{\,\mathrm{id}\,}}_S)={{\,\mathrm{Aut}\,}}(\mathcal {X}), \end{aligned}$$
(3)
where \({{\,\mathrm{id}\,}}_S\) is the identity mapping on S. A scheme \(\mathcal {X}\) is said to be separable if, for any algebraic isomorphism \(\varphi :S\rightarrow S'\), the set \({{\,\mathrm{Iso}\,}}(\mathcal {X},\mathcal {X}',\varphi )\) is not empty.

The algebraic isomorphism \(\varphi \) induces a bijection from \(S^\cup \) onto \((S')^\cup \): the union \(r\cup s\cup \cdots \) of basis relations of \(\mathcal {X}\) is taken to \(r'\cup s'\cup \cdots \). This bijection is also denoted by \(\varphi \).

2.6 Faithful maps

Let \(\mathcal {X}=(\Omega ,S)\) and \(\mathcal {X}'=(\Omega ',S')\) be schemes, and let \(\varphi :S\rightarrow S'\) be an algebraic isomorphism. A bijection f from a subset of \(\Omega \) to a subset of \(\Omega '\) is said to be \(\varphi \)-faithful if
$$\begin{aligned} r(\alpha ,\beta )^\varphi =r'(\alpha ^f,\beta ^f)\quad \text {for all}\ \,\alpha ,\beta \in {{\,\mathrm{Dom}\,}}(f), \end{aligned}$$
where \({{\,\mathrm{Dom}\,}}(f)\) is the domain of f. Clearly, if f is a \(\varphi \)-faithful map, then the restriction of f to any subset of \({{\,\mathrm{Dom}\,}}(f)\) is also \(\varphi \)-faithful.
A \(\varphi \)-faithful map f is said to be \(\varphi \)-extendable to a point \(\gamma \in \Omega \) if there exists a \(\varphi \)-faithful map with domain \({{\,\mathrm{Dom}\,}}(f)\,\cup \,\{\gamma \}\), or, equivalently, if
$$\begin{aligned} \bigcap _{\alpha \in {{\,\mathrm{Dom}\,}}(f)}\alpha ^fr(\alpha ,\gamma )^\varphi \ne \varnothing . \end{aligned}$$
(4)
A \(\varphi \)-faithful map, which is \(\varphi \)-extendable to every point of \(\Omega \), is said to be \(\varphi \)-extendable. From the definitions of schemes and algebraic isomorphisms, it follows that every \(\varphi \)-faithful map f with \(|{{\,\mathrm{Dom}\,}}(f)|\le 2\) is \(\varphi \)-extendable. In these terms, one can give a sufficient condition for schurity and separability of a scheme; this condition is used in the proof of Theorem 1.1.

Theorem 2.1

[9, Corollary 2.2] Let \(\mathcal {X}\) be a scheme. Suppose that for every algebraic isomorphism \(\varphi \) to another scheme, each \(\varphi \)-faithful map is \(\varphi \)-extendable. Then, \(\mathcal {X}\) is schurian and separable.

3 Saturation condition

Throughout this section, \(k>1\) is an integer and \(\mathcal {X}=(\Omega ,S)\) is a scheme. By technical reasons, the basis relations of \(\mathcal {X}\) are mainly denoted below by xyz rather than rst. Our primary goal is to define a graph with vertex set:
$$\begin{aligned} S_k=\{x\in S:\ n_x=k\} \end{aligned}$$
that accumulates an information about intersection numbers equal to 1 (this graph was used implicitly in [11] an explicitly in [2]). The following simple lemma (not formulated but proved in [2]) indicates a way how we do this.

Lemma 3.1

Given \(x,y\in S_k\),
$$\begin{aligned} |x^*y|=k\quad \Leftrightarrow \quad c_{xs}^y=1\ \,\text {for all}\ \,s\in x^*y. \end{aligned}$$
(5)

Proof

We have \(n_{x^{}}=n_{x^*}=n_{y^{}}=n_{y^*}=k\). By formulas (1), this implies that
$$\begin{aligned} k^2=n_{x^*}n_{y^{}}=\sum _{s\in x^*y}n_sc_{x^*y^{}}^s= \sum _{s\in x^*y}n_{y^*}c_{s^*x^*}^{y^*}=k\sum _{s\in x^*y}c_{xs}^y. \end{aligned}$$
Since \(c_{xs}^y\ge 1\) for all \(s\in x^*y\), we are done. \(\square \)
Let us define a relation \(\sim \) on \(S_k\) by setting \(x\sim y\) if the right- or left-hand side in formula (5) holds true. This relation is symmetric, because
$$\begin{aligned} c_{xs}^y=\frac{n_{x^*}}{n_y}c_{sy^*}^{x^*}=c_{ys^*}^x \end{aligned}$$
for all \(x,y\in S_k\). The (undirected) graph \(\mathfrak {X}=\mathfrak {X}_k\) associated with the scheme \(\mathcal {X}\) has vertex set \(S_k\) and adjacency relation \(\sim \). Note that this graph can contain loops.

Definition 3.2

The scheme \(\mathcal {X}\) is said to be k-saturated if, for any set \(T\subseteq S_k\) with at most four elements, the set
$$\begin{aligned} N(T)=\{y\in S_k:\ y\sim x\quad \text {for all}\ \,x\in T\} \end{aligned}$$
(6)
is not empty.

In this case, any two vertices of the graph \(\mathfrak {X}\) are connected by a path of length at most two. A k-saturated \(\{1,k\}\)-scheme is said to be saturated and the mention of k is omitted. The following statement immediately follows from the definitions.

Lemma 3.3

Any algebraic isomorphism from \(\mathcal {X}\) to \(\mathcal {X}'\) induces an isomorphism from the graph \(\mathfrak {X}\) to the graph \(\mathfrak {X}'\) associated with \(\mathcal {X}'\). In particular, \(\mathcal {X}\) is k-saturated if and only if so is \(\mathcal {X}'\).

Example: schemes of affine spaces. Let \(\mathcal {A}\) be a finite affine space with point set \(\Omega \) and line set L, see [1]. Denote by \(\mathcal {P}\) the set of parallel classes of lines. The lines belonging to a class \(P\in \mathcal {P}\) form a partition of \(\Omega \); the corresponding equivalence relation with removed diagonal is denoted by \(e_P\). Using the axioms of affine spaces, one can easily verify that the set \(S=S_\mathcal {A}\) of all the \(e_P\) together with \(1_\Omega \) forms a commutative scheme, such that
$$\begin{aligned} c_{e_Pe_P}^s={\left\{ \begin{array}{ll} q-1 &{} \text {if }s=1,\\ q-2 &{} \text {if }s=e_P,\\ 0 &{} \text {otherwise,}\\ \end{array}\right. } \end{aligned}$$
(7)
and
$$\begin{aligned} c_{e_Pe_Q}^s={\left\{ \begin{array}{ll} 1 &{} \text {if }s\subseteq e_P\cdot e_Q\text { and }s\not \in \{1,e_P,e_Q\},\\ 0 &{} \text {otherwise.}\\ \end{array}\right. } \end{aligned}$$
(8)
where q is the cardinality of a line. We say that \(\mathcal {X}=(\Omega ,S)\) is the scheme associated with the affine space \(\mathcal {A}\). Formulas (7) and (8) imply that \(\mathcal {X}\) is a \(\{1,q-1\}\)-scheme. Moreover, \(\mathfrak {X}\) is a complete graph, i.e., any two distinct vertices form an edge. In particular, the scheme \(\mathcal {X}\) is \((q-1)\)-saturated whenever the rank of \(\mathcal {X}\) is at least 6.
We complete the section by establishing a sufficient condition for a scheme \(\mathcal {X}\) to be k-saturated in terms of the indistinguishing number:
$$\begin{aligned} c(s)=\sum _{t\in S}c_{tt^*}^s \end{aligned}$$
of the relation s, see [11]. One can see that this number is equal to the cardinality of the set:
$$\begin{aligned} \Omega _{\alpha ,\beta }=\{\gamma \in \Omega :\ r(\gamma ,\alpha )=r(\gamma ,\beta )\} \end{aligned}$$
(9)
for any \((\alpha ,\beta )\in s\). The following result is used in the proof of Corollary 1.2.

Theorem 3.4

[2, Lemma 5.2] Let c be the maximum of c(s), \(s\in S^\#\). Then, the scheme \(\mathcal {X}\) is k-saturated whenever \( |S_k|>4c(k-1). \)

4 Desarguesian two-valenced schemes

The concept of a Desarguesian scheme comes from a property of a geometry to be Desarguesian. Throughout this section, \(k>1\) is an integer and \(\mathcal {X}=(\Omega ,S)\) is a \(\{1,k\}\)-scheme. We also keep notation of Sect. 3.

Let us define a noncommutative geometry associated with the scheme \(\mathcal {X}\) as follows: the points are elements of S, the lines are the sets \(x^*y\), \(x,y\in S\), and the incidence relation is given by inclusion. Thus, the point \(z\in S\) belongs to the line \(x^*y\) if and only if \(z\in x^*y\). The geometry is extremely unusual: the line \(x^*y\) does not necessarily contain the points xy, and can be different from \(y^*x\). However, in the terms of this geometry, one can define Desarguesian configurations, see below.

Assume that we are given two triangles with vertices \(x,y,z\in S\) and \(u,v,w\in S\), respectively, that are perspective with respect to a point q, that is:
$$\begin{aligned} u\in x^*q,\quad v\in y^*q,\quad w\in z^*q, \end{aligned}$$
(10)
see the configuration depicted in Fig. 1; note that the intersections of lines do not necessarily consist of a unique point, and even may be empty. However, if
$$\begin{aligned} x^*z\cap uw^*=\{r\},\quad z^*y\cap wv^*=\{s\},\quad x^*y\cap uv^*=\{t\} \end{aligned}$$
(11)
for some \(r,s,t\in S\); then, as in the case of Desargues’ theorem, we would like that the point t would lie on the line rs. When this is true, this configuration is said to be Desarguesian. More precisely, the ten relations in Fig. 1 form a Desarguesian configuration if conditions (10) and (11) are satisfied and \(t\in rs\). In what follows we are going to study \(\{1,k\}\)-schemes with sufficiently many Desarguesian configurations.
Fig. 1

The Desarguesian configuration

Let \(x,y,z\in S_k\) and \(r,s\in S\) be basis relations of the scheme \(\mathcal {X}\). We say that they form an initial configuration if
$$\begin{aligned} x\sim z\sim y\quad \text {and}\quad r\in x^*z,\ \,s\in z^*y. \end{aligned}$$
(12)
In geometric language, this means that the points r and s belong to the lines \(x^*z\) and \(z^*y\), respectively, and each of these lines consists of exactly k points.

Definition 4.1

The relations r and s are said to be linked with respect to (xyz) if the initial configuration is contained in a Desarguesian configuration, namely, there exist
$$\begin{aligned} q\in N(x,y,z),\qquad u,v,w\in S,\qquad t\in rs, \end{aligned}$$
for which conditions (10) and (11) are satisfied, where \(N(x,y,z)=N(\{x,y,z\})\) (a more compact picture of the linked relations is given in Fig. 2).
Assume that the relations r and s are linked with respect to (xyz). Then, the relation t is uniquely determined by the third of equalities (11). The following statement shows that in this case, t does not depend on the choice of q and uvw. Below, we fix a point \(\alpha \in \Omega \) and set:
$$\begin{aligned} r_{x,y}=r\cap (\alpha x\times \alpha y) \end{aligned}$$
(13)
for all \(r\in S\) and \(x,y\in S_k\).
Fig. 2

The relations r and s are linked with respect to (xyz)

Lemma 4.2

Assume that r and s are linked with respect to (xyz). Then:
$$\begin{aligned} r_{x,z}\cdot s_{z,y}\subseteq t_{x,y}, \end{aligned}$$
(14)
with equality if \(x\sim y\).

Proof

By formulas (11), we have:
$$\begin{aligned} u^{}_{x,q}\cdot w^*_{q,z}\subseteq r^{}_{x,z},\quad w^{}_{z,q}\cdot v^*_{q,y}\subseteq s^{}_{z,y},\quad u^{}_{x,q}\cdot v^*_{q,y}\subseteq t^{}_{x,y}. \end{aligned}$$
(15)
The relations \(u^{}_{x,q}\cdot w^*_{q,z}\) and \(r^{}_{x,z}\) are matchings, because \(x\sim q\sim z\), and \(x\sim z\). By the first inclusion in (15), this implies the first of the following two equalities, the second one is proved similarly:
$$\begin{aligned} u^{}_{x,q}\cdot w^*_{q,z}=r^{}_{x,z}\quad \text {and}\quad w^{}_{z,q}\cdot v^*_{q,y}=s^{}_{z,y}. \end{aligned}$$
Now, the third inclusion in (15) yields:
$$\begin{aligned} r^{}_{x,z}\cdot s^{}_{z,y}=(u^{}_{x,q}\cdot w^*_{q,z})\cdot (w^{}_{z,q}\cdot v^*_{q,y})=u^{}_{x,q}\cdot v^*_{q,y} \subseteq t^{}_{x,y}, \end{aligned}$$
which proves (14). If \(x\sim y\), then the relation \(t_{x,y}\) is a matching and we are done by the above argument. \(\square \)

At this point, we need an auxiliary statement. In the geometric language, the conclusion of this statement means that the lines rs and \(x^*y\) have a unique common point.

Lemma 4.3

[11, Theorem 5.1] Let \(x,y,z\in S_k\) be such that:
$$\begin{aligned} (xx^*\,yy^*)\cap zz^*=\{1\}. \end{aligned}$$
(16)
Then, \(|rs\cap x^*y|=1\) for all \(r\in x^*z\) and \(s\in z^*y \).

The statement below establishes two sufficient conditions for relations r and s to be linked with respect to (xyz).

Corollary 4.4

Let \(x,y,z\in S_k\) and \(r,s\in S\) form an initial configuration. Then, r and s are linked with respect to (xyz) whenever at least one of the following statements holds:
  1. (L1)

    z is a loop of the graph \(\mathfrak {X}\) and condition (16) is satisfied.

     
  2. (L2)
    there exists \(q\in S_k\), such that
    $$\begin{aligned} qq^*\,\cap \,(xx^*yy^*\,\cup \,xx^*zz^*\,\cup \,zz^*yy^*)=\{1\}. \end{aligned}$$
    (17)
     

Proof

Assume that (L1) holds. Then, by Lemma 4.3, we have \(rs\cap x^*y=\{t\}\) for some \(t\in S\). Then, condition (11) is obviously satisfied for \(q=z\) and \(u=r\), \(v=s^*\), and \(w=1\).

Now, assume that (L2) holds. Fix a point \(\alpha \). Since \(r\in x^* z\) and \(s\in z^* y\), one can find points \(\beta \in \alpha x\), \(\gamma \in \alpha z\), and \(\delta \in \alpha y\), such that
$$\begin{aligned} (\beta ,\gamma )\in r\quad \text {and}\quad (\gamma ,\delta )\in s. \end{aligned}$$
(18)
Now, take \(\epsilon \in \alpha q\) and set
$$\begin{aligned} u:=r(\beta ,\epsilon ),\quad v:=r(\delta ,\epsilon ),\quad w:=r(\gamma ,\epsilon ). \end{aligned}$$
Then, formula (10) holds. Moreover by (L2), the hypothesis of Lemma 4.3 is satisfied in the following three cases:
$$\begin{aligned} (x,y,z)&=(x,z,q),\ (r,s)=(u,w^*),\\ (x,y,z)&=(z,y,q),\ (r,s)=(w,v^*), \\ (x,y,z)&=(x,y,q),\ (r,s)=(u,v^*). \end{aligned}$$
Therefore, formula  (11) also holds with \(t=r(\beta ,\gamma )\). Finally, \(t\in rs\) in view of (18). It follows that the configuration formed by xyz, uvw, rst, and q is Desarguesian. Thus, r and s are linked with respect to (xyz). \(\square \)

Now, we arrive to the main definition in this section. Namely, the scheme \(\mathcal {X}\) is said to be Desarguesian with respect to \(S_k\) if for all \(x,y,z\in S_k\) and all \(r,s\in S\) satisfying (12), the elements r and s are linked with respect to (xyz). When the scheme is two-valenced, the mention of \(S_k\) is omitted. The following statement immediately follows from the definitions.

Lemma 4.5

Let \(\mathcal {X}\) and \(\mathcal {X}'\) be algebraically isomorphic two-valenced schemes. Then, \(\mathcal {X}\) is Desarguesian if and only if so is \(\mathcal {X}'\).

Example: schemes of affine spaces (continuation). Let \(\mathcal {X}\) be the scheme associated with an affine space \(\mathcal {A}\) of order q and dimension at least 3. Then, from formulas (7) and (8), it follows that for any three parallel classes P, Q, and R there exists a parallel class T, such that
$$\begin{aligned} e_T\not \in (e_Pe_Q\,\cup \,e_Pe_R\,\cup \,e_Re_Q). \end{aligned}$$
It follows that the statement (L2) of Corollary 4.4 holds for \(q=e_T\), \(x=e_P\), \(y=e_Q\), and \(z=e_R\). Therefore, any relations \(r\in e_Pe_R\) and \(s\in e_Re_Q\) are linked with respect to \((e_P,e_Q,e_R)\). Thus, the scheme \(\mathcal {X}\) is Desarguesian. If the space \(\mathcal {A}\) is an affine plane, i.e., an affine space of dimension 2, then \(\mathcal {X}\) is not Desarguesian.

5 Proof of Theorem 1.1

Let \(\mathcal {X}=(\Omega ,S)\), \(\mathcal {X}'=(\Omega ',S')\), and \(\varphi \) is an algebraic isomorphism from \(\mathcal {X}\) onto \(\mathcal {X}'\). Then, obviously, \(\mathcal {X}'\) is two-valenced. Moreover, \(\mathcal {X}'\) is saturated and Desarguesian by Lemmas 3.3 and 4.5, respectively. By Theorem 2.1, it suffices to verify that given \(\alpha ,\beta \in \Omega \), any \(\varphi \)-faithful map
$$\begin{aligned} f:\{\alpha ,\beta \}\rightarrow \Omega ' \end{aligned}$$
is extended to a combinatorial isomorphism \(\widehat{f}:\mathcal {X}\rightarrow \mathcal {X}'\). Without loss of generality, we may assume that \(r(\alpha ,\beta )\in S_k\), where \(k>1\) is the valency of \(\mathcal {X}\) (and \(\mathcal {X}'\)). Indeed, in this case, the isomorphism \(\widehat{f}\) extends any faithful map \(f:\{\alpha ,\widetilde{\beta }\}\rightarrow \Omega '\), where \(r(\alpha ,\widetilde{\beta })\in S_1\).
By the definition of the graph \(\mathfrak {X}=\mathfrak {X}_k\), the union of the sets:
$$\begin{aligned} \Delta _0&:=\alpha S_1\\ \Delta _1&:=\{\delta \in \alpha S_k:\ r(\alpha ,\beta )\sim r(\alpha ,\delta )\}\\ \Delta _2&:=\{ \delta \in \alpha S_k:\ r(\alpha ,\beta )\not \sim r(\alpha ,\delta )\} \end{aligned}$$
equals \(\Omega \). Clearly, \(\beta \in \Delta _1\) if and only if \(r(\alpha ,\beta )\) forms a loop of the graph \(\mathfrak {X}\). The statement below immediately follows from the definition of the relation \(\sim \), Lemma 3.3, and the fact that \(\mathfrak {X}\) is of diameter at most 2 (the saturation condition).

Lemma 5.1

For any point \(\delta \in \Omega \), the following statements hold:
  1. (1)

    if \(\delta \in \Delta _0\), then the relation \(r(\alpha ,\delta )\) is thin,

     
  2. (2)

    if \(\delta \in \Delta _1\), then \(c_{r(\alpha ,\delta ),r(\delta ,\beta )}^{r(\alpha ,\beta )}=1\),

     
  3. (3)

    if \(\delta \in \Delta _2\), then there exists \(\gamma \in \Delta _1\), such that \(c_{r(\alpha ,\gamma ),r(\gamma ,\delta )}^{r(\alpha ,\delta )}=1\).

     
By Lemma 5.1, one can define a mapping \(\widehat{f}:\Omega \rightarrow \Omega '\) by the following conditions:
$$\begin{aligned} \{\delta ^{\widehat{f}}\}={\left\{ \begin{array}{ll} \alpha ^f r(\alpha ,\delta )^\varphi &{}\text { if }\delta \in \Delta _0,\\ \alpha ^f r(\alpha ,\delta )^\varphi \cap \beta ^f r(\beta ,\delta )^\varphi &{}\text { if }\delta \in \Delta _1,\\ \alpha ^f r(\alpha ,\delta )^\varphi \cap \gamma ^{\widehat{f}} r(\gamma ,\delta )^\varphi &{}\text { if }\delta \in \Delta _2,\\ \end{array}\right. } \end{aligned}$$
where, in the last line, \(\gamma \) is as in statement (3) of Lemma 5.1, that is
$$\begin{aligned} r(\alpha ,\beta ) \sim r(\alpha ,\gamma ) \sim r(\alpha ,\delta ). \end{aligned}$$
From the definition of the graph \(\mathfrak {X}\), it follows that the \(\widehat{f}\)-image is uniquely determined for all \(\delta \in \Delta _0\cup \Delta _1\). However, if \(\delta \in \Delta _2\), then the image depends on the choice of the point \(\gamma \).
We complete the proof by verifying that the mapping \({\widehat{f}}\) is \(\varphi \)-faithful, that is:
$$\begin{aligned} r(\delta ,\epsilon )^\varphi =r(\delta ^{\widehat{f}},\epsilon ^{\widehat{f}}) \end{aligned}$$
(19)
for all \(\delta ,\epsilon \in \Omega \). Note that this is true by the definition of \(\widehat{f}\) whenever \(\alpha \in \{\delta ,\epsilon \}\). In what follows we need the following lemma.

Lemma 5.2

Let \(\delta ,\gamma ,\epsilon \in \Omega \) be such that
  1. (1)

    \(r(\alpha ,\delta )\sim r(\alpha ,\gamma )\sim r(\alpha ,\epsilon )\);

     
  2. (2)

    \(\widehat{f}|_{\{\delta ,\gamma \}}\) and \(\widehat{f}|_{\{\gamma ,\epsilon \}}\) are \(\varphi \)-faithful.

     
Then, \(\widehat{f}|_{\{\delta ,\epsilon \}}\) is \(\varphi \)-faithful.

Proof

Let \(x=r(\alpha ,\delta )\), \(y=r(\alpha ,\epsilon )\), and \(z=r(\alpha ,\gamma )\). Then, by condition (1), the triple (xyz) together with relations \(r=r(\delta ,\gamma )\), \(s=r(\gamma ,\epsilon )\) forms an initial configuration. The Desarguesian condition implies that r and s are linked with respect to (xyz). Therefore, the relation \(t=r(\delta ,\epsilon )\) is uniquely determined by the relations \(r_{x,z}\) and \(r_{z,y}\) (Lemma 4.2). By condition (2), we have:
$$\begin{aligned} (r_{x,z})^{\widehat{f}}=(r^\varphi )_{x^\varphi , z^\varphi }\quad \text {and}\quad (s_{z,y})^{\widehat{f}}=(s^\varphi )_{z^\varphi , y^\varphi } \end{aligned}$$
and, hence:
$$\begin{aligned} r(\delta ^{\widehat{f}},\epsilon ^{\widehat{f}})\in r(\delta ^{\widehat{f}},\gamma ^{\widehat{f}})r(\gamma ^{\widehat{f}},\epsilon ^{\widehat{f}})=r(\delta ,\gamma )^\varphi r(\gamma ,\epsilon )^\varphi . \end{aligned}$$
Since also
$$\begin{aligned} r(\delta ,\epsilon )^\varphi \in (r(\delta ,\gamma )r(\gamma ,\epsilon ))^\varphi =r(\delta ,\gamma )^\varphi r(\gamma ,\epsilon )^\varphi , \end{aligned}$$
we conclude that
$$\begin{aligned} r(\delta ^{\widehat{f}},\epsilon ^{\widehat{f}})=r(\delta ,\epsilon )^\varphi , \end{aligned}$$
as required.

The rest of the proof of formula (19) is divided for several cases considered separately.

Case 1:\(\delta \in \Delta _0\) and \(\epsilon \in \Omega \). Here, the relations \(r(\delta ,\alpha )\) and \(r(\delta ^{\widehat{f}},\alpha ^{\widehat{f}})\) are thin. Therefore:
$$\begin{aligned} \{r(\delta ,\epsilon )\}=r(\delta ,\alpha )r(\alpha ,\epsilon )\quad \text {and}\quad r(\delta ^{\widehat{f}},\alpha ^{\widehat{f}})r(\alpha ^{\widehat{f}},\epsilon ^{\widehat{f}}) =\{r(\delta ^{\widehat{f}},\epsilon ^{\widehat{f}})\}. \end{aligned}$$
This implies that
$$\begin{aligned} \{r(\delta ,\epsilon )^\varphi \}=r(\delta ,\alpha )^\varphi r(\alpha ,\epsilon )^\varphi =r(\delta ^{\widehat{f}},\alpha ^{\widehat{f}})r(\alpha ^{\widehat{f}},\epsilon ^{\widehat{f}})=\{r(\delta ^{\widehat{f}},\epsilon ^{\widehat{f}})\}, \end{aligned}$$
as required.

Case 2:\(\delta ,\epsilon \in \Delta _1\). The required statement follows from Lemma 5.2 for \(\gamma =\beta \).

Case 3:\(\delta \in \Delta _1\) and \(\epsilon \in \Delta _2\). By the definition of \(\Delta _2\), there exists \(\delta _1\in \Delta _1\), such that
$$\begin{aligned} r_\beta \sim r_{\delta _1}\sim r_\epsilon \quad \text {and}\quad \{\epsilon ^{\widehat{f}}\}=\alpha ^f (r_\epsilon )^\varphi \cap \delta _1^{\widehat{f}} r(\delta _1,\epsilon )^\varphi , \end{aligned}$$
where \(r_\beta =r(\alpha ,\beta )\), \(r_{\delta _1}=r(\alpha ,\delta _1)\), and \(r_\epsilon =r(\alpha ,\epsilon )\). By the saturated condition, there exists \(\gamma \in \Delta _1\), such that
$$\begin{aligned} r_\gamma \in N(r_\beta ,r_\delta ,r_{\delta _1},r_\epsilon ), \end{aligned}$$
the obtained configuration is depicted in Fig. 3. From Case 2, it follows that the conditions of Lemma 5.2 are satisfied for
$$\begin{aligned} (\delta ,\gamma ,\epsilon )=(\gamma ,\delta _1,\epsilon ). \end{aligned}$$
Therefore, \(\widehat{f}|_{\{\epsilon ,\gamma \}}\) is \(\varphi \)-faithful. This shows that the conditions of Lemma 5.2 are satisfied and, hence, \(\widehat{f}|_{\{\delta ,\epsilon \}}\) is \(\varphi \)-faithful.
Fig. 3

Configuration for Case 3

Case 4:\(\delta , \epsilon \in \Delta _2\). By the definition of \(\Delta _2\), there exists \(\delta _1\in \Delta _1\), such that
$$\begin{aligned} r_\beta \sim r_{\delta _1}\sim r_\delta \quad \text {and}\quad \{\delta ^{\widehat{f}}\}=\alpha ^f (r_\delta )^\varphi \cap \delta _1^{\widehat{f}} r(\delta _1,\delta )^\varphi . \end{aligned}$$
By the saturation condition, there exists \(\gamma \in \Delta _1\), such that
$$\begin{aligned} r_\gamma \in N(r_\beta ,r_\delta , r_{\delta _1}, r_\epsilon ). \end{aligned}$$
By the similar argument as in Case 3, we obtain \(r(\delta ,\epsilon )^\varphi =r(\delta ^{\widehat{f}},\epsilon ^{\widehat{f}})\), where Case 3 is used to deal with \(r(\delta ,\delta _1)\), \(r(\delta ,\gamma )\), and \(r(\epsilon ,\gamma )\). \(\square \)

6 Proofs of corollaries and Theorem 1.4

Proof of Corollary 1.2

Set \(f(x)=3x^6+1\). By Theorem 1.1, it suffices to verify that any pseudocyclic scheme \(\mathcal {X}\) of degree n and valency k, is saturated and Desarguesian, whenever
$$\begin{aligned} n>3k^6. \end{aligned}$$
(20)
By [11, Theorem 3.2], we have \(n_s=k\) and \(c(s)=k-1\) for any irreflexive basis relation s of \(\mathcal {X}\). It follows that for \(k\ge 2\):
$$\begin{aligned} |S_k|=\frac{n-1}{k}> \frac{3k^6-1}{k}> 4k(k-1)=4ck. \end{aligned}$$
Thus, \(\mathcal {X}\) is saturated by Theorem 3.4.
To prove that \(\mathcal {X}\) is Desarguesian, let \(x,y,z\in S_k\) (here \(S_k=S^\#\) and we do not assume that \(x\sim z\sim y\)). By Corollary 4.4, it suffices to find \(q\in S_k\), such that condition (17) is satisfied. Assume on the contrary that no q satisfies this condition. Then, for a fixed \(\alpha \in \Omega \) and each \(q\in S_k\), there exists:
$$\begin{aligned} \beta _q\in \alpha \underbrace{(xx^*yy^*\,\cup \,xx^*zz^*\,\cup \,zz^*yy^*)}_{T} \end{aligned}$$
other than \(\alpha \) and such that \(r(\alpha ,\beta _q)\in qq^*\). It follows that:
$$\begin{aligned} \Omega _{\alpha ,\beta _q}\,\cap \, \alpha q^*\ne \varnothing , \end{aligned}$$
(21)
where the set \(\Omega _{\alpha ,\beta _q}\) is as in (9). Since
$$\begin{aligned} |\alpha T|\le n_x^2n_y^2+n_y^2n_z^2+n_z^2n_x^2=3k^4 \quad \text {and}\quad |S_k|=\frac{n-1}{k}\ge \frac{3k^6}{k}=3k^5, \end{aligned}$$
there exist a point \(\beta \ne \alpha \), such that \(\beta =\beta _q\) for at least k relations \(q\in S_2\). In view of (21), this implies that for \(s=r(\alpha ,\beta )\), we have
$$\begin{aligned} k-1=c(s)\ge |\Omega _{\alpha ,\beta }|\ge k, \end{aligned}$$
a contradiction. \(\square \)

Proof of Corollary 1.3

Let \(\mathcal {X}=(\Omega ,S)\) be a quasi-thin scheme satisfying the condition \(n_{s^*s}\ne 2\) for all \(s\in S\). Without loss of generality, we may assume that \(|\Omega |> 24\). \(\square \)

Claim. The graph \(\mathfrak {X}\) is complete and has at least 9 vertices. Moreover, for any \(x,y\in S_2\):
$$\begin{aligned} xx^*=yy^*\quad \Leftrightarrow \quad x=y. \end{aligned}$$
(22)

Proof

From [6, Lemma 4.1], it follows that given \(x,y\in S_2\) and \(s\in S\), the number \(c_{xs}^y\) is at most 2, and by [10, Lemma 3.1] also:
$$\begin{aligned} c_{xs}^y=2\quad \Leftrightarrow \quad s\in S_2,\ ss^*\subset S_1, \end{aligned}$$
Since \(n_{ss^*}\ne 2\), this implies (22) and shows that in our case, \(c_{xs}^y\le 1\) for all \(x,y\in S_2\); in particular, \(\mathfrak {X}\) is a complete graph with loops. Furthermore, again by [10, Lemma 3.1], in our case, \(xs\not \subset S_1\) for all \(x,s\in S_2\). It follows that:
$$\begin{aligned} |\Omega |\ge 3|S_1|. \end{aligned}$$
Assume on the contrary that \(\mathfrak {X}\) has at most 8 vertices, i.e., \(|S_2|\le 8\). Then:
$$\begin{aligned} 3|S_1|\le |\Omega |=|S_1|+2|S_2|\le |S_1|+16, \end{aligned}$$
whence \(|S_1|\le 8\). It follows that \(|\Omega |\le 24\), a contradiction. \(\square \)

By Theorem 1.1, it suffices to verify that \(\mathcal {X}\) is saturated and Desarguesian. The former follows from the Claim. To prove that \(\mathcal {X}\) is Desarguesian let \(x,y,z\in S_k\) and \(r,s\in S\) be basis relations of \(\mathcal {X}\) that form an initial configuration. We have to verify that r and s are linked with respect to (xyz). Note that since \(n_z=2\), the vertex z forms a loop of the graph \(\mathfrak {X}\). Therefore, if \((xx^*\,yy^*)\cap zz^*=\{1\}\), then we are done by Corollary 4.4 (see the statement (L1)).

Let \(zz^*\subseteq xx^*\cap yy^*\). Then, the intersection of \(S_2\) with the set:
$$\begin{aligned} xx^*yy^*\,\cup \,xx^*zz^*\,\cup \,zz^*yy^*=\{1,x^{\scriptscriptstyle \bot },y^{\scriptscriptstyle \bot }\}\,\cup \,x^{\scriptscriptstyle \bot }y^{\scriptscriptstyle \bot }\,\cup \,x^{\scriptscriptstyle \bot }z^{\scriptscriptstyle \bot }\,\cup \,z^{\scriptscriptstyle \bot }y^{\scriptscriptstyle \bot }\end{aligned}$$
contains at most 8 elements, where for any \(s\in S_2\), we set \(s^{\scriptscriptstyle \bot }\) to be the unique non-thin element of \(ss^*\). On the other hand, in view of the Claim, the graph \(\mathfrak {X}\) contains at least 9 vertices. Thus, there exists \(q'\in S_2\), such that
$$\begin{aligned} q'\not \in xx^*yy^*\,\cup \,xx^*zz^*\,\cup \,zz^*yy^*. \end{aligned}$$
In view of formula (22) and the assumption \(n_{ss^*}\ne 2\), one can find \(q\in S_2\), for which \(q'=q^{\scriptscriptstyle \bot }\). Now, the required statement follows from Corollary 4.4 (see the statement (L2)). \(\square \)

Proof of Theorem 1.4

Let \(\mathcal {X}=(\Omega ,S)\) be a meta-thin \(\{1,p\}\)-scheme. Then, the group formed by the thin basis relations of \(\mathcal {X}\) (with respect to the composition) contains a subgroup (the thin residue) generated by the sets \(ss^*\), \(s\in S\). Assume that this subgroup is isomorphic to an elementary abelian p-group of rank greater than two. By Theorem 1.1, it suffices to verify that \(\mathcal {X}\) is saturated and Desarguesian.

To prove that \(\mathcal {X}\) is saturated, let \(s_i\in S_p\), \(1\le i\le 4\). By the assumption, there exist \(u_1,u_2, u_3\in S\), such that
$$\begin{aligned} \langle {u^{}_1u_1^*,u^{}_2u_2^*,u^{}_3u^*_3}\rangle \simeq E_{p^3}. \end{aligned}$$
Denote by T the set \(\{s^{}_1s^*_1,\ldots , s^{}_4s^*_4\}\). First, assume that \(u^{}_ju_j^*\notin T\) for some j. Then:
$$\begin{aligned} u^{}_ju_j^*\cap s^{}_is_i^*=\{1\},\qquad 1\le i\le 4. \end{aligned}$$
In view of [11, Lemma 2.3], this implies that \(u_j\) is adjacent in the graph \(\mathfrak {X}\) with each of the \(s_i\).
Now, without loss of generality, we may assume that \(u^{}_ju_j^*\in T\) for all j. Since \(u^{}_ju_j^*\cap u^{}_ku_k^*=\{1\}\) for all distinct jk, there exist \(i\in \{1,2,3,4\}\) and \(j\in \{1,2,3\}\), such that
$$\begin{aligned} s^{}_is_i^*=u^{}_ju_j^*\ne s^{}_ks_k^*,\quad k\ne i. \end{aligned}$$
Taking into account that every element in \(S_p\) has a loop, we conclude that \(s_i\) is adjacent in the graph \(\mathfrak {X}\) with each of the \(s_i\) with \(i\in \{1,2,3,4\}\). Thus, the scheme \(\mathcal {X}\) is saturated.
To prove that the scheme \(\mathcal {X}\) is Desarguesian, let \(x,y,z\in S_k\) and \(r,s\in S\) be basis relations of \(\mathcal {X}\) that form an initial configuration. We have to verify that r and s are linked with respect to (xyz). If
$$\begin{aligned} \langle {xx^*, yy^*, zz^*}\rangle \simeq E_{p^3}, \end{aligned}$$
then this follows from Corollary 4.4 (see the statement (L1)). Assume that this condition is not satisfied, i.e., the group on the left side is isomorphic to \(E_p\) or \(E_{p^2}\). Then, by the assumption of the theorem, there exists \(q\in S_p\), such that
$$\begin{aligned} qq^*\cap \langle {xx^*, yy^*,zz^*}\rangle =\{1\}. \end{aligned}$$
It follows that condition (17) is satisfied. Thus, the required statement follows from Corollary 4.4 (see the statement (L2)). \(\square \)

Footnotes

  1. 1.

    It is more natural to define an automorphism of a scheme as an isomorphism of it to itself; however, we should follow a long tradition in which a scheme is treated as a colored graph.

Notes

Acknowledgements

Mitsugu Hirasaka: This research was supported by Basic Science Research Program through the National Research Foundation of Korea(NRF) funded by the Ministry of Science, ICT & Future Planning(NRF-2016R1A2B4013474). Kijung Kim: The second author was supported by Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education (NRF-2017R1D1A3B03031349). Ilia Ponomarenko: The work of the third author was supported by the RAS Program of Fundamental Research “Modern Problems of Theoretical Mathematics”.

References

  1. 1.
    Buekenhout, F.; Cameron, P.: Projective and affine geometry over division rings. In: Handbook of incidence geometry. North-Holland, Amsterdam, pp. 27–62 (1995)CrossRefGoogle Scholar
  2. 2.
    Chen, G.; Ponomarenko, I.: Coherent configurations associated with TI-subgroups. J. Algebra 488, 201–229 (2017)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Chen, G.; Ponomarenko, I.: Lectures on Coherent Configurations (2019), http://www.pdmi.ras.ru/ inp/ccNOTES.pdf Google Scholar
  4. 4.
    Evdokimov, S.; Ponomarenko, I.: Permutation group approach to association schemes. Eur. J. Combin. 30(6), 1456–1476 (2009)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Fuhlbrück, F.; Köbler, J.; Verbitsky, O.: Identifiability of Graphs with Small Color Classes by the Weisfeiler-Leman Algorithm, arXiv:1907.02892 [math.CO], 1–70 (2019)
  6. 6.
    Hirasaka, M.: On quasi-thin association schemes with odd number of points. J. Algebra 240, 665–679 (2001)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Hirasaka, M.: On meta-thin association schemes. Des. Codes Cryptogr. 34(2–3), 187–201 (2005)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Hirasaka, M.; Kim, K.: Association schemes in which the thin residue is an elementary abelian p-group of rank 2. J. Algebra 450, 298–315 (2016)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Hirasaka, M.; Kim, K.; Ponomarenko, I.: Schurity and separability of quasiregular coherent configurations. J. Algebra 510, 180–204 (2018)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Hirasaka, M.; Muzychuk, M.: On quasi-thin association schemes. J. Combin. Theory A98(1), 17–32 (2002)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Muzychuk, M.; Ponomarenko, I.: On pseudocyclic association schemes. Ars Math. Contemp. 5(1), 1–25 (2012)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Muzychuk, M.; Ponomarenko, I.: On quasi-thin association schemes. J. Algebra 351, 467–489 (2012)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Muzychuk, M.; Zieschang, P.-H.: On association schemes all elements of which have valency \(1\) or \(2\). Discrete Math. 308(14), 3097–3103 (2008)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Zieschang, P.-H.: Theory of association schemes, springer monographs in mathematics. Springer, Berlin (2005)Google Scholar

Copyright information

© The Author(s) 2019

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.Department of MathematicsPusan National UniversityJang-jeon dongRepublic of Korea
  2. 2.St.Petersburg Department of the Steklov Mathematical InstituteSt.PetersburgRussia

Personalised recommendations