Asymptotic invariants, complexity of groups and related problems

We survey results about computational complexity of the word problem in groups, Dehn functions of groups and related problems.

[1]  Markus Lohrey,et al.  Rational Subsets in HNN-Extensions and Amalgamated Products , 2008, Int. J. Algebra Comput..

[2]  Panos Papasoglu.  An algorithm detecting hyperbolicity , 1994, Geometric and Computational Perspectives on Infinite Groups.

[3]  Frank B. Cannonito,et al.  Word problems : decision problems and the Burnside problem in group theory , 1974 .

[4]  Eliyahu Rips,et al.  Cyclic Splittings of Finitely Presented Groups and the Canonical JSJ-Decomposition , 1997 .

[5]  Sergei Ivanovich Adian,et al.  The Burnside problem and identities in groups , 1979 .

[6]  Polynomial maps over finite fields and residual finiteness of mapping tori of group endomorphisms , 2003, math/0309121.

[7]  Cornelia Drutu,et al.  Tree-graded spaces and asymptotic cones of groups , 2004 .

[8]  A. Yu. Ol'shanskii,et al.  On Residualing Homomorphisms and G-Subgroups of hyperbolic Groups , 1993, International journal of algebra and computation.

[9]  V. Guba.  Polynomial upper bounds for the Dehn function of R. Thompson's group F , 1998 .

[10]  A. Yu. Ol'shanskii.  Hyperbolicity of Groups with Subquadratic isoperimetric inequality , 1991, Int. J. Algebra Comput..

[11]  Gilbert Baumslag,et al.  A non-cyclic one-relator group all of whose finite quotients are cyclic , 1969, Journal of the Australian Mathematical Society.

[12]  SERGEI V. IVANOV,et al.  The Free Burnside Groups of Sufficiently Large exponents , 1994, Int. J. Algebra Comput..

[13]  Ruth Charney,et al.  An introduction to right-angled Artin groups , 2006, math/0610668.

[14]  Martin J. Dunwoody.  Geometric Group Theory: An Inaccessible Group , 1993 .

[15]  Yann Ollivier,et al.  A January 2005 invitation to random groups , 2005, Ensaios Matemáticos.

[16]  S. Wenger.  Nilpotent groups without exactly polynomial Dehn function , 2010, 1004.2907.

[17]  V. Roman’kov.  Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings , 1977 .

[18]  Volker Diekert,et al.  The existential theory of equations with rational constraints in free groups is PSPACE-complete , 2005, Inf. Comput..

[19]  Oleg Bogopolski,et al.  The Conjugacy Problem is Solvable in Free‐By‐Cyclic Groups , 2006 .

[20]  A.Yu.Olshanskii,et al.  Embeddings of relatively free groups into finitely presented groups , 2000, math/0005112.

[21]  Martin Bridson.  Fractional isoperimetric inequalities and subgroup distortion , 1996 .

[22]  Ilya Kapovich,et al.  Generic properties of Whitehead’s algorithm and isomorphism rigidity of random one-relator groups , 2003 .

[23]  Vladimir Yu. Sazonov,et al.  A Logical Approach to the Problem "P=NP?" , 1980, MFCS.

[24]  The Gallery Length Filling Function and a Geometric Inequality for Filling Length , 2006 .

[25]  Joel M. Cohen.  Cogrowth and amenability of discrete groups , 1982 .

[26]  A topological Tits alternative , 2004, math/0403043.

[27]  A. Olshanskii.  The SQ-universality of hyperbolic groups , 1995 .

[28]  Mark Sapir,et al.  ALMOST ALL ONE-RELATOR GROUPS WITH AT LEAST THREE GENERATORS ARE RESIDUALLY FINITE , 2008 .

[29]  L. Saloff-Coste.  Analyse sur les groupes de Lie à croissance polynômiale , 1990 .

[30]  T. Delzant.  Sous-groupes distingués et quotients des groupes hyperboliques , 1996 .

[31]  A. Yu. Ol'shanskii.  Almost Every Group is hyperbolic , 1992, Int. J. Algebra Comput..

[32]  The Dehn function and a regular set of normal forms for R. Thompson's group F , 1997 .

[33]  M. Gromov.  Filling Riemannian manifolds , 1983 .

[34]  Friedrich Otto,et al.  Pseudo-Natural Algorithms for the Word Problem for Finitely Presented Monoids and Groups , 1985, J. Symb. Comput..

[35]  Terence Tao,et al.  A Finitary Version of Gromov’s Polynomial Growth Theorem , 2009, 0910.4148.

