Showing 1–5 of 5 results for author: Miasnikov, A D

Pattern Recognition Approaches to Solving Combinatorial Problems in Free Groups

Authors: Robert M. Haralick, Alexei D. Miasnikov, Alexei G. Myasnikov

Abstract: We review some basic methodologies from pattern recognition that can be applied to helping solve combinatorial problems in free group theory. We illustrate how this works with recognizing Whitehead minimal words in free groups of rank 2. The methodologies reviewed include how to form feature vectors, principal components, distance classifers, linear classifiers, regression classifiers, Fisher li… ▽ More We review some basic methodologies from pattern recognition that can be applied to helping solve combinatorial problems in free group theory. We illustrate how this works with recognizing Whitehead minimal words in free groups of rank 2. The methodologies reviewed include how to form feature vectors, principal components, distance classifers, linear classifiers, regression classifiers, Fisher linear discriminant, support vector machines, quantizing, classification trees, and clustering techniques. △ Less

Submitted 9 April, 2006; originally announced April 2006.

Journal ref: Contemporary Mathematics, 349:197-213, 2004

Heuristics for The Whitehead Minimization Problem

Authors: R. M. Haralick, A. D. Miasnikov, A. G. Myasnikov

Abstract: In this paper we discuss several heuristic strategies which allow one to solve the Whitehead's minimization problem much faster (on most inputs) than the classical Whitehead algorithm. The mere fact that these strategies work in practice leads to several interesting mathematical conjectures. In particular, we conjecture that the length of most non-minimal elements in a free group can be reduced… ▽ More In this paper we discuss several heuristic strategies which allow one to solve the Whitehead's minimization problem much faster (on most inputs) than the classical Whitehead algorithm. The mere fact that these strategies work in practice leads to several interesting mathematical conjectures. In particular, we conjecture that the length of most non-minimal elements in a free group can be reduced by a Nielsen automorphism which can be identified by inspecting the structure of the corresponding Whitehead Graph. △ Less

Submitted 9 April, 2006; originally announced April 2006.

Journal ref: J. Experimental Mathematics. Vol. 14, No. 1, (2005), 7-14

Genetic algorithms and the Andrews-Curtis conjecture

Authors: Alexei D. Miasnikov

Abstract: The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be transformed into the trivial presentation by a finite sequence of "elementary transformations" which are Nielsen transformations together with an arbitrary conjugation of a relator. It is believed that the Andrews-Curtis conjecture is false; however, not so many possible counterexamples are known. I… ▽ More The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be transformed into the trivial presentation by a finite sequence of "elementary transformations" which are Nielsen transformations together with an arbitrary conjugation of a relator. It is believed that the Andrews-Curtis conjecture is false; however, not so many possible counterexamples are known. It is not a trivial matter to verify whether the conjecture holds for a given balanced presentation or not. The purpose of this paper is to describe some non-deterministic methods, called Genetic Algorithms, designed to test the validity of the Andrews-Curtis conjecture. Using such algorithm we have been able to prove that all known (to us) balanced presentations of the trivial group where the total length of the relators is at most 12 satisfy the conjecture. In particular, the Andrews-Curtis conjecture holds for the presentation <x,y|x y x = y x y, x^2 = y^3> which was one of the well known potential counterexamples. △ Less

Submitted 21 April, 2003; originally announced April 2003.

Comments: 19 pages

MSC Class: 20E05; 20F05; 68T05 (Primary) 57M05; 57M20

Journal ref: International Journal of Algebra and Computation, Vol. 9 No. 6, (1999) 671-686

Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture

Authors: Alexei D. Miasnikov, Alexei G. Myasnikov

Abstract: The Andrews-Curtis conjecture states that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of the elementary Nielsen transformations and conjugations. In this paper we describe all balanced presentations of the trivial group on two generators and with the total length of relators <= 12. We show that all these presentations satisfy the Andrews-Curt… ▽ More The Andrews-Curtis conjecture states that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of the elementary Nielsen transformations and conjugations. In this paper we describe all balanced presentations of the trivial group on two generators and with the total length of relators <= 12. We show that all these presentations satisfy the Andrews-Curtis conjecture. △ Less

Submitted 21 April, 2003; originally announced April 2003.

Comments: 7 pages, no figures

MSC Class: 20E05; 20F05; 68T05 (Primary); 57M05; 57M20. (Secondary)

Journal ref: In W.Kantor and A.Seress,editors, Groups and Computation III, volume 23, (2001) 257-263, Berlin

Whitehead method and Genetic Algorithms

Authors: Alexei D. Miasnikov, Alexei G. Myasnikov

Abstract: In this paper we discuss a genetic version (GWA) of the Whitehead's algorithm, which is one of the basic algorithms in combinatorial group theory. It turns out that GWA is surprisingly fast and outperforms the standard Whitehead's algorithm in free groups of rank >= 5. Experimenting with GWA we collected an interesting numerical data that clarifies the time-complexity of the Whitehead's Problem… ▽ More In this paper we discuss a genetic version (GWA) of the Whitehead's algorithm, which is one of the basic algorithms in combinatorial group theory. It turns out that GWA is surprisingly fast and outperforms the standard Whitehead's algorithm in free groups of rank >= 5. Experimenting with GWA we collected an interesting numerical data that clarifies the time-complexity of the Whitehead's Problem in general. These experiments led us to several mathematical conjectures. If confirmed they will shed light on hidden mechanisms of Whitehead Method and geometry of automorphic orbits in free groups. △ Less

Submitted 20 April, 2003; originally announced April 2003.

Comments: 29 pages, 7 figures

MSC Class: 20F28; 68Q17; 68T05