Große Schröder-Zahlen

Die großen Schröder-Zahlen ${\displaystyle S_{n}}$ sind für ${\displaystyle n\in \mathbb {N} _{0}}$ rekursiv durch ${\displaystyle S_{0}=1}$ und

${\displaystyle S_{n}=S_{n-1}+\sum _{k=0}^{n-1}S_{k}\cdot S_{n-k-1}}$

für ${\displaystyle n\geq 1}$ definiert. Sie bilden die Folge

${\displaystyle 1,2,6,22,90,394,1806,8558,\ldots }$   (Folge A006318 in OEIS).

Kleine Schröder-Zahlen

Die kleinen Schröder-Zahlen ${\displaystyle s_{n}}$ werden entsprechend durch ${\displaystyle s_{0}=1}$ und

${\displaystyle s_{n}={\frac {S_{n}}{2}}=-s_{n-1}+2\,\sum _{k=0}^{n-1}s_{k}\cdot s_{n-k-1}}$

für ${\displaystyle n\geq 1}$ definiert. Sie bilden die Folge

${\displaystyle 1,1,3,11,45,197,903,4279,\ldots }$   (Folge A001003 in OEIS).

Nach Plutarch soll diese Zahlenfolge bereits dem griechischen Astronom Hipparchos von Nicäa bekannt gewesen sein, weshalb sie auch Hipparchus-Zahlen oder Schröder-Hipparchus-Zahlen genannt werden. Sie sind eng mit den Catalan-Zahlen verwandt und werden daher auch als Super-Catalan-Zahlen bezeichnet.

Klammerungen

Ernst Schröder betrachtete 1870 das Problem, auf wie viele Weisen es möglich ist, Klammern in eine Summe bestehend aus ${\displaystyle n+1}$ Termen zu setzen. Die Klammern sollen dabei korrekt geschachtelt sein und jeweils mindestens zwei Terme umfassen. Beispielsweise gibt es die folgenden elf solcher Klammerungen von vier Termen:

${\displaystyle {\begin{array}{llllll}a+b+c+d\quad &(a+b)+c+d\quad &a+(b+c)+d\quad &a+b+(c+d)\quad &(a+b+c)+d\quad &a+(b+c+d)\\(a+b)+(c+d)\quad &((a+b)+c)+d\quad &(a+(b+c))+d\quad &a+((b+c)+d)\quad &a+(b+(c+d))\end{array}}}$

Die Anzahl der auf diese Weise möglichen Klammerungen wird gerade durch die kleinen Schröder-Zahlen angegeben. Wenn man Klammern um die ganze Summe herum ebenfalls zulässt, erhält man als Lösung des Problems die großen Schröder-Zahlen. Im Vergleich dazu geben die Catalan-Zahlen die Anzahl der möglichen Klammerungen durch genau ${\displaystyle n-1}$ Klammerpaare an, die jeweils genau zwei Terme umfassen. Diese Klammerungen entsprechen der zweiten Zeile im obigen Beispiel.

Gitterpfade

Die großen Schröder-Zahlen geben auch die Anzahl der möglichen Pfade in einem quadratischen Gitternetz der Kantenlänge ${\displaystyle n}$ unter den folgenden Bedingungen an:

• Jeder Pfad verläuft von der linken unteren Ecke ${\displaystyle (0,0)}$ zur rechten oberen Ecke ${\displaystyle (n,n)}$.
• Ein Schritt darf nur nach rechts ${\displaystyle (+1,0)}$, nach oben ${\displaystyle (0,+1)}$ oder schräg nach rechts oben ${\displaystyle (+1,+1)}$ erfolgen.
• Die Diagonale von links unten nach rechts oben darf nicht überschritten werden.

Solche Pfade werden auch Schröder-Pfade oder Königspfade genannt, da sie den Zugmöglichkeiten des Königs im Schach entsprechen. Die kleinen Schröder-Zahlen entsprechen der Anzahl derjenigen Pfade, bei denen kein Teilstück auf der Diagonale verläuft.

