Showing 1–28 of 28 results for author: Myasnikov, A G

Andrews-Curtis Groups

Authors: Robert H. Gilman, Alexei G. Myasnikov

Abstract: For any group $G$ and integer $k\ge 2$ the Andrews-Curtis transformations act as a permutation group, termed the Andrews-Curtis group $AC_k(G)$, on the subset $N_k(G) \subset G^k$ of all $k$-tuples that generate $G$ as a normal subgroup (provided $N_k(G)$ is non-empty). The famous Andrews-Curtis Conjecture is that if $G$ is free of rank $k$, then $AC_k(G)$ acts transitively on $N_k(G)$. The set… ▽ More For any group $G$ and integer $k\ge 2$ the Andrews-Curtis transformations act as a permutation group, termed the Andrews-Curtis group $AC_k(G)$, on the subset $N_k(G) \subset G^k$ of all $k$-tuples that generate $G$ as a normal subgroup (provided $N_k(G)$ is non-empty). The famous Andrews-Curtis Conjecture is that if $G$ is free of rank $k$, then $AC_k(G)$ acts transitively on $N_k(G)$. The set $N_k(G)$ may have a rather complex structure, so it is easier to study the full Andrews-Curtis group $FAC(G)$ generated by AC-transformations on a much simpler set $G^k$. Our goal here is to investigate the natural epimorphism $λ\colon FAC_k(G) \to AC_k(G)$. We show that if $G$ is non-elementary torsion-free hyperbolic, then $FAC_k(G)$ acts faithfully on every nontrivial orbit of $G^k$, hence $λ\colon FAC_k(G) \to AC_k(G)$ is an isomorphism. △ Less

Submitted 28 June, 2025; originally announced June 2025.

Comments: 7 pages; In memory of Ben Fine

Groups elementarily equivalent to the classical matrix groups

Authors: Alexei G. Myasnikov, Mahmood Sohrabi

Abstract: In this paper we describe all groups that are first-order (elementarily) equivalent to the classical matrix groups such as $GL_n(F), SL_n(F)$ and $T_n(F)$ over a field $F$ provided $n \geq 3$. In this paper we describe all groups that are first-order (elementarily) equivalent to the classical matrix groups such as $GL_n(F), SL_n(F)$ and $T_n(F)$ over a field $F$ provided $n \geq 3$. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 36 pages

MSC Class: 03C60; 20F16

Bi-interpretability with $\mathbb{Z}$ and models of the complete elementary theories of $\text{SL}_n(\mathcal{O})$, $\text{T}_n(\mathcal{O})$ and $\text{GL}_n(\mathcal{O})$, $n\geq 3$

Authors: Mahmood Sohrabi, Alexei G. Myasnikov

Abstract: Let $\mathcal{O}$ be the ring of integers of a number field, and let $n\geq 3$. This paper studies bi-interpretability of the ring of integers $\mathbb{Z}$ with the special linear group $\text{SL}_n(\mathcal{O})$, the general linear group $\text{GL}_n(\mathcal{O})$ and solvable group of all invertible uppertriangular matrices over $\mathcal{O}$, $\text{T}_n(\mathcal{O})$. For each of these groups… ▽ More Let $\mathcal{O}$ be the ring of integers of a number field, and let $n\geq 3$. This paper studies bi-interpretability of the ring of integers $\mathbb{Z}$ with the special linear group $\text{SL}_n(\mathcal{O})$, the general linear group $\text{GL}_n(\mathcal{O})$ and solvable group of all invertible uppertriangular matrices over $\mathcal{O}$, $\text{T}_n(\mathcal{O})$. For each of these groups we provide a complete characterization of arbitrary models of their complete elementary theories. △ Less

Submitted 6 April, 2020; originally announced April 2020.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1609.09802

MSC Class: 03C60; 20F16

Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group

Authors: Funda Gul, Alexei G. Myasnikov, Mahmood Sohrabi

Abstract: In this paper we study distortion of various well-known embeddings of finitely generated torsion-free nilpotent groups $G$ into unitriangular groups $UT_n(\mathbb{Z})$. We also provide a polynomial time algorithm for finding distortion of a given subgroup of $G$ In this paper we study distortion of various well-known embeddings of finitely generated torsion-free nilpotent groups $G$ into unitriangular groups $UT_n(\mathbb{Z})$. We also provide a polynomial time algorithm for finding distortion of a given subgroup of $G$ △ Less

