Zu „Die durchschnittliche Höhe gepflanzter Platanen“ von Knuth, de Bruijn und Rice (1972)

15

Ich versuche, das klassische Papier im Titel nur mit elementaren Mitteln (keine Erzeugungsfunktionen, keine komplexe Analyse, keine Fourier-Analyse) abzuleiten , wenn auch mit viel geringerer Genauigkeit. Kurz gesagt, ich möchte "nur" beweisen, dass die durchschnittliche Höhe hn eines Baums mit n Knoten (dh die maximale Anzahl von Knoten von der Wurzel bis zu einem Blatt) h n erfüllthnπn .

AnhhAnh=AnnB n h n h + 1 B n h = A n n - A n h h n = S n / A n n S n S n = Σ h 1 h ( A n h - A n , h - 1 ) = Σ h 1 h ( B nhnBnhnh+1Bnh=AnnAnhhn=Sn/AnnSn

Sn=h1h(AnhAn,h1)=h1h(Bn,h1Bnh)=h0Bnh.
Es ist allgemein bekannt, dass für die Menge der allgemeinen Bäume mit Knoten mit der Menge der binären Bäume mit in Bijektion steht n-1 Knoten, gezählt nach den katalanischen Zahlen. nn-1Ann=1n(2n2n1)nn1

Daher besteht der erste Schritt darin, Bnh und dann den Hauptterm in der asymptotischen Expansion von Sn .

Zu diesem Zeitpunkt verwenden die Autoren die analytische Kombinatorik (drei Seiten), um B_ {n + 1, h-1} = \ sum_ {k \ geqslant 1} \ left [\ binom {2n} {n + 1-kh} - 2 abzuleiten

Bn+1,h1=k1[(2nn+1kh)2(2nnkh)+(2nn1kh)].

Mein eigener Versuch ist wie folgt. Ich betrachte die Bijektion zwischen Bäumen mit n Knoten und monotonen Pfaden auf einem quadratischen Gitter (n1)×(n1) von (0,0) bis (n1,n1) die die Diagonale nicht kreuzen (und bestehen aus zwei Arten von Schritten: und ). Diese Wege werden manchmal als Dyck-Wege oder Exkursionen bezeichnet . Ich kann jetzt Bnh in Gitterpfaden ausdrücken : Es ist die Anzahl der Dyck-Pfade der Länge 2 (n-1) und der Höhe größer oder gleich h . (Hinweis: Ein Baum der Höhe h befindet sich in Bijektion mit einem Dyck-Pfad der Höhe h1 .)

Ohne Verlust der Allgemeinheit gehe ich davon aus, dass sie mit \ uparrow beginnen (also über der Diagonale bleiben). Für jeden Pfad betrachte ich den ersten Schritt, der die Linie y = x + h - 1 kreuzt y=x+h1, falls vorhanden. Von oben bis zum Ursprung ändere ich in und umgekehrt (dies ist eine Reflexion auf der Linie y=x+h ). Es wird deutlich, dass die Pfade, die ich zählen möchte ( Bnh ), im Widerspruch zu den monotonen Pfaden von (h,h) bis (n1,n1) wobei die Grenzen y=x+2h+1 und y=x1 . (Siehe Abbildung .)

In dem klassischen Buch Lattice Path Counting and Applications von Mohanty (1979, Seite 6) lautet die Formel zählt die Anzahl der monotonen Pfade in einem Gitter von bis , die die Grenzen umgehen und , mit und . (Dieses Ergebnis wurde erstmals in den 50er Jahren von russischen Statistikern ermittelt.) Wenn wir einen neuen Ursprung bei , erfüllen wir daher die Bedingungen der Formel: ,

kZ[(m+nmk(t+s))(m+nn+k(t+s)+t)],
(0,0)(m,n)y=xty=x+st>0s>0(h,h)s=1t=2h+1und der Zielpunkt (die obere rechte Ecke) ist jetzt . Dann ist Dies kann vereinfacht werden in was wiederum äquivalent zu Der Unterschied zur erwarteten Formel besteht darin, dass ich statt aller positiven ganzen Zahlen ( ) über die ungeraden Zahlen ( ) summiere .(n+h1,nh1)
Bnh=kZ[(2n2n+h1k(2h+2))(2n2nh1+k(2h+2)+2h+1)].
Bn+1,h1=kZ[(2nn+1(2k+1)h)(2nn(2k+1)h)],
Bn+1,h1=k0[(2nn+1(2k+1)h)2(2nn(2k+1)h)+(2nn1(2k+1)h)].
2k+1k

Irgendeine Idee, wo das Problem liegt?

Christian
quelle
Sie sagen, Sie möchten nur elementare Dinge verwenden, verwenden jedoch ein Ergebnis aus einem Buch. Wie leitet Mohanty die von Ihnen verwendete Identität ab?
Raphael
Ich definiere im ersten Satz, was ich mit "elementar" meine: keine generierenden Funktionen, keine komplexe Analyse, keine Fourier-Analyse. In seinem Buch verwendet Mohanty elementare Mittel, um diese Formel abzuleiten, genauer gesagt, die Prinzipien der Reflexion und des Einschluss-Ausschlusses auf Gitterwegen. (Ich benutze das erstere oben.) Wenn Sie darauf bestehen, werde ich seinen Beweis am Ende der Frage hinzufügen.
Christian
Überhaupt nicht, wollte nur sicherstellen, dass du nicht selbst gegen deine Regel verstößt.
Raphael
Es ist für mich sehr seltsam, "Generierungsfunktionen" als nicht-elementare Technik aufzuführen, wenn analytische Kombinatorik anscheinend als elementar angesehen wird. scheint ein fast von Natur aus nicht elementarer Wert zu sein. Haben Sie zB einen vergleichbaren Beweis für die Asymptotik des zentralen Binomialkoeffizienten, um ein besseres Gefühl dafür zu bekommen, wonach Sie suchen? Ich vermute, die beiden sind eng miteinander verwandt ...π
Steven Stadnicki

Antworten:

2

Die monotonen Pfade von nach , die Sie konstruieren, umgehen nur die Grenze bevor sie zum ersten Mal kreuzen . Daher ist die von Ihnen verwendete Formel nicht anwendbar.(h,h)(n1,n1)y=x+2h+1y=x+h

FrankW
quelle