Dedekind-Zahl

<imagemap> File:Monotone Boolean functions 0,1,2,3.svg|400px|thumb|right|Die freien distributiven Verbände der 0-, 1-, 2- und 3-stelligen, monotonen booleschen Funktionen, mit 2, 3, 6 bzw. 20 Elementen (Eine Mausbewegung über den Knoten des rechten Diagramms zeigt eine Beschreibung)

circle 659 623 30 circle 658 552 35 circle 587 480 35 circle 659 481 35 circle 729 481 35 circle 588 410 35 circle 658 410 35 circle 729 410 35 circle 548 339 30 circle 604 339 30 circle 758 339 30 circle 661 339 35 circle 588 268 35 circle 659 267 35 circle 729 268 35 circle 588 197 35 circle 658 197 35 circle 729 197 35 circle 658 126 35 circle 659 56 30

desc bottom-left </imagemap>

Die Dedekind-Zahlen sind eine schnell wachsende mathematische Folge aus ganzen Zahlen. Sie sind nach Richard Dedekind benannt, der sie 1897 definierte. Die Dedekind-Zahl $M(n)$ zählt die Anzahl der monotonen booleschen Funktionen in $n$ Variablen. Diese ist gleich der Anzahl der Antiketten in der Menge der Teilmengen einer $n$-elementigen Menge, der Anzahl der Elemente eines von $n$ Elementen frei erzeugten distributiven Verbandes oder gleich der Anzahl der abstrakten Simplizialkomplexe mit $n$ Elementen.

Für $M(n)$ kennt man exakte asymptotische Abschätzungen und exakte Ausdrücke in Form von Summationsformeln, aber das Dedekind-Problem, den genauen Wert zu ermitteln, bleibt schwierig. Es gibt bislang keine geschlossene Formel und der genaue Wert von $M(n)$ ist nur für $0\le n\le 9$ bekannt. (Vorlage:OEIS)

Definitionen

Eine n-stellige boolesche Funktion ist eine Funktion, deren Argumente $n$ boolesche Variable sind und deren Werte nur wahr oder falsch sein können, oder anders ausgedrückt, deren Ausgabe wieder eine boolesche Variable ist. Eine solche Funktion heißt monoton, wenn sich der Wert bei Änderung einer Eingangsvariable von falsch zu wahr nicht ändert oder ebenfalls von falsch zu wahr wechselt, aber niemals umgekehrt. Die Dedekind-Zahl $M(n)$ ist definiert als die Anzahl der verschiedenen $n$-stelligen, monotonen booleschen Funktionen.

Eine Antikette von Mengen, manchmal auch Sperner-Familie genannt, ist eine Familie von Mengen, bei der keine in einer anderen enthalten ist. Ist $V$ eine Menge von $n$ booleschen Variablen, so definiert eine Antikette $A$ von Teilmengen von $V$ eine $n$-stellige, monotone booleschen Funktion $f$, wobei der Funktionswert genau dann wahr ist, wenn die Menge der Eingangsvariablen mit Wert wahr ein Element der Antikette $A$ umfasst, und falsch sonst. Umgekehrt definiert jede $n$-stellige, monotone boolesche Funktion $f$ eine Antikette $A$, die aus allen minimalen Teilmengen von $V$ besteht, für die $f$ den Wert wahr annimmt, wenn mindestens die Eingangsvariablen dieser Teilmenge wahr sind. Daher ist die Dedekind-Zahl $M(n)$ gleich der Anzahl der verschiedenen Antiketten in der Potenzmenge einer $n$-elementigen Menge.

Eine dritte äquivalente Beschreibung dieser Anzahl verwendet Verbandstheorie. Für je zwei $n$-stellige, monotone boolesche Funktionen $f$ und $g$ erhält man zwei weitere solche Funktionen, nämlich $f\wedge g$ und $f\vee g$, das heißt deren logische Konjunktion und Adjunktion. Die Menge der $n$-stelligen, monotonen booleschen Funktionen bildet mit diesen Operationen einen distributiven Verband. Es handelt sich um den distributiven Verband, der sich gemäß dem Darstellungssatz von Birkhoff aus der partiell geordneten Menge ergibt, die durch die Teilmengen einer $n$-elementigen Menge mit der Inklusion als Ordnung entsteht. Diese Konstruktion erzeugt den freien distributiven Verband mit $n$ Erzeugenden. Die Dedekind-Zahl $M(n)$ ist also die Anzahl der Elemente des freien distributiven Verbandes mit $n$ Erzeugenden.

Die Dedekind-Zahlen $M(n)$ sind auch (um eins größer als) die Anzahlen der abstrakten Simplizialkomplexe mit $n$ Elementen, das heißt der Familien von Mengen, die mit jeder Menge auch alle Teilmengen enthalten. Jede Antikette bestimmt einen abstrakten Simplizialkomplex, nämlich die Menge der Teilmengen der Antiketten-Elemente, und umgekehrt bilden die maximalen Simplizes eines abstrakten Simplizialkomplexes eine Antikette.

Beispiele