Submitted 7 July, 2016; v1 submitted 21 November, 2015; originally announced November 2015.

Comments: 27 pages

Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem

Authors: Volker Diekert, Alexei G. Myasnikov, Armin Weiß

Abstract: In various occasions the conjugacy problem in finitely generated amalgamated products and HNN extensions can be decided efficiently for elements which cannot be conjugated into the base groups. This observation asks for a bound on how many such elements there are. Such bounds can be derived using the theory of amenable graphs: In this work we examine Schreier graphs of amalgamated products and H… ▽ More In various occasions the conjugacy problem in finitely generated amalgamated products and HNN extensions can be decided efficiently for elements which cannot be conjugated into the base groups. This observation asks for a bound on how many such elements there are. Such bounds can be derived using the theory of amenable graphs: In this work we examine Schreier graphs of amalgamated products and HNN extensions. For an amalgamated product $G = H *_A K $ with $[H:A] \geq [K:A] \geq 2$, the Schreier graph with respect to $H$ or $K$ turns out to be non-amenable if and only if $[H:A] \geq 3$. Moreover, for an HNN extension of the form $G = <H,b | bab^{-1}=φ(a), a \in A >$, we show that the Schreier graph of $G$ with respect to the subgroup $H$ is non-amenable if and only if $A \neq H \neq φ(A)$. As application of these characterizations we show that under certain conditions the conjugacy problem in fundamental groups of finite graphs of groups with free abelian vertex groups can be solved in polynomial time on a strongly generic set. Furthermore, the conjugacy problem in groups with more than one end can be solved with a strongly generic algorithm which has essentially the same time complexity as the word problem. These are rather striking results as the word problem might be easy, but the conjugacy problem might be even undecidable. Finally, our results yield another proof that the set where the conjugacy problem of the Baumslag group is decidable in polynomial time is also strongly generic. △ Less

Submitted 5 May, 2016; v1 submitted 22 January, 2015; originally announced January 2015.

MSC Class: 20F65; 05C81; 20E06 ACM Class: F.2.2; G.2.m

$ω$-stability and Morley rank of bilinear maps, rings and nilpotent groups

Authors: Alexei G. Myasnikov, Mahmood Sohrabi

Abstract: In this paper we study the algebraic structure of $ω$-stable bilinear maps, arbitrary rings and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case. In this paper we study the algebraic structure of $ω$-stable bilinear maps, arbitrary rings and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case. △ Less

Submitted 13 May, 2016; v1 submitted 8 October, 2014; originally announced October 2014.

MSC Class: 20A15

Elementary coordinatization of finitely generated nilpotent groups

Authors: A. G. Myasnikov, Mahmood Sohrabi

Abstract: This paper has two main parts. In the first part we develop an elementary coordinatization for any nilpotent group $G$ taking exponents in a binomial principal ideal domain (PID) $A$. In case that the additive group $A^+$ of $A$ is finitely generated we prove using a classical result of Julia Robinson that one can obtain a central series for $G$ where the action of the ring of integers $\Z$ on the… ▽ More This paper has two main parts. In the first part we develop an elementary coordinatization for any nilpotent group $G$ taking exponents in a binomial principal ideal domain (PID) $A$. In case that the additive group $A^+$ of $A$ is finitely generated we prove using a classical result of Julia Robinson that one can obtain a central series for $G$ where the action of the ring of integers $\Z$ on the quotients of each of the consecutive terms of the series except for one very specific gap, called the special gap, is interpretable in $G$. Then we use a refinement of this central series to give a criterion for elementary equivalence of finitely generated nilpotent groups in terms of the relationship between group extensions and the second cohomology group. △ Less

Submitted 17 May, 2016; v1 submitted 6 November, 2013; originally announced November 2013.

Amalgamated Products of Groups II: Measures of Random Normal Forms

