Condorcets 240 Jahre altes Wahlparadox hat eine Form – eine Klein-Flasche

Die Mathematik hat ein neues Objekt, um eine der ärgerlichsten Eigenschaften der Demokratie zu beschreiben: eine Flasche ohne Innen und Außen.

Drei Forscher haben gezeigt, dass das Condorcet-Paradox – jene 240 Jahre alte Beobachtung, dass eine Mehrheit sich in eine logische Schleife wählen kann – die Form einer Klein-Fläche hat. Das berichtet Quanta Magazine. Beteiligt sind Ori Livson, Doktorand an der University of Sydney, sein Betreuer Mikhail Prokopenko und Siddharth Pritam vom Chennai Mathematical Institute. Livson begann im April 2025, die offenen Enden eines 1993 von Yuliy Baryshnikov, heute Professor an der University of Illinois Urbana-Champaign, vorgeschlagenen Modells zu schließen.

Das Problem selbst ist alt. 1785 bemerkte Nicolas de Condorcet, dass bei drei oder mehr Kandidaten jede einzelne Stimme völlig konsistent sein kann und die Summe trotzdem kreist. Ein Drittel ordnet A vor B vor C, ein Drittel B vor C vor A, ein Drittel C vor A vor B. Paarweise verglichen schlägt A den B, B den C und C den A. Niemand gewinnt gegen alle. Kenneth Arrow zeigte 1951, dass kein Verfahren alle naheliegenden demokratischen Anforderungen gleichzeitig erfüllen kann – keine Diktatur, Unabhängigkeit von irrelevanten Alternativen, Pareto-Prinzip. Die Unmöglichkeit ist keine Frage des richtigen Wahlrechts.

1980 bemerkte die Mathematikerin Graciela Chichilnisky in einer Fußnote, Condorcets Paradox sei vielleicht topologisch zu fassen. Genau das ist nun belegt.

Die Konstruktion ist anschaulich. Eine Stimme bei drei Kandidaten ist eine von sechs Reihenfolgen. Jede lässt sich als Dreieck zeichnen, dessen Ecken die drei paarweisen Vergleiche sind. Zwei Reihenfolgen, die zwei Vergleiche teilen, ergeben Dreiecke mit gemeinsamer Kante – man klebt sie zusammen. Tut man das mit allen sechs, entsteht ein Streifen. Dessen Enden passen ebenfalls zusammen, also rollt man ihn zu einem Rohr mit zwei Öffnungen.

Baryshnikov nutzte dieses Rohr für einen neuen topologischen Beweis von Arrows Theorem. Die beiden Ränder des Rohrs ignorierte er. Sie sind die Condorcet-Zyklen: an einem Rand liest man A vor B, B vor C, C vor A; am anderen läuft der Zyklus rückwärts. Livson wollte einen Fall modellieren, in dem solche Zyklen unzulässig sind – anders als bei Schere-Stein-Papier, wo sie die Regel sind.

Beide Ränder sagen dasselbe Unmögliche: Jeder Kandidat steht über jedem anderen. In der Topologie darf man Dinge, die dasselbe aussagen, verkleben. Der naheliegende Weg – das Rohr zum Torus biegen – scheitert jedoch, weil dabei Kanten verbunden werden, die unvereinbare Aussagen tragen: „B vor A vor C“ würde an „B vor C vor A“ geklebt. Genau diese Naht erzeugt den Widerspruch, den das Modell vermeiden soll.

Die Lösung ist eine Drehung. Statt die Ränder Punkt für Punkt gleichsinnig zu verbinden, wird die Reihenfolge auf einem Rand umgekehrt. „Das Verkleben mit der Drehung ist die einzig gültige Option“, sagte Livson. Dreht man ein Band und klebt die Enden, entsteht ein Möbiusband. Dreht man ein Rohr, entsteht eine Kleinsche Flasche: eine Fläche mit nur einer Seite, ohne ausgezeichnete Innen- oder Außenseite und ohne Rand. Im dreidimensionalen Raum schneidet sie sich selbst; in vier Dimensionen schließt sie sich sauber.

Die Pointe ist die Analogie, die trägt. Jede einzelne Stimme ist für sich konsistent, doch die Präferenzen der Wählerschaft fügen sich in keine einzige Rangordnung. Und jedes kleine Stück einer Kleinschen Fläche wirkt zweiseitig, doch über die ganze Fläche lässt sich die Seite nicht konsistent bestimmen. Etwas, das Teil für Teil Sinn ergibt, bricht beim Zusammensetzen.

Das wirft die größere Frage auf, die Livson, Pritam und Prokopenko interessiert: Lassen sich auch andere fundamentale Grenzen der Mathematik – Unentscheidbarkeit, Unvollständigkeit – geometrisch fassen, und teilen sie dann eine gemeinsame Erklärung?

Für die Praxis ändert sich wenig. Wer ein Wahlsystem entwirft, wählt weiterhin, welche Anforderung er opfert. Die Mathematik sagt, was der Verzicht kostet. „Es ist keine mathematische Debatte“, sagte Iain McLean von der University of Oxford. „Es ist eine Debatte über Werte.“ Die Flasche zeigt nur, warum sich die Schleife nicht wegdefinieren lässt.