---
title: Word-Representable Split Graphs
url: https://www.emergentmind.com/topics/word-representable-split-graphs
type: topic
---

# Word-Representable Split Graphs

Word-representable split graphs are split graphs whose adjacency relation can be encoded by alternation in a word over the vertex set: for distinct vertices \(x\) and \(y\), the edge \(xy\) is present if and only if the letters \(x\) and \(y\) alternate in the representing word. Equivalently, they are the split graphs that admit a semi-transitive orientation, so the subject sits at the intersection of combinatorics on words, graph orientations, comparability theory, and structural graph theory [1501.07108]. Research on the class has evolved from orientation-based partial characterizations for restricted split graphs to matrix and forbidden-subgraph descriptions, and ultimately to a complete forbidden induced subgraph characterization for semi-transitive split graphs [1709.09725][2512.12259].

## 1. Definitions and foundational equivalences

Let \(G=(V,E)\) be a simple graph. A word \(w\) over alphabet \(V\) represents \(G\) when, for all distinct \(x,y\in V\), the edge \(xy\) is present exactly when the restriction \(w|_{\{x,y\}}\) is of the form \(xyxy\cdots\) or \(yxyx\cdots\); equivalently, \(w|_{\{x,y\}}\) contains no factor \(xx\) or \(yy\). A graph is word-representable if it has such a word. If each letter appears exactly \(k\) times, then \(w\) is \(k\)-uniform, \(G\) is \(k\)-word-representable, and the minimum such \(k\) is the representation number \(R(G)\) [1501.07108].

A split graph is a graph whose vertex set can be partitioned as \(V=C\cup I\), where \(C\) induces a clique and \(I\) induces an independent set. In matrix-based work on split graphs, the bipartite adjacencies between \(I=\{v_1,\dots,v_m\}\) and \(C=\{u_1,\dots,u_n\}\) are encoded by the \(m\times n\) \(0/1\)-matrix \(A(G)\) with \(a_{ij}=1\iff v_i u_j\in E(G)\) [2512.12259].

The central structural fact is that a graph is word-representable if and only if it admits a semi-transitive orientation: an acyclic orientation in which every directed path
\[
v_0\to v_1\to \cdots \to v_m,\qquad m\ge 2,
\]
either has no arc between \(v_0\) and \(v_m\), or else induces full transitivity on the path vertices. In the equivalent shortcut formulation, semi-transitivity means acyclicity together with the absence of an induced shortcut. This equivalence converts a problem about alternation in words into a problem about acyclic orientations and is the main organizing principle for the theory [1501.07108].

A nearby subclass is given by comparability graphs, i.e. graphs admitting a transitive orientation. These are exactly the permutationally representable graphs, meaning graphs representable by a concatenation of permutations. For split graphs, comparability structure is especially important when one studies permutation-representation number and the boundary between representation numbers \(2\) and \(3\) [2401.01954].

## 2. Orientation structure specific to split graphs

For split graphs, semi-transitivity imposes a particularly rigid local form. If \(S_n=(E_{n-m},K_m)\) is semi-transitively oriented, then the clique \(K_m\) is necessarily oriented transitively; equivalently, its vertices can be arranged on a directed Hamiltonian path
\[
P:\ p_1\to p_2\to \cdots \to p_m.
\]
Every vertex of the independent set then falls into one of three types relative to \(P\) [1709.09725].

Type A vertices are adjacent to a consecutive interval \(\{p_i,\dots,p_j\}\) and are oriented uniformly as sources toward that interval. Type B vertices are adjacent to a consecutive interval \(\{p_i,\dots,p_j\}\) and are oriented uniformly as sinks from that interval. Type C vertices are adjacent to a prefix and a suffix of \(P\): there exist \(1\le i<j\le m\) such that
\[
I_v=\{p_1,\dots,p_i\},\qquad O_v=\{p_j,\dots,p_m\},
\]
with edges \(x\to v\) for \(x\in I_v\) and \(v\to y\) for \(y\in O_v\). Type C is therefore the split-graph analogue of a two-interval pattern at the ends of the clique order [1709.09725].

