Processus ponctuel déterminantal
Un processus ponctuel déterminantal est un processus ponctuel dont les fonctions de corrélation s'écrivent sous forme d'un déterminant d'une fonction appelé noyau. Ces processus apparaissent en matrices aléatoires, combinatoires, physique mathématique[1] et apprentissage automatique[2]. Ces processus ont été introduits par Odile Macchi pour modéliser les fermions[3].
Définition
modifierSoit un espace polonais et une mesure de Radon. Un processus ponctuel simple est dit déterminantal s'il existe une fonction mesurable tels que, pour tout entier non nul , pour toute fonction mesurable continue à support compact
On définit la fonction de corrélation par:
Propriétés
modifierExistence
modifierLes deux conditions suivantes sont nécessaires et suffisantes pour l'existence d'un processus ponctuel déterminantal :
- Symetrie de :Il faut que soit stable sous le groupe symetrique :
- Positivité : Pour tout entier N et toute famille de fonctions mesurables, bornées et à support compact
, ,
on a, si
alors,
Unicité
modifierUne condition suffisante pour l'unicité d'un processus ponctuel déterminantal de fonction de corrélation est la suivante:
,
pour toute partie borélienne bornée dans .
Exemples
modifierDans plusieurs modèles de matrices aléatoires (GUE[5], CUE[5], LUE, Ginibre[6]), les valeurs propres forment un processus ponctuel déterminantal à valeurs complexes (ou réelles). Par exemple, les valeurs propres du GUE (ensemble unitaire gaussien) forment, pour la mesure de Lebesgue sur , un processus ponctuel déterminantal de noyau
,
où la famille des sont les polynômes d'Hermite normalisées. En particulier, est un polynôme de degré et .
Soient les valeurs propres de CUE (circular unitary ensemble), alors , pour tout , . Le processus ponctuel associé à est déterminantal, pour la mesure de référence sur de noyau
.
Les coordonnée de Frobenius modifiées d'un diagramme de Young aléatoire ayant comme loi la loi de Plancherel poissonisé forme un processus ponctuel déterminantal sur pour la mesure de comptage avec un noyau de Bessel discret.
Soit une permutation et soit . Lorsque est aléatoire de loi uniforme, vu comme un processus ponctuel sur l'ensemble des entiers naturels est déterminantal pour la mesure de comptage.
Le noyau vérifie l'équation :
Ici, les sont les nombres de Bernoulli vérifiant
Processus de portée 1 stationnaires
modifierTout processus stationnaire sur l'ensemble des entier relatives de portée 1 est déterminantal pour la mesure de comptage[8]. Le noyau vérifie
avec
Notes et références
modifier- Sidoravicius, Vladas, et Smirnov, S. (Stanislav), 1970-, Probability and statistical physics in St. Petersburg : St. Petersburg School Probability and Statistical Physics : June 18-29, 2012 : St. Petersburg State University, St. Petersburg, Russia, , 471 p. (ISBN 978-1-4704-2248-6, OCLC 916408360, lire en ligne)
- Kulesza, Alex., Determinantal point processes for machine learning, Now Publishers, , 178 p. (ISBN 978-1-60198-628-3 et 1-60198-628-9, OCLC 855104988, lire en ligne)
- Alexander Bufetov, Introduction elémentaire aux processus déterminantaux (lire en ligne)
- Bovier, Anton, 1957-, Mathematical statistical physics : École d'Été de Physique des Houches : Session LXXXIII : 4-29 July, 2005 : ESF Summer School : École thematique du CNRS, Elsevier, , 816 p. (ISBN 978-0-444-52813-1, OCLC 155190813, lire en ligne)
- Adrien Hardy et Mylèna Maïda, « Processus ponctuels déterminantaux », La Gazette des mathématiciens, (lire en ligne)
- (en) Jean Ginibre, Statistical Ensembles of Complex, Quaternion, and Real Matrices (lire en ligne)
- « American Mathematical Society » (DOI 10.1090/s0894-0347-00-00337-4, consulté le )
- « American Mathematical Society » (DOI 10.1090/s0273-0979-2010-01306-9, consulté le )