Authors: Elizaveta Frenkel, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: Let $G=\mathop{A\ast B}\limits_C$ be an amalgamated product of finite rank free groups $A$, $B$ and $C$. We introduce atomic measures and corresponding asymptotic densities on a set of normal forms of elements in $G$. We also define two strata of normal forms: the first one consists of regular (or stable) normal forms, and second stratum is formed by singular (or unstable) normal forms. In a serie… ▽ More Let $G=\mathop{A\ast B}\limits_C$ be an amalgamated product of finite rank free groups $A$, $B$ and $C$. We introduce atomic measures and corresponding asymptotic densities on a set of normal forms of elements in $G$. We also define two strata of normal forms: the first one consists of regular (or stable) normal forms, and second stratum is formed by singular (or unstable) normal forms. In a series of previous work about classical algorithmic problems, it was shown that standard algorithms work fast on elements of the first stratum and nothing is known about their work on the second stratum. In main theorems A and B of this paper we give probabilistic and asymptotic estimates of these strata. △ Less

Submitted 20 July, 2011; originally announced July 2011.

Comments: 37 pages

The Finitary Andrews-Curtis Conjecture

Authors: Alexandre V. Borovik, Alexander Lubotzky, Alexei G. Myasnikov

Abstract: The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent importance for computational group theory. It also resolves a question asked in [5] and shows that a computation in finite groups cannot lead to a counterexample… ▽ More The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent importance for computational group theory. It also resolves a question asked in [5] and shows that a computation in finite groups cannot lead to a counterexample to the classical conjecture, as suggested in [5]. △ Less

Submitted 7 March, 2011; originally announced March 2011.

Comments: Appeared in Progress in Mathematics, Vol. 248, 15-30. 2005 Birkhäuser Verlag Basel/Switzerland

Power Circuits, Exponential Algebra, and Time Complexity

Authors: Alexei G. Myasnikov, Alexander Ushakov, Dong Wook Won

Abstract: Motivated by algorithmic problems from combinatorial group theory we study computational properties of integers equipped with binary operations +, -, z = x 2^y, z = x 2^{-y} (the former two are partial) and predicates < and =. Notice that in this case very large numbers, which are obtained as n towers of exponentiation in the base 2 can be realized as n applications of the operation x2^y, so worki… ▽ More Motivated by algorithmic problems from combinatorial group theory we study computational properties of integers equipped with binary operations +, -, z = x 2^y, z = x 2^{-y} (the former two are partial) and predicates < and =. Notice that in this case very large numbers, which are obtained as n towers of exponentiation in the base 2 can be realized as n applications of the operation x2^y, so working with such numbers given in the usual binary expansions requires super exponential space. We define a new compressed representation for integers by power circuits (a particular type of straight-line programs) which is unique and easily computable, and show that the operations above can be performed in polynomial time if the numbers are presented by power circuits. We mention several applications of this technique to algorithmic problems, in particular, we prove that the quantifier-free theories of various exponential algebras are decidable in polynomial time, as well as the word problems in some "hard to crack" one-relator groups. △ Less

Submitted 13 June, 2010; originally announced June 2010.

Groups elementarily equivalent to a free nilpotent group of finite rank

Authors: Alexei G. Myasnikov, Mahmood Sohrabi

Abstract: In this paper we give a complete algebraic description of groups elementarily equivalent to a given free nilpotent group of finite rank. In this paper we give a complete algebraic description of groups elementarily equivalent to a given free nilpotent group of finite rank. △ Less

Submitted 1 June, 2010; originally announced June 2010.

MSC Class: 03C60; 20F18

Regular sets and counting in free groups

Authors: Elizaveta Frenkel, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: In this paper we study asymptotic behavior of regular subsets in a free group F of finite rank, compare their sizes at infinity, and develop techniques to compute the probabilities of sets relative to distributions on F that come naturally from no-return random walks on the Cayley graph of F. We apply these techniques to study cosets, double cosets, and Schreier representatives of finitely gener… ▽ More In this paper we study asymptotic behavior of regular subsets in a free group F of finite rank, compare their sizes at infinity, and develop techniques to compute the probabilities of sets relative to distributions on F that come naturally from no-return random walks on the Cayley graph of F. We apply these techniques to study cosets, double cosets, and Schreier representatives of finitely generated subgroups of F and also to analyze relative sizes of regular prefixed-closed subsets in F. △ Less

Submitted 16 June, 2009; originally announced June 2009.

Comments: 33 pp, 5 figures

MSC Class: 20E05

Generic complexity of the Conjugacy Problem in HNN-extensions and algorithmic stratification of Miller's groups

