En tant que nouvel arrivant au laboratoire, je voudrais présenter lors de cet exposé des questions, des sujets de recherche qui m'intéressent. La question du temps nécessaire algorithmiquement pour l'évaluation de polynômes naturels semble fondamentale. Quelle est la meilleure façon de calculer un polynôme f(X_1,…,X_n) à partir des opérations arithmétiques basiques + et *? En fait, certains polynômes sont difficiles à calculer. Par exemple, évaluer le permanent d'une matrice revient à compter le nombre de mariages parfaits dans un graphe. Une autre façon de voir ce problème est celui de la possibilité d'exprimer le permanent comme déterminant d'une matrice, une question déjà soulevée par Pólya et Szegö en 1913. On commencera par une présentation de pistes de recherche actuelles en complexité arithmétique. On verra des relations avec des questions de géométrie algébrique (en particulier, en géométrie réelle) et les questions qui apparaissent - ou plutôt ressurgissent - dans ce domaine. Ainsi, de nombreuses propriétés des variétés réelles définies par des courbes creuses sont encore très mal connues. Je finirai par présenter mes derniers résultats : en particulier, je montrerai comment obtenir des bornes inférieures ``presque''-cubiques (et ainsi battre les bornes précédentes quadratiques) sur la taille des circuits arithmétiques de profondeur 3 calculant un polynôme donné.
In this talk a development of normal form methods for special classes of partial differential equations is presented. A basic application of the methods is splitting of slow and fast wave motions and finding of equations for the slow wave motion. The rotating shallow water model is the main example for the application of the general theory. http://www.sciencedirect.com/science/article/pii/S157469090602003X
On présente dans cet exposé des méthodes de restauration d'images (inpainting) par des EDPs d'ordre deux et d'ordre quatre. L'approche adaptative permet de construire (et ajuster) les modèles proposés de manière dynamique a fin de rétablir au mieux les composantes géométriques d'une image endommagée (arêtes, coins, ...) tout en respectant les courbures. Ces méthodes consistent en une famille d'énergies discrètes, faciles à minimiser, qui $Gamma$-convergent vers des fonctionnelles de type Mumford-Shah et donnent lieu à des algortihmes efficaces.
Une nouvelle définition, implicite, du champ de gradient d'une image discrète est proposée. L'opération de différentiation qui associe une image a son champ de gradient, défini sur une grille deux fois plus fine, est non linéaire, et peut être vue comme l'inverse de l'opération (linéaire) d'intégration. Alors, la variation totale d'une image est simplement la norme l1 de l'amplitude de son champ de gradient. Cette nouvelle définition de la variation totale donne des contours nets et possède de meilleures propriétés d'isotropie que la définition classique.
TBA
We study isolated singularities of a space embedded in a smooth Riemannian manifold from a differential geometric point of view. While there is a considerable literature on bi-lipschitz invariants of singularities, we obtain a more precise (complete asymptotic) understanding of the metric properties of certain types of singularities. This involves the study of the family of geodesics emanating from the singular point. While for conical singularities this family of geodesics, and the exponential map defined by them, behaves much like in the smooth case, the situation is very different in the case of cuspidal singularities, where the exponential map may fail to be locally injective. We also study a mixed conical-cuspidal case. Our methods involve the description of the geodesic flow as a Hamiltonian system and its resolution by blow-ups in phase space. This is joint work with Vincent Grandjean.
I will present an algebraic approach to stochastic graph-rewriting. Rules are seen as particular elements of an algebra of “diagrams”: the diagram algebra D. Diagrams can be thought of as formal computational traces represented in partial time. They can be evaluated to normal diagrams (each corresponding to a rule) and generate an associative unital non-commutative algebra of rules: the rule algebra R. Evaluation becomes a morphism of unital associative algebras which maps general diagrams in D to normal ones in R. In this algebraic reformulation, usual distinctions between graph observables (real-valued maps on the set of graphs defined by counting subgraphs) and rules disappear. Actual graph-rewriting is recovered as a canonical representation of the rule algebra as linear operators over the vector space generated by (isomorphism classes of) finite graphs. This shift of point of view, away from its canonical representation to the rule algebra itself, has unexpected consequences. We find that natural variants of the evaluation morphism map give rise to concepts of graph transformations hitherto not considered. This is joint work with N. Behr and V. Danos.
La reformulation du système Euler 2d incompressible sous la forme d'une inclusion différentielle par De Lellis et Székelyhidi (cf. e.g. Bull. Amer. Math. Soc. vol. 49, 347-375) a permis d'appliquer le h-principe à plusieurs familles d'équations de la mécanique des fluides en 2d. De telles techniques fournissent alors une myriade de solutions faibles, indiquant que le problème de Cauchy est mal posé au sens de Hadamard. Pour le système compressible isentropique 2d, des conditions suffisantes pour l'apparition de ces solutions non-standard'' peuvent s'exprimer sous la forme de relations algébriques (évoquant un peu le théorème de Lax), simplifiant beaucoup leur mise en œuvre. Ainsi, il est possible de construire explicitement, dans le cas $gamma=3$, des données initiales Lipschitz générant une infinité de solutions faibles après l'apparition du choc. Qu'en est-il de la situation sur le plan numérique ? En suivant des indications issues de certaines publications de P.L. Roe dans les années 90's, on observe que plusieurs schémas basés sur le splitting dimensionnel font apparaitre des tourbillons aux endroits où les oscillations doivent se développer dans les solutions non-standard exactes. Tout ceci semble être cohérent avec certaines caractéristiques spécifiques à ce type de solutionssurprenantes''. (joint work with Dr. Elisabetta Chiodaroli, with assistance from Drs. Denise Aregba and Roger Kappeli)
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 but de cet exposé est de présenter certaines des méthodes de dérivation de modèles continus à partir de systèmes de particules. Ce type de modèle s'est beaucoup développé et est très largement sorti du cadre purement physique: modèles multi-agents en économie, dynamique d'opinion en sciences sociales, ou dynamique de cellules/micro-organismes en biologie. Du fait du très grand nombre de particules ou agent, le comportement de ces systèmes est a priori particulièrement complexe. Un des enjeux principaux des dérivations de champ moyen est de comprendre comment la limite vers un modèle continu (équations de Vlasov...) contribue à réduire cette complexité.
Dans cet exposé, on donne quelques versions des inégalités de Lojasiewicz (du gradient et pour la fonction de distance) quand les fonctions considérées sont la fonction de la valeur propre maximale d'une matrice polynomiale symétrique et la fonction de la valeur singulière minimale d'une matrice polynomiale quelconque.
Operational Techniques (Kripke Logical Relations and Environmental/Open/Parametric Bisimulations) have matured enough to become now formidable tools to prove contextual equivalence of effectful higher-order programs. However, it is not yet possible to automate such proofs -- the problem being of course in general undecidable. In this talks, we will see how to take the best of these techniques to design an automatic procedure which is able many non-trivial examples of equivalence, including most of the examples from the literature. The talk will describe the main ingredients of this method: - Symbolic reduction to evaluate of programs, - Transition systems of heap invariants, as used with Kripke Logical Relations, - Temporal logic to abstract over the control flow between the program and its environment, - Circular proofs to automate the reasoning over guarded recursive predicates.
Beaucoup d'applications nécessitent de pouvoir considérer des champs de vitesses de propagation non nécessairement réguliers. Nous montrerons lors de cet exposé comment encoder la possible perte de régularité. Ceci requiert une analyse plus précise de la structure des équations combinée à une nouvelle approche de la compacité de l'équation de continuité par l'introduction de poids appropriés. Cette méthode a été introduite en collaboration avec Pierre-Emmanuel Jabin (CSCAMM, University of Maryland) et a notamment permis de résoudre deux problèmes jusque là encore ouvert: Existence globale de solutions faibles pour Navier-Stokes compressible avec pression thermo-dynamiquement instable et avec tenseur anisotrope. Nous discuterons la méthode, énoncerons les résultats dans leur généralité et présenterons la portée d'une telle méthode sur d'autres applications possibles.
Unification is a central operation in the construction of a range of computational logic systems based on first-order and higher-order logics. First-order unification has a number of properties that dominates the way it is incorporated within such systems. In particular, first-order unification is decidable, unary, and can be performed on untyped term structures. None of these three properties hold for full higher-order unification: unification is undecidable, unifiers can be incomparable, and term-level typing can dominate the search for unifiers. The so-called pattern subset of higher-order unification was designed to be a small extension to first-order unification that respected the basic laws governing λ-binding (the equalities of α, β, and η-conversion) but which also satisfied those three properties. While the pattern fragment of higher-order unification has been popular in various implemented systems and in various theoretical consideration, it is too weak for a number of applications. In this paper, we define an extension of pattern unification that is motivated by some existing applications and which satisfies these three properties. The main idea behind this extension is that the arguments to a higher-order, free variables can be more than just distinct bound variables: they can also be terms constructed from (sufficient numbers of) such variables using term constructor and where no argument is a subterm of any other argument. We show that this extension to pattern unification satisfies the three properties mentioned above.
In this talk we start by introducing the Euler and the original Green-Naghdi systems for the propagation of internal waves of two immiscible, ideal, incompressible irrotational fluids under the shallow water hypothesis. After we introduce different new asymptotic models in the Green-Naghdi regime. We will discuss and compare qualitative proprieties of this different models regarding, inter alia, their frequency dispersion propriety and its influence on the high-frequency Kelvin-Helmholtz instabilities. All our new asymptotic models are fully justified.
It might appear that solving initial value problems in the past'' is of little interest at an institution dedicated toinventing the future.'' However, this impression is deceiving. It is actually of great interest to know how the present influences the future or whether it impacts the future at all. In this context, backward uniqueness (inverting the future) becomes of paramount significance. As is taught in every beginning course on complex analysis, the modulus of an analytic function on a bounded domain has its maximum on the boundary. The Phragmen-Lindeloef theorem extends this result to unbounded regions, under the assumption of a suitable growth condition at infinity. In this talk, it will be shown how the Phragmen-Lindeloef theorem can be used to prove backward uniqueness for linear partial differential equations. Examples include problems which in a sense are perturbations of cases where backward uniqueness does not hold. In particular, we shall show how backward uniqueness can be obtained for the linearized equations of compressible fluid flow and for the damped wave equation with absorbing boundary conditions.
Je vais présenter un problème d'estimée locale en zéro dans des quotients d'anneaux de séries algébriques. La question consiste à relier l'ordre d'annulation d'un polynôme modulo un idéal au degré de ce polynôme. Nous considérerons aussi le cas de l'ordre d'une série algébrique. Finalement nous montrerons comment ces estimées locales permettent de ``contrôler'' la transcendance des solutions d'équations linéaires à coefficients séries algébriques, solutions pour lesquelles des contraintes de support sont imposées. Ce type d'équations apparaît naturellement en combinatoire ou en théorie des singularités.
Thomas Streicher has reformulated Krivine's notion of classical realizability into abstract Krivine structures and showed that from any such structure one can build a tripos out of it. They are called Krivine triposes and form a subclass of relative realizability triposes in the sense of van Oosten and Hofstra. In this talk, I will present a characterization of those Krivine triposes, indeed, they are exactly boolean subtriposes of relative realizability triposes. I will also talk about a concrete construction of non-localic Krivine triposes. These results are from my master thesis supervised by Jaap van Oosten.