---
title: 'Oroboro: Combinatorics & String Theory'
url: https://www.emergentmind.com/topics/oroboro
type: topic
---

# Oroboro: Combinatorics & String Theory

Searching arXiv for the cited works and related identifiers.
arxiv_search: Baykara Dudas Vafa S^1 vee S^1 type 0A

arxiv_search: "Baykara Dudas Vafa" "S^1 vee S^1" type 0A

Searching arXiv: Baykara Dudas Vafa quantum geometry wedge circles non-supersymmetric type 0A

Oroboro, more commonly spelled **Ouroboros**, appears in two distinct recent technical senses on arXiv. In dynamical algebraic combinatorics it denotes the closed successor orbits that arise from toggling independent sets of a cycle graph, together with the associated finite abelian groups acting simply transitively on the live entries of finite orbit tables [2305.07627]. In string theory it denotes a non-geometric M-theory/type I′ configuration in which a type I′ interval is curled onto itself, providing a framework that reproduces the ten-dimensional non-supersymmetric heterotic strings, their light spectra, indications of their global gauge-group structure, and certain junctions between vacua [2604.22915]. In both usages, the name is tied to the image of a closed object “biting its own tail,” but the underlying constructions belong to different technical domains.

## 1. Terminological scope

The standard spelling in the combinatorics paper is explicitly noted as **“Ouroboros”**, while **“Oroboro”** is also used in the string-theoretic literature [2305.07627; 2604.22915]. The term therefore does not name a single cross-disciplinary object. Rather, it labels two formally unrelated constructions that share a common closed-loop motif.

In the combinatorial setting, the relevant background is global dynamical algebraic combinatorics built from local toggle operators. Earlier work of Joseph–Roby treated toggling independent sets of a path graph; the toric analogue replaces the path by a cycle graph \(C_n\), so that orbit data naturally live on a cylinder and, after further quotienting, on a torus [2305.07627]. In that setting, an **ouroboros** is a finite closed orbit of the successor map on a toroidal orbit table.

In the string-theoretic setting, Altavista–Raucci–Uranga–Wang develop the **heterotic Ouroboros** from the “quantum geometry” proposal of Baykara–Dudas–Vafa for M-theory on \(\mathbf{S}^1\vee\mathbf{S}^1\) [2604.22915]. There the term refers to a type I′ interval curled onto itself, with its boundaries separated by a branch cut, whose E-limits and D-limits reproduce the known ten-dimensional non-supersymmetric heterotic strings.

## 2. Oroboro in toric toggling on a cycle graph

The combinatorial construction starts with the cycle graph \(C_n\) with vertices \(V(C_n)=\mathbb Z_n\) and edges \(\{i,i+1\}\), including the wrap \(\{n,1\}\). An independent set of \(C_n\) is a binary string \((v_1,\dots,v_n)\in\{0,1\}^n\) with no adjacent \(1\)s, including the cyclic adjacency between \(v_n\) and \(v_1\) [2305.07627]. For each position \(k\), the toggle \(\tau_k\) acts on the set \(\mathcal I_n\) of independent sets by
\[
\tau_k(E)=
\begin{cases}
E\cup\{k\} & \text{if }k\notin E\text{ and }E\cup\{k\}\in\mathcal I_n,\\[2pt]
E\setminus\{k\} & \text{if }k\in E,\\[2pt]
E & \text{otherwise.}
\end{cases}
\]
The global map is the Coxeter element
\[
\tau=\tau_n\circ\cdots\circ\tau_1,
\]
whose iteration on \(\mathcal I_n\) has finite orbits.

Given \(x=x^{(0)}\in\mathcal I_n\), one writes \(x^{(i)}=\tau^i(x)\) and arranges the orbit data into a **scroll**
\[
S=(X_{i,j})=Scroll(x),
\]
with \(n\) columns, rows indexed by \(i\in\mathbb Z\), and convention
\[
X_{i,k+n}=X_{i+1,k}.
\]
Reading row by row produces the **ticker tape**
\[
X=(X_k)_{k\in\mathbb Z},\qquad X_{in+j}=X_{i,j}.
\]
Entries equal to \(1\) are called **live**, with
\[
Live(S)=\{(i,j)\in\mathbb Z\times\mathbb Z_n:X_{i,j}=1\}.
\]

