Evénements passés

Salle de Conférences

Organisateur : David Lannes

Ninth Itinerant Workshop in PDEs

Le 9 janvier 2018 à 10:00

Salle 385

Fredrik Johansson imb

Numerical integration in complex interval arithmetic

We present a new implementation of validated arbitrary-precision numerical evaluation of definite integrals $\int_a^b f(x) dx$, available in the Arb library. The code uses a version of the Petras algorithm, which combines adaptive subdivision with Gauss-Legendre (GL) quadrature, evaluating the integrand on complex intervals surrounding the path of integration to obtain rigorous error bounds. The first part of the talk discusses the general algorithm and its performance for interesting families of integrals. The second part, which is based on joint work with Marc Mezzarobba, discusses the fast computation of GL quadrature nodes with rigorous error bounds. It is well known that GL quadrature achieves a nearly optimal rate of convergence for analytic integrands with singularities well isolated from the path of integration, but due to the cost of generating GL quadrature nodes, the more slowly converging Clenshaw-Curtis and double exponential quadrature rules have often been favored when an accuracy of several hundreds or thousands of digits is required. We consider the asymptotic and practical aspects of this problem. An order-of-magnitude speedup is obtained over previous code for computing GL nodes with simultaneous high degree and precision, which makes GL quadrature viable even at very high precision.

Le 11 janvier 2018 à 14:00

Salle de Conférences

Nalini Anantharaman Strasbourg

Ergodicité quantique et délocalisation des fonctions propres

La question de l'"ergodicité quantique" demande de comprendre comment les propriétés ergodiques d'un système dynamique classique se répercutent sur des propriétés spectrales de la dynamique quantique associée. Cette question apparaît dans un article d'Einstein en 1917, mais a pris tout son sens depuis l'introduction de l'équation de Schrödinger en 1926, et surtout les simulations numériques des années 80 qui semblent montrer que pour une dynamique classique ``chaotique'', le spectre de l'équation de Schrödinger correspondante ressemble à celui de grandes matrices aléatoires. Cette question reste entièrement ouverte, en revanche on commence à bien comprendre comment le caractère chaotique de la dynamique classique implique des propriétés de délocalisation pour la dynamique quantique. Nous passerons ces propriétés en revue avec beaucoup d'exemples.

Le 11 janvier 2018 à 14:00

Salle 2

Luca Gerardo Giorda

Patient-specific modeling and simulation of Cortical Spreading Depression

Migraine is a prevailing disease in present day population. Cortical spreading depression (CSD) - a depolarisation wave that originates in the visual region and propagates across the cortex to the peripheral areas - has been deemed, by several studies, a correlate of visual aura, a neurological phenomenon preceding migraine and causing perceptual disturbance. As of today, little is known about the mechanisms that can trigger or stop such phenomenon. However, the complex and highly individual characteristics of the brain cortex suggest that the geometry might have a significant impact in supporting or contrasting the propagation of CSD. Accurate patient-specific computational models are thus fundamental to cope with the high variability in cortical geometries among individuals, but also with the anisotropies induced in a given cortex by the complex neuronal organisation in the grey matter. The most accepted assumption to explain CSD propagation is that of a progressive wave of extracellular potassium, which is presumed to follow ordinary diffusion law. Following this assumption, we present a distributed model for the extracellular potassium propagation, coupled with patient-specific conductivity tensors derived locally from Diffusion Tensor Imaging (DTI) data. We also discuss our simulation results highlighting significant differences in the propagation traveling patterns of CSD, both intra and inter-hemispherically, as well as some preliminary application to clinical case studies. This is a joint work with JM Kroos and I. Marinelli from BCAM (Bilbao), JM Cortes and I. Diez from BioCruces Health Research Institute (Bilbao), and S. Stramaglia from University of Bari.

Le 11 janvier 2018 à 15:15

Salle de Conférences

Nikolai Nikolski\, IMB\, U. Bordeaux

Bornes spectrales des opérateurs et des matrices de Hankel, I

Les deux exposés représentent un aperçu des asymptotiques des spectres de Hankel (avec des certaines nouveautés ainsi qu'une analyse des techniques utilisées). En particulier, il s'agit d'expliquer pourquoi "toute matrice de Hankel est (très) mal conditionnée" (surtout, d'après B.Beckermann et Ch.Berg) et comment contrôler les nombres conditionnés de Moore-Penrose.

Le 12 janvier 2018 à 10:45

Salle 2

Guillaume ROND U. Aix-Marseille

Sur le support d'une série de Laurent algébrique sur le corps des séries formelles.

J'expliquerai certains résultats sur la clôture algébrique du corps des séries formelles en plusieurs variables en caractéristique zéro. J'expliquerai un résultat de MacDonald qui affirme que les éléments d'une telle clôture peuvent être vus comme des séries de Puiseux (de Laurent) à support dans un cône strictement convexe. Ensuite je m'intéresserai à donner des caractérisations de l'algébricité de séries de Laurent à support dans un cône strictement convexe. En particulier je donnerai une condition nécessaire qui fait intervenir la taille des lacunes d'une telle série. C'est un travail en collaboration avec Fuensanta Aroca.

Le 12 janvier 2018 à 14:00

Salle de Conférences

Richard Griffon Leiden

Estimation asymptotique de valeurs spéciales de fonctions L de courbes elliptiques dans une famille d'Artin-Schreier..

Les fonctions L des courbes elliptiques sur les corps globaux encodent (conjecturalement) beaucoup d'informations arithmétiques sur celles-ci. En général cependant, pour une courbe elliptique E sur $\mathbb{F}_q$(t) de grand conducteur, on ne dispose que de peu d'informations analytiques sur L(E, s). Plus spécifiquement, nous considérons leur valeur spéciale L*(E, 1) (i.e. le premier coefficient non nul dans le développement de Taylor de L(E, s) en s=1) et nous nous intéressons au problème de comparer la taille de L*(E, 1) à celle du conducteur de E. Des heuristiques suggèrent que L*(E, 1) devrait génériquement être «aussi grosse que possible», mais ce comportement n'a été démontré que pour un nombre limité de familles de courbes elliptiques, et la question reste très largement ouverte. Dans cet exposé, après avoir introduit cette question et les motivations sous-jacentes plus en détail, je parlerai d'un travail récent à propos d'une famille «d'Artin-Schreier» de courbes elliptiques E définies sur $\mathbb{F}_q$(t). Plus précisément, j'expliquerai comment calculer leur fonction L explicitement, et comment on peut en déduire une borne asymptotique très précise sur L*(E, 1) en termes de leur conducteur. À l'aide de la conjecture de Birch et Swinnerton-Dyer (qui est un théorème dans ce cas), on pourra alors traduire cette borne en une estimation asymptotique de certains invariants arithmétiques des courbes E considérées.

Le 15 janvier 2018 à 11:30

Salle de Conférences

Kirsten Morris University of Waterloo

Sans titre

Le 15 janvier 2018 à 15:15

Salle 2

Debayan Maity

Mathematical Analysis of the Motion of a Rigid Body in a Compressible Navier-Stokes-Fourier Fluid

We consider an initial and boundary value problem modelling the motion of a rigid body in a heat conducting gas. The solid is supposed to be a perfect thermal insulator. The gas is described by the compressible Navier-Stokes-Fourier equations, whereas the motion of the solid is governed by Newton's laws. The main results assert the existence of strong solutions, in an $L^p$-$L^q$ setting, both locally in time and globally in time for small data.

Le 16 janvier 2018 à 14:00

Salle 2

Gabriel Rivière Lille

Laplacien de Witten et résonances de Pollicott-Ruelle.

Etant données une fonction lisse à valeurs réelles et une métrique riemannienne sur une variété compacte sans bords, on peut définir un champ de gradient mais aussi une famille d'opérateurs elliptiques nommés laplaciens de Witten. Sous des hypothèses de type Morse-Smale, j'expliquerai pourquoi le spectre de Witten converge vers le spectre du champ de gradient agissant sur des espaces de Sobolev anisotropes. Ce spectre limite est connu sous le nom de spectre de Pollicott-Ruelle et il apparait naturellement dans l'étude de la limite en temps long des systèmes dynamiques hyperboliques. Il s'agit d'un travail en collaboration avec Nguyen Viet Dang (Lyon)

Le 18 janvier 2018 à 11:00

Salle de Conférences

Frederic Barraquand IMB

Population dynamics in random environments: theoretical and statistical problems from ecology

In this talk, I will present two subfields of quantitative ecology that require modelling the population dynamics of one or several species in random environments: - Theory: what is the effect of increased variability in a forcing on population dynamics (e.g., can increased climate variability imperil bird populations?) - Statistics: how to estimate interactions between species using multivariate autoregressive models and time series of counts. This endeavour connects to the definition of statistical causality (e.g., Granger causality), debated in neuroscience & econometrics as well. For both themes, I will highlight both ongoing work in ecology and related fields, as well as opportunities for further research at the applied probability/statistics - ecology interface.

Le 18 janvier 2018 à 14:00

Salle de Conférences

Eskil Rydhe Leeds

Hankel operators and Carleson embeddings in an operator valued setting

Le 18 janvier 2018 à 15:30

Salle de Conférences

Fabien Crauste

Immunologie mathématique : vers une approche multi-échelles de la réponse immunitaire T CD8

En réponse à une infection par un pathogène intracellulaire, l'organisme met en place de nombreuses défenses dont une réponse immunitaire dite spécifique, s'appuyant sur l'activation et la différenciation de lymphocytes T. L'activation de la réponse T s'effectue par présentation d'un marqueur du pathogène, appelé antigène, à des cellules T dites naïves. Cette présentation consiste en l'activation de voies de signalisations moléculaires qui entrainent prolifération et différenciation des cellules T en vue d'éliminer les cellules infectées par le pathogène et de générer une population de cellules T dites mémoires, capables de réagir à une infection ultérieure par le même pathogène plus rapidement et plus efficacement. La vaccination se base sur la génération de cellules mémoires. L'ensemble des mécanismes mis en jeu lors d'une réponse immunitaire spécifique implique donc à la fois des régulations moléculaires (activation de voies de signalisation, inhibition de la mort, activation de la prolifération...) et cellulaires (augmentation rapide de la taille de la population de cellules, processus de différenciation cellulaire...), qu'il convient de décrire avec précision afin de modéliser le déroulement d'une réponse immunitaire. Je présenterai les travaux que j'ai réalisés ces dernières années sur la modélisation multi-échelles de la réponse T CD8 : tout d'abord des travaux consistant en une description du processus cellulaire de différenciation, puis le développement d'un modèle multi-échelles (continu à l'échelle moléculaire, discret vs continu à l'échelle cellulaire), réalisés en collaboration avec des chercheurs et enseignants-chercheurs du Centre International de Recherche en Infectiologie (CIRI), à Lyon.

Le 19 janvier 2018 à 10:45

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 2

Gabriel LEHERICY U. Paris 7

Dérivations de type Hardy sur les corps de séries généralisées

On sait grâce à Kaplansky que tout corps valué qui a même caractéristique que son corps résiduel est isomorphe à un sous-corps d'un certain corps de séries généralisées. On peut alors se demander si un analogue du théorème de Kaplansky existe pour les corps différentiellement valués, c'est-à-dire les corps valués munis d'une dérivation ``de type Hardy'' tels que les H-corps étudiés par Aschenbrenner et van den Dries. Cela nécessite de pouvoir définir une dérivation de type Hardy sur les corps de séries généralisées. On aimerait également que la dérivation satisfasse une condition de linéarité forte (c'est-à-dire que la dérivation commute avec les sommes infinies) et une règle de Leibniz forte (la dérivation commute avec certains produits infinis). Dans cet exposé, nous considérerons un corps de séries généralisées k((G)) et on donnera des conditions sur k et G pour l'existence d'une telle dérivation. On donnera également une méthode pour définir la dérivation explicitement. Il s'agit d'un travail en collaboration avec Salma Kuhlmann.

Le 19 janvier 2018 à 11:00

Salle 385

François Vanderbeck Prof. IMB

The conference program scheduling problem

Optimizing the schedule of the scientific program of a large conference such as the International Symposium in Mathematical Programming (ISMP) is quite challenging given the multitude of objectives, the lack of data, and the scale of the instance : there are about 520 sessions (with 3 or 4 talks in each) to schedule over a dozen time slots with 40 parallel tracks. Starting with sessions that have defined by the scientific committee, our scheduler outputs time slot and room assignment for each session. Its main goal is to spread the program evenly over the time horizon to maximize the offer that our public can attend. In this aim, the first objective is to minimize the number of parallel tracks in each thematic area. The second issue is to avoid to schedule in parallel sessions that are destined to a same public. Although the latter can not be measured precisely, we record referees' and attendees' inputs to define both hard and soft conflict constraints between sessions. The third measure of the quality of the program is the extend to which the scientific interest is evenly spread so as to avoid having all the hight profile talks into some time slots and none in other time slots. This goal is modeled as a min max of the interest measure for each time slot. All these goals are driving the optimization in the same direction of a well balance program. We develop a hierarchical optimization approach based on solving a sequence of mixed integer programs, that does scale up to our typical input size.

Le 19 janvier 2018 à 14:00

Salle de Conférences

Mauro Porta IRMA

Théorème de Hochschild-Kostant-Rosenberg pour variétés rigides

Dans cet exposé je vais commencer par rappeler le théorème HKR, qui nous donne une comparaison entre la cohomologie de de Rham et l'homologie de Hochschild d'une variété algébrique X. Le but de l'exposé sera ensuite de montrer comment généraliser ce résultat au cadre de la géométrie analytique non-archimédienne, et d'expliquer pourquoi on devrait s'intéresser à ce problème.

Le 22 janvier 2018 à 10:00

Salle 2

Philippe Moustrou IMB

On the Density of Sets Avoiding Parallelohedron Distance 1

Let $\Vert \cdot \Vert$ be a norm on $\mathbb{R}^n$. We consider the so-called unit distance graph $G$ associated with $\Vert \cdot \Vert$: the vertices of $G$ are the points of $\mathbb{R}^n$, and the edges connect the pairs $\{x,y\}$ satisfying $\Vert x-y\Vert=1$. We define $m_1\left(\mathbb{R}^n,\Vert \cdot \Vert\right)$ as the supremum of the densities achieved by independent sets of $G$. The number $m_1$ was introduced by Larman and Rogers (1972) as a tool to study the measurable chromatic number $\chi_m(\mathbb{R}^n)$ of $\mathbb{R}^n$ for the Euclidean norm.

Le 22 janvier 2018 à 14:30

Salle de Conférences

Nikolai Nikolski

Bornes spectrales des opérateurs et des matrices de Hankel - II

Ces deux exposés représentent un aperçu des asymptotiques des spectres de Hankel (avec des certaines nouveautés ainsi qu'une analyse des techniques utilisées). En particulier, il s'agit d'expliquer pourquoi "toute matrice de Hankel est (très) mal conditionnée" (surtout, d'après B.Beckermann et Ch.Berg) et comment contrôler les nombres conditionnés de Moore-Penrose.

Le 23 janvier 2018 à 14:00

Salle 2

Victor Vilaça Da Rocha BCAM

Construction de tores KAM linéairement instables pour un système de Schrödinger sur le tore.

Cet exposé a pour but de mettre en évidence l'existence de solutions quasi-périodiques linéairement instables pour un système de deux équations de Schrödinger cubiques couplées sur le tore. Dans cette optique, on utilisera la structure hamiltonienne du système via un théorème KAM et la construction d'une forme normale de Birkhoff. Ceci est un travail en collaboration avec Benoît Grébert.

Le 24 janvier 2018 à 17:00

Salle 2

Sergio Corridore

Electroporation modeling in multi-electrode system for impedance measurement

Je vais vous présenter une partie de mon travail effectué dans le cadre de ma thèse. Je travaille sur la création d'un modèle mathématique dans le domaine de l'électrochimiothérapie. Cette technique s'applique dans le traitement de certains types de tumeurs en utilisant des décharges électriques. Le modèle associé est basé sur des données qui proviennent d'une expérience effectuée par une équipe de l'Inria à Paris, afin d'analyser le problème de l'électroporation et pour comprendre les caractéristiques que le modèle doit avoir.

Le 25 janvier 2018 à 11:00

Salle de Conférences

Yvain Queau TU Munich

Méthodes variationnelles pour la vision 3D photométrique

La reconstruction 3D, qui consiste à acquérir une représentation en trois dimensions du monde à partir d'images, constitue l'un des problèmes majeurs de la vision par ordinateur. Dans cet exposé, nous nous intéresserons plus particulièrement aux approches dites "photométriques", c'est-à-dire fondées sur l'analyse des valeurs mesurées par un appareil photographique. Nous verrons comment obtenir des reconstructions denses et de haute précision en inversant le processus de formation de l'image, qui fait intervenir le relief de la scène, sa réflectance et le flux lumineux qui l'éclaire. Des applications à la métrologie, au rééclairage, à l'inspection visuelle de surfaces et à la super-résolution de cartes de profondeur pour les capteurs RGB-D seront présentées. Un soin particulier sera accordé à la modélisation mathématique rigoureuse de ce problème inverse, en vue d'élaborer des solutions numériques naturelles et élégantes. Nous discuterons notamment certains travaux récents fondés sur l'approche variationnelle. Ce cadre numérique à l'interface entre équations aux dérivées partielles, calcul des variations, inférence bayésienne et optimisation, se prête en effet particulièrement bien à l'élaboration de méthodes robustes et efficaces.

Le 25 janvier 2018 à 14:00

Salle 2

Elie Bretin

Utilisation de l'énergie de Willmore pour la reconstruction d'un volume à partir de coupes

Nous nous intéressons dans ce travail à la reconstruction d'un ensemble volumique à partir d'informations partielles de ce dernier sur plusieurs coupes planaires. Une motivation concerne notamment la segmentation 3D en application à l'imagerie par résonance magnétique. Ce problème inverse est naturellement mal posé et l'idée est d'exploiter la régularité de l'ensemble reconstruit en minimisant l'énergie de Willmore sous contrainte de satisfaire les données. Nous présenterons alors une approximation numérique de ce problème d'optimisation basée sur une approche champs de phase ainsi que des expériences numériques qui montreront l"efficacité d'une telle méthode. Ce travail est en collaboration avec François Dayrens et Simon Masnou.

Le 25 janvier 2018 à 14:00

Salle de Conférences

Jérôme Le Rousseau Paris 13

Mesures de défaut de compacité et application à un problème inverse pour l'équation des ondes

Le 26 janvier 2018 à 10:45

Salle 2

Martin Möller Francfort

A smooth compactification of strata of abelian differentials..

The moduli space of flat surfaces is stratified according to the number and multiplicities of zeros. The goal of the talk is to construct a compactification of those strata that is as nice as Deligne-Mumford's compactification of the moduli space of curves. Applications include computation of characteristic quantities of flat surfaces.

Le 26 janvier 2018 à 14:00

Salle de Conférences

Zhiyu Tian Institut Fourier

Principe de Hasse sur les corps de fonctions..

Dans cet exposé, je vais expliquer une méthode géométrique pour l'étude du principe de Hasse sur les corps de fonctions à la de Jong-Starr, ou l'étude des courbes rationnelles dans une variété joue un rôle très important.

Le 29 janvier 2018 à 14:00

Salle de Conférences

Robert Deville

Courbes vérifiant une condition de cône.

Le 30 janvier 2018 à 10:00

Salle 385

Jared Asuncion IMB

ECPP in PARI/GP

The elliptic curve primality proving (ECPP) algorithm not only proves (or disproves) the primality of an integer $N$ but also provides, if $N$ is prime, a primality certificate which one can verify quickly. In this talk, we recall the steps of ECPP and discuss its implementation in PARI/GP.

Le 30 janvier 2018 à 11:00

Salle de Conférences

Mariana Haragus

11h-12h30 Mini-cours : A la recherche des orbites hétéroclines: les outils . 14h-15h Séminaire : A la recherche des orbites hétéroclines: deux exemples.

Mini-cours : Les orbites hétéroclines sont des orbites particulières des systèmes dynamiques qui relient deux points d'équilibre distincts du système. Dans ce mini-cours, on présente quelques outils de la théorie des systèmes dynamiques et de la théorie des bifurcations permettant de montrer l'existence des orbites hétéroclines dans des systèmes dynamiques de dimension infinie. Il s'agit plus précisément des méthodes de réduction de type variété centrale, des formes normales, et des méthodes perturbatives de type Melnikov. Séminaire : Dans cet exposé, on étudiera l'existence de fronts coniques dans les systèmes de réaction-diffusion, d'une part, et l'existence de défauts de type joints de grain dans l'équation de Swift-Hohenberg, d'autre part. Dans les deux cas, la question de l'existence de ces solutions particulières est ramenée à l'étude de l'existence des orbites hétéroclines d'un certain système dynamique de dimension infinie. Des outils de la théorie des systèmes dynamiques et de la théorie de bifurcations permettent ensuite de montrer l'existence de ces solutions.

Le 1er février 2018 à 09:00

Salle de Conférences

Organisateurs : François Clautiaux\, membre des bureaux de la ROADEF et de l'AMIES.\nAntoine Jeanjean\, membre du bureau de la ROADEF.

1ère Journée Entreprises - Aquitaine - Optimisation, Recherche Opérationnelle, Intelligence Artificielle

Le 1er février 2018 à 11:00

Salle 2

Sans titre

Le 1er février 2018 à 14:00

Salle 2

pas de seminaire

Le 2 février 2018 à 10:45

Salle 2

Javier RIBON U. Fluminense

Completely integrable vector fields

We consider completely integrable vector fields, i.e. local holomorphic vector fields that possess a maximum number of independent first integrals. In particular we will focus in dimension 3. A priori a completely integrable vector field should be easy to understand since its trajectories are the levels of a holomorphic map but there are interesting open problems concerning its geometrical properties and the algebraic structure of its space of first integrals. We will show that a completely integrable vector field either has infinitely many holomorphic invariant curves through the origin or its singularity at the origin is not isolated. This generalizes a result by Pinheiro and Reis under much more restrictive hypotheses. Our proof is of geometrical type. This is a joint work with Felipe Cano and Marianna Ravara Vago.

Le 2 février 2018 à 14:00

Salle de Conférences

Hugues Randriam ENST

Théorie de Harder-Narasimhan pour les codes linéaires..

