Deuxième inégalité d'autocorrélation : borne inférieure de la constante C2

La meilleure constante C2 de ‖f⋆f‖₂² ≤ C2 ‖f⋆f‖₁ ‖f⋆f‖∞ pour f ≥ 0. Une fonction discrétisée donne la borne inférieure ‖f⋆f‖₂² / (‖f⋆f‖₁ ‖f⋆f‖∞) ; plus grand est meilleur (le maximum trivial est 1).

Scores de fonctions discrétisées (jusqu'à 4×10^5 intervalles), en flottants : des bornes numériques. Hors du cadre de la plateforme, ImprovEvolve (arXiv 2602.10233) annonce 0,96258 sans publier la solution ; le papier garde 0,9610 comme ancien record. Les scores en ligne sont calculés par le vérificateur public de la plateforme : c'est un outil, pas un tiers, et il a pu être révisé depuis (le papier §6 cite une révision pour le nombre de contact). Aucun relecteur nommé.