---
title: Weakly Distance-Regular Digraphs
url: https://www.emergentmind.com/topics/weakly-distance-regular-digraphs
type: topic
---

# Weakly Distance-Regular Digraphs

Weakly distance-regular digraphs are the directed analogue of distance-regular graphs: they are strongly connected digraphs in which the partition of ordered vertex pairs by **two-way distance** carries the regularity needed to form an association scheme. In this framework, the basic invariants are not ordinary distances alone but ordered pairs \((\partial(x,y),\partial(y,x))\), and the corresponding intersection numbers encode the local directed geometry. Recent work has developed the subject along several tightly connected lines: algebraic characterization through attached association schemes, classification under commutativity and other regularity assumptions, explicit Cayley-model realizations, and structural links with distance-regular graphs, Schur rings, and spectral excess theory [2507.11298], [1310.7382].

## 1. Definitions and association-scheme framework

Let \(\Gamma\) be a finite, simple, strongly connected digraph. For vertices \(x,y\in V\Gamma\), the directed distance is \(\partial_\Gamma(x,y)\), and the **two-way distance** is
\[
\widetilde{\partial}(x,y)=\bigl(\partial_\Gamma(x,y),\partial_\Gamma(y,x)\bigr).
\]
For each two-way distance type \(\widetilde{i}\), one considers the relation
\[
\Gamma_{\widetilde{i}}=\{(x,y)\mid \widetilde{\partial}(x,y)=\widetilde{i}\}.
\]
A digraph is **weakly distance-regular** if, for any \(h,i,j\in \widetilde{\partial}(\Gamma)\), the number of vertices \(z\) such that \(\widetilde{\partial}(x,z)=i\) and \(\widetilde{\partial}(z,y)=j\) depends only on \(h=\widetilde{\partial}(x,y)\), not on the particular choice of \(x,y\). These constants are the **intersection numbers** \(p_{i,j}^h\). Equivalently, the configuration formed by the relations \(\{\Gamma_{\widetilde{i}}\}\) is an association scheme; different papers denote this attached scheme by \(X(\Gamma)\), \(\mathfrak X(\Gamma)\), or \(\mathcal X(\Gamma)\) [2507.11298], [2210.16121].

The association-scheme viewpoint supplies the standard algebraic apparatus. If \(A_i\) is the adjacency matrix of relation \(R_i\), then
\[
A_0 = I,\qquad \sum_i A_i = J,\qquad A_i^\top=A_{i^*},\qquad A_iA_j=\sum_h p_{i,j}^hA_h.
\]
Valencies are given by \(k_i=p_{i,i^*}^0\), and in the two-way-distance notation one also writes \(k_{a,b}=|\Gamma_{a,b}(x)|\). A weakly distance-regular digraph is **commutative** if \(p_{i,j}^h=p_{j,i}^h\) for all \(h,i,j\). This commutativity hypothesis is pervasive in the classification literature because it sharply constrains relation products and often forces explicit Cayley realizations [2507.11298], [2108.00613].

Arc types are encoded by return distances. An arc \((u,v)\) is of **type \((1,r)\)** if \(\partial(v,u)=r\). Many of the strongest classification theorems are organized by the set of arc types, by whether a type is **pure** or **mixed**, and by the behavior of distinguished intersection numbers such as \(p_{(1,q-1),(1,q-1)}^{(2,q-2)}\) [2405.03310], [1609.04962].

## 2. Distance-regularity, \(P\)-polynomiality, and algebraic restrictions

Weakly distance-regular digraphs sit strictly between general strongly connected digraphs and the classical distance-regular objects. In diameter \(2\), distance-regular graphs are exactly symmetric \(2\)-class association schemes, distance-regular digraphs are exactly non-symmetric \(2\)-class association schemes, and weakly distance-regular digraphs are the broader directed version in which the partition is by two-way distance and the attached scheme may have more than two classes [2507.11298]. For connected digraphs, a fundamental characterization states that a digraph is distance-regular if and only if it is both **normal** and **weakly distance-regular** [1310.7382].

