Oroboro: Combinatorics & String Theory

• Oroboro is a term defining dual constructions: closed successor orbits in cycle graph toggling and curled type I′ intervals in string theory.
• In combinatorics, the process yields finite abelian groups through commuting successor and co-successor bijections, leading to toroidal tilings.
• In string theory, the framework reproduces non-supersymmetric heterotic strings while providing insights into global gauge-group structures.

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 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 (Defant et al., 2023). 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 (Altavista et al., 24 Apr 2026). 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 (Defant et al., 2023, Altavista et al., 24 Apr 2026). 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 (Defant et al., 2023). 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$ (Altavista et al., 24 Apr 2026). 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 $\mathbf{S}^1\vee\mathbf{S}^1$0 (Defant et al., 2023). For each position $\mathbf{S}^1\vee\mathbf{S}^1$1, the toggle $\mathbf{S}^1\vee\mathbf{S}^1$2 acts on the set $\mathbf{S}^1\vee\mathbf{S}^1$3 of independent sets by

$\mathbf{S}^1\vee\mathbf{S}^1$4

The global map is the Coxeter element

$\mathbf{S}^1\vee\mathbf{S}^1$5

whose iteration on $\mathbf{S}^1\vee\mathbf{S}^1$6 has finite orbits.

Given $\mathbf{S}^1\vee\mathbf{S}^1$7, one writes $\mathbf{S}^1\vee\mathbf{S}^1$8 and arranges the orbit data into a scroll

$\mathbf{S}^1\vee\mathbf{S}^1$9

with $C_n$0 columns, rows indexed by $C_n$1, and convention

$C_n$2

Reading row by row produces the ticker tape

$C_n$3

Entries equal to $C_n$4 are called live, with

$C_n$5

The local geometry of a live entry is rigid. If $C_n$6, then

$C_n$7

and moreover

$C_n$8

These relations define two bijections on $C_n$9: the successor

$V(C_n)=\mathbb Z_n$0

and the co-successor

$V(C_n)=\mathbb Z_n$1

They commute: $V(C_n)=\mathbb Z_n$2

A snake is an orbit of $V(C_n)=\mathbb Z_n$3, and a co-snake is an orbit of $V(C_n)=\mathbb Z_n$4. Passing to the universal cover $V(C_n)=\mathbb Z_n$5, the lifted generators $V(C_n)=\mathbb Z_n$6 yield the affine snake group

$V(C_n)=\mathbb Z_n$7

acting simply transitively on $V(C_n)=\mathbb Z_n$8. Thus $V(C_n)=\mathbb Z_n$9 is a torsor for $\{i,i+1\}$0. On the cylinder, if $\{i,i+1\}$1 has $\{i,i+1\}$2 snakes and $\{i,i+1\}$3 co-snakes, then

$\{i,i+1\}$4

and $\{i,i+1\}$5 is again a simply transitive $\{i,i+1\}$6-set.

3. Orbit tables, ouroboros groups, and torus tilings

The finite combinatorial ouroboros emerges after quotienting the scroll vertically. If the scroll period is $\{i,i+1\}$7 and $\{i,i+1\}$8 for a positive integer $\{i,i+1\}$9, the $\{n,1\}$0-fold orbit table $\{n,1\}$1 is the $\{n,1\}$2 table of rows

$\{n,1\}$3

Topologically, this turns the cylinder into a torus. The live set is

$\{n,1\}$4

and the successor and co-successor descend to commuting bijections $\{n,1\}$5 and $\{n,1\}$6 on $\{n,1\}$7 (Defant et al., 2023).

An ouroboros is an orbit of $\{n,1\}$8, and a co-ouroboros is an orbit of $\{n,1\}$9. The associated ouroboros group

$C_n$0

has presentation

$C_n$1

where $C_n$2, and

$C_n$3

The action on $C_n$4 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

$C_n$5

and the co-ouroboros degree

$C_n$6

Because the generators commute, the live entries admit a geometric interpretation as a Cayley graph tiled by parallelograms. The Parallelogram Lemma identifies the small $C_n$7-cycles arising from $C_n$8 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 $C_n$9 satisfying

$(v_1,\dots,v_n)\in\{0,1\}^n$0