Authors: Alexandre V. Borovik, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: We discuss time complexity of The Conjugacy Problem in HNN-extensions of groups, in particular, in Miller's groups. We show that for "almost all", in some explicit sense, elements, the Conjugacy Problem is decidable in cubic time. It is worth noting that the Conjugacy Problem in a Miller group may have be undecidable. Our results show that "hard" instances of the problem comprise a negligibly sm… ▽ More We discuss time complexity of The Conjugacy Problem in HNN-extensions of groups, in particular, in Miller's groups. We show that for "almost all", in some explicit sense, elements, the Conjugacy Problem is decidable in cubic time. It is worth noting that the Conjugacy Problem in a Miller group may have be undecidable. Our results show that "hard" instances of the problem comprise a negligibly small part of the group. △ Less

Submitted 22 March, 2009; originally announced March 2009.

MSC Class: 20F10 (Primary); 20P05 (Secondary)

The Conjugacy Problem in Amalgamated Products I: Regular Elements and Black Holes

Authors: Alexandre V. Borovik, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: We discuss the time complexity of the word and conjugacy search problems for free products $G = A \star_C B$ of groups $A$ and $B$ with amalgamation over a subgroup $C$. We stratify the set of elements of $G$ with respect to the complexity of the word and conjugacy problems and show that for the generic stratum the conjugacy search problem is decidable under some reasonable assumptions about gro… ▽ More We discuss the time complexity of the word and conjugacy search problems for free products $G = A \star_C B$ of groups $A$ and $B$ with amalgamation over a subgroup $C$. We stratify the set of elements of $G$ with respect to the complexity of the word and conjugacy problems and show that for the generic stratum the conjugacy search problem is decidable under some reasonable assumptions about groups $A,B,C$. △ Less

Submitted 22 March, 2009; originally announced March 2009.

MSC Class: 20F10 (Primary); 20P05 (Secondary)

Groups Elementarily Equivalent to a Free 2-nilpotent Group of Finite Rank

Authors: Alexei G. Myasnikov, Mahmood Sohrabi

Abstract: In this paper we find a characterization for groups elementarily equivalent to a free nilpotent group $G$ of class 2 and arbitrary finite rank. In this paper we find a characterization for groups elementarily equivalent to a free nilpotent group $G$ of class 2 and arbitrary finite rank. △ Less

Submitted 13 March, 2009; originally announced March 2009.

Quadratic equations over free groups are NP-complete

Authors: O. Kharlampovich, I. G. Lysenok, A. G Myasnikov, N. W. M. Touikan

Abstract: We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete. We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete. △ Less

Submitted 26 February, 2008; originally announced February 2008.

MSC Class: 68Q17 (Primary); 20E05; 57M07 (Secondary)

Journal ref: Theor. Comput. Syst.47 (2010), no 1, 250 -- 258

Random subgroups and analysis of the length-based and quotient attacks

Authors: Alexei G. Myasnikov, Alexander Ushakov

Abstract: In this paper we discuss generic properties of "random subgroups" of a given group G. It turns out that in many groups G (even in most exotic of them) the random subgroups have a simple algebraic structure and they "sit" inside G in a very particular way. This gives a strong mathematical foundation for cryptanalysis of several group-based cryptosystems and indicates on how to chose "strong keys"… ▽ More In this paper we discuss generic properties of "random subgroups" of a given group G. It turns out that in many groups G (even in most exotic of them) the random subgroups have a simple algebraic structure and they "sit" inside G in a very particular way. This gives a strong mathematical foundation for cryptanalysis of several group-based cryptosystems and indicates on how to chose "strong keys". To illustrate our technique we analyze the Anshel-Anshel-Goldfeld (AAG) cryptosystem and give a mathematical explanation of recent success of some heuristic length-based attacks on it. Furthermore, we design and analyze a new type of attacks, which we term the quotient attacks. Mathematical methods we develop here also indicate how one can try to choose "parameters" in AAG to foil the attacks. △ Less

Submitted 10 July, 2007; originally announced July 2007.

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

Some metric properties of automorphisms of groups

Authors: Alexei G. Myasnikov, Vladimir Shpilrain

