---
title: 'Stoimenow Matchings: Fishburn Connections'
url: https://www.emergentmind.com/topics/stoimenow-matchings
type: topic
---

# Stoimenow Matchings: Fishburn Connections

Searching arXiv for recent and foundational papers on Stoimenow matchings.
Stoimenow matchings are perfect matchings on the ordered set $[2n]=\{1,2,\dots,2n\}$, drawn as arcs above a line, that avoid *neighbor nestings*: neither a left-nesting nor a right-nesting is permitted. They were introduced by Stoimenow under the name *regular linearized chord diagrams* in connection with bounds for Vassiliev knot invariants, and they have become a standard family of Fishburn objects, in bijection with $(2+2)$-free posets, ascent sequences, Fishburn permutations, and Fishburn matrices. Their enumeration is given by the Fishburn numbers, while several natural subclasses and one-sided relaxations exhibit factorial, Catalan, Fibonacci, and other enumerative regimes [2012.13570] [2509.09115].

## 1. Definition and local structure

A matching on $[2n]$ is a partition into $n$ blocks of size $2$. Writing an arc as $(i,j)$ with $i<j$, the point $i$ is the *opener* and $j$ the *closer*. Two arcs $(i,\ell)$ and $(j,k)$ form a nesting if $i<j<k<\ell$, and they form a crossing if $i<j<k<\ell$ when written instead as $(i,k)$ and $(j,\ell)$ [1003.4728].

The neighbor-restricted versions are the defining local obstructions. A *left-nesting* is a nesting with $j=i+1$, so the openers are consecutive; a *right-nesting* is a nesting with $\ell=k+1$, so the closers are consecutive. Stoimenow matchings are precisely those matchings with no neighbor nestings, meaning no left-nesting and no right-nesting. In the terminology of later work, these are also the matchings avoiding Type I and Type II local configurations [1003.4728] [2509.09115].

This local definition is weaker than global nonnesting. Stoimenow matchings may contain arbitrary crossings and may also contain nestings, provided that the nested pair does not have adjacent openers or adjacent closers. A common misconception is that they coincide with nonnesting matchings; they do not. For example, the fully nested matching $\{(1,6),(2,5),(3,4)\}$ is excluded because it contains neighbor nestings, but many other nested configurations remain admissible [2012.13570].

The local prohibition has a strong structural flavor. It constrains how arcs can be inserted or deleted near adjacent endpoints, which is why Stoimenow matchings sit naturally inside recursive constructions and bijections with other Fishburn families. This suggests that their combinatorics is governed less by global planarity than by finely controlled local adjacency patterns.

## 2. Fishburn enumeration and the web of equivalent structures

Stoimenow matchings are one of the canonical classes counted by the Fishburn numbers. Their ordinary generating function is
\[
\sum_{n\ge 0} F_n t^n
=
\sum_{n\ge 0}\prod_{k=1}^n \bigl(1-(1-t)^k\bigr)
=
1+t+2t^2+5t^3+15t^4+53t^5+217t^6+\cdots,
\]
a form first derived by Zagier for Stoimenow matchings and later situated inside a broader bijective theory [1003.4728] [2509.09115].

The central equivalences place Stoimenow matchings in bijection with four other families:

| Structure | Description |
|---|---|
| $(2+2)$-free posets | Interval orders |
| Ascent sequences | Sequences $x_1,\dots,x_n$ with $x_1=0$ and $0\le x_i \le 1+\mathrm{asc}(x_1,\dots,x_{i-1})$ |
| Fishburn permutations | Permutations avoiding a specific bivincular pattern |
| Fishburn matrices | Upper-triangular matrices with no zero row or column |

These correspondences were established in the Fishburn literature summarized by Claesson–Linusson and later asymptotic work, and they allow statistics, generating functions, and structural decompositions to be transported across very different-looking models [1003.4728] [2012.13570].

