On Base , Normal and Near-normal Sequences

In der stillen, abstrakten Welt der kombinatorischen Mathematik suchen Forscher oft nach Mustern, die in einfachen Zahlenlisten verborgen sind. Stellen Sie sich eine lange Reihe von Schaltern vor, die jeweils auf „an“ oder „aus“ eingestellt sind. Wenn Sie zwei solcher Reihen nehmen und sie miteinander vergleichen, indem Sie die eine an der anderen vorbeischieben, können Sie messen, wie sehr sie an jeder Stelle übereinstimmen oder kollidieren. Diese Messung wird als Autokorrelation bezeichnet. Seit Jahrzehnten fasziniert Mathematiker ein spezielles Rätsel: Kann man vier dieser Schalterreihen finden, die in zwei Paaren unterschiedlicher Länge angeordnet sind, sodass man, wenn man sie aneinander vorbeischiebt und alle ihre Übereinstimmungen und Kollisionen zusammenzählt, das gesamte Rauschen überall bis auf den ganz am Anfang perfekt auf Null ausgleicht? Dies ist die Suche nach „Basissequenzen“.

Diese Sequenzen sind nicht nur ein Zahlenspiel; sie sind die verborgenen Blaupausen für den Bau einer speziellen Art von quadratischem Gitter, das als Hadamard-Matrix bekannt ist. Diese Gitter sind unverzichtbare Werkzeuge in der Technik und Physik, da sie Signale erzeugen, die durch verrauschte Umgebungen reisen können, ohne verzerrt zu werden – vergleichbar damit, wie eine klare Stimme durch einen belebten Raum dringt. Je größer das Gitter, desto leistungsfähiger das Signal, aber die Suche nach der richtigen Anordnung dieser Schalterreihen, um diese Gitter zu bauen, wird mit zunehmender Größe exponentiell schwieriger. Jahrelang hatten Mathematiker eine starke Vermutung, eine Konjektur, dass diese perfekten Anordnungen für jede mögliche Größe gefunden werden können, aber sie konnten dies nur für Größen bis zu einem gewissen Punkt beweisen.

Ein Team von Forschern der Nanjing University of Information Science and Technology hat nun die Grenzen dieser Suche weiter als je zuvor verschoben. Sie entwickelten eine neue, hocheffiziente Methode, um die Milliarden von möglichen Kombinationen dieser Schalterreihen zu durchsieben. Anstatt zu versuchen, alle vier Reihen gleichzeitig zu erraten, baut ihr Algorithmus zuerst Paare von Reihen auf, die zusammenpassen, und sucht dann nach den verbleibenden zwei, um den Satz zu vervollständigen. Mit diesem Ansatz gelang es ihnen, diese perfekten Sequenzen für die Größen 41, 42 und 43 zum ersten Mal in der Geschichte zu konstruieren. Dieser Erfolg bestätigt, dass die langjährige Vermutung über die Existenz dieser Sequenzen für alle Größen bis 43 zutrifft und erweitert das bekannte Territorium dieser mathematischen Strukturen.

Die Geschichte nimmt jedoch eine überraschende Wendung, als die Forscher auf zwei spezifische, strengere Versionen dieser Sequenzen blickten, die als „nahezu normale“ (near-normal) Sequenzen bekannt sind. Für diese gab es eine ähnliche Annahme, dass sie für jede gerade Zahl zu finden seien. Das Team führte eine erschöpfende Computersuche durch, um dies für die nächsten geraden Zahlen zu überprüfen. Sie fanden heraus, dass diese Sequenzen zwar für viele Größen existieren, aber für die Zahlen 42 und 44 schlichtweg nicht existieren. Diese Entdeckung ist bedeutend, da sie den ersten konkreten Beweis liefert, dass die Annahme über nahezu normale Sequenzen falsch ist. Es ist ein seltener Moment in der Mathematik, in dem eine lang gehegte Idee nicht nur unbewiesen, sondern durch das Finden eines spezifischen Falles, in dem sie scheitert, explizit als falsch erwiesen wird.

Die Forscher untersuchten auch eine weitere strenge Version, die „normale“ Sequenzen. Sie bewiesen mathematisch, dass diese Sequenzen für ein bestimmtes Zahlenmuster nicht existieren können, nämlich für jene, die zwei weniger als ein Vielfaches von acht sind. Ihre Computersuche bestätigte ferner, dass diese Sequenzen für die Zahlen 41 bis 46 nicht existieren. Während sie die allgemeinen Sequenzen für die neuen Größen erfolgreich aufgebaut haben, bleibt die Existenz der strengeren Versionen für größere Zahlen ein Mysterium. Die Arbeit fügt nicht nur neue Beispiele einer Liste hinzu; sie formt die Landschaft dessen, was möglich ist, indem sie genau zeigt, wo die Muster brechen und wo sie fortbestehen.

Die Auswirkungen dieser Erkenntnisse strahlen weit hinaus auf die Konstruktion der eingangs erwähnten Hadamard-Matrizen. Da diese Matrizen essenziell für die Erstellung robuster Kommunikationssysteme und Fehlerkorrekturverfahren sind, ist es entscheidend zu wissen, welche Größen gebaut werden können und welche nicht. Der neue Algorithmus der Forscher, der tiefe mathematische Regeln mit leistungsstarker Computersuche kombiniert, bietet einen klaren Weg nach vorn. Er ermöglicht es Wissenschaftlern, selbst noch größere Größen mit Zuversicht zu testen, da sie wissen, dass die Methode unmögliche Kombinationen schnell herausfiltern kann. Während die Frage, ob diese Sequenzen für jede einzelne Größe existieren, für die strengeren Typen nun als falsch bekannt ist, geht die allgemeine Suche weiter, wobei die Forscher den Weg für die nächste Generation von Entdeckungen in diesem komplexen Feld geebnet haben.