Séminaire doctorant

Mise à jour le   25/11/2024

Le séminaire brestois des doctorant·e·s en mathématiques est un séminaire créé à destination des doctorant·e·s. Il a habituellement lieu le lundi à 14h, dans la salle H118.

N'hésitez pas à vous joindre à nous ! En bonus, les exposés sont suivis d'une pause café-thé avec un gâteau.

Contact : laurine.weibel@univ-brest.fr et pierre.martinez@univ-brest.fr

Décembre 2024

  • 2 décembre : Tino Laidin (LMBA)

Équations cinétiques et approximation numérique

Les systèmes de particules en interaction apparaissent dans de nombreux domaines de la physique et de la biologie. Les modèles qui nous intéressent vont de la dynamique des gaz aux semi-conducteurs, en passant par la chimiotaxie. 

Ces systèmes peuvent être décrits à trois échelles principales : particulaire (microscopique), cinétique (mésoscopique) et fluide (macroscopique). Cette présentation se concentrera sur la description cinétique. Dans ce contexte, l'inconnue est la fonction de distribution des particules, qui est la solution d'une équation aux dérivées partielles. On s'intéressera aussi au lien entre les échelles mésoscopique et macroscopique.

En général, ce type EDP est difficile à résoudre analytiquement, et il arrive parfois qu'aucune solution explicite ne soit disponible. En discrétisant le problème, on peut alors concevoir une méthode numérique pour approcher la solution. Dans cet exposé, je présenterai la méthode des Volumes Finis. J'illustrerai au travers de simulations des propriétés de cette méthode dans un cas simple puis appliqué à des équations cinétiques.

 

  • 9 décembre : Fabrice Étienne (IMB)

Calcul du groupe des classes d'un corps de nombre par induction, avec des relations de normes généralisées.

Dans cet exposé, on définira le groupe des classes d'un corps de nombre, qui est un objet important en théorie des nombres et dans certaines branches de la cryptographie.
Étant donné un corps de nombre K, Il existe un algorithmes classique pour calculer son groupe des classes Cl(K), l'algorithme de Buchmann. Cependant, la complexité est exponentielle en le degré d du corps K.
Le but de la deuxième partie de l'exposé sera d'expliquer le fonctionnement d'algorithmes qui permettent de calculer le groupe des classes d'un corps de nombre K de grand degré de manière inductive, en se ramenant au même calcul sur d'autres corps de degrés plus petits.
Ces méthodes utilisent des objets appelés relations de normes et relations de normes généralisées, qui sont des relations dans le G-module Q|LS|G|RS|, où G est le groupe de Galois de la cloture galoisienne \Tilde|LF|K|RF| de K.

 

Janvier 2025

  • 13 janvier :  Julie Reina (LMBA)

TBA

  • 20 janvier :  Mathieu Vallée (LIPN)

TBA

  • 27 janvier :  Elias Nohra (LPSM)

Autour de la mesure de Yang—Mills en deux dimensions

La théorie de Yang–Mills est une théorie quantique des champs (QFT) qui vise à décrire les interactions entre les particules élémentaires. Comme toute QFT, elle peut s'exprimer à l'aide d'intégrales de chemins de Feynman : des intégrales par rapport à des « mesures de probabilité » formelles sur des espaces de dimension infinie, qui, dans ce cas, correspondent à l'espace des connexions modulo le groupe de jauge d'un fibré principal. La construction mathématique rigoureuse de ces mesures est souvent un véritable défi.

Dans cet exposé, nous commencerons par une brève introduction à la théorie de Yang–Mills et à ses observables. Nous verrons ensuite comment, en dimension 2, cette mesure peut être construite rigoureusement comme la loi d'un processus de déplacements parallèles aléatoires, suivant les travaux de Driver, Lévy, Sengupta, etc. Enfin, nous aborderons les travaux plus récents de Chevyrev, qui définissent cette mesure comme la loi d’une variable aléatoire prenant ses valeurs dans un espace de connexions distributionnelles bien choisi.

 

 

Février 2025

  • 3 février :  Baptiste Guillaud (LMBA)

TBA

  • 24 février :  Thibault Chailleux (LAREMA)

TBA

 

 


Séminaires passés:

Novembre 2024

  • 25 novembre : Lucas Pinsard Morel (LMJL)

Étude de flots d'applications moments sur les tores de dimension réelle 2 et 4

