On Base , Normal and Near-normal Sequences

Dans le monde calme et abstrait des mathématiques combinatoires, les chercheurs traquent souvent des motifs cachés au sein de simples listes de nombres. Imaginez une longue rangée d'interrupteurs, chacun réglé sur « on » ou « off ». Si vous prenez deux de ces rangées et que vous les comparez, en faisant glisser l'une par rapport à l'autre, vous pouvez mesurer à quel point elles correspondent ou s'opposent à chaque étape. Cette mesure est appelée autocorrélation. Pendant des décennies, les mathématiciens ont été fascinés par un casse-tête spécifique : pouvez-vous trouver quatre de ces rangées d'interrupteurs, disposées en deux paires de longueurs différentes, de telle sorte que lorsque vous les faites glisser et que vous additionnez tous leurs correspondances et oppositions, le bruit total s'annule parfaitement pour atteindre zéro partout, sauf au tout début ? C'est la quête des « séquences de base ».

Ces séquences ne sont pas seulement un jeu de nombres ; elles sont les plans cachés pour construire un type spécial de grille carrée connu sous le nom de matrice de Hadamard. Ces grilles sont des outils vitaux en ingénierie et en physique, utilisés pour créer des signaux capables de voyager à travers des environnements bruyants sans être déformés, un peu comme une voix claire qui traverse une pièce bondée. Plus la grille est grande, plus le signal est puissant, mais trouver l'arrangement approprié de ces interrupteurs pour construire ces grilles devient exponentiellement plus difficile à mesure que la taille augmente. Pendant des années, les mathématiciens ont eu une intuition forte, une conjecture, selon laquelle ces arrangements parfaits pourraient être trouvés pour chaque taille possible, mais ils ne pouvaient les prouver que pour des tailles allant jusqu'à un certain point.

Une équipe de chercheurs de l'Université de l'information et des sciences technologiques de Nanjing a désormais repoussé les limites de cette recherche plus loin que jamais auparavant. Ils ont développé une nouvelle méthode, hautement efficace, pour passer au crible les milliards de combinaisons possibles de ces rangées d'interrupteurs. Au lieu d'essayer de deviner les quatre rangées à la fois, leur algorithme construit d'abord des paires de rangées qui s'ajustent ensemble, puis cherche les deux rangées restantes pour compléter l'ensemble. En utilisant cette approche, ils ont réussi à construire ces séquences parfaites pour les tailles 41, 42 et 43 pour la première fois de l'histoire. Cet accomplissement confirme que la conjecture de longue date sur l'existence de ces séquences est vraie pour toutes les tailles jusqu'à 43, étendant ainsi le territoire connu de ces structures mathématiques.

Cependant, l'histoire prend un tournant surprenant lorsque les chercheurs examinent deux versions plus strictes de ces séquences, connues sous le nom de séquences « quasi-normales ». Pour celles-ci, il existait une croyance similaire selon laquelle elles pourraient être trouvées pour chaque nombre pair. L'équipe a lancé une recherche informatique exhaustive pour vérifier cela pour les prochains nombres pairs. Ils ont découvert que, bien que ces séquences existent pour de nombreuses tailles, elles n'existent tout simplement pas pour les nombres 42 et 44. Cette découverte est significative car elle constitue la première preuve concrète que la croyance concernant les séquences quasi-normales est fausse. C'est un moment rare en mathématiques où une idée de longue date n'est pas seulement non prouvée, mais explicitement démontrée comme étant erronée en trouvant un cas spécifique où elle échoue.

Les chercheurs ont également étudié une autre version stricte appelée séquences « normales ». Ils ont prouvé mathématiquement que ces séquences ne peuvent pas exister pour un motif spécifique de nombres, précisément ceux qui sont inférieurs de deux à un multiple de huit. Leur recherche informatique a confirmé que ces séquences n'existent pas pour les nombres 41 à 46. Bien qu'ils aient réussi à construire les séquences générales pour les nouvelles tailles, l'existence des versions plus strictes pour de plus grands nombres demeure un mystère. Leur travail ne se contente pas d'ajouter de nouveaux exemples à une liste ; il redessine le paysage de ce qui est possible, montrant exactement là où les motifs se brisent et où ils se poursuivent.

Les implications de ces découvertes se répercutent vers l'extérieur lors de la construction des matrices de Hadamard mentionnées au début. Puisque ces matrices sont essentielles à la création de systèmes de communication et de codes de correction d'erreurs robustes, savoir exactement quelles tailles peuvent être construites et lesquelles ne le peuvent pas est crucial. Le nouvel algorithme des chercheurs, qui combine des règles mathématiques profondes et une recherche informatique puissante, offre une voie claire pour l'avenir. Il permet aux scientifiques de tester des tailles encore plus grandes avec confiance, sachant que la méthode peut filtrer rapidement les combinaisons impossibles. Bien que la question de savoir si ces séquences existent pour chaque taille soit désormais connue comme étant fausse pour les types plus stricts, la quête générale continue, les chercheurs ayant ouvert la voie à la prochaine génération de découvertes dans ce domaine complexe.