Paul E. Schupp

Paul Eugene Schupp, né le , 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é[1].

Paul Schupp
Paul Schupp (juin 2017)
Naissance
Cleveland (Ohio)
Nationalité américain
Domaines Mathématiques, informatique théorique
Institutions Université de l'Illinois à Urbana-Champaign
Formation Université du Michigan
Directeur de thèse Roger Lyndon
Renommé pour théorème de Muller et Schupp
Distinctions Bourse Guggenheim , Inaugural fellow de l'American Mathematical Society

Biographie scientifique

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[2] (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[1].

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 )[1].

Travaux

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)[3],[1]. 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[1].

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[4] qui est un langage algébrique si et seulement si G est un groupe virtuellement libre[5],[6], 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[7]. 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[8],[9] 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)
  • (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 (Math Reviews 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 (Math Reviews 2005i:20053, arXiv math/0206273).

Prix et distinction

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
  1. Kapovich 2010.
  2. (en) « Paul Schupp », sur le site du Mathematics Genealogy Project
  3. 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).
  4. Le problème du mot dans une présentation est l'ensemble des mots qui sont équivalents à l'élément neutre.
  5. Muller et Schupp 1983.
  6. Un groupe est virtuellement libre s'il possède un sous-groupe libre d'index fini.
  7. 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.
  8. Kapovich et al. 2003.
  9. Kapovich et al. 2005.

Bibliographie

Liens externes
Notices d'autorité :
  • Portail des mathématiques
  • Portail de l’informatique
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.