Les codes linéaires sont des objets combinatoires qu'on peut voir comme un analogue discret des réseaux euclidiens. Il y a aussi des liens intéressants entre codes et courbes algébriques. Il est possible d'étendre ce faisceau de relations dans au moins deux directions : théorie de Riemann-Roch, et théorie de Harder-Narasimhan. On se propose de détailler cette dernière. Cela peut se faire selon au moins trois approches très naturelles, qui se trouvent toutes mener précisément à la même notion de pentes et de semistabilité. Enfin on étudie le comportement des pentes sous certaines opérations sur les codes. Un résultat remarquable est que le produit tensoriel de deux codes semistables est semistable. (Pour comparaison, l'énoncé analogue est vrai pour les fibrés vectoriels sur les courbes en caractéristique 0 mais faux en caractéristique p, et reste ouvert pour les réseaux euclidiens.)

Le 5 février 2018 à 14:00

Salle de Conférences

Karim Kellay

Théorème d'interpolation de Stein-Sarnak et spectre d'opérateur de convolution sur L^p

Le 8 février 2018 à 11:00

Salle 2

Guillaume Garrigos ENS

Iterative regularization for general inverse problems

In the context of linear inverse problems, we propose and study a general iterative regularization method allowing to consider large classes of regularizers and data-fit terms. We focus particularly on non-smooth data-fit terms, such like a Kullback-Liebler divergence, or an L1 distance. We treat these problems by designing an algorithm, based on a primal-dual diagonal descent method, designed to solve bilevel optimization problems. The key point of our approach is that, in presence of noise, the number of iterations of our algorithm acts as a regularization parameter. In practice this means that the algorithm must be stopped after a certain number of iterations. This is what is called regularization by early stopping, an approach which gained in popularity in statistical learning. Our main results establishes convergence and stability of our algorithm, and are illustrated by experiments on image denoising, comparing our approach with a more classical Tikhonov regularization method.

Le 8 février 2018 à 14:00

Salle de Conférences

Jérémie Bigot IMB

Interpolation et lissage d'opérateurs linéaires à partir de mesures ponctuelles bruitées

We provide a new estimator of integral operators with smooth kernels, obtained from a set of scattered and noisy impulse responses. The proposed approach relies on the formalism of smoothing in reproducing kernel Hilbert spaces and on the choice of an appropriate regularization term that takes the smoothness of the operator into account. It is numerically tractable in very large dimensions. We study the estimator's robustness to noise and analyze its approximation properties with respect to the size and the geometry of the dataset. In addition, we show minimax optimality of the proposed estimator.

Le 8 février 2018 à 14:00

Salle 2

Yannick Privat

Optimisation des ressources dans un enclos

Dans ce travail, on s'intéresse à des configurations optimales de ressources (typiquement des denrées alimentaires) nécessaires à la survie d'une espèce, dans un espace fermé. A cette fin, nous utilisons un modèle dit logistique pour décrire l'évolution de la densité d'individus constituant cette population. Cette équation fait intervenir une fonction représentant la répartition hétérogène (en espace) des ressources. La question principale traitée dans cet exposé peut se formuler ainsi : comment répartir de façon optimale des ressources dans un habitat ? Elle est reformulée comme un problème extremal de valeur propre, dans lequel on cherche à minimiser la valeur propre principale d'un opérateur par rapport au domaine occupé par les ressources. Nous présenterons dans cet exposé de nouveaux résultats complétant l'analyse de ces problèmes, tels que la caractérisation complète des solutions en dimension 1 ou pour des formes d'habitat particulières en dimension supérieure, ainsi que de nombreuses propriétés qualitatives. Il s'agit de travaux en cours, en collaboration avec Jimmy Lamboley (univ. Paris Dauphine), Antoine Laurain (univ. Sao Paulo), Grégoire Nadin (univ. Paris 6).

Le 8 février 2018 à 14:00

Salle de Conférences

Arnaud Plessis Caen

Sans titre

Le 9 février 2018 à 10:45

Salle 2

Andrés Sambarino\, Paris 6

Titre à préciser

Le 12 février 2018 à 15:15

Salle 2

Jorge San Martin

Modélisation et analyse d'un objet flottant dans un fluide peu profond avec viscosité

Le 13 février 2018 à 14:00

Salle 2

Fransisco Gancedo Universidad de Seville

Regularity vs singularity for immiscible incompressible Navier-Stokes fluids

The mathematical analysis of ﬂuid mechanics models in PDEs is a classical topic of research since Euler's 1757 paper, where the equation of an ideal ﬂow was ﬁrst derived. For the well established models, such as Navier-Stokes and Euler, the incompressible case presents basic and important open questions such as regularity and ﬁnite time singularity formation of the solutions. In this talk we consider several scenarios involving the interaction among incompressible fluids of different nature. The main concern is the dynamics of the free boundary separating the fluids, which evolves with the velocity flow. The important question to address is whether the regularity is preserved in time or, on the other hand, the system develops singularities. We focus on Navier-Stokes models, where the viscosity of the fluids play a crucial role. At first showing results of finite time blow-up for the case of vacuum-fluid interaction. Later discussing new recent results on global existence for 1996 P.L. Lions' conjecture for density patches evolving by inhomogeneous Navier-Stokes equations.

Le 13 février 2018 à 17:00

Salle 2

Nikola Damjanovic

Inégalités d'Arakelov et courbes de Teichmüller

Le 15 février 2018 à 14:00

Salle 385

Cécile Carrère UPMC

Vitesses de propagation pour un système de compétition-diffusion à deux espèces

Nous étudions l'invasion d'un environnement vide et favorable par un système bistable de deux espèces en compétition. Cette situation modélise, dans notre cas, l'invasion par deux types de cellules cancéreuses d'une boite de Pétri. Nous montrons que le comportement global du système dépend entièrement des vitesses de propagation de chaque espèce prise séparément. L'espèce dont la vitesse de Fisher-KPP est la plus rapide se propage à cette vitesse, puis un front de compétition peut se former sous certaines conditions à une vitesse moindre. Nous observons donc un développement sous forme de terrasse, où plusieurs vitesses de propagation interviennent.

Le 15 février 2018 à 14:00

Salle de Conférences

Catalin Badéa Lille

Ensemble de Kazhdan: au carrefour de la théorie des opérateurs, l'analyse harmonique et la théorie géométrique des groupes

La notion d'ensemble de Kazhdan dans un groupe topologique provient de la théorie géométrique des groupes, en lien avec la propriété (T) de Kazhdan. L'existence d'un ensemble de Kazhdan ``petit'' implique une certaine ``rigidité'' du groupe. Dans notre exposé, de type colloquium, , on regardera les ensembles de Kazhdan d'un point de vue de l'analyse fonctionnelle, de l'analyse harmonique et d'un point de vue aléatoire. L'exposé est basé sur des travaux en collaboration avec Sophie Grivaux.

Le 15 février 2018 à 15:30

Salle de Conférences

Philippe Biane

Triangles Gog et Magog

ce sont des triangles formés d'entiers positifs comme par exemple $ ^1 \small{1} _2^2 \small{3} ^3$ qui apparaissent dans de nombreux problèmes de combinatoire, géométrie, physique statistique, théorie des représentations etc. Bien que leur définition soit complètement élémentaire (il suffit de savoir ce qu'est un nombre entier positif et de savoir comparer deux tels nombres) ces triangles semblent posséder des propriétés mystérieuses qui sont encore loin d'être élucidées. J'énoncerai plusieurs problèmes ouverts à leur sujet et je donnerai des résultats partiels vers la solution de ces problèmes. Bien que les énoncés soient, eux aussi, complètement élémentaires (du niveau de la classe de 6e!), les méthodes, elles, ne le sont pas.

Le 16 février 2018 à 10:45

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 2

Nicolas de Saxcé\, Paris 13

Approximation diophantienne

Étant donné un point x sur une variété X dans laquelle les points rationnels sont denses, on cherche à étudier la qualité des approximations rationnelles de x. Pour certaines variétés X, comme l'espace projectif ou la variété grassmannienne, ce problème peut se ramener à l'étude des flots diagonaux dans un espace de réseaux. C'est ce que nous expliquerons dans cet exposé, avec des exemples d'applications de cette correspondance.

Le 16 février 2018 à 11:00

Salle 385

Rodolphe Griset\, Ph.D. student in the RealOpt team

Planification des arrêts pour entretien du parc nucléaire d'EDF : approches robustes face aux extensions des arrêts

Je ferai dans cette présentation un rappel rapide du problème de placement des arrêts pour entretien du parc nucléaire et de notre approche de résolution basée sur une formulation étendue du problème résolu par une combinaison de génération de coupes et de colonnes. Les résultats présentés lors de la conférence PGMO 2017, obtenus sur le problème stochastique allant jusqu'à 24 scénarios, seront rappelés. Je détaillerai dans un second temps les enjeux en termes de robustesse du planning aux aléas brutaux que sont les pannes en campagne et les prolongations d'arrêt ainsi que nos approches permettant de prendre en compte ces aléas. Des résultats préliminaires concernant les contraintes d'arrêt pourront être présentés.

Le 16 février 2018 à 11:30

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 385

Ayse Nur Arslan\, post-doc in the RealOpt team

Robust strategic planning of phytosanitary treatments in agriculture

In this talk we present the problem of robust planning and scheduling of activities in agriculture and in particular the application of phytosanitary treatments. Agricultural crops are subject to many diseases that may arise during different time windows of the planning horizon. In response, a phytosanitary treatment can be applied to protect against a subset of these diseases for a given duration of time. However, this duration is uncertain depending on the type of treatment applied as well as the current whether conditions. We present two different approaches to handle this uncertainty and compare their effectiveness in handling realistically-sized instances.

Le 16 février 2018 à 14:00

Salle de Conférences

Matthias Flach California Institute of Technology

Lambda-operations via non-commutative motives..

We discuss a possible construction of Lambda-operations on the algebraic K-theory space of a symmetric monoidal, stable Q-linear infinity-category using representability of the algebraic K-theory functor in a suitable category of noncommutative motives. As an introduction to these ideas we first give a new construction of the Lambda-operations on K_0.

Le 22 février 2018 à 14:00

Salle de Conférences

vacances

pas de séminaire

Le 27 février 2018 à 14:00

Salle 2

Nicolas Raymond Université de Rennes 1

Survol semi-classique du laplacien magnétique

Cet exposé survolera de récentes avancées relatives à la description du spectre discret du laplacien magnétique, dans la limite semi-classique. Il atterrira avec la description de quelques résultats en dimension deux : les formes normales de Birkhoff, issues d'une collaboration avec S. Vu Ngoc, et les constructions BKW, obtenues l'an dernier avec Y. Bonthonneau.

Le 28 février 2018 à 17:00

Salle 2

Edoardo Bocchi

Floating structures in shallow water : local wellposed-ness in the axisymmetric case.

The floating structure problem describes the interaction between surface water waves and a floating body, generally a boat or a wave energy converter. As shown by Lannes in [1] the equations for the fluid motion can be reduced to a set of two evolution equations on the surface elevation and the horizontal discharge. The presence of the object is accounted for by a constraint on the discharge under the object; the pressure exerted by the fluid on this object is then the Lagrange multiplier associated with this constraint. Our goal is to prove the well-posedness of this fluid-structure interaction problem in the shallow water approximation under the assumption that the flow is axisymmetric without swirl. We write the fluid equations as a quasilinear hyperbolic mixed initial boundary value problem and the solid equation as a second order ODE coupled to the fluid equations. Finally we prove the local in time well-posedness for this coupled problem, provided some compatibility conditions on the initial data are satisfied. Reference: [1] D. LANNES, On the dynamics of floating structures, Ann. PDE, 3 (2017)

Le 1er mars 2018 à 11:00

Salle de Conférences

Pauline Tan CMAP

ASAP : un algorithme de descentes proximales alternées par blocs pour l'optimisation non convexe