Äquivalent dazu geben die großen Schröder-Zahlen die Anzahl der Pfade in einem Gitternetz der Größe ${\displaystyle 2n\times n}$ an, die folgenden Bedingungen genügen:

• Jeder Pfad verläuft von der linken unteren Ecke ${\displaystyle (0,0)}$ zur rechten unteren Ecke ${\displaystyle (2n,0)}$.
• Ein Schritt darf nur schräg nach rechts oben ${\displaystyle (+1,+1)}$, schräg nach rechts unten ${\displaystyle (+1,-1)}$ oder als Doppelschritt nach rechts ${\displaystyle (2,0)}$ erfolgen.
• Die Null-Linie darf nicht unterschritten werden.

Diese Pfade entstehen durch Drehung, Streckung und Spiegelung der jeweiligen Pfade in dem quadratischen Gitternetz. Ein Doppelschritt entspricht so im quadratischen Gitter einem Diagonalschritt und die beiden schrägen Schritte entsprechen dort den Schritten jeweils nach rechts und nach oben. Die kleinen Schröder-Zahlen charakterisieren auch diejenigen Pfade, die keinen Scheitelpunkt bei ${\displaystyle y=1}$ aufweisen.

Zerlegungen

Die großen Schröder-Zahlen zählen auch die Anzahl der Möglichkeiten, ein regelmäßiges Polygon mit ${\displaystyle n+3}$ Ecken unter den folgenden Bedingungen zu zerlegen:

• Jeder Schnitt verläuft durch zwei nicht benachbarte Ecken.
• Die Schnittlinien dürfen sich an den Ecken berühren aber im Inneren nicht schneiden.
• Eine vorher ausgewählte Ecke darf nicht Endpunkt eines Schnitts sein.

Die kleinen Schröder-Zahlen entsprechen der Anzahl möglicher Zerlegungen eines regelmäßigen ${\displaystyle (n+2)}$-Ecks, bei denen keine Ecke ausgespart wird.

Äquivalent dazu zählen die großen Schröder-Zahlen auch die Anzahl der Möglichkeiten, ein Quadrat der Seitenlänge ${\displaystyle n+1}$ mit ${\displaystyle n}$ Schnitten in ${\displaystyle n+1}$ Rechtecke unter den folgenden Bedingungen zu zerlegen:

• Innerhalb des Quadrats befinden sich die ${\displaystyle n}$ Punkte ${\displaystyle (1,1),\ldots ,(n,n)}$.
• Jeder Schnitt verläuft horizontal oder vertikal durch genau einen dieser Punkte.
• Jeder Schnitt unterteilt nur ein einzelnes Rechteck.

Permutationen

Die großen Schröder-Zahlen zählen auch die Anzahl der geordneten Binärbäume mit ${\displaystyle n+1}$ Blättern, die die folgenden Bedingungen erfüllen:

• Die inneren Knoten sind mit ${\displaystyle +}$ oder ${\displaystyle -}$ bezeichnet.
• Die Blätter bleiben unbezeichnet.
• Der rechte Teilbaum jedes inneren Knotens besitzt ein anderes Vorzeichen als der Knoten selbst.

Jedem solchen Binärbaum entspricht eine separable Permutation der Länge ${\displaystyle n+1}$. Separable Permutationen sind diejenigen Permutationen, die sich durch direkte oder schiefe Summen von trivialen Permutationen darstellen lassen. Sie sind auch diejenigen Permutationen, die die beiden Permutationsmuster ${\displaystyle (2,4,1,3)}$ und ${\displaystyle (3,1,4,2)}$ vermeiden. Die kleinen Schröder-Zahlen geben die Anzahl der Bäume an, bei denen der Wurzelknoten positiv ist.

Kombinatorische Äquivalenz

All diese Konstruktionen sind kombinatorisch äquivalent, das heißt, es gibt eine bijektive Abbildung zwischen jeweils einander entsprechenden Objekten. Jeder Polygonzerlegung kann ein geordneter Baum zugeordnet werden, der dem dualen Graphen der Zerlegung entspricht. Die Flächen der Zerlegung entsprechen den inneren Knoten des Baums und die Seiten des Polygons seinen Blättern. Eine vorher ausgewählte Seite wird dabei der Wurzel des Baums zugeordnet.

