La réécriture de dimension supérieure a pour origine des travaux de Squier sur le problème du mot dans les monoïdes. A partir d'une présentation d'un monoïde, Squier a pu calculer en basse dimension des invariants homotopiques de ce monoïde. Depuis, elle a été adaptée à d'autres structures, et en particulier aux PRO, où elle permet de prouver des théorèmes de cohérence comme celui de MacLane pour les catégories monoïdales. Par ailleurs, dans le cas des monoïdes, les constructions de réécriture ont été étendues en dimension supérieure. Au cours de cet exposé, je montrerai comment il est possible d'unifier ces théories de réécriture dans diverses structures. En particulier, ceci permet de réinterpréter les constructions effectuées en réécriture en termes homotopiques. Cette réinterprétation s'appuie en particulier sur la notion de omega-catégorie cubique et sur le produit de Gray.
It is known that every germ of an analytic set is homeomorphic to the germ of an algebraic set. We show that the homeomorphism can be chosen in such a way that the analytic and algebraic germs are tangent with any prescribed order of tangency. Moreover, the space of arcs contained in the algebraic germ approximates the space of arcs contained in the analytic one, in the sense that they are identical up to a prescribed truncation order. Joint work with K. Kurdyka, A. Parusinski and G. Rond.
In this talk we will discuss a link between geometry of continued fractions and global relations for singularities of complex projective toric surfaces. The results are based on recent development of lattice trigonometric functions that are invariant with respect to Aff(2,Z)-group action.
Les nombres de Markov sont des entiers positifs qui apparaissent dans les triplets de solutions de l’équation diophantienne, x^2+y^2+z^2 = 3xyz, appelée l’équation de Markov. Il est possible de trouver tous les solutions à partir d’un triplet par un algorithme simple. Pourtant, il y a un célèbre problème ouvert formulé par Frobenius : est-il vrai qu'étant donné un entier positif z, il existe au plus un couple (x,y) d’entiers positifs avec x < y < z tel que (x,y,z) soit une solution? Ces nombres apparaissent dans le contexte des fractions continues et de l’approximation diophantienne des nombres réels irrationnels par des nombres rationnels. Ils apparaissent aussi dans de très nombreux domaines des mathématiques comme les formes quadratiques binaires, la géométrie hyperbolique et la combinatoire des mots etc... Le but de cette exposé est de présenter une partie de la théorie de Markov qui est construite autour de l’équation de Markov et de donner la conjecture d’unicité sur les nombres de Markov. Au final, on introduira une involution des irrationnels susceptible d’être pertinente pour le sujet.
L'équivalence arc-analytique est une relation d'équivalence sur les germes de fonctions Nash (i.e. analytiques réelles+semialgébriques) qui n'admet pas de module continu et qui peut être vue comme une version semialgébrique de l'équivalence blow-analytique de T.-C. Kuo. Dans cet exposé, je donnerai la classification complète des polynômes de Brieskorn--Pham pour l'équivalence arc-analytique. Cette dernière généralise les classifications obtenues par S. Koike et A. Parusiński dans le cas de deux variables et par G. Fichou dans le cas de trois variables. Ce résultat permet de mettre en exergue quelques différences avec d'autres classifications naturelles comme l'équivalence bi-Lipschitz. La preuve repose sur une version réelle des fonctions zêta motiviques de J. Denef et F. Loeser et sur des calculs explicites de polynômes de Poincaré virtuels (un analogue réel au polynôme de Hodge--Deligne, introduit par C. McCrory et A. Parusiński).
Implicative algebras, developed by Alexandre Miquel, are very simple algebraic structures generalizing at the same time complete Boolean algebras and Krivine realizability algebras, in such a way that they allow to express in a same setting the theory of forcing (in the sense of Cohen) and the theory of classical realizability (in the sense of Krivine). Besides, they have the nice feature of providing a common framework for the interpretation both of types and programs. The main default of these structures is that they are deeply oriented towards the λ-calculus, and that they only allows to faithfully interpret languages in call-by-name. To remediate the situation, we introduce two variants of implicative algebras: disjunctive algebras, centered on the “par” (⅋) connective of linear logic (but in a non-linear framework) and naturally adapted to languages in call-by-name; and conjunctives algebras, centered on the “tensor” (⊗) connective of linear logic and adapted to languages in call-by-value. Amongst other properties, we will see that disjunctive algebras are particular cases of implicative algebras and that conjunctive algebras can be obtained from disjunctive algebras (by reversing the underlying order).
We consider the initial value problem to the Isobe-Kakinuma model for water waves. As was shown by J. C. Luke, the water wave problem has a variational structure. By approximating the velocity potential in Luke's Lagrangian, we obtain an approximate Lagrangian for water waves. The Isobe-Kakinuma model is a corresponding Euler-Lagrange equation for the approximate Lagrangian. In this talk, we first explain a structure of the Isobe-Kakinuma model and then justify the model rigorously as a higher order shallow water approximation by giving an error estimate between the solutions of the model and of the full water wave problem. It is revealed that the Isobe-Kakinuma model is a much more precise model than the well known Green-Naghdi equations.
A Majority Automata consists of applying over the vertices of a undirected graph (with states 0’s and 1’s) an operator that chooses the most represented state among the neighbors of a vertex. This rule is applied in parallel over all the nodes of the graph. When the graph is a regular lattice ( in one or more dimensions) it is called the Majority Cellular Automata. In this seminar we will study the computational complexity of the following prediction problem: PRED: Given an initial configuration and a specific site initially at state a ( 0 or 1), is there a time step T≥1 such that this site changes state? The complexity of PRED is characterized by the possibility to find an algorithm that give the answer faster than the running of the automata simulation in a serial computer. More precisely, if we are able to determine an algorithm running in a parallel computer in polylog time (class NC). Otherwise, the problem may be P-Complete ( one of the most dificult in class P of Polynomial problems) or … worse. We will applied this kind of results to the discrete Schelling’s segregation model. Also we will present the Sakoda’s Social Discret model.
Il est connu depuis longtemps qu'une courbe tropicale dans R^2 de degré d est de genre au plus (d-1)(d-2)/2. J'expliquerai dans cet exposé comment construire une courbe tropicale plane de degré d et de genre quelconque. J'expliquerai en particulier comment résoudre la contradiction apparente de ces deux dernières phrases. Plus généralement, je donnerai des bornes sur les nombres de Betti des variétés tropicales de R^n, et si le temps le permet sur leurs nombres de Hodge tropicaux. Généralisant le cas des courbes, je montrerai qu'il n'existe pas de borne supérieure finie sur le nombre total de Betti d'une variété tropicale projective de degré d et de dimension m. Ceci est un travail en commun avec B. Bertrand et L Lopez de Medrano
Bounds are obtained for Lp norm of the torsion function vΩ , i.e. the solution of −∆v = 1, v=0 on the boundary of Ω and v ∈ H1(Ω) in terms of the Lebesgue measure of an open set Ω ⊂ Rm and the principal Dirichlet eigenvalue λ1(Ω) of the Dirichlet Laplacian acting in L²(Ω). Joint work with Thomas Kappeler, University of Zürich.
TBA
Groupe de travail : << Fonctions Zêta, Théorie des Nombres, Géométrie >> Dyer’s outer automorphism of PGL(2,Z) induces an involution of the real line, which behaves very much like a kind of modular function. It has some striking properties: it preserves the set of quadratic irrationals sending them to each other in a non-trivial way and commutes with the Galois action on this set. It restricts to an highly non- trivial involution of the set unit of norm +1 of quadratic number fields. It conjugates the Gauss continued fraction map to the so-called Fibonacci map. It preserves harmonic pairs of numbers inducing a duality of Beatty partitions of the set of natural numbers. It induces a subtle symmetry of Lebesgue’s measure on the unit interval. On the other hand, it has jump discontinuities at rationals though its derivative exists almost everywhere and vanishes almost everywhere. In the talk, I plan to show how this involution acts on the quadratic irrationals.
Complexity theory helps us predict and control resources, usually time and space, consumed by programs. Static analysis on specific syntactic criterion allows us to categorize some programs. A common approach is to observe the program’s data’s behavior. For instance, the detection of non-size-increasing programs is based on a simple principle : counting memory allocation and deallocation, particularly in loops. This way, we can detect programs which compute within a constant amount of space. This method can easily be expressed as property on control flow graphs. Because analyses on data's behaviour are syntactic, they can be done at compile time. Because they are only static, those analyses are not always computable or easily computable and approximations need are needed. Size-Change Principle'' from C. S. Lee, N. D. Jones et A. M. Ben-Amram presented a method to predict termination by observing resources evolution and a lot of research came from this theory. Until now, these implicit complexity theories were essentially applied on more or less toy languages. This thesis applies implicit computational complexity methods intoreal life'' programs by manipulating intermediate representation languages in compilers. This give an accurate idea of the actual expressivity of these analyses and show that implicit computational complexity and compilers communities can fuel each other fruitfully. As we show in this thesis, the methods developed are quite generals and open the way to several new applications.
Je vais présenter quelques nouvelles techniques pour résoudre les équations G(x,y)=0 où G(x,y)=G(x_1,...,x_n,y) est une fonction dans une classe quasi-analytique (par exemple, une classe Denjoy-Carleman quasi-analytique). Plusieurs questions importantes sur les fonctions quasi-analytiques, concernant la division, la factorisation, le lemme de préparation de Weierstrass, etc., entrent dans le cadre de ce problème. Aucune connaissance préliminaire sur les fonctions quasi-analytiques ne sera nécessaire. Je donnerai un bref panorama sur les fonctions quasi-analytiques, en mettant l’accent sur les différences avec les fonctions analytiques. Ensuite, je présenterai une technique de prolongement quasi-analytique (basée sur la résolution des singularités) et le résultat suivant (à partir d’un travail conjoint avec E. Bierstone et I. Biborski) : si G(x,y)=0 a une solution formelle y=H(x), alors H(x) est le développement de Taylor d’une solution quasi-analytique y=h(x), où h(x) a une certaine perte de régularité contrôlée par G.
We consider the linear wave equation and the linear Schrödinger equation outside a compact, strictly convex obstacle in Rd with smooth boundary. In dimension d=3 we show that the linear wave flow and the linear Schrödinger flow satisfy the dispersive estimates as in R3. For d> 3, if the obstacle is a ball, we show that there exists points where the dispersive estimates fail for both wave and Schrödinger equations.
It is well known that the motion of an incompressible fluid can be described in Eulerian variables (as a solution of a PDE, namely the continuity equation), or alternatively in Lagrangian variables (as a flow of an ODE). The classical DiPerna-Lions-Ambrosio theory ensures well-posedness and provides structural properties for solutions of the continuity equation, under suitable regularity assumptions on the velocity field and integrability assumptions on the solution. In my talk I will focus on the ``Lagrangianity'' of solutions, that is, on the property of being transported by an ODE flow, hence addressing the question whether an Eulerian solution is automatically a Lagrangian solution. After a brief summary of the DiPerna-Lions-Ambrosio theory, I will present two examples which are outside of the assumptions of such a theory, and in which nevertheless we can prove the Lagrangianity of solutions. The first one concerns vanishing viscosity solutions of the two-dimensional Euler equations, where we can use suitable duality methods (joint work with Stefano Spirito). The second example involves general continuity equations, and requires the proof of a new Lipschitz extension lemma (joint work with Laura Caravenna).
Soit c un nombre rationnel. Considérons le polynôme φ(X) = X^2 - c. On s’intéressse aux cycles de φ dans Q. Plus précisément, on s’intéresse à l’une des conjectures de Poonen selon laquelle tout cycle de φ dans Q admet une longueur au plus égale à 3. Dans notre exposé, on discutera de cette conjecture et on rappellera les résultats connus. En suite, on utilisera des moyens arithmetiques, combinatoriaux et analytiques simples pour étudier des cas particuliers de ce problème. Les outils utilisés dans cet exposé sont accessibles aux étudiants de master 2.
En utilisant le travail de Guillén et Navarro Aznar sur les hyperrésolutions cubiques, Totaro a introduit un analogue de la filtration par le poids de Deligne sur l'homologie et la cohomologie des variétés algébriques réelles, fonctorielle, triviale sur les variétés lisses compactes, additive et compatible avec les résolutions des singularités. McCrory et Parusinski ont montré que la filtration par le poids réelle homologique et ses propriétés étaient induites par un complexe de chaînes filtré géométrique, appelé filtration géométrique. Un article avec Limoges montre également que le dual de ce dernier induit la filtration par le poids réelle cohomologique, et que ces filtrations géométriques induisent la compatibilité des filtrations par le poids réelles avec les produits usuels (cartésiens, cup, cap). Si l'on considère maintenant des variétés algébriques réelles munies de l'action d'un groupe fini, la fonctorialité des filtrations géométriques permet d'induire une filtration par le poids sur des homologie et cohomologie équivariantes, définies par van Hamel pour vérifier une dualité de Poincaré sur les variétés topologiques avec action. Des différences significatives apparaissent cependant entre les filtrations par le poids réelles équivariantes et non-équivariantes. Dans cet exposé, on verra comment la fonctorialité des complexes filtrés géométriques induit néanmoins la compatibilité des filtrations par le poids équivariantes réelles avec les produits cartésiens, cup et cap équivariants, ainsi qu'avec le morphisme de dualité de Poincaré équivariant.
Dans cette exposé, on montre comment donner une interprétation géométrique et dynamique à certains algorithmes de fraction continues multidimensionnelles; cela permet, en utilisant l'algorithme de Brun, de donner un modèle symbolique pour le flot des chambres de Weil.