Showing 1–13 of 13 results for author: Ko, K H

Graph 4-braid groups and Massey products

Authors: Ki Hyoung Ko, Joon Hyun La, Hyo Won Park

Abstract: We first show that the braid group over a graph topologically containing no $Θ$-shape subgraph has a presentation related only by commutators. Then using discrete Morse theory and triple Massey products, we prove that a graph topologically contains none of four prescribed graphs if and only if its 4-braid groups is a right-angled Artin group. We first show that the braid group over a graph topologically containing no $Θ$-shape subgraph has a presentation related only by commutators. Then using discrete Morse theory and triple Massey products, we prove that a graph topologically contains none of four prescribed graphs if and only if its 4-braid groups is a right-angled Artin group. △ Less

Submitted 14 July, 2014; originally announced July 2014.

Comments: 23 pages, 4 figures

MSC Class: 20F36; 20F65; 57M15

A family of pseudo-Anosov braids with large conjugacy invariant sets

Authors: Byung Hee An, Ki Hyoung Ko

Abstract: We show that there is a family of pseudo-Anosov braids independently parameterized by the braid index and the (canonical) length whose smallest conjugacy invariant sets grow exponentially in the braid index and linearly in the length and conclude that the conjugacy problem remains exponential in the braid index under the current knowledge. We show that there is a family of pseudo-Anosov braids independently parameterized by the braid index and the (canonical) length whose smallest conjugacy invariant sets grow exponentially in the braid index and linearly in the length and conclude that the conjugacy problem remains exponential in the braid index under the current knowledge. △ Less

Submitted 11 March, 2012; originally announced March 2012.

Comments: 16 pages, 6 figures

MSC Class: 20F36; 20F10; 57M25

Journal ref: J. Knot Theory Ramification, 22 (2013), no. 6, 1350025, 20pp

Characteristics of graph braid groups

Authors: Ki Hyoung Ko, Hyo Won Park

Abstract: We give formulae for the first homology of the $n$-braid group and the pure 2-braid group over a finite graph in terms of graph theoretic invariants. As immediate consequences, a graph is planar if and only if the first homology of the $n$-braid group over the graph is torsion-free and the conjectures about the first homology of the pure 2-braid groups over graphs in \cite{FH} can be verified. We… ▽ More We give formulae for the first homology of the $n$-braid group and the pure 2-braid group over a finite graph in terms of graph theoretic invariants. As immediate consequences, a graph is planar if and only if the first homology of the $n$-braid group over the graph is torsion-free and the conjectures about the first homology of the pure 2-braid groups over graphs in \cite{FH} can be verified. We discover more characteristics of graph braid groups: the $n$-braid group over a planar graph and the pure 2-braid group over any graph have a presentation whose relators are words of commutators, and the 2-braid group and the pure 2-braid group over a planar graph have a presentation whose relators are commutators. The latter was a conjecture in \cite{FS2} and so we propose a similar conjecture for higher braid indices. △ Less

Submitted 13 January, 2011; originally announced January 2011.

Comments: 44 pages, 19 figures

MSC Class: 20F36; 20F65; 57M15

Graph braid groups and right-angled Artin groups

Authors: Jee Hyoun Kim, Ki Hyoung Ko, Hyo Won Park

Abstract: We give a necessary and sufficient condition for a graph to have a right-angled Artin group as its braid group for braid index $\ge 5$. In order to have the necessity part, graphs are organized into small classes so that one of homological or cohomological characteristics of right-angled Artin groups can be applied. Finally we show that a given graph is planar iff the first homology of its 2-braid… ▽ More We give a necessary and sufficient condition for a graph to have a right-angled Artin group as its braid group for braid index $\ge 5$. In order to have the necessity part, graphs are organized into small classes so that one of homological or cohomological characteristics of right-angled Artin groups can be applied. Finally we show that a given graph is planar iff the first homology of its 2-braid group is torsion-free and leave the corresponding statement for $n$-braid groups as a conjecture along with few other conjectures about graphs whose braid groups of index $\le 4$ are right-angled Artin groups. △ Less

Submitted 13 June, 2010; v1 submitted 1 May, 2008; originally announced May 2008.

Comments: 52 pages, 30 figures

MSC Class: 20F36; 20F65; 57M15

Journal ref: Trans. Amer. Math. Soc. (2010)

A family of representations of braid groups on surfaces

Authors: Byung Hee An, Ki Hyoung Ko

Abstract: We propose a family of new representations of the braid groups on surfaces that extend linear representations of the braid groups on a disc such as the Burau representation and the Lawrence-Krammer-Bigelow representation. We propose a family of new representations of the braid groups on surfaces that extend linear representations of the braid groups on a disc such as the Burau representation and the Lawrence-Krammer-Bigelow representation. △ Less

