[Fonction de Christoffel infinie-dimensionnelle et détection de trajectoires aberrantes]
We introduce an infinite-dimensional version of the Christoffel function, where now (i) its argument lies in a Hilbert space of functions, and (ii) its associated underlying measure is supported on a compact subset of the Hilbert space. We show that it possesses the same crucial property as its finite-dimensional version to identify the support of the measure (and so to detect outliers). Indeed, the growth of its reciprocal with respect to its degree is at least exponential outside the support of the measure and at most polynomial inside. Moreover, for a fixed degree, its computation mimics that of the finite-dimensional case, but now the entries of the moment matrix associated with the measure are moments of moments. To illustrate the potential of this new tool, we consider the following application. Given a database of registered reference trajectories, we consider the problem of detecting whether a newly acquired trajectory is abnormal (or out of distribution) with respect to the database. As in the finite-dimensional case, we use the infinite-dimensional Christoffel function as a score function to detect outliers and abnormal trajectories. A few numerical examples are provided to illustrate the theory.
On introduit une version infini-dimensionnelle de la fonction de Christoffel où (i) ses arguments sont des éléments d’un espace de Hilbert de fonctions, et (ii) sa mesure associée est supportée sur un compact de cet espace de Hilbert. On montre qu’elle possède la même propriété cruciale que sa version fini-dimensionnelle, i.e. identifier le support de la mesure (et donc très utile pour détecter des aberrations en analyse de données). Dans le support de la mesure, la croissance de son inverse est au plus polynomiale dans son degré, et au moins exponentielle à l’extérieur du support. De plus, pour tout degré fixé, son calcul imite celui de sa version fini-dimensionnelle, avec la particularité que les entrées de la matrice des moments de la mesure sont des moments de moments. Pour illustrer le potentiel de ce nouvel outil on considère l’application suivante : étant donnée une base de données de trajectoires de référence enregistrées, on considère le problème de détecter si une trajectoire nouvellement acquise est anormale par rapport aux trajectoires de référence. Comme dans le cas infini-dimensionnel on propose d’utiliser la fonction de Christoffel comme un score pour détecter les trajectoires aberrantes. Deux exemples illustratifs sont détaillés.
Accepté le :
Accepté après révision le :
Publié le :
Didier Henrion 1, 2 ; Jean-Bernard Lasserre 1, 3

@article{CRMATH_2025__363_G7_663_0, author = {Didier Henrion and Jean-Bernard Lasserre}, title = {An infinite-dimensional {Christoffel} function and detection of abnormal trajectories}, journal = {Comptes Rendus. Math\'ematique}, pages = {663--676}, publisher = {Acad\'emie des sciences, Paris}, volume = {363}, year = {2025}, doi = {10.5802/crmath.744}, language = {en}, }
TY - JOUR AU - Didier Henrion AU - Jean-Bernard Lasserre TI - An infinite-dimensional Christoffel function and detection of abnormal trajectories JO - Comptes Rendus. Mathématique PY - 2025 SP - 663 EP - 676 VL - 363 PB - Académie des sciences, Paris DO - 10.5802/crmath.744 LA - en ID - CRMATH_2025__363_G7_663_0 ER -
Didier Henrion; Jean-Bernard Lasserre. An infinite-dimensional Christoffel function and detection of abnormal trajectories. Comptes Rendus. Mathématique, Volume 363 (2025), pp. 663-676. doi : 10.5802/crmath.744. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.744/
[1] Chebfun guide (Tobin Allen Driscoll; Nicholas Hale; Loyd N. Trefethen, eds.), Pafnuty Publications, 2014
[2] Gaussian measures, Mathematical Surveys and Monographs, 62, American Mathematical Society, 1998, xii+433 pages | DOI | MR | Zbl
[3] An introduction to infinite-dimensional analysis, Universitext, Springer, 2006, x+209 pages | DOI | MR | Zbl
[4] Leveraging the Christoffel function for outlier detection in data streams, Int. J. Data Sci. Anal. (2024) | DOI
[5] Linear operators. I. General theory, Pure and Applied Mathematics, 7, Interscience Publishers; Interscience Publishers, 1958, xiv+858 pages | MR | Zbl
[6] Infinite-dimensional Christoffel–Darboux polynomial kernels on Hilbert spaces (2024) | HAL
[7] Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations (2023) Presented at the SIAM Conference on Optimization (Seattle, May 2023) | HAL
[8] Graph recovery from incomplete moment information, Constr. Approx., Volume 56 (2022) no. 1, pp. 165-187 | DOI | MR | Zbl
[9] Solving moment and polynomial optimization problems on Sobolev spaces, SIAM J. Optim., Volume 35 (2025) no. 2, pp. 989-1003 | DOI | MR | Zbl
[10] Sorting out typicality via the inverse moment matrix SOS polynomial, Advances in Neural Information Processing Systems 29 (NIPS 2016, Barcelona) (D. D. Lee; M. Sugiyama; U. V. Luxburg; I. Guyon; R. Garnett, eds.), Curran Associates, Inc., 2016, pp. 190-198
[11] The empirical Christoffel function with applications in data analysis, Adv. Comput. Math., Volume 45 (2019) no. 3, pp. 1439-1468 | DOI | MR | Zbl
[12] The Christoffel–Darboux kernel for data analysis, Cambridge Monographs on Applied and Computational Mathematics, 38, Cambridge University Press, 2022, xv+168 pages | DOI | MR | Zbl
[13] Moment-SOS methods for optimal transport problems, Numer. Math., Volume 156 (2024) no. 4, pp. 1541-1578 | DOI | MR | Zbl
[14] Real analysis, Prentice Hall, 2010 | MR | Zbl
[15] Rate of convergence for geometric inference based on the empirical Christoffel function, ESAIM, Probab. Stat., Volume 26 (2022), pp. 171-207 | DOI | MR | Zbl
Cité par Sources :
Commentaires - Politique