This orientation picture has an equivalent neighborhood formulation. A split graph is semi-transitive if and only if the clique vertices can be labeled \(1,\dots,k\) so that every \(v\in I\) has one of the two neighborhood forms
\[
N(v)=[a,b]\quad\text{or}\quad N(v)=[1,a]\cup [b,k],
\]
together with two compatibility rules. If \(N(u)=[a_1,b_1]\) and \(N(v)=[1,a_2]\cup[b_2,k]\), then
\[
a_1>a_2\quad\text{or}\quad b_1<b_2.
\]
If
\[
N(u)=[1,a_1]\cup[b_1,k],\qquad N(v)=[1,a_2]\cup[b_2,k],
\]
then
\[
a_2<b_1\quad\text{and}\quad a_1<b_2.
\]
These conditions encode exactly when interval-type and two-end neighborhoods can coexist without producing shortcuts [2507.08483].

A common misconception is that the split partition itself is already sufficient to force word-representability. The orientation theory shows that this is false: not all split graphs are semi-transitive, and the obstruction lies in how neighborhoods in the independent set interleave along the transitive orientation of the clique, not in the existence of the partition alone [1709.09725].

## 3. From partial forbidden families to complete forbidden induced subgraphs

The earliest structural results for word-representable split graphs were size-restricted. For split graphs in which every vertex of the independent set has degree at most \(2\), word-representability is equivalent to avoiding the graph \(T_2\) and the infinite family \(A_\ell\); for split graphs with clique \(K_4\), it is equivalent to avoiding exactly \(T_1,T_2,T_3,T_4\) as induced subgraphs [1709.09725].

This program was extended in several directions. Threshold graphs, a subclass of split graphs obtained by repeatedly adding an isolated or a dominating vertex, were shown to be word-representable. The same paper characterized split graphs with clique \(K_5\): a split graph \(S_n=(E_{n-5},K_5)\) is word-representable if and only if it avoids the nine induced subgraphs \(T_1,\dots,T_9\) [1909.09471].

A complementary size restriction fixes the independent set rather than the clique. For \(|I|=4\), word-representability is equivalent to avoiding the finite family
\[
T_1,T_2,\dots,T_8,D_1.
\]
Here \(D_1\) is the new obstruction specific to the \(|I|=4\) case: its independent set is \(\{a,b,c,d\}\), its clique has size \(6\), the vertices \(b,c,d\) are adjacent to three disjoint consecutive pairs of clique vertices, and \(a\) is adjacent to the alternating triple \(\{1,3,5\}\). The graph is minimal non-word-representable, because deleting any vertex restores the interval compatibility demanded by the split-graph neighborhood theorem [2507.08483].

The decisive later step is a complete forbidden induced subgraph characterization for semi-transitive split graphs. The paper introduces a finite family \(\mathcal{G}_0\) derived from a finite family of forbidden submatrices, and proves that a split graph \(G\) is semi-transitive, hence word-representable, if and only if it contains none of the graphs in \(\mathcal{G}_0\) as an induced subgraph. Each graph in \(\mathcal{G}_0\) is minimal non-semi-transitive [2512.12259]. This closes the earlier pattern of partial results by turning the hereditary nature of word-representability into a complete obstruction theory inside the split class.

## 4. Matrix encodings, circular orders, and the \(I\)-circular property

A major conceptual shift was to reformulate split-graph word-representability as a property of the adjacency matrix between the independent set and the clique. An early matrix characterization states that, after a suitable permutation of the clique columns, each row must have one of the forms
\[
0^r1^s0^t \quad\text{or}\quad 1^r0^s1^t,
\]
and whenever a row has the form \(1^a0^b1^c\) with \(a,b,c>0\), no other row may have \(1\)s simultaneously in positions \(a\) and \(a+b+1\). This already captures the interval and two-end neighborhood patterns appearing in the orientation description [2104.14872].

