Institut de recherche mathématique avancée

L'institut

Photo de la tour IRMA

L'IRMA

Riche d’une histoire de plus de 100 ans, l'IRMA est aujourd'hui une unité mixte de recherche sous la double tutelle de l’Institut National des Sciences Mathématiques et de leurs Interactions du CNRS et de l’Université de Strasbourg.

L'Institut est adossé à l'UFR de Mathématiques et Informatique de l'Université de Strasbourg.

Photo de la tour IRMA

L'IRMA

Riche d’une histoire de plus de 100 ans, l'IRMA est aujourd'hui une unité mixte de recherche sous la double tutelle de l’Institut National des Sciences Mathématiques et de leurs Interactions du CNRS et de l’Université de Strasbourg.

L'Institut est adossé à l'UFR de Mathématiques et Informatique de l'Université de Strasbourg.

À la une

icmp2024

ICMP 2024

ICMP 2024 : les inscriptions sont ouvertes !!


©icmp2024
icmp2024

ICMP 2024

ICMP 2024 : les inscriptions sont ouvertes !!


©icmp2024

Agenda

  • Du 17 au 19 juin 2024 conférence

      Sixth Workshop on Compressible Multiphase Flows
    • Lieu : Salle de conférences IRMA
  • Lundi 17 juin 2024 - 15h30 Séminaire Géométrie et applications

      Victor Jaeck : La compactification par le spectre réel de la variété de caractères et sa relation avec d'autres compactifications
    • Lieu : Salle de séminaires IRMA
    • Résumé : Nous étudions l'ensemble des représentations totalement réductibles d'un groupe finiment généré dans $\mathrm{SL}_2(\mathbf{R})$. Son quotient par rapport à la post-conjugaison par $\mathrm{SL}_2(\mathbf{R})$ forme la variété de caractères qui aide à comprendre des structures géométriques sur les surfaces. Dans cet exposé, nous examinons les dégénérescences de ces représentations en étudiant des compactifications de la variété de caractères. En particulier, nous présentons sa compactification par le spectre réel, ses propriétés topologiques, et montrons qu'elle se projette continûment sur la compactification orientée de la variété de caractères définie par Maxime Wolff. Pour ce faire, nous interprétons ses points limites géométriquement et leur associons des arbres réels orientés.

  • Mardi 18 juin 2024 - 10h45 Séminaire Calcul stochastique

      Oriane Blondel : A random Markov property for random walks in dynamic random environments
    • Lieu : Salle de séminaires IRMA
    • Résumé : We consider random walks in dynamic random environments. We propose a criterion which, if satisfied, allows to decompose the random walk trajectory into iid increments, and ultimately to prove limit theorems. The criterion involves the construction of a random field satisfying a certain random Markov property along with some mixing estimates. We apply this criterion to correlated environments such as Boolean percolation and iid (in space) renewal chains.

  • Mardi 18 juin 2024 - 14h00 Séminaire Algèbre et topologie

      Tudor Padurariu : The commuting stack via quasi-BPS categories
    • Lieu : Salle de séminaires IRMA
    • Résumé : For a Calabi-Yau threefold X, one expects, following Kontsevich-Soibelman, to define a Hall algebra on the moduli stacks of sheaves on X. Such algebras are a bridge between the enumerative geometry of X and quantum groups. The first example to study is C^3. In this case, the Kontsevich-Soibelman Hall algebras are the same as Hall algebras defined by Schiffmann-Vasserot and Porta-Sala. I will discuss the structure of the categorical Hall algebra of C^2. More precisely, I will discuss a semi orthogonal decomposition of this Hall algebra in quasi-BPS categories, compute these quasi-BPS categories, and relate them to a Bridgeland-King-Reid-Haiman theorem for the Hilbert scheme of points on C^3. I will also explain a (heuristic) connection between the categorical Hall algebra of C^2, the Betti Langlands program for an elliptic curve and the Fukaya category of the torus (following Schiffmann-Vasserot). This is based on joint work in progress with Sabin Cautis and Yukinobu Toda.

  • Jeudi 20 juin 2024 - 09h00 Séminaire IRMIA++

      Bérenger Bramas : Vectorization: what it is, why it matters, and why the compiler often fails
    • Lieu : Salle de conférences IRMA
    • Résumé : In this presentation, I will explain what vectorization is and how it is used by modern CPUs to increase peak performance. I will then discuss what it entails to vectorize code, focusing on the implementation of an efficient sorting algorithm, and why compilers often fail to do this automatically. Finally, I will present Autovesk, our tool for automatic vectorization. I will describe our solution for transforming a graph of scalar instructions into a graph of vectorized instructions.

      The seminar will also be broadcasted on BBB: https://bbb.unistra.fr/b/hum-51d-suf-mzq

      Bérenger Bramas is a researcher (Chargé de Recherches) at Inria Nancy since October 2018. He is also a member of the ICube laboratory. He defended his PhD thesis in 2016 on the parallelization and optimization of the time-domain boundary element method for the wave equation. Subsequently, he worked as an HPC Expert at the Max Planck Supercomputing Center (MPCDF). His research interests focus on scientific computing, runtime systems, scheduling, software engineering for HPC, and automatic optimization/parallelization.

  • Jeudi 20 juin 2024 - 11h00 Séminaire Analyse

      Theo Mckenzie : Optimal Spectral Rigidity for Random Regular Graphs
    • Lieu : Salle de conférences IRMA
    • Résumé : Abstract: Random d-regular graphs form a ubiquitous model for chaotic systems. However, the spectral properties of their adjacency matrices have proven difficult to analyze because of the strong dependence between different entries. In this talk, I will describe recent work that shows that despite this, the fluctuation of eigenvalues of the adjacency matrix are of the same order as for Gaussian matrices. This gives an optimal error term for Friedman's theorem that the second eigenvalue of the adjacency matrix of a random regular graph converges to the spectral radius of an infinite regular tree. Crucial is tight analysis of the Green’s function of the adjacency operator and an analysis of the change of the Green's function after a random edge switch. This is joint work with Jiaoyang Huang and Horng-Tzer Yau.

Actualités

Toutes les actualités