English

Linear chord diagrams on two intervals

Combinatorics 2010-10-29 v1

Abstract

Consider all possible ways of attaching disjoint chords to two ordered and oriented disjoint intervals so as to produce a connected graph. Taking the intervals to lie in the real axis with the induced orientation and the chords to lie in the upper half plane canonically determines a corresponding fatgraph which has some associated genus g0g\geq 0, and we consider the natural generating function Cg[2](z)=n0cg[2](n)zn{\bf C}_g^{[2]}(z)=\sum_{n\geq 0} {\bf c}^{[2]}_g(n)z^n for the number cg[2](n){\bf c}^{[2]}_g(n) of distinct such chord diagrams of fixed genus g0g\geq 0 with a given number n0n\geq 0 of chords. We prove here the surprising fact that Cg[2](z)=z2g+1Rg[2](z)/(14z)3g+2{\bf C}^{[2]}_g(z)=z^{2g+1} R_g^{[2]}(z)/(1-4z)^{3g+2} is a rational function, for g0g\geq 0, where the polynomial Rg[2](z)R^{[2]}_g(z) with degree at most gg has integer coefficients and satisfies Rg[2](14)0R_g^{[2]}({1\over 4})\neq 0. Earlier work had already determined that the analogous generating function Cg(z)=z2gRg(z)/(14z)3g12{\bf C}_g(z)=z^{2g}R_g(z)/(1-4z)^{3g-{1\over 2}} for chords attached to a single interval is algebraic, for g1g\geq 1, where the polynomial Rg(z)R_g(z) with degree at most g1g-1 has integer coefficients and satisfies Rg(1/4)0R_g(1/4)\neq 0 in analogy to the generating function C0(z){\bf C}_0(z) for the Catalan numbers. The new results here on Cg[2](z){\bf C}_g^{[2]}(z) rely on this earlier work, and indeed, we find that Rg[2](z)=Rg+1(z)zg1=1gRg1(z)Rg+1g1(z)R_g^{[2]}(z)=R_{g+1}(z) -z\sum_{g_1=1}^g R_{g_1}(z) R_{g+1-g_1}(z), for g1g\geq 1.

Keywords

Cite

@article{arxiv.1010.5857,
  title  = {Linear chord diagrams on two intervals},
  author = {Jørgen E. Andersen and Robert C. Penner and Christian M. Reidys and Rita R. Wang},
  journal= {arXiv preprint arXiv:1010.5857},
  year   = {2010}
}

Comments

19 pages, 4 figures

R2 v1 2026-06-21T16:35:20.072Z