Une équation tirée à pile ou face dessine presque toujours une forme lisse

Une pièce pour chaque coefficient

Prenons tous les monômes d’un degré donné, puis tirons le signe de chacun à pile ou face. En degré trois avec trois variables, les termes possibles incluent $x^3$, $x^2y$, $xyz$ ou $z^3$. Aucun coefficient ne manque : chacun vaut exactement $+1$ ou $-1$.

L’ensemble des solutions de l’équation obtenue dessine une forme géométrique. Selon les coefficients, elle peut présenter des singularités : un croisement, une pointe, ou des phénomènes analogues en dimension supérieure. « Lisse » signifie que ces défauts locaux sont absents.

Les dessins réels donnent une première image, mais l’étude porte sur les solutions complexes. Une forme qui paraît régulière dans un dessin réel peut avoir une singularité invisible à ce dessin.

Le résultat mathématique

Fixons $n\geq1$. Pour chaque degré $d\geq3$, on choisit

où les signes sont indépendants et équiprobables. Le nombre de monômes est $\binom{n+d}{n}$.

Ken Ono et Ashvin Swaminathan établissent ainsi la conjecture de Browning–Sawin dans ce modèle. Leur texte est daté du 16 septembre 2026. Il ne faut pas lire la borne comme une égalité : la fréquence réelle peut être plus petite.

Reconnaître une singularité

Sur une carte affine, une hypersurface $g=0$ est singulière en un point lorsque $g$ et toutes ses dérivées partielles y sont nulles.

Deux petits exemples permettent de voir le mécanisme. La courbe $y-x^2=0$ est lisse : sa dérivée par rapport à $y$ vaut constamment $1$, donc les dérivées ne peuvent jamais s’annuler toutes ensemble. Pour $y^2-x^2=0$, elles valent $2y$ et $-2x$. À l’origine, tout s’annule ; les deux droites $y=x$ et $y=-x$ s’y croisent.

Ces équations servent à comprendre le critère. Elles ne sont pas des tirages du modèle étudié : celui-ci impose la présence de tous les monômes du degré choisi. En géométrie projective, on emploie des coordonnées homogènes et l’on écarte le quadruplet, ou plus généralement le vecteur, entièrement nul.

L’idée et le raisonnement

Les auteurs passent par la réduction modulo un nombre premier impair. Ils répartissent les coefficients en blocs indépendants et contrôlent la probabilité que le polynôme et ses dérivées s’annulent ensemble. Un crible distingue les points de petit et de grand degré ; voir la stratégie de preuve.

Pourquoi l’indépendance aide-t-elle ? Si plusieurs conditions dépendent exactement des mêmes tirages, satisfaire la première peut rendre les suivantes très probables. Avec des groupes de tirages disjoints, on dispose encore d’aléa après avoir imposé une condition. Il faut toutefois démontrer que les blocs choisis apportent effectivement de nouvelles contraintes.

Autre difficulté : un événement rare en un point n’est pas nécessairement rare quelque part. Pour mille points candidats, une estimation de probabilité doit tenir compte des mille possibilités. Pour une famille infinie de points, additionner aveuglément les probabilités ne donne aucune borne utilisable. C’est pourquoi la répartition des points et le contrôle de leur degré comptent.

Lire la vitesse de décroissance

À dimension fixée, multiplier $d$ par quatre divise le majorant $C_n/\sqrt d$ par deux. Cela ne donne pas une probabilité numérique sans connaître $C_n$. Une borne supérieure à $1$ reste vraie, mais ne renseigne presque pas sur un petit degré.

Le message est asymptotique : pour tout seuil positif, le majorant finit par passer en dessous. Il subsiste des équations singulières ; leur proportion tend vers zéro dans cette expérience précise. Le hasard ne garantit donc pas la régularité de chaque tirage.

Note préparée avec assistance IA à partir des sources citées. Le périmètre de lecture est indiqué ci-dessus ; cette note ne constitue pas une validation indépendante de la démonstration. Notre méthode.