---
title: Annular Non-Crossing Double-Line Diagrams
url: https://www.emergentmind.com/topics/non-crossing-double-line-diagrams
type: topic
---

# Annular Non-Crossing Double-Line Diagrams

Non-crossing double-line diagrams are annular planar configurations in which ribbon-like, or “double-line,” edges can be reduced to non-intersecting arcs without losing the underlying combinatorics. In the annular framework of "Annular Non-Crossing Matchings" [1508.01712], each double-line edge is represented by two parallel arcs in the annulus, one on the outer boundary and one on the inner boundary, joined by short cross-cuts; contracting each such pair yields an annular non-crossing matching, while fattening each matching arc back to a narrow ribbon recovers a double-line graph. A distinct but related annular formalism, developed for affine Coxeter groups of types $\tilde B$ and $\tilde D$, studies symmetric noncrossing partitions of an annulus with one or two double points and uses planar annular diagrams to model intervals in absolute order [2312.17331].

## 1. Annular matchings as the combinatorial core

An annular non-crossing matching is defined on two concentric circles in the plane, denoted $S^1_{\rm out}$ and $S^1_{\rm in}$. One chooses $n$ distinct exterior points on $S^1_{\rm out}$ and $m$ distinct interior points on $S^1_{\rm in}$, with $n+m$ even, and considers a collection of $\tfrac{n+m}{2}$ smooth, non-intersecting arcs in the annular region joining the marked boundary points in pairs. An arc joining two points on $S^1_{\rm out}$ is an external half-circle; an arc joining two points on $S^1_{\rm in}$ is an internal half-circle; and an arc joining one boundary to the other is a cross-cut. If there are exactly $k$ cross-cuts, the matching lies in $Ann_k(n,m)$, and
\[
Ann(n,m)=\bigsqcup_{k\ge 0} Ann_k(n,m),\qquad
Ann(N)=\{\,M\in Ann(n,m): n+m=N\}.
\]
Two matchings are equivalent if they are ambiently isotopic in the annulus, with endpoints allowed to slide along the same boundary circle, but without rotation of an entire boundary or passage of arcs through the hole; reflections that cannot be realized by isotopy are distinct [1508.01712].

This definition generalizes both linear non-crossing matchings in the half-plane and circular non-crossing matchings. The annulus introduces a second boundary component and therefore a genuine distinction between boundary-preserving half-circles and boundary-bridging cross-cuts. A common simplification is to regard annular non-crossing objects as merely disk diagrams with a hole removed; the annular definition is stricter, because isotopy is taken relative to the boundary structure and the hole cannot be crossed.

## 2. Double-line interpretation and planarity on the annulus

In physics, double-line diagrams are often drawn on an annulus to encode perturbative expansions in matrix models. In this representation, each double-line edge may be thought of as two parallel arcs in the annulus, one on the outer boundary and one on the inner boundary, joined by short cross-cuts. Contracting each pair of parallel arcs to a single arc produces exactly an annular non-crossing matching. Conversely, given a matching in $Ann(n,m)$, one may fatten each arc to a narrow ribbon and regard it as the projection of a double-line graph on the annulus. Under this correspondence, non-crossing is equivalent to the usual planarity of the ribbon graph on the annular surface [1508.01712].

This correspondence isolates the combinatorial skeleton of annular ribbon graphs. It also clarifies that “non-crossing” in the double-line setting is not a statement about individual centerlines alone, but about the planar embeddability of the associated ribbon structure. A plausible implication is that enumeration of annular non-crossing matchings provides a direct counting framework for annular sectors of double-line expansions in which planarity is the primary constraint.

## 3. Exact enumeration and the Catalan-type regime

