arXiv subjects

Seungsang Oh

Publications and source records attributed to Seungsang Oh.

At least 37 records · Page 2Linked to original sources

arXiv2017

A new intrinsically knotted graph with 22 edges

A graph is called intrinsically knotted if every embedding of the graph contains a knotted cycle. Johnson, Kidwell and Michael showed that intrinsically knotted graphs have at least 21 edges. Recently Lee, Kim, Lee and Oh, and, independently, Barsotti and Mattman, showed that $K_7$ and the 13 graphs obtained from $K_7$ by $\nabla Y$ moves are the only intrinsically knotted graphs with 21 edges. In this paper we present the following results: there are exactly three triangle-free intrinsically knotted graphs with 22 edges having at least two vertices of degree 5. Two are the cousins 94 and 110 of the $E_9+e$ family and the third is a previously unknown graph named $M_{11}$. These graphs are shown in Figure 3 and 4. Furthermore, there is no triangle-free intrinsically knotted graph with 22 edges that has a vertex with degree larger than 5.

math.GT↗

arXiv2017

Period and toroidal knot mosaics

Knot mosaic theory was introduced by Lomonaco and Kauffman in the paper on `Quantum knots and mosaics' to give a precise and workable definition of quantum knots, intended to represent an actual physical quantum system. A knot (m,n)-mosaic is an $m \! \times \! n$ matrix whose entries are eleven mosaic tiles, representing a knot or a link by adjoining properly. In this paper we introduce two variants of knot mosaics: period knot mosaics and toroidal knot mosaics, which are common features in physics and mathematics. We present an algorithm producing the exact enumeration of period knot (m,n)-mosaics for any positive integers m and n, toroidal knot (m,n)-mosaics for co-prime integers m and n, and furthermore toroidal knot (p,p)-mosaics for a prime number p. We also analyze the asymptotics of the growth rates of their cardinality.

math.GT↗

arXiv2017

Enumeration on graph mosaics

Since the Jones polynomial was discovered, the connection between knot theory and quantum physics has been of great interest. Lomonaco and Kauffman introduced the knot mosaic system to give a definition of the quantum knot system that is intended to represent an actual physical quantum system. Recently the authors developed an algorithm producing the exact enumeration of knot mosaics, which uses a recursion formula of state matrices. As a sequel to this research program, we similarly define the (embedded) graph mosaic system by using sixteen graph mosaic tiles, representing graph diagrams with vertices of valence 3 and 4. And we extend the algorithm to produce the exact number of all graph mosaics. The magnified state matrix that is an extension of the state matrix is mainly used.

math.GT↗

arXiv2016

Enumerating independent vertex sets in grid graphs

A set of vertices in a graph is called independent if no two vertices of the set are connected by an edge. In this paper we use the state matrix recursion algorithm, developed by Oh, to enumerate independent vertex sets in a grid graph and even further to provide the generating function with respect to the number of vertices. We also enumerate bipartite independent vertex sets in a grid graph. The asymptotic behavior of their growth rates is presented.

math.CO↗

arXiv2016

Quantum knot mosaics and the growth constant

Lomonaco and Kauffman introduced a knot mosaic system to give a precise and workable definition of a quantum knot system, the states of which are called quantum knots. This paper is inspired by an open question about the knot mosaic enumeration suggested by them. A knot $n$--mosaic is an $n \times n$ array of 11 mosaic tiles representing a knot or a link diagram by adjoining properly that is called suitably connected. The total number of knot $n$--mosaics is denoted by $D_n$ which is known to grow in a quadratic exponential rate. In this paper, we show the existence of the knot mosaic constant $δ= \lim_{n \rightarrow \infty} D_n^{\ \frac{1}{n^2}}$ and prove that $$4 \leq δ\leq \frac{5+ \sqrt{13}}{2} \ (\approx 4.303).$$

math.GT↗

arXiv2015

Knots with small lattice stick numbers

The lattice stick number of a knot type is defined to be the minimal number of straight line segments required to construct a polygon presentation of the knot type in the cubic lattice. In this paper, we mathematically prove that the trefoil knot $3_1$ and the figure-8 knot $4_1$ are the only knot types of lattice stick number less than 15, which verifies the result from previous numerical estimations on this quantity.

math.GT↗

arXiv2015

An upper bound on stick numbers of knots

In 1991, Negami found an upper bound on the stick number $s(K)$ of a nontrivial knot $K$ in terms of the minimal crossing number $c(K)$ of the knot which is $s(K) \leq 2 c(K)$. In this paper we improve this upper bound to $s(K) \leq \frac{3}{2} (c(K)+1)$. Moreover if $K$ is a non-alternating prime knot, then $s(K) \leq \frac{3}{2} c(K)$.

math.GT↗

arXiv2015

Exactly fourteen intrinsically knotted graphs have 21 edges

Johnson, Kidwell, and Michael showed that intrinsically knotted graphs have at least 21 edges. Also it is known that K7 and the thirteen graphs obtained from K7 by rY moves are intrinsically knotted graphs with 21 edges. We prove that these 14 graphs are the only intrinsically knotted graphs with 21 edges.

math.GT↗

arXiv2014

Quantum knots and the number of knot mosaics

Lomonaco and Kauffman developed a knot mosaic system to introduce a precise and workable definition of a quantum knot system. This definition is intended to represent an actual physical quantum system. A knot (m,n)-mosaic is an $m \times n$ matrix of mosaic tiles ($T_0$ through $T_{10}$ depicted in the introduction) representing a knot or a link by adjoining properly that is called suitably connected. $D^{(m,n)}$ is the total number of all knot (m,n)-mosaics. This value indicates the dimension of the Hilbert space of these quantum knot system. $D^{(m,n)}$ is already found for $m,n \leq 6$ by the authors. In this paper, we construct an algorithm producing the precise value of $D^{(m,n)}$ for $m,n \geq 2$ that uses recurrence relations of state matrices that turn out to be remarkably efficient to count knot mosaics. $$ D^{(m,n)} = 2 \, \| (X_{m-2}+O_{m-2})^{n-2} \| $$ where $2^{m-2} \times 2^{m-2}$ matrices $X_{m-2}$ and $O_{m-2}$ are defined by $$ X_{k+1} = \begin{bmatrix} X_k & O_k \\ O_k & X_k \end{bmatrix} \ \mbox{and } \ O_{k+1} = \begin{bmatrix} O_k & X_k \\ X_k & 4 \, O_k \end{bmatrix} $$ for $k=0,1, \cdots, m-3$, with $1 \times 1$ matrices $X_0 = \begin{bmatrix} 1 \end{bmatrix}$ and $O_0 = \begin{bmatrix} 1 \end{bmatrix}$. Here $\|N\|$ denotes the sum of all entries of a matrix $N$. For $n=2$, $(X_{m-2}+O_{m-2})^0$ means the identity matrix of size $2^{m-2} \times 2^{m-2}$.

math.GT↗

arXiv2014

Mosaic number of knots

Lomonaco and Kauffman developed knot mosaics to give a definition of a quantum knot system. This definition is intended to represent an actual physical quantum system. A knot $n$-mosaic is an $n \times n$ matrix of 11 kinds of specific mosaic tiles representing a knot or a link. The mosaic number $m(K)$ of a knot $K$ is the smallest integer $n$ for which $K$ is representable as a knot $n$-mosaic. In this paper we establish an upper bound on the mosaic number of a knot or a link $K$ in terms of the crossing number $c(K)$. Let $K$ be a nontrivial knot or a non-split link except the Hopf link. Then $m(K) \leq c(K) + 1$. Moreover if $K$ is prime and non-alternating except $6^3_3$ link, then $m(K) \leq c(K) - 1$.

math.GT↗

arXiv2014

Upper bound on the total number of knot $n$-mosaics

Lomonaco and Kauffman introduced a knot mosaic system to give a definition of a quantum knot system which can be viewed as a blueprint for the construction of an actual physical quantum system. A knot $n$-mosaic is an $n \times n$ matrix of 11 kinds of specific mosaic tiles representing a knot or a link by adjoining properly that is called suitably connected. $D_n$ denotes the total number of all knot $n$-mosaics. Already known is that $D_1=1$, $D_2=2$, and $D_3=22$. In this paper we establish the lower and upper bounds on $D_n$ $$\frac{2}{275}(9 \cdot 6^{n-2} + 1)^2 \cdot 2^{(n-3)^2} \ \leq \ D_n \ \leq \ \frac{2}{275}(9 \cdot 6^{n-2} + 1)^2 \cdot (4.4)^{(n-3)^2}.$$ and find the exact number of $D_4 = 2594$.

math.GT↗

arXiv2014

Small knot mosaics and partition matrices

Lomonaco and Kauffman introduced knot mosaic system to give a definition of quantum knot system. This definition is intended to represent an actual physical quantum system. A knot $(m,n)$-mosaic is an $m \times n$ matrix of mosaic tiles which are $T_0$ through $T_{10}$ depicted as below, representing a knot or a link by adjoining properly that is called suitably connected. An interesting question in studying mosaic theory is how many knot $(m,n)$-mosaics are there. $D_{m,n}$ denotes the total number of all knot $(m,n)$-mosaics. This counting is very important because the total number of knot mosaics is indeed the dimension of the Hilbert space of these quantum knot mosaics. In this paper, we find a table of the precise values of $D_{m,n}$ for $4 \leq m \leq n \leq 6$ as below. Mainly we use a partition matrix argument which turns out to be remarkably efficient to count small knot mosaics. \begin{center} \begin{tabular}{|c|r|r|r|} \hline $D_{m,n}$ & $n=4$ & $n=5$ & $n=6$ \\ \hline $m=4$ & $2594$ & $54,226$ & $1,144,526$ \\ \hline $m=5$ & & $4,183,954$ & $331,745,962$ \\ \hline $m=6$ & & & $101,393,411,126$ \\ \hline \end{tabular} \end{center}

math.GT↗

arXiv2014

Bipartite intrinsically knotted graphs with 22 edges

A graph is intrinsically knotted if every embedding contains a knotted cycle. It is known that intrinsically knotted graphs have at least 21 edges and that the KS graphs, $K_7$ and the 13 graphs obtained from $K_7$ by $\nabla Y$ moves, are the only minor minimal intrinsically knotted graphs with 21 edges. This set includes exactly one bipartite graph, the Heawood graph. In this paper we classify the intrinsically knotted bipartite graphs with at most 22 edges. Previously known examples of intrinsically knotted graphs of size 22 were those with KS graph minor and the 168 graphs in the $K_{3,3,1,1}$ and $E_9+e$ families. Among these, the only bipartite example with no Heawood subgraph is Cousin 110 of the $E_9+e$ family. We show that, in fact, this is a complete listing. That is, there are exactly two graphs of size at most 22 that are minor minimal bipartite intrinsically knotted: the Heawood graph and Cousin 110.

math.GT↗

arXiv2014

Minimum lattice length and ropelength of knots

Let $\mbox{Len}(K)$ be the minimum length of a knot on the cubic lattice (namely the minimum length necessary to construct the knot in the cubic lattice). This paper provides upper bounds for $\mbox{Len}(K)$ of a nontrivial knot $K$ in terms of its crossing number $c(K)$ as follows: $\mbox{Len}(K) \leq \min \left\{ \frac{3}{4}c(K)^2 + 5c(K) + \frac{17}{4}, \, \frac{5}{8}c(K)^2 + \frac{15}{2}c(K) + \frac{71}{8} \right\}.$ The ropelength of a knot is the quotient of its length by its thickness, the radius of the largest embedded normal tube around the knot. We also provide upper bounds for the minimum ropelength $\mbox{Rop}(K)$ which is close to twice $\mbox{Len}(K)$: $\mbox{Rop}(K) \leq \min \left\{ 1.5 c(K)^2 + 9.15 c(K) + 6.79, 1.25 c(K)^2 + 14.58 c(K) + 16.90 \right\}.$

math.GT↗

arXiv2014

Upper bounds on the minimal length of cubic lattice knots

Knots have been considered to be useful models for simulating molecular chains such as DNA and proteins. One quantity that we are interested on molecular knots is the minimum number of monomers necessary to realize a knot. In this paper we consider every knot in the cubic lattice. Especially the minimal length of a knot indicates the minimum length necessary to construct the knot in the cubic lattice. Diao introduced this term (he used "minimal edge number" instead) and proved that the minimal length of the trefoil knot $3_1$ is $24$. Also the minimal lengths of the knots $4_1$ and $5_1$ are known to be $30$ and $34$, respectively. In the article we find a general upper bound of the minimal length of a nontrivial knot $K$, except the trefoil knot, in terms of the minimal crossing number $c(K)$. The upper bound is $\frac{3}{2}c(K)^2 + 2c(K) + \frac{1}{2}$. Moreover if $K$ is a non-alternating prime knot, then the upper bound is $\frac{3}{2}c(K)^2 - 4c(K) + \frac{5}{2}$. Furthermore if $K$ is $(n+1,n)$-torus knot, then the upper bound is $6 c(K) + 2 \sqrt{c(K)+1} +6$.

math.GT↗

arXiv2014

Stick numbers of $2$-bridge knots and links

Negami found an upper bound on the stick number $s(K)$ of a nontrivial knot $K$ in terms of the minimal crossing number $c(K)$ of the knot which is $s(K) \leq 2 c(K)$. Furthermore McCabe proved $s(K) \leq c(K) + 3$ for a $2$-bridge knot or link, except in the case of the unlink and the Hopf link. In this paper we construct any $2$-bridge knot or link $K$ of at least six crossings by using only $c(K)+2$ straight sticks. This gives a new upper bound on stick numbers of $2$-bridge knots and links in terms of crossing numbers.

math.GT↗

arXiv2014

Minimum lattice length and ropelength of 2-bridge knots and links

Knots are commonly found in molecular chains such as DNA and proteins, and they have been considered to be useful models for structural analysis of these molecules. One interested quantity is the minimum number of monomers necessary to realize a molecular knot. The minimum lattice length $\mbox{Len}(K)$ of a knot $K$ indicates the minimum length necessary to construct $K$ in the cubic lattice. Another important quantity in physical knot theory is the ropelength which is one of knot energies measuring the complexity of knot conformation. The minimum ropelength $\mbox{Rop}(K)$ is the minimum length of an ideally flexible rope necessary to tie a given knot $K$. Much effort has been invested in the research project for finding upper bounds on both quantities in terms of the minimum crossing number $c(K)$ of the knot. It is known that $\mbox{Len}(K)$ and $\mbox{Rop}(K)$ lie between $\mbox{O}(c(K)^{\frac{3}{4}})$ and $\mbox{O}(c(K) [\ln (c(K))]^5)$, but unknown yet whether any family of knots has superlinear growth. In this paper, we focus on 2-bridge knots and links. Linear growth upper bounds on the minimum lattice length and minimum ropelength for nontrivial 2-bridge knots or links are presented: $\mbox{Len}(K) \leq 8 c(K) + 2$. $\mbox{Rop}(K) \leq 11.39 c(K) + 12.37$.

math.GT↗

arXiv2014

Links with small lattice stick numbers

Knots and links have been considered to be useful models for structural analysis of molecular chains such as DNA and proteins. One quantity that we are interested on molecular links is the minimum number of monomers necessary to realize them. In this paper we consider every link in the cubic lattice. Lattice stick number $s_L(L)$ of a link $L$ is defined to be the minimal number of sticks required to construct a polygonal representation of the link in the cubic lattice. Huh and Oh found all knots whose lattice stick numbers are at most 14. They proved that only the trefoil knot $3_1$ and the figure-8 knot $4_1$ have lattice stick numbers 12 and 14, respectively. In this paper we find all links with more than one component whose lattice stick numbers are at most 14. Indeed we prove combinatorically that $s_L(2^2_1)=8$, $s_L(2^2_1 \sharp 2^2_1)=s_L(6^3_2)=s_L(6^3_3)=12$, $s_L(4^2_1)=13$, $s_L(5^2_1)=14$ and any other non-split links have stick numbers at least 15.

math.GT↗