Designed and built with care, filled with creative elements

logo ens psl logo cnrs
logo ens psl logo cnrs

Moodle

Réservez une salle

Liens utiles

Intranet

ADMISSION Gestion du site
Top

Recherche et navigation de vues Évènements

Navigation de vues Évènement

Aujourd'hui

Determining finite simple images of finitely presented groups

ENS Salle W

I will discuss joint work with Martin Bridson and Martin Liebeck which addresses the question: for which collections of finite simple groups does there exist an algorithm that determines the images of an arbitrary finitely presented group that lie in the collection? We prove both positive and negative results. For a collection of finite simple groups that contains infinitely many alternating groups, or contains classical groups of unbounded dimensions, we prove that there is no such algorithm. On the other hand, for a collection of simple groups of fixed Lie […]

Cell Decomposition for P-minimal structures: a story

ENS Salle W

P-minimality is a concept that was developed by Haskell and Macpherson as a p-adic equivalent for o-minimality. For o-minimality, the cell decomposition theorem is probably one of the most powerful tools, so it is quite a natural question to ask for a p-adic equivalent of this.In this talk I would like to give an overview of the development of cell decomposition in the p-adic context, with an emphasis on how questions regarding the existence of definable skolem functions have complicated things. The idea of p-adic cell decomposition was first developed […]

Intelligence artificielle et raisonnement inductif : de la théorie de l’information aux réseaux de neurones artificiels

room CONF IV (physic dpt)

Les problèmes de raisonnement inductif ou d'extrapolation comme 'deviner la suite d'une série de nombres', ou plus généralement, 'comprendre la structure cachée dans des observations', sont fondamentaux si l'on veut un jour construire une intelligence artificielle. On a parfois l'impression que ces problèmes ne sont pas mathématiquement bien définis. Or il existe une théorie mathématique rigoureuse du raisonnement inductif et de l'extrapolation, basée sur la théorie de l'information. Cette théorie est très élégante, mais difficile à appliquer. En pratique aujourd'hui, ce sont les réseaux de neurones qui donnent les meilleurs […]

Equationalité des paires de corps

Sophie Germain salle 1016

Une théorie est équationelle si tout ensemble définissable est combinaison booléenne d'instances d'équations, c'est-à-dire des formules telles que la famille des intersections finies d'instances ont la propriété de chaîne descendante. L'équationalité, introduite par Srour et ensuite étudiée par Pillay et Srour, entraîne la stabilité. Or, le seul exemple algébrique naturel d'une théorie stable non-équationelle est la théorie du groupe non-abélien libre, comme récemment montré par Sela. Cependant, ce n'est pas évident de montrer qu'une théorie stable donnée est équationelle. Cet exposé présentera les idées d'un travail en commun avec Martin […]

Homogénéisation de l’équation de la chaleur

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

L'évolution de la température dans un matériau est régie par l'équation de la chaleur. On s'intéressera au cas où le matériau est inhomogène: c'est par exemple un matériau composite, traversé par des fibres placées aléatoirement. Dans la limite des grandes échelles, ces hétérogénéités se moyennisent, et en première approximation, tout se passe comme si la température évoluait dans un milieu homogène équivalent. Le premier but de l'exposé sera d'expliquer l'émergence de cette loi des grands nombres un peu particulière. On verra ensuite les progrès récents permettant de préciser ce phénomène, via des estimées d'erreur et une forme de […]

Brauer groups and the Brauer-Manin sets of Kummer varieties.

ENS Salle W

This is a joint work with Yuri Zarhin. We study Kummer varieties attached to 2-coverings of abelian varieties of arbitrary dimension. Over a number field we show that the subgroup of odd order elements of the Brauer group does not obstruct the Hasse principle. Sufficient conditions for the triviality of the Brauer group can be given, which allow us to give an example of a Kummer K3 surface of geometric Picard rank 17 over the rationals with trivial Brauer group. We establish the non-emptyness of the Brauer-Manin set of everywhere […]

Actions de p-groupes sur les variétés projectives.

ENS Salle W

Je discuterai des contraintes que la géométrie d'une variété projective fait peser sur les possibles actions de p-groupes sur cette dernière. J'expliquerai en particulier comment le calcul d'invariants numériques, tels que les nombres caractéristiques, peut permettre de prévoir l'existence de points fixes.

Expansions minimales de (Z,+,0)

Sophie Germain salle 1016

Cet exposé essayera de donner une vision d'ensemble des différentes choses connu à ce jour sur les expansions du groupes des entiers (Z,+,0) avec un accent sur les expansions dp-minimales. En particulier les deux structures (Z,+,0,

Signaux sur graphe, du traitement à l’apprentissage

IHP Salle 314

Motivées par la profusion de signaux intéressants qui sont attachés un graphe (un réseau de transport, un réseau social, un maillage 3D) ou dont la structure interne est bien captée par un graphe entre ses parties (un image, un son), des études visant à étendre aux graphes les outils classiques de la théorie et du traitement des signaux ont vu le jour dans un passé récent. Nous rappellerons les bases de telles extensions, en particulier au moyen de l'analyse spectrale de graphe, pour nous concentrer ensuite sur plusieurs problèmes et […]

Application des ondelettes à divergence nulle pour le transport optimal

IHP Salle 314

Dans de nombreuses applications, la solution du problème est un champ de vecteur qui doit vérifier une condition de divergence nulle : c'est le cas des champs de vitesse incompressibles solutions des équations de Navier-Stokes, ou du champ magnétique pour les solutions de Maxwell. Plus récemment, les champs à divergence nulle ont trouvé d'autres applications, comme la compression de champs de vecteur en infographie, ou encore la résolution du transport optimal dans sa formulation dynamique. Dans cet exposé, nous intéressons à la décomposition des champs à divergence nulle vérifiant des […]

Régularité et comportement en temps grand des solutions spatialement homogènes de l’équation de Landau de la physique des plasmas

Salle W de l'ENS

Dans une première partie, on présente les opérateurs de Boltzmann et de Landau issus de la théorie cinétique des gaz et de la théorie des plasmas collisionnels. On explique la structure entropique de ces opérateurs (théorème H de Boltzmann), et on introduit les conjectures de Cercignani, et leur preuve dans certains cas particuliers (travaux de Toscani-Villani, LD-Villani et Villani). Ces conjectures peuvent être vues comme une version quantitative du théorème H de Boltzmann, et permettent de donner des estimations explicites de convergence vers l'équilibre thermodynamique pour un gaz homogène. La […]