L'observation à un instant T du mouvement brownien d'un nuage de points indistinguables dont on connaît la position initiale conduit naturellement au problème de transport optimal de Monge, comme on le comprend dorénavant bien à la suite d'un article de Schroedinger datant des années 30. En poussant un peu plus loin l'analyse, à l'aide du principe de grandes déviations et de techniques de calcul des variations, on arrive à un système dynamique de particules liée au groupe symétrique, dont on peut ensuite dériver par analyse asymptotique des modèles classiques de mécanique, tels que la gravitation de Newton et l'hydrodynamique d'Euler.
Directed algebraic topology is a young subject which takes inspiration from homotopy theory and concurrent processes. Differently from algebraic topology, it studies situations in which paths are, in general, not invertible. For this reason directed algebraic topology is particularly suitable for modelling non-reversible phenomena like concurrent processes, where processes do not reverse. In this talk, based on [1], I start from concurrent processes and show how directed algebraic topology is a natural model for it. [1] Martin Raussen, ``Contributions to Directed Algebraic Topology: with inspirations from concurrency theory'', Doctoral Thesis, Department of Mathematical Sciences, Aalborg University.
Les terrains de jeux sont des catégories double avec de la structure et des propriétés supplémentaires. Les quelques exemples de terrains de jeux connus s'appuient sur des constructions similaires. Je vais présenter une généralisation de cette construction de catégories double à partir de données plus simples que l'on appellera ``signature''. Moyennant certaines hypothèses sur la signature, on parvient à montrer une propriété cruciale des terrains de jeux : la propriété de fibration. On appliquera cette construction pour construire un terrain de jeux pour les jeux Hyland-Ong, et on comparera la structure obtenue aux structures classiques dans ces jeux.
Ce travail est essentiellement consacré aux problèmes de stabilité liés au développement de schémas numériques associés aux modèles d’écoulement classiques utilisés notamment en océanographie côtière. Dans un premier temps nous détaillons la construction d’une approche Volumes Finis pour le système Shallow Water avec termes sources sur maillages non structurés. En se basant sur une reformulation appropriée des équations, nous mettons en place un schéma équilibré et préservant la positivité de la hauteur d’eau. Le schéma est capable de gérer des topographies irrégulières et exhibe de fortes propriétés de stabilité. Nous proposons ensuite son extension aux approches Elements Finis type Galerkin discontinu pour des résolutions d’ordre arbitraire. L’approche est finalement étendue aux équations dispersives, et plus précisément à une nouvelle famille d’équations Green-Naghdi. Des validations numériques seront proposées pour évaluer la version opérationnelle 2d sur maillages triangulaires venant d’être développée.
Etant donnée une surface singulière (X,0) , John Nash a proposé l'étude de l'espace des arcs passant par la singularité; cet espace est de dimension infinie mais admet un nombre fini de composantes irréductibles. J. de Bobadilla et M.Pe Pereira ont démontré qu'il y avait autant de composantes irréductibles que de diviseurs irréductibles exceptionnels de la résolution (abstraite) minimale. Avec H.Mourtada, nous nous posons la question ``inverse'': peut-on caractériser /obtenir une résolution de la singularité via l'espace des arcs.Trouver une résolution abstraite via l'espace des arcs est finalement trop ambitieux. Par contre nous obtenons une résolution plongée torique des singularités simples via les espaces de jets (en utilisant un th de Ein-Lazarsfeld-Mustata qui relient les valuations divisorielles avec des composantes irréductibles des espaces des arcs.)
On s'intéresse au comportement de grande échelle de solutions d'EDP linéaires à coefficients aléatoires. La théorie qualitative de l'homogénéisation assure que de telles solutions sont proches de solutions d'EDP à coefficients constants, ``homogénéisés''. Le but de l'exposé sera de présenter une nouvelle méthode permettant de rendre cet énoncé de convergence quantitatif, en supposant que les coefficients sont suffisamment mélangeants. Travail en collaboration avec S. Armstrong et T. Kuusi.
J'introduirai une version non archimédienne du link d'une singularité. Celle-ci sera un proche parent d'un espace analytique non-archimedien (à la Berkovich) sur un corps trivialement valué. Après avoir décrit la géométrie et la structure analytique de ce link, j'en déduirai des informations sur les résolutions des singularités des surfaces.
Dans les calculs de processus (ccs, pi-calcul), les bisimulations modulos (up-to) sont des techniques de preuves utilisées pour montrer des équivalences entre processus [1]. Une méthode alternative, mais très similaire, consiste à montrer que deux processus sont solutions d'une même équation [2]. On présentera une telle technique reposant sur la non-divergence d'une solution minimale de l'équation, basée sur [3], qui illustre la correspondance entre bisimulations modulos et unicité des solutions, ainsi que les propriétés attendues d'un contexte dans un cadre abstrait (LTS). [1] Sangiorgi, Davide, and David Walker. The pi-calculus: a Theory of Mobile Processes. Cambridge university press, 2003. [2] Sangiorgi, Davide. Equations, contractions, and unique solutions.'' POPL 2015. [3] Roscoe, A. W.Topology, computer science, and the mathematics of convergence.'' Topology and category theory in computer science. Oxford University Press, Inc., 1991.
Deux germes de fonctions analytiques réelles blow-analytiquement équivalentes sont sous-analytiquement bi-Lipschitz équivalentes de contact.
La migration cellulaire joue un rôle fondamental dans bien des processus physiologiques, tels que l'embryogenèse, la cicatrisation, ou encore la formation de métastases. Or, le comportement migratoire d'une cellule est le résultat d'une activité complexe intégrée sur différentes échelles spatiales et temporelles, rendant sa compréhension difficile. Nous nous intéressons ici à la reptation de cellules placées sur une surface adhésive plane. Dans un premier temps, je présenterai un modèle stochastique sans géométrie, où le mouvement d'une cellule ponctuelle se base sur une activité cellulaire observable et dénombrable. Les simulations numériques produisent des trajectoires réalistes pour différents systèmes expérimentaux. Du point de vue théorique, il est possible d'en déduire une caractérisation analytique de différents comportements migratoires par une équation de Fokker-Planck, montrant ainsi la richesse du modèle. Dans un second temps, je présenterai un modèle déterministe de migration où la géométrie est prise en compte, permettant de faire le lien avec un régulateur moléculaire de la migration. Nous verrons que ce travail, s'approchant d'un modèle minimal de migration multi-échelles, porte également des perspectives riches, comme la modélisation du mouvement collectif d'une population de cellules en interaction.
In this talk, I present recent results of my thesis including the existence of Lipschitz stratifications of definable sets in polynomially bounded o-minimal structures and some properties related to Whitney stratifications of definable set.
Après un bref rappel des problèmes généraux en topologie des variétés algébriques réelles et de la méthode de construction du patchwork, on présentera une construction de surfaces algébriques réelles avec beaucoup d'anses dans (CP^1)^3.
Monotonicity is a fundamental notion in mathematics and computation. For usual real-valued functions R → R this simply corresponds to the notion that a function is increasing (or decreasing) in its argument, however this can be parametrised by any partially ordered domain and codomain we wish. In computation we deal with programs that compute Boolean functions, {0,1} → {0,1}. Restricting to increasing functions over this structure can be seen as prohibiting the use of negation in a program; for instance monotone Boolean functions are computed by Boolean circuits without NOT gates. The idea of restricting negation scales to other models of computation, and for some important classes of functions the formulation is naturally robust, not depending on the particular model at hand, e.g. for the polynomial-time functions. Monotone computational problems abound in practice, e.g. sorting a string and detecting cliques in graphs, and 'nonuniform' monotone models of computation, such as monotone circuits, have been fundamental objects of study in computational complexity for decades.
In this talk I will propose a project that develops logical characterisations of monotone complexity classes, via a proof theoretic approach. Namely, the project will identify theories of arithmetic whose formally representable functions coincide with certain monotone classes, and also develop fundamental recursion-theoretic programming languages in which to extract the monotone functions themselves. In particular the project focusses on the role of structural proof theory, i.e. the duplication and erasure of formulae, in controlling monotonicity.
We develop the concept of Dafermos' relative entropy/energy in the context of fluid dynamics, in particular, for compressible viscous fluids. We discuss possible applications of the method to various problems: Flows in thin channels, weak-strong uniqueness, singular limits, stochastic perturbations and/or convergence of numerical schemes.
Les E et G-fonctions de Siegel sont des séries entières solutions d'équations différentielles linéaires, avec des coefficients de Taylor algébriques vérifiant certaines conditions de croissance. Les ensembles de valeurs prises par ces fonctions aux points algébriques possèdent une riche structure arithmétique héritée des équations différentielles sous-jacentes. Je presenterai quelques résultats sur ces ensembles obtenus dans des travaux en commun avec Stéphane Fischler (Orsay) et, indépendamment, Julien Roques (Grenoble).
À venir
Le schéma des arcs tracés sur une variété n'est pas un objet de dimension finie. Le théorème de Drinfeld-Grinberg-Kazdhan dit cependant que la singularité en un arc non contenu dans le lieu singulier de la variété possède en un sens un modèle de dimension finie. Ce modèle devrait contenir des informations sur la singularité de l'origine de l'arc considéré. Nous présenterons des résultats et questions dans ce sens pour les singularités de courbe. C'est un travail en commun avec Julien Sebag.
Une équation différentielle de Lotka-Volterra décrit l'évolution de deux populations en compétition. Selon les paramètres, elle peut favoriser l'une ou l'autre des espèces ou aboutir à un équilibre. Supposons à présent que l'on dispose de deux systèmes de ce type, tous deux favorables à la même espèce. On s'intéresse au comportement (possiblement surprenant) du processus aléatoire obtenu en suivant alternativement chacune des évolutions durant des temps aléatoires.