Convergence de Langevin adaptatif en utilisant l'hypocoercivité

Cette séance de cours couvre la convergence de la dynamique adaptative Langevin, axée sur les techniques hypocoercives. Il passe en revue la convergence de la dynamique de type Langevin, démontre les taux de convergence et discute du théorème de limite centrale. L'instructeur présente la structure de la dynamique adaptative Langevin, l'élimination du biais mini-batching, et les limites hamiltoniennes et surendommagées. La séance de cours explore également les équations Fokker-Planck, les résultats d'ergonomie et l'approche directe L2. Il s'enfonce dans la netteté de l'échelle, des éléments de preuve, et le théorème de limite centrale. Certains résultats numériques et la normalisation de la dynamique pour l'inférence bayésienne dans le contexte des grandes données sont également discutés.