the conjugacy problem in the braid group · 2009-09-17 · outline of thesis title: computational...
TRANSCRIPT
The Conjugacy Problem in the Braid
Group
Jonathan Boiser
August 13, 2009
Acknowledgements
I Dr. Imre Tuba
I Dr. Michael O’Sullivan
I Dr. Marie Roch
I Dr. Sam Shen
I The students of the 2009 REU.
Outline of Thesis
Title: Computational Problems in the Braid Group
Contents:
I A detailed development of the solution to the word andconjugacy problems in Bn from the 1960’s to the presentday.
I A chapter on implementing software for braids.
I Miscellaneous topics: Garside groups, braid groupcryptography.
Page count: > 80 pages without appendices.
Focus of this Talk
The conjugacy decision and search problems in the braidgroup.
Definition: Braid Group
Bn, the (Artin) braid group on n strands has the followingpresentation:
Generators: σ1, . . . , σn−1
Relations:
1. σiσj = σjσi for |i − j | > 1.
2. σiσi+1σi = σi+1σiσi+1 for i = 1, . . . , n − 2.
Geometric Interpretation of Braids
Geometric Interpretation of Generators
. . . . . . . . . . . .
Geometric Interpretation of Relations
= =
Simple example:
σ1σ2σ1σ4 = σ4σ1σ2σ1 = σ4σ2σ1σ2 = σ2σ4σ1σ2 = · · ·
Definition: Conjugacy Decision Problem
Let x , y ∈ Bn. x is said to be conjugate to y if there exists ac ∈ Bn such that y = c−1xc .
The conjugacy decision problem (CDP) in Bn asks: givenx , y ∈ Bn, is there a method for determining, in a finiteamount of time, whether x is conjugate to y (symbolized asx ∼ y)?
Definition: Conjugacy Search Problem
The conjugacy search problem (CSP) in Bn asks: givenx , y ∈ Bn such that x ∼ y , is there a method for determining,in a finite amount of time,w a c ∈ Bn such that c−1xc = y?
We collectively refer to the conjugacy search and decisionproblems as the conjugacy problem.
Motivation: Braid Group Cryptography
A number of cryptosystems have been proposed, whosesecurity depends on the intractability of the conjugacy searchproblem in Bn.
For example, in the Anshel-Anshel-Goldfeld key exchangeprotocol, both parties send their secret key s “hidden” withina number of conjugates.
{s−1a1s, . . . , s−1aks}
where the ai are public.
An adversary can only recover the secret key if he can solvethe multiple conjugacy search problem for those k conjugates.
Main Problem:
Is there a polynomial-time algorithm for solving the conjugacyproblem in Bn?
(That is, polynomial in n and some measure of the braids’complexity).
Decomposition of the Main Problem
Parts:
1. Do solutions to the CDP/CSP exist? (Yes)
2. Are the algorithms required to compute the solutionefficient independently of the input? (Yes)
3. Is the CDP/CSP efficiently solvable in some specialcases? (Yes)
4. Is the CDP/CSP efficiently solvable in all cases?(Unknown)
Part 1: Does a Solution Exist?
Solution to conjugacy problem is a priori unknown.
For a non-identity w ∈ Bn, the conjugacy class
[w ] := {c−1wc : c ∈ Bn}
is infinite, ruling out exhaustive or undirected search.
A Finite, Invariant Subset of [w ]
Let w ,w ′ ∈ Bn. Suppose there is a set S∗(w) such that
1. S∗(w) is finite.
2. S∗(w) = S∗(w ′) if and only if w ∼ w ′.
Then, the CDP for w ,w ′ can be solved by computing S∗(w)and one element of S∗(w ′). If the two sets intersect, thenw ∼ w ′.
Definition: Garside Normal Form
To define this finite, invariant subset, we require the Garsidenormal form of a braid:
Every w ∈ Bn has a unique normal form
w = ∆mp
where inf w = m ∈ Z is the infimum of w , p is a positivebraid, and ∆ is the fundamental braid.
Illustration of the Geometric Braid ∆
Lattice Structure of B+n
The set of positive braids, B+n has a partial order (B+
n ,≤L),defined by x ≤L y if there is a z ∈ B+
n such that xz = y . Thisis sometimes known as the “prefix order”.
The prefix order is also a lattice in that, for any x , y ∈ B+n , the
meet x ∧L y and join x ∨L y exist.
Lattice Structure of B+n
The set D := {x : e ≤L x ≤L ∆} is an important set in thetheory:
Definition: Left-Canonical Form
The left-canonical form of a braid w is the factorization
w = ∆mp1 . . . pk
Where, for all, i , pi ∈ D and pi = pi . . . pk ∧L ∆.
The supremum of w is given by sup w = m + k and thecanonical length of w is given by len w = k .
A Finite Subset of [w ]
Suppose w ∈ Bn and inf w = m. Define
[w ]m := {x ∈ [w ] : inf x ≥ m}
Theorem: [w ]m is finite.
An Invariant Subset of [w ]
Since [w ]m is finite, there exists a subset SS(w) ⊂ [w ]mconsisting of braids with maximal infimum.
SS(w) := {x ∈ [w ]m : inf x maximal}= {x ∈ [w ] : inf x maximal}
This solves the CDP, since w ∼ w ′ iff [w ] = [w ′] iffSS(w) = SS(w ′).
Mt. Infimum and the Summit Set
Improvements to the Summit Set
Summit Set SS(w) := {x ∈ [w ] : inf x maximal in [w ]}Super Summit Set SSS(w) := {x ∈ SS(w) :
sup x minimal in SS(w)}Ultra Summit Set USS(w) := {x ∈ SSS(w) : cN(x) =
x for some N > 0}
[w ] ⊃ SS(w) ⊇ SSS(w) ⊇ USS(w)
The operator c is known as cycling, which is a special type ofconjugation.
Part 2: Are the Main Computations Efficient?
Primary tasks:
1. Compute normal forms.
2. Find a single element of the super (ultra) summit sets.
3. Derive new super (ultra) summit set elements from apreviously-found element.
All of these procedures have algorithms that run in polynomialtime. They are the subject of Chapters 3 and 4 in the thesis.
Graphical Overview of Solution
Part 3: Are there Special Cases of the Conjugacy
Problem?
Nielsen-Thurston Classification: Every self-homeomorphism ofa topological space is either periodic, reducible, orpseudo-Anosov.
Braids have an alternative definition as certain isotopy classesof self-homeomorphisms of the n-punctured disk. Therefore,they too can be classified according to the Nielsen-Thurstontrichotomy.
As far as the conjugacy problem is concerned, this division hasallowed the three classes of braids to be examinedindependently.
Conjugacy Problem for Periodic Braids
Roughly, a braid w is periodic if there exists an m > 0 suchthat wm = ∆2k for some integer k . For example, σ1σ2σ3 ∈ B4
is periodic.
It was found by Birman et al. thatthe CDP/CSP for periodic braids hasa polynomial-time solution.
Part 4: Is the Conjugacy Problem Always
Efficiently Solvable?
Remaining cases: pseudo-Anosov and reducible braids.
Definition: Rigid pseudo-Anosov Braid
A “randomly” chosen braid is pseudo-Anosov with highprobability. That is, PA is the generic case.
A braid is rigid if its image under cycling is already in leftcanonical form. That is, cycling corresponds to a cyclic shift ofthe braid’s factors:
Definition: Reducible Braid
In braid-specific terms, a braid is reducible, if it can bedecomposed into a family of subbraids at different scales:
By the Nielsen-Thurston trichotomy, at some point you onlyhave irreducible braids, which must be periodic or PA.
Four Open Questions
Birman, Gebhart, Gonzales-Meneses: An efficient algorithm tosolve the conjugacy problem for Bn can be found if thefollowing open problems are solved in the affirmative:
1. Does there exist a fast algorithm to determine whether abraid is reducible and, if so, find its decomposition intoirreducible braids?
2. If x is a rigid braid, is its ultra summit set small?
3. If y ∈ SSS(x), is there a small power M such thatcM(y) ∈ USS(x)?
4. If x is a pseudo-Anosov, rigid braid, can its centralizer becomputed efficiently?
Solution for Pseudo-Anosov Braids
Suppose that the four open problems are solved in theaffirmative. Then, if x , y are PA braids,
1. A small power of x , xK is such that USS(xK ) consistsentirely of rigid braids (Theorem).
2. USS(xK ) is small (Open Problem 2).
3. A y ′ ∈ USS(yK ) can be found quickly (Open Problem 3).
4. For all braids, xK ∼ yK if and only if x ∼ y (Theorem).Thus the CDP is solved.
5. For PA braids, if c conjugates xK to yK , then cconjugates x to y (Theorem). CSP is solved.
Solution for Reducible Braids
Depends on Open Question 1 which involves findingdecompositions, and Open Question 4 for computingcentralizers.
Garside Groups
A generalization of the braid groups.
Main characteristics of a Garside group G :
I Set of positive elements comprises a monoid with a latticestructure similar to B+
n ’s.
I Positive monoid has a Garside element ∆ ∈ G whoseproperties are similar to ∆ ∈ Bn.
Full definition is more involved.
ExampleFrom Picantin:
Mχ := 〈x , y , z | xzxy = yzxx , yzxxz = zxyzx , zxyzx = xzxyz〉
Mκ := 〈x , y | xyxyxyx = yy〉
Computing in General Garside Groups
The structure of a Garside group can be gleaned from thelattice structure of its positive monoid M .
By the solution to the word problem in Garside groups, thisstructure can be further condensed to the sublattice of ∆’sfactors.
A Geometric Approach
For a Garside group G , the geometry of its Cayley graph mayprovide a means of doing computations in G .
For example, the left-canonical form of a word w ∈ G can bedone using the Cayley graph of D ⊂ G .
Example
To illustrate this idea: I calculated the LCF of the wordw ∈ Mχ by hand using the Cayley graph of D ⊂ Mχ.
w = xxzxyzxxzxyxxyzx
= (xxzxy)(zxx)(zxyxx)(yzx)
= ∆(xx)(zxyxx)(yzx)
= ∆(xxz)(xy)(xx)(yzx)
= ∆(xxzx)(y)(xx)(yzx)
= ∆(xxzxy)(xx)(yzx)
This process is not as nice as that for braids, due to thedifferent connectivity properties of this Cayley graph.
Further Directions
How can one do computations in general Garside groups? Forexample, what data structures, algorithms, etc. can beutilized?
Can the algebraic theory of Bn be recast in a geometricframework? (Geometric group theory)
Thank you!