Il existe un intérêt croissant pour l'optimisation non convexe par blocs, notamment depuis les schémas proposés par Xu et Yin et l'équipe de Bolte (et leur algorithme PALM) en 2013, et qui ont été suivis par de nombreux travaux. Ces schémas reposent sur des descentes de gradient proximal dans lesquelles l'opérateur proximal est défini par rapport aux termes de régularisation. Les travaux présentés ici traitent d'une classe très large de problèmes d'optimisation non convexes par blocs dans lesquels les régularisateurs (non convexes) sont différentiables sur le domaine de la fonction à optimiser. Nous proposons un algorithme simple qui alterne des descentes de gradient proximal dans lesquelles l'opérateur proximal est défini par rapport au terme de couplage (en pratique toujours "proximable"), ce qui en fait un algorithme "miroir" par rapport à PALM. Ce choix contribue en grande partie à la simplicité de l'algorithme qui permet l'utilisation de régularisateurs plus riches, adaptés aux applications considérées. Des variantes de notre algorithme (utilisation d'opérateurs proximaux généralisés ou accélération inertielle) seront également présentées. Deux applications de l'algorithme pour le traitement de données de grande taille issues de l'imagerie hyperspectrale infrarouge ont d'ores-et-déjà été développées et validées pour l'Onera, notre partenaire industriel, et une autre, en colorisation d'images, est en cours de développement. Il s'agit de travaux en collaboration avec Mila Nikolova (CNRS, CMLA, ENS Paris-Saclay)

Le 1er mars 2018 à 14:00

Salle de Conférences

Éthienne Matheron Lens

Opérateurs ergodiques

Le 1er mars 2018 à 14:00

Salle 2

Juliette Venel

Inclusions différentielles et applications

Dans cet exposé, nous parlerons d'inclusions différentielles. De tels problèmes d'évolution apparaissent lorsque les variables d'état sont soumises à des contraintes et doivent rester dans un ensemble dit admissible. Nous présenterons quelques résultats théoriques concernant ces inclusions différentielles du premier et du second ordre en mettant en évidence les hypothèses géométriques de l'ensemble admissible. Enfin, nous appliquerons ces derniers à la modélisation des mouvements de foule d'une part et aux écoulements granulaires d'autre part.

Le 1er mars 2018 à 14:00

Salle 385

Christele Etchegaray MIP Université de Toulouse

Modélisation stochastique et déterministe de la migration cellulaire

Le 1er mars 2018 à 16:00

Salle 285

Antoine Pauthier Université du Minnesota

Propagation de type Fisher - KPP et route de forte diffusion : interactions non locales

Le 2 mars 2018 à 10:45

Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique

Salle 2

Camille Horbez\, Orsay

Automorphismes de groupes hyperboliques et croissance

Soit G un groupe hyperbolique sans torsion, soit S une partie génératrice finie de G, et soit f un automorphisme de G. Nous cherchons à comprendre les taux de croissance possibles pour la longueur d'un élément g du groupe G (écrit comme un mot en les générateurs dans S) sous l'itération de f. Lorsque G est le groupe fondamental d'une surface orientable de type fini, ou un groupe libre, la croissance est comprise grâce aux travaux respectifs de Thurston et Bestvina-Handel. Nous nous intéressons au cas général, et montrons que chaque élément du groupe G a un taux de croissance exponentiel bien défini, et qu'il n'y a qu'un nombre fini de taux de croissance exponentiels possibles lorsque l'élément g parcourt G. Par ailleurs, nous montrons la dichotomie suivante : tout élément de G a une croissance qui est soit exponentielle, soit polynomiale, sous l'itération de f. Ceci est un travail en commun avec Rémi Coulon, Arnaud Hilion et Gilbert Levitt.

Le 2 mars 2018 à 11:00

Salle 385

Benoît Henry\, École des Mines de Nancy

Grandes déviations pour l'étude de limites d'échelle de modèles déterministes de la dynamique adaptative

Nous allons nous intéresser à une limite d'échelle d'une équation aux dérivées partielles modélisant la dynamique d'une population structurée par un trait quantitatif et sujette à mutations. Dans la limite d'échelle des petites mutations et du temps long, ce type d'équation donne lieu à des équations de Hamilton-Jacobi avec contraintes (Dieckmann et al, 2005). Dans ce travail, nous donnons une représentation de la solution de cette EDP comme l'espérance d'une fonctionnelle d'un processus stochastique (mouvement Brownien si l'opérateur de mutation est un Laplacien). La limite d'échelle peut alors être étudiée grâce à des estimées de grandes déviations, et nous obtenons ainsi une caractérisation variationnelle du problème de Hamilton-Jacobi limite. Dans certain cas simples, nous sommes alors en mesure de démontrer l'unicité de la solution du problème variationnel.

Le 2 mars 2018 à 14:00

Salle de Conférences

Sary Drappeau Aix-Marseille

Sommes de Kloosterman et zéros de Siegel

Les zéros de Siegel sont des zéros sporadiques réels proches de $1$, hypothétiquement inexistants, de fonctions $L$ de Dirichlet. La question de l'inexistence de ces zéros semble échapper aux méthodes actuelles; d'un autre côté, si ces zéros existaient, alors un certain nombre de problèmes ouverts sur les nombres premiers deviendraient abordables. L'exposé portera sur un travail avec J. Maynard où l'on étudie les conséquences hypothétiques de l'existence de ces zéros, sur les sommes de Kloosterman aux modules premiers : $\sum_{p\leq x} \operatorname{Kl}(1, p)$.

Le 5 mars 2018 à 14:00

Salle de Conférences

Mahdi ACHACHE

Sujet : "Regularité maximale des équations d'évolution non-autonomes". Directeur de thèse : El Maati Ouhabaz

Le 5 mars 2018 à 14:00

Salle de Conférences

Mahdi Achache

Soutenance de thèse

Le 6 mars 2018 à 09:00

Direction

Bureau 106

Permanence Aquitaine Sciences Transfert (AST) le MARDI 6 MARS, de 9h à 11h

Le 6 mars 2018 à 10:00

Salle 385

Takashi Fukuda Nihon University

Class number calculation for special number fields

I will talk about TC (an interpreter of multiprecision C language which I developed), Weber's problem, Coates' conjecture and an algorithm of calculating p-class group of abelian number fields. I also present my project trying to implement an algorithm mentioned above to PARI/GP during my stay at IMB.

Le 6 mars 2018 à 14:00

Salle 2

Cyril Imbert DMA

Un modèle jouet non-linéaire en théorie cinétique

Je décrirai dans cet exposé les résultats obtenus avec Clément Mouhot pour un modèle jouet non-linéaire en théorie cinétique. Ce modèle a plusieurs points communs avec l'équation de Landau : il y a une diffusion uniquement en la variable vitesse et un terme de transport libre, les équilibres sont gaussiens et les coefficients dépendent de façon intégrale de la solution. Il est néanmoins plus simple à plusieurs égards. Nous montrerons comment résoudre le problème de Cauchy grâce à des estimées de type de Giorgi et d'autres de type Schauder

Le 8 mars 2018 à 10:00

Salle 2

Jozsef Kolumban

Contrôle à distance du mouvement d'un corps rigide dans un fluide incompressible visqueux bidimensionnel

On considère le mouvement d'un corps rigide dans un fluide visqueux incompressible à deux dimensions avec des conditions de Navier à la frontière du solide. Le système fluide-solide occupe tout le plan. On prouve la contrôlabilité exacte de la position et la vitesse du solide lorsque le contrôle prend la forme d'une force distribuée supportée dans un sous-ensemble compact (avec intérieur non-vide) du domaine du fluide, loin du corps. La stratégie repose sur l'introduction d'un petit paramètre: on considère des contrôles d'amplitude rapides et forts pour lequel le système "Navier-Stokes + corps rigide" se comporte comme une perturbation du système "Euler + corps rigide". En effet, la principale différence entre les deux systèmes est en raison de l'apparition d'une couche limite dans une région du fluide près du solide. Avec un développement asymptotique multi-échelle, on construit une solution contrôlée au système "Navier-Stokes + corps rigide" grâce à certains solutions contrôlées aux systèmes de type "Euler + corps rigide" et à une analyse détaillée de l'influence de la couche limite sur le mouvement du solide.

Le 8 mars 2018 à 11:00

Salle 2

Tatsuo Iguchi

Initial value problem to a shallow water model with a floating solid body

In this talk we are concerned with the well-posedness of the initial value problem to a shallow water model for two-dimensional water waves with a floating solid body. We consider three cases: the body is fixed, the motion of the body is prescribed, and the body moves freely according to Newton's laws. The difficulty of the analysis comes from the fact that we have to treat the contact points, where the water, the air, and the solid body meet. This model yields a new type of free boundary problems for a quasilinear hyperbolic system. We will report that the initial value problem to this model is in fact well-posed. This result is based on the joint research with David Lannes at University of Bordeaux.

Le 8 mars 2018 à 11:00

Salle 385

Luca Calatroni CMAP

Modèles d'osmose anisotrope pour l'imagerie et applications

Nous considérons une EDP de type diffusion-transport modélisant le phénomène physique non-symétrique de l'osmose et l'appliquons pour résoudre plusieurs tâches d'imagerie comme le clonage et la suppression des ombres. Pour ce dernier problème, afin de surmonter les artefacts sur la frontière d'ombre due à la seule action de l'opérateur de Laplace, nous étendons le modèle linéaire au moyen de poids de diffusion directionnels permettant une procédure combinée d'osmose-inpainting non-linéaire. En particulier, nous montrons des analogies avec les équations classiques d'inpainting du second ordre (Harmonique, AMLE, Variation Totale) et avec les opérateurs géométriques de Grushin. Nous présentons les détails numériques sur la mise en œuvre efficace du modèle au moyen de stencils appropriés imitants l'anisotropie à un niveau discret et appliquons le modèle à certaines tâches pour l'imagerie du patrimoine culturel.

Le 8 mars 2018 à 11:00

Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique

Salle de Conférences

Quentin Griette

Modèles de propagation en épidémiologie évolutive

Le 8 mars 2018 à 13:00

Salle de Conférences

Anna Bonnet\, Université Claude Bernard

Heritability estimation in high-dimensional sparse linear mixed models

The heritability of a biological quantitative feature is defined as the proportion of its variation that can be explained by genetic factors. We propose an estimator for heritability in high dimensional sparse linear mixed models and we study its theoretical properties. We highlight the fact that in the case where the size N of the random effects is too large compared to the number n of observations, a precise estimation for heritability cannot be provided. Since in practice almost all datasets verify the condition N >= n, we perform a variable selection method to reduce the size of the random effects and to improve the accuracy of heritability estimations. However, as shown by our simulations, this kind of approach only works when the number of non-zero components in the random effects (i.e. the genetic variants which have an impact on the phenotypic variations) is small enough. In face of this limitation, we proceeded to define an empirical criterion to determine whether it is possible or not to apply a variable selection approach. As an example of its use, we applied our method to estimate the heritability of the volume of several regions of the human brain.

Le 8 mars 2018 à 14:00

Salle de Conférences

Pas de séminaire

Le 9 mars 2018 à 10:45

Salle 2

Frédéric Le Roux\, Paris 6

Distorsion forte dans les groupes de transformation

Nous discuterons des propriétés des groupes d'homéomorphismes et de difféomorphismes autour de la question suivante, posée par Schreier en 1935 : existe-t-il un groupe non dénombrable dont tout sous-groupe dénombrable est finiment engendré ?

Le 9 mars 2018 à 14:00

Salle de Conférences

Yonatan Harpaz Paris 13

Zéro-cycles sur les espaces homogènes et problème de Galois inverse

Dans un travail en commun avec Olivier Wittenberg nous démontrons que l'obstruction de Brauer-Manin contrôle le comportement des zéro-cycles pour les espaces homogènes de groupes linéaires sur les corps de nombres. Quand le groupe est semi-simple et simplement connexe et les stabilisateurs sont finis et hyper-résolubles notre méthode est également applicable aux points rationnels. Cela peut être utilisé, par exemple, pour obtenir une réponse raffinée au problème de Galois inverse pour les groupes hyper-résolubles sur tout corps de nombres.

Le 12 mars 2018 à 12:00

Salle de Conférences

Comité d'organisation : Christophe Chalons (Université de Versailles Saint-Quentin)\, Hélène Mathis (université de Nantes)\, Rodolphe Turpault (Université de Bordeaux)

ANR ACHyLLES — Conférence de clôture

Le 12 mars 2018 à 14:00

Salle 2

Aissa Nasli Bakir\, Universite de Chlef\, Algérie

Sur les propriétés d'un opérateur p-hyponormal avec 0

Le 13 mars 2018 à 11:00

Salle 2

Daniela Tonon JLL

Jeux à champ moyen: introduction et quelque résultat

La théorie des jeux à champ moyen MFG, introduite en 2006 par Lasry-Lions et Huang-Caines-Malhamé, décrit l'équilibre de Nash dans les jeux différentiels avec un nombre infini des joueurs. Le système MFG s'écrit comme un système de deux EDP couplées: une équation d'Hamilton-Jacobi et une équation de Fokker Planck. Dans le cas du premier-ordre, avec un Hamiltonien convexe et un couplage croissant, les techniques usuelles de point fixé ne peuvent pas être utilisées pour trouver des solutions classiques. Néanmoins, des solutions faibles des MFG ont été trouvées via une technique de dualité variationnelle qui provient du transport optimal, introduite par Benamou et Brenier. On présente cette technique et quelque résultat associé.

Le 13 mars 2018 à 14:00

Salle 2

Yoshiyuki Kagei Kyushu University

Bifurcation of the compressible Taylor vortex

The Couette-Taylor problem, a flow between two concentric rotating cylinders, has been widely studied as a good subject of the study of pattern formation and transition to turbulence. Consider the case where the inner cylinder is rotating with uniform speed and the outer one is at rest. If the rotating speed is sufficiently small, a laminar flow (Couette flow) is stable. When the rotating speed increases, beyond a certain value of the rotating speed, a vortex flow pattern (Taylor vortex) appears. For viscous incompressible fluids, the occurrence of the Taylor vortex was shown to solve a bifurcation problem for the incompressible Navier-Stokes equations. In this talk, this problem will be considered for viscous compressible fluids. The spectrum of the linearized operator around the Couette flow is investigated and the bifurcation of the compressible Taylor vortex is proved when the Mach number is sufficiently small. It is also proved that the compressible Taylor vortex converges to the incompressible one when the Mach number tends to zero. This talk is based on a joint work with Prof. Takaaki Nishida (Kyoto University) and Ms. Yuka Teramoto (Kyushu University).

Le 15 mars 2018 à 11:00

Salle de Conférences

Antoine Godichon Université de Rouen

Algorithmes stochastiques pour la statistique robuste en grande dimension

La médiane géométrique est souvent utilisée en statistique du fait de sa robustesse. On s'intéresse donc à des estimateurs rapides de la médiane, qui consistent en des algorithmes de gradient stochastiques moyennés. On définit aussi un nouvel indicateur de dispersion robuste, appelé Matrice de Covariance Médiane, avant d'en donner des estimateurs récursifs. Cette matrice, sous certaines hypothèses, a les mêmes sous-espaces propres que la matrice de covariance, mais est moins sensible aux données atypiques, et est donc très intéressante pour l'Analyse en Composantes Principales Robuste. Travail joint avec Hervé Cardot et Peggy Cénac (Université de Bourgogne).

Le 15 mars 2018 à 14:00

Salle de Conférences

Luz Roncal BCAM\, Bilbao

The fractional discrete Laplacian and nonlocal semidiscrete equations

Le 15 mars 2018 à 14:00

UMR SAVE, INRA Villenave d'Ornon

Denis Thiéry\, UMR SAVE\, INRA Villenave d'Ornon

GdT Modélisation en santé végétale : Confusion sexuelle contre les ravageurs en vigne, comment l'optimiser ?

Le 15 mars 2018 à 15:30

Salle de Conférences

Paola Goatin

Le trafic routier en équations

Le 15 mars 2018 à 17:00

Salle 2

Bianca Barucchieri

Flat compact affine and Lorentzian manifolds

In this talk we will be interested in flat compact affine manifolds. These manifolds were first studied in the Euclidean case by Bieberbach in 1911 as an answer to one of Hilbert's problems about crystallographic groups. We will see how this can be put in the more general setting of flat compact affine manifolds. We will then look at the study that has been done for the Lorentzian case by Fried in dimension 4 and by Grunewald an Margulis in all dimensions. At the end we will see how we can achieve some results in the Hermite-Lorentz case following the methods used for the Lorentzian case.

Le 16 mars 2018 à 10:45

Salle 2

Isao Nakai\, Ochanomizu University\, Tokyo

Web geometry from the view point of rigidity and curvature

A WEB structure is a configuration of excessive number of foliations. It is known that some web structures are topological rigid. I will introduce the various, old and new rigidity results and the curvature of webs, and discuss the role of the curvature in the rigidity phenomena. I will introduce also a hierarchical method for computing the web curvature.

Le 16 mars 2018 à 14:00

Salle de Conférences

Pierre Charollois IMJ\, Paris 6

Sur le rêve de jeunesse de Eisenstein

Dans la lignée de techniques initiées par Eisenstein, R. Sczech a introduit en 1993 un cocycle pour $\operatorname{SL}_n(\mathbf{Z})$ qui rend compte d'une famille de relations entre certaines fonctions trigonométriques. Nous présentons deux contributions qui prolongent ses travaux. D'abord, nous en introduisons une variante elliptique, plus riche, qui dépend d'une variable complexe et met en jeu des formes modulaires. Ensuite, nous expliquons comment en déduire un analogue pour $\operatorname{SL}_3(\mathbf{Z})$ du logarithme de la fonction eta de Dedekind et des unités modulaires. Cet analogue s'insère dans le programme esquissé par Eisenstein en 1844, qui est précurseur du «rêve de jeunesse de Kronecker». L'exposé se veut élémentaire et accessible à tous.

Le 19 mars 2018 à 14:00

Salle de Conférences

Eric Amar

Estimations Lr pour les solutions d'EDP linéaires elliptiques dans une variété riemannienne complète.

Le 20 mars 2018 à 10:00

Salle 385

Tristan Vaccon Université de Limoges

Sur les équations différentielles $p$-adiques à variables séparables

Les trois derniÃ¨res dÃ©cennies ont vu le dÃ©veloppement de mÃ©thodes et algorithmes $p$-adiques, notamment :

Le 20 mars 2018 à 11:00

Salle de Conférences

Laurent Michel Nice

Autour des petites valeurs propres du Laplacien de Witten

L'analyse des petites valeurs propres du Laplacien de Witten intervient de manière cruciale dans la description de dynamiques métastables. Dans cet exposé, on rappelera l'approche de Helffer-Klein-Nier, Hérau-Hitrik-Sjöstrand pour traiter ce problème, puis on donnera quelques généralisations à des situations dégénérées.

Le 20 mars 2018 à 14:00

Salle de Conférences

Yue-Jun Peng Université de Clermont-Auvergne

Limite parabolique de systèmes hyperboliques quasi-linéaires du premier ordre

On considère la limite de relaxation d'un système hyperbolique quasi-linéaire avec un terme de relaxation en multi-dimension. Lorsque le temps de relaxation tend vers zéro, le système hyperbolique dans une échelle de temps lent converge formellement vers un système parabolique. Sous des conditions de stabilité sur la structure du système, on présente la justification de cette limite localement en temps pour des données initiales régulières, et globalement en temps lorsque les données sont petites. Ces résultats s'appliquent à des systèmes issus de modèles physiques comme le modèle cinétique discret à 2 vitesses, le système d'Euler avec relaxation et le modèle M1 intervenant dans la théorie de transfert radiatif, etc.

Le 22 mars 2018 à 11:00

Salle de Conférences

Clement Pellegrini UPS Toulouse

Produits aléatoires de matrices: mesure invariante de trajectoires quantiques

Les trajectoires quantiques sont des processus de Markov décrivant l'évolution de systèmes quantiques soumis à des mesures indirectes. Ces processus de Markov sortent du cadre habituel des techniques utilisées pour étudier leur comportement en temps long. Dans mon exposé je reviendrai sur les principes de base qui décrivent les modèles probabilistes de la mécanique quantique et je décrirai les modèles de trajectoires quantiques puis je parlerai du problème de la mesure invariante.

Le 22 mars 2018 à 13:30

salle F340, GREThA (U. Bordeaux)

Emmanuelle Augeraud-Veron Gretha\, U. Bordeaux

Problématiques liées à la réduction de l'habitat dans la propagation de maladies transmises par les tiques

Le 23 mars 2018 à 10:45

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 2

Jean-Baptiste CAMPESATO Aix-Marseille U.

Sur l'équivalence arc-analytique

Pour commencer, je définirai l'équivalence arc-analytique et en donnerai quelques propriétés. Il s'agit d'une relation d'équivalence permettant d'obtenir une classification sans module continu les germes de fonctions Nash (i.e. analytiques réelles de graphes semialgébriques) singuliers. Ensuite, je présenterai un invariant de cette notion dont la construction est similaire à celle des fonctions zêta motiviques de J. Denef et F. Loeser. Celui-ci généralise des constructions antérieures de S. Koike et de A. Parusiński puis de G. Fichou et admet de bonnes propriétés algébriques qui permettent d'obtenir de nouveaux résultats de classification. En particulier, j'expliquerai comment déduire de cet invariant une classification exhaustive des polynômes de Brieskorn-Pham. Il s'agit d'une très bonne famille test pour comparer l'équivalence arc-analytique à d'autres relations.

Le 23 mars 2018 à 11:00

Salle 385

Aurélien Froger\, post-doc à l'Université de Tours

Solving a short-term maintenance scheduling problem faced by the onshore wind industry

Boosted by climate change mitigation and adaptation efforts and the constantly decreasing cost of turbines, wind energy has significantly increased in recent years. In this context, efficiently scheduling maintenance operations of wind turbines is key to prevent unnecessary downtime and excessive operational costs. We discuss in this talk a short-term maintenance scheduling problem faced by the onshore wind industry. In the deterministic problem, the objective is to find a maintenance plan that maximizes the production of the turbines while taking into account forecast wind-speed values, multiple task execution modes, and task-technician assignment constraints. To tackle it, we design an exact branch-and-check algorithm based on a decomposition of the problem. To address the inherent uncertainty in the forecast wind speed values, we also propose a robust approach in which we aim to take risk-averse decisions regarding the feasibility of the maintenance plan and the total loss of production.

Le 23 mars 2018 à 14:00

Salle de Conférences

Daniele Turchetti Caen

Exposé reporté au 15 juin

Le 26 mars 2018

Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique

Bureau 225

La Cellule Informatique

en permanence réduite en raison des Journées Mathrice

Le 26 mars 2018 à 13:00

Salle de Conférences

Anaïs Rouanet\, University of Cambridge

Modèles de mélange conjoints pour données longitudinales et temps d'évènement : Application à l'étude du déclin cognitif et de la démence.

Les modèles conjoints permettent d'explorer l'association entre un marqueur longitudinal et un temps d'évènement. Dans les études sur le vieillissement cognitif, il est également important de tenir compte du risque compétitif de décès car la démence et le décès ont des facteurs de risque communs. De plus, le temps de démence est censuré par intervalle dans les études de cohortes, le diagnostic ne pouvant être posé que lors des visites médicales prévues. Les sujets avec démence peuvent alors décéder avant la visite suivant l'apparition de la démence, sans être diagnostiqués. Par ailleurs, les modèles de mélange permettent de capturer l'hétérogénéité du déclin cognitif au sein de la population, identifiant des sous-groupes d'individus ayant des caractéristiques communes, appelés classes latentes. J'ai proposé une extension des modèles conjoints à classes latentes pour données longitudinales et temps d'évènement, traitant la censure par intervalle et les risques compétitifs simultanément. Ce modèle permet d'identifier des profils d'évolution cognitives associés à des risques de démence et décès spécifiques. Cependant, le nombre de classes latentes doit être fixé a priori et est optimisé via un critère non consensuel. L'extension des modèles de mélange conjoints au cadre bayésien apporte une flexibilité de modélisation et permet notamment d'estimer directement le nombre de classes. Ce genre de modèles peut aider à la compréhension de maladies chroniques ou servir au développement d'outils pronostiques.

Le 26 mars 2018 à 14:00

Salle de Conférences

Bernhard Haak

News sur une conjecture de Georges Weiss (en version non-autonome).

Le 27 mars 2018 à 14:00

Salle 2

David Henry Cork University

Prediction of the free-surface elevation for rotational water waves using the recovery of pressure at the bed

In this talk we consider the pressure-streamfunction relationship for two-dimensional water waves which may possess an arbitrary distribution of vorticity. This question represents a highly-complex, intractable mathematical problem which also has immediate practical applications to both nearshore and offshore ocean environments. In the particular setting of linear waves, we provide a description of the role which the pressure function on the sea-bed plays in determining the free-surface profile elevation: the so-called free-surface profile recovery problem. Our approach is shown to provide a good approximation for a range of current conditions, leading to the derivation of expressions for the pressure transfer function, and the related pressure amplification factor, which generalise the well-known formulae for irrotational waves. An implementation of the moderate current approximation renders these expressions more tractable, leading to quite elegant and explicit formulae. This is joint work with Gareth Thomas (UCC).

Le 29 mars 2018 à 11:00

Salle de Conférences

Jérémie Bigot IMB

Introduction au Deep learning : aspects mathématiques et au delà...

Le 29 mars 2018 à 14:00

Salle de Conférences

Michel Zinsmeister Orléans

Spectre des moyennes intégrales généralisées

Le spectre des moyennes intégrales est une façon on de calculer le spectre multifractal de la mesure harmonique d'un compact connexe plein du plan. La représentation conforme est alors bornée, mais le cas non borné a un intérêt en soi. L'idée du spectre généralisé est d'unifier les cas borné et non-borné dans un spectre à deux paramètres. Nous illustrerons ce concept par deux exemples: 1) le spectre universel. 2) le spectre en espérance de SLE (Stochastic Loewner evolution): nous verrons en particulier comment ce nouveau concept a permis de corriger une erreur dans un article de D. Beliaev et S. Smirnov. Toutes les définitions seront données.

Le 29 mars 2018 à 14:00

Salle 385

Sidi Mohammed Bouguima\, Université de Tlemcen

Modélisation et Analyse Mathématique de Quelques Problèmes de Dynamique de Populations

Le 29 mars 2018 à 14:00

Salle 2

Andrés Castillo

Using reduced models for severe confinement in turbulent Rayleigh-Bénard convection

We consider Rayleigh-Bénard convection inside slim rectangular cells of transversal aspect ratio Γ. In such configurations, a change of regime is observed as the depth becomes comparable to the size of thermal plumes, going from an unconfined regime I, to a plume-controlled regime II, and to a confined regime III. For the latter, we developed a reduced model, which improves the Hele-Shaw approximation by taking into account inertial corrections terms. This is done in the spirit of similar work inside Hele-Shaw cells by [Gondret and Rabaud (1997)], then extended by [Ruyer-Quil, (2001)]. The reduced model is validated against 3D DNS results. We take advantage of the lower computational cost of the model to perform a parametric study for different (Ra,Pr) in the range 1/256 < Γ < 1/32. We identify a new, severely confined regime, noted IV, and compare it to theoretical predictions. This transition is related to changes in flow structure, as well as in the relative thickness of thermal and viscous boundary layers.

Le 30 mars 2018 à 10:45

Salle 2

Carlos Matheus\, Paris 13

Sur le comptage de fibrations spéciales dans certaines familles de surfaces K3

Simion Filip a montré que le nombre $N(V)$ de fibrations Lagrangiennes spéciales de volume $< V$ dans une "twistor family" générique de surfaces K3 est $N(V) = c V^{20} + O(V^{20-a})$ pour certaines constantes $c>0$ et $a>0$. Dans cet exposé, on montrera que le théorème de Filip est valide pour tout $0 < a < 4/697633$. Il s'agit d'un travail en commun avec Nicolas Bergeron.

Le 30 mars 2018 à 14:00

Salle de Conférences

Jean Gillibert Institut de Mathématiques de Toulouse

Les groupes de Selmer sont intersection de deux facteurs directs de la cohomologie adélique

En 2015, Bhargava, Kane, Lenstra, Poonen et Rains ont proposé une modélisation probabiliste pour l'arithmétique des courbes elliptiques sur les corps globaux. Ce modèle permet, conjecturalement, de prédire le comportement du rang ainsi que celui du groupe de Tate-Shafarevich. Il repose sur certaines propriétés (purement algébriques) des groupes de Selmer, dont l'une d'elles est conjecturale : étant donnés un corps global $k$ et un entier $n>1$, pour $100\%$ des courbes elliptiques $E$ définies sur $k$, le $n$-Selmer de $E$ est intersection de deux facteurs directs du groupe de cohomologie adélique $H^1(\mathbb{A}_k,E[n])$. Dans cet exposé, nous donnerons une preuve de cette conjecture. Il s'agit d'un travail en commun avec Florence Gillibert, Pierre Gillibert et Gabriele Ranieri.

Le 3 avril 2018 à 09:00

Direction

Bureau 106

Permanence d'Aquitaine Sciences Transfert

Le 3 avril 2018 à 10:00

Salle 385

Alex Bartel Glasgow University

Cohen-Martinet heuristics revisited

In the early 1990s Henri Cohen and Jacques Martinet offered a probabilistic model that explains the behaviour of ideal class groups of number fields in natural families, generalising earlier work by Cohen and Lenstra. There is a lot of numerical evidence for the correctness of the model, but very few theorems. In joint work with Hendrik Lenstra we revisit the Cohen-Martinet heuristics and, among other things, disprove them in two different ways, but also lend additional support for the expectation that they are "basically true". In this talk I will explain one of these disproofs, and will propose possible corrections.

Le 3 avril 2018 à 14:00

Salle 2

Eric Soccorsi Centre de Physique Théorique\, Marseille

Sur la stabilité dans les problèmes inverses pour l'équation de Schrödinger magnétique

Cet exposé porte sur le problème de la stabilité dans la détermination du potentiel électrique et du champ magnétique dans l'équation de Schrödinger dynamique, à partir de mesures latérales de sa solution. Lorsque les coefficients inconnus ne dépendent pas du temps, le potentiel électromagnétique peut être reconstruit de façon Lipschitz stable. Et ceci à partir d'un nombre fini, égal à celui des composantes du potentiel inconnu, de mesures latérales partielles de type Neumann. Si les coefficients inconnus dépendent du temps, alors la stabilité de la reconstruction est hölderienne. De plus, elle nécessite la connaissance de l'opérateur de Dirichlet-Neumann magnétique global. Les résultats présentés dans cet exposé sont basés sur des travaux communs avec M. Bellassoued (Tunis), M. Cristofol (Marseille), X. Huang (Tokyo), Y. Kian (Marseille) et M. Yamamoto (Tokyo).

Le 5 avril 2018 à 11:00

Salle de Conférences

Jérémie Bigot

Introduction au Deep learning : aspects mathématiques et au delà... (Partie 2)

Le 5 avril 2018 à 14:00

Salle de Conférences

Frank Barthe Toulouse

Trou spectral pour des mesures log-concaves

Le 6 avril 2018 à 10:45

Salle 2

Todor Tsankov\, Paris 7

Rigidité pour les actions distales, fortement ergodiques par la théorie des modèles

Les actions distales du groupe des entiers ont été étudiées par Furstenberg pour sa preuve du théorème de Szemerédi. Plus tard Zimmer a étendu la théorie aux actions préservant une mesure de probabilité d'un groupe localement compact quelconque. Dans ce travail nous montrons de nouveaux résultats de rigidité pour les actions distales, fortement ergodiques, généralisant des résultats antérieurs d'Ioana et Tucker-Drob. Une des nouveautés de notre approche est l'utilisation de la logique continue -- un cadre modèle-théorique adapté à l'étude de structures métriques. Ceci est un travail en commun avec Tomás Ibarlucía.

Le 6 avril 2018 à 14:00

Salle de Conférences

Cyril Demarche IMJ Paris 6

Le théorème de dualité d'Artin-Mazur en cohomologie fppf

Le théorème de dualité globale pour la cohomologie fppf des schémas en groupes finis et plats sur un ouvert d'une courbe sur un corps fini (ou du spectre de l'anneau des entiers d'un corps de nombres) est dû à Artin et Mazur. Il est notamment fondamental pour la compréhension de la cohomologie fppf des schémas en groupes finis sur les corps globaux de caractéristique positive. Ce résultat est démontré par Milne dans son livre sur les théorèmes de dualité arithmétiques, mais cette preuve est incomplète sur plusieurs points. Nous proposons, dans un travail en commun avec David Harari, une preuve détaillée de ce théorème, assortie de quelques compléments.

Le 9 avril 2018 à 14:00

Salle 2

M. Ricchiuto (IMB et INRIA Cardamom)/P. Bonneton (EPOC)

Dispersive-like bores in trapezoidal channels

Le 9 avril 2018 à 15:00

Salle 2

Stéphane Glockner ENSCPB

Méthode des frontières immergées dans le..code Notus : contribution, applications et perspectives.

Le 10 avril 2018 à 14:00

Salle 2

Luchezar Stoyanov University of Western Australia

On inverse scattering by obstacles

We will discuss some problems related to recovering information about an obstacle K in an Euclidean space from certain measurements of lengths of generalized geodesics in the exterior of the obstacle - e.g. sojourn times of scattering rays in the exterior of the obstacle, or simply travelling times of geodesics within a certain large ball containing the obstacle. It is well-known in scattering theory that this scattering data is related to the singularities of the scattering kernel of the scattering operator for the wave equation in the exterior of K with Dirichlet boundary condition on the boundary. It turns out that for some classes of obstacles, K can be completely recovered from the scattering data - we will describe some types of obstacles with this property. On the other hand, in general, obstacles cannot be completely recovered from scattering data. The impediment in such cases is the set of trapped points - when this set is too large, observability of the obstacle is impossible. We will discuss certain stability property of the trapping set - it turns out that the measure of the set of trapped points depends continuously on perturbations of the obstacle K. We will derive this from a certain generalisation of Santalo's formula to integrals over billiard trajectories (broken generalised geodesics) in the exterior of an obstacle. Some other applications of this formula to scattering by obstacles will be discussed as well.

Le 12 avril 2018 à 14:00

Salle de Conférences

S. Kupin\, IMB\, Université de Bordeaux

Un aperçu sur les opérateurs de Toeplitz compacts sur les espaces de Bergman

Le 12 avril 2018 à 14:00

Salle 385

Nicolas Bacaer\, IRD

Quelques équations aux dérivées partielles liées à des modèles stochastiques de population..

On s'intéresse à la vitesse d'extinction de populations qui évoluent dans un environnement aléatoire. La fonction génératrice des probabilités est solution d'un système d'équations aux dérivées partielles. La vitesse d'extinction est une valeur propre de ce système, que l'on peut parfois calculer explicitement. Il reste néanmoins des difficultés dans le cas où la population présente plusieurs types d'individus, ce qui se traduit par un système hyperbolique symétrique.

Le 12 avril 2018 à 14:00

Salle 2

Sans titre

Le 12 avril 2018 à 15:30

Salle de Conférences

Pas de Colloquium

Sans titre

Le 12 avril 2018 à 17:00

Salle 2

Paul Geniet

Autour d'un opérateur de Schrödinger Magnétique

Le 13 avril 2018 à 14:00

Salle de Conférences

Peter Bruin Leiden

Paires duales d'algèbres et schémas en groupes commutatifs finis

On considère des schémas en groupes commutatifs finis localement libres sur un anneau. J'expliquerai comment on peut utiliser la dualité de Cartier pour écrire un tel schéma en groupes sous une forme adaptée aux calculs explicits. Les principaux exemples seront les schémas de torsion des courbes elliptiques et les représentations galoisiennes modulaires.

Le 19 avril 2018 à 14:00

Salle de Conférences

pas de séminaire

Sans titre

vacances

Le 23 avril 2018 à 14:00

Salle de Conférences

Stanislas Kupin

Operateurs de Toeplitz compacts sur l'espace de Bergman II

Le 24 avril 2018 à 10:00

Salle 385

Damien Robert imb

Huang's proposal for trilinear maps

In a recent [paper](https://arxiv.org/abs/1803.10325), Huang proposed a trilinear map involving abelian varieties over finite fields. In this talk we present his approach.

Le 26 avril 2018 à 11:00

Salle de Conférences

Sans titre

Le 26 avril 2018 à 14:00

Salle de Conférences

Joaquin Ortega-Cerda Barcelone

tba

Le 26 avril 2018 à 14:00

Salle 2

Laurent Seppecher

Direct linear inversion for discontinuous elastic parameters recovery from internal displacements

In this talk, I will present a study of the invertibility and the corresponding stability for the elastography problem from internal data. In medical imaging, it is possible to track the inner fast displacement field of a living tissue using MRI, Optical Coherence Tomography or Ultrafast Ultrasound Imaging. From this data a major problem is to provide a stable and fast method to recover elastic properties of the biological tissue. The displacement field can be generated either by static or dynamic (in time regime or time harmonic regime) solicitations or even by natural sources (heart beats, breathing,...). Most of the time these external forces are not accurately known. In order to avoid iterative inversion procedure, we propose a direct local and linear approach in looking for the inversion the stiffness-to-force operator. If u(x) is the inner displacement field, the associated stiffness-to-force operator is given by A_u : C -> -div(C:grad^s u). I will present a general approach to numerically invert this kind of linear operators without neither smoothness hypothesis on the unknown tensor C, nor boundary knowledge. I will then discuss the general stability question linked to the closed range property of the linear operator A_u. In a second time, I will focus on the most useful question that is the shear modulus reconstruction. In this case, I will show that under non restrictive piecewise smoothness hypothesis, the inversion is possible with only one measurement. I will then give corresponding stability results in L2.

Le 26 avril 2018 à 17:00

Salle 2

Apidopoulos Vassilis

Inertial Forward-Backward algorithms and acceleration effects

In this talk we are interested in several type of algorithms for solving non-smooth, convex minimization problems. We will also investigate how different type of inertial effects can accelerate the convergence. Furthermore we will see how these algorithms are related to dynamical systems, such as the Gradient Flow or the Inertial Gradient System with damping and show that they have similar convergence properties.

Le 27 avril 2018 à 10:45

Salle 2

Marc Arnaudon IMB

Géométrie de l'information et analyse de formes pour le traitement du signal

Le 27 avril 2018 à 14:00

Salle de Conférences

Daniel Fiorilli

Biais de Tchebychev dans les groupes de Galois

Ce travail est en collaboration avec Florent Jouve. Dans une lettre datant de 1853, Tchebychev nota qu'en comparant les nombres premiers dans les classes d'équivalence 1 et 3 modulo 4, il y a un sérieux excès de ceux de la première forme. De nombreuses généralisations de ce phénomène ont été étudiées au fil des années. Dans cet exposé nous discuterons du biais de Tchebychev dans la distribution des nombres premiers selon des conditions de type Tchebotarev. Par exemple, on comparera la quantité de nombres premiers p congrus à 1 modulo 3 pour lesquels 2 est un cube modulo p à celle pour laquelle cette condition n'est pas satisfaite. Un de nos buts sera d'étudier les biais extrêmes, c'est-à-dire que nous donnerons des conditions sur les groupes de Galois impliqués qui garantissent de sérieuses asymétries. Nous verrons que ces questions sont fortement liées à la théorie de la représentation de ce groupe. Par exemple, dans le cas d'extensions S_n nous exploiterons la richesse de la théorie de la représentation du groupe symétrique ainsi que les récentes bornes sur ses caractères dues à Roichman, Féray, Sniady, Larsen et Shalev. Nous appliquerons aussi des résultats de type Galois inverse effectif

Le 30 avril 2018 à 14:00

Salle de Conférences

Stanislas Kupin

Operateurs de Toeplitz compacts sur l'espace de Bergman III

Le 3 mai 2018 à 09:00

Salle de Conférences

Comité d'organisation : Yann Traonmilin (CNRS\, Institut de Mathématiques de Bordeaux)\, Samuel Vaiter (CNRS\, Institut de Mathématiques de Bourgogne).

Journée thématique du GDR MIA"Parcimonie et applications"

Le 3 mai 2018 à 14:00

Salle 385

Zhengyang Zhang

A class of state dependent delay differential equations and applications to forest growth.

Le 3 mai 2018 à 14:00

Salle 2

Philippe Jaming Bordeaux

Concentration spectrale des fonctions de Hermite et controllabilité des équations hypo-elliptiques quadratiques

Le 3 mai 2018 à 17:00

Salle 2

Paul Melotti UPMC

Des récurrences spatiales aux formes limites

Les formules de récurrences sont assez bien comprises en dimension 1, mais que peut-on dire des récurrences dans Z^d ? Dans certains cas très particuliers, elles font apparaître polynômes de Laurent en les conditions initiales (par exemple si l'on prend des récurrences issues des relations de Plucker, qui sont les relations génériques entre les mineurs d'une matrice, ou bien des formules issues de la physique liées à la transformation "triangle-étoile"). Cette propriété inattendue suggère une interprétation combinatoire des solutions. On verra trois cas où ces interprétations sont connues : la récurrence de l'octaèdre, la récurrence du cube, et la récurrence de l'hexaèdre. On prendra ensuite un point de vue probabiliste et on verra comment en déduire des phénomènes de formes limites, qui sont des courbes algébriques apparaissant naturellement dans des grands systèmes aléatoires.

Le 4 mai 2018 à 14:00

Salle de Conférences

Tadashi Ochiai Osaka / Paris 7

La conjecture principale d'Iwasawa pour les familles de formes modulaires p-adiques

La théorie de la déformation p-adique des espaces de formes paraboliques a été développée par Hida (le cas ordinaire) et Coleman (le cas non ordinaire). Après que nous rappelons nos résultats précédents sur la théorie d'Iwasawa pour la famille de Hida, nous discutons la généralisation non ordinaire pour la famille de Coleman. Spécialement, nous discutons le résultat en commun avec Filippo Nuccio sur l'application de Coleman. Nous allons aborder quelques applications sur la conjecture principale d'Iwasawa pour le cas non ordinaire via système d'Euler.

Le 10 mai 2018 à 14:00

Salle de Conférences

férié

pas de séminaire

Le 11 mai 2018 à 10:45

Salle 2

Cyril Lacoste\, Rennes

Autour de la dimension géométrique propre et des épines

Soit $\Gamma$ un réseau d'un groupe de Lie semisimple $G$. On aimerait trouver un "bon espace" sur lequel faire agir $\Gamma$, cela nous mène à la définition d'un espace classifiant pour les actions propres. Deux questions se posent alors : quelle est la dimension minimale d'un tel espace (appelée la dimension géométrique propre du groupe $\Gamma$), et peut-on réaliser concrètement un espace de dimension minimale ? Après avoir répondu à la première question, nous essaierons de répondre à la deuxième en construisant ce que l'on appelle des "épines", qui sont des rétracts par déformation de l'espace symétrique associé $G/K$. De telles épines ont été construites dans très peu de cas, nous détaillerons celui du groupe $\mathrm{SL}(n,\mathbb{Z})$, et nous verrons que la construction ne peut pas s'étendre au cas du groupe symplectique $\mathrm{Sp}(2n,\mathbb{Z})$.

Le 14 mai 2018 à 14:00

Salle de Conférences

Zhengyang ZHANG

Sujet : "Études d'une classe d'équations à retard dépendant de l'état et application à la croissance de forêts". Directeur de thèse : Pierre Magal

Le 15 mai 2018 à 14:00

Salle de Conférences

Yixiang Wu\, Department of Mathematics\, Vanderbilt University\, USA

Dynamics and profiles of a diffusive host-pathogen system with distinct dispersal rates

In this talk, we consider a diffusive host-pathogen model with heterogeneous parameters and distinct dispersal rates for the susceptible and infected hosts. We first prove that the solution of the model exists globally and the model system possesses a global attractor. We then identify the basic reproduction number $\mathcal{R}_0$ for the model and prove its threshold role: if $\mathcal{R}_0\le 1$, the disease free equilibrium is globally asymptotically stable; if $\mathcal{R}_0>1$, the solution of the model is uniformly persistent and there exists a positive (pathogen persistent) steady state. Finally, we study the asymptotic profiles of the positive steady state as the dispersal rate of the susceptible or infected hosts approaches zero. Our result suggests that the infected hosts concentrate at certain points which can be characterized as the pathogen's most favoured sites when the mobility of the infected host is limited. This is joint work with Xingfu Zou.

Le 17 mai 2018 à 11:00

Salle de Conférences

Dacam Pham Thi Univ. Tours

The survival probability of a critical multi-type branching process in i.i.d. random environment

Conditioned on the generating functions of offspring distribution, we study the asymptotic behaviour of the probability of non-extinction of a critical multi-type Galton-Watson process in i.i.d. random environments by using limits theorems for products of positive random matrices. Under some certain assumptions, the survival probability is proportional to $1/\sqrt{n}$.

Le 17 mai 2018 à 14:00

Salle de Conférences

V. Bruneau\, IMB\, Université de Bordeaux

Apparition de résonances dans l'analyse spectrale d'un problème de couplage fort.

Nous considérons dans l'espace tout entier, la perturbation du Laplacien par la fonction indicatrice d'un domaine borné avec une grande constante de couplage. Nous étudions en particulier le comportement de quantités spectrales lorsque le domaine est "troué" (de type anneau) quand la constante de couplage tend vers l'infini. L'introduction de la notion de résonance permet de décrire l'asymptotique spectrale. Travail en collaboration avec G. Carbou.

Le 17 mai 2018 à 14:00

Salle 2

Jeffrey Harris

Combining nonlinear wave models with CFD using overlapping domains : applications to offshore structures and tsunamis

While Navier-Stokes modeling (e.g., LES, RANS) is often needed for modeling the physics of turbulent flow close to a body, far-field wave propagation can often be considered inviscid, and Navier-Stokes solvers can be computationally expensive and too numerically dissipative to model waves over long distances. As a result, it is useful -- if not necessary -- to consider a hybrid approach ; in this talk, results will be presented for coupled viscous-inviscid computations, with applications to tsunami propagation and wave-impact to offshore structures (e.g., naval ships, offshore wind turbine foundations). Particular attention will be given to the solution of the inviscid flow with the boundary element method (BEM), based on fully nonlinear potential flow theory, and the developments necessary to improve the accuracy and speed required for large-scale problems. Examples showing the improved accuracy / speed will be shown, as well as the numerical and physical details to resolve for the hybrid approach.

Le 17 mai 2018 à 15:30

Salle de Conférences

Georges Skandalis

Groupoïdes de Lie et théorie de l'indice

Mon exposé est basé sur un travail en collaboration avec Claire Debord (Université d'Auvergne). Nous expliquerons pourquoi les groupoïdes de Lie sont très naturellement liés à la théorie de l'indice d'aniyah-singer. Dans notre approche, s'inspirant des idées d'Alain Connes, divers exemples de groupoïdes de Lie: permettent de généraliser les problèmes d'indice ; peuvent être utilisés pour construire l'indice des opérateurs pseudodifférentiels sans utiliser le calcul pseudodifférentiel; donnent lieu à des démonstration de théorèmes d'indice ; peuvent être utilisés pour construire le calcul pseudodifférentiel.

Le 18 mai 2018 à 10:45

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 2

Andrés Sambarino\, Paris 6

Représentations quasi-principales et dimension de Hausdorff

Le but de l'exposé est d'étudier la dimension de Hausdorff de l'ensemble limite de certains sous-groupes discrets de SL(d,K) où K = R ou C, dits quasi-principaux. Nous expliquerons leur définition ainsi que des méthodes dynamiques pour étudier leur ensemble limite. Ceci est un travail en collaboration avec B. Pozzetti et A. Wienhard.

Le 18 mai 2018 à 11:00

Salle 385

Julien François\, maître de conférences à IMS\, Université Bordeaux

Planification des activités en logistique inverse : modélisation et optimisation des performances par une approche stochastique en programmation linéaire

Dans l'objectif de préserver l'environnement, la mise en place et la gestion de la logistique inverse concernent les différents niveaux (stratégique, tactique et opérationnel) comme cela existe en logistique directe pour tout système de production de biens industriels. Pour améliorer ce type de réseau, la modélisation et la simulation sont des outils efficaces. Notre étude se focalise sur la planification de certains acteurs (appelés maillons) de cette chaine inverse (i.e. collecte-tri, désassemblage). Le but de ce travail est donc de proposer un modèle générique en programmation linéaire dans un contexte multi-produit et multi-période, qui cherche à maximiser le profit total du maillon étudié et qui prend en compte l'incertitude sur la qualité des produits traités. Le modèle linéaire en nombres entiers est ainsi formulé autour d'un profit contraint par les capacités du maillon, l'évolution des stocks entrants et sortants et la livraison des produits traités aux clients, avec une politique de livraison sans déclassement ou avec déclassement des produits.

Le 18 mai 2018 à 14:00

Salle de Conférences

Arthur-César Le Bras DMA - ENS

Cohomologie de de Rham relative surconvergente sur la courbe de Fargues-Fontaine

J'expliquerai comment définir sur la catégorie des variétés rigides lisses quasi-compactes sur $\mathbb{C}_p$ une théorie cohomologique à valeurs dans les fibrés vectoriels sur la courbe de Fargues-Fontaine, qui étende (en un certain sens) la cohomologie de Hyodo-Kato pour les variétés propres et lisses ayant un modèle formel semi-stable sur l'anneau des entiers d'une extension finie de $\mathbb{Q}_p$.

Le 18 mai 2018 à 15:30

Salle de Conférences

Fei Xu Beijing

Arithmetic purity of strong approximation for linear algebraic groups

It is well-known that a smooth variety satisfying strong approximation is simply connected. In particular, the strong approximation property is not birationally invariant. Inspired by simply connected property and the example of affine space, Colliot-Thélène and Wittenberg asked if strong approximation property is invariant among smooth varieties up to a closed sub-variety of codimension at least 2. In this talk, we will show that this is true for a semi-simple simply connected quasi-split linear algebraic group. We also explain that such phenomena for strong approximation with Brauer-Manin obstruction. This is a joint work with Yang Cao and Yongqi Liang.

Le 22 mai 2018 à 10:00

Salle 385

Jean Kieffer ENS Paris

Étude et implémentation de l'algorithme de Schoof–Elkies–Atkin

Le 24 mai 2018 à 11:00

Salle de Conférences

Jean-Marc Azais IMT Toulouse

Simple and multiple spacing test for the Lasso.

Recent advances in Post-Selection Inference have shown that conditional testing is relevant and tractable in high-dimensions. In the Gaussian linear model, further works have derived unconditional test statistics such as the Kac-Rice Pivot for general penalized problems. In order to test the global null, a prominent offspring of this breakthrough is the spacing test that accounts the relative separation between the first two knots of the celebrated least-angle regression (LARS) algorithm. However, no results have been shown regarding the distribution of these test statistics under the alternative. For the first time, this paper addresses this important issue for the spacing test and shows that it is unconditionally unbiased. Furthermore, we provide the first extension of the spacing test to the frame of unknown noise variance. More precisely, we investigate the power of the spacing test for LARS and prove that it is unbiased: its power is always greater or equal to the significance level α. In particular, we describe the power of this test under various scenarii: we prove that its rejection region is optimal when the predictors are orthogonal; as the level α goes to zero, we show that the probability of getting a true positive is much greater than α; and we give a detailed description of its power in the case of two predictors. Moreover, we numerically investigate a comparison between the spacing test for LARS and the Pearson's chi-squared test (goodness of fit). Joint work with Yohann de Castro and Stéphane Mourareau.

Le 24 mai 2018 à 14:00

Salle de Conférences

David GARCIA ZELADA université Paris Dauphine

A Laplace principle for a many-particles equilibrium system

In this talk we will define a model of n interacting particles at positive temperature. We will study its macroscopic behavior as n grows to infinity by injecting, modulo permutations, the n-particle space into the space of probability measures. This sequence of models satisfy a Laplace principle and, in consequence, a large deviation principle which implies, in some cases, an almost sure convergence of the random n-particle state to a deterministic probability measure. This talk will be based on arXiv:1703.02680

Le 25 mai 2018 à 10:45

Salle 2

Patrice Le Calvez\, Paris 6

Forcage d'orbites pour les homeomorphismes de surfaces

Dans un travail commun avec Fabio Tal, de l'université de Sao Paulo, nous établissons une théorie de forçage d'orbites pour les homéomorphismes de surfaces isotopes à l'identité, en termes d'isotopie maximales et de feuilletages transverses. Nous en déduisons particulier un critère simple d'existence de fers à cheval et de nombreuses applications.

Le 25 mai 2018 à 14:00

Salle de Conférences

Alberto Vezzani Paris 13

Foncteurs de réalisations pour les motifs analytiques rigides

Nous présentons des théories cohomologiques pour les variétés analytiques rigides et perfectoïdes, et les foncteurs de réalisation relatifs pour les motifs associés. Comme corollaire, nous étendons une formule de Berkovich sur la partie de poids zéro de la cohomologie l-adique, et nous entendons la définition de la cohomologie rigide aux variétés analytiques en caractéristique positive.

Le 25 mai 2018 à 16:30

Salle 2

Francesco Battistoni UniMi

Classification of number fields via discriminants

The discriminant dK of a number field K is an integer which detects the rational prime numbers ramifying in K. A classical result by Hermite implies that for every M > 0 there are only finitely many number fields K with |dK| ≤ M. This started an attempt to classify all number fields which have discriminant less than a given bound. Meanwhile, it is well known, thanks to Minkowski, that, for every number field K of degree n, the minimal admissible value for |dK| increases with respect to n, and more precise lower bounds occur when one considers fields with a fixed number of real embeddings in C. In this seminar we will give a survey of the study of number fields via their discriminants, focusing on the analytic estimates for the lower bounds of |dK| produced by Odlyzko, Poitou and Serre and on the geometric-algorithmic methods by Hunter, Pohst and Martinet for the classification of fields with discriminant bounded from above. It will be shown how the combination of these methods allowed to get tables of number fields up to isomorphism.

Le 29 mai 2018 à 14:00

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 2

Miguel Escobedo Université du Pays Basque

Boltzmann equation for electron-photon scattering, Kompaneets approximation? and..

I will discuss a Boltzmann equation describing Compton scattering and its approximation by the Kompaneets equation. We will see why such approximation may not be correct for particles with energy in the neighborhood of zero and large times. I will then discuss another approximation of the Boltzmann equation at small values of the photon's energy, suggested by Y. B. Zeldovich, and present some results.

Le 30 mai 2018 à 11:00

Salle 385

Julien Herrman\, post-doc at Georgia Institute of Technology

Acyclic Partitioning of Large Directed Acyclic Graphs for Data locality

Trouver une bonne partition d'un graphe dirigé acyclique associé à un algorithme peut aider à trouver une traversée du graphe avec une bonne localité mémoire. La partition doit être acyclique, c'est à dire le graphe de dépendance entre les parties doit être acyclique. Dans ces travaux, nous adoptons une approche multi-niveaux avec des phases de regroupement, de partitionment initial et de raffinement adaptées aux problème. La partition acyclique peut ensuite être utilisée pour reconstruire une traversée du graphe minimisant l'utilisation mémoire.

Le 31 mai 2018 à 11:00

Salle de Conférences

Salem Said IMS

Présentation de l'article "Practical Riemannian Neural Networks" par G. Marceau-Caron & Y. Ollivier

L'article présenté est disponible ici : https://arxiv.org/pdf/1602.08007.pdf

Le 31 mai 2018 à 14:00

Salle de Conférences

C. Ambrozie\, IMAR\, Acad. Sci. de Roumanie

Multivariate commutant lifting in the framework of the test functions.

One presents a new functional commutant lifting theorem of Agler type, for general domains endowed with a set, possibly infinite, of test functions. In particular, this can provide H-infinity interpolation results of Caratheodory - Fejer type on various domains in several variables.

Le 31 mai 2018 à 14:00

Salle 2

Nastassia Pourpier Duteil CEREMADE

L'EDP développementale

Le développement d'un organisme est régi par des morphogènes, des molécules qui entrainent la différenciation des cellules selon la concentration à laquelle les cellules en sont exposées. Les morphogènes sont à la fois responsables de la croissance de l'organisme et affectées par cette même croissance lors de leur diffusion. Croissance et diffusion sont ainsi intimement liées par un couplage bidirectionnel. Nous proposons un nouveau cadre mathématique pour traiter ce couplage. L'organisme est modélisé par une variété riemannienne qui est transportée par un champ de vecteur. La densité de morphogènes est représentée par une mesure supportée sur la variété, et sa diffusion dépend de l'évolution de la variété par l'opérateur de Laplace-Beltrami. A son tour, le champ de vecteurs régissant l'évolution de la variété dépend de la mesure à chaque instant. L'évolution dans le temps de la mesure est ainsi décrite par une équation de transport-diffusion qui couple les deux mécanismes, que nous dénommons EDP développementale. Cet exposé présente les résultats d'existence et d'unicité de la solution de cette équation. Nous démontrons la non-commutativité de la diffusion et du transport grâce à l'introduction d'un « crochet de Lie » entre les deux opérateurs. Enfin, nous étudions la possibilité de contrôler l'évolution d'une variété par la source du signal s'y diffusant et l'illustrons par des résultats numériques.

Le 1er juin 2018 à 10:45

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 2

Pierre Will\, Institut Fourier

SL(3,C), SU(2,1), 3-variétés

SU(2,1) est le groupe d'isométries du plan hyperbolique complexe, qui peut être vu comme la boule unité de C^2. Dans cet exposé, j'expliquerai comment produire des exemples de représentations de groupes fondamentaux de certaines 3-variétés dans SL(3,C) et SU(2,1), et comment elles peuvent produire des exemples intéressants de structures géométriques sur ces variétés.

Le 1er juin 2018 à 11:00

Salle 385

Artur Pessoa\, Associate Professor at Universidade Federal Fluminense\, Niteroi\, Brazil on sabbatical leave at University of Bordeaux

Solving the Robust Capacitated Vehicle Routing Problem under Demand Uncertainty

In this talk, we propose a Branch-Cut-and-price algorithm for the robust counterpart of the classical Capacitated Vehicle Routing Problem (CVRP). The deterministic version of this problem consists of finding a set of vehicle routes to serve a given set of customers with associated demands such that the sum of demands served by each vehicle does not exceed its capacity, and each customer is served exactly once. The total travel cost, given by the sum of distances traversed by all vehicles must be minimized. Here, only customer demands are assumed to be uncertain. We consider two types of uncertainty sets for the vector of customer demands: the classical budget polytope introduced by Bertsimas and Sim (2003), and a partitioned budget polytope, proposed by Gounaris et al (2013) for the CVRP with uncertain demands. The method proposed in this paper uses a set partitioning formulation to solve the problem, where each binary variable determines whether a given route is included or not in the solution. It considers only the routes that satisfy the capacity constraints for all possible demand vectors allowed by the uncertainty polytope. The linear relaxation for this formulation is solved by column generation, where the pricing subproblem is decomposed into a small number of deterministic subproblems with modified demand vectors. This reformulation allows the use of state-of-the-art techniques such as ng-routes, rank-1 cuts, specialized labeling algorithms, fixing by reduced costs and route enumeration. As a result, we were able to solve all 47 open instances proposed by Gounaris et al (2013), the largest one having 150 customers.

Le 1er juin 2018 à 11:00

Salle de Conférences

Julien MATHIAUD

Sujet : "Contribution à la modélisation et à la simulation des écoulements complexes : application à la rentrée-atmosphérique et aux interactions particules-fluide"

Le 1er juin 2018 à 14:00

Salle de Conférences

Joaquin Rodrigues University College London

Vers un système d'Euler pour GSP6

Suite au travail de plusieurs mathématiciens, les systèmes d'Euler se sont avérés très importants dans l'étude de l'arithmétique des formes automorphes. Par exemple, la construction de Kato d'un système d'Euler associé à une forme modulaire lui a permis de donner une construction alternative de la fonction $L$ $p$-adique de cette forme et de montrer une divisibilité dans la conjecture principale d'Iwasawa. Lei-Loeffler et Zerbes ont montré que les techniques de Kato peuvent être adaptées pour construire des systèmes d'Euler dans d'autres cadres (produit tensoriel de deux formes modulaires, formes de Hilbert, formes de Siegel pour le groupe $\operatorname{GSp}_4$). On expliquera un travail en commun avec Antonio Cauchi qui a pour but la construction d'un système d'Euler pour les formes automorphes du groupe $\operatorname{GSp}_6$.

Le 5 juin 2018 à 14:00

Salle 2

Florent Berthelin Université de Nice

Etude d'un modèle multi-dimensionnel de gaz sans pression avec contraintes

Les systèmes de lois de conservation avec contraintes apparaissent naturellement pour des problèmes de dynamique des gaz, de traffic routier, ... Dans les modèles qui seront présentées, les techniques utilisées jusqu'à présent semblaient limitées au cas de la dimension un en espace. Nous verrons comment on peut transformer ces techniques pour traiter des modèles multi-dimensionnels.

Le 5 juin 2018 à 14:00

Salle de Conférences

Jonathan HARTER

Sujet : "Martingales à valeurs dans des variétés de valeur terminale donnée". Directeur de thèse : Marc Arnaudon. Co-encadrant : Adrien Richou

Le 7 juin 2018 à 11:00

Salle de Conférences

Julien Worms Université de Versailles

Statistique des valeurs extrêmes pour données censurées

Cet exposé abordera le problème de l'estimation statistique de la queue d'une distribution univariée, dont seul un échantillon aléatoirement censuré (à droite) est disponible. Après des rappels sur la statistique des valeurs extrêmes et sur les données censurées, des estimateurs de l'indice des valeurs extrêmes seront présentés dans le cadre de lois à queues lourdes. Ces estimateurs ont la forme de sommes pondérées impliquant l'estimateur de Kaplan-Meier évalué dans toute la queue de l'échantillon, l'un d'entre eux s'écrivant comme une intégrale de Kaplan-Meier avec fonctionnelle non-bornée à support glissant. On évoquera leurs performances par rapport à leurs concurrents, en particulier dans des cadres de censure forte (le seuil de 50% de censure dans la queue jouant ici un rôle clé), et on montrera comment et dans quel cadre la normalité asymptotique peut être obtenue. Si le temps le permet, les extensions à d'autres cadres (queues plus légères, censure en présence de risques concurrents, quantiles extrêmes) seront abordées. Travail en collaboration avec Rym Worms (Univ. Paris-Est-Créteil) et aussi Jan Beirlant (KU Leuven).

Le 7 juin 2018 à 14:00

Salle 2

Yannick Privat LJLL

Optimisation des ressources dans un enclos

Le 7 juin 2018 à 14:00

Salle de Conférences

Maxence Novel\, ENS Paris

Contraction de cônes multidimensionnels et applications

Prouvé au début du XXe siècle, le théorème de Perron-Frobenius fournit l'existence d'un trou spectral, i.e. une valeur propre qui domine toutes les autres, pour les matrices à coefficients strictement positifs. Elle s'articule autour d'un point clé : la contraction d'un cône pour une métrique de Hilbert (hyperbolique). Dans cet exposé, je m'intéresserai aux généralisations de ces concepts à des cônes de dimension plus grande : la contraction d'un cône de dimension p fournit une domination stricte du spectre par les p plus grandes valeurs propres. Les outils mis en jeu permettront aussi d'obtenir de la régularité analytique pour les exposants de Lyapunov pour certaines familles de cocycles.

Le 7 juin 2018 à 17:00

Salle 2

Marco Bravin

On uniqueness for weak solutions of parabolic PDE. The 2D viscous fluid-structure interaction problem.

In this talk I will present some ideas that lead to prove weak uniqueness for a parabolic PDE. The goal is to understand how to apply this technique to the 2D viscous fluid-structure interaction problem.

Le 8 juin 2018 à 10:45

Salle 2

Simon MÜLLER U. Konstanz

On Quasi-ordered fields with a view towards algebraic and model theoretic applications

In 1987, Syed M. Fakhruddin introduced the notion of quasi-ordered fields and showed that any such field is either an ordered field or a valued field. In this talk we briefly sketch the proof of Fakhruddin's result. Afterwards we demonstrate with examples from real algebra and model theory how via quasi-ordered fields, the theories of ordered and valued fields can be unified.

Le 8 juin 2018 à 14:00

Salle de Conférences

Eknath Ghate TIFR\, Mumbai

Reductions of Galois Representations of Exceptional Weights

We describe the reductions of certain two-dimensional Galois representations of small slopes, using the compatibility with respect to reduction between the p-adic and mod p Local Langlands Correspondences. We concentrate on the most interesting and difficult case of weights which are exceptional for a particular half-integral slope. These are weights which are congruent to two more than twice the slope mod (p-1). We make a Zig-Zag Conjecture describing the reduction for such weights in general, and describe some recent evidence towards it.

Le 11 juin 2018 à 10:00

Salle de Conférences

10h00 \"Contrôle et stabilisation d'équations des ondes dégénérées.\"par Fatiha Alabau\, Université de Lorraine\n11h00 \"On continuity of solutions for parabolic control systems and input-to-state stability \" par Birgit Jacob\, Université de Wuppertal\n14h00 Soutenance de thèse de Duc-Trung HOANG\, \"Controllability and observability of non-autonomous evolution equations\"

Journée contrôle des EDP

Le 11 juin 2018 à 14:00

Salle de Conférences

Duc Trung HOANG

Sujet : "Controlabilité et observabilité pour des équations d'évolution non autonomes". Directeur de thèse : Bernhard Haak. Co-directeur : El Maati Ouhabaz.

Le 12 juin 2018 à 10:00

Salle 385

Xavier Caruso Université de Rennes

Variations autour d'un théorème de Christol

Un cÃ©lÃ¨bre thÃ©orÃ¨me de Christol affirme qu'une sÃ©rie Ã coefficients dans $\mathbb{Z}/p\mathbb{Z}$ est algÃ©brique sur $\mathbb{Z}/p\mathbb{Z}(x)$ si et seulement si la suite de ses coefficients est $p$-automatique.

Le 14 juin 2018 à 11:00

Salle de Conférences

Pascal Vallet IMS

Présentation de l'article "A Random Matrix Approach to Neural Networks" par Louart, Liao & Couillet

présentation du papier : Louart, Liao & Couillet "A Random Matrix Approach to Neural Networks" disponible ici --> https://arxiv.org/pdf/1702.05419.pdf

Le 14 juin 2018 à 14:00

Salle 2

Florian De Vuyst - reporté

Sans titre

Le 14 juin 2018 à 14:00

Salle de Conférences

G. Klein\, IRMA\, Université de Strasbourg

Stabilisation de l'équation des ondes vectorielles.

Dans le problème de la stabilisation de l'équation des ondes on s'intéresse au comportement en temps long de l'énergie des solutions d'une équation des ondes à laquelle on a ajouté un terme d'amortissement. Ce problème a été activement étudié durant ces dernières décennies mais toujours dans le cas d'une équation des ondes scalaires. On sait par exemple que, sur une variété riemannienne compacte, l'énergie des solutions décroit exponentiellement si et seulement si toutes les géodésiques maximales de la variété intersectent la zone amortie. Pour cet exposé je présenterai quelques résultats classiques de ce domaine dans le cas d'une équation des ondes scalaire mais aussi dans le cas d'une équation des ondes à valeurs vectorielle (dans C^n); j'analyserai de plus les différences entre ces deux contextes.

Le 14 juin 2018 à 15:30

Salle de Conférences

Franck Sueur

Contrôle des équations de Navier-Stokes

En 1989, à plusieurs occasions, Jacques-Louis Lions a mentionné le problème ouvert suivant sur les équations de Navier-Stokes (un système d'EDP dissipatif non-linéaire): peut-on agir localement (en espace) de façon à changer drastiquement (en norme L^2) et brutalement (c'est-à-dire en peu de temps) la solution partout ? Nous évoquerons d'abord les premières avancées sur les équations (linéaires) de la chaleur et de Stokes, par Fursikov, Imanuvilov, Lebeau et Robbiano; celles de Coron et Glass sur les équations (conservatives) d'Euler; et les premiers succès pour les équations de Navier-Stokes, où seulement un petit changement (dans L^2) de la solution est obtenu. Ensuite nous présenterons deux résultats récents avec Coron, Marbach et Zhang, qui, au regard du but initial, peuvent être vus, en quelque sorte, comme un tir sur le poteau et un autre sur la transversale !

Le 15 juin 2018 à 10:45

Salle 2

Michel RAIBAUT U. Chambéry

Intégration motivique et fibres de Milnor

Dans cet exposé nous commencerons par présenter les fibrations de Milnor (locales et globales) d'un polynôme à coefficients complexes. Leur défaut de trivialité topologique est en particulier relié à la présence de singularités du polynôme à distance finie ou à l'infini. De nombreux invariants sont associés à ces fibrations comme les nombres de Milnor ou la fonction zeta de la monodromie. Nous expliquerons comment Denef -- Loeser retrouvent ces invariants grâce à l'intégration motivique en utilisant des arcs formels dont l'origine est par exemple la singularité à étudier. Nous nous détaillerons en particulier le cas des courbes planes. Travail en commun avec Pierrette Cassou-Noguès et Lorenzo Fantini.

Le 15 juin 2018 à 14:00

Salle de Conférences

Daniele Turchetti Caen

Descente Galoisienne d'espaces semi-affinoides et réduction semi-stable de courbes

Dans cet exposé, je présenterai un résultat de classification de formes modérément ramifiées de certains espaces analytiques sur un corps à valuation discrète, obtenu en collaboration avec Lorenzo Fantini. Je détaillerai nos résultats dans les cas des disques et des couronnes, en mettant en évidence le lien avec les changements de base minimales pour qu'une courbe définie sur un corps à valuation discrète admette réduction semi-stable. Pour terminer, je discuterai un plan d'action pour attaquer les difficultés qui surgissent dans le cas sauvagement ramifié, inspiré par les techniques d'étude du relèvement à la caractéristique zéro des revêtements de disques $p$-adiques.

Le 19 juin 2018 à 09:00

Salle de Conférences

La Cellule Informatique

AG commision informatique

Le 19 juin 2018 à 14:00

Salle 2

Thomas Ourmières Orsay

Opérateurs de Dirac et interactions delta.

Dans cet exposé, on discutera différents aspects de l'opérateur de Dirac en dimension trois, couplé à un potentiel singulier supporté sur une surface. Après avoir motivé l'étude de tels objets, on s'intéressera brièvement au problème d'auto-adjonction pour des potentiels singuliers de type électrostatique ou de type scalaire de Lorentz. Pour cette dernière classe de potentiels, on étudiera la structure du spectre d'un tel opérateur et en particulier, on montrera que lorsque la masse de la particule tend vers l'infini, dans le cas d'un potentiel attractif, les valeurs propres se comportent au premier ordre comme les valeurs propres d'un opérateur effectif sur la surface. On verra que cet opérateur effectif est en fait un opérateur de Schrödinger avec champ de Yang-Mills couplé à un potentiel électrique, le champ et le potentiel étant tous deux de nature géométrique. Il s'agit de travaux en collaboration avec Markus Holzmann, Konstantin Pankrashkin et Luis Vega.

Le 21 juin 2018 à 11:00

Salle de Conférences

Salem Said IMS

Suite de la présentation de l'article 'Practical Riemannian Neural Networks' par G. Marceau-Caron & Y. Ollivier

Le 21 juin 2018 à 14:00

Salle de Conférences

Rodrigo Bissacot University of São Paulo

DLR Measures Everywhere

The notion of DLR measure in statistical mechanics of lattice spin systems was defined by the independent works developed by R.L. Dobrushin, and O.E. Lanford III with D. Ruelle, where were introduced the notion of Gibbsianness in terms of the study of probability measures that admits prescribed conditional probabilities with respect to the spin configurations outside of finite regions. We discuss in this talk generalizations of this notion in other areas of Mathematics, namely: Countable Markov Shifts and Groupoids. In the first part of the talk, we discuss results in collaboration with Eric O. Endo (USP) and Elmer Beltrán (USP) where a notion of infinite DLR measure is introduced and we proved that eigenmeasure of the Ruelle's operator is a DLR measure. The implication in the opposite direction is obtained for some cases. In the second part of the talk, if the time to allow us, we discuss the notion of DLR measure on groupoids of Deaconu-Renault and prove the equivalent result for this context, in other words, conformal measures are DLR measures. This last part is based on a work in progress with Rodrigo Frausino (USP), Thiago Raszeja (USP) and Ruy Exel (UFSC). These results will be part of a lecture of the last author at the ICM 2018.

Le 22 juin 2018 à 10:45

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 2

Bianca Barucchieri IMB

Variétés affines Hermite-Lorentz

Dans cet exposé on s'intéressera aux variétés affines plates et compactes. Ces variétés ont été étudiées dans le cas euclidien par Bieberbach et dans le cas lorentzien par Fried en dimension 4 et par Grunewald et Margulis en toutes dimensions. On verra comment, en suivant leur méthodes, on peut obtenir des résultats de classification dans le cas Hermite-Lorentz.

Le 22 juin 2018 à 11:00

Salle 385

Orlando Rivera Letelier\, Ph.D. student\, Universidad Adolfo Ibañez\, Santiago\, Chile

Open Pit Strategic Mine Planning: Advances in the Integer Programming Methodology

The main concern of Open Pit Strategic Mine Planning is the design of a life-of-mine production schedule (20 to 50 years) of a mining deposit, this is, it consists in deciding what material of the ground will be mined, when it will be mined, and what material will be considered as ore, in order to maximize the economic value of the project subject to operational constraints. The deterministic Open Pit Production Scheduling Problem can be modeled with mixed integer programming formulations, beginning with a discretization of the ore body into a three dimensional array of blocks that must be scheduled into typically yearly time periods, and must be assigned to one of the possible destinations, consisting in the different existing processing plants, stockpiles and waste dumps, satisfying a list of constraints such as limits in the mining and processing capacities, geological restrictions, access and operational considerations between others. These formulations are characterized by their large number of variables and constraints present in even medium size mines. This problem is typically sub-divided into two problem-stages, the first of which consists in deciding the limits of the mine and divide it into phases to be scheduled, and the second consists in defining a detailed schedule of the previously defined phases. In this talk we show recent advances in the methodology for solving these problems, consisting in pre-processing, heuristics, linear relaxation algorithms, cutting planes and a branch and bound method specifically fitted for this particular problem, that allow us to find solutions with a small optimality gap in a few hours for real mine instance of up to 7.000.000 blocks.

Le 26 juin 2018 à 11:00

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 385

Fauste Léon\, stagiaire\, Université de Bordeaux

Partitionnement de carré en surfaces d'aires données avec minimisation de la projection sur les axes

On s'intéresse au partitionnement de matrices pour effectuer des produits de matrices en parallèle sur des ressources hétérogènes ce qui - si on s'appuie sur des algorithmes comme celui de Canon - peut se ramener à un problème de découpe du carré unité en un ensemble de zones telles que : - la surface de chaque zone est égale à la vitesse relative d'un processeur. - la somme des projections des zones sur les deux axes est minimale, ce qui revient à minimiser les communications entre les processeurs induites par l' algorithme de produit de matrice.

Le 26 juin 2018 à 14:00

Salle de Conférences

Pavel Mozolyako Bologne

Carleson measures for the Dirichlet spaces on the bidisc: a discrete approach

We consider the problem of characterizing the Carleson measures for the Dirichlet space on the bidisc and reduce it to a problem concerning a bilinear Hardy operator on the direct product of two trees, which can be solved. We introduce the basics of (logarithmic) potential theory on the bitree and investigate some naturally arising capacitary-type inequalities. Possible further inquiries and related problems are discussed. Work in collaboration with Nicola Arcozzi, Karl-Mikael Perfekt, and Giulia Sarfatti

Le 27 juin 2018 à 13:30

Salle de Conférences

Comité d'organisation : I. Tahiri\, F. Vanderbeck.

The Second Annual JuMP-dev Workshop

Le 28 juin 2018 à 14:00

Salle 2

Laurent Monasse Inria COFFEE

Un schéma de couplage explicite et conservatif pour l'interaction fluide-structure compressible

Dans cet exposé, nous présenterons un schéma de couplage pour la simulation de l'effet d'ondes de chocs aériennes sur des structures déformables pouvant se fragmenter. Nous utilisons une méthode de frontières immergées de type cut-cells en trois dimensions d'espace. Le schéma développé a comme principales caractéristiques d'être totalement explicite (un seul calcul fluide et solide par pas de temps), de conserver la masse fluide et la quantité de mouvement et l'énergie du système couplé. Nous montrerons des résultats numériques qui permettent de valider la méthode, et discuterons des développements futurs envisagés.

Le 28 juin 2018 à 17:00

Salle 2

Adrien Laurent Université de Genève

Un nouveau type de B-series pour l'étude numérique en temps long de l'équation de Langevin overdamped

Le 29 juin 2018 à 10:45

Salle 2

Cyril Houdayer Orsay

Une propriété de trou spectral pour les actions fortement ergodiques des groupes discrets sur les espaces mesurés

Il est bien connu depuis Schmidt que pour toute action ergodique préservant une mesure de probabilité d'un groupe discret sur un espace mesuré, si la représentation de Koopman associée n'a pas de vecteur presqu'invariant, alors l'action n'a pas de sous-ensemble presqu'invariant non trivial, c'est-à-dire, l'action est fortement ergodique. La réciproque n'est pas vraie comme l'a démontré Schmidt en 1980. Dans cet exposé, je présenterai une caractérisation de l'ergodicité forte des actions des groupes discrets sur les espaces mesurés en terme d'une propriété de trou spectral du groupe plein associé à la relation d'équivalence orbitale. J'expliquerai comment utiliser cette propriété de trou spectral pour caractériser l'ergodicité forte de l'extension de Maharam des actions non-singulières.

Le 29 juin 2018 à 14:00

Salle 1

Yuri Bilu Bordeaux

L'invariant j d'une courbe elliptique à multiplication complexe n'est pas une unité

Un module singulier est l'invariant j d'une courbe elliptique à multiplication complexe. On sait depuis le 19ème siècle que tout module singulier est un entier algébrique. En 2011 Masser a posé la question suivante: est-il vrai qu'il n'existe qu'un nombre fini de modules singuliers qui sont des unités (éléments inversibles dans l'anneau de tous les entiers algébriques); appelez les "unités singulières". Habegger (2015) a répondu positivement: il n'existe qu'un nombre fini d'unités singulières. Cependant, son argument était non-effectif (dépendant du zéro de Siegel, via le théorème d'équipartition de Duke), et n'a fourni aucune majoration explicite pour la taille de ces unités singulières. Je parlerai du travail récent, commun avec Philipp Habegger et Lars Kühne, où nous démontrons que les unités singulières n'existent pas du tout. Premièrement, nous montrons que la valeur absolue du discriminant d'une unité singulière est bornée par 10^15. Ensuite, nous utilisons des arguments assistés par ordinateur pour exclure des unités singulières avec les discriminants inférieurs à cette borne.

Le 1er juillet 2018

Université de Bordeaux, Site Victoire / Auditorium

Comité d'organisation : S. Valerius & L. Chevillot\, M. Henault & S. Raposo\, I. Voirin & N. Garcia\, P. Depouilly & L. Facq\, I. Tahiri\, F. Clautiaux\, F. Vanderbeck.

23rd International Symposium on Mathematical Programming

Le 2 juillet 2018 à 10:00

Salle de Conférences

Lin Lin LI

Soutenance de Thèse: Mathematical analysis of a model of partial differential equations describing the adaptation of mosquitoes facing the usage of insecticides

Le 2 juillet 2018 à 10:00

Salle de Conférences

Linlin LI

Sujet : "Analyse mathématique d'un modèle d'équations aux dérivées partielles décrivant l'adaptation des moustiques face à l'usage des insecticides". Directeur de thèse : Beddredine Ainseba

Le 2 juillet 2018 à 14:00

Salle de Conférences

Contact : Adrien Richou\, prenom.nom@math.u-bordeaux.fr

Rencontres Bordeaux-Poitiers sur les algorithmes stochastiques

Le 3 juillet 2018 à 11:00

UMR SAVE, INRA Villenave d'Ornon

Mathieu Legros\, CSIRO Agriculture & Food in Canberra\, Australie

Genetic approaches to the control of disease vectors and agricultural pests

Several novel genetic approaches have been proposed for the control of undesirable species, aiming either for population suppression, through the expression of conditional lethality, or population replacement, by using gene drive constructs to drive desirable traits into target populations. In this seminar, I will introduce a range of genetic strategies that are being considered for pest control, as well as the results of model-based assessments of these strategies, evaluating their feasibility and efficacy in specific environments. I will discuss the applications of these techniques to the control of the mosquito Aedes aegypti, as well as projected challenges and opportunities for the use of these approaches in agricultural systems.

Le 5 juillet 2018 à 10:00

Salle 385

Jean-François Biasse University of South Florida

Fast multiquadratic S-unit computation and application to the calculation of class groups

Let $L=Q(âˆšd_1, ... ,âˆšd_n)$ be a real multiquadratic field and S be a set of prime ideals of L that does not contain any divisors of 2. In this paper, we present a heuristic algorithm for the computation of the S-class group and the S-unit group that runs in time $Poly(log(âˆ†),Size(S)) e^{Ã•(âˆšln d)}$ where $d=max_{iâ‰¤n} d_i$ and âˆ† is the discriminant of L. We use this method to compute the ideal class group of the maximal order $O_L$ of L in time $Poly(log(âˆ†)) e^{Ã•(âˆšlog d)}$. When $log(d)â‰¤log(log(âˆ†))^c$ for some constant $c < 2$, these methods run in polynomial time. We implemented our algorithm using Sage 7.5.1.

Le 9 juillet 2018 à 14:00

Salle 2

Antonin Coutant (U. Nottingham)\, Umberto Bosi (IMB)\, M. Kazakova (U. Toulouse)\, K. Benyo (IMB)

14h: Antonin Coutant (U. Nottingham): De la radiation de Hawking aux ressauts ondulants15h: Umberto Bosi (IMB, INRIA Cardamom): A fast high-order spectral element unified nonlinear Boussinesq model for floating point absorbers15h20: Maria Kazakova (Institute de Mathématiques de Toulouse): Conditions aux limites transparentes pour un nouveau système hyperbolique de Green-Naghdi15h40: Krisztian Benyo (IMB): Wave-structure interaction for long wave models in the presence of a freely moving body on the bottom

Le 9 juillet 2018 à 15:00

Salle de Conférences

Antonin Riffaut

Sujet :"Calcul effectif de points spéciaux". Directeur de thèse : Yuri Bilu. Co-directeur : Karim Belabas

Le 27 août 2018 à 09:00

Salle de Conférences

Comité d'organisation : F. Sueur\, M. Tucsnak

XIV-ème colloque Franco-Roumain de mathématiques appliquées

Le 4 septembre 2018 à 11:30

Salle de Conférences

Tatsuo Nishitani Osaka University

Transversally strictly hyperbolic systems

We consider the Cauchy problem for first-order systems. Assuming that the characteristic variety is a smooth manifold and the characteristic values are real and semisimple we introduce a new class which is strictly hyperbolic in the directions transverse to the characteristic manifold. If the propagation cone and the characteristic manifold are compatible we prove that transversally strictly hyperbolic systems are strongly hyperbolic systems. On the other hand if the propagation cone is incompatible with the characteristic manifold then transversally strictly hyperbolic systems are much more involved. In this talk we mainly discuss this case taking an interesting example proposed by G.M¥'etivier.

Le 10 septembre 2018 à 14:00

Salle 286

Cours de l'Ecole Doctorale\n Salma Kuhlmann\, Université de Konstanz\, Allemagne

"Real closed fields and models of the Peano arithmetic"

Le 10 septembre 2018 à 14:00

LABRI

Comité d'organisation : Sébastien Labbé\, Vincent Delecroix\, Jérôme Leroux\, Sylvain Lombardy

17e journées montoises d'informatique théorique

Le 10 septembre 2018 à 14:00

Salle de Conférences

Jean Esterle

Holomorphic functional calculus for finite families of commuting semigroups (1)

Le 10 septembre 2018 à 15:15

Salle 2

Edoardo Bocchi

Floating structures in axisymmetric shallow water: local well-posedness and decay test

The floating structure problem describes the interaction between surface water waves and a floating body, generally a boat or a wave energy converter. As shown by Lannes the equations for the fluid motion can be reduced to a set of two evolution equations on the surface elevation and the horizontal discharge. The presence of the object is accounted for by a constraint on the discharge under the object; the pressure exerted by the fluid on this object is then the Lagrange multiplier associated with this constraint. Our goal is to prove the well-posedness of this fluid-structure interaction problem in the shallow water approximation under the assumption that the flow is axisymmetric without swirl. We write the fluid equations as a quasilinear hyperbolic mixed initial boundary value problem and the solid equation as a second order ODE coupled to the fluid equations. We prove the local in time well-posedness for this coupled problem, provided some compatibility conditions on the initial data are satisfied. Finally we consider the decay test.

Le 10 septembre 2018 à 16:15

Salle de Conférences

Marco Bravin

On uniqueness for weak solutions of a "fluid+rigid body" interaction problem

In this talk I will present a uniqueness result for weak solutions of a "viscous incompressible fluid + rigid body" system with Navier slip-with-friction conditions in a 2D bounded domain. In particular the talk will focus on two tools that are fundamental in the proof. The first one is a way to smooth in time solution of a fluid interaction problem, the second is the R-sectorialy property, which is closed related to maximal regularity in UMD Banach spaces.

Le 11 septembre 2018 à 11:30

Salle de Conférences

Ming Mei

A priori estimates for the water waves problem with surface tension in a corner domain

We study the two dimensional water waves problem with surface tension in the case when there is a non-zero contact angle between the free surface and the bottom. In the presence of surface tension, dissipations take place at the contact point. Moreover, when the contact angle is less than $\pi/6$ , no singularity appears in our settings. Using elliptic estimates in corner domains and a geometric approach, we prove an a priori estimate for the water waves problem. This is a joint work with Chao Wang.

Le 11 septembre 2018 à 14:00

Salle 286

Cours de l'Ecole Doctorale\n Salma Kuhlmann\, Université de Konstanz\, Allemagne

"Real closed fields and models of the Peano arithmetic"

Le 11 septembre 2018 à 14:00

Salle de Conférences

Federico TESSER

Sujet : "Résolution en parallèle de l'équation de Poisson sur mailles overset et hiérarchiques en Python". Directeur de thèse : Angelo Iollo. Co-directeur : Michel Bergmann

Le 13 septembre 2018 à 11:00

Salle de Conférences

Yann Traonmilin IMB

Is the 1-norm the best convex sparse regularization?

The 1-norm is a good convex regularization for the recovery of sparse vectors from under-determined linear measurements. No other convex regularization seems to surpass its sparse recovery performance. How can this be explained? To answer this question, we define several notions of “best” (convex) regularization in the context of general low-dimensional recovery and show that indeed the 1-norm is an optimal convex sparse regularization within this framework.

Le 13 septembre 2018 à 12:00

Salle de Conférences

Comité d'organisation : Michel Bergmann\, Iraj Mortazavi\, Angelo Iollo

Colloque en l'honneur de Charles-Henri Bruneau

Le 18 septembre 2018 à 10:30

Salle 385

Aurel Page et Pascal Molin

Mini groupe de travail: calcul des caractères de Hecke

Le 18 septembre 2018 à 11:30

Salle de Conférences

Mitsuo Higaki University of Kyoto

On the stability of planar stationary flows in a non-symmetric exterior domain

We consider the asymptotic stability of two-dimensional stationary flows in an exterior domain without symmetry. Especially, we prove the local $L^2$-stability of a flow whose leading profile is the rotating flow decaying in the scale-critical order $O(|x|^{-1})$.

Le 20 septembre 2018 à 10:00

Salle de Conférences

Sami CAPDEROU

Sujet : "Estimation statistique non paramétrique appliquée à la surveillance des eaux côtières". Directeur de thèse : Bernard Bercu. Co-directeur : Gilles Durieu

Le 20 septembre 2018 à 14:00

Salle 1

Michel Bonnefont\, IMB\, Université de Bordeaux

Autour de l'inégalité de Brascamp-Lieb et estimées pour les valeurs propres d'ordre supérieur de processus de diffusion.

Bobkov et Ledoux (GAFA2000) ont proposé une nouvelle preuve de l'inégalité de variance de Brascamp-Lieb. Leur preuve est basée sur une utilisation habile de l'inégalité de Prekopa-Leindler (la version fonctionnelle de l'inégalité de Brunn-Minkowski). Dans cet exposé, je présenterai leur preuve. Mon but sera ensuite de voir si les inégalités de variance de Brascamp-Lieb généralisées que l'on a obtenu avec Marc Arnaudon et Aldéric Joulin peuvent s'obtenir de la même manière. (Travail en cours).

Le 20 septembre 2018 à 14:00

Salle 2

Patrick Fischer IMB

NUMERICAL SIMULATIONS OF THERMAL TWO DIMENSIONAL HEMISPHERICAL TURBULENCE

The two-dimensional Navier Stokes equations are often used as a model for describing turbulence in the atmosphere. Indeed, atmospheric phenomena are confined in a layer of fluid whose dimensions are only a few kilometers in the vertical direction and thousands of kilometers in the horizontal directions. Even if this model cannot completely describe the complexity of the atmosphere, two dimensional simulations can still be used to mimic large-scale structures motion in the atmosphere. Quite recently H. Kellay et. al designed a new physical experiment: a thermal convection cell composed by a half soap bubble heated at the equator. This device allowed them to study thermal convection and the movement of vortices on the surface of the bubble. The purpose of this talk is to present the mathematical model and the numerical simulations of this hemispherical bubble heated at the equator and to compare the results to known behavior in classical Rayleigh-Benard convection in three (or two) dimensional containers.

Le 20 septembre 2018 à 15:00

Salle de Conférences

Roberto GUALDI

Sujet : "Hauteur de cycles de variétés toriques". Directeur de thèse : Alain Yger. Co-directeur : Martin Sombra

Le 21 septembre 2018 à 11:00

Salle de Conférences

Xi LIN Song

Sujet : "Écoulements incompressibles réactifs avec interfaces : modèles macroscopiques et applications aux matériaux composites auto-cicatrisants". Directeur de thèse : Mathieu Colin. Co-directeur : Didier Bresch

Dans ce manuscrit, nous parlons des matériaux composites à matrice céramique (CMCs) qui sont envisagés pour intégrer les chambres de combustion de futurs moteurs aéronautiques civils. Pour faire face à des conditions extrêmes, ces matériaux possèdent la particularité de s'auto-protéger vis-à-vis de l'oxydation par la formation d'un oxyde passivant qui limite la diffusion des espèces oxydantes au sein des fissures matricielles. Nous modélisons l'écoulement d'un oxyde dans une fissure par l'équation de Navier-Stokes, puis les mettons sous forme non dimensionnelle, et les derivations de deux types de modèles sont intéressantes: les modèles de Saint-Venant et les modèles de lubrification. Ensuite nous nous engageons à chercher l'existence de solution faible de l'approximation de lubrification d'ordre 4 obtenue précédente dans le cas uni-dimensionnel. Enfin nous précisons la limite entre les équations de Saint-Venant et l'équation de lubrification.

Le 21 septembre 2018 à 14:00

Salle de Conférences

Elsa CAZELLES

Sujet :"Statistical properties of barycenters in the Wasserstein space and fast algorithms for optimal transport of measures.".Directeur de thèse : Jérémie Bigot. Co-directeur : Nicolas Papadakis

This thesis focuses on the analysis of data in the form of probability measures supported on euclidean spaces. The aim is to provide a better understanding of the usual statistical tools on this space endowed with the Wasserstein distance. The first order statistical analysis is a natural notion to consider, consisting of the study of the Fréchet mean (or barycentre). In particular, we focus on the case of discrete data (or observations) sampled from absolutely continuous probability measures (a.c.) with respect to the Lebesgue measure. We thus introduce an estimator of the barycenter of random measures, penalized by a convex function, making it possible to enforce its a.c. Another estimator is regularized by adding entropy when computing the Wasserstein distance. We are particularly interested in controlling the variance of these estimators. Thanks to these results, the principle of Goldenshluger and Lepski allows us to obtain an automatic calibration of the regularization parameters. We then apply this work to the registration of multivariate densities, especially for flow cytometry data. We also propose a test statistic that can compare two multivariate distributions, efficiently in terms of computational time. Finally, we perform a second-order statistical analysis to extract the global geometric tendency of a dataset, also called the main modes of variation. For that purpose, we propose algorithms allowing to carry out a geodesic principal components analysis in the space of Wasserstein.

Le 21 septembre 2018 à 14:00

Salle 2

Xavier Caruso IMB

Factorisation par les pentes de polynômes de Ore

Il est bien connu que les polynômes classiques jouent un rôle important en algèbre linéaire (e.g. polynômes d'endomorphismes, polynôme caractéristique) et, notamment, que leurs propriétés de factorisation permettent de diagonaliser ou de trigonaliser (par blocs) les applications linéaires. En algèbre semi-linéaire et en théorie des équations différentielles linéaires, une telle philosophie demeure à condition de remplacer les polynômes usuels par une variante non commutative de ceux-ci que l'on appelle les polynômes de Ore. Dans cet exposé, je présenterai un théorème de factorisation -- par les pentes -- des polynômes de Ore sur les corps ultramétriques complets et donnerai un algorithme itératif très simple permettant de calculer cette factorisation. Je discuterai également des applications de ce théorème à l'étude des représentations galoisiennes p-adiques, des équations différentielles p-adiques et des équations de Mahler.

Le 24 septembre 2018 à 14:00

Salle de Conférences

Jean Esterle

Holomorphic functional calculus for finite families of commuting semigroups (2)

Le 25 septembre 2018 à 14:00

Salle 2

Cours de l'Ecole Doctorale\n Salma Kulhmann\, Université de Konstanz\, Allemagne

"Real closed fields and models of the Peano arithmetic"

Le 25 septembre 2018 à 14:00

Salle de Conférences

Krisztian BENYO

Sujet :"Analyse mathématique de l'interaction d'un fluide non-visqueux avec des structures immergées". Directeur de thèse : Franck Sueur. Co-directeur : David Lannes

Le 26 septembre 2018 à 09:30

Salle 2

Cours de l'Ecole Doctorale\n Salma Kuhlmann\, Université de Konstanz\, Allemagne

"Real closed fields and models of the Peano arithmetic"

Le 27 septembre 2018 à 11:00

Salle de Conférences

Arthur Leclaire IMB

Modèles de Maximum d'Entropie pour la Synthèse et la Reconstruction d'Images

Le 27 septembre 2018 à 14:00

Salle de Conférences

Viktor Vinnikov\, Ben Gurion University\, Israel

Determinantal representations of stable polynomials

It is clear that the multivariable complex polynomial $p(z) = \det (I - ZA)$, where $z=(z_1,\ldots,z_d)$, $Z$ is a diagonal matrix with the variables $z_1,\ldots,z_d$ on the diagonal (each variable can be repeated many times), and $A$ is a contraction, is stable, i.e., it has no zeroes on the unit polydisc in ${\mathbb C}^d$. I will discuss the converse question: does a stable multivariable complex polynomial admit such a determinantal representation? This question turns out to be related to von Neumann inequality for rational inner functions on the polydisc and to the generalized Lax conjecture in convex algebraic geometry. This talk is based on joint work with A. Grinshpan, D. Kalyuzhnyi-Verbovetskyi, and H. Woerdeman.

Le 27 septembre 2018 à 14:00

Salle 2

Mădălina Petcu LMA\, Poitiers

Sur les équations de Cahn-Hilliard-Navier-Stokes visqueuses avec des conditions dynamiques aux bords

Le but de cette présentation est d'étudier du point de vue théorique et numériques les équations de Cahn-Hilliard-Navier-Stokes visqueuses avec différentes conditions dynamiques aux bords. Ce modèle est utilisé dans le but de décrire la dynamique d'un mélange de deux fluides immiscibles et incompressibles. Le choix des conditions aux bords est important, nous permettant de prendre en compte l'interaction entre l'interface des deux fluides et les murs du domaine physique.

Le 27 septembre 2018 à 15:00

Salle 2

Cours de l'Ecole Doctorale\n Salma Kuhlmann\, Université de Konstanz\, Allemagne

"Real closed fields and models of the Peano arithmetic"

Le 28 septembre 2018 à 10:45

Salle 2

Salma Kuhlmann University of Konstanz

Positive polynomials and moments problem

Hilbert's 17th problem asked whether a real polynomial p(x1,···, xn) which takes non-negative values as a function on R^n is a finite sum of squares (SOS) of real rational functions q(x1,···, xn)/r(x1,···, xn). A complete positive answer was provided by Artin and Schreier (1927), giving birth to real algebraic geometry. The question when the (SOS) representation is denominator free is however of particular interest for applications. In his pioneering 1888 paper, Hilbert gave a general answer (in terms of degree and number of variables). Subsequent general results, such as Krivine's Positivstellensatz, pertain to a relative situation, where one considers polynomials non-negative on a basic closed semi-algebraic set K and SOSs weighted with inequalities defining K. Stronger results hold when K is compact; the Archimedean Positivstellensatz of Putinar and Jacobi-Prestel is a fundamental tool in theory and applications. By the classical Riesz-Haviland theorem (1930s), the problem of characterizing positive polynomials on a given closed subset K of R^n is dual to the finite dimensional moment problem (i.e. that of representing a linear functional on the polynomial algebra R[x1,···, xn] as integration with respect to a Borel measure). An algebraic approach was taken in a series of papers by Ghasemi-Kuhlmann-Marshall (2013-2016) who study the moment problem on a general not necessarily finitely generated commutative unital real algebra, a context adapted to infinite dimensional moment problems. In this talk I will survey (with examples) various Positivstellensätze and their corresponding moment problem interpretations.

Le 28 septembre 2018 à 14:00

Salle 2

Olivier Fouquet Université Paris-Sud

La conjecture principale de la théorie d'Iwasawa pour les formes modulaires..

Depuis la formule des classes de Dirichlet et les conjectures de Birch-Swinnerton-Dyer et Tate, on sait (ou l'on conjecture) que les valeurs aux entiers des fonctions L des objets géométriques s'expriment en termes d'invariants arithmétiques et cohomologiques. La conjecture principale de la théorie d'Iwasawa est une généralisation de cette philosophie qui entend non seulement prédire les valeurs des fonctions L mais aussi leur variation p-adique lorsque les objets géométriques sous-jacents varient dans une famille p-adique (par exemple la famille des tordus par des caractères de Dirichlet, une famille p-adique de formes modulaires?). Après avoir expliqué l'énoncé et la signification de ces conjectures, je présenterai un travail en commun avec Xin Wan dans lequel nous les montrons pour les formes modulaires dont la représentation galoisienne résiduelle est irréductible.

Le 28 septembre 2018 à 14:30

Salle de Conférences

Claire TAYMANS

Sujet : "Résolution des équations de Navier-Stokes sur maillage octree : vers une application à la modélisation d'une pale d'éolienne". Directeur de thèse : Angelo Iollo. Co-directeur : Michel Bergmann

Le 28 septembre 2018 à 15:00

Salle 2

Cours de l'Ecole Doctorale\n Salma Kuhlmann\, Université de Konstanz\, Allemagne

"Real closed fields and models of the Peano arithmetic"

Le 1er octobre 2018 à 10:00

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Thibaut KRITTER

Sujet : "Utilisation de données cliniques pour la construction de modèles en oncologie ". Directeur de thèse : Olivier Saut. Co-directeur : Clair Poignard

Le 1er octobre 2018 à 14:00

Batiment Inria, salle George Boole 2

Cristiana Bentes\, State University of Rio de Janeiro

Parallel Programming Trends and Challenges

Parallel Programming aims at providing reasonably fast computing solutions to scientific and real life problems. In the past, it had the reputation of being a restricted field, pursued by experts using extremely large and expensive machines. Currently, however, the computer industry is designing chips with multiple processors, and parallel programming has to go mainstream. Unfortunately, writing parallel code is more complex than writing serial code, and getting a high fraction of the available peak performance is even harder. This talk will provide a brief overview on parallel programming paradigms, and discuss some of the main challenges faced by programmers in designing efficient parallel codes. The talk will also present some of the ongoing research in high performance computing at State University of Rio de Janeiro.

Le 1er octobre 2018 à 14:00

Salle de Conférences

Robert Deville

Construction d'opérateurs à dynamique étrange

Le 2 octobre 2018 à 11:30

Salle de Conférences

Ping Zhang Beijing

Striated Regualrity of 2-D inhomogeneous incompressible Navier-Stokes system with variable viscosity

In this talk, we shall investigate the global existence and uniqueness of strong solutions to 2D incompressible inhomogeneous Navier-Stokes equations with viscous coefficient depending on the density and with initial density being discontinuous across some smooth interface. Compared with the previous results for the inhomogeneous Navier-Stokes equations with constant viscosity, the main difficulty here lies in the fact that the $L^1$ in time Lipschitz estimate of the velocity field can not be obtained by energy method. Motivated by the key idea of Chemin to solve 2-D vortex patch of ideal fluid, namely, striated regularity can help to get the $L^\infty$ boundedness of the double Riesz transform, we derive the a priori $L^1$ in time Lipschitz estimate of the velocity field under the assumption that the viscous coefficient is close enough to a positive constant in the bounded function space. As an application, we shall prove the propagation of $H^3$ regularity of the interface between fluids with different densities. This is a joint work with Marius Paicu.

Le 4 octobre 2018 à 14:00

Salle 2

Nicolas Barral Imperial College

Sans titre

Le 5 octobre 2018 à 10:45

Salle 2

Jean Raimbault Toulouse

Topologie des variétés hyperboliques arithmétiques

Le but de cet exposé est d'illustrer la "beauté particulière" (Thurston) des variétés hyperboliques arithmétiques de congruence (par exemple les revêtements de congruence de la surface modulaire). Plus précisément, la problématique que je veux traiter est la suivante : de nombreux invariants topologiques peu fins sur l'ensemble des variétés de volume fini le deviennent beaucoup plus quand on les restreint aux seules variétés de congruence. C'est le cas du genre pour les revêtements de congruence de la surface modulaire (Dennin, Zograf) ; on décrira en particulier un affinement de ce résultat obtenu avec M. Fraczyk, et la solution d'une conjecture de Baker et Reid présentant un analogue en dimension 3.

Le 5 octobre 2018 à 14:00

Salle de Conférences

Léo Ducas CWI Amsterdam

The General Sieve Kernel and New Records in Lattice Reduction

Sieving algorithms are asymptotically the fastest heuristic algorithms for solving the shortest vector problem, and therefore for solving other problems such as LWE or SIS, due to the Block-Korkine-Zolotarev lattice reduction algorithm (BKZ). Until recently, sieving was considered as a function to be used as a blackbox SVP oracle inside BKZ. The works of Ducas (Eurocrypt 2018), and of Laarhoven and Mariano (PQCrypto 2018), however, proposed improvements to lattice reduction that go beyond this blackbox use of Sieve-style algorithms. To formalise and generalise these new strategies, we propose the General Sieve Kernel (G6K, pronounced /ȝe.si.ka/), an abstract machine supporting a wide variety of lattice reduction strategies based on sieving algorithms. It is designed to minimise the sieving computation effort per reduction quality, and achieves this via mechanisms such as recycling and on-the-fly lifting. We provide a highly optimised, multi-threaded, tweakable, and open-source implementation of this stateful machine. Finally, we apply G6K to various lattice challenges (SVP, LWE). Our work demonstrates that sieving significantly outperforms enumeration in dimensions achievable in practice. Joint work with Martin R. Albrecht, Gottfried Herold, Elena Kirshanova, Eamonn Postlethwaite and Marc Stevens.

Le 5 octobre 2018 à 17:00

Salle 2

Alexandre Bailleul

Autour du théorème des nombres premiers

Dans cet exposé, on s'intéressera à l'histoire du théorème des nombres premiers, résultat historique de la théorie analytique des nombres. On expliquera quels ont été les apports des grands acteurs de cette histoire, d'Euclide à Hadamard et de la Vallée-Poussin, et on tentera d'expliquer en quoi les zéros de la fonction zêta de Riemann permettent de comprendre la répartition des nombres premiers (la fameuse hypothèse de Riemann, dont on a beaucoup entendu parler récemment, sera donc mentionnée). Enfin en dernière partie d'exposé, on explorera quelques autres pistes pour étudier d'autres "théorèmes des nombres premiers".

Le 8 octobre 2018 à 14:00

Salle de Conférences

Université de Nice

GDR analyse fonctionnelle

Le 9 octobre 2018 à 11:30

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Francis Nier LAGA

Conditions aux limites pour le Laplacien Hypoelliptique

Après avoir expliqué les conditions aux limites naturelles pour le Laplacien hypoelliptique de Bismut, pouvant s'interpréter comme des conditions de Dirichlet ou de Neumann, je rappellerai les estimations sous-elliptiques vérifiées par ces opérateurs. Ensuite je rappellerai comment ces problèmes aux limites sont importants dans le cas des Laplaciens de Witten. Je terminerai en évoquant les difficultés en cours d'étude sur le Laplacien hypoelliptique de Bismut en vue d'une extension des techniques développées pour le Laplacien de Witten.

Le 11 octobre 2018 à 09:30

Salle 385

Aurelien Froger\, Post-Doc\, team ReAlOpt

Modeling and solving the electric vehicle routing problem with capacitated charging stations

In this research we focus on an electric vehicle routing problem in which 1) vehicles can be partially recharged between customer visits, 2) the quantity of energy recharged is a nonlinear function of the time spent charging and of the current state of charge of the vehicle, and 3) the number of vehicles simultaneously charging at each charging station does not exceed the number of available chargers. The objective is to minimize the total time needed to serve all the customers. The problem is a combined routing and scheduling problem. We propose a recharging path-based formulation of the problem. We develop an algorithm to generate a tractable number of these recharging paths. This formulation yields better results than CS replication-based formulations. Solving the model using a commercial solver allows us to solve only small-sized instances. To tackle large-sized instances, we propose an hybrid algorithm that combines two components: an iterated local search algorithm responsible for generating a pool of high-quality routes and a cut generation algorithm responsible for assembling a solution to the problem from the generated pool. We report on computational experiments comparing four different assembling strategies on a diverse set of instances adapted from the literature. We also derive new best known solutions to the uncapacitated problem.

Le 11 octobre 2018 à 14:00

Salle 1

Jean-Claude Cuenin\, Institute of Mathematics\, Munich University

Resolvent estimates for the Laplacian on compact manifolds with boundary

$L^p$-resolvent estimates that are uniform in the spectral parameter have become an important tool in many branches of PDE and spectral theory, such as unique continuation, inverse problems or Lieb-Thirring inequalities. I will report on recent joint work with R. Frank.

Le 12 octobre 2018 à 14:00

Salle de Conférences

Amalia Pizarro Universidad de Valparaíso

Growing of the Artin conductor

By using geometry of numbers, Minkowski showed that there exists a constant $C$ such that if $D_K$ is the discriminant of a number field $K$, then $\vert D_K \vert >C^{\left[K:Q\right]}$. In 1978, from the existence of infinite class field towers, Martinet constructed sequences of number fi elds of growing degree and bounded root discriminant. It is natural to ask if it is possible to extends the previous results to the Artin conductor. In 1977 Odlyzko, found the first nontrivial lower bounds for the conductor and in 2011 by using analytic methods, we improved these bounds. In this talk, we will show the existence of irreducible Artin characters of growing degree with bounded root conductors.

Le 15 octobre 2018 à 14:00

Salle de Conférences

Harrry Crimmins Sydney

Statistical laws for dynamical systems: the functional analytic approach (1)

In recent decades the Perron-Frobenius operator has proven to be a powerful tool in the studying of statistical properties of dynamical systems. By studying the operator's spectral properties one can make precise the analogy between chaotic systems and random processes. In particular, a framework centered about the operator has been developed for obtaining statistical laws for sufficiently chaotic systems e.g. a law of large numbers, central limit theorem, or large deviation principle; this is the so-called `functional analytic' approach. We will provide an accessible overview of this approach in the simple setting of piecewise expanding maps on the unit interval.

Le 16 octobre 2018 à 11:30

Salle de Conférences

Quentin Griette IMB

Concentration and singular waves in a nonlocal reaction-diffusion equation

I consider a reaction-diffusion equation modeling the propagation of a species that possesses a continuum of phenotypic traits. The spatial dynamics of the individuals is modeled by a diffusion process, and the population undergoes a reproduction-mutation-competition dynamics at each spatial point, which is modeled by a nonlocal operator acting on the bounded domain representing the phenotypic space. Under some conditions on the fitness function, the mutation rate and the dimensionality of the domain, a concentration phenomenon is known to happen for the linearized equation, meaning that a singular measure part exists in the principal eigenfunction. I will discuss the validity of this phenomenon for the full (nonlinear) equation, with a particular attention to homogeneous stationary states and traveling waves. In particular, I will talk about the techniques used to construct weak (possibly singular) traveling waves.

Le 17 octobre 2018 à 14:00

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Baptiste LAMBERT

Sujet :"Modélisation et simulations numériques des contacts dans des écoulements chargés en particules". Directeur de thèse : Michel Bergmann. Co-directrice : Lisl Weynans

Le 18 octobre 2018 à 09:30

Salle 385

Guillaume Marques\, PhD student\, Optimal team

A branch-cut-and-price algorithm for the two-echelon vehicle routing problem

In the two-echelon capacitated vehicle routing problem the deliveries to customers are performed by processing and consolidating goods through intermediate depots. Each level involves a fleet of vehicles which we assume to be homogeneous. This NP-hard problem can hardly be tackled directly by calling a MIP solver on a compact formulation. An efficient Branch-Cut-and-Price algorithm is required to solve the problem exactly. It is essential to combine the best techniques proposed recently for vehicle routing problems: bucket-graph-based labelling algorithm for solving the pricing problem, ng-path relaxation, separation of limited memory rank-1 cuts, automatic dual-price smoothing stabilization, reduced cost fixing of bucket arcs, enumeration of elementary routes, and multi-phase strong branching. Furthermore, we present a new family of valid inequalities that significantly improve the dual bound and introduce a heuristic separation algorithm. At last, we compare our algorithm with the state-of-the-art approaches on standard instances of the literature.

Le 18 octobre 2018 à 11:00

Salle de Conférences

Camille Male IMB

Liberté asymptotique sur la diagonale des grandes matrices aléatoires

La théorie des probabilités libres a été introduite par Voiculescu dans les années 1980 pour l'étude des algèbres de von Neumann des groupes libres. Les variables aléatoires non commutatives sont des objets abstraits, modélisés par des éléments d'une algèbre commutative équipée d'une forme linéaire. La notion de liberté remplace celle d'indépendance statistique. Les grandes matrices aléatoires jouent un rôle important en probabilités libres, puisque les limites en grande dimension de modèles élémentaires sont libres. Cependant, certains modèles élémentaires nécessitent un cadre étendue pour une analyse non commutative. La théorie des "trafics" est un cadre mathématique qui complète celui de Voiculescu pour l'étude de ces objets. Elle vient avec une notion d'indépendance qui unifie les différentes notions d'indépendances et libertés non commutatives. Dans cet exposé, je présenterai les premiers éléments analytiques de la théorie avec la notion de liberté sur la diagonale. Ce résultat est le travail d'une collaboration avec B. Au, G. Cébron, A. Dahlqvist et F. Gabriel.

Le 18 octobre 2018 à 14:00

Salle de Conférences

Michel Duprez\, LJLL\, Sorbonne Université

Contrôlabilité à zéro de l'équation de Grushin

Il est connu qu'il est possible d'amener la solution de l'équation de la chaleur à zéro en un temps aussi petit que l'on souhaite et sans condition géométrique sur la région d'action. Ce n'est pas le cas de tous les systèmes paraboliques tel que, par exemple, l'équation de Grushin qui admet une dégénérescence dans une des directions de l'espace. Concernant cette équation, jusqu'à présent, seulement des régions de contrôle rectangulaires ont été considérées. Dans cet exposé, nous montrerons comment adapter et combiner les résultats actuels, afin de traiter le cas de régions de contrôle non rectangulaires. Nous terminerons par quelques problèmes ouverts.

Le 19 octobre 2018 à 10:45

Salle 2

Florent Jouve IMB

Théorie de Galois probabiliste sur les groupes arithmétiques

Depuis les travaux de van der Waerden, on sait quantifier le fait qu'un polynôme unitaire de degré fixé r à coefficients entiers et dont les coefficients sont, en valeur absolue, bornés par N est "génériquement" irréductible et de groupe de Galois maximal sur Q lorsque N tend vers l'infini. L'exposé, qui traite d'un travail commun avec E. Kowalski et D. Zywina, a pour but d'expliquer comment approcher l'analogue de cette question lorsque l'on se restreint aux polynômes caractéristiques de matrices "choisies au hasard" (disons comme k-ème étape d'une marche aléatoire définie via un système générateur, avec k tendant vers l'infini) dans certains groupes arithmétiques.

Le 19 octobre 2018 à 14:00

Salle de Conférences

Youness Lamzouri IECL Nancy

La répartition du maximum de sommes de Birch et de Kloosterman

Dans cet exposé, je présenterai quelques résultats récents concernant la répartition du maximum des sommes partielles de certaines sommes d'exponentielles cubiques dites "sommes de Birch". Les preuves utilisent des outils probabilistes, de l'analyse harmonique, ainsi que des ingrédients de la géométrie algébrique. Je discuterai aussi d'un travail en cours, en commun avec D. Bonolis, où nous obtenons des résultats similaires pour la répartition du maximum des sommes partielles de sommes de Kloosterman modulo un nombre premier.

Le 22 octobre 2018 à 14:00

Salle de Conférences

Harry Crimmins\, University of Sydney\, Australia

Stability and approximation of statistical properties for some dynamical systems

A proven method for obtaining statistical characterisations of sufficiently chaotic dynamical systems is to study the spectral properties of the associated Perron-Frobenius operator. Such characterisations usually take the form of a statistical law e.g. a central limit theorem or large deviation principle. It is natural to ask if these statistical laws, and their parameters, are robust to perturbations in the dynamics, which may arise e.g. via the idealisation of a physical system, or the numerical approximation of an abstract one. We will review the existing theory on the stability of invariant measures, as well as recent work by C. and Froyland on the stability of more sophisticated statistical descriptions of dynamical systems.

Le 22 octobre 2018 à 14:00

Salle de Conférences

Harrry Crimmins Sydney

Statistical laws for dynamical systems: the functional analytic approach (2)

Le 23 octobre 2018 à 11:30

Salle de Conférences

Pedro Caro BCAM

The Calderón problem with corrupted data

I will talk about the inverse Calderón problem, which consists of determining the conductivity inside a medium by electrical measurements on its surface. Ideally, these measurements determine the Dirichlet-to-Neumann map and, therefore, one usually assumes the data to be given by such a map. This situation corresponds to having access to infinite-precision measurements, which is totally unrealistic. In this lecture, we will discuss the Calderón problem assuming the data to contain measurement errors and provide formulas to reconstruct the conductivity and its normal derivative on the surface.

Le 25 octobre 2018 à 09:30

Direction

Salle de Conférences

Journée de rentrée de l'IMB..

09h30-10h00: Yohan Brunebarbe, Hyperbolicité en géométrie algébrique 10h00-10h30: Fabien Crauste, Modélisation Mathématique en Immunologie (https://www.math.u-bordeaux.fr/~fcrauste/) 10h30-11h00: pause café 11h00-11h30: Tommaso Taddei, Méthodes de réduction de l'ordre du modele pour l'assimilation de données (https://www.researchgate.net/profile/Tommaso_Taddei) 11h30-12h00: Antoine Barbieri, Prédiction du statut guéri pour un patient après une intervention médicale (http://www.math.univ-montp2.fr/~barbieri/) 12h00-12h20: photo par un drone des membres de l'Institut et associés (si le temps le permet) par Sylvain Allemand 12h20-13h50: pause déjeuner. Dès la fin de matinée et tout du long de la journée, trois artistes de l'association bordelaise Croc en Jambe dessineront une fresque originale inspirée de l'évènement-lui même, et qui restera à l'Institut. 13h55-14h00: Présentation du pôle Moyens de Calcul et Développement par Laurent Facq 14h00-14h30: Arthur Leclaire, Synthèse de textures par transport optimal (http://www.math-info.univ-paris5.fr/~aleclair/) 14h30-15h00: Laurent Michel, Quelques applications des méthodes semiclassiques en probabilités (https://math.unice.fr/~lmichel/) 15h00-15h30: Xavier Caruso, Calculs avec les nombres p-adiques (http://xavier.toonywood.org/) 15h00-15h30: pause café 15h30-16h00: Xavier Caruso, Calculs avec les nombres p-adiques 16h00-16h30: Eric Balandraud, Théorèmes d'addition d'ensembles 17h00-+++++: Apéro-poster

Le 25 octobre 2018 à 14:00

Salle 285

Ioann Vasiliev\, Université Paris 7

Sur le théorème de Carleson et Jacobs pour la boule unité de $mathbb C^n$

Dans cet exposé nous nous intéresserons à la régularité locale des fonctions analytiques définies sur la boule unité $\mathbb B^n$. Nous allons montrer qu'une fonction analytique qui n'a pas de zéros dedans la boule ouverte et dont le module est $\alpha$-Lipshitzien dans une certaine pointe $\xi \in \mathbb S^n$, est elle-même $\frac{\alpha}{2}$- "Lipshitzienne en moyenne" dans la même pointe $\xi$. Ce résultat est un generalisation du théorème de Carleson, Jacobs, Havin et Shamoyan

Le 26 octobre 2018 à 10:45

Salle 2

Romain Tessera CNRS\, Paris 7

Croissance, isopérimétrie et marches aléatoires dans les graphes finis transitifs

Dans un travail commun avec Matt Tointon nous démontrons deux conjectures de Benjamini et Kozma sur les graphes finis transitifs: la première conjecture relie la taille, le diamètre et la constante de cheeger du graphe, alors que la seconde relie la taille, le diamètre et la marche aléatoire simple sur le graphe. Nous obtenons ces conjectures comme corollaires d'un résultat de structure analogue au théorème de Gromov sur les groupes à croissance polynomiale. Un outil central pour notre étude est la théorie des groupes approximatifs développée par Breuillard, Green et Tao.

Le 26 octobre 2018 à 14:00

Salle 2

Matthew de Courcy-Ireland EPFL - Lausanne

Gaussian energy in high dimensions

Given a potential function, which represents a repulsive interaction, the energy of a configuration of points is defined by summing a corresponding penalty for each pair of points. The goal is to minimize this energy over all configurations in Euclidean space with a fixed number of points per unit volume. Siegel's mean value theorem gives the average value of the energy over all lattices of determinant 1. Lower bounds on the energy can be proved by the linear programming method. In joint work with Henry Cohn, we show that the lower bound and the average are within a factor $1+o(1)$ as the spatial dimension grows, provided the potential is a Gaussian and not too steep. In particular, lattices are close to optimal in high dimensions. The limiting case of a very steep potential is related to sphere packing, where it is far from understood how close to optimal lattices may be. Time allowing, we will also discuss the work of Cohn-Kumar-Miller-Radchenko-Viazovska giving an exact solution to the linear program in dimension 8 and 24.

Le 26 octobre 2018 à 16:00

Salle 2

Valentin De Bortoli

Redundancy in Gaussian random fields with applications to image processing

In this talk we present a notion of spatial redundancy in random fields (continuous or discrete) defined as the output of some similarity function computed over local windows. We give the asymptotic probability distribution function of such similarity measurements. However asymptotic approximations are valid only for large enough windows. This limitation leads us to consider non-asymptotic approximations. Using the cumulative distribution function of such similarity measurements we introduce a statistical hypothesis framework (an a contrario model) to assert spatial redundancy in natural images. We present applications of this framework in denoising, periodicity detection and texture ranking.

Le 1er novembre 2018 à 14:00

Salle de Conférences

Vacances de Toussaint, pas de séminaire

Le 6 novembre 2018 à 10:00

Salle 385

Elie Eid Université de Rennes

Calcul d'isogénies en genre 2

Ã‰tant donnÃ© une courbe algÃ©brique $C$ de genre $2$ dÃ©finie sur un corps fini $K$ de caractÃ©ristique impaire et un sous-groupe isotrope maximal $\mathcal{V}$ (pour le couplage de commutateur) de l'ensemble des points de $l$-torsion oÃ¹ $l$ est un entier (premier) impair, nous savons que le quotient de la jacobienne $J_K(C)$ de $C$ par $\mathcal{V}$ est une variÃ©tÃ© abÃ©lienne de dimension 2 et donc la jacobienne d'une courbe $D$ de genre $2$.

Le 6 novembre 2018 à 11:30

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Jussi Behrndt T.U. Graz

The Birman-Schwinger principle for generalized eigenvectors

The Birman-Schwinger principle is one of the standard tools in spectral analysis of self-adjoint Schrödinger operators. This useful technique allows to reduce the eigenvalue problem for the Schrödinger operator $-\Delta +V$ to an eigenvalue problem involving a sandwiched resolvent of the unperturbed operator $-\Delta$. In this talk we first review the classical Birman-Schwinger principle and illustrate it with some typical applications in spectral analysis. Afterwards we discuss some recent extensions for the characterization of the generalized eigenvectors of non-selfadjoint Schrödinger operators and other general non-selfadjoint second order elliptic differential operators. The talk is based on a joint work with A.F.M. ter Elst and F. Gesztesy.

Le 7 novembre 2018 à 11:00

salle 286

Artur Pessoa\, Prof. Universidate Federal Fluminense\, Niteroi\, Brazil\, on sabbatical leave at IMB

A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints

In this talk, we present some recent results on the resource constrained project scheduling problem (RCPSP) with generalized precedence constraints (RCPSP/Max). We propose an exact method that tackles a relaxed version of the original problem by modeling it as a satisfiability problem (SAT). Several SAT formulations are introduced, as well as workload-based procedures that were developed in order to reduce the domain of the decision variables, and custom propagators that were implemented with a view of improving the efficiency of the SAT solver. Extensive computational experiments involving different configurations of the method were carried out on 2430 RCPSP/Max benchmark instances ranging from 10 to 500 activities and with 5 resources, and on 2040 RCPSP benchmark instances ranging from 30 to 120 activities and with 4 resources. The results obtained suggest that the proposed method is extremely competitive as almost all known optima were found and 86 instances were solved to optimality for the first time. Moreover, a number of bounds were improved for those instances that still remain open.

Le 8 novembre 2018 à 11:00

Salle de Conférences

Jérémie Bigot IMB

Transport optimal pour l'analyse de données de cytométrie en flux (Séminaire de Statistique Bordelais)

We present a framework to simultaneously align and smooth data in the form of multiple point clouds sampled from unknown densities with support in an Euclidean space. This work is motivated by applications in bioinformatics where researchers aim to automatically homogenize large datasets to compare and analyze characteristics within a same cell population. Inconveniently, the information acquired is most certainly noisy due to mis-alignment caused by technical variations of the environment. To overcome this problem, we propose to register multiple point clouds by using the notion of regularized Wassearstein barycenters of a set of probability measures. We propose data-driven choices for the regularization parameters involved in our approach using the Goldenshluger-Lepski's principle, and an application to the analysis of flow cytometry data is finally proposed.

Le 8 novembre 2018 à 14:00

Salle de Conférences

Comité d'organisation : Stéphane Brull

Modèles aux moments en théorie cinétique

Le 8 novembre 2018 à 14:00

Salle 2

Sergey Denissov\, Wisconsin University at Madison\, et IHES

Spectral characterization of measures on the real line with ..finite logarithmic integral

We consider even measures on the real line and de Branges canonical systems generated by them. Then, we give a criterion for the logarithmic integral to converge in terms of coefficients of the Hamiltonian. This complements the celebrated Krein-Wiener theorem and generalizes the Szego theorem for measures on the unit circle. Some connections to prediction problem for Gaussian stationary processes will be discussed (based on joint work with R. Bessonov).

Le 9 novembre 2018 à 09:45

Salle 2

Yohan Brunebarbe IMB

Les espaces de modules de variétés de Calabi-Yau sont hyperboliques

On expliquera dans cet exposé comment la théorie de Hodge permet d'étudier la géométrie de nombreux espaces de modules de variétés algébriques complexes. On s'intéressera plus particulièrement aux espaces de modules qui paramètrent des variétés projectives lisses dont le fibré canonique est trivial.

Le 9 novembre 2018 à 14:00

Salle 2

Kevin Destagnol Vienne

Valeurs premières de polynômes et obstruction de Brauer-Manin

L'hypothèse de Schinzel et sa version quantitative, la conjecture de Bateman-Horn, prédisent que, sous certaines conditions nécessaires, un système de polynômes en une variable prend simultanément des valeurs premières infiniment souvent. On présentera dans la première partie de cet exposé une preuve de la généralisation de ces conjectures au cas d'un polynôme possédant (modérément) beaucoup de variables. La démonstration repose sur la méthode du cercle due à Birch mais peut être conduite avec 50% de variables en moins que dans le cadre classique. Dans une seconde partie, on montrera le lien entre ce résultat et l'obstruction de Brauer-Manin pour certaines variétés algébriques. Il s'agit d'un travail en collaboration avec Efthymios Sofos.

Le 13 novembre 2018 à 11:30

Salle de Conférences

Thomas Duyckaerts LAGA

Energie extérieure et application à la dynamique des équations d'ondes non-linéaires

Cet exposé concerne les équations des ondes linéaires et non-linéaires sur l'espace de Minkowski. Il est possible sous certaines conditions de donner une borne inférieure de l'énergie des solutions de ces équations à l'extérieur du cône d'onde. Je présenterai ces résultats et donnerai des applications à la description de la dynamique des solutions générales de l'équation des ondes focalisante critique et des wave maps critiques. (collaborations avec Hao Jia, Carlos Kenig et Frank Merle).

Le 14 novembre 2018 à 09:00

Salle 2

Comité d'organisation : Benoît Claudon\, Philippe Eyssidieux\, Bruno Klingler et Vincent Koziarz

A Hodgefun — Groupes Fondamentaux, Théorie de Hodge et Motifs

Le 14 novembre 2018 à 09:00

Salle 2

Rencontre ANR HodgeFun

Informations ici : HodgeFun

Le 15 novembre 2018 à 10:00

Salle 385

Thomas Richter Uni Magdeburg

[Séminaire CSM] Efficient Simulation of Temporal Multiscale Problems

The coupling of different temporal scales is common in many application problems. A classical example is the weathering of mechanical structures like bridges. This process takes decades, it is however affected by short term influences such as traffic, wind or stretching by daily and yearly temperature alteration. The problem is two-way coupled as material change could cause a shift of resonance regimes with a drastic influence on the fast scale. Another example is the growth of athereosclerotic plaques in blood vessels, a bio/chemical mechanism that causes material transformation and growth in the vessel walls in the time-span of months but that is strongly affected by the mechanical forces arising from the pulsating blood flow in a fluid-solid interaction system. Narrowing of the blood vessel will naturally also affect the fast scale by changing the overall flow pattern. These slow-scale / fast-scale problems have in common that they are two-way coupled processes and that we are usually interested in the slowly evolving scale only. A resolved simulation of all scales is not feasible. A year comprises 30 million heart cycles, a corresponding resolved fluid-solid simulation is out of bounds. Based on the replacement of the fast-scale problem by equations with periodic solutions we describe and analyze temporal multiscale schemes for the efficient simulation of such problems. An important ingredient is the quick approximation of these periodic problems for which we present some acceleration schemes. Test cases inspired by the athereosclerotic plaque growth problem demonstrate the possible benefits by such multiscale methods.

Le 15 novembre 2018 à 10:00

Salle de Conférences

Rodolphe GRISET

Sujet : "Méthodes pour la résolution efficace de très grands problèmes combinatoires stochastiques. Application à un problème industriel d'EDF". Directeur de thèse : François Vanderbeck. Co-directeur : Boris Detienne

Le 15 novembre 2018 à 11:00

Salle 1

Laurent Ménard U. Paris Nanterre

Triangulations aléatoires couplées à un modèle d'Ising

En 2003 Angel et Schramm ont prouvé que la mesure uniforme sur les triangulations de taille donnée converge faiblement pour la topologie locale lorsque la taille tend vers l'infini, ouvrant la voie à de nombreux travaux probabilistes sur les limites de cartes aléatoires. Dans cet exposé, nous étudierons des triangulations couplées à un modèle d'Ising tirées non pas selon la loi uniforme, mais en fonction de l'énergie de la configuration d'Ising. Après avoir présenté la combinatoire de ces objets, nous expliquerons comment l'approche d'Angel et Schramm s'adapte à ce modèle. L'objet limite a des propriétés qui s'avèrent intéressantes et est conjecturé appartenir à une autre classe d'universalité que les modèles classiques de cartes. Travail en commun avec Marie Albenque et Gilles Schaeffer.

Le 15 novembre 2018 à 13:00

Salle 285

Matthieu Alfaro\, Université de Montpellier

Invasions en dynamique des populations: accélération ou non?

Le 15 novembre 2018 à 14:00

Salle 1

Eric Amar\, IMB\, Université de Bordeaux

Solutions Sobolev d'équations paraboliques. Application à l'équation de la chaleur pour les p-formes dans une variété riemannienne complète compacte ou non compacte

Le 15 novembre 2018 à 15:00

Salle 285

La Cellule Informatique

Présentation des moyens informatiques de l'IMB

Le 15 novembre 2018 à 15:30

Salle de Conférences

Ion Nechita

Une introduction à la théorie de l'information quantique

La théorie de l'information quantique est la généralisation de la théorie de l'information (classique) de Shannon, permettant d'exploiter les phénomènes quantiques. Les objets et les questions fondamentales sont les mêmes : on s'intéresse aux états (quantiques), aux canaux, et à leurs propriétés statistiques et informationnelles. La théorie quantique est, néanmoins, beaucoup plus intéressante mathématiquement, car les objets fondamentaux sont non-commutatifs. Dans cet exposé introductif, on commencera par les bases de la théorie, on présentera les notions importantes d'états et de canaux quantiques aléatoires, et on discutera les phénomènes d'intrication et de non-additivité quantiques.

Le 16 novembre 2018 à 11:00

Salle 1

Christoph Kriegler Clermont-Ferrand

Calcul fonctionnel et Fonctions de Bellman (1)

Soit $(T_t)_{t \geq 0}$ un semigroupe agissant sur un espace de Lebesgue $L^p(\Omega)$, de générateur $A$. Une propriété importante de ce semigroupe est de savoir s'il possède un calcul $H^\infty$,ce qui veut dire que $\|m(A)\| \leq C \|m\|_{\infty,\sigma}$, c'est-à-dire insérer le générateur $A$ dans p.ex. une fonction rationnelle holomorphe et bornée sur un secteur $\Sigma_\sigma$ dans le plan complexe produit un opérateur borné sur $L^p$. Elle entraine par exemple la regularité maximale si $\sigma < \frac{\pi}{2}$, propriété centrale dans l'étude des équations d'évolution paraboliques. Dans le premier exposé, nous allons rappeler quels sont les résultats classiques et récents qui établissent un calcul $H^\infty$, en considérant surtout des semigroupes (sous-)markoviens.

Le 16 novembre 2018 à 14:00

Salle 1

Christoph Kriegler Clermont-Ferrand

Calcul fonctionnel et Fonctions de Bellman (2)

Dans le deuxième exposé, nous détaillerons quelques éléments clé dans les démonstrations des résultats récents, qui utilisent des fonctions explicites dites de Bellman et des estimations bilinéaires de certains fonctionnelles associées au semigroupe.

Le 20 novembre 2018 à 11:30

Salle de Conférences

Marouane Assal PUC\, Santiago

Estimations de la résolvante et zones sans résonances pour des opérateurs de Schrödinger semi-classiques à potentiels matriciels.

Pour des opérateurs de Schrödinger semi-classiques scalaires à longue portée, un résultat classique de Burq assure que sans aucune hypothèse sur la dynamique classique, la norme de la résolvante croit exponentiellement en l'inverse du paramètre semi-classique, et croit linéairement au voisinage de l'infini. Ceci implique en particulier l'absence des résonances exponentiellement proche de l'axe réel. Dans cet exposé je présenterai une généralisation de ces résultats pour des opérateurs de Schrödinger à potentiels matriciels sans aucune hypothèse sur le croisement des valeurs propres. Je mettrai l'accent en particulier sur l'approche élémentaire introduite par Datchev basée sur une inégalité de Carleman globale.

Le 22 novembre 2018 à 11:00

Salle de Conférences

Antoine Houdard

Comment utiliser un modèle de mélange de gaussiennes sur les patchs pour le débruitage d'image ?..

Dans la littérature du débruitage d'image par patchs, de nombreuses méthodes utilisent une modélisation statistique des patch. Les modèles a priori généralement utilisés sont des modèles gaussiens ou de mélange de gaussiennes. Dans cet exposé, après avoir brièvement introduit le cadre statistique, je proposerai quelques indices pour répondre aux questions suivantes : Pourquoi ces a priori gaussiens sont-ils largement utilisés ? Quelles informations encodent-ils ? La seconde partie propose un modèle probabiliste de mélange pour les patchs bruités adapté à la grande dimension. Il en résulte un algorithme de débruitage reposant uniquement sur des estimations statistiques, qui atteint les performances de l'état-de-l'art. Enfin, je discuterai des limitations et des développements possibles de la méthode proposée.

Le 22 novembre 2018 à 13:30

Salle 1 / Salle de conférences

Contacts: Bedreddine Ainseba\, Marius Tucsnak

Workshop Ecologie Numérique - Modélisation en santé végétale: Quel modèle pour quelles données

Le 22 novembre 2018 à 14:00

Salle 2

Florian de Vuyst LMAC

[Séminaire CSM] Aspects H-theorem pour les schémas de Boltzmann sur réseau de type LBGK

Les méthodes Lattice Boltzmann (LBM) permettent de traiter un large ensemble de problèmes de Mécanique des fluides avec des propriétés de précision numérique reconnues. Leur caractère hautement parallélisable est aussi un point fort. Dans cet exposé, on parle d'aspects plus théoriques, notamment des propriétés de théorème-H et d'entropie au niveau discret pour les modèles les plus simples de type LBGK sur un modèles mésoscopique d'advection-diffusion linéaire.

Le 22 novembre 2018 à 14:00

Salle de Conférences

Florian Le Manach\, IMB\, Université de Bordeaux

Sur l'approximation et la complétude des translatées dans les espaces de fonctions

Le 22 novembre 2018 à 14:00

Salle de Conférences

Florian LE MANACH

Sujet : "Sur l'approximation et la complétude des translatés dans les espaces de fonctions". Directeur de thèse : Mohamed Zarrabi. Co-directeur : Karim Kellay

Le 22 novembre 2018 à 17:00

Salle 2

Yanis Mabed

Endomorphismes de Variétés Projectives

Le 23 novembre 2018 à 10:45

Salle 2

Jérémy Toulisse U. Nice

Géométrie des représentations maximales en rang 2

La notion de représentation maximale du groupe fondamental d'une surface dans un groupe de Lie hermitien généralise naturellement la notion de représentation fuchsienne dans $PSL(2,\mathbb{R})$. Dans cet exposé, j'expliquerai comment construire une unique surface maximale dans l'espace pseudo-hyperbolique $\mathbb{H}^{2,n}$ qui est préservée par l'action d'une représentation maximale dans un groupe de Lie de rang 2. Comme conséquence, nous prouvons une conjecture de Labourie pour les représentations maximales en rang 2. Il s'agit d'un travail en commun avec Brian Collier et Nicolas Tholozan.

Le 23 novembre 2018 à 14:00

Salle 1

Antoine Ducros IMJ

Formes différentielles réelles en géométrie analytique p-adique..

Je présenterai un travail commun avec Antoine Chambert-Loir dans lequel nous développons un formalisme des (p,q)-formes sur les espaces de Berkovich. Nous y définissons l'intégrale d'une (n,n)-forme (où n est la dimension de l'espace ambiant) ainsi que l'intégrale de bord d'une (n-1, n)-forme et y prouvons des formules de Stokes et Green. Ceci permet de définir une théorie des courants, d'établir une formule de Poincaré-Lelong, de définir les courants de courbure de fibrés métrisés raisonnables, de les multiplier dans certains cas par des techniques à la Bedford-Taylor, de définir des mesures de Monge-Ampère... Après un survol de la théorie et une description de nos constructions de base, j'évoquerai nos progrès récents.

Le 23 novembre 2018 à 17:00

Salle 2

Pierre Perrault

Stochastic multi-arm bandit problem and some extension

Le 26 novembre 2018 à 14:00

Salle 2

Séminaire MathOcean 14h00-15h00 Anne Mangeney (Institut de Physique du Globe de Paris) Recovering ice mass loss in Greenland from seismic data and mechanical modelling15h00-16h00 Lisl Weynans et David Lannes (IMB)Generating boundary conditions and floating objects in Boussinesq systems

Le 27 novembre 2018 à 10:00

Salle 385

Ida Tucker

Practical fully secure unrestricted inner product functional encryption modulo a prime p. (Chiffrement fonctionel sans restrictions pour le calcul de produits scalaires modulo un nombre premier.)

Functional encryption (FE) is an advanced cryptographic primitive which allows, for a single encrypted message, to finely control how much information on the encrypted data each receiver can recover. To this end many functional secret keys are derived from a master secret key. Each functional secret key allows, for a ciphertext encrypted under the associated public key, to recover a specific function of the underlying plaintext.

Le 27 novembre 2018 à 11:30

Salle de Conférences

Cécile Huneau Ecole Polytechnique

Limite haute-fréquence pour les équations d'Einstein.

En relativité générale, les phénomènes de gravitation sont créés par une déformation de l'espace-temps. Cette déformation est décrite par une métrique lorentzienne, dont la courbure est reliée aux densités de matière et d'énergie présentes dans l'univers par les équations d'Einstein. Dans cet exposé, je présenterai un travail en collaboration avec Jonathan Luk, dont le but est d'étudier des solutions des équations d'Einstein pouvant s'écrire comme une superposition d'ondes gravitationnelles hautes fréquences. Si on laisse tendre la fréquence vers l'infini, les solutions que nous construisons convergent vers une solution des équations d'Einstein couplées à des fluides sans pression et sans masse. Cet effet correspond à la "backreaction", étudiée par les physiciens Green et Wald.

Le 29 novembre 2018 à 11:00

Salle de Conférences

Jérémie Bigot IMB

Deep learning pour modèles génératifs à variables latentes (Séminaire Aspects Mathématiques du Deep Learning)

Dans cet exposé, il est proposé de donner un aperçu des travaux existants sur les aspects mathématiques (du point de vue des probabilités et de la statistique) des modèles génératifs à variables latentes basés sur l'utilisation des réseaux de neurons profonds qui ont connu récemment de nombreux développements notamment pour le traitement d'images. On discutera en particulier des modèles Variational Auto-Encoder (VAE) et Generative Adversarial Network (GAN) et de leurs liens avec la théorie du transport optimal et des distances de Wasserstein entre mesures de probabilités.

Le 29 novembre 2018 à 14:00

Salle 285

Eva Stadler\, Technische Universität München\, Germany

Modeling and Analysis of Vertical Gene Transfer of Plasmids....

Plasmids are autonomously replicating genetic elements in bacteria. At cell division, plasmids are distributed among the two daughter cells. This gene transfer from one generation to the next is called vertical gene transfer. We study the dynamics of a bacterial population carrying plasmids and are in particular interested in the long-time distribution of plasmids. Starting with a model for a bacterial population structured by the discrete number of plasmids, we proceed to the continuum limit in order to derive a continuous model. The model incorporates plasmid reproduction, division and death of bacteria, and distribution of plasmids at cell division. We consider also a second continuous model that includes an assumption about plasmid segregation at low plasmid numbers. Both models are hyperbolic integro-differential equations, transport equations, and a so-called growth-fragmentation-death models. As we are interested in the long-time distribution of plasmids we study the associated eigenproblem and show existence of eigensolutions for both models. The stability of this solution is studied by analyzing the spectrum of the integro-differential operator given by the respective eigenproblems. The eigenfunctions are numerically constructed and thereby visualized.

Le 29 novembre 2018 à 14:00

Salle 2

Michael Speckbacher ARI\, Vienne

Concentration estimates for band-limited spherical harmonics expansions via the large sieve principle..

Le 29 novembre 2018 à 15:00

Salle 2

Elena Gaburro Univ. Trento

[Séminaire CSM] Méthodes volumes finis et Galerkine discontinue d'ordre arbitraire sur maillages en mouvement ..

Dans cet exposé, je présente des nouvelles méthodes arbitrairement lagrangiennes-eulériennes (ALE) directes pour la solution d'équations hyperboliques non linéaires écrites sous forme conservative ou pas. Les caractéristiques principales de ces schémas sont d'abord la haute performance garantie par une implémentation parallèle efficace avec Fortran MPI et CUDA ; ensuite la qualité élevée du maillage, même pour des temps longs et des phénomènes vorticiaux, maintenue grâce à des mouvements atypiques des grilles polygonales et à une formulation conservative en espace-temps de l'EDP assez général pour gérer aussi des cellules espace-temps dégénérées. Enfin l'ordre arbitrairement élevé de nos algorithmes volumes finis (avec ADER-CWENO) et Galerkine discontinue (équipé d'un limiteur volume finis a posteriori), et l'utilisation de méthodes chemin-conservatives bien équilibrées, tous dans le cadre ALE, nous permet d'obtenir une dissipation numérique extrêmement faible et même précision machine pour des solutions stationnaires. Pendant l'exposé je montrerai un grand nombre des résultats numériques qui prouvent la précision et la robustesse des nouvelles méthodes en utilisant en particulier les équations d'Euler avec et sans terme de gravité, la magnétohydrodynamique, et une simplification du modèle Baer-Nunziato.

Le 30 novembre 2018 à 10:45

Salle 2

Corentin Boissy Toulouse

Systoles dans les surfaces de translation

Étant donné une surface de translation d'aire 1, on appelle systole la longueur de sa plus petite connexion de selles. On étudie les maxima globaux et locaux de la fonction systole sur une strate. On fait le lien avec les maxima (globaux ou locaux) du nombre de connexions de selles réalisant la systole (travail en commun avec S. Geninska).

Le 30 novembre 2018 à 14:00

Salle de Conférences

Cedric Lecouvey Université de Tours

Quelques extensions algébriques de la théorie additive des nombres...

De nombreux résultats de théorie additive des nombres admettent des analogues en théorie des groupes (abéliens ou non). L'objectif de l'exposé sera de montrer que de tels analogues existent également lorsque des structures linéaires (corps, corps gauches, algèbres) sont considérées. Ces analogues impliquent souvent les théorèmes originaux qui les ont inspirés et possèdent des applications intéressantes à d'autres domaines mathématiques (théories des codes, théories des représentations notamment).

Le 30 novembre 2018 à 17:00

Salle 2

Paul Alphonse IRMAR

Controlabilité à zéro des équations d'Ornstein-Uhlenbeck fractionnaires..

On s'intéressera à l'étude de la contrôlabilité à zéro des équations d'Ornstein-Uhlenbeck fractionnaires posées sur tout l'espace. Plus précisément, soit $P$ un opérateur d'Ornstein-Uhlenbeck fractionnaire défini par $P = (1/2)Tr^s(-Q abla^2_x) + $ muni du domaine $D(P) = {u \in L^2(R^n) : Pu \in L^2(R^n)}$, où $B$ et $Q$ sont deux matrices réelles avec $Q$ symétrique positive (non nécessairement inversible), $B$ et $Q$ vérifiant une condition algébrique appelée condition de Kalman. Soit également omega un sous-ensemble mesurable de $R^n$. On cherchera des conditions suffisantes sur omega (le sous-ensemble de contrôle) de telles sortes que pour tout temps $T>0$ et toute condition initiale $f_0$ de $L^2(R^n)$, on peut trouver un contrôle u tel que la solution semi-groupe de l'équation$ \partial_tf(t,x) + Pf(t,x) = u(t,x)1_{omega}(x), t > 0, x in R^n, f(0) = f_0$, satisfait $f(T) = 0.$

Le 3 décembre 2018 à 14:00

Bureau 225

La Cellule Informatique

permanence réduite aux créneaux 10h-12h et 14h-16h (pensez à anticiper les réservations de matériel)

Le 4 décembre 2018 à 11:00

Salle 385

Aurel Page

Torsion analytique et torsion de Reidemeister en théorie des nombres

Je ferai un exposÃ© de style groupe de travail sur le rÃ´le de la torsion dans l'homologie des groupes arithmÃ©tiques en thÃ©orie des nombres ; je prÃ©senterai une mÃ©thode permettant d'obtenir de l'information dessus : la formule de Cheeger--Mueller, et ses utilisations notamment par Bergeron--Venkatesh et Calegari--Venkatesh. Je parlerai aussi d'un travail que je viens de commencer avec Michael Lipnowski et Jean Raimbault, dont les aspects algorithmiques ont des points communs avec les mÃ©thodes de calcul de valeurs de fonctions L.

Le 4 décembre 2018 à 11:30

Salle de Conférences

Xavier Lhébrard

Modélisation et approximation numérique du système d'Euler bitempérature avec champs magnétique transverse..

Ce travail s'effectue dans le contexte de la fusion par confinement inertiel. Dans cette situation physique, l'échelle de temps caractéristique du phénomène est plus courte que le temps de collision entre les ions et les électrons. L'équilibre thermique entre les ions et les électrons n'est pas donc atteint. De plus, lors de la phase finale du confinement, la cible est pénétrée par des électrons relativistes induisant un champs magnétique fortement variable. Cet exposé sera en trois partie. Premièrement, on présentera un nouveau modèle physiquement pertinent et avec une bonne structure mathématique. Deuxièmement, on mettra à profit la bonne structure mathématique pour construire une nouvelle méthode numérique. Un des critères recherchés pour cette méthode sera sa fiabilité, i.e. d'être capable de démontrer ses propriétés de consistance et stabilité nonlinéaire. Troisièmement, au travers de simulations on comparera notre méthode à celles de la littérature et on proposera de nouveaux cas tests pertinents pour les applications visées.

Le 4 décembre 2018 à 14:00

Salle 2

Jialun Li

Sujet : "Analyse harmonique des mesures stationnaires". Directeur de thèse : Jean-François Quint

Le 4 décembre 2018 à 14:00

Salle de Conférences

Lisl Weynans présentera son exposé en vue de son Habilitation à Diriger des Recherches

Sujet : "Prise en compte précise de géométries complexes pour l'approximation d'EDP sur grilles cartésiennes et leur simulation en calcul parallèle".

Le 5 décembre 2018 à 14:00

Salle de Conférences

Pierre-Elliott BECUE

Sujet : "Modélisation et simulation de l'électrophysiologie cardiaque à l'échelle microscopique". Directeur de thèse : Yves Coudière

Le 6 décembre 2018 à 11:00

Salle de Conférences

Maxime Sangnier Sorbonne University

What can a statistician expect from GANs?

Generative Adversarial Networks (GANs) are a class of generative algorithms that have been shown to produce state-of-the art samples, especially in the domain of image creation. The fundamental principle of GANs is to approximate the unknown distribution of a given data set by optimizing an objective function through an adversarial game between a family of generators and a family of discriminators. In this talk, we illustrate some statistical properties of GANs, focusing on the deep connection between the adversarial principle underlying GANs and the Jensen-Shannon divergence, together with some optimality characteristics of the problem. We also analyze the role of the discriminator family and study the large sample properties of the estimated distribution.

Le 6 décembre 2018 à 14:00

Salle 2

Rémi Tesson Inria MONC

Modélisation mathématiques de l'impact de la dynamique des microtubules sur la migration cellulaire

La migration cellulaire est un processus biologique complexe qui intervient de façon importante lors du développement de pathologies comme le cancer. Son étude constitue un enjeu de santé publique majeur permettant, à terme, d'envisager de nouveaux types de thérapies ciblées ainsi qu'une meilleure compréhension de la maladie. Le travail que je vais présenter se concentre sur la compréhension du rôle des microtubules, éléments dynamiques du cytosquelette, dans ce processus. Notre approche se concentre sur une description de la migration 2D des cellules à travers un modèle décrivant la déformation membranaire subie par une cellule lors de la migration. Ce modèle se base sur une approche de type fluide classique pour la modélisation cellulaire, couplée à des équations de réaction-diffusion décrivant l'état biochimique de la cellule. Des schémas de type DDFV ont été utilisés et développés pour la simulation numérique. J'aborderai en particulier le traitement d'équations de réaction-diffusion sur domaine mobile et d'équations de transport qui en constituent les difficultés principales. Enfin, je présenterai les travaux et premiers résultats numériques concernant le mécanisme d'action sur le comportement migratoire des cellules d'un agent antimicrotubule, la vincristine.

Le 6 décembre 2018 à 14:00

Salle 1

Luis Vega Bilbao

Some lower bounds for solutions of Schrödinger

We hereby present some lower bounds for regular solutions of Schrödinger equations with bounded and time dependent complex potentials. Assuming that the solution has some positive mass at time zero within a ball of certain radius, we prove that this mass can be observed if one looks at the solution and its gradient in space-time parabolic regions outside of that ball.

Le 7 décembre 2018 à 10:45

Salle 2

Erwann Aubry Université de Nice

Hypersurfaces de Euclidiennes à grand $\lambda_1$

Les hypersurfaces Euclidiennes vérifient l'inégalité suivante, dûe à Reilly : $$\lambda_1\leq \frac{n}{V}\int H^2,$$ où $\lambda_1$ désigne la première valeur propre non nulle du Laplacien, $n$ la dimension et $V$ le volume de l'hypersurface. De plus, seules les sphères Euclidiennes réalisent l'égalité dans cette inégalité. Dans des travaux en commun avec Jean-François Grosjean, nous étudions les hypersurfaces Euclidiennes qui réalisent presque l'égalité dans cette inégalité. Plus précisément, nous étudions les hypersurfaces Euclidiennes qui vérifient $$\lambda_1\geq(1-\epsilon) \frac{n}{V}\int H^2\ \ et\ \ \frac{1}{V}\int |H|^p\leq A,$$ Et montrons comment leurs propriétés métriques et toplogiques dépendent de l'exposant $p\in(2,\infty)$ de la borne supposée a priori sur la courbure moyenne.

Le 7 décembre 2018 à 14:00

Salle de Conférences

Sophie Marques University of Cape Town

A propos de la Cohen-Macaulaynité de l'anneau des invariants (travail en collaboration avec Ben-Blum Smith)

Comprendre “quand est-ce que l'anneau des invariants d'un anneau Cohen-Macaulay est lui-même un anneau Cohen-Macaulay” est une question qui a intéressé les mathématiciens depuis plusieurs décennies. En particulier, la question: “Quand est-ce que l'anneau des invariants d'un anneau de polynômes par un groupe de permutations est Cohen-Macaulay?” a été intensivement étudiée: Ellingsrud et Skjelbred, 1980, Larry Smith, 1996, Campbell et al et Gregor Kemper 1999…. Dans notre papier, nous prouvons que les anneaux des invariants d'un anneau de polynômes est Cohen-Macaulay peu importe le corps de coefficients si et seulement si le groupe de permutations est engendré par les transpositions, doubles transpositions et cycles d'ordre 3. Durant ce séminaire, nous expliquerons comment ce résultat généralise la plupart des résultats connus. Nous décrirons les idées principales de la preuve qui utilise des techniques combinatoires, mais aussi provenant de la topologie et de l'algèbre. Plus précisément, nous verrons comment la preuve du “seulement si”(issue du travail de thèse de Ben-Blum Smith) utilise la théorie de Stanley-Reisner et un beau résultat de Christian Lange dans la théorie des orbifolds, tandis que la preuve dans l'autre direction utilise un résultat local-global de Raynaud qui permet une simplification du problème grâce au groupes d'inertie et un argument combinatoire qui permet d'identifier les groupes d'inertie qui obstruent la Cohen-Macaulaynité. Nous verrons aussi que la preuve de cette direction contient un résultat qui est vrai sous des hypothèses beaucoup plus souples qui pourrait peut-être être utilisé dans un contexte différent. Celui-ci étant que la Cohen-Macaulaynité de l'anneau des invariants ne dépend que des actions de groupes d'inertie pour chaque idéal premier sur un voisinage bien choisi de cet idéal.

Le 10 décembre 2018 à 12:30

Academiegebouw Rapenburg - Leiden Pays-Bas

Alexey BESHENOV

Sujet : "Valeurs zêta des schemas arithmetiques aux entiers négatifs et cohomologie Weil-étale". Directeurs de thèse : Baptiste Morin, Bax Edixhoven

Le 11 décembre 2018 à 10:00

Salle 385

Aurel Page

Torsion analytique et torsion de Reidemeister en théorie des nombres 2

Le 11 décembre 2018 à 10:00

Salle de Conférences

Quentin VIAUD

Sujet : "Méthodes de programmation mathématiques pour des problèmes complexes de découpe". Directeur de thèse : François Clautiaux. Co-directeur : Ruslan Sadykov

Le 11 décembre 2018 à 11:30

Salle 2

Camilla Fiorini LJLL

Analyse de sensibilité pour équations hyperboliques avec solutions discontinues

L'analyse de sensibilité (AS) concerne la quantification des changements dans la solution d'un système d'équations aux dérivées partielles (EDP) dus aux variations des paramètres d'entrée du modèle. Les techniques standard d'AS pour les EDP, comme la méthode d'équation de sensibilité continue, requièrent de dériver la variable d'état. Cependant, dans le cas d'équations hyperboliques l'état peut présenter des discontinuités, qui donc génèrent des Dirac dans la sensibilité. Le but de ce travail est de modifier les équations de sensibilité pour obtenir un système valable même dans le cas discontinu et obtenir des sensibilités qui ne présentent pas de Dirac. Ceci est motivé par plusieurs raisons: d'abord, un Dirac ne peut pas être capturé numériquement, ce qui pourvoit une solution incorrecte de la sensibilité au voisinage de la discontinuité; deuxièmement, les pics dans la solution numérique des équations de sensibilité non corrigées rendent ces sensibilités inutilisables pour certaines applications. Par conséquent, nous ajoutons un terme de correction aux équations de sensibilité. Nous faisons cela pour une hiérarchie de modèles de complexité croissante: de l'équation de Burgers non visqueuse au système d'Euler quasi-1D. Nous montrons l'influence de ce terme de correction sur un problème d'optimisation et sur un de quantification d'incertitude.

Le 13 décembre 2018 à 11:00

Salle de Conférences

Nicolas Keriven ENS Paris

Scalable model-free online change-point detection with NEWMA

We consider the problem of detecting abrupt changes in the distribution of a multi-dimensional time series, with limited computing power and memory. In this paper, we propose a new method for model-free online change-point detection that relies only on fast and light recursive statistics, inspired by the classical Exponential Weighted Moving Average algorithm (EWMA). The proposed idea is to compute two EWMA statistics on the stream of data with different forgetting factors, and to compare them. By doing so, we show that we implicitly compare recent samples with older ones, without the need to explicitly store them. Additionally, we leverage Random Features to efficiently use the Maximum Mean Discrepancy as a distance between distributions, and exploit a recently proposed optical device to compute these features with almost no computational cost, in any dimension. We show that our method is orders of magnitude faster than usual non-parametric methods for a given accuracy.

Le 13 décembre 2018 à 15:00

Salle 2

Clémentine Courtès Toulouse

Estimation d'erreur d'un schéma aux différences finies pour l'équation de Korteweg-de Vries et le système abcd

L'équation de Korteweg-de Vries et le système abcd de type Boussinesq sont deux modèles hyperboliques-dispersifs utilisés notamment en hydrodynamique pour la description d'ondes de surface pour les vagues de faible amplitude en eau peu profonde. Nous discrétisons ces deux modèles au moyen d'un schéma numérique aux différences finies et étudions sa convergence. Une attention particulière sera donnée à l'étude de stabilité L^2 du schéma pour laquelle les termes non linéaires hyperboliques et les termes dispersifs doivent être pris en compte simultanément. Cette analyse fine nous permet de quantifier l'ordre de convergence du schéma par rapport à la régularité de Sobolev de la donnée initiale. Ce travail est en collaboration avec Cosmin Burtea, Frédéric Lagoutière et Frédéric Rousset.

Le 13 décembre 2018 à 15:30

Salle de Conférences

Quentin Griette

Évolution de la virulence au cours d'une épidémie

Certains virus et bactéries sont connus pour exhiber des taux de mutation très rapides. Cette instabilité génétique est susceptible de générer une variabilité dans les caractéristiques de la population de pathogènes, qui peut se manifester avant que le pathogène ne devienne endémique, à la même échelle de temps que la propagation d'une épidémie émergente. Je présenterai un modèle qui permet d'appréhender l'influence que cette instabilité génétique peut avoir sur la propagation spatiale d'une épidémie. Dans ce modèle, une population d'hôtes est répartie de manière homogène dans un espace linéaire, et subit une épidémie causée par un pathogène pouvant muter entre deux phénotypes plus ou moins virulents. Je discuterai notamment de la vitesse de propagation de l'épidémie et l'existence de fronts progressifs dans ce modèle, qui caractérisent la répartition asymptotique des individus infectés.

Le 14 décembre 2018 à 10:45

Salle 2

Jérémy Blanc Université de Bâle

Quotients des groupes de transformations birationnelles

En géométrie algébrique, on étudie les variétés algébriques X et les isomorphismes entre telles variétés, ou plus généralement les applications birationnelles. Si X est une variété algébrique, le groupe Bir(X) des transformations birationnelles de X est donc naturellement l'objet qui représente les "symétries" de X. Lorsque X est une variété de type général, alors Bir(X) est un groupe fini. Au contraire, si X est rationnelle, ou plus généralement si X a une une structure de fibration en coniques, alors Bir(X) est très grand: il est même de dimension infinie. On peut alors se demander si le groupe est simple et si non, quels sont les quotients possibles. J'expliquerai que pour X de dimension au moins 3, le groupe Bir(X) admet énormément de quotients, notamment tous les groupes dénombrables engendrés par des involutions (Travail en commun avec Stéphane Lamy et Susanna Zimmermann).

Le 14 décembre 2018 à 14:00

Salle de Conférences

Andrea Surroca

Conjectural bounds for the Mordell-Weil and the Tate-Shafarevic groups of an Abelian variety

The Mordell-Weil theorem states that the group of rational points A(K) on an Abelian variety A/K defined over a number field is finitely generated. While there exist results on the torsion part, the free part remains less tractable. Even in the particular case of an elliptic curve, there is no way, in general, to compute the rank or a set of generators of this group. The proof of the Mordell-Weil theorem involves the Tate-Shafarevich group of A/K, which measures the obstruction to the Hasse principle. Even if it is not easy to construct a non trivial element of this group, it is still unknown, in the general case, if it is finite. For some applications, it would be sufficient to bound the « size » of the invariants related to the variety. In this article, we explore how could be bounded 1- the canonical height of a well chosen system of generators of the Mordell-weil group A(K), as well as 2- the order of the Tate-Shafarevic group of A(K). The bounds given here are not conjectured, but implied, by strong but nowadays classical conjectures. We follow the approach of Manin, who proposed a conditional algorithm for finding a basis for the non-torsion rational points of an elliptic curve over the rationals numbers. The method is based on the hypothesis that the L-series of the elliptic curve satisfies a functional equation and on the celebrated conjecture of Birch and Swinnerton-Dyer. We extend Manin's method to an Abelian variety of arbitrary dimension, defined over an arbitrary number field, extending to this general case, - with point 1, a conjecture of S. Lang , - with point 2, a result by D. Goldfeld and L. Szpiro, which we improve in the one dimensional case over the field of rational numbers.

Le 18 décembre 2018 à 10:00

Salle 385

Bill Allombert imb

Sur le calcul de automorphismes d'un extension Galoisienne niltpotente de corps de nombres.

Je prÃ©sente un nouvel algorithme en temps polynomial sous GRH pour le calcul des automorphismes d'une extension Galoisienne de corps de nombres sous la condition que le groupe de Galois soit nilpoltent. Cet algorithme est basÃ© sur la prÃ©sentation des groupes nilpoltents et le relÃ¨vement des automorphismes de Frobenius et Ã©vite la couteuse reconnaissance de nombres algÃ©briques par rÃ©duction de rÃ©seau tout en Ã©vitant le cout exponentiel des mÃ©thodes combinatoires utilisÃ©es dans ma thÃ¨se.

Le 18 décembre 2018 à 14:00

Salle de Conférences

Jérémy GUILLOT

Sujet : "Méthodes d'agrégation pour la résolution de programmes mathématiques". Directeur de thèse : François Clautiaux. Co-directeur : Pierre Pesneau

Le 19 décembre 2018

Università degli Studi dell'Insubria, Italy

Emanuela ABBATE

Sujet : "Méthodes numériques pour des écoulements multi-régimes en fluidodynamique et élasticité non-linéaire". Directeur de thèse : Angelo Iollo. Co-directrice : Gabriella Puppo

Le 20 décembre 2018 à 11:00

Salle 2

Jean-François Aujol IMB

L'accélération de Nesterov est-elle une accélération ?

Depuis le travail de Y. Nesterov (1984), et surtout l'algorithme FISTA de Beck et Teboulle (2008), il est reconnu qu'utiliser un algorithme de gradient inertiel est beaucoup plus efficace pour minimiser une fonctionnelle convexe qu'un simple algorithme de descente de gradient. Nous verrons qu'en fait l'utilité de l'inertie dépend très fortement de la géométrie au voisinage du minimiseur de la fonctionnelle, et qu'il n'est pas toujours préférable d'utiliser un terme inertiel. Ces résultats ont des conséquences directes en traitement d'images et en deep learning. Il s'agit de travaux en collaboration avec Vassilis Apidopoulos, Charles Dossal, et Aude Rondepierre.

Le 20 décembre 2018 à 14:00