[36]  Mladen Bestvina,et al.  Addendum and correction to: ``A combination theorem for negatively curved groups'' , 1996 .

[37]  Vladimir Shpilrain.  Search and witness problems in group theory , 2010, Groups Complex. Cryptol..

[38]  Vincent Guirardel,et al.  The Isomorphism Problem for All Hyperbolic Groups , 2010, 1002.2590.

[39]  Yuri Matiyasevich,et al.  Hilbert’s tenth problem , 2019, 100 Years of Math Milestones.

[40]  Charles F. Miller,et al.  Isoperimetric inequalities and the homology of groups , 1993 .

[41]  G. A. Noskov.  Conjugacy problem in Metabelian groups , 1982 .

[42]  Alexei G. Myasnikov,et al.  The Solvability Problem for Quadratic Equations over Free Groups is NP-Complete , 2008, Theory of Computing Systems.

[43]  Asymptotic Cones of Finitely Generated Groups , 2000 .

[44]  Ralph McKenzie,et al.  An Elementary Construction of Unsolvable Word Problems in Group Theory , 1973 .

[45]  F. Grunewald.  Solution of the Conjugacy Problem in Certain Arithmetic Groups , 1980 .

[46]  Alexander Lubotzky,et al.  Discrete groups, expanding graphs and invariant measures , 1994, Progress in mathematics.

[47]  M. Gromov.  Groups of polynomial growth and expanding maps , 1981 .

[48]  A. Martino,et al.  Free-by-cyclic groups have solvable conjugacy problem , 2004 .

[49]  Z. Sela,et al.  Canonical representatives and equations in hyperbolic groups , 1995 .

[50]  Volker Diekert,et al.  Quadratic Word Equations , 1999, Jewels are Forever.

[51]  G. Perelman.  Ricci flow with surgery on three-manifolds , 2003, math/0303109.

[52]  Ian Chiswell.  A course in formal languages, automata and groups / Ian Chiswell , 2008 .

[53]  J. Nikiel.  Topologies on Pseudo Trees and Applications , 1989 .

[54]  S. Banach,et al.  Sur la décomposition des ensembles de points en parties respectivement congruentes , 1924 .

[55]  G. Perelman.  The entropy formula for the Ricci flow and its geometric applications , 2002, math/0211159.

[56]  W. Thurston.  Conway's tiling groups , 1990 .

[57]  S. M. Gersten,et al.  The Double exponential Theorem for isodiametric and isoperimetric Functions , 1991, Int. J. Algebra Comput..

[58]  A. Lubotzky,et al.  Cyclic subgroups of exponential growth and metrics on discrete groups , 1993 .

[59]  Goulnara Arzhantseva,et al.  Generic properties of finitely presented groups and howson's theorem , 1998 .

[60]  Ronald Fagin,et al.  Finite-Model Theory - A Personal Perspective , 1990, Theor. Comput. Sci..

[61]  John Stallings,et al.  A FINITELY PRESENTED GROUP WHOSE 3-DIMENSIONAL INTEGRAL HOMOLOGY IS NOT FINITELY GENERArED.* , 1963 .

[62]  C. Champetier,et al.  Statistical Properties of Groups with Finite Presentation , 1995 .

[63]  Mark V. Sapir,et al.  Subgroups of Finitely Presented Groups with Solvable Conjugacy Problem , 2005, Int. J. Algebra Comput..

[64]  Marc Burger,et al.  Lattices in product of trees , 2000 .

[65]  Alex Wilkie,et al.  Gromov's theorem on groups of polynomial growth and elementary logic , 1984 .

[66]  Separable and tree-like asymptotic cones of groups , 2010, 1010.1199.

[67]  Charles F. Miller.  On Group-Theoretic Decision Problems and Their Classification. , 1971 .

[68]  Z. Sela,et al.  The isomorphism problem for hyperbolic groups I , 1995 .

[69]  The Dehn function of SL(n;Z) , 2009, 0912.2697.

[70]  P. Pansu,et al.  Métriques de Carnot-Carthéodory et quasiisométries des espaces symétriques de rang un , 1989 .

[71]  K. V. Mikhajlovskii,et al.  Geometry and Cohomology in Group Theory: Some Constructions Relating to Hyperbolic Groups , 1998 .

[72]  M. V. Sapir,et al.  Non-amenable finitely presented torsion-by-cyclic groups , 2001 .

[73]  Elliott Mendelson.  Review: A. I. Mal'cev, Algorithms and Recursive Functions , 1969 .

[74]  Lacunary hyperbolic groups , 2007, math/0701365.

[75]  S. Ivanov,et al.  Hyperbolic groups and their quotients of bounded exponents , 1996 .

