1 / 16

Braid Group Presentation

matia
Download Presentation

Braid Group Presentation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Complexity of Decision Problems in Polycyclic Groups Delaram KahrobaeiNew York City College of TechnologyCity University of New YorkDKahrobaei@Citytech.CUNY.eduhttp://websupport1.citytech.cuny.edu/Faculty/dkahrobaei/ Cryptography and Combinatorial Group Theory SeminarGraduate Center Cryptography Sub Seminar February 15th 2008

  2. Braid Group Presentation

  3. Polycyclic Groups A group is called polycyclic if there exists a polycyclic series through the group; i.e. a subnormal series of finite length with cyclic factors 1 = G0q G1 q…q Gn = G Gi+1/Gi is cyclic Polycyclic Presentation P = ha1,… , an | ajai = wij, ajai-1 = vij, akrk = ukki 1· i < j · n, k 2 I½{1,…,n}, ri 2N, i2 I wij, vij, ujj words in generators aj+1,…, an By induction: 8 w 2 P; w = a1e1 … anen(normal form) ei 2Z & 0 · ei · ri if i 2 I

  4. 8 polycyclic group has a consistent polycyclic presentation! PC presentation is consistent if: 8 element in the group defined by the presentation can be represented uniquely by a word of the form a1e1… anen(Normal Form) (ei2 Z, 0 <ei < ri, i 2 I) ‘basis for computations w/ polycyclic groups’

  5. PCP(P)>> CP(P) >> WP(P) Word Problem in Polycyclic Groups Solved effectively using collection algorithm. Implemented in GAP and MAGMA (practical). Conjugacy Problem in Polycyclic Groups Algorithm by Eick-Ostheimer. Implemented in GAP and KANT (not efficient) Search Conjugacy Problem in any subgroup of the General Linear group is solvable is conjectured to be exponential. Power Conjugacy Problem in Polycyclic Groups is an open question!

  6. WP in Polycyclic groups collection algorithm WP in consistent PC presentation solved “effectively” using collection algorithm. Computes: unique normal word for an arbitrary word in the generators. basic idea: applies iteratedly the power and conjugate relations of the given presentation to subwords of a given word modifies the given word. The nature of the relations asserts that an iteration of this process will eventually produce a normal word.

  7. Complexity of Collection Algorithm Complexity depend on the growth of exponents ej of generators gij occurring in intermediate stages of the algorithm while processing the word gi1e1 … gilel Growth can be bounded above if the considered group is finite. In infinite PC groups: risk of an integer explosion inherent in the collection algorithm. In praxis, collection is known as an effective method to solve WP in consistent polycyclic presentations. Implemented in GAP and MAGMA and it has proved to be practical for finite and infinite polycyclic groups.

  8. Collect Word

  9. Example of Collection Algorithm G = h g1,… , g4 | g13 = g4, g2g1 =g2-1, g3g1 = g3-1, g3g2 = g3 g42, g3g2-1 = g3 g4-2i where all the omitted conjugate relations are trivial. We collect the word g2 g13. g2 g13 = g2 g4 by applying the power relation of g1.

  10. Multiple Conjugacy Problem AKE can be broken if an effective algorithm to determine a multiple conjugating element a with ria = si (1 · I · m) can be found (knowing that such an element exists) Multiple CP reduces to the single CP.

  11. Single Conjugacy Problem Non-commutative DH and AKE can be broken if an effective algorithm to determine a conjugating element ra = s for given r, s 2 G can be found. For AKE additional computation of CG(s) is necessary. It has been proved there exists an algorithm to compute such a conjugating element and such a centralizer in a polycyclic group. Implemented in GAP & KANT.

  12. Algorithm for single CP The algorithm uses induction down along a normal series with elementary or free abelian factors of the considered group G. The steps corresponding to finite factors in the series can be solved by an application of an orbit-stabilizer algorithm as typical for finite groups. The steps corresponding to infinite factors require: [a)] Methods from representation theory such as the computation of submodule series. [b)] Methods from algebraic number theory such as the computation of unit groups. [c)] Methods from finite polycyclic groups such as the finite orbit-stabilizer algorithm.

  13. Growth Rate of Polycyclic Groups A large growth rate would imply a large key space for the set of all possible keys, thus making the brute force search of this space intractable. Ideally, we would like to use groups which exhibit provably exponential growth. A large class of polycyclic groups are known to have an exponential growth rate (Wolf and Milnor).

  14. ExperimentRunning time

  15. Example of Polycyclic Groups K = Q[x]/(f): algebraic number field for a cyclotomic polynomial fw (w is a primitive r-th root of unity) deg (fw) = (n). Maximal order O of K is a ring whose additive group is isomorphic to Zn. Unit group U of K: f.g. abelian group Natural split extension G(w) = O o U Metabelian polycyclic group.

  16. Some Known Complexity Result The complexity of word problem in Nilpotent groups is in Polynomial time, indeed it is almost linear. (Holt, Gersten, Riley) Word Problem is in NP for any finitely generated metabelian groups. (Arzhantseva, Osin)

More Related