This is a joint work with Krzysztof Kurdyka and Adam Parusinski. We say a map f : Rn,0 → Rp is blow-analytic ([2]) if there is a composition σ : M → Rn of locally finitely many blow-ups so that f ◦σ is analytic. We say a map f : Rn,0 → Rp is arc-analytic ([3]) if f◦α is analytic for any analytic map α : R,0 → Rn,0. A blow-analytic map is clearly arc-analytic. It is known that ([1]) a semi- algebraic, arc analytic map is blow-analytic. If a bi-Lipschitz subanalytic homeomorphism is arc-analytic, then the inverse is arc-analytic ([4]). Let us consider a semi-algebraic homeomorphism h : Rn,0 → Rn,0. We show the following conditions are equivalent. • h is arc-analytic and h−1 is Lipschitz. • h−1 is arc-analytic and h is Lipschitz. The key step is to show that det(dh) is bounded away from infinity and zero. To show this, we need (at this moment at least) to compare virtual Poincare polynomials (or motivic measures) of partitions of arc space L(Rn, 0) with respect to certain Nash modification which sends everything normal crossing. In the talk, we describe the detailed proof of the following easier version: A (bi-)blow-analytic homeomotphism is bi-Lipschitz if it is Lipschitz and semi-algebraic.
Introduced as symmetric types for pi-processes, session types have been developed into a large theory for verification of message-passing programs. Their main principle is as follows: a global type describing the expected interactions inside a network is projected into several local types: if every agent abides to its local type, the whole network abides to the global specification. I will present the Multiparty Session Types theory through recent developments: full-abstract embedding into the pi-calculus, nested protocols, automatic monitor generation, session types with multisession assertions.
On regardera les programmes que l'on peut extraire des preuves du théorème de Ramsey infini. On ira jusqu'à extraire un programme SML pour le ``happy ending problem'', qui trouve P sommets d'un polyogone convexe à partir de N points du plan si N est assez grand (http://fr.wikipedia.org/wiki/Happy_Ending_problem). On regardera aussi le programme que donne la preuve de Ramsey par l'ultrafiltre par rapport à la preuve classique. Enfin, on se posera des questions sur les liens possibles entre la compléxité des programmes liés à Ramsey et des bornes sur la fonction de Ramsey.
Let X and Y be nonsingular real algebraic varieties. A regulous map from X into Y is a continuous map, which is also rational. Such maps form an intermediate class between regular and semi-algebraic maps, and have some remarkable properties. In particular, they are very usefull in the study of pre-algebraic and algebraic vector bundles. For example, one can show that every pre-algebraic vector bundle on X becomes algebraic after finitely many blowin-ups. Consequently, the Stiefel-Whitney classes of pre-algebraic real vector bundles on X are algebraic.
We study distributed algorithms on massive graphs where links represent a particular relationship between nodes (for instance, nodes may represent phone numbers and links may indicate telephone calls). Since such graphs are massive they need to be processed in a distributed and streaming way. When computing graph-theoretic properties, nodes become natural units for distributed compu- tation. Links do not necessarily represent communication channels between the computing units and therefore do not restrict the communication flow. Our goal is to model and analyze the computational power of such distributed systems where one computing unit is assigned to each node.
In this work we attempt to explore the hypothesis of a Navier–Stokes pipe flow defined as a nonlinear sea state of interacting coherent wave structures of soliton-bearing equations. Such sea states may, for example, explain the occurrence of steady ‘puffs’ observed in both numerical simulations and experiments of turbulent pipe flows. Indeed, the puff dynamics appears to be similar to that of a soliton. This loses energy as it interacts withthe background or other solitons, and it delocalizes in space by splitting into many other smaller solitons, leading to a solitonic sea state. We thus present an analysis of the weakly nonlinear dynamics of axisymmetric Poiseuille pipe flows. We will show that small perturbations of the laminar flow obey a coupled system of nonlinear Korteweg–de Vries-type/Camassa-Holmes equations. To leading order, these support inviscid soliton-type solutions and periodic waves in the form of toroidal vortex tubes that, due to viscous effects, slowly decay in time. Their physical interpretation in terms of flow patterns and vorticity dynamics is finally discussed.
Il sera question du rôle unificateur de l'algèbre réelle eu égard à deux Positivstellensatze classiques : celui de Riesz et Fejer et celui de Quillen. Au titre d'application de ce cadre théorique abstrait, nous proposerons une classification des sous-variétés algébriques réelles de l'espace affine complexe au moyen d'un nouvel invariant : leur complexité hermitienne. De nombreux exemples de degré faible et de dimension faible seront donnés.
Lorsque l'on interprète l'équation quadratique d'une ellipse au niveau des opérateurs de l'espace d'Hilbert, on découvre une anomalie entre la sous-normalité (des opérateurs) et la positivité hermitienne (des polynômes). Mais lorsqu'on analyse de près la même quantification, on découvre que l'ellipse se singularise par deux propriétés : ses opérateurs respectifs possèdent une matrice diagonale triple et le problème de Dirichlet admet des solutions polynomiales. Cette présentation se veut accessibles à des étudiants de Master et s'efforcera de ne pas rentrer dans des aspects trop techniques.
We discuss a complete axiomatization of Monadic Second-Order Logic (MSO) on infinite words (or streams). By using model-theoretic methods, we give an alternative proof of D. Siefkes’ result that a fragment with full comprehension and induction of second-order Peano’s arithmetic is complete w.r.t. the validity of MSO-formulas on streams. We rely on Feferman-Vaught Theorems and the Ehrenfeucht-Fraisse method for Henkin models of MSO. Our main technical contribution is an infinitary Feferman-Vaught Fusion of such models. We show it using Ramseyan factorizations similar to those for standard infinite words.
We discuss Krahn's proof of the Rayleigh conjecture asserting that amongst all membranes of the same area and the same physical properties, the circular one has the lowest ground frequency. We show how his approach coincides with the modern techniques of geometric measure theory using the co-area formula. We explain the co-area formula and explain how it links geometric and analytic inequalities. The exposition is suitable for a general mathematical audience.
Un polynôme mixte introduit par Mutsuo Oka est un polynôme en des variables complexes et leurs conjugées.Dans cet exposé, on considère d'abord une condition de régularité à l'infini qui donne une approximation de l'ensemble de bifurcation pour un polynôme mixte. En particulier, je vais expliquer un résultat pour les polynômes mixtes non-dégénérés qui généralise un théorème de Néméthi et Zaharia.En supposant quelque déformation spéciale, on arrive un résultat de la stablité de monodromie pour une famille de polynômes mixtes.
Nous considérons la famille des problèmes reliés au comptage des mots sur un alphabet fini engendrés par intervalles, y compris les mots sturmiens, des mots de rotation et les mots engendrés par l'échange de trois intervalles. Nous discutons des méthodes géométriques et combinatoires de comptage.
Il est connu depuis lord Rayleigh que certaines instabilités hydrodynamiques (essentiellement les instabilités de Rayleigh-Taylor, instabilité de Couette) peuvent être prises en compte par une équation différentielle ordinaire faisant intervenir le taux de croissance de l'instabilité (qui s'appelle selon les cas Orr-Sommerfeld ou Rayleigh). Mikaélian a remarqué que l'équation de Rayleigh pouvait se réécrire de manière équivalente comme une équation de Schrodinger (Phys Rev E 53, 1996). Avec C. Cherfils dans un cas particulier (Phys Rev E 62, 2000) puis avec B. Helffer dans le cas général pour l'équation de Rayleigh, nous avons démontré que le taux de croissance de l'instabilité de Rayleigh-Taylor linéarisée n'étaitpas unique, mais suivait une suite quantifiée (valeurs propres d'un opérateur classique), et nous démontrons que cette remarque permet la construction d'un mode instable pour le problème de Rayleigh-Taylor dans le cas non linéaire.
Si X est un champ de vecteur analytique de R^3 singulier à l'origine et gamma une trajectoire non oscillante de X adhérante à 0, le pinceau intégral de gamma est l'ensemble des trajectoires de X qui partagent avec gamma la même suite de points omega-limite par éclatements ponctuels. Un théorème de Cano, Moussu et Sanz affirme qu'un tel pinceau est soit enlacé (tout couple de trajectoires du pinceau spirale une infinité de fois) soit séparé (tout couple de trajectoires du pinceau se sépare par une projection sous-analytique). Dans cet exposé, on montre que deux trajectoires d'un pinceau séparé transcendant vivent dans un même corps de Hardy. Il s'agit d'un travail en commun avec M. Matusinski et F. Sanz.
En mathématiques, dans le domaine de l'Approximation Rationnelle, en particulier les fractions continues, approximation au sens Padé, il n'est pas rare de rencontrer parmi les publications récentes le nom Montessus de Ballore. Par exemple, en 2009 paraît dans Found Comput Math Convergent Interpolation to Cauchy Integrals over Analytic Arcs, de Laurent Baratchart et Maxim Yattselev, dans lequel le théorème de convergence de Robert de Montessus est donné en référence. En 2010, A. Sidi publie dans Comput. Methods Funct. Theory, A de Montessus type convergence study of a least-squares vector-valued rational interpolation procedure II, dans lequel une généralisation du résultat de Robert de Montessus est donnée. Ainsi, à quoi tient la pérennité de ce résultat ?
Robert de Montessus fut lauréat en 1906 d'un Grand Prix de l'Académie des Sciences et en 1917, il rentre au comité de rédaction du Journal de Mathématiques Pures et Appliquées alors dirigé par Camille Jordan. C'est au cours de l'année 1902 que Robert de Montessus de Ballore (1870-1937) prouva son fameux théorème [3] sur la convergence d'approximants de Padé de fonctions méromorphes [2]. Pour la démonstration, il utilisa en particulier des résultats de J. Hadamard sur ce que l'on appelle aujourd'hui les polynômes de Hadamard. Jusqu'en 1909, Robert de Montessus publia des travaux sur les fractions continues algébriques.
Nous cherchons à comprendre comment son théorème s'est diffusé et examinons aussi les autres résultats qu'il a obtenus. Nous disposons en particulier de toute une correspondance scientifique que nous avons recueillie auprès de sa famille et qui fait l'objet d'un archivage à l'Université Pierre et Marie Curie [1]. Certaines de ces lettres permettent d'expliquer la genèse du théorème de 1902. Nous en projetterons des fac-similés. En particulier, Henri Padé et Robert de Montessus ont correspondu durant les années 1901-1902. Nous verrons aussi que le résultat de 1902 est rapidement cité par des mathématiciens comme Van Vleck, Nörlund ou encore O. Perron avant la première guerre mondiale, puis Wilson et surtout J.L. Walsch entre les deux guerres.
[1] Fonds Robert de Montessus de Ballore (Université Pierre et Marie Curie, Paris, archivage en cours).
[2] Claude Brezinski, History of continued fractions and Padé approximants, Springer Verlag, Berlin, (1991).
[3] R. de Montessus de Ballore, Sur les fractions continues algébriques, Bull. Soc. Math. France 30 (1902), pp 28-36.
[4] Biographie de R. de Montessus de Ballore sur Mac Tutor : lien.
Hedlund et Morse ont introduit et développé la dynamique symbolique vers 1938. La combinatoire des mots leur doit beaucoup, car ils ont mis en évidence de nombreux concepts important mais semblent avoir ignoré les trajectoires exponentielles de Rufus Oldenburger...
A set of horizontal critical points of a smooth function on a contact manifold can be defined as a set of points where differential of this function and a contact form defining given contact structure are linear dependent. Generically this set is empty or is a smooth submanifold of dimension one. In a compact case we will show when components of it are closed orbits of some Reeb vector field associated with some contact form defining the same contact structure.
I will talk about two novel models of Petri nets with boundaries and characterise them using a calculus of combinators.
Du 21 au 25 Mai : Topics on compressible Navier-Stokes equations Session ``Etats de la Recherche'', SMF