For permutations, the relevant forbidden pattern $p$ is the existence of indices $(i,i+1,j)$ with $i+1<j$, $a_i=a_j+1$, and $a_i<a_{i+1}$. For ascent sequences, the defining growth restriction is recursive, but the bijections refine the Fishburn generating function by tracking statistics such as ascents. On the poset side, the equivalent objects are unlabeled $(2+2)$-free posets, or interval orders, characterized by the fact that their predecessor sets are linearly ordered by inclusion [1003.4728].

The significance of this web of equivalences is methodological as much as enumerative. A matching formulation is especially effective for local endpoint restrictions, a poset formulation for order-theoretic characterizations, and a matrix formulation for analytic and asymptotic arguments. Much of the subsequent literature exploits precisely this change of viewpoint.

## 3. One-sided relaxations: left-nesting-free matchings and factorial posets

A decisive extension of the Stoimenow framework is the study of matchings that forbid only left-nestings. Let
\[
N_n=\{M\in M_n : M \text{ has no left-nesting}\}.
\]
Claesson and Linusson proved that these matchings are in bijection with inversion tables of length $n$, that is,
\[
J_n=[0,0]\times[0,1]\times\cdots\times[0,n-1].
\]
Consequently,
\[
|N_n|=|J_n|=n!.
\]
This is Theorem 1 of "n! matchings, n! posets" [1003.4728].

The bijection is constructive. Given an inversion table $w=(a_1,\dots,a_n)$, one adds a new last arc whose closer is $2n$ and places its opener immediately to the left of the $(a_n+1)$-st closer already present, except in the case $a_n=n-1$, where the opener is placed immediately to the left of its own closer. Ordering arcs by increasing closer yields the inverse map: the $j$-th entry counts the number of closers to the left of the opener of the $j$-th arc [1003.4728].

The corresponding poset class is that of *factorial posets*. A naturally labeled poset $P$ on $[n]$ is factorial if
\[
i<j<_{P}k \;\Rightarrow\; i<_{P}k.
\]
Equivalently, for every $k$, the predecessor set has the form
\[
\mathrm{Pred}(k)=[1,a_k]
\]
for some $a_k\in\{0,1,\dots,n-1\}$. These posets are $(2+2)$-free, and they are again in bijection with inversion tables, hence also counted by $n!$ [1003.4728].

This one-sided theory clarifies an important distinction. Forbidding both neighbor nestings yields Fishburn numbers; forbidding only left-nestings yields factorial growth. The comparison is already visible for $n=2$: there are $2!=2$ left-nesting-free matchings on $[4]$, namely $\{(1,2),(3,4)\}$ and $\{(1,3),(2,4)\}$, whereas the nested matching $\{(1,4),(2,3)\}$ is excluded by the left-nesting condition [1003.4728]. A plausible implication is that the right-neighbor condition is the source of the specifically Fishburn, rather than factorial, complexity.

Claesson–Linusson also identified a natural subset of factorial posets satisfying
\[
\mathrm{pred}(i)\le \mathrm{pred}(i+1)\ \text{or}\ \mathrm{succ}(i)>\mathrm{succ}(i+1)
\quad\text{for all }i\in[n-1],
\]
and proved that this subclass is in bijection with unlabeled $(2+2)$-free posets. Thus the Fishburn class appears inside the factorial theory as a canonical labeled subfamily [1003.4728].

## 4. Crossings, matrix encodings, and local dualities

The same paper established several bijections showing that neighbor restrictions on nestings can be translated into corresponding restrictions on crossings. In particular, matchings on $[2n]$ with no left-crossing are also in bijection with inversion tables $J_n$, so they too are counted by $n!$ [1003.4728].