The counting problem for annular non-crossing matchings admits a closed form obtained via Burnside’s Lemma. After separating the cases $k>0$ and $k=0$ and summing over the number of cross-cuts, one obtains the compact formula
\[
\lvert Ann(n,m)\rvert
=
\frac{1}{2(n+m)}
\sum_{d\mid \gcd(n,m)}
\phi(d)\binom{2(n+m)/d}{(n+m)/d},
\]
where $\phi$ is Euler’s totient. The enumeration is symmetric,
\[
\lvert Ann(n,m)\rvert=\lvert Ann(m,n)\rvert,
\]
and satisfies the parity constraint $\lvert Ann(n,m)\rvert=0$ unless $n+m$ is even. When one boundary carries no cross-cuts,
\[
\lvert Ann_0(2n,2m)\rvert
=
\lvert Ann(2n,0)\rvert\,\times\,\lvert Ann(2m,0)\rvert.
\]
In the one-boundary specialization,
\[
\lvert Ann(n,0)\rvert = C_{n/2}\qquad (\text{with }n\text{ even}),
\]
so in particular $\lvert Ann(2k,0)\rvert=C_k$, where $C_k=\frac{1}{k+1}\binom{2k}{k}$ [1508.01712].

These formulas realize $\lvert Ann(n,m)\rvert$ as a one-parameter generalization of Catalan-type enumeration. Small values reflect the same parity structure and symmetry: for example, $\lvert Ann(0,0)\rvert=1$, $\lvert Ann(2,2)\rvert=2$, $\lvert Ann(4,2)\rvert=3$, and $\lvert Ann(4,4)\rvert=7$. The factorization for $k=0$ shows that the genuinely annular interaction arises from cross-cuts; when cross-cuts are absent, the two boundaries decouple into independent Catalan counts.

## 4. Generating functions and asymptotic growth

The bivariate ordinary generating function is
\[
G(x,y)=\sum_{n,m\ge 0}\lvert Ann(n,m)\rvert x^n y^m.
\]
A closed form is
\[
G(x,y)
=
\frac12
\sum_{d\ge 1}\frac{\phi(d)}{d}
\bigl((x^d+y^d)H(x^d,y^d)\bigr)^{2/d},
\]
where
\[
H(u,v)=\frac{1}{1-(u+v)}\cdot
\sqrt{\,1-4\,\frac{uv}{(1-(u+v))^2}\,}-1.
\]
The intermediate function $H(u,v)$ is the generating function of the sequence $\tfrac12\binom{2(n+m)}{n}$. The diagonal generating function $\sum_N \lvert Ann(N)\rvert z^N$ is obtained by setting $x=y=z$ [1508.01712].

The leading $d=1$ term of the Burnside sum governs the asymptotics. For large $N=n+m$,
\[
\lvert Ann(n,m)\rvert
\sim
\frac{1}{2N}\binom{2N}{N}
\sim
\frac{4^N}{2N\sqrt{\pi\,N}},
\qquad N\to\infty.
\]
For the total number
\[
\lvert Ann(N)\rvert=\sum_{n+m=N}\lvert Ann(n,m)\rvert,
\]
one has
\[
\lvert Ann(N)\rvert
\sim
\frac{4^N}{2\sqrt{\pi}\,N^{3/2}}.
\]
Combinatorially, this matches the usual $4^N/N^{3/2}$ growth of non-crossing matchings, now distributed across all boundary partitions $n+m=N$. A simple linear recurrence can be extracted from the generating function via binomial expansions in the Burnside sum, but no compact small-order linear recurrence is known.

## 5. Bijections with planar graphs and binary necklaces

Several subclasses of annular non-crossing matchings admit direct bijections to other combinatorial objects. The class $Ann_0(2n,0)$ is exactly the class of unrooted planar trees with $n+1$ vertices and one distinguished root-region. More generally, for $k>0$, the set $Ann_k(2n+k,2m+k)$ is in bijection with connected planar graphs having exactly one simple $k$-cycle, together with $n$ chords inside and $m$ chords outside that cycle. In the maximal-cross-cut case $m=0$,
\[
\lvert Ann_k(2n+k,k)\rvert = N_2(n+k,n),
\]
where $N_2(a,b)$ is the number of binary necklaces with $a$ black beads and $b$ white beads. The bijection sends each white endpoint of an external half-circle to a white bead and each black endpoint, either of an external half-circle or of a cross-cut, to a black bead; rotational equivalence of necklaces matches the rotational isotopy of the annular matching [1508.01712].