The local geometry of a live entry is rigid. If \((i,j)\in Live(S)\), then
\[
X_{i-1,j}=X_{i-1,j+1}=X_{i,j-1}=X_{i,j+1}=X_{i+1,j-1}=X_{i+1,j}=0,
\]
and moreover
\[
X_{i,j+2}+X_{i+1,j+1}=1,\qquad X_{i+2,j-2}+X_{i+2,j-1}=1.
\]
These relations define two bijections on \(Live(S)\): the **successor**
\[
s(i,j)=\text{the unique live element of }\{(i,j+2),(i+1,j+1)\},
\]
and the **co-successor**
\[
c(i,j)=\text{the unique live element of }\{(i+2,j-2),(i+2,j-1)\}.
\]
They commute:
\[
s(c(i,j))=c(s(i,j)).
\]

A **snake** is an orbit of \(s\), and a **co-snake** is an orbit of \(c\). Passing to the universal cover \(\widehat S:\mathbb Z\times\mathbb Z\to\{0,1\}\), the lifted generators \(\widehat s,\widehat c\) yield the affine snake group
\[
G(\widehat S)=\langle \widehat s,\widehat c\mid \widehat s\widehat c=\widehat c\widehat s\rangle\cong\mathbb Z^2,
\]
acting simply transitively on \(Live(\widehat S)\). Thus \(Live(\widehat S)\) is a torsor for \(\mathbb Z^2\). On the cylinder, if \(S\) has \(\alpha\) snakes and \(\beta\) co-snakes, then
\[
G(S)\cong \langle s,c\mid sc=cs,\ s^\beta=c^\alpha\rangle,
\]
and \(Live(S)\) is again a simply transitive \(G(S)\)-set.

## 3. Orbit tables, ouroboros groups, and torus tilings

The finite combinatorial **ouroboros** emerges after quotienting the scroll vertically. If the scroll period is \(T(S)\) and \(r=\omega T(S)\) for a positive integer \(\omega\), the \(\omega\)-fold orbit table \(T_\omega=Table_\omega(x)\) is the \(r\times n\) table of rows
\[
x^{(0)},x^{(1)},\dots,x^{(r-1)}.
\]
Topologically, this turns the cylinder into a torus. The live set is
\[
Live(T_\omega)=\{(i,j)\in\mathbb Z_r\times\mathbb Z_n:X_{i,j}=1\},
\]
and the successor and co-successor descend to commuting bijections \(s_\omega\) and \(c_\omega\) on \(Live(T_\omega)\) [2305.07627].

An **ouroboros** is an orbit of \(s_\omega\), and a **co-ouroboros** is an orbit of \(c_\omega\). The associated **ouroboros group**
\[
G(T_\omega)=\langle s_\omega,c_\omega\rangle
\]
has presentation
\[
G(T_\omega)=\langle s,c\mid sc=cs,\ s^\beta=c^\alpha,\ s^{\eta/\alpha}=c^{\eta/\beta}=1\rangle,
\]
where \(\eta=|Live(T_\omega)|\), and
\[
G(T_\omega)\cong \mathbb Z_\alpha\times\mathbb Z_{\eta/\alpha}
\cong \mathbb Z_\beta\times\mathbb Z_{\eta/\beta}.
\]
The action on \(Live(T_\omega)\) is simply transitive, so the live entries of the orbit table form a torsor for a finite abelian group.

Covering maps organize the passage from plane to cylinder to torus. The universal scroll projects to the scroll, and the scroll projects to the orbit table; under these coverings, snakes map to snakes and then to ouroboroi, while co-snakes map to co-snakes and then to co-ouroboroi. The associated covering degrees are the **ouroboros degree**
\[
\deg(\pi_\omega)=\alpha/\alpha_\omega
\]
and the **co-ouroboros degree**
\[
\codeg(\pi_\omega)=\beta/\beta_\omega.
\]

Because the generators commute, the live entries admit a geometric interpretation as a Cayley graph tiled by parallelograms. The Parallelogram Lemma identifies the small \(4\)-cycles arising from \(s^{-1}c^{-1}sc\) with literal parallelograms in the grid. On the universal scroll this is a planar lattice tiling; on the cylinder it wraps horizontally; on the orbit table it wraps in both directions and becomes a torus tiling by parallelograms.

