Ce manuscrit constitue un enregistrement stable des problèmes ouverts en mathématiques, notamment en théorie des probabilités, en calcul et en combinatoire, publiés en 2025 sur le blog Randomstrasse101 afin de faciliter leur référence académique.
Auteurs originaux :Afonso S. Bandeira, Daniil Dmitriev, Kevin Lucca, Petar Nizić-Nikolac, Almut Rödder
🗺️ La Carte au Trésor des Mystères Mathématiques (2025)
Imaginez que les mathématiques sont un immense océan. La plupart des gens naviguent sur des eaux calmes et connues, mais il existe des îles lointaines, des tempêtes et des trésors cachés que personne n'a encore découverts.
Ce document est un journal de bord tenu par un groupe de chercheurs de l'ETH Zurich (une université très célèbre en Suisse). Ils ont passé l'année 2025 à noter les 16 plus grands mystères qui les empêchent de dormir. Ils ne cherchent pas forcément les problèmes les plus "importants" pour l'humanité, mais ceux qu'ils trouvent les plus intrigants, comme des énigmes de détective.
Voici les principaux mystères qu'ils ont laissés en suspens, expliqués avec des images simples :
1. Le Puzzle des Tensors (Les Blocs de Lego 3D)
Le problème : Imaginez que vous avez des cubes de Lego (des "tensors") et que vous essayez de les empiler de manière à ce que la tour ne tombe pas, même si vous les secouez un peu.
L'analogie : Les mathématiciens veulent savoir comment ces blocs se comportent quand on les mélange au hasard. Ils ont une idée (une conjecture) sur la hauteur maximale que peut atteindre cette tour avant de s'effondrer. C'est comme essayer de prédire la météo d'un système complexe : on sait que ça va pleuvoir, mais on veut savoir exactement combien d'eau va tomber.
2. Le Nombre de Lovász (Le Compteur de Groupes d'Amis)
Le problème : Dans un groupe de personnes, qui peut former le plus grand groupe d'amis qui ne se connaissent pas tous entre eux ? C'est difficile à calculer.
L'analogie : Imaginez un grand bal où certains invités se détestent. Vous voulez former le plus grand groupe possible où personne ne se déteste. Le "Nombre de Lovász" est une astuce mathématique (un calcul rapide) qui donne une estimation de la taille de ce groupe.
Le mystère : Les chercheurs ont remarqué que pour des groupes de personnes générés au hasard (comme des amis tirés au sort), ce calcul semble toujours donner un résultat très précis (la racine carrée du nombre de personnes). Ils veulent prouver que c'est toujours vrai, même pour des structures très ordonnées comme les graphes circulaires (des cercles de personnes).
3. La Photo Floue (Récupération de Phase)
Le problème : Imaginez que vous prenez une photo, mais que votre appareil photo a un défaut : il ne garde que la luminosité des pixels, pas les couleurs ni les détails fins. Peut-on reconstruire l'image originale ?
L'analogie : C'est comme essayer de reconstruire un visage en ne voyant que son ombre portée sur un mur. Les chercheurs savent que c'est possible avec assez d'ombres, mais ils se demandent : "Combien d'ombres faut-il exactement ?" Et surtout, si on a un peu de bruit dans les ombres, l'image reconstruite sera-t-elle encore reconnaissable ou totalement déformée ?
4. Les Bases Inconnues (Le Jeu des Cartes)
Le problème : En physique quantique, il existe des façons spéciales de mesurer des particules. On veut savoir si on peut avoir un certain nombre de ces "façons de mesurer" qui sont toutes parfaitement différentes les unes des autres.
L'analogie : Imaginez que vous avez un jeu de cartes. Vous voulez trouver 7 jeux de cartes différents où chaque carte d'un jeu est "inconnue" par rapport aux cartes des autres jeux. Pour un jeu de 6 cartes, on sait qu'on ne peut pas en avoir 7, mais personne n'a encore réussi à le prouver mathématiquement de manière simple. C'est un défi de logique pure.
5. Le Graphes de Paley (Le Club Secret)
Le problème : Il existe un type de réseau très spécial (le graphe de Paley) qui ressemble à un réseau aléatoire mais qui est en fait fabriqué avec des règles mathématiques strictes.
L'analogie : Imaginez une ville où les rues sont dessinées selon une formule magique. Les chercheurs veulent savoir : "Quelle est la plus grande clique (groupe d'amis qui se connaissent tous) qu'on peut trouver dans cette ville ?" Ils pensent que cette clique est très petite, mais ils n'arrivent pas à le prouver. C'est comme chercher un groupe d'amis dans une foule immense : on pense qu'ils sont rares, mais il faut une preuve irréfutable.
6. La Forme des Nuages (La Conjecture KLS)
Le problème : Si vous avez une boule de neige (ou une distribution de probabilité) dans l'espace, quelle est la forme la plus difficile à couper en deux ?
L'analogie : Imaginez que vous avez une masse de coton très dense. Si vous voulez la couper en deux avec un couteau, où faut-il couper pour que la surface de la coupe soit la plus petite possible ? Les mathématiciens pensent que pour toutes les formes "convexes" (qui n'ont pas de trous ni de creux), la meilleure façon de couper est toujours un plan droit. C'est une règle universelle qui simplifierait énormément la compréhension de l'espace à plusieurs dimensions.
7. Les Matrices et les Algorithmes (Le Test de Vérité)
Le problème : Il existe des algorithmes très puissants (comme le "Somme des Carrés") qui tentent de résoudre des problèmes difficiles. Mais parfois, ils échouent.
L'analogie : Imaginez un détective (l'algorithme) qui essaie de résoudre un crime. Parfois, le détective est si bon qu'il trouve la solution. Mais pour certains crimes complexes, il faut savoir exactement à quel moment il va échouer. Les chercheurs étudient les "matrices graphiques" (des grilles de nombres) pour comprendre pourquoi le détective échoue et s'il peut être amélioré. C'est comme tester la limite d'un moteur de voiture pour voir à quelle vitesse il casse.
🎯 Pourquoi tout cela est important ?
Ce document n'est pas juste une liste de devoirs pour les mathématiciens. C'est une boussole.
Si vous résolvez l'un de ces problèmes, vous ne faites pas que gagner un prix. Vous ouvrez une nouvelle porte pour la cryptographie (sécuriser les données), l'intelligence artificielle (comprendre comment les réseaux apprennent), ou la physique quantique (comprendre l'univers).
Les auteurs disent : "Nous ne savons pas si ces conjectures sont vraies, mais si on arrive à les prouver ou à les réfuter, ce sera une avancée énorme."
En résumé, ce texte est un appel à l'aventure. Il dit aux lecteurs : "Voici les énigmes les plus fascinantes de notre époque. À vous de jouer pour les résoudre !"
Résumé Technique : Randomstrasse101 – Problèmes Ouverts de 2025
Auteurs : Afonso S. Bandeira, Daniil Dmitriev, Kevin Lucca, Petar Nizić-Nikolac, Almut Rödder. Contexte : Ce manuscrit compile seize problèmes ouverts (numérotés de 8 à 23 dans la série cumulative) issus du blog Randomstrasse101, dédié aux problèmes de théorie des probabilités, de calcul, de combinatoire et de statistiques. L'objectif est de fournir une référence stable pour les conjectures et problèmes discutés par le groupe du Département de Mathématiques de l'ETH Zurich en 2025.
Le document se concentre sur sept entrées principales (8 à 14), couvrant des sujets allant des inégalités de concentration tensorielles aux conjectures en géométrie convexe de haute dimension.
1. Inégalités de Concentration Tensorielle (Entrée 8)
Auteur : Kevin Lucca
Problème : Déterminer des bornes supérieures pour l'espérance de la norme injective ℓp d'une somme de tenseurs aléatoires gaussiens. Plus précisément, on cherche à borner E[∥∑giTi∥Ip], où Ti sont des tenseurs déterministes symétriques et gi des variables gaussiennes i.i.d.
Conjecture 16 : Pour p≥2, l'espérance est bornée par O~r,p(d1/2−1/p∑∥Ti∥Ip2).
Méthodologie et État de l'art :
Le cas r=p=2 (matrices) est bien compris grâce aux inégalités de Khintchine non commutatives et aux techniques de traces.
Pour les tenseurs généraux (r>2), l'approximation par les traces échoue car le calcul des normes injectives est NP-dur.
L'approche repose sur la théorie des processus gaussiens et l'intégrale d'entropie de Dudley, nécessitant le contrôle du nombre de recouvrement N(Bpd,D,ϵ).
Résultats Clés :
Une borne dimension-free a été obtenue pour p≥2r (dans [BGJ+24]).
Le cas p<2r reste ouvert en raison d'obstacles volumétriques.
Des travaux récents (Aden-Ali, Boedihardjo) ont affiné les bornes pour des cas spécifiques (entrées indépendantes, tenseurs de Hankel), mais la conjecture générale pour les tenseurs non homogènes reste un défi majeur.
2. Le Nombre de Lovász des Graphes Circulants Aléatoires (Entrée 9)
Auteur : Daniil Dmitriev
Problème : Caractériser le comportement asymptotique du nombre de Lovász ϑ(G) pour les graphes circulants aléatoires denses, un modèle intermédiaire entre les graphes aléatoires d'Erdős-Rényi G(n,1/2) et les graphes de Paley déterministes.
Conjecture 18 : Pour un graphe circulant aléatoire G, E[ϑ(G)]=(1+o(1))n.
Méthodologie :
Utilisation de la dualité forte pour reformuler le problème de programmation semi-définie (SDP) du nombre de Lovász en programmes linéaires (LP) dans les domaines "temps" et "fréquence".
Exploitation de la diagonalisation des matrices circulantes par la Transformée de Fourier Discrète (DFT).
Application de la propriété d'isométrie restreinte (RIP) de la matrice DFT sous-échantillonnée.
Résultats :
Une borne inférieure précise et une borne supérieure en O(nloglogn) ont été établies dans [BBD+25].
Cela suggère que les graphes circulants aléatoires partagent les propriétés pseudo-aléatoires des graphes d'Erdős-Rényi concernant le nombre de Lovász.
3. Injectivité et Stabilité du "Phase Retrieval" (Entrée 10)
Auteur : Afonso S. Bandeira
Problème : Reconstruire un vecteur x à partir de mesures de module $|Ax|$. La question centrale est l'injectivité de l'application et la stabilité de la reconstruction.
Conjectures et Problèmes :
Conjecture 19 (Vinzant) : Pour N=4M−5 mesures complexes, l'injectivité n'est pas garantie avec probabilité 1, et la probabilité d'injectivité tend vers 0 quand M→∞.
Conjecture 20 (Balan-Wang) : La stabilité est liée à la condition de complémentarité. Il existe une constante β telle que le paramètre de stabilité ω(A) est borné par le maximum des normes des lignes de A.
Problème Ouvert 21 : Déterminer la valeur exacte de ω(A) pour des matrices gaussiennes et identifier l'exposant β.
Signification : Ces problèmes sont cruciaux pour la physique quantique et l'imagerie, où seules les intensités (modules) sont mesurables.
4. Bases Mutuellement Non-Biaisées (MUB) et Conjecture de Zauner (Entrée 11)
Auteur : Afonso S. Bandeira
Problème : Déterminer le nombre maximal de bases mutuellement non-biaisées (MUB) dans Cd, noté $MUB(d)$.
Conjecture 22 : $MUB(6) < 7$. C'est le cas ouvert le plus célèbre (d=6 n'est pas une puissance de nombre premier).
Approche : Utilisation de preuves "Sum-of-Squares" (SoS). Il est connu que le niveau 2 ne suffit pas ; le problème ouvert 23 demande s'il existe une preuve de degré 4.
Lien avec les ETF : Les MUB sont liés aux Equiangular Tight Frames (ETF). La Conjecture de Zauner (24) postule l'existence d'un ETF avec d2 vecteurs pour toute dimension d (SIC-POVMs).
Avancées récentes : Des constructions conditionnelles basées sur des conjectures de théorie des nombres (conjectures de Stark) ont été proposées, mais une preuve inconditionnelle manque toujours.
5. Nombre de Clique du Graph de Paley (Entrée 12)
Auteur : Afonso S. Bandeira
Problème : Estimer le nombre de clique ω(Gp) du graphe de Paley (déterministe mais pseudo-aléatoire).
Conjecture 25 :ω(Gp)=O(polylog(p)), contrairement aux graphes aléatoires où il est logarithmique.
Méthodologie :
Utilisation de relaxations convexes (nombre de Lovász ϑ) et de localisations itératives (sous-graphes induits par les voisins).
Conjectures 26 et 27 suggèrent que les localisations améliorent les bornes (ex: ϑ(Gp,2)≤32p).
Conjecture 28 : La relaxation SoS de degré 4 pourrait améliorer la borne p vers O(p1/2−ϵ).
Lien avec la récupération compressée : La conjecture est liée à la propriété RIP (Restricted Isometry Property) des cadres de Paley au-delà de la limite de la racine carrée (Conjecture 29).
6. La Conjecture KLS et ses Implications (Entrée 13)
Auteur : Almut Rödder
Problème : La conjecture de Kannan-Lovász-Simonovits (KLS) concerne la constante isopérimétrique ψμ des mesures log-concaves. Elle postule que cette constante est bornée inférieurement par une constante universelle (indépendante de la dimension), atteinte par des demi-espaces.
Implications :
Inégalité de Poincaré.
Concentration de Lipschitz.
Temps de mélange des chaînes de Markov (Ball Walk) sur des corps convexes (O~(n2)).
État de l'art (2025) :
La borne inférieure a progressé de n−1/2 à n−1/4, puis à une borne quasi-polynomiale e−logn (Chen, 2021), et enfin à C(logn)−1/2 (Klartag, 2023).
Résolution récente : La conjecture de la "Coquille Mince" (Thin Shell Conjecture) a été prouvée par Klartag et Lehec en 2025, ce qui implique la meilleure borne actuelle pour KLS.
Lien avec le problème de tranchage (Slicing Problem) : Résolu par Klartag et Lehec fin 2024, ce problème est équivalent à la conjecture KLS via la transformée de Laplace log.
7. Bornes Précises pour les Matrices de Graphes (Entrée 14)
Auteur : Petar Nizić-Nikolac
Problème : Comprendre le spectre des matrices aléatoires apparaissant dans les hiérarchies de Sum-of-Squares (SoS) pour des problèmes comme le "Planted Clique". Ces matrices sont des "matrices de graphes" (Graph Matrices).
Contexte : Les bornes de norme actuelles contiennent souvent des facteurs polylogarithmiques inutiles ((logn)g).
Conjecture 31 (Bornes Précises) : La norme attendue d'une matrice de graphe associée à une forme α est de la forme Θ(nf(α)(logn)g(α)). L'objectif est de déterminer exactement les fonctions f et g.
Méthodologie :
Utilisation de la théorie des "Matrix Chaoses" (polynômes de variables aléatoires).
Application d'inégalités de concentration matricielles itérées (basées sur l'inégalité de Khintchine non commutative).
L'approche vise à éliminer les facteurs polylogarithmiques superflus pour certaines formes, améliorant ainsi les bornes inférieures pour les algorithmes SoS.
Signification Globale et Contributions
Ce manuscrit synthétise l'état de l'art de plusieurs domaines interconnectés en mathématiques appliquées et théoriques en 2025 :
Interdisciplinarité : Il met en lumière les liens profonds entre la théorie des probabilités (concentration), la géométrie convexe (KLS, isopérimétrie), la théorie des graphes (Paley, circulants), l'algèbre linéaire numérique (matrices de graphes, ETF) et l'informatique théorique (complexité des algorithmes SoS, récupération compressée).
Avancées Récentes : Le document note des percées majeures survenues en 2024-2025, notamment la résolution du problème de tranchage de Bourgain et de la conjecture de la coquille mince, qui ont des répercussions directes sur la conjecture KLS.
Outils Méthodologiques : Il souligne l'évolution des techniques, passant des méthodes classiques (traces, localisation) vers des approches plus sophistiquées comme la localisation stochastique, les matrices chaotiques, et les preuves par sommes de carrés (SoS).
Objectif : En formalisant ces problèmes ouverts, les auteurs visent à guider la recherche future, en particulier pour ceux qui cherchent à prouver ou réfuter ces conjectures, offrant un point de référence stable pour la communauté académique.
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.