La 17e journée de la Fédération Normandie-Mathématiques est prévue le

lundi 26 mai 2025,

à l'INSA de Rouen, Saint-Étienne-du-Rouvray.

Programme

(Voir détails, titres et résumés ci-dessous)


Exposé plénier 1 (amphi Germaine Tillion, 9h30–10h25)

Lionel Riou-Durand (LMI) Metropolis Adjusted Langevin Trajectories: a robust alternative to Hamiltonian Monte Carlo We introduce MALT: a new Metropolis adjusted sampler built upon the (kinetic) Langevin diffusion. Compared to Generalized Hamiltonian Monte Carlo (GHMC), the Metropolis correction is applied to whole Langevin trajectories, which prevents momentum flips, and allows for larger step-sizes. We argue that MALT yields a neater extension of HMC, preserving many desirable properties. We extend optimal scaling results of HMC to MALT for isotropic targets, and obtain the same scaling with respect to the dimension without additional assumptions. We show that MALT improves both the robustness to tuning and the sampling performance of HMC on anisotropic targets. We compare our approach with Randomized HMC, recently praised for its robustness. We show that, in continuous time, the Langevin diffusion achieves the fastest mixing rate for strongly log-concave targets. We then assess the accuracies of MALT, GHMC, HMC and RHMC when performing numerical integration on anisotropic targets, both on toy models and real data experiments on a Bayesian logistic regression. We show that MALT outperforms GHMC, standard HMC, and is competitive with RHMC.


Session parallèle I (salle MA IR1 04, 11h–12h15)

Session parallèle II (salle MA IR1 06, 11h–12h15)

Session parallèle III (salle MA IR1 04, 14h00–15h15)

Session parallèle IV (salle MA IR1 06 14h00–15h15)

Exposé plénier 2 (amphi Germaine Tillion, 15h50–16h45)

Jean-Stefan Koskivirta (LMNO) Formes modulaires et courbes elliptiques Les formes modulaires sont des objets de l'analyse harmonique qui renferment étonnamment bon nombre de propriétés arithmétiques. Dans cet exposé introductif, on donnera un aperçu de la conjecture de Taniyama-Shimura, dont la démonstration par Wiles à la fin du 20ème siècle a permis la résolution du célèbre dernier Théorème de Fermat, plus de 300 ans après sa formulation. Au cœur de cette conjecture figure la relation étroite entre formes modulaires et courbes elliptiques, lien qui constitue un cas particulier de la philosophie de Langlands développée à partir des années 1960.