Le but de cet exposé est d'explorer la topologie globale du groupe des symplectomorphismes lisses du tore de dimension 4 grâce à un flot d'application moment. Cette dernière sert à réaliser le dit groupe comme son lieu de zéros. Je traiterai le cas du tore de dimension 2 comme exemple introductif. Le flot n'étant pas elliptique, j'expliquerai alors comment utiliser un argument de DuTurck exploitant les symétries de l'équation afin de la transformer en un problème parabolique. J'en déduirai alors un résultat d'existence en temps court du flot.

 

  • 4 novembre : Théo Gherdaoui (IRMAR)

Obstructions quadratiques à la contrôlabilité locale en temps petit pour les systèmes multi-commandés. 

Dans cet exposé, nous présenterons une condition nécessaire à la contrôlabilité locale en temps petit des systèmes de contrôle affines multi-commandés. Cette condition fait intervenir l'évaluation en zéro des crochets de Lie des champs de vecteurs : elle implique à la fois leur direction et leur amplitude. La preuve est une adaptation au cas à entrées multiples d'une méthode générale introduite dans le cas des systèmes mono-contrôlés. Elle repose sur une formule de représentation de type Magnus : l'état est approximé par une combinaison linéaire de l'évaluation en zéro des crochets de Lie, dont les coefficients sont des fonctionnels du temps et des contrôles. Enfin, les obstructions résultent des inégalités d'interpolation de Gagliardo-Nirenberg. 

 

Octobre 2024

  • 21 octobre : Auriane Gabaut (INRIA) 

Regularized estimation of non-linear mixed effect models in the presence of high-dimensional biomarkers

Mechanistic models are valuable for understanding the dynamic interactions between cell populations. However, achieving model identifiability often requires observations across multiple compartments, information that we believe could be inferred from high-dimensional transcriptomic data. Thus we propose a statistical method to jointly estimate parameters of a structural mechanistic model involving compartments defined as latent processes, and the relationship between these compartments and high-dimensional biomarkers. Our primary objective is to identify relevant biomarkers by regularizing the parameters linking them to the latent compartments while simultaneously estimating the population parameters from our mechanistic model.

To achieve this, we employ an iterative algorithm for Lasso-penalized maximum likelihood estimation |LS|Tibshirani, 1996|RS|. This method, previously studied for joint models incorporating high-dimensional covariates in Cox models |LS|Caillebotte et al., 2024|RS|, is adapted here to integrate latent processes within a mechanistic framework to capture unobserved dynamic variables that play a crucial role.

The estimation algorithm iterates between a regularization step and a mechanistic inference step with the overall goal to maximize the penalized likelihood of the model.  In the regularization step, we update the coefficients associating the latent compartment to the biomarkers. Updates to the regularization parameters are derived from setting the first derivatives of the penalized log-likelihood to zero, with approximations obtained via second-order Taylor developpement.The mechanistic inference step focuses on estimating the mechanistic parameters using the Stochastic Approximation Expectation-Maximization (SAEM) algorithm |LS|Dempster et al., 1977; Delyon et al., 1999|RS|, implemented through the Monolix software |LS|Kuhn & Lavielle, 2005, Monolix 2023R1, Lixoft SAS, a Simulations Plus company|RS|, considering the updated regularized coefficients from the first step.

Auteurs : Auriane Gabaut, Ariane Bercu, Mélanie Prague, Cécile Proust-Lima
Affiliation :
1. Université de Bordeaux, Inria, Inserm, Bordeaux Population Health Research Center, SISTM Team
2. Université de Bordeaux, Inserm, Bordeaux Population Health Research Center, BIOSTAT Team
3. Vaccine Research Institute, Créteil

 

  • 14 octobre : Raphaël Ravasse (LOPS) 

Différentes approches de l'équilibre chez les tourbillons ponctuels.

On peut modéliser simplement un système de tourbillons par des points en lesquels s'appliquent des forces. Ceux-ci interagissent entre eux, et une idée qu'on peut explorer est de trouver les conditions dans lesquelles ces tourbillons ne bougent pas les uns par rapport aux autres.

 

  • 4 octobre : Milan Arrouas (IRMAR)

Groupes de biholomorphismes de tores de dimension complexe deux.

Un tore complexe de dimension n est le quotient d'un C-espace vectoriel par un réseau. A translation près, son groupe de biholomorphisme -d'application holomorphes d'inverse holomorphe- s'identifie avec les applications C-linéaire préservant le réseau. En général, ce groupe est petit, souvent fini. Cependant, il existe des cas ou ce groupe est beaucoup plus riche. Cela dépend de deux facteurs: de la position du réseau par rapport à la structure complexe, et de l'arithmétique du réseau. En dimension deux, une classification complète existe, que nous dresseront partiellement. Cela vous parait trop complexe? Vous avez tore voyons! ;)

 