A more global encoding uses upper-triangular integer matrices. For a matching $M$, partition the openers and closers into maximal intervals
\[
O(M)=O_1\sqcup\cdots\sqcup O_k,\qquad
C(M)=C_1\sqcup\cdots\sqcup C_k,
\]
and define a matrix $\upsilon(M)=T=(t_{ij})$ by letting $t_{ij}$ be the number of arcs whose opener lies in $O_i$ and whose closer lies in $C_j$. If $I_n$ denotes the set of upper-triangular matrices with nonnegative entries, no zero row or column, and total sum $n$, then $\upsilon$ is a bijection from matchings with no neighbor nestings onto $I_n$, and also a bijection from matchings with no neighbor crossings onto $I_n$ [1003.4728].

The block behavior is forced by a key lemma: within a fixed opener interval, no-left-nesting implies that arcs must cross pairwise, while no-left-crossing implies that they must nest pairwise; dually, analogous statements hold for closer intervals under right restrictions. This yields invertibility of the matrix map on the restricted classes [1003.4728].

A zero-one subclass $J_{01}\subset I_n$ also appears naturally. Matchings with no left-nestings and no right-crossings correspond bijectively to $J_{01}$, linking mixed local restrictions to a particularly rigid matrix family [1003.4728].

The relation between nesting and crossing restrictions also admits a uniform explanation via Sundaram’s bijection from matchings to oscillating tableaux. Conjugation of partitions induces an involution on matchings that interchanges right-nestings with right-crossings, and likewise left-nestings with left-crossings. This places the three levels of restriction—full, one-sided, and mixed—inside a single symmetric framework [1003.4728].

The matrix perspective became especially influential because Fishburn matrices later supported refined asymptotic analysis. It also clarifies why Stoimenow matchings belong to a broader family of upper-triangular incidence structures, rather than constituting an isolated chord-diagram phenomenon.

## 5. Catalan subclasses and pattern avoidance

Recent work shifted attention from the defining neighbor-nesting condition to additional forbidden submatchings inside Stoimenow matchings. Lv, Kitaev, and Zhang exhibited five specific $4$-arc patterns $P_1,\dots,P_5$ such that avoidance of any one of them yields a Catalan class:
\[
|M_n(P_i)|=C_n
\qquad\text{for all }n\ge 0,\ i=1,\dots,5,
\]
where
\[
C_n=\frac{1}{n+1}\binom{2n}{n},
\qquad
C(t)=\frac{1-\sqrt{1-4t}}{2t}.
\]
For $P_1$, avoidance coincides with nonnesting matchings; for $P_2$, the proof uses a gluing/splitting decomposition that realizes the Catalan recurrence; and for $P_3$–$P_5$, explicit Wilf-equivalences complete the argument [2509.09115].

The same paper introduced four infinite families $P_2^k,P_3^k,P_4^k,P_5^k$ generalizing four of those Catalan patterns and proved
\[
|M_n(P_2^k)|=|M_n(P_3^k)|=|M_n(P_4^k)|=|M_n(P_5^k)|
\qquad\text{for all }k\ge 1,\ n\ge 0.
\]
These equivalences are realized by moving certain consecutive openers within maximal crossing blocks, showing that local pattern movement can preserve global Stoimenow admissibility [2509.09115].

The Catalan subclasses transfer across the Fishburn correspondences. Under the bijection $\Omega$ from Stoimenow matchings to $(2+2)$-free posets, $P_1$-avoiders correspond to $(2+2,3+1)$-free posets, and $P_2$-avoiders correspond to $(2+2,N)$-free posets. Via the classical map from posets to ascent sequences, $P_2$-avoiding Stoimenow matchings correspond to ascent sequences avoiding $101$, and via modified ascent sequences and Burge transpose they correspond to Fishburn permutations avoiding $3142$ [2509.09115].