These bijections locate annular double-line combinatorics within familiar enumerative regimes. The planar-graph interpretation makes the role of cross-cuts especially transparent: they generate the unique simple cycle that separates the inside and outside chord systems. The necklace interpretation packages a highly constrained annular boundary pattern into a cyclic word, which is often more convenient for closed counting formulas.

## 6. Symmetric annular diagrams with double points

A related annular theory replaces pairwise matchings by symmetric noncrossing partitions on an oriented topological annulus $A$ with one or two distinguished double points. In type $\tilde B$, one fixes $n\ge 4$ and places $n-2$ equally spaced numbered points on each boundary together with a single double point $\pm d$ carrying labels $\{+d,-d\}$. In type $\tilde D$, one fixes $n\ge 5$, places $n-3$ numbered points on each boundary, and introduces two double points on each boundary. The annulus is equipped with the involution $\phi$ given by rotation through $180^\circ$. A symmetric noncrossing partition $\Pi$ is a collection of disjoint embedded blocks, each of which is a trivial block, a curve block, a disk block, or an annular block; at most two annular blocks are allowed, every numbered point lies in some block, and $\phi$ permutes the blocks. The noncrossing condition forbids intersections of arcs, or of their $\phi$-images, in the interior of $A$ [2312.17331].

The resulting poset is graded of rank $n-1$, with rank function
\[
\operatorname{rank}(\Pi)
=
(n-1)-[\#\text{ of symmetric pairs of non-annular blocks}]
+[\#\text{ of symmetric annular blocks}].
\]
For affine Coxeter groups of type $\tilde B_{n-1}$ and $\tilde D_{n-1}$, the interval $[1,c]_T$ in absolute order is isomorphic to the subposet of symmetric noncrossing partitions with no dangling annular blocks, while the larger interval $[1,c]_{T\cup L}$ corresponds to all symmetric noncrossing partitions. The map $\Pi\mapsto \mathrm{perm}(\Pi)$ reads off a permutation by traversing the boundaries of disk-blocks, arc-blocks, and symmetric annular blocks, and by recording the tiny cycle $(d,-d)_{2n}$ when a double point lies in the interior. Enumeration is also explicit: if $B_n$ counts type-$\tilde B$ partitions, then
\[
B_n=B_{n-1}+2\sum_{k=1}^{n-2}B_k B_{n-1-k},\qquad
B_2=1,\;B_3=2,
\]
with generating function $B(x)=x+2B(x)^2/(1-B(x))$ and closed form
\[
B_n=\binom{2n-2}{n-1}.
\]
If $D_n$ counts type-$\tilde D$ partitions, then
\[
D_n=D_{n-1}+3\sum_{k=1}^{n-3}D_k D_{n-2-k},\qquad
D_3=1,\;D_4=3,
\]
with generating function $D(x)=x+3xD(x)^2/(1-D(x))$ and closed form
\[
D_n=\frac{1}{n-1}\binom{3n-6}{n-3}.
\]
Alternatively, $D_n$ counts plane ternary trees with $2n-6$ leaves. The lattice-theoretic refinement adds factored translations to restore the lattice property: in affine types $B$ and $D$, the interval $[1,c]_T$ fails to be a lattice only because certain translations have length $2$ and must be factored, and adjoining the factored translations yields a finite lattice $[1,c]_{T\cup L\cup F}$ [2312.17331].

This second theory is not identical to annular non-crossing matchings, but it belongs to the same annular planar lineage. The matching model encodes pairings of boundary points and their double-line realizations; the double-point model encodes symmetric block decompositions, affine permutations, and Garside-type lattice structure. Together they show that annular noncrossing geometry supports both exact enumerative formulas and algebraic realizations of affine Coxeter combinatorics.

Source: https://www.emergentmind.com/topics/non-crossing-double-line-diagrams