Jede Polygonzerlegung entspricht auch einer zulässigen Klammerung einer Summe von Termen. Hierzu werden die Seiten des Polygons der Reihe nach den einzelnen Termen zugeordnet, wobei eine vorher ausgewählte Seite wiederum ausgelassen wird. Jede Ecke des Polygons entspricht dann einer Stelle, an der eine Klammer gesetzt werden kann und jede Schnittlinie genau einem Klammerpaar.

Alle Konstruktionen, die durch die großen Schröder-Zahlen aufgezählt werden, weisen eine grundlegende Symmetrie auf. Ihre Objekte fallen in zwei disjunkte Klassen, die gleich mächtig sind und jeweils durch die kleinen Schröder-Zahlen aufgezählt werden.

Rekurrenzen

Dreieck der Zahlen S_n,k

${\displaystyle {}_{n}\!\diagdown \!\!{}^{k}}$	0	1	2	3	4	5	Summe
0	1						1
1	1	2					3
2	1	4	6				11
3	1	6	16	22			45
4	1	8	30	68	90		197
5	1	10	48	146	304	394	903

Eine lineare Differenzengleichung zweiter Ordnung ist für die großen Schröder-Zahlen durch

${\displaystyle (n+1)S_{n}=(6n-3)S_{n-1}-(n-2)S_{n-2}}$

gegeben. Betrachtet man die Zahlen ${\displaystyle S_{n,k}}$, die der linearen Rekurrenz

${\displaystyle S_{n,k}=S_{n,k-1}+S_{n-1,k}+S_{n-1,k-1}}$   (Folge A033877 in OEIS)

genügen, wobei ${\displaystyle S_{n,0}=1}$ und ${\displaystyle S_{n,k}=0}$ für ${\displaystyle k>n}$ gesetzt werden, dann ergeben sich die großen Schröder-Zahlen auf der Diagonalen, also

${\displaystyle S_{n}=S_{n,n}}$.

Die kleinen Schröder-Zahlen erfüllen entsprechend die lineare Differenzengleichung

${\displaystyle ns_{n}=(6n-9)s_{n-1}-(n-3)s_{n-2}}$.

Sie ergeben sich für ${\displaystyle n>0}$ als Summe

${\displaystyle s_{n}=\sum _{k=1}^{n-1}S_{n-1,k}}$.

Explizite Formeln

Die großen Schröder-Zahlen besitzen die expliziten Darstellungen

${\displaystyle S_{n}=2\,_{2}F_{1}(-n+1,n+2;2;-1)}$,

wobei ${\displaystyle _{2}F_{1}}$ die gaußsche hypergeometrische Funktion ist,

${\displaystyle S_{n}=-{\frac {1}{2}}\,C_{n+1}^{(-1/2)}(3)}$,

wobei ${\displaystyle n>1}$ und ${\displaystyle C_{n}^{(k)}}$ ein Gegenbauer-Polynom vom Grad ${\displaystyle n}$ ist, und

${\displaystyle S_{n}={\frac {1}{2}}\left(-P_{n-1}(3)+6P_{n}(3)-P_{n+1}(3)\right)}$,

wobei ${\displaystyle P_{n}}$ das Legendre-Polynom vom Grad ${\displaystyle n}$ ist.

Erzeugende Funktionen

Die erzeugende Funktion der großen Schröder-Zahlen ist

${\displaystyle G(x)=\sum _{n=0}^{\infty }S_{n}x^{n}={\frac {1-x-{\sqrt {1-6x+x^{2}}}}{2x}}}$

und die der kleinen Schröder-Zahlen entsprechend

${\displaystyle g(x)=\sum _{n=0}^{\infty }s_{n}x^{n}={\frac {1+x-{\sqrt {1-6x+x^{2}}}}{4x}}}$

Die erzeugenden Funktionen erfüllen die Identitäten

${\displaystyle (1-x)G(x)-xG(x)^{2}=1}$

sowie

${\displaystyle (1+x)g(x)-2g(x)^{2}=x}$.