2026/07/29 by Michael von Thaden
Mathematics · Physics and Astronomy · #math.CO #math-ph #math.MP #msc:05A15 #msc:05A19 #msc:82B41
arxiv created 2026/07/29 · arxiv updated 2026/07/31
We give a closed formula for the number pS2(n) of self-avoiding polygons (SAPs) of length n on the strip S2:=ℤ×\0,1,2\, together with closed formulas for those subtypes of SAPs which are determined by the numbers of vertical steps in their leftmost and rightmost columns. For the subtype whose leftmost and rightmost columns each contain two vertical steps, we also derive an alternative representation as a binomial sum. Our derivation is elementary: it is purely combinatorial and geometric and avoids generating functions. Comparing the two representations yields a new geometric proof of an identity arising in Larsen's treatment \citeL07 of a problem posed by Gessel \citeG95. Finally, we show that this subtype of SAPs is closely connected to the sequence A007909. More precisely, for m≥0, the number of these SAPs whose leftmost and rightmost columns each contain two vertical steps and whose length equals 2m+6 is given by the term of this sequence with index m, which thereby acquires a geometric interpretation alongside the compositions it enumerates.