Séminaires de l'année

In the sixties Kuiper and Kuo gave a sufficient condition for the topological equivalence of the function germs. The aim of our presentation is to generalize this result to the case of mappings at infinity.

Dans cet exposé, nous allons présenter un outil important pour la construction des mots de Sturm (et donc également pour les droites discrètes) que l'on nomme la clôture palindromique. Nous allons étendre cette notion pour atteindre des mots infinis comme les mots de Rote ou encore la fameuse suite de Thue-Morse. Enfin, nous montrerons comment calculer les diverses clôtures d'une façon efficace.

Notions of cartesian closed sketches have been proposed as a categorical approach to algebra with binding. We here consider a 2-dimensional refinement of this idea, called cartesian closed 2-signatures, as a categorical approach to higher-order rewriting, i.e., rewriting with variable binding. We sketch a general notion of standardisation in the sense of Lévy (1980).

The ADER approach (Toro et al. 2001 and many others) allows the construction of non-linear one step fully discrete numerical schemes of arbitrary order of accuracy in space and time, for solving evolutionary partial differential equations. The ADER approach operates in the frameworks of finite volume and DG finite element methods and is applicable to multidimensional problems on unstructured meshes. The schemes have two basic ingredients: (a) a non-linear spatial reconstruction operator and (b) the solution of a generalized (or high-order) Riemann problem that links spatial data distribution and time evolution. After describing the main ideas of the methodology I will also show some applications involving hyperbolic and parabolic equations.

Cellular automata are both a powerful model of computation and a continuous function on a Cantor space. So the notion of equicontinuity is naturally defined, and corresponds to the ability to block any communication. This property is most of the time considered along the line (x=0). Mathieu Sablik extended it first to all lines, and here we want to deal with automata that are equicontinuous along any curve. I’ll present a classification of cellular automata considering it, with examples, and some dynamical consequences.

On donnera un critère pour qu'une application $F: C2 to C2$, non singulière, soit propre, en termes d'homologie d'intersection.

Etant donnée une variété différentiable sous-analytique bornée (non necéssairement compacte), on considère les formes différentiables dont la norme est intégrable sur la variété. Je donnerai des théorèmes qui concernent la cohomologie de ces formes.

Dans cet exposé, on s'intéresse aux catégories de réponse (des catégories avec les produits finis et un objet exponentiel, introduites par Selinger) sous deux aspects :

• un sous-ensemble du lambda-calcul simplement typé, qui engendre une catégorie de réponse libre,
• une sémantique à base de jeux graphiques, i.e., où les positions sont certains graphes vus comme des espaces topologiques, les coups des transformations de ces graphes, et les lambda-termes correspondent à certaines stratégies.

• le recollement des stratégies, défini grâce à la topologie des positions, et qui s'interprète comme une composition parallèle,
• la descente de stratégies le longs de certains morphismes (coupures).

• une sémantique d'un langage comme un préfaisceau sur cette structure,
• une compilation comme un morphisme de triple-préfaisceaux.

We extend the well-known Serrin's blowup criterion for the three-dimensional incompressible Navier-Stokes equations to the 3D compressible Navier-Stokes equations with vacuum. In other words, in addition to Serrin's condition on the velocity, the L^1(0,T;L^{infty}) norm of the divergence of the velocity is also needed to control the possible breakdown of strong (or smooth) solutions for the three-dimensional compressible Navier-Stokes equations. Moreover, under some additional constraint on the viscosity coefficients, either the L^1(0,T;L^{infty}) norm of the divergence of the velocity or the upper bound of the density will be enough to guarantee the global existence of classical (or strong) solutions.``

Nous présentons les méthodes d'optimisation de structure par la méthode des courbes de niveaux (level set). Nous montrons ensuite comment le modèle de Francfort-Marigo pour l'endommagement peut se traiter numériquement de façon efficace par ce type de méthode dès lors que l'on a calculé la dérivé de forme pour un problème à deux matériaux.

Dans cet exposé, nous cherchons à colorier proprement des graphes de sorte que deux sommets adjacents n'aient pas le même ensemble de couleurs dans leur voisinage fermé. On peut par exemple colorier de cette manière n'importe quel graphe biparti avec 4 couleurs, mais savoir si l'on peut colorier un graphe biparti avec seulement 3 couleurs est NP-complet. Nous nous interesserons aussi à une autre classe de graphes : les graphes triangulés pour lesquels nous pensons que 2*k couleurs sont suffisantes, avec k la taille de la plus grande clique. Enfin, je donnerai des relations avec le nombre chromatique et avec le degre maximum du graphe.

Dans cet exposé (très largement inspiré des travaux de Krivine présentés en juin dernier), je propose d'étudier à travers la correspondance de Curry-Howard la transformation de preuves sous-jacente à la méthode de forcing. Pour cela, je me placerai en arithmétique d'ordre supérieur (PAw) avec termes de preuves à la Curry. Je définirai d'abord la transformation qui à une proposition A associe la proposition p ||- A (où p est une condition arbitraire), puis une transformation t |-> t^ sur les termes de preuves bruts (i.e. non typés) telle que si t : A, alors t^ : p ||- A. Je montrerai alors comment le terme traduit effectue ses calculs, et en quoi il est légitime de voir cette transformation comme la mise en place d'un petit système d'exploitation.

Nous montrerons le rôle des fibrés vectoriels en physique par l'intermédiaire des théories de jauge, et comment des classes caractéristique peuvent intervenir, via des termes topologiques dans les Lagrangiens. Pour une théorie de jauge abélienne, nous verrons comment les monopôles magnétiques et l'effet Bohm-Aharonov peuvent s'interprèter comme une première classe de Chern, et pour les théories non abéliennes, le nombre d'instanton est une deuxième classe de Chern (dans la version euclidienne de la théorie de Yang et Mills).

Let $P(x,z)= z^d +sum_{i=1}^{d}a_i(x)z^{d-i}$ be a polynomial, where $a_i$ are real analytic functions in an open subset $U$ of $R^n$. If for any $x in U$ the polynomial $zmapsto P(x,z)$ has only real roots, then we can write those roots as locally lipschitz functions of $x$. Moreover, there exists a modification (a locally finite composition of blowing-ups with smooth centers) $sigma : W to U$ such that the roots of the corresponding polynomial $tilde P(w,z) =P(sigma (w),z),,win W $, can be written locally as analytic functions of $w$. Let $A(x), , xin U$ be an analytic family of symmetric matrices, where $U$ is open in $R^n$. Then there exists a modification $sigma : W to U$, such the corresponding family $tilde A(w) =A(sigma(w))$ can be locally diagonalized analytically (i.e. we can choose locally a basis of eigenvectors in an analytic way). This generalizes the Rellich's well known theorem (1937) for one parameter families. Similarly for an analytic family $A(x), , xin U$ of antisymmetric matrices there exits a modification $sigma$ such that we can find locally a basis of proper subspaces in an analytic way.

En s'inspirant de certaines constructions de la ludique, on definit une realisabilite par orthogonalite pour la semantique des jeux de la logique lineaire intuitionniste. On demontre ainsi, sans passer par l'elimination des coupures, que l'interpretation d'une preuve (y compris avec coupures) est une strategie totale (analogue de la terminaison dans les jeux).