The paper derives a full combinatorial classification of orbits in terms of feasible slither/co-slither data. Every orbit corresponds to a feasible pair \((W_s,W_c)\) satisfying
\[
2\beta_E+3\alpha_S+4\alpha_L=n+1,
\]
and conversely any feasible pair yields a ticker tape and hence a scroll. It also proves that if \(\lambda\) is the period of the column-sum vector \(\vec\Sigma(S)\), then \(\lambda\mid \gcd(n,Scale(S))\), and in fact \(\lambda\) is always odd. Moreover, for any odd \(\lambda\) and any integer \(k\ge 4\), there exists a scroll on \(n=k\lambda\) vertices whose sum vector has period \(\lambda\). The authors further state that the same “two commuting bijections acting simply transitively on live entries” phenomenon should be adaptable to other toggle actions and to certain \(1\)-dimensional cellular automata.

## 4. Heterotic Ouroboros as a non-geometric type I′ construction

In string theory, the heterotic Ouroboros begins with the proposal of Baykara–Dudas–Vafa that M-theory on a suitable quantum version of
\[
\mathbf{S}^1\vee\mathbf{S}^1
\]
yields ten-dimensional non-supersymmetric string theories [2604.22915]. Topologically, \(\mathbf{S}^1\vee\mathbf{S}^1\) is the wedge of two circles, but the construction is not governed by an ordinary smooth metric. Instead, the joining point is treated quantum-mechanically through boundary conditions on the \(11\)-dimensional fields. The two basic classes of boundary conditions are the **Disconnected Resolution Property (DRP)** and the **Strong Smoothness Property (SSP)**.

The relevant \(\mathbb Z_2\) exchanges the two circles. In a connected resolution picture, taking the quotient produces a single interval that is then **curled onto itself**, with its two endpoints identified in the quotient space. Altavista–Raucci–Uranga–Wang interpret the singular quotient as a limit of less singular **ouroboric variants**, in which the two boundaries are near each other but not exactly coincident, and the identification points may be detached from or glued to the boundaries.

After compactifying M-theory on an additional \(S^1\) and shrinking it, one obtains type IIA and then a type I′ interpretation: an interval \(S^1/\mathbb Z_2\) with O8-planes at the boundaries, possibly together with D8-branes. Curling this interval onto itself yields the **IIA ouroboros**. Locally, the geometry is analyzed by zooming into the narrow region between the two sides of the curled interval, producing the **capacitor diagram**: two nearly parallel segments facing each other across a small gap, with O8-planes, D8-branes, and identification points arranged in various ways.

The paper distinguishes **detached boundaries**, **glued boundaries**, **orientifolded identification points**, and **unorientifolded identification points**. It further proposes that the gap behaves as a **branch cut**: fields crossing it perceive the two sides as object/antiobject pairs, while fields traveling around the whole circle without crossing it perceive them as identical. This distinction underlies both the non-supersymmetric sectors and the D-limit gauge enhancement.

A further ingredient is the **quantum superposition \(\mathbb Z_2\)** associated with the two connected resolutions CRP and CRP′. The paper states that this quotient acts not as an ordinary classical geometric symmetry but effectively as an inner or outer automorphism on the gauge group. It is invoked to identify gauge factors, constrain allowed representations, determine global gauge-group structure, and in some cases reduce \(G\times G\) to a diagonal \(G\) realized at level \(2\).

## 5. E-limits, D-limits, and the seven non-supersymmetric heterotics

The microscopic input for the heterotic Ouroboros is type I′ gauge enhancement near O8/D8 systems. For an O8 with \(N_f\) coincident D8-branes, the local \(5\)-dimensional D4-probe theory has
\[
\frac{1}{g_\text{eff}^2(\phi)}=\frac{1}{g_0^2}+2(8-N_f)\phi.
\]
For \(N_f\le 7\), this permits a strong-coupling point with enhanced \(E_{N_f+1}\) symmetry; the paper repeatedly uses the cases \(SO(12)\times U(1)\to E_7\) for \(N_f=6\) and \(SO(14)\times U(1)\to E_8\) for \(N_f=7\) [2604.22915].

The construction distinguishes two limiting regimes. In an **E-limit**, local strong coupling near the O8-planes produces the E-type heterotics. In a **D-limit**, the ouroboros circle shrinks, extra winding states become light, D0-derived spinors are removed from the massless spectrum except in the special self-dual case, and gauge algebras combine across the two sides.

The paper states that its rules reproduce all seven ten-dimensional non-supersymmetric heterotic strings, with \(SO(16)\times SO(16)\) appearing in both families.

