# Moser-Spindel

Die Moser-Spindel ist ein Graph, der nach den Gebrüdern William Oscar Jules und Leo Moser benannt wurde. Es handelt sich dabei um einen ungerichteten Graphen mit sieben Knoten und elf Kanten. Die Moser-Spindel lässt sich als Einheitsdistanz-Graph und als ebener Graph in die Ebene einbetten, ist jedoch kein Streichholzgraph. Eine ihrer Anwendungen ist der Beweis, dass die chromatische Zahl der Ebene größer oder gleich vier ist. Damit erhält man eine untere Schranke für das Hadwiger-Nelson-Problem.
Die Moser-Spindel ist auch unter dem Namen Hajós-Graph (nach György Hajós) bekannt.

## Konstruktion

Die Moser-Spindel lässt sich mit geometrischen Mitteln, oder, alternativ dazu, auch mit rein graphentheoretischen Überlegungen konstruieren.
Ausgangspunkt für die geometrische Konstruktion ist ein gleichseitiges Dreieck der Kantenlänge eins, welches an einer seiner Seiten gespiegelt wird. Die entstandene Figur ist eine Raute mit den Innenwinkeln 60° und 120°. Zwei solcher Rauten werden nun so in der Ebene positioniert, dass sie sich einen spitzwinkligen Eckpunkt teilen und die beiden jeweils gegenüberliegenden Ecken voneinander den Einheitsabstand haben. Die elf Kanten des Graphen entsprechen den Seiten der gleichseitigen Dreiecken und der Strecke zwischen den beiden spitzwinkligen Ecken der Rauten.
Rein graphentheoretisch lässt sich die Moser-Spindel mittels der Hajós-Konstruktion, ausgehend von zwei vollständigen Graphen K4 konstruieren. Bei dieser Konstruktion wird von beiden Graphen jeweils eine Kante entfernt. Von den jeweiligen Endpunkten dieser entfernten Kante wird ein Paar zusammengelegt und das andere Paar mit einer neuen Kante verbunden.

## Anwendung auf das Hadwiger–Nelson-Problem

Das Hadwiger-Nelson-Problem untersucht die minimal benötigte Anzahl an Farben, um eine Ebene derart einzufärben, dass jeweils zwei Punkte mit Einheitsabstand unterschiedliche Farben besitzen. Gesucht ist also die chromatische Zahl jenes Einheitsdistanz-Graphen, dessen Knoten alle Punkte der Ebene sind. Die Moser-Spindel ist ein Teilgraph jenes Graphen. Daraus folgt, dass man für die Färbung der Ebene mindestens so viele Farben benötigt wie zur Färbung der Moser-Spindel.
Es kann gezeigt werden, dass die chromatische Zahl der Moser-Spindel vier beträgt: Da die Moser-Spindel Dreiecke beinhaltet, sind mindestens drei Farben notwendig. Nimmt man an, dass bereits drei Farben ausreichen, dann haben der Knoten, den sich beide Rauten teilen, sowie die beiden jeweils gegenüberliegenden Eckpunkte der Rauten dieselbe Farbe. Dies führt zu einem Widerspruch. Vier Farben reichen jedoch aus, um die Moser-Spindel einzufärben.
Vier ist damit eine untere Schranke für die chromatische Zahl der Ebene.
Der Satz von de Bruijn–Erdős besagt, dass unter der Voraussetzung des Auswahlaxioms die chromatische Zahl eines unendlichen Graphen gleich der größten chromatischen Zahl eines endlichen Teilgraphen ist. Bis 2018 war kein endlicher Teilgraph bekannt, der mehr Farben als die Moser-Spindel benötigt. Die beste bekannte obere Schranke für das Hadwiger–Nelson-Problem beträgt sieben.

## Weitere Eigenschaften

Die Moser-Spindel ist ein Laman-Graph, das heißt, sie ist ein minimaler starrer Graph in der Ebene.
Der zu der Moser-Spindel komplementäre Graph ist ein dreiecksfreier Graph. Daraus folgt, dass unter drei Knoten der Moser-Spindel (betrachtet als Einheitsdistanz-Graph) immer mindestens ein Knotenpaar ist, das voneinander Einheitsabstand hat.
Beim Hinzufügen von weiteren Kanten geht stets die Einheitsdistanz-Eigenschaft verloren. Außerdem gibt es keinen Graphenhomomorphismus, der die Moser-Spindel auf einen kleineren Einheitsdistanz-Graph abbildet. Diese beiden Eigenschaften wurden von Horvat, Kratochvíl und Pisanski verwendet, um zu beweisen, dass das Testen, ob ein gegebener Graph eine Einbettung als Einheitsdistanz-Graph hat, ein NP-schweres Problem ist.
Eine n-dimensionale Verallgemeinerung der Moser-Spindel spielt eine wichtige Rolle bei dem Beweis des Satzes von Beckman und Quarles.