A major algebraic subclass consists of **\(P\)-polynomial weakly distance-regular digraphs**, meaning that the attached scheme \(X=(X,\{R_i\}_{i=0}^d)\) is \(P\)-polynomial with respect to \(R_0,R_1,\dots,R_d\), so that
\[
A_i=v_i(A_1),\qquad \deg v_i=i.
\]
The complete classification shows that such a digraph is isomorphic to one of six types:
\((X,R_1)\) or \((X,R_{g-1})\);
\((X,R_2)\) or \((X,R_{g-2})\), where \(k_1>k_{g-1}\) and \(g\in\{6,8\}\);
\((X,R_1\cup R_2)\) or \((X,R_{g-2}\cup R_{g-1})\), where \(2\mid g\);
\((X,R_1\cup R_g)\) or \((X,R_{g-1}\cup R_g)\), where \(d=g\);
\((X,R_1\cup R_2)\) or \((X,R_{g-2}\cup R_g)\), where \(k_1>k_{g-1}\), \(d=g\), and \(g\in\{6,8\}\);
or \((X,R_1\cup R_2\cup R_3)\) or \((X,R_{g-2}\cup R_{g-1}\cup R_g)\), where \(d=g\), \(2\mid g\), and \(g>4\) [2210.16121]. The same work recalls Damerell’s theorem that distance-regular digraphs are stable and satisfy \(d=g-1\) or \(d=g\), with the long-type case \(d=g\) arising as a lexicographic product of a short-type distance-regular digraph by an empty graph [2210.16121].

Other global restrictions also admit classification. In the **quasi-thin** case, where all intersection numbers satisfy \(p_{i,j}^h\le 2\), commutative weakly distance-regular digraphs of valency \(>3\) are completely determined and every example is one of ten explicit Cayley digraph families [1609.04962]. In the **thick** case, where the attached scheme is regular in the sense that \(p_{\widetilde{i},\widetilde{i}^*}^{\widetilde{h}}\in\{0,k_{\widetilde{i}}\}\), each commutative thick weakly distance-regular digraph has a thick weakly distance-regular subdigraph such that the corresponding quotient digraph belongs to one of six explicit families up to isomorphism [2003.08053]. These results show that strong algebraic hypotheses tend to collapse the general theory to a short list of explicit models.

## 3. Arc types, purity, and one-type classifications

The combinatorics of arc types is one of the main organizing principles of the subject. For a type \((1,q-1)\), an arc is **pure** if every circuit of length \(q\) containing it consists entirely of arcs of that same type; otherwise it is **mixed**. Several papers use configurations such as \(C(q)\), \(D(q)\), or \(C_{q,h}\) to characterize mixedness and to force specific products of relations [2405.03310], [1609.04962], [2003.08053]. This local dichotomy repeatedly drives global classification.

The valency-\(3\) classification program is historically central. Weakly distance-regular digraphs of valency \(3\), girth \(>2\), and **two types of arcs** are classified by one explicit Cayley family on \(\mathbb Z_4\times\mathbb Z_g\) together with three subfamilies of the construction \(\Gamma_{q,s,k}\) [1502.02825]. The complementary case of **one type of arcs** yields a complete classification of commutative weakly distance-regular digraphs of valency \(3\): \({\rm Cay}(\mathbb{Z}_{7},\{1,2,4\})\), \({\rm Cay}(Q_{8},\{i,j,k\})\), \({\rm Cay}(\mathbb{Z}_{13},\{1,3,9\})\), the eighteenth digraph with \(18\) vertices from Hanaki’s catalog, \({\rm Cay}(\mathbb{Z}_{3}^3,\{(1,0,0),(0,1,0),(0,0,1)\})\), \({\rm Cay}(\mathbb{Z}_{g}\times\mathbb{Z}_{3},\{(1,0),(1,1),(1,2)\})\), \({\rm Cay}(\mathbb{Z}_{n}\times\mathbb{Z}_{n},\{(1,0),(0,1),(n-1,n-1)\})\) with \(n\notin 3\mathbb Z\setminus\{3\}\), and \({\rm Cay}(\mathbb{Z}_{n}\times\mathbb{Z}_{3n},\{(0,1),(1,1),(n-1,3n-2)\})\) with \(n\ge 2\) [1611.07764].

A later theorem extends the one-type program to higher valency. Let \(\Gamma\) be a commutative weakly distance-regular digraph of valency \(k>3\) and girth \(g\), assume that every arc has type \((1,g-1)\), and suppose
\[
p_{(1,g-1),(1,g-1)}^{(2,g-2)}\ge k_{1,g-1}-2.
\]
Then \(\Gamma\) is isomorphic to exactly one of five Cayley digraphs [2108.00613].

