Séminaires I2M

En 1952, Turing propose l’idée contre-intuitive que l’intéraction de deux espèces chimiques ayant des coefficients de difusion différents peut déstabiliser l'équilibre constant du système. Ce [...]

Un sous-shift sur un groupe peut être vu comme l’espace des coloriages d’un graphe de Cayley de ce groupe, où l’on "colorie" les éléments du [...]

L'a-T-menabilité à la Gromov est une propriété analytique sur les groupes introduite par Haagerup (et ainsi souvent nommée propriété de Haagerup) qui la démontre pour [...]

Dans cet exposé, je vais présenter une approche pour travailler avec les types d'identité supérieurs en théorie des types homotopique, s'appuyant sur un langage intermédiaire [...]

Thurston a introduit une nouvelle métrique finslerienne sur l’espace de Teichmüller induite par les applications d’étirement: ce qu’on appelle la métrique asymétrique de Thurston. Il [...]

Résumé : La percolation de Bernoulli de paramètre p sur Z^d est définie en effaçant chaque arête du réseau Z^d avec probabilité 1-p, indépendamment des [...]

I explain how to carry over some definitions and results from classical Deligne--Luzstig theory (for reductive groups over finite fields) to a setup over p-adic [...]

Les jeux positionnels sont une famille de jeux à deux joueurs incluant le tic-tac-toe, Hex ou encore Sim. Le plateau de jeu est un hypergraphe, i.e. la donnée d'un ensemble de sommets et un ensemble d'(hyper)arêtes qui sont des sous-ensembles de sommets. Tour à tour, Alice et Bob sélectionnent des sommets un par un, avec des objectifs dépendant de la convention choisie. Cet exposé traite de résultats récents sur la convention "Maker-Breaker" : le but d'Alice ("Maker") est de posséder tous les sommets d'une quelconque arête, tandis que le but de Bob ("Breaker") est de l'en empêcher. Comme il n'y a pas de partie nulle possible, seules deux issues sont possibles sur un hypergraphe donné : soit Maker a une stratégie gagnante, soit Breaker a une stratégie gagnante. Déterminer l'issue est un problème algorithmique difficile, qui est PSPACE-complet [Schaefer, 1978] même restreint aux hypergraphes dont toutes les arêtes sont de taille 6 [Rahman & Watson, 2021]. Nous étudions ce problème dans les hypergraphes dont toutes les arêtes sont de taille au plus 3 : nous y obtenons une caractérisation structurelle de l'issue du jeu, dont nous déduisons un algorithme de résolution en temps polynomial. Nous présentons également quelques résultats algorithmiques concernant une nouvelle version de ce jeu, où on ajoute sur l'ensemble des sommets un ordre partiel limitant les coups légaux, à la manière du Puissance-4.

Let p be an odd prime number. In this talk, I explain a construction of a p-adic analytic family of Hilbert eigenforms passing through the base change [...]

Our goal is to generalize a little-known but powerful "bridge theorem" of Engelfriet and Maneth, which can be used for instance to refute in a [...]

Résumé: Dans cet exposé nous verrons divers aspects de la propagation des ondes en milieux aléatoires et mettrons en évidence le rôle joué par les [...]

Nous considérons des surfaces de $\mathbb Z^d\to \mathbb R$ et un environnement aléatoire $\eta$ dans $\mathbb Z^d\times \mathbb R$. Nous nous intéressons aux surfaces $\varphi$ [...]

Gan Gross et Prasad ont énoncé en 2012 une série de conjectures reliant certaines périodes de formes automorphes cuspidales sur des groupes classiques à des [...]

In this talk we consider the following eigenvalue problem, arising from time-harmonic Maxwell’s equations in the context of perfectly conducting cavities: ε^{-1} curl μ^{-1} curl [...]

Dans cet exposé, nous découvrirons des variantes de pseudo-métriques en utilisant des distances sur l'ensemble des mots finis, en élargissant les concepts des pseudo-métriques de [...]

Dans une correspondance scientifique qu'il a entretenue dans les années 980 avec Abū Isḥaq al-Ṣābi’, ancien haut fonctionnaire à Bagdad, Abū Sahl al-Qūhī, géomètre de [...]

Un ensemble de pays forme une union et chaque année un président doit être choisi de telle sorte qu'au cours des années le nombre de [...]

TBA   Le séminaire des doctorant⋅es de l'I2M et du CPT à Luminy regroupe chaque semaine les doctorant⋅es du site autour d'un exposé plus ou [...]

The method of realizability was first developed by Kleene and is seen as a way to extract computational content from mathematical proofs via the Curry-Howard [...]