For a positive polynomial $fin mathbb{R}[x_1,ldots,x_n]$ we give necessary and sufficient conditions to existence of an exponent $Ninmathbb{N}$ such that $(1+|x|^2)^Nf(x)$ is a convex function, where $|x|^2={x_1^2+cdots+x_n^2}$. Next we show that if $finmathbb{R}[x_1,ldots,x_n]$ is strictly positive on a closed convex basic semialgebraic set $X={xinmathbb{R}^n:g_1(x)ge 0,ldots,g_r (x)ge 0}$, where $g_1,ldots,g_rinmathbb{R}[x_1,ldots,x_n]$ are concave polynomials, then $f$ can be approximated (in the $l_1$ norm) by polynomials of the quadratic module $Q(g_1,ldots,g_r)$. In the case $X=mathbb{R}^n$ the approximation is uniform on compact sets. Joint work with S. Spodzieja.
We say that a subshift, i.e. a closed shift invariant subspace of the space of sequences on a finite alphabet, has bounded powers. If there is an upper bound on the powers n with which words occur in the subshift. This is a strong combinatorial property which, for Sturmian susbshifts, coincides with the fact that the slope has bounded continued fraction expansion. Approximating the subshift space by a family of graphs we obtain a family of metrics which may or may not be Lipschitz equivalent. That latter property turns out to charactise minimal subshifts which have bounded powers.
Les invariants de Welschinger sont un analogue réel des invariants de Gromov-Witten, et fournissent des bornes inferieures non triviales en géométrie énumérative réelle. Je rappelerai leur définition, puis expliquerai comment les calculer dans le cas des surfaces algebriques réelles rationnelles. Les méthodes principalement utilisées sont la théorie symplectique des champs, pour découper la variété ambiante en morceaux, et une version réelle des équations WDVV établie par Jake Solomon. Cet exposé porte sur deux travaux, l'un en collaboration avec Nicolas Puignau, l'autre en collaboration avec Jake Solomon.
Les pavages auto-assemblants sont un modèle d'assemblage de structures moléculaires, implémentables avec de l'ADN, et capables de calcul Turing. J'expliquerai dans cet exposé deux bornes inférieures de complexité, dans le cas des systèmes d'assemblage non-coopératif (aussi appelés ``température 1'') : une sur les capacités de simulation intrinsèque du modèle, et l'autre sur la complexité d'assemblage de carrés de taille arbitraire.
Le discriminant réel est l'ensemble des polynômes homogènes à coefficients réels et pourvus d'au moins une singularité réelle. La norme de Bombieri permet de donner une formule explicite pour la distance au discriminant dont l'étude permet d'obtenir des résultats intéressants en particulier sur les hypersurfaces extrémales (maximum locaux pour la somme des nombres de betti). On définira par exemple la bande critique (la bande la plus large définie par { x in |R^n | ||x|| = 1 et |P(x)| < m} et ne contenant aucun point critique de P) et on montrera que cette bande a une largeur bornée par Pi/sqrt(d) où d est le degré de P lorsque le niveau 0 de P est extrémal. On en déduira une borne (pas très bonne) pour la plus petite valeur critique de P. On regardera le cas particulier de la dimension 0 (polynome homogène à deux variables) où l'on peut trouver une borne optimale de la plus petite valeur critique pour les polynomes de degré d à d racines.
Les droites discrètes en 2D sont bien connues et possèdent plusieurs définitions équivalentes (combinatoire, arithmétique, dynamique). Toutefois, en dimension supérieure, ces définitions ne sont pas équivalentes et donnent lieu à des concepts différents : les mots de billards, les codages de rotations, les échange d'intervalles, le modèle standard de la droite discrète d'Éric Andres. Aucune de ces définitions de droites discrètes 3D ne conserve toutes les bonnes propriétés des droites discrètes 2D (suite équilibrée, complexité en facteurs linéaire). L'approche que nous considérons est la construction de droites discrètes par un produit de substitutions appelé suite S-adique selon la terminologie de Vershik et Livshits (1992). La suite de substitutions est déterminée par un algorithme de fractions continues multidimensionnelles donnant une suite d'approximations diophantiennes d'un vecteur de nombres réels. De récents résultats montrent qu'on peut construire des suites équilibrées (Delecroix, Hejda, Steiner, 2013) et de complexité linéaire en facteurs (Berthé, Labbé, 2013) avec cette approche.
I will present some results in collaboration with G. Francfort concerning quasi-static evolutions for linearly-elastic perfectly-plastic for multi-phase materials. The mathematical framework adopted is that of the variational approach to rate independent evolutions formalized by A. Mielke and his collaborators. The focus is on the dissipation properties of the interfaces which leads to lower semicontinuity problems in the space of Radon measures.
Un résultat maintenant classique (et souvent attribué a Peter Buser) dit que toute variété riemannienne complète à courbure de Ricci positive admet des inégalités de Poincaré. Dans cet exposé, on essayera de donner/proposer des analogues du théorème de Buser dans le cas des espaces métriques continus (espace géodésiques) ou discrets (graphes).
La suite de Kolakoski, introduite - comme son nom ne le dit pas - par R. Oldenburger en 1939, est une suite auto-descriptive simple. Il s'agit de la suite 'w' sur l'alphabet {1,2} qui est égale à son propre ``run-length-encoding'' RLE(w). La ième lettre de RLE(w) est la taille du ième bloc de 'w', un bloc étant une répétition d'une même lettre. Cette suite commence donc par 12211212212211... Malgré sa définition simple, beaucoup de conjectures concernant cette suite sont ouvertes depuis une trentaine d'années. Il y a notamment la conjecture que la densité de 1 dans 'w' est 0.5. Concernant cette conjecture, la meilleure borne supérieure de 0.50084 a été donnée par V. Chvátal en 1993. Dans cet exposé, on verra cette suite comme un point fixe d'un transducteur. En prenant les puissances de ce transducteur, on obtiendra une nouvelle borne sur la densité. Cela nous permet également d'avoir un algorithme qui a permis d'explorer les 10^19 premières lettres de la suite. On finira par quelques nouvelles conjectures et questions sur cette suite.
This paper proposes a new interpretation of the logical contents of programs in the context of concurrent interaction, wherein proofs correspond to valid executions of a processes. A type system based on linear logic is used, in which a given process has many different types, each typing corresponding to a particular way of interacting with its environment and cut elimination corresponds to executing the process in a given interaction scenario. A completeness result is established, stating that every lock-avoiding execution of a process in some environment corresponds to a particular typing. Besides traces, types contain precise information about the flow of control between a process and its environment, and proofs are interpreted as composable schedulings of processes. In this interpretation, logic appears as a way of making explicit the flow of causality between interacting processes. Joint work with Virgile Mogbil.
Le parsing et le pretty-printing sont des opérations omniprésentes en informatique : communications entre machines ou entre processus, interfaces homme-machine, etc. Il semble évident que les parser et pretty-printer sont liés par une relation de cohérence, mais elle n'a jamais été mise en évidence. En conséquence, pour faire une preuve formelle utilisant un parser et un pretty-printer (par exemple d'un protocole de communication), il faut deviner une relation vérifiée par cette paire avant la prouver, ce qui rend la preuve difficile. Dans cet exposé, on donnera une définition de la cohérence entre un parser et un pretty-printer et on esseaira de la motiver.
Suite de l'exposé précédent
Ce travail est une contribution à la sémantique de jeux des langages de programmation. Il présente plusieurs méthodes nouvelles pour construire une sémantique de jeux pour un lambda-calcul de continuations. Si les sémantiques de jeux ont été développées à grande échelle pour fournir des modèles de langages fonctionnels avec références, en appel par nom et par valeur, ou pour différents fragments de la logique linéaire, certains de ses aspects demeurent cependant très subtils. Cette thèse s'intéresse spécifiquement à la notion d'innocence et à la combinatoire mise en jeu dans la composition des stratégies innocentes, en donnant pour chacune une interprétation via des constructions catégoriques standards. Nous reformulons la notion d'innocence en terme de préfaisceaux booléens sur une catégorie de vues. Pour cela, nous enrichissons la notion de parties dans notre sémantique de jeux en ajoutant des morphismes entre parties qui vont au-delà du simple ordre préfixe habituel. À partir d'une stratégie, donnée par les vues qu'elle accepte, on calcule son comportement sur toutes les parties en prenant une extension de Kan à droite. La composition des stratégies innocentes s'appuie sur les notions catégoriques habituelles de systèmes de factorisation et de foncteurs polynomiaux. Notre sémantique permet de modéliser l'interaction entre deux stratégies comme une seule stratégie dont il faut parvenir à cacher les coups internes, grâce à une technique d'élimination des coupures : cette étape est accomplie avec une version affaiblie des systèmes de factorisation. La composition elle-même entre stratégies repose pour sa part sur l'utilisation de la théorie des foncteurs polynomiaux. Les propriétés essentielles, telles que l'associativité ou la correction de la sémantique, proviennent d'une méthode de preuve presque systématique donnée par cette théorie.
Le but de cet exposé consiste à développer des méthodes numériques performantes et robustes destinées à résoudre numériquement des problèmes de type diffraction d'ondes (acoustique ou électromagnétique) en régime harmonique à haute fréquence. Il est connu que les systèmes linéaires issus de la discrétisation de tels problèmes par des méthodes d'éléments finis standard sont hautement non définis positifs. En pratique, ils font diverger les solveurs préconditionnés de Krylov (comme le GMRES par exemple). Le but de l'exposé est de développer une méthode alternative, la méthode de décomposition de domaine, et de voir comment l'analyse microlocale joue un rôle crucial pour obtenir des solveurs robustes et efficaces. Plusieurs exemples numériques 2d-3d seront donnés, notamment sur des problèmes de grande taille, la méthode étant adaptée au calcul parallèle. Ces travaux font l'objet de collaborations avec C. Geuzaine, B. Thierry (Université de Liège), M. El Bouajaji (IECN) et Yassine Boubendir (NJIT, USA).
Si X est un champ de vecteur analytique de R^{n+1} au voisinage de 0 et admettant une série formelle invariante S(x)=(x,S_1(x),...,S_n(x)), on montre qu'il existe une courbe s:(0,epsilon)-> R^{n+1}, invariante pour X et admettant S comme développement asymptotique à l'origine. Il s'agit d'un travail commun avec T. Cano et F. Sanz.
Dans cette exposé je vais présenter des résultats concernant les problèmes de Gel'fand-Calderon et de conductivité inverse (problème de Calderon). Il s'agit de deux problèmes inverses de valeurs au bord avec différents applications, notamment dans le domaine médicale, géophysique et dans la tomographie océanique. Le problème de Calderon consiste à déterminer une conductivité électrique dans un domaine à partir de l'opérateur tension-à-courant (Dirichlet-to-Neumann) au bord. Dans le problème de Gel'fand-Calderon la quantité à reconstruire est un potentiel dans l'équation de Schrodinger, étant donné l'opérateur Dirichlet-to-Neumann associé à énergie fixée. Je vais présenter le premier résultat de stabilité globale en dimension deux pour le problème de Gel'fand-Calderon scalaire et multi-canal (matriciel). Ensuite je vais parler d'un algorithme de reconstruction stable et rapidement convergent pour le même problème dans le cas 2D multi-canal, avec applications à l'étude du problème en 3D . Comme derniers résultats je vais montrer des nouvelles estimations de stabilité globale pour les deux problèmes qui dépendent explicitement de la régularité et de l'énergie. J'expliquerai notamment comment la stabilité augment à hautes énergies.
(Exposé en deux parties : 04/10 et 11/10.) Dans ces exposés, on étudie l'existence de certains types de l'inégalité de Lojasiewicz sur des domaines non-compacts et de l'inégalité de Lojasiewicz globale pour les applications polynomiales de plusieurs variables. Partie II: on montre que si une application polynomiale est non-dégénérée au sens Mikhailov-Gindikin, l'inégalité de Lojasiewicz globale existe et les exposants peuvent être calculés.
Le but de cet exposé est de présenter quelques méthodes numériques dédiées à la simulation de fluides complexes en général et des écoulements sanguins en particulier. Je présenterai d'abord une nouvelle formulation point-selle de la méthode de la frontière élargie ainsi qu'une modélisation des globules rouges en utilisant une méthode Level Set. Ensuite, je présenterai des simulations numériques d'écoulements fluides dans des géométries réelles de vaisseaux sanguins. Ces travaux s'effectuent dans le cadre de l'ANR VIVABRAIN (http://icube-vivabrain.unistra.fr) et dans le cadre du développement de la librairie FEEL++ (http://www.feelpp.org/)