Proof of 100 Euro Conjecture

Cet article confirme la conjecture des 100 euros, ouverte depuis près de 30 ans, en démontrant que pour toute matrice réelle dont la somme des valeurs absolues par ligne est égale à $n$, il existe un vecteur non nul tel que la valeur absolue de son image par la matrice domine celle du vecteur, grâce à une reformulation du théorème des planches de Ball.

L'essentiel

🇫🇷 Le Mystère des 100 Euros : Comment Teng Zhang a résolu une énigme de 30 ans

Imaginez que vous êtes dans une salle remplie de 30 ans de mystères mathématiques. Parmi eux, il y a un défi célèbre appelé la « Conjecture des 100 Euros ».

Depuis 1997, des mathématiciens du monde entier se sont cassé la tête pour résoudre ce problème. L'enjeu ? Une somme symbolique de 100 euros (d'où le nom), mais surtout la gloire de prouver une règle fondamentale sur la façon dont les nombres interagissent dans des grilles complexes.

Aujourd'hui, un jeune chercheur nommé Teng Zhang a annoncé avoir trouvé la solution. Voici comment il a fait, sans utiliser de jargon incompréhensible.

---

1. Le Problème : Une grille de nombres qui résiste

Pour comprendre le problème, imaginons une grille de nombres (ce qu'on appelle une matrice en mathématiques).

• Chaque ligne de cette grille représente une équipe de joueurs.
• La règle du jeu est la suivante : la somme des forces de chaque joueur dans une équipe est exactement égale à un nombre fixe (disons, la taille de l'équipe).

La question est la suivante :
Si vous prenez cette grille et que vous la faites « tourner » (en multipliant par un vecteur de nombres), est-il possible de trouver un groupe de joueurs (un vecteur non nul) qui, une fois transformé, devient plus fort ou du moins aussi fort qu'avant, point par point ?

Pendant 30 ans, personne n'a pu garantir que ce groupe « plus fort » existait toujours. On savait seulement qu'on pouvait trouver un groupe qui était un peu plus fort, mais pas assez pour gagner le pari.

2. L'Analogie : Le Jeu des Planches (Théorème de Ball)

Pour résoudre ce casse-tête, Teng Zhang n'a pas inventé une nouvelle arme, il a utilisé une vieille arme très puissante : le Théorème des Planches de Keith Ball.

Imaginez une pièce remplie de planches de bois (des planches infiniment fines).

• Si vous avez assez de planches pour couvrir une certaine surface, le théorème dit : « Il existe toujours un point dans la pièce qui n'est touché par aucune planche, ou qui est poussé très loin par elles. »

En termes mathématiques, cela signifie que si vous avez assez de contraintes (les lignes de votre grille), vous pouvez toujours trouver un point de fuite (un vecteur) qui échappe à la compression.

L'astuce de Teng Zhang :
Il a pris ce théorème des planches et l'a adapté à la géométrie de notre problème. Il a dit : « Si chaque ligne de votre grille est assez "lourde" (comme une planche épaisse), alors il existe un point de fuite qui traverse toutes les planches sans être écrasé. »

3. La Solution : La "Fuite" dans le Cube

Le papier de Zhang propose une méthode appelée « Principe de Fuite du Cube » (Cube-escape principle).

• L'image : Imaginez un cube géant (comme un dé à jouer géant) où chaque coin représente une combinaison possible de nombres.
• Le problème : Les lignes de votre grille essaient d'écraser ce cube, de le réduire à rien.
• La découverte : Zhang a prouvé que si les lignes de la grille respectent certaines règles de poids (la somme des forces), alors le cube ne peut pas être totalement écrasé. Il reste toujours un coin du cube (un vecteur) qui sort indemne et qui est même plus grand que ce qu'on attendait.

C'est comme si vous essayiez de presser une éponge avec des mains très fortes, mais que l'éponge avait une propriété magique : tant que vos mains sont assez grandes, l'éponge trouvera toujours un coin qui dépasse et qui résiste.

4. Les Conséquences : Plus que 100 Euros

En prouvant que cette « fuite » existe toujours, Zhang a résolu la Conjecture des 100 Euros. Mais il ne s'est pas arrêté là.

Il a aussi montré que cette méthode fonctionne pour d'autres formes géométriques, pas seulement le cube.

• Les 200 Euros : Il existe un défi encore plus dur (la Conjecture des 200 Euros) qui demande de prouver la même chose pour des formes rondes (sphères) au lieu de cubes.
• Le résultat : Zhang n'a pas encore résolu les 200 euros, mais il a prouvé une version « affaiblie » et très proche. C'est comme avoir trouvé la clé d'une porte qui mène presque au trésor.

Il a aussi établi une règle générale qui relie la taille de la grille à la force de la résistance, ce qui aide les mathématiciens à mieux comprendre comment les nombres se comportent dans des systèmes complexes (comme en économie, en physique ou en informatique).

En Résumé

Teng Zhang a pris un problème vieux de 30 ans, qui ressemblait à un mur infranchissable, et a utilisé une vieille règle géométrique (les planches) pour montrer qu'il y avait toujours une porte dérobée.

• Le problème : Est-ce qu'une grille de nombres peut toujours être « battue » par un vecteur ?
• La réponse : OUI. Il existe toujours un vecteur qui résiste et grandit.
• La méthode : En utilisant la géométrie des espaces et le théorème des planches, comme si on cherchait un point de fuite dans un labyrinthe de planches.

C'est une victoire élégante qui montre que même les problèmes les plus têtus finissent par céder face à une bonne analogie et une vision claire. Et oui, les 100 euros sont maintenant gagnés (même si le mathématicien ne les touchera probablement pas, la gloire est son vrai salaire) !

Résumé technique

Voici un résumé technique détaillé de l'article « Proof of 100 Euro Conjecture » de Teng Zhang, rédigé en français.

1. Problématique : La Conjecture des 100 Euros

L'article s'attaque à la Conjecture des 100 Euros, un problème ouvert depuis près de 30 ans, initialement formulé par S. M. Rump en 1997.

• Énoncé : Soit $A \in \mathbb{R}^{n \times n}$ une matrice réelle telle que la somme des valeurs absolues de chaque ligne soit égale à $n$ (c'est-à-dire $|A|e = ne$, où $|A|$ est la matrice des valeurs absolues des entrées et $e = (1, \dots, 1)^T$).
• Hypothèse : Il existe un vecteur non nul $x \in \mathbb{R}^n$ tel que l'inégalité composante par composante suivante soit vérifiée :
  $$|Ax| \ge |x|$$
  (où l'inégalité est interprétée composante par composante).
• Contexte géométrique : La condition $|A|e = ne$ signifie que chaque ligne de $A$ se trouve sur la frontière de la boule $\ell_1$ de rayon $n$ (ou du croissant-polytope).
• État de l'art : Avant ce travail, la meilleure estimation connue (Rump, 1997) garantissait l'existence d'un vecteur $x$ tel que $|Ax| \ge \frac{1}{3 + 2\sqrt{2}} |x|$, ce qui est strictement inférieur à 1.

L'article mentionne également la Conjecture des 200 Euros (Bünger-Seeger, 2024), une version plus forte impliquant des normes $\ell_2$ sur les lignes, qui impliquerait la conjecture des 100 Euros si elle était vraie.

2. Méthodologie

L'auteur résout le problème en reformulant le théorème des planches de K. Ball (Ball's plank theorem) dans un cadre de dimension finie et en l'appliquant aux espaces de Banach $\ell_p^n$.

• Théorème des planches de Ball (version finie) : Si l'on a $n$ fonctionnelles linéaires continues $\phi_i$ de norme 1 sur un espace de Banach de dimension finie $X$, et des poids $w_i > 0$ tels que $\sum w_i = 1$, alors il existe un vecteur $x$ dans la boule unité $B_X$ tel que $|\phi_i(x) - m_i| \ge w_i$ pour tout $i$.
• Adaptation de l'auteur : Teng Zhang utilise une conséquence renormalisée de ce théorème (Corollaire 2.2). Il applique ce principe à l'espace $X = (\mathbb{R}^n, \|\cdot\|_p)$, où les fonctionnelles linéaires sont définies par les lignes de la matrice $A$.
• Dualité des normes : Un point clé de la démonstration est l'identification précise des normes duales des fonctionnelles définies par les lignes de la matrice. Pour un espace $\ell_p$, la norme duale d'une ligne $r_i$ est sa norme $\ell_q$, où $q$ est l'exposant conjugué de Hölder ($1/p + 1/q = 1$).

3. Résultats Clés et Contributions

A. Preuve de la Conjecture des 100 Euros (Théorème 1.4 et Corollaire 1.5)

En choisissant l'espace $X = \ell_\infty^n$ (la norme du maximum, correspondant au cube unité $[-1, 1]^n$), l'auteur démontre :

• Si les normes $\ell_1$ des lignes de $A$ satisfont $\|r_i\|_1 \ge nt$ pour un certain $t > 0$, alors il existe un vecteur $x \in [-1, 1]^n$ tel que $|Ax| \ge t e \ge t|x|$.
• En posant $t=1$ (ce qui correspond exactement à la condition $|A|e = ne$), on obtient l'existence d'un $x \neq 0$ tel que $|Ax| \ge |x|$.
• Conclusion : La Conjecture 1.1 est vraie.

B. Inégalité Spectrale Globale (Théorème 1.6)

L'auteur établit une relation fondamentale entre le rayon spectral réel-signé $\xi(A)$ (défini comme le plus grand $\lambda$ tel que $|Ax| \ge \lambda|x|$ pour un $x \neq 0$) et le rayon spectral classique $\rho(|A|)$ de la matrice des valeurs absolues :
$$\rho(|A|) \le n \cdot \xi(A)$$
Cette inégalité confirme une conjecture précédente de Bünger et Seeger (Conjecture 21 de [3]) et améliore les estimations existantes. La preuve utilise l'invariance de $\xi(A)$ par similitude diagonale et la réduction à des sous-matrices principales irréductibles (théorème de Perron-Frobenius).

C. Famille unifiée d'échappement $\ell_p$ (Théorème 1.8)

L'article généralise le résultat à tout $p \in [1, \infty]$. Si les normes $\ell_q$ des lignes satisfont $\|r_i\|_q \ge nt$, alors il existe un vecteur $y$ avec $\|y\|_p \le 1$ tel que $|Ay| \ge t e \ge t|y|$.

• Ce cadre unifie le cas du cube ($p=\infty, q=1$) et le cas euclidien ($p=2, q=2$).

D. Affaiblissement de la Conjecture des 200 Euros (Corollaire 1.10)

En appliquant le théorème général au cas euclidien ($p=2$), l'auteur obtient une forme quantitative faible de la Conjecture des 200 Euros :
Si $\|r_i\|_2 \ge \sqrt{n-1}$, alors il existe un vecteur $x$ tel que $|Ax| \ge \frac{\sqrt{n-1}}{n} e$.
Bien que cela ne prouve pas la conjecture des 200 Euros (qui demande $|Ax| \ge |x|$), cela fournit une borne inférieure explicite et non triviale.

4. Signification et Impact

• Résolution d'un problème ouvert : Ce travail clôt définitivement la Conjecture des 100 Euros, un problème majeur en analyse matricielle et en théorie des espaces de Banach, qui résistait depuis 1997.
• Nouvelles perspectives géométriques : La preuve démontre la puissance du théorème des planches de Ball appliqué aux inégalités composante par composante, offrant un lien profond entre la géométrie des corps convexes (le cube, la boule $\ell_p$) et les propriétés spectrales des matrices.
• Unification : En introduisant la famille $\ell_p$, l'article montre que le phénomène d'« échappement » (escape) est un phénomène structurel qui dépend de la géométrie de l'espace sous-jacent, reliant des cas apparemment disjoints (normes $\ell_1$, $\ell_2$, $\ell_\infty$).
• Outils pour la recherche future : Les inégalités obtenues, notamment la relation $\rho(|A|) \le n \xi(A)$, fournissent de nouveaux outils pour l'analyse de la stabilité des systèmes et l'étude des matrices non négatives.

En résumé, Teng Zhang utilise une reformulation astucieuse d'un théorème géométrique classique pour prouver l'existence de vecteurs « d'échappement » pour des matrices dont les lignes sont contraintes géométriquement, résolvant ainsi une conjecture célèbre et ouvrant la voie à de nouvelles généralisations.