A later paper completed the simultaneous-avoidance analysis for subsets of $\{P_1,\dots,P_5\}$. The resulting ordinary generating functions fall into nine OEIS sequences. Among the pair classes, for example,
\[
A_{\{P_2,P_4\}}(x)=A_{\{P_2,P_5\}}(x)=A_{\{P_3,P_4\}}(x)=A_{\{P_3,P_5\}}(x)=A_{\{P_4,P_5\}}(x)=\frac{1-2x}{1-3x+x^2},
\]
so the coefficients are $F_{2n-1}$ for $n\ge 1$; the full quintuple-avoidance class has generating function
\[
\frac{1-2x+2x^2+x^3}{(1-x)^3},
\]
hence eventually quadratic growth [2509.12726].

These results show that Stoimenow matchings support a surprisingly rich pattern-avoidance theory internal to the Fishburn world. This suggests that Catalan behavior in the class is not confined to global nonnesting, but can also arise from specific local $4$-arc exclusions.

## 6. Statistics, asymptotics, and current directions

Fishburn-matrix methods have supplied the first asymptotic limit laws for Stoimenow-type statistics. Let $f_n$ be the number of Stoimenow matchings with $n$ arcs. For ordinary Fishburn matrices, and hence for regular linearized chord diagrams, the asymptotic form is
\[
f_n \sim \frac{12\sqrt{3}}{\pi^{5/2}}\, n^{1/2}\,\mu^n\, n!,
\qquad
\mu=\frac{6}{\pi^2}.
\]
This follows from a saddle-point analysis built on positivity-preserving $q$-series transformations due to Andrews and Jelínek [2012.13570].

The same paper proved a central limit theorem for Fishburn-matrix dimension at fixed size. Through the standard equidistribution table, this transfers to the Stoimenow statistic “length of the initial run of openers.” If $L_n$ denotes that statistic for a uniformly random Stoimenow matching of size $n$, then
\[
\frac{(L_n+1)-\mu n}{\sigma\sqrt{n}}
\xrightarrow{d}
\mathscr{N}(0,1),
\qquad
\sigma^2=\frac{3(12-\pi^2)}{\pi^4}.
\]
The same analysis resolved Stoimenow’s conjecture on connected regular linearized chord diagrams: if $g_n$ is the number of connected Stoimenow matchings of size $n$, then
\[
\frac{g_n}{f_n}=e^{-1}\bigl(1+O(n^{-1})\bigr).
\]
Thus a random large Stoimenow matching is connected with asymptotic probability $e^{-1}$ [2012.13570].

On the bijective side, Claesson–Linusson tracked several statistics across factorial posets, inversion tables, permutations, and left-nesting-free matchings. They showed, among other correspondences, that components, minima, and several Mahonian and Eulerian parameters are preserved: $\mathrm{ip}$ on factorial posets corresponds to $\mathrm{inv}$ on permutations and $\mathrm{emb}$ on left-nesting-free matchings; $\mathrm{lev}$, $\mathrm{dent}$, and $\mathrm{int}$ are Eulerianly distributed [1003.4728].

More recent Catalan-subclass work added Narayana and ballot refinements. On the classes $M_n(P_1)$ and $M_n(P_2)$, statistics such as the number of maximal crossings, largest noncrossing size, and the number of irreducible blocks admit refined generating functions matching Narayana polynomials and ballot-number factorizations, and these distributions transport to corresponding statistics on posets, ascent sequences, and Fishburn permutations [2509.09115].

Several problems remain open. Claesson–Linusson conjectured equidistributions linking right-nestings on left-nesting-free matchings with the bivincular pattern $p$ on permutations and with violations of the canonical-labeling condition on factorial posets; these were checked computationally for $n\le 7$ [1003.4728]. In the ascent-sequence setting, the pattern sets $\{0120\}$, $\{0121\}$, and $\{0120,0121\}$ remain unresolved, and the corresponding Stoimenow matching subclasses are therefore also not yet enumerated [2604.06735]. Taken together, these directions indicate that the modern theory of Stoimenow matchings lies at the intersection of local forbidden-configuration theory, Fishburn bijections, and analytic combinatorics, with substantial room for further unification.

Source: https://www.emergentmind.com/topics/stoimenow-matchings