Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Conjugacy search problem and the Andrews–Curtis conjecture

Conjugacy search problem and the Andrews–Curtis conjecture AbstractWe develop new computational methods for studying potential counterexamples to the Andrews–Curtis conjecture, in particular, Akbulut–Kurby examples AK⁡(n){\operatorname{AK}(n)}.We devise a number of algorithms in an attempt to disprove the most interesting counterexample AK⁡(3){\operatorname{AK}(3)}.That includes an efficient implementation of the folding procedure for pseudo-conjugacy graphs, based on the original modification of a classic disjoint-set data structure.To improve metric properties of the search space (the set of balanced presentations of the trivial group), we introduce a new transformation, called an ACM-move, that generalizes the original Andrews–Curtis transformations and discuss details of a practical implementation.To reduce growth of the search space, we introduce a strong equivalence relation on balanced presentations and study the space modulo automorphisms of the underlying free group.We prove that automorphism moves can be applied to Akbulut–Kurby presentations.The improved technique allows us to enumerate balanced presentations AC-equivalent to AK⁡(3){\operatorname{AK}(3)}with relations of lengths up to 20 (previous record was 17). http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Groups Complexity Cryptology de Gruyter

Conjugacy search problem and the Andrews–Curtis conjecture

Loading next page...
 
/lp/de-gruyter/conjugacy-search-problem-and-the-andrews-curtis-conjecture-cHRa9PA0bF
Publisher
de Gruyter
Copyright
© 2019 Walter de Gruyter GmbH, Berlin/Boston
ISSN
1869-6104
eISSN
1869-6104
DOI
10.1515/gcc-2019-2005
Publisher site
See Article on Publisher Site

Abstract

AbstractWe develop new computational methods for studying potential counterexamples to the Andrews–Curtis conjecture, in particular, Akbulut–Kurby examples AK⁡(n){\operatorname{AK}(n)}.We devise a number of algorithms in an attempt to disprove the most interesting counterexample AK⁡(3){\operatorname{AK}(3)}.That includes an efficient implementation of the folding procedure for pseudo-conjugacy graphs, based on the original modification of a classic disjoint-set data structure.To improve metric properties of the search space (the set of balanced presentations of the trivial group), we introduce a new transformation, called an ACM-move, that generalizes the original Andrews–Curtis transformations and discuss details of a practical implementation.To reduce growth of the search space, we introduce a strong equivalence relation on balanced presentations and study the space modulo automorphisms of the underlying free group.We prove that automorphism moves can be applied to Akbulut–Kurby presentations.The improved technique allows us to enumerate balanced presentations AC-equivalent to AK⁡(3){\operatorname{AK}(3)}with relations of lengths up to 20 (previous record was 17).

Journal

Groups Complexity Cryptologyde Gruyter

Published: May 1, 2019

References