The later matrix theory rephrases the same phenomenon more cleanly. A \(0/1\)-matrix \(M\) has the \(I\)-circular property if there exists a linear order of the columns such that every row is a circular interval and, moreover, the intersection of every pair of rows is also a circular interval. If \(\Lambda(M)\) denotes the matrix obtained by adding all relevant pairwise intersections as extra rows, then
\[
M\text{ is \(I\)-circular}\quad\Longleftrightarrow\quad \Lambda(M)\text{ has the circular-ones property}.
\]
This turns split-graph word-representability into a circular-interval problem [2512.12259].

The corresponding graph-theoretic statement is exact: if \(G\) is a split graph with clique \(C\), independent set \(I\), and adjacency matrix \(A(G)\) between \(I\) and \(C\), then
\[
G\text{ is semi-transitive}\quad\Longleftrightarrow\quad A(G)\text{ has the \(I\)-circular property}.
\]
The same paper proves a finite forbidden submatrix characterization for \(I\)-circularity. The forbidden family is
\[
\mathcal{F}_I=\{\Pi_k,\Pi_k',\Pi_{k+1}'': k\ge 3\}\cup\{0101\Pi_4,\ 0100\Pi_4,\ M_I,\ M_{II},\ M_{III}\},
\]
and the associated split graphs \(SG(F)\), \(F\in\mathcal{F}_I\), generate the finite obstruction family \(\mathcal{G}_0\) mentioned above [2512.12259].

Algorithmically, this matters because circular-ones recognition is linear-time, and the reduction \(M\mapsto \Lambda(M)\) yields a polynomial recognition method for word-representable split graphs. A second polynomial method is immediate from the finite family \(\mathcal{G}_0\): one may test \(\mathcal{G}_0\)-freeness instead of searching for a semi-transitive orientation directly [2512.12259].

## 5. Representation number inside the split class

The representation number of a general word-representable graph can be large, and determining it is NP-complete in general. For split graphs, however, the situation is markedly sharper: every word-representable split graph has representation number at most \(3\) [2502.00872].

The proof is constructive. Starting from the neighborhood characterization of split graphs, the authors partition the independent set into
\[
A=\{a\in I: N(a)=[1,b]\cup[c,k]\},
\qquad
A'=\{a\in I: N(a)=[b',c']\},
\]
and build three words \(p_1,p_2,p_3\) from the clique order \(12\cdots k\). Vertices in \(A\) and \(A'\) are inserted at specific neighborhood endpoints in \(p_1\) and \(p_2\), while \(p_3\) contains a reversed control block that enforces the required alternation and non-alternation patterns. The final word
\[
w = p_1\, r(p_1|_{A'})\, p_2\, p_3
\]
is 3-uniform and represents the split graph [2502.00872].

The same paper gives an exact description of when the upper bound is tight. A word-representable split graph \(G\) has
\[
R(G)=3
\]
if and only if it contains at least one of the following induced subgraphs:
- Even-\(k\)-sun for even \(k\ge 4\),
- \(F_0\),
- \(F_1(k)\) for odd \(k\ge 5\),
- \(F_2(k)\) for odd \(k\ge 5\) [2502.00872].

For split comparability graphs the criterion is even cleaner. Since split comparability graphs have permutation-representation number at most \(3\), the paper proves that
\[
R(G)=3 \quad\Longleftrightarrow\quad G\text{ contains }F_0\text{ as an induced subgraph}
\]
within this subclass [2502.00872]. By contrast, threshold graphs are permutation graphs and hence circle graphs, so their representation number is at most \(2\) [2502.00872].

## 6. Structural subclasses, split decomposition, and recomposition

Several important subclasses of split graphs are automatically word-representable. Threshold graphs are one such class [1909.09471]. Another sufficient condition is degree-theoretic: if \(S_n=(E_{n-m},K_m)\) is a split graph such that every clique vertex has degree at most \(m\), meaning each vertex of the clique is adjacent to at most one vertex of the independent set outside the clique, then \(S_n\) is word-representable [1909.09471].

A distinct but relevant structural perspective comes from split decomposition rather than classical split partitions. The class of word-representable graphs is closed under split recomposition, and if \(G\) has split decomposition components \(H_1,\dots,H_s\), then
\[
G\text{ is word-representable}\quad\Longleftrightarrow\quad H_i\text{ is word-representable for all }i,
\]
and
\[
\mathcal{R}(G)=\max_i \mathcal{R}(H_i).
\]
Although this theory is not restricted to classical split graphs, it is directly relevant to them whenever a split graph admits a decomposition into cliques, stars, bipartite pieces, or other word-representable components [2401.01954].

This viewpoint is especially effective for parity graphs. Since every component in the minimal split decomposition of a parity graph is either a clique or a bipartite graph, parity graphs are word-representable. The synthesis explicitly notes that many split graphs are parity graphs, including bipartite split graphs and distance-hereditary split graphs, so the decomposition theorem yields a structural route to word-representability for these subclasses as well [2401.01954].

A common source of confusion is the word “split” itself. In the classical sense, a split graph has a clique–independent-set partition. In split decomposition theory, “split” refers to a decomposition operation on connected graphs. The two notions are different, but the decomposition results still feed back into the study of classical split graphs whenever such graphs can be assembled from word-representable building blocks [2401.01954].

## 7. Computation, extensions, and surrounding research directions

Computational work on general word-representable graphs provides useful context for the split-graph class. Semi-transitive orientations were used to enumerate connected non-word-representable graphs up to \(11\) vertices and to compute distributions of representation numbers up to \(9\) vertices; the same work introduced \(k\)-semi-transitive orientations and showed computationally that \(3\)-semi-transitivity is strictly weaker than semi-transitivity [1808.01215]. For split graphs, these methods suggest a practical route to exhaustive experimentation: generate split graphs, search for semi-transitive orientations, and then test word constructions.

Another surrounding direction is \(k\)-11-representability, which relaxes alternation by allowing up to \(k\) occurrences of the consecutive pattern \(11\) in the two-letter restriction. Word-representable graphs are precisely \(0\)-11-representable graphs. The hierarchy is strict at the first step,
\[
\mathcal{G}(0)\subset \mathcal{G}(1),
\]
and every graph is \(2\)-11-representable by a concatenation of permutations [1803.01055]. This places word-representable split graphs inside a broader relaxation framework. A natural extension is whether split graphs that fail word-representability still admit low-level \(k\)-11 representations.

Historically, several open problems were posed first in restricted split-graph settings and then resolved. The \(|I|=4\) case was posed and later characterized by the forbidden family \(T_1,\dots,T_8,D_1\) [2507.08483]. The broader problem of a forbidden induced subgraph characterization for semi-transitive split graphs was then resolved through the \(I\)-circular property and the finite obstruction family \(\mathcal{G}_0\) [2512.12259]. What remains open in the matrix direction are refinements such as direct linear-time recognition of \(I\)-circularity without explicitly constructing \(\Lambda(M)\), and the relation between the \(I\)-circular and \(D\)-circular properties [2512.12259].

Taken together, the modern picture is unusually sharp for a nontrivial hereditary class. Word-representable split graphs now admit equivalent descriptions by semi-transitive orientations, by neighborhood intervals on an ordered clique, by column-permuted \(0/1\)-matrices, by finite forbidden induced subgraphs, and by bounded representation number. The class therefore serves as one of the clearest laboratories for the general program of understanding word-representability through structural graph theory [2512.12259].

Source: https://www.emergentmind.com/topics/word-representable-split-graphs