2014
DOI: 10.1515/jgth-2014-0020
|View full text |Cite
|
Sign up to set email alerts
|

A fast solution to the conjugacy problem in the four-strand braid group

Abstract: Abstract. We present an algorithm for solving the conjugacy search problem in the fourstrand braid group. The computational complexity is cubic with respect to the braid length.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
9
0

Year Published

2014
2014
2021
2021

Publication Types

Select...
4

Relationship

2
2

Authors

Journals

citations
Cited by 4 publications
(9 citation statements)
references
References 22 publications
0
9
0
Order By: Relevance
“…Indeed, suppose that the left inequality in (7) Hence ϕ(s −1 Z)s δ by Lemma 2.1b. Since ϕ(s −1 Z) = ϕ(Z) by Corollary 2.4, this means that ϕ(Z)s δ which implies the right inequality in (7). Thus, (7) holds.…”
Section: Products Of Two Atoms Normal Forms In Case (Iii) Of Theoremmentioning
confidence: 81%
See 1 more Smart Citation
“…Indeed, suppose that the left inequality in (7) Hence ϕ(s −1 Z)s δ by Lemma 2.1b. Since ϕ(s −1 Z) = ϕ(Z) by Corollary 2.4, this means that ϕ(Z)s δ which implies the right inequality in (7). Thus, (7) holds.…”
Section: Products Of Two Atoms Normal Forms In Case (Iii) Of Theoremmentioning
confidence: 81%
“…Thus, (7) holds. By symmetry, without loss of generality we may assume that the right inequality in (7) holds. Then x 1 s = ϕ(Z)s δ by Lemma 2.1b.…”
Section: Products Of Two Atoms Normal Forms In Case (Iii) Of Theoremmentioning
confidence: 99%
“…If we want to decide the Nielsen-Thurston type of a given 4-braid, the algorithm in [12] should rather be used instead of the present one because it is implementable and it finds explicitly the reducing curves whenever they exist (in polynomial time). Using the Birman-Ko-Lee structure of B 4 , the author together with Bert Wiest show in [11] the existence of a bound as in (iii) (which depends on Masur-Minsky's constant c(4), see Proposition 17). Unfortunately, they do not know yet how to make explicit the constant c(4) (nor C(4)), so that the cardinality of the ultra summit set of a pseudo-Anosov rigid 4-braid is not explicitly known.…”
Section: Proofs Of Our Resultsmentioning
confidence: 99%
“…Unfortunately, they do not know yet how to make explicit the constant c(4) (nor C(4)), so that the cardinality of the ultra summit set of a pseudo-Anosov rigid 4-braid is not explicitly known. Nevertheless [11] presents a polynomial-time algorithm for solving the conjugacy problem in B 4 .…”
Section: Proofs Of Our Resultsmentioning
confidence: 99%
“…In [20] the author exhibit seven different classes of braids in B 3 and proved that any element of B 3 is conjugate to a unique element of these seven classes. To classify conjugacy classes of elements in braid groups with several strings is not trivial, during the last years a lot of work has been done to create efficient algorithms to attack the problem of determine if two given braids are conjugate, see [5], [6], [7], [9] and [12].…”
Section: Introductionmentioning
confidence: 99%