Für $n=2$ gibt es sechs monotone boolesche Funktionen und sechs Antiketten auf der Menge $\{x,y\}$, die einander wie folgt entsprechen:

• Die Funktion $f(x,y)=falsch$, das heißt die Funktion, die unabhängig von den Argumenten stets falsch zurückgibt, gehört zur leeren Antikette $\mathrm{\varnothing }$.
• Die logische Konjunktion $f(x,y)=x\wedge y$ gehört zur Antikette $\{\{x,y\}\}$, die nur aus dem Element $\{x,y\}$ besteht.
• Die Funktion $f(x,y)=x$, das heißt die Projektion auf das erste Argument, entspricht der einelementigen Antikette $\{\{x\}\}$.
• Die Funktion $f(x,y)=y$, das heißt die Projektion auf das zweite Argument, entspricht der einelementigen Antikette $\{\{y\}\}$.
• Die logische Adjunktion $f(x,y)=x\vee y$ gehört zur Antikette $\{\{x\},\{y\}\}$, die aus den beiden Elementen $\{x\}$ und $\{y\}$ besteht.
• Schließlich korrespondiert die konstante Funktion $f(x,y)=wahr$ zur Antikette $\{\mathrm{\varnothing }\}$, deren einziges Element die leere Menge ist.

Werte

Die exakten Werte der Dedekind-Zahlen $M(n)$ sind für $0\le n\le 9$ bekannt (Vorlage:OEIS):

n	M(n)	erstmals berechnet
0	2	Dedekind (1897)
1	3
2	6
3	20
4	168
5	7.581	Church (1940)
6	7.828.354	Ward (1946)
7	2.414.682.040.998	Church (1965), verifiziert von Berman und Köhler (1976)
8	56.130.437.228.687.557.907.788	Wiedemann (1991)
9	286.386.577.668.298.411.128.469.151.667.598.498.812.366	gleichzeitig von Jäkel (2023) und Van Hirtum et al. (2023)

DorFuchs erstveröffentlichte am 31. Oktober 2023 auf YouTube Approximationen von Alex Fihman, der bereits die ersten Stellen von $M(9)$ korrekt vorhergesagt hatte. Fihman berechnete den Wert von $M(10)$ mit verschiedenen Berechnungsmethoden auf zwischen ca. 8,89197 · 10⁷⁸ und 8,93619 · 10⁷⁸.

Ist $n$ gerade, so muss auch $M(n)$ gerade sein. Die Berechnung von $M(5)$ widerlegte die auf Garrett Birkhoff zurückgehende Vermutung, nach der $M(n)$ stets durch $(2n-1)(2n-2)$ teilbar sein sollte.

Summationsformeln

Kisielewicz hat die logische Definition von Antiketten in folgende arithmetische Formel zur Bestimmung der Dedekind-Zahlen übersetzt:

$M(n)=\sum _{k=1}^{2^{2^n}}\prod _{j=1}^{2^n-1}\prod _{i=0}^{j-1}(1-b_i^k{b}_j^k\prod _{m=0}^{{\log }_{2}i}(1-b_m^i+b_m^i{b}_m^j))$

Dabei ist $b_i^k$ das $i$-te Bit der Zahl $k$, was mittels der Abrundungsfunktion $\lfloor .\rfloor$ auch als

$b_i^k=\lfloor \frac{k}{2^i}\rfloor -2\lfloor \frac{k}{2^{i+1}}\rfloor$

geschrieben werden kann. Allerdings ist diese Formel zur Bestimmung von $M(n)$ wegen der hohen Anzahl der Summanden schon für $n=6$ nicht hilfreich.

Asymptotisches Wachstum

Die Logarithmen der Dedekind-Zahlen können durch die Ungleichungen

$(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor })\le {\log }_{2}M(n)\le (\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor })(1+O\left(\frac{\log n}{n}\right))$

abgeschätzt werden. Die linke Ungleichung entsteht durch Abzählen der Antiketten mit genau $\lfloor n/2\rfloor$ Elementen und die rechte Ungleichung wurde von Kleitman und Markowsky bewiesen.

Korshunov erzielte noch genauere Abschätzungen:

$M(n)=(1+o(1))2^{(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor })}\exp a(n)$

für gerade $n$ und

$M(n)=(1+o(1))2^{(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor +1})}\exp (b(n)+c(n))$

für ungerade $n$, wobei

$a(n)=(\genfrac{}{}{0ex}{}{n}{n/2-1})(2^{-n/2}+n^2{2}^{-n-5}-n{2}^{-n-4}),$

$b(n)=(\genfrac{}{}{0ex}{}{n}{(n-3)/2})(2^{-(n+3)/2}+n^2{2}^{-n-6}-n{2}^{-n-3})$

und

$c(n)=(\genfrac{}{}{0ex}{}{n}{(n-1)/2})(2^{-(n+1)/2}+n^2{2}^{-n-4}).$

Die wesentliche Idee hinter diesen Abschätzungen ist, dass die meisten Antiketten nur aus Mengen mit Mächtigkeiten nahe an $\frac{n}{2}$ bestehen.