[76]  M. Bridson,et al.  Isoperimetric inequalities for the fundamental groups of torus bundles over the circle , 1994 .

[77]  Noel Brady,et al.  There is only one gap in the isoperimetric spectrum , 2000 .

[78]  Ursula Hamenstaedt,et al.  Geometry of the mapping class group II: A biautomatic structure , 2009, 0912.0137.

[79]  Snowflake groups, Perron-Frobenius eigenvalues, and isoperimetric spectra , 2006, math/0608155.

[80]  J. C. C. McKinsey,et al.  The decision problem for some classes of sentences without quantifiers , 1943, Journal of Symbolic Logic.

[81]  Mark V. Sapir,et al.  A Finitely Presented Group with Two Non-Homeomorphic asymptotic Cones , 2007, Int. J. Algebra Comput..

[82]  Jan Krajícek,et al.  Bounded arithmetic, propositional logic, and complexity theory , 1995, Encyclopedia of mathematics and its applications.

[83]  A. Razborov.  ON SYSTEMS OF EQUATIONS IN A FREE GROUP , 1985 .

[84]  Moshe Y. Vardi.  The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.

[85]  Gromov hyperbolic spaces and the sharp isoperimetric constant , 2006, math/0609310.

[86]  Derek F. Holt,et al.  Word-Hyperbolic Groups Have Real-Time Word Problem , 2000, International journal of algebra and computation.

[87]  Alexander Yu. Olshanskii.  Groups with Quadratic-Non-Quadratic Dehn Functions , 2007, Int. J. Algebra Comput..

[88]  R. Howlett,et al.  A finiteness property an an automatic structure for Coxeter groups , 1993 .

[89]  Neil D. Jones,et al.  Turing machines and the spectra of first-order formulas with equality , 1972, STOC.

[90]  Goulnara Arzhantseva,et al.  A property of subgroups of infinite index in a free group , 2000 .

[91]  H. Whitney.  Geometric Integration Theory , 1957 .

[92]  A. Yu. Olshanskii,et al.  The class of groups all of whose subgroups with lesser number of generators are free is generic , 1996 .

[93]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[94]  Rostislav I. Grigorchuk,et al.  A Description of solutions of quadratic equations in hyperbolic Groups , 1992, Int. J. Algebra Comput..

[95]  Rita Gitik.  On the Combination Theorem for negatively Curved Groups , 1996, Int. J. Algebra Comput..

[96]  T. Riley.  Higher connectedness of asymptotic cones , 2003 .

[97]  Vladimir Yu. Sazonov.  Polynomial Computability and Recursivity in Finite Domains , 1980, J. Inf. Process. Cybern..

[98]  A. Myasnikov,et al.  Group-based Cryptography , 2008 .

[99]  Mapping tori of free group automorphisms are coherent , 1999, math/9905209.

[100]  E. Rips,et al.  Isoperimetric functions of groups and computational complexity of the word problem , 1998 .

[101]  M. Gromov,et al.  Random walk in random groups , 2003 .

[102]  W. Wistar Comfort,et al.  The Theory of Ultrafilters , 1974 .

[103]  Ehud Hrushovski,et al.  Stable group theory and approximate subgroups , 2009, 0909.2190.

[104]  Luigi Ambrosio,et al.  Rectifiable sets in metric and Banach spaces , 2000 .

[105]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[106]  Victor Guba.  The Dehn function of Richard Thompson’s group F is quadratic , 2002 .

[107]  Friedrich Otto,et al.  Separating the Intrinsic Complexity and the Derivational complexity of the Word Problem for Finitely Presented Groups , 1993, Math. Log. Q..

[108]  Charles C. Edmunds,et al.  Quadratic equations over free groups and free products , 1981 .

[109]  M. Bridson,et al.  Free and fragmenting filling length , 2005 .

[110]  Hyman Bass,et al.  The Degree of Polynomial Growth of Finitely Generated Nilpotent Groups , 1972 .

[111]  E. Leuzinger.  On polyhedral retracts and compactifications of locally symmetric spaces , 2004 .

[112]  Jean-Camille Birget,et al.  Isoperimetric and isodiametric functions of groups , 1998 .

[113]  S. M. Gersten,et al.  Geometric Group Theory: Isoperimetric and Isodiametric Functions of Finite Presentations , 1993 .

[114]  HEEGAARD SPLITTINGS AND SPLITTING HOMOMORPHISMS , 1969 .

[115]  Mark Sapir,et al.  Residual properties of 1-relator groups , 2010, 1001.2829.

[116]  Neil Immerman,et al.  Relational Queries Computable in Polynomial Time , 1986, Inf. Control..