Submitted 29 March, 2010; v1 submitted 7 March, 2008; originally announced March 2008.

Comments: 21 pages, 4 figures

MSC Class: 20F36; 20F10

Journal ref: Pacifi J. Math., 247 (2010), no. 2, 257-282

A fast algorithm to the conjugacy problem on generic braids

Authors: Ki Hyoung Ko, Jang Won Lee

Abstract: Random braids that are formed by multiplying randomly chosen permutation braids are studied by analyzing their behavior under Garside's weighted decomposition and cycling. Using this analysis, we propose a polynomial-time algorithm to the conjugacy problem that is successful for random braids in overwhelming probability. As either the braid index or the number of permutation-braid factors increa… ▽ More Random braids that are formed by multiplying randomly chosen permutation braids are studied by analyzing their behavior under Garside's weighted decomposition and cycling. Using this analysis, we propose a polynomial-time algorithm to the conjugacy problem that is successful for random braids in overwhelming probability. As either the braid index or the number of permutation-braid factors increases, the success probability converges to 1 and so, contrary to the common belief, the distribution of hard instances for the conjugacy problem is getting sparser. We also prove a conjecture by Birman and González-Meneses that any pseudo-Anosov braid can be made to have a special weighted decomposition after taking power and cycling. Moreover we give polynomial upper bounds for the power and the number of iterated cyclings required. △ Less

Submitted 5 December, 2006; v1 submitted 15 November, 2006; originally announced November 2006.

Comments: 12 pages, 1 figure. to appear in the Proceedings of the International Workshop on Knot Theory for Scientific Objects: OCAMI Studies Vol 1. Knot Theory for Scientific Objects

MSC Class: 20F36; 20F10

A polynomial-time solution to the reducibility problem

Authors: Ki Hyoung Ko, Jang Won Lee

Abstract: We propose an algorithm for deciding whether a given braid is pseudo-Anosov, reducible, or periodic. The algorithm is based on Garside's weighted decomposition and is polynomial-time in the word-length of an input braid. Moreover, a reduction system of circles can be found completely if the input is a certain type of reducible braids. We propose an algorithm for deciding whether a given braid is pseudo-Anosov, reducible, or periodic. The algorithm is based on Garside's weighted decomposition and is polynomial-time in the word-length of an input braid. Moreover, a reduction system of circles can be found completely if the input is a certain type of reducible braids. △ Less

Submitted 4 December, 2006; v1 submitted 25 October, 2006; originally announced October 2006.

Comments: 13 pages, 7 figures

MSC Class: 20F36; 20F10

Parameterizations of 1-bridge torus knots

Authors: Doo Ho Choi, Ki Hyoung Ko

Abstract: A 1-bridge torus knot in a 3-manifold of genus $\le 1$ is a knot drawn on a Heegaard torus with one bridge. We give two types of normal forms to parameterize the family of 1-bridge torus knots that are similar to the Schubert's normal form and the Conway's normal form for 2-bridge knots. For a given Schubert's normal form we give algorithms to determine the number of components and to compute th… ▽ More A 1-bridge torus knot in a 3-manifold of genus $\le 1$ is a knot drawn on a Heegaard torus with one bridge. We give two types of normal forms to parameterize the family of 1-bridge torus knots that are similar to the Schubert's normal form and the Conway's normal form for 2-bridge knots. For a given Schubert's normal form we give algorithms to determine the number of components and to compute the fundamental group of the complement when the normal form determines a knot. We also give a description of the double branched cover of an ambient 3-manifold branched along a 1-bridge torus knot by using its Conway's normal form and obtain an explicit formula for the first homology of the double cover. △ Less

Submitted 2 January, 2002; v1 submitted 11 December, 2001; originally announced December 2001.

Comments: 26 pages, 28 figures, a minor revision

MSC Class: 57M25; 57M12

Signatures of covering links

Authors: Jae Choon Cha, Ki Hyoung Ko

Abstract: The theory of signature invariants of links in rational homology spheres is applied to covering links of homology boundary links. From patterns and Seifert matrices of homology boundary links, an explicit formula is derived to compute signature invariants of their covering links. Using the formula, we produce fused boundary links that are positive mutants of ribbon links but are not concordant t… ▽ More The theory of signature invariants of links in rational homology spheres is applied to covering links of homology boundary links. From patterns and Seifert matrices of homology boundary links, an explicit formula is derived to compute signature invariants of their covering links. Using the formula, we produce fused boundary links that are positive mutants of ribbon links but are not concordant to boundary links. We also show that for any finite collection of patterns, there are homology boundary links that are not concordant to any homology boundary links admitting a pattern in the collection. △ Less