and conversely any feasible pair yields a ticker tape and hence a scroll. It also proves that if $(v_1,\dots,v_n)\in\{0,1\}^n$1 is the period of the column-sum vector $(v_1,\dots,v_n)\in\{0,1\}^n$2, then $(v_1,\dots,v_n)\in\{0,1\}^n$3, and in fact $(v_1,\dots,v_n)\in\{0,1\}^n$4 is always odd. Moreover, for any odd $(v_1,\dots,v_n)\in\{0,1\}^n$5 and any integer $(v_1,\dots,v_n)\in\{0,1\}^n$6, there exists a scroll on $(v_1,\dots,v_n)\in\{0,1\}^n$7 vertices whose sum vector has period $(v_1,\dots,v_n)\in\{0,1\}^n$8. 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 $(v_1,\dots,v_n)\in\{0,1\}^n$9-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

$1$0

yields ten-dimensional non-supersymmetric string theories (Altavista et al., 24 Apr 2026). Topologically, $1$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 $1$2-dimensional fields. The two basic classes of boundary conditions are the Disconnected Resolution Property (DRP) and the Strong Smoothness Property (SSP).

The relevant $1$3 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 $1$4 and shrinking it, one obtains type IIA and then a type I′ interpretation: an interval $1$5 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 $1$6 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 $1$7 to a diagonal $1$8 realized at level $1$9.

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 $v_n$0 coincident D8-branes, the local $v_n$1-dimensional D4-probe theory has

$v_n$2

For $v_n$3, this permits a strong-coupling point with enhanced $v_n$4 symmetry; the paper repeatedly uses the cases $v_n$5 for $v_n$6 and $v_n$7 for $v_n$8 (Altavista et al., 24 Apr 2026).

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 $v_n$9 appearing in both families.

Family	Gauge groups reproduced
E-type	$\mathbf{S}^1\vee\mathbf{S}^1$00, $\mathbf{S}^1\vee\mathbf{S}^1$01, $\mathbf{S}^1\vee\mathbf{S}^1$02, $\mathbf{S}^1\vee\mathbf{S}^1$03
D-type	$\mathbf{S}^1\vee\mathbf{S}^1$04, $\mathbf{S}^1\vee\mathbf{S}^1$05, $\mathbf{S}^1\vee\mathbf{S}^1$06, $\mathbf{S}^1\vee\mathbf{S}^1$07

For the E-type family, the paper gives explicit capacitor realizations. Variant $\mathbf{S}^1\vee\mathbf{S}^1$08 yields $\mathbf{S}^1\vee\mathbf{S}^1$09; variant $\mathbf{S}^1\vee\mathbf{S}^1$10 yields $\mathbf{S}^1\vee\mathbf{S}^1$11; variant $\mathbf{S}^1\vee\mathbf{S}^1$12 yields $\mathbf{S}^1\vee\mathbf{S}^1$13; and variant $\mathbf{S}^1\vee\mathbf{S}^1$14 yields $\mathbf{S}^1\vee\mathbf{S}^1$15. 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 $\mathbf{S}^1\vee\mathbf{S}^1$16.

For the D-type family, the rules differ. The D-limit combines boundary $\mathbf{S}^1\vee\mathbf{S}^1$17 factors according to

$\mathbf{S}^1\vee\mathbf{S}^1$18

unless both boundaries are glued, and combines $\mathbf{S}^1\vee\mathbf{S}^1$19 and $\mathbf{S}^1\vee\mathbf{S}^1$20 factors from identification points into

$\mathbf{S}^1\vee\mathbf{S}^1$21

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 $\mathbf{S}^1\vee\mathbf{S}^1$22, $\mathbf{S}^1\vee\mathbf{S}^1$23, and $\mathbf{S}^1\vee\mathbf{S}^1$24, while $\mathbf{S}^1\vee\mathbf{S}^1$25 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 (Altavista et al., 24 Apr 2026). The list quoted in the paper is

$\mathbf{S}^1\vee\mathbf{S}^1$26

These identifications are tied to the presence or absence of spinor representations, the action of the quantum superposition $\mathbf{S}^1\vee\mathbf{S}^1$27, 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 $\mathbf{S}^1\vee\mathbf{S}^1$28 or $\mathbf{S}^1\vee\mathbf{S}^1$29 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-$\mathbf{S}^1\vee\mathbf{S}^1$30 cycles, toggling noncrossing partitions or order ideals, and certain $\mathbf{S}^1\vee\mathbf{S}^1$31-dimensional cellular automata in which the toggle dynamics corresponds to rule $\mathbf{S}^1\vee\mathbf{S}^1$32 (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$33, 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.