Paul E. Schupp

Paul E. Schupp
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 84 ans)
LondresVoir et modifier les données sur Wikidata
Nationalité
Formation
Activité
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Distinctions

modifier - modifier le code - modifier WikidataDocumentation du modèle

Paul Eugene Schupp, né le à Cleveland (Ohio) et mort le à Londres[1], est professeur émérite en mathématiques à l'université de l'Illinois à Urbana-Champaign. Il est connu par ses contributions à la théorie géométrique des groupes, la théorie de la complexité et la théorie de la calculabilité[2].

Biographie scientifique

[modifier | modifier le code]

Paul Schupp obtient un B. Sc. à la Case Western Reserve University en 1959. En 1959, il entreprend des études en mathématiques à l'université du Michigan et il obtient un Ph.D. à l'université du Michigan en 1966 sous la direction de Roger Lyndon[3] (titre de la thèse : « On Dehn's Algorithm and the Conjugacy Problem ».

Paul Schupp est ensuite visiting professor à l'université du Wisconsin à Madison durant l'année académique 1966–1967 academic year. Il est invité par William Boone à l'université de l'Illinois à Urbana-Champaign pendant l'année académique 1967–1968 dans le cadre de l’année spéciale en théorie combinatoire des groupes. À la fin de cette année, il devient professeur assistant à cette université, puis professeur associé en 1971 et professeur titulaire en 1975, toujours dans la même université. Il a lui-même supervisé 14 étudiants en Ph. D., tous à l'université de l'Illinois. Il est professeur émérite depuis 2008[2].

Paul Schupp a été professeur ou chercheur invité dans de nombreuses universités, notamment au Courant Institute (1969-1970), Université de Singapour (janvier - ), University of London (avril - ), URSS Académie des sciences de Russie (septembre - ), Université de Bordeaux (1984 et 1996), Université Paris VII (de 1984 à 1992), Université de Marne-la-Vallée ( et )[2].

Travaux

[modifier | modifier le code]

Paul Schupp est coauteur, avec Roger Lyndon du livre « Combinatorial Group Theory » qui donne un traitement exhaustif de la théorie combinatoire des groupes depuis se débutes en 1910 par Max Dehn et jusque dans les années 1970; il est une référence standard pour la théorie de la petite simplification (en)[4],[2]. Ses travaux ont eu un impact substantiel sur le sujet et sur la transformation de la théorie combinatoire des groupes en une théorie géométrique des groupes, à la fin des années 1980 et au début des années 1990[2].

Au début des années 1980, Paul Schupp travaille sur des problèmes qui explorent les connexions entre la théorie des groupes, l'informatique théorique et notamment la théorie des langages formels et la théorie de la complexité. Avec David E. Muller il démontre qu’un groupe finiment engendré G a un problème du mot[5] qui est un langage algébrique si et seulement si G est un groupe virtuellement libre[6],[7], résultat qui est connu sous le nom de théorème de Muller-Schupp, et qui fait usage, dans la démonstration originale, de la théorie des bouts[8]. Schupp a aussi travaillé, avec David E. Muller notamment, sur les automates alternants.

En théorie de la complexité, Schupp est à l'origine, avec Kapovich, Miasnikov et Shpilrain[9],[10] de la notion de complexité générique des algorithmes ; la complexité générique est une façon de mesurer la complexité d'un problème algorithmique en négligeant un petit ensemble d'entrées non représentatives et en considérant la complexité dans le pire des cas sur les entrées restantes. La concept de « petit ensemble » est définie en termes de densité asymptotique.

Publications (sélection)

[modifier | modifier le code]
  • (en) Roger C. Lyndon et Paul E. Schupp, Combinatorial Group Theory, Springer-Verlag, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete » (no 89), , xiv+339 (ISBN 3-540-07642-5)
  • (en) Roger C. Lyndon et Paul E. Schupp, Combinatorial Group Theory, Springer-Verlag, coll. « Classics in Mathematics », , xiv+339 (ISBN 3-540-41158-5, lire en ligne) — Réimpression de l'édition de 1977
  • David E. Muller, et Paul E. Schupp, « Groups, the theory of ends, and context-free languages », Journal of Computer and System Sciences, vol. 26, no 3,‎ , p. 295-310 (lire en ligne).
  • Ilya Kapovich, Alexei G. Miasnikov, Paul Schupp et Vladimir Shpilrain, « Generic-case complexity, decision problems in group theory, and random walks », J. Algebra, vol. 264, no 2,‎ , p. 665-694 (MR 2005m:20080, arXiv math/0203239).
  • Ilya Kapovich, Alexei G. Miasnikov, Paul Schupp et Vladimir Shpilrain, « Average-case complexity and decision problems in group theory », Adv. Math, vol. 190, no 2,‎ , p. 343–359 (MR 2005i:20053, arXiv math/0206273).

Prix et distinction

[modifier | modifier le code]

En 1977, Schupp received a Guggenheim Fellowship. En 2012, il a été nommé inaugural fellow de l'American Mathematical Society.

Notes et références

[modifier | modifier le code]
  1. ↑ (en) February 11 et 2022, « Paul Schupp: Obituary and Memorial Service | Department of Mathematics | Illinois », sur math.illinois.edu (consulté le )
  2. ↑ a b c d et e Kapovich 2010.
  3. ↑ (en) « Paul Schupp », sur le site du Mathematics Genealogy Project
  4. ↑ Rémi Coulon, « Théorie de la petite simplification : une approche géométrique », Séminaire Bourbaki,‎ 67ème année, 2014-2015, article no 1089 (31 pages) (lire en ligne).
  5. ↑ Le problème du mot dans une présentation est l'ensemble des mots qui sont équivalents à l'élément neutre.
  6. ↑ Muller et Schupp 1983.
  7. ↑ Un groupe est virtuellement libre s'il possède un sous-groupe libre d'index fini.
  8. ↑ Jean Berstel et Luc Boasson, « Context-Free Languages », dans G. Rozenberg, A. Salomaa (éditeurs), Handbook of Theoretical Computer Science, vol. B : Formal Models and Sematics, Elsevier et MIT Press, (ISBN 0-444-88074-7), p. 59-102 — Section 4.- Context-free groups.
  9. ↑ Kapovich et al. 2003.
  10. ↑ Kapovich et al. 2005.

Bibliographie

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]