Abstract: Study of the dynamics of automorphisms of a group is usually focused on their growth and/or finite orbits, including fixed points. In this paper, we introduce properties of a different kind; using somewhat informal language, we call them metric properties. Two principal characteristics of this kind are called here the "curl" and the "flux"; there seems to be very little correlation between these… ▽ More Study of the dynamics of automorphisms of a group is usually focused on their growth and/or finite orbits, including fixed points. In this paper, we introduce properties of a different kind; using somewhat informal language, we call them metric properties. Two principal characteristics of this kind are called here the "curl" and the "flux"; there seems to be very little correlation between these and the growth of an automorphism, which means they are likely to be an essentially new tool for studying automorphisms. We also observe that our definitions of the curl and flux are sufficiently general to be applied to mappings of arbitrary metric spaces. △ Less

Submitted 18 October, 2005; originally announced October 2005.

Comments: 11 pages

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

On the Andrews-Curtis equivalence

Authors: Alexei D. Myasnikov, Alexei G. Myasnikov, Vladimir Shpilrain

Abstract: The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of ``elementary transformations" which are Nielsen transformations augmented by arbitrary conjugations. It is a prevalent opinion that this conjecture is false; however, not many potential counterexamples are known. In this paper, we show that some of the pr… ▽ More The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of ``elementary transformations" which are Nielsen transformations augmented by arbitrary conjugations. It is a prevalent opinion that this conjecture is false; however, not many potential counterexamples are known. In this paper, we show that some of the previously proposed examples are actually not counterexamples. We hope that the tricks we used in constructing relevant chains of elementary transformations will be useful to those who attempt to establish the Andrews-Curtis equivalence in other situations. On the other hand, we give two rather general and simple methods for constructing balanced presentations of the trivial group; some of these presentations can be considered potential counterexamples to the Andrews-Curtis conjecture. One of the methods is based on a simple combinatorial idea of composition of group presentations, whereas the other one uses "exotic" knot diagrams of the unknot. We also consider the Andrews-Curtis equivalence in metabelian groups and reveal some interesting connections of relevant problems to well-known problems in K-theory. △ Less

Submitted 7 February, 2003; originally announced February 2003.

Comments: 16 pages, 1 figure

MSC Class: 20E05; 57M05

Journal ref: Contemp. Math., Amer. Math. Soc. 296 (2002), 183-198

On the Hanna Neumann Conjecture

Authors: Toshiaki Jitsukawa, Bilal Khan, Alexei G. Myasnikov

Abstract: The Hanna Neumann conjecture states that if F is a free group, then for all nontrivial finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [rank(H)-1] [rank(K)-1]. Where most papers to date have considered a direct graph theoretic interpretation of the conjecture, here we consider the use of monomorphisms. We illustrate the effectiveness of this approach with two results. First, we… ▽ More The Hanna Neumann conjecture states that if F is a free group, then for all nontrivial finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [rank(H)-1] [rank(K)-1]. Where most papers to date have considered a direct graph theoretic interpretation of the conjecture, here we consider the use of monomorphisms. We illustrate the effectiveness of this approach with two results. First, we show that for any finitely generated groups H,K <= F either the pair H,K or the pair H^{-}, K satisfy the Hanna Neumann conjecture--Here {-} denotes the automorphism which sends each generator of F to its inverse. Next, using particular monomorphisms from F to F_2, we obtain that if the Hanna Neumann conjecture is false then there is a counterexample H,K < F_2 having the additional property that all the branch vertices in the foldings of H and K are of degree 3, and all degree 3 vertices have the same local structure or ``type''. △ Less

Submitted 1 February, 2003; originally announced February 2003.

Comments: 11 pages, 3 figures

MSC Class: 20E05

Automorphic orbits in free groups

Authors: Alexei G. Myasnikov, Vladimir Shpilrain

Abstract: Let $F_n$ be the free group of a finite rank $n$. We study orbits $Orb_φ(u)$, where $u$ is an element of the group $F_n$, under the action of an automorphism $φ$. If an orbit like that is finite, we determine precisely what its cardinality can be if $u$ runs through the whole group $F_n$, and $φ$ runs through the whole group $Aut(F_n)$. Another problem that we address here is related to Whiteh… ▽ More Let $F_n$ be the free group of a finite rank $n$. We study orbits $Orb_φ(u)$, where $u$ is an element of the group $F_n$, under the action of an automorphism $φ$. If an orbit like that is finite, we determine precisely what its cardinality can be if $u$ runs through the whole group $F_n$, and $φ$ runs through the whole group $Aut(F_n)$. Another problem that we address here is related to Whitehead's algorithm that determines whether or not a given element of a free group of finite rank is an automorphic image of another given element. It is known that the first part of this algorithm (reducing a given free word to a free word of minimum possible length by elementary Whitehead automorphisms) is fast (of quadratic time with respect to the length of the word). On the other hand, the second part of the algorithm (applied to two words of the same minimum length) was always considered very slow. We give here an improved algorithm for the second part, and we believe this algorithm always terminates in polynomial time with respect to the length of the words. We prove that this is indeed the case if the free group has rank 2. △ Less