Submitted 20 September, 2001; v1 submitted 30 August, 2001; originally announced August 2001.

Comments: 14 pages, 2 figures; pictures updated

MSC Class: 57M25; 57Q45; 57Q60

Signatures of links in rational homology spheres

Authors: Jae Choon Cha, Ki Hyoung Ko

Abstract: A theory of signatures for odd-dimensional links in rational homology spheres is studied via their generalized Seifert surfaces. The jump functions of signatures are shown invariant under appropriately generalized concordance and a special care is given to accommodate 1-dimensional links with mutual linking. Furthermore our concordance theory of links in rational homology spheres remains highly… ▽ More A theory of signatures for odd-dimensional links in rational homology spheres is studied via their generalized Seifert surfaces. The jump functions of signatures are shown invariant under appropriately generalized concordance and a special care is given to accommodate 1-dimensional links with mutual linking. Furthermore our concordance theory of links in rational homology spheres remains highly nontrivial after factoring out the contribution from links in integral homology spheres. △ Less

Submitted 20 September, 2001; v1 submitted 29 August, 2001; originally announced August 2001.

Comments: 21 pages, 3 figures, to appear in Topology; references and pictures updated

MSC Class: 57M25; 57Q45; 57Q60

Positive presentations of the braid groups and the embedding problem

Authors: Jae Woo Han, Ki Hyoung Ko

Abstract: A large class of positive finite presentations of the braid groups is found and studied. It is shown that no presentations but known exceptions in this class have the property that equivalent braid words are also equivalent under positive relations. A large class of positive finite presentations of the braid groups is found and studied. It is shown that no presentations but known exceptions in this class have the property that equivalent braid words are also equivalent under positive relations. △ Less

Submitted 3 November, 2001; v1 submitted 21 March, 2001; originally announced March 2001.

Comments: 21 pages, 26 figures, to appear in Math. Z

MSC Class: 57M25; 57M15; 20F36; 05C25

The infimum, supremum and geodesic length of a braid conjugacy class

Authors: Joan S. Birman, Ki Hyoung Ko, Sang Jin Lee

Abstract: Algorithmic solutions to the conjugacy problem in the braid groups B_n were given by Elrifai-Morton in 1994 and by the authors in 1998. Both solutions yield two conjugacy class invariants which are known as `inf' and `sup'. A problem which was left unsolved in both papers was the number m of times one must `cycle' (resp. `decycle') in order to increase inf (resp. decrease sup) or to be sure that… ▽ More Algorithmic solutions to the conjugacy problem in the braid groups B_n were given by Elrifai-Morton in 1994 and by the authors in 1998. Both solutions yield two conjugacy class invariants which are known as `inf' and `sup'. A problem which was left unsolved in both papers was the number m of times one must `cycle' (resp. `decycle') in order to increase inf (resp. decrease sup) or to be sure that it is already maximal (resp. minimal) for the given conjugacy class. Our main result is to prove that m is bounded above by n-2 in the situation of the second algorithm and by ((n^2-n)/2)-1 in the situation of the first. As a corollary, we show that the computation of inf and sup is polynomial in both word length and braid index, in both algorithms. The integers inf and sup determine (but are not determined by) the shortest geodesic length for elements in a conjugacy class, as defined by Charney, and so we also obtain a polynomial-time algorithm for computing this geodesic length. △ Less

Submitted 21 March, 2000; originally announced March 2000.

Comments: 15 pages. Journal

MSC Class: 20F36; 57M99; 68Q20

A new approach to the word and conjugacy problems in the braid groups

Authors: Joan S. Birman, K. H. Ko, J. S. Lee

Abstract: A new presentation of the $n$-string braid group $B_n$ is studied. Using it, a new solution to the word problem in $B_n$ is obtained which retains most of the desirable features of the Garside-Thurston solution, and at the same time makes possible certain computational improvements. We also give a related solution to the conjugacy problem, but the improvements in its complexity are not clear at… ▽ More A new presentation of the $n$-string braid group $B_n$ is studied. Using it, a new solution to the word problem in $B_n$ is obtained which retains most of the desirable features of the Garside-Thurston solution, and at the same time makes possible certain computational improvements. We also give a related solution to the conjugacy problem, but the improvements in its complexity are not clear at this writing. △ Less

Submitted 7 April, 1998; v1 submitted 2 December, 1997; originally announced December 1997.

Comments: This updated version of "A new approach to the word problem in the braid groups" contains a new section on the conjugacy problem. 31 pages

MSC Class: 20F36; 20F10; 57Mxx Journal-Advances in Mathematics (to appear)

Journal ref: Advances Math.139(1998),322-353