RECHERCHE
Quasi-orthogonalité dans les espaces Lp : une étude de cas avec Grok
Des mathématiciens réfutent une conjecture de Carbery sur l'inégalité triangulaire dans Lp, et utilisent le LLM Grok pour explorer des lemmes intermédiaires.
arXiv cs.AI · cs.LG · cs.CL·Ziang Chen, Jaume de Dios Pont, Paata Ivanisvili, Jose Madrid·6 mai 2026

Image · Source originale
Ce papier réfute la forme affûtée de l'inégalité triangulaire proposée par Carbery pour tout p > 2, et démontre que l'exposant critique doit satisfaire c ≤ p'. À l'exposant critique c = p', l'inégalité est établie pour tout entier p ≥ 2. Une borne optimale à trois fonctions est également prouvée, améliorant les résultats de Carlen, Frank et Lieb. Certains lemmes intermédiaires ont été explorés avec l'assistance du LLM Grok.