Submitted 9 November, 2002; originally announced November 2002.

Comments: 10 pages

MSC Class: 20E05

Measuring sets in infinite groups

Authors: Alexandre V. Borovik, Alexei G. Myasnikov, Vladimir Shpilrain

Abstract: We are now witnessing a rapid growth of a new part of group theory which has become known as "statistical group theory". A typical result in this area would say something like ``a random element (or a tuple of elements) of a group G has a property P with probability p". The validity of a statement like that does, of course, heavily depend on how one defines probability on groups, or, equivalentl… ▽ More We are now witnessing a rapid growth of a new part of group theory which has become known as "statistical group theory". A typical result in this area would say something like ``a random element (or a tuple of elements) of a group G has a property P with probability p". The validity of a statement like that does, of course, heavily depend on how one defines probability on groups, or, equivalently, how one measures sets in a group (in particular, in a free group). We hope that new approaches to defining probabilities on groups outlined in this paper create, among other things, an appropriate framework for the study of the "average case" complexity of algorithms on groups. △ Less

Submitted 7 April, 2002; originally announced April 2002.

Comments: 22 pages

MSC Class: 20E05; 60B15

Multiplicative measures on free groups

Authors: Alexandre V. Borovik, Alexei G. Myasnikov, Vladimir N. Remeslennikov

Abstract: We introduce a family of atomic measures on free groups generated by no-return random walks. These measures are shown to be very convenient for comparing "relative sizes" of subgroups, context-free and regular subsets (that, subsets generated by finite automata) of free groups. Many asymptotic characteristics of subsets and subgroups are naturally expressed as analytic properties of related gene… ▽ More We introduce a family of atomic measures on free groups generated by no-return random walks. These measures are shown to be very convenient for comparing "relative sizes" of subgroups, context-free and regular subsets (that, subsets generated by finite automata) of free groups. Many asymptotic characteristics of subsets and subgroups are naturally expressed as analytic properties of related generating functions. We introduce an hierarchy of asymptotic behaviour "at infinity" of subsets in the free groups, more sensitive than the traditionally used asymptotic density, and apply it to normal subgroups and regular subsets. △ Less

Submitted 14 April, 2002; v1 submitted 5 April, 2002; originally announced April 2002.

Comments: LaTeX, requires amssymb.sty; 31 pp Version 3: more detail in Example 2 and Tauberian theorems

MSC Class: 20E05

The Andrews-Curtis Conjecture and Black Box Groups

Authors: Alexandre V. Borovik, Evgenii I. Khukhro, Alexei G. Myasnikov

Abstract: The paper discusses the Andrews-Curtis graph of a normal subgroup N in a group G. The vertices of the graph are k-tuples of elements in N which generate N as a normal subgroup; two vertices are connected if one them can be obtained from another by certain elementary transformations. This object appears naturally in the theory of black box finite groups and in the Andrews-Curtis conjecture in alg… ▽ More The paper discusses the Andrews-Curtis graph of a normal subgroup N in a group G. The vertices of the graph are k-tuples of elements in N which generate N as a normal subgroup; two vertices are connected if one them can be obtained from another by certain elementary transformations. This object appears naturally in the theory of black box finite groups and in the Andrews-Curtis conjecture in algebraic topology. We suggest an approach to the Andrews-Curtis conjecture based on the study of Andrews-Curtis graphs of finite groups, discuss properties of Andrews-Curtis graphs of some classes of finite groups and results of computer experiments with generation of random elements of finite groups by random walks on their Andrews-Curtis graphs. △ Less

Submitted 6 November, 2001; v1 submitted 22 October, 2001; originally announced October 2001.

Comments: 23 pages, LaTeX2e, no figures, requires packages amssymb and latexsym. Version 2: some results are improved in comparision with the original version

MSC Class: 20P05