| Family | Status |
|---|---|
| \(\operatorname{Cay}(\mathbb{Z}_{11};\{1,3,4,5,9\})\) | sporadic |
| \(\operatorname{Cay}(\mathbb{Z}_{14};\{1,2,4,8,9,11\})\) | sporadic |
| \(\operatorname{Cay}(\mathbb{Z}_{26};\{1,3,9,14,16,22\})\) | sporadic |
| \(\operatorname{Cay}(\mathbb{Z}_3\times \mathbb{Z}_{k+1};\{(1,1),(1,2),\dots,(1,k)\})\) | infinite |
| \(\operatorname{Cay}(\mathbb{Z}_g\times \mathbb{Z}_{g};\{(k,0),(1,1),\dots,(1,k-1)\})\) | infinite |

The decisive local quantity here is \(p_{(1,g-1),(1,g-1)}^{(2,g-2)}\). The proof splits according to whether it equals \(k-1\) or \(k-2\), and in the nontrivial cases the girth is forced to be \(g=3\). The authors also state explicitly that their theorem improves and recovers the earlier valency-\(3\) one-type classification as a special case [2108.00613]. A common misconception is that the one-type condition by itself leaves the girth largely unconstrained; under this near-maximal intersection-number hypothesis, the surviving structure is much more rigid.

## 4. Diameter \(2\) and low-class structure

The diameter-\(2\) case has a particularly clean description because the possible two-way distances are tightly bounded:
\[
\{(0,0),(1,2),(2,1)\}\subseteq\tilde{\partial}(\Gamma)\subseteq \{(0,0),(1,2),(2,1),(1,1),(2,2)\}.
\]
Hence the attached association scheme has at most \(4\) classes, and by Higman’s theorem any association scheme with at most four classes is commutative [2507.11298]. This sharply reduces the classification problem.

The complete theorem states that a digraph \((X,A)\) is a weakly distance-regular digraph of diameter \(2\) with attached scheme \(\mathfrak X=(X,\{R_l\}_{l=0}^d)\) if and only if \(\mathfrak X\) has exactly one pair of non-symmetric relations, say \(R_1^\top=R_2\), and one of four alternatives holds:
\(d=2\) and \(A=R_i\);
\(d=3\) and \(A=R_i\cup R_3\);
\(d=3\), \(A=R_i\), and \(\mathfrak X\) is neither a \(P\)-polynomial association scheme nor a wedge product of the specified subschemes and a \(1\)-class association scheme;
or \(d=4\), \(A=R_i\cup R_j\), and \(\mathfrak X\) is neither a wreath product of a \(1\)-class association scheme and a \(P\)-polynomial association scheme nor the corresponding wedge product [2507.11298]. In the \(d=4\) case, a necessity theorem shows that every diameter-\(2\) weakly distance-regular digraph with \(4\) classes must have the form \((X,R_i\cup R_j)\) with \(i\in\{1,2\}\) and \(j\in\{3,4\}\), subject to those excluded decompositions [2507.11298].

This classification underscores two methodological points. First, low diameter is best handled in association-scheme language rather than by ad hoc path counting. Second, the main obstructions are not arbitrary exceptions but specific product decompositions—\(P\)-polynomial, wreath-product, and wedge-product degeneracies—that must be excluded before the remaining structure becomes rigid.

## 5. Special ambient geometries, Cayley models, and circulants

A large fraction of the known classifications concern weakly distance-regular digraphs embedded in a highly structured ambient class. The following programs are representative.

| Setting | Conclusion | Paper |
|---|---|---|
| Underlying Hamming, folded \(n\)-cube, or Doob graph | Hamming case classified; no folded \(n\)-cube for \(n\ge 3\); unique Doob case \(\operatorname{Cay}(\mathbb{Z}_4\times \mathbb{Z}_4,\{(4,0),(0,1),(-1,-1)\})\) | [2305.00276] |
| Underlying Johnson or folded Johnson graph | Only \(\mathrm{Cay}(\mathbb{Z}_6,\{1,6\})\) or \(\mathrm{Cay}(\mathbb{Z}_6,\{1,4\})\); no folded Johnson graph of diameter at least \(2\) occurs | [2408.02931] |
| Locally semicomplete but not semicomplete | Exactly three lexicographic/generalized lexicographic families | [2405.03310] |
| Semicomplete multipartite | Exactly five families, including coclique extensions and Type II structures | [2501.10921] |
| Circulants of one type of arcs | \(C_m[K_l]\), \(P(p)[K_l]\), \(C_3\times K_h\), \(\mathrm{Cay}(\mathbb Z_{13},\{1,3,9\})[K_l]\) | [2307.12710] |
| Primitive circulants | Paley digraphs of prime order, directed circuits of prime length, and \(\operatorname{Cay}(\mathbb{Z}_{13},\{1,3,9\})\) | [1908.08658] |