[117]  David B. A. Epstein,et al.  Word processing in groups , 1992 .

[118]  R. Tessera,et al.  METABELIAN GROUPS WITH QUADRATIC DEHN FUNCTION AND BAUMSLAG–SOLITAR GROUPS , 2010, 1003.0148.

[119]  G. Higman,et al.  Finitely presented infinite simple groups , 1974 .

[120]  M. J. Dunwoody.  The accessibility of finitely presented groups , 1985 .

[121]  Polynomial Maps over p -Adics and Residual Properties of Mapping Tori of Group Endomorphisms , 2008, 0810.0443.

[122]  Michael Handel,et al.  The Tits alternative for Out (F~n) I: Dynamics of exponentially-growing automorphisms , 1997 .

[123]  S. I. Adyan,et al.  RANDOM WALKS ON FREE PERIODIC GROUPS , 1983 .

[124]  C. Pittet,et al.  Isoperimetric Inequalities for Homogeneous Nilpotent Groups , 1995 .

[125]  M. Gromov.  Metric Structures for Riemannian and Non-Riemannian Spaces , 1999 .

[126]  M. Bridson,et al.  Metric Spaces of Non-Positive Curvature , 1999 .

[127]  Donald J. Collins,et al.  The Conjugacy Problem and Subgroups of Finite Index , 1977 .

[128]  The geometry of higman‐neumann‐neumann extensions , 1973 .

[129]  Klaus U. Schulz,et al.  Makanin's Algorithm for Word Equations - Two Improvements and a Generalization , 1990, IWWERT.

[130]  D. M. Clark.  Theory of Groups , 2012 .

[131]  François Dahmani.  Existential questions in (relatively) hyperbolic groups , 2009 .

[132]  T. Delzant,et al.  Courbure mésoscopique et théorie de la toute petite simplification , 2008 .

[133]  Francesco Matucci,et al.  Conjugacy and dynamics in Thompson’s groups , 2007 .

[134]  Lee Mosher.  Mapping Class Groups are Automatic , 1994 .

[135]  Kenneth S. Brown,et al.  Trees, valuations, and the Bieri-Neumann-Strebel invariant , 1987 .

[136]  Charles F. Miller.  Decision Problems for Groups — Survey and Reflections , 1992 .

[137]  A. Olshanskii.  Space functions of groups , 2010, 1009.3580.

[138]  G. Makanin.  DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP , 1985 .

[139]  Neil D. Jones,et al.  Turing machines and the spectra of first-order formulas , 1974, Journal of Symbolic Logic.

[140]  S. Ivanov.  Recognizing the 3-sphere , 2001 .

[141]  Cornelia Drutu.  Quasi-Isometry Invariants and Asymptotic Cones , 2002, Int. J. Algebra Comput..

[142]  R. Soare.  Recursively enumerable sets and degrees , 1987 .

[143]  P. Papasoglu.  On the asymptotic cone of groups satisfying a quadratic isoperimetric inequality , 1996 .

[144]  Graham A. Niblo,et al.  Asymptotic invariants of infinite groups , 1993 .

[145]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[146]  An isoperimetric inequality for the Heisenberg groups , 1998 .

[147]  Mars K. Valiev,et al.  On Polynomial Reducibility of Word Problem Under Embedding of Recursively Presented Groups in Finitely Presented Groups , 1975, MFCS.

[148]  S. Hermiller,et al.  Isoperimetric Inequalities for Soluble Groups , 2001 .

[149]  Mark V. Sapir,et al.  Algorithmic Problems in Varieties , 1995, Int. J. Algebra Comput..

[150]  Heribert Vollmer,et al.  Introduction to Circuit Complexity: A Uniform Approach , 2010 .

[152]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[153]  A. Olshanskii,et al.  The Conjugacy Problem and Higman Embeddings , 2002, math/0212227.

[154]  David E. Muller,et al.  Groups, the Theory of Ends, and Context-Free Languages , 1983, J. Comput. Syst. Sci..

[155]  A. I︠u︡. Olʹshanskiĭ,et al.  Geometry of defining relations in groups , 1991 .

[156]  M. Burger,et al.  Groups acting on trees: From local to global structure , 2000 .

[157]  J. Nikiel,et al.  Universal Spaces for R-Trees , 1992 .

[158]  P. March,et al.  Smoothness of the Convex Hull of Planar Brownian Motion , 1989 .

[159]  V. Guba.  Polynomial Isoperimetric Inequalities for Richard Thompson’s Groups F, T, and V , 2000 .