Septembre 2024

  • 16 et 23 septembre : Mini-présentations par les doctorant·e·s du LMBA

 

Juin 2024

  • 10 juin : Louis Dailly (IRMAR - Institut de Mathématiques de Toulouse)

Uniformisation et orbifolds.

Lorsqu'on dispose d'une variété complexe compacte connexe, une question naturelle est de décrire son revêtement universel : ce sont les problèmes d'uniformisation. Au début du 20e siècle, Poincaré et Koebe ont étabi une telle description pour les surfaces de Riemann, et cette description dépend du genre de la surface.

D'un autre côté, lorsqu'un groupe G agit par biholomorphismes sur une variété complexe compacte X de manière libre et propre, l'application quotient donne un revêtement et l'espace des orbites est naturellement muni d'une structure de variété qui rende cette application quotient holomorphe. Si on omet l'hypothèse de liberté, on obtient des espaces quotients qui sont munies de singularités. Les objets qui semblent particulièrement adaptés pour ces questions d'uniformisation sont les orbifolds, espaces topologiques dont les modèles locaux sont des quotients de C^n par un groupe fini agissant linéairement. Peut-on adapter les résultats de Poincaré et Koebe dans le cadre orbifold et en dimension supérieure ?

 

  • 5 juin : Louis Lerey (LMBA)

A convolutional sparse coding algorithm and its application for spike sorting.

Convolutional sparse coding (CSC) aims to approximate a signal by a sparse combination of short signal templates. I will talk about the CSC algorithm with a l0 penalty and a no-overlap constraint (CSC-l0 N.O.) and how it differs from traditional CSC-l1 algorithms in terms of complexity and optimization. This method can be used in the medical field to identify characteristic patterns in time series such as in electrophysiological signal for example because each neuron has a specific action potential waveform. I will present how to sort detected action potential spikes with the CSC-l0 N.O. method. The full algorithm presented starts from a raw recording and individually identify the activity of multiple neurons.

 

 Mai 2024

  • 27 mai : Léo Bartoli

Théorie des locales et topologie sans point.

 

  • 13 mai : Mattia Morbello (IRMAR)

Comment les géomètres complexes font des EDO sur une courbe ? 

Naïvement, on pourrait dire que historiquement certains problèmes de géométrie découlent des problèmes d'analyse auxquels on a rajouté de la topologie, de la courbure et certaines rigidités, comme notamment celles des polynômes et des fonctions holomorphes. Dans cet exposé on essaye de rajouter ces trois contraintes à l'étude des EDO sur les plus petites variétés complexes : les courbes complexes (autrement dit les surfaces de Riemann).

 

  • 7 mai : Maxence Petit (LPSM)

Reflected Brownian Motion and Martin boundary

This presentation will first introduce the planar reflected Brownian motion in a wedge : this is a stochastic process acting like a Brownian motion inside a quadrant but reflected obliquely when it reaches the edges. Then, I will talk about transient Markov processes, i.e. processes that "go to infinity". This is a case for example for drifted Brownian motions or standard Brownian motion in dimension 3 or more. The transience property for Markov processes is similar to the notion for discrete-time Markov chains. For transient Markov processes, we will talk about the Martin boundary which are the "points at infinity" and give a compactification of the state space. This object allows us to find all the harmonic functions satisfying a certain boundary condition. Finally, we will see the Martin boundary of the Reflected Brownian motion when this process is transient.

 

Avril 2024

  • 22 avril : Rencontres doctorales Lebesgue

Pour plus de détails, voir https://www.lebesgue.fr/fr/RDL2024.

 

  • 15 avril : Mini-présentations par les stagiaires
  •  
  • 8 avril : Rémi Delloque (LMBA)

Correspondance de Kobayashi-Hitchin

 

Mars 2024

  • 25 mars : Thierno Mamadou Balde (LMBA)

The analysis of non-overlapping adhesion models.

 

  • 6 mars : Majid Lagnaoui (LMBA)

Niveau de fleuve et convergence en loi.

 

Février 2024

  • 19 février : Laurine Weibel (LMBA)

Hyperbolicity, orbifolds and finiteness results.

 

Janvier 2024

  • 31 janvier : Présentation du séminaire et de ses partipant·e·s