In the orientation-of-distance-regular-graphs program, the commutative hypothesis is again decisive. For Hamming graphs, the classification reduces to small explicit digraphs and Cartesian products of semicomplete weakly distance-regular diameter-\(2\) factors; for folded \(n\)-cubes, no commutative weakly distance-regular orientation exists when \(n\ge 3\); and for Doob graphs, exactly one example survives [2305.00276]. The Johnson and folded Johnson continuation is even more rigid: only two small circulants occur, and in particular no folded Johnson graph of diameter at least \(2\) can appear as an underlying graph [2408.02931].

The semicomplete side of the theory has a parallel taxonomy. Locally semicomplete commutative weakly distance-regular digraphs that are not semicomplete are exactly \(\Lambda\circ K_m\), \(\mathrm{Cay}(\mathbb Z_{il},\{1,i\})\circ K_m\), and \(\mathrm{Cay}(\mathbb Z_{iq},\{1,i\})\circ (\Sigma_x)_{x\in \mathbb Z_{iq}}\), with the stated conditions on \(i,l,q,m\) and identical intersection numbers in the fibers [2405.03310]. Semicomplete multipartite commutative weakly distance-regular digraphs are likewise classified by five families, including \(n\)-coclique extensions of \(Cay(\mathbb{Z}_6,\{1,2\})\), extensions of semicomplete weakly distance-regular digraphs with girth \(2\) or \(3\), and Type II doubly regular team semicomplete multipartite digraphs [2501.10921].

For circulants, Schur-ring methods provide an especially clean algebraic translation. A Cayley digraph \(\mathrm{Cay}(G,S)\) is weakly distance-regular if and only if its two-way distance module \(D(G,S)\) is an \(S\)-ring, and in the primitive case primitivity of the digraph is equivalent to primitivity of that \(S\)-ring [2307.12710]. This explains why circulant classifications repeatedly culminate in cyclotomic or Paley-type examples and a small number of exceptional Cayley digraphs.

## 6. Spectral characterizations and conceptual significance

Beyond classification, weakly distance-regular digraphs admit strong recognition theorems. For a connected digraph with distance matrices \(A_0,A_1,\dots,A_D\) and pre-distance polynomials \(P_0,P_1,\dots,P_D\), the following are equivalent: \(\Gamma\) is weakly distance-regular; \(A_k=P_k(A)\) for each \(k\); \(\{A_0,\dots,A_D\}\) is a basis of the adjacency algebra; and the numbers \(p_{ij}^k(u,v)=|\Gamma_i^+(u)\cap \Gamma_j^+(v)|\) depend only on \(k=\partial(u,v)\) [1310.7382]. The same paper proves a family of projection inequalities in which equality holds if and only if the digraph is weakly distance-regular, thereby giving recognition criteria in terms of equality of two invariants rather than direct verification of all intersection numbers [1310.7382].

For connected **normal** digraphs with \(d+1\) distinct eigenvalues, the spectral excess philosophy extends to the directed setting. The **simple excess** \(\varepsilon_\Gamma=\delta_d'^2/\delta_d\) satisfies
\[
\varepsilon_\Gamma\le \varepsilon_d,
\]
where \(\varepsilon_d\) is the spectral excess determined by the spectrum; equality holds if and only if the digraph is distance-regular. A weighted version using the Hoffman polynomial yields an analogous criterion, and these results imply that a connected normal digraph is either bipartite, or a generalized odd graph, or has odd-girth at most \(\min\{2d-1,2D+1\}\) [1310.7382]. Since distance-regularity of a digraph is equivalent to normality plus weak distance-regularity, these theorems place weak distance-regular digraphs at the exact interface between combinatorial regularity and spectral structure.

Taken together, the classification and recognition results show a consistent pattern. Most complete classifications currently require commutativity, and the decisive tools are almost always the same: control of two-way-distance relations, exact or near-exact intersection-number identities, quotient and product constructions, and eventual identification with explicit Cayley models. This suggests that the subject is less a single classification theorem than a family of rigidity principles, all rooted in the association-scheme structure imposed by two-way distance.

Source: https://www.emergentmind.com/topics/weakly-distance-regular-digraphs