Logspace Computations in Graph Groups and Coxeter Groups
Computing normal forms in groups (or monoids) is in general harder than solving the word problem (equality testing). However, normal form computation has a much wider range of applications. It is therefore interesting to investigate the complexity of computing normal forms for important classes of groups. We show that shortlex normal forms in graph groups and in right-angled Coxeter groups can be computed in logspace. Graph groups are also known as free partially commutative groups or as right-angled Artin groups in the literature. (Artin groups can be realized as subgroups of Coxeter groups.) Graph groups arise in many areas and have a close connection to concurrency theory. The connection is used here. Indeed, for our result we use a representation of group elements by Mazurkiewicz traces. These are directed acyclic node-labelled graphs (i.e. pomsets). They form an algebraic model to describe runs of concurrent systems. Concurrent systems which are deterministic and co-deterministic can be studied via inverse monoids. As an application of our results we show that the word problem for free partially commutative inverse monoids is in logspace. This result generalizes a result of Ondrusch and the third author on free inverse monoids.
All Coxeter groups are linear, so the word problem can be solved in logspace, but it is open (in the non-right-angled case) whether shortlex normal forms can be computed in logspace, or, less demanding, whether they can be computed efficiently in parallel. We show that for all Coxeter groups the set of letters occurring in the shortlex normal form of an element can be computed in logspace.
KeywordsWord Problem Inverse Semigroup Coxeter Group Hyperbolic Group Hasse Diagram
Unable to display preview. Download preview PDF.
- 3.Björner, A., Brenti, F.: Combinatorics of Coxeter groups. Springer (2005)Google Scholar
- 4.Book, R., Otto, F.: String-Rewriting Systems. Springer (1993)Google Scholar
- 6.Cai, J.-Y.: Parallel computation over hyperbolic groups. In: Proceedings STOC 1992, pp. 106–115. ACM Press (1992)Google Scholar
- 7.Casselman, W.A.: Automata to perform basic calculations in Coxeter groups. In: C.M.S. Conference Proceedings, vol. 16 (1994)Google Scholar
- 8.Crisp, J., Godelle, E., Wiest, B.: The conjugacy problem in right-angled Artin groups and their subgroups. J. Topol. 2(3) (2009)Google Scholar
- 10.Davis, M.W.: The geometry and topology of Coxeter groups. London Mathematical Society Monographs Series, vol. 32. Princeton University Press (2008)Google Scholar
- 16.Elder, M., Elston, G., Ostheimer, G.: On groups that have normal forms computable in logspace. AMS Sectional Meeting, Las Vegas (2011) (paper in preparation)Google Scholar
- 21.Lawson, M.V.: Inverse Semigroups: The Theory of Partial Symmetries. World Scientific (1999)Google Scholar
- 25.Miller III, C.F.: Decision problems for groups – survey and reflections. In: Algorithms and Classification in Combinatorial Group Theory, pp. 1–60. Springer (1992)Google Scholar
- 28.Papadimitriou, C.: Computation Complexity. Addison-Wesley (1994)Google Scholar
- 30.Simon, H.-U.: Word problems for groups and contextfree recognition. In: Proceedings FCT 1979, pp. 417–422. Akademie-Verlag (1979)Google Scholar
- 31.Veloso da Costa, A.A.: Γ-Produtos de Monóides e Semigrupos. PhD thesis, Universidade do Porto, Faculdade de Ciências (2003)Google Scholar
- 32.Waack, S.: Tape Complexity of Word Problems. In: FCT 1981. LNCS, vol. 117, pp. 467–471. Springer, Heidelberg (1981)Google Scholar