[160]  D. Groves,et al.  The isomorphism problem for toral relatively hyperbolic groups , 2005, math/0512605.

[161]  P. Schupp,et al.  On group-theoretic models of randomness and genericity , 2007, 0705.4681.

[162]  Alexei G. Myasnikov,et al.  Power Circuits, exponential Algebra, and Time Complexity , 2010, Int. J. Algebra Comput..

[163]  Mark V. Sapir,et al.  Length and Area Functions on Groups and Quasi-Isometric Higman Embeddings , 2001, Int. J. Algebra Comput..

[164]  Christophe Champetier.  Propriétés génériques des groupes de type fini , 1991 .

[165]  R. Lyndon,et al.  Combinatorial Group Theory , 1977 .

[166]  John Stallings,et al.  HOW NOT TO PROVE THE POINCARÉ CONJECTURE , 1967 .

[167]  S. M. Gersten,et al.  Dehn functions and l1-norms of nite presentations , 1989 .

[168]  Heribert Vollmer,et al.  Introduction to Circuit Complexity , 1999, Texts in Theoretical Computer Science An EATCS Series.

[169]  G. Higman.  Subgroups of finitely presented groups , 1961, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[170]  C. R. J. Clapham,et al.  An Embedding Theorem for Finitely Generated Groups , 1967 .

[171]  M. Sapir,et al.  On Dehn functions of free products of groups , 1999 .

[172]  The quadratic isoperimetric inequality for mapping tori of free group automorphisms I: Positive automorphisms , 2002 .

[174]  J. Milnor.  Growth of finitely generated solvable groups , 1968 .

[175]  M. Gromov.  Carnot-Carathéodory spaces seen from within , 1996 .

[176]  A. Ol'shanskii,et al.  Geometry of Defining Relations in Groups , 1991 .

[177]  Mladen Bestvina,et al.  A combination theorem for negatively curved groups , 1992 .

[178]  Brian H. Bowditch,et al.  A short proof that a subquadratic isoperimetric inequality implies a linear one. , 1995 .

[179]  I G Lysënok,et al.  ON SOME ALGORITHMIC PROPERTIES OF HYPERBOLIC GROUPS , 1990 .

[180]  Groups with non-simply connected asymptotic cones , 2005, math/0501542.

[181]  Francesco Matucci,et al.  Conjugacy in Thompson's Groups , 2007 .

[182]  Daniel E. Cohen.  Isodiametric and isoperimetric inequalities for Group Presentations , 1991, Int. J. Algebra Comput..

[183]  Isoperimetric functions of finitely generated nilpotent groups , 1999 .

[184]  J. Neumann.  Zur allgemeinen Theorie des Masses , 1929 .

[185]  S. M. Gersten,et al.  Isoperimetric inequalities for nilpotent groups , 2002 .

[186]  Olga Kharlampovich,et al.  HYPERBOLIC GROUPS AND FREE CONSTRUCTIONS , 1996, math/9605205.

[187]  A. I. Mal'cev.  Algorithms and Recursive Functions , 1970 .

[189]  Ronald Fagin.  Generalized first-order spectra, and polynomial. time recognizable sets , 1974 .

[190]  L. Ambrosio,et al.  Currents in metric spaces , 2000 .

[191]  Dan Segal,et al.  Some general algorithms. I: Arithmetic groups , 1980 .

[192]  J. Borwein,et al.  On the complexity of familiar functions and numbers , 1988 .

[193]  Filling inequalities for nilpotent groups , 2006, math/0608174.

[194]  Filling in solvable groups and in lattices in semisimple groups , 2001, math/0110107.

[195]  Jean-Camille Birget,et al.  Circuits, the Groups of Richard Thompson, and Conp-completeness , 2006, Int. J. Algebra Comput..

[196]  Jean-Camille Birget.  Functions on Groups and Computational Complexity , 2004, Int. J. Algebra Comput..

[197]  Vincent Guirardel,et al.  Foliations for solving equations in groups: free, virtually free, and hyperbolic groups , 2009, 0901.1830.

[198]  J. Rotman.  An Introduction to the Theory of Groups , 1965 .

[199]  M. Elder,et al.  The Dehn Function of Stallings’ Group , 2007, 0712.3877.

[200]  Iosif Polterovich,et al.  Explicit constructions of universal R-trees and asymptotic geometry of hyperbolic spaces , 1999 .

[201]  Dan Segal,et al.  Some general algorithms. II: Nilpotent groups , 1980 .

[202]  Derek F. Holt,et al.  Solving the Word Problem in Real Time , 2001 .

[203]  Asymptotic cones of finitely presented groups , 2003, math/0306420.