| Family | Gauge groups reproduced |
|---|---|
| E-type | \(E_8\times SO(16)\), \([E_7\times SU(2)]^2\), \((E_8)_2\), \(SO(16)\times SO(16)\) |
| D-type | \(SO(32)\), \(SO(24)\times SO(8)\), \(SU(16)\times U(1)\), \(SO(16)\times SO(16)\) |

For the E-type family, the paper gives explicit capacitor realizations. Variant \((b)\) yields \(E_8\times SO(16)\); variant \((a1)\) yields \([E_7\times SU(2)]^2\); variant \((c)\) yields \(SO(16)\times SO(16)\); and variant \((a2)\) yields \((E_8)_2\). In each case the light tachyonic and massless fermionic spectra are reproduced by a rule set involving gauge bosons from D8 stacks, tachyons between identification points unless both are orientifolded, bifundamental fermions associated with glued boundaries or detached-boundary/unorientifolded-point sectors, D0-brane zero-mode quantization, and the quantum superposition \(\mathbb Z_2\).

For the D-type family, the rules differ. The D-limit combines boundary \(SO\) factors according to
\[
SO(2n_1)\times SO(2n_2)\to SO(2n_1+2n_2),
\]
unless both boundaries are glued, and combines \(U(m_1)\) and \(U(m_2)\) factors from identification points into
\[
SO(2m_1+2m_2).
\]
The paper also states that the number of tachyons doubles from E-limit to D-limit, and similarly for fermions after removing the D0-derived spinor sectors. In this way the construction recovers \(SO(32)\), \(SO(24)\times SO(8)\), and \(SU(16)\times U(1)\), while \(SO(16)\times SO(16)\) is treated as self-dual.

## 6. Global gauge-group structure, junctions, and comparative significance

One of the central claims of the heterotic Ouroboros paper is that the construction gives information about the **global form** of the gauge groups, not only about their Lie algebras [2604.22915]. The list quoted in the paper is
\[
\begin{aligned}
& E_8\times Spin(16),\qquad \frac{[E_7\times SU(2)]^2}{\mathbb Z_2}\rtimes\mathbb Z_2,\qquad (E_8)_2,\\
& \frac{Spin(16)\times Spin(16)}{\mathbb Z_2}\rtimes\mathbb Z_2,\qquad Spin(32),\qquad \frac{Spin(24)\times Spin(8)}{\mathbb Z_2},\qquad \frac{SU(16)}{\mathbb Z_2}\times U(1)\rtimes\mathbb Z_2.
\end{aligned}
\]
These identifications are tied to the presence or absence of spinor representations, the action of the quantum superposition \(\mathbb Z_2\), classical reflection symmetries, and comparisons with worldsheet-CFT analyses by Fraiman et al. and Basile et al.

The same paper extends the Ouroboros picture to **junctions** or **bouquets** between different ten-dimensional heterotic vacua. Several intervals or ouroboroi are glued in a “pair of pants” topology, and the local intersection data are summarized by **trefoil diagrams**. A junction is acceptable only when it supports a consistent **chiral flow** between branches. The paper exhibits working bouquets, such as supersymmetric and non-supersymmetric examples built from repeated \(E_8\times SO(16)\) or \([E_7\times SU(2)]^2\) branches, and also gives examples of trefoils that fail because the required target representations for chiral matter are absent.

In the combinatorial literature, the corresponding significance is different. The ouroboros group packages the orbit structure of toric toggling into an explicit finite abelian torsor, and the commutativity of successor and co-successor yields a geometric description by torus tilings. The authors emphasize that this framework should extend to other toggle actions, such as distance-\(2\) cycles, toggling noncrossing partitions or order ideals, and certain \(1\)-dimensional cellular automata in which the toggle dynamics corresponds to rule \(1\) (logical NOR).

Taken together, the current literature uses **Oroboro/Ouroboros** for two mathematically distinct closed-loop constructions. In dynamical algebraic combinatorics, it is a toroidal successor orbit and its finite abelian symmetry group. In non-supersymmetric string theory, it is a curled type I′ interval arising from a quotient of M-theory on \(\mathbf{S}^1\vee\mathbf{S}^1\), together with a rule set for recovering E-type and D-type heterotic vacua. The available papers therefore establish the term as a domain-specific technical label rather than a single unified concept.

Source: https://www.emergentmind.com/topics/oroboro