-
The Enumeration of Alternating Pretzel Links
Authors:
Charlotte Aspinwall,
Tobias Clark,
Yuanan Diao
Abstract:
In this paper, we tabulate the set of alternating pretzel links. Specifically, for any given crossing number $c$, we derive a closed formula that would allow us to compute $\mathcal{P}(c)$, the total number of alternating pretzel links with crossing number $c$. Numerical computation suggests that $\mathcal{P}(c)\approx 0.155e^{0.588c}$. That is, the number of alternating pretzel links with a given…
▽ More
In this paper, we tabulate the set of alternating pretzel links. Specifically, for any given crossing number $c$, we derive a closed formula that would allow us to compute $\mathcal{P}(c)$, the total number of alternating pretzel links with crossing number $c$. Numerical computation suggests that $\mathcal{P}(c)\approx 0.155e^{0.588c}$. That is, the number of alternating pretzel links with a given crossing number $c$ grows exponentially in terms of $c$.
△ Less
Submitted 15 February, 2025; v1 submitted 8 December, 2024;
originally announced December 2024.
-
Class numbers and integer points on some Pellian surfaces
Authors:
Yijie Diao
Abstract:
We provide an estimate for the number of nontrivial integer points on the Pellian surface $t^2 - du^2 = 1$ in a bounded region. We give a lower bound on the size of fundamental solutions for almost all $d$ in a certain class, based on a recent conjecture of Browning and Wilsch about integer points on log K3 surfaces. We also obtain an upper bound on the average of class number in this class, assum…
▽ More
We provide an estimate for the number of nontrivial integer points on the Pellian surface $t^2 - du^2 = 1$ in a bounded region. We give a lower bound on the size of fundamental solutions for almost all $d$ in a certain class, based on a recent conjecture of Browning and Wilsch about integer points on log K3 surfaces. We also obtain an upper bound on the average of class number in this class, assuming the same conjecture.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
The Braid Indices of Pretzel Links: A Comprehensive Study, Part II
Authors:
Yuanan Diao,
Claus Ernst,
Gabor Hetyei
Abstract:
This paper is the second part of our comprehensive study on the braid index problem of pretzel links. Our ultimate goal is to completely determine the braid indices of all pretzel links, alternating or non alternating. In our approach, we divide the pretzel links into three types as follows. Let $D$ be a standard diagram of an oriented pretzel link $\mathcal{L}$, $S(D)$ be the Seifert circle decom…
▽ More
This paper is the second part of our comprehensive study on the braid index problem of pretzel links. Our ultimate goal is to completely determine the braid indices of all pretzel links, alternating or non alternating. In our approach, we divide the pretzel links into three types as follows. Let $D$ be a standard diagram of an oriented pretzel link $\mathcal{L}$, $S(D)$ be the Seifert circle decomposition of $D$, and $C_1$, $C_2$ be the Seifert circles in $S(D)$ containing the top and bottom long strands of $D$ respectively, then $\mathcal{L}$ is classified as a Type 1 (Type 2) pretzel link if $C_1\not=C_2$ and $C_1$, $C_2$ have different (identical) orientations. In the case that $C_1=C_2$, then $\mathcal{L}$ is classified as a Type 3 pretzel link. In our previous paper, we succeeded in reaching our goal for all Type 1 and Type 2 pretzel links. That is, we successfully derived precise braid index formulas for all Type 1 and Type 2 pretzel links. In this paper, we present the results of our study on Type 3 pretzel links. In this case, we are very close to reaching our goal. More precisely, with the exception of a small percentage of Type 3 pretzel links, we are able to determine the precise braid indices for the majority of Type 3 pretzel links. Even for those exceptional ones, we are able to determine their braid indices within two consecutive integers. With some numerical evidence, we conjecture that in such a case, the braid index of the Type 3 pretzel link is given by the larger of the two consecutive integers given by our formulas.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
The Braid Indices of Pretzel Links: A Comprehensive Study, Part I
Authors:
Yuanan Diao,
Claus Ernst,
Gabor Hetyei
Abstract:
The determination of the braid index of an oriented link is generally a hard problem. In the case of alternating links, some significant progresses have been made in recent years which made explicit and precise braid index computations possible for links from various families of alternating links, including the family of all alternating Montesinos links. However, much less is known for non-alterna…
▽ More
The determination of the braid index of an oriented link is generally a hard problem. In the case of alternating links, some significant progresses have been made in recent years which made explicit and precise braid index computations possible for links from various families of alternating links, including the family of all alternating Montesinos links. However, much less is known for non-alternating links. For example, even for the non-alternating pretzel links, which are special (and simpler) Montesinos links, the braid index is only known for a very limited few special cases. In this paper and its sequel, we study the braid indices for all non-alternating pretzel links by a systematic approach. We classify the pretzel links into three different types according to the Seifert circle decompositions of their standard link diagrams. More specifically, if $D$ is a standard diagram of an oriented pretzel link $\mathcal{L}$, $S(D)$ is the Seifert circle decomposition of $D$, and $C_1$, $C_2$ are the Seifert circles in $S(D)$ containing the top and bottom long strands of $D$ respectively, then $\mathcal{L}$ is classified as a Type 1 (Type 2) pretzel link if $C_1\not=C_2$ and $C_1$, $C_2$ have different (identical) orientations. In the case that $C_1=C_2$, then $\mathcal{L}$ is classified as a Type 3 pretzel link. In this paper, we present the results of our study on Type 1 and Type 2 pretzel links. Our results allow us to determine the precise braid index for any non-alternating Type 1 or Type 2 pretzel link. Since the braid indices are already known for all alternating pretzel links from our previous work, it means that we have now completely determined the braid indices for all Type 1 and Type 2 pretzel links.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
The Braid Indices of the Reverse Parallel Links of Alternating Knots
Authors:
Yuanan Diao,
Hugh Morton
Abstract:
The braid indices of most links remain unknown as there is no known universal method that can be used to determine the braid index of an arbitrary knot. This is also the case for alternating knots. In this paper, we show that if $K$ is an alternating knot, then the braid index of any reverse parallel link of $K$ can be precisely determined. More precisely, if $D$ is a reduced diagram of $K$,…
▽ More
The braid indices of most links remain unknown as there is no known universal method that can be used to determine the braid index of an arbitrary knot. This is also the case for alternating knots. In this paper, we show that if $K$ is an alternating knot, then the braid index of any reverse parallel link of $K$ can be precisely determined. More precisely, if $D$ is a reduced diagram of $K$, $v_+(D)$ ($v_-(D)$) is the number of regions in the checkerboard shading of $D$ for which all crossings are positive (negative), $w(D)$ is the writhe of $D$, then the braid index of a reverse parallel link of $K$ with framing $f$, denoted by $\mathbb{K}_f$, is given by the following precise formula $$\textbf{b}(\mathbb{K}_f)=\left\{ \begin{array}{ll} c(D)+2+a(D)-f, &\ {\rm if}\ f < a(D),\\ c(D)+2, &\ {\rm if}\ a(D)\le f \le b(D),\\ c(D)+2-b(D)+f, &\ {\rm if}\ f > b(D),\\ \end{array} \right.
$$ where $a(D)=-v_-(D)+w(D)$ and $b(D)=v_+(D)+w(D)$.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
The ropelength conjecture of alternating knots
Authors:
Yuanan Diao
Abstract:
A long standing conjecture states that the ropelength of any alternating knot is at least proportional to its crossing number. In this paper we prove that this conjecture is true. That is, there exists a constant $b_0>0$ such that $R(K)\ge b_0Cr(K)$ for any alternating knot $K$, where $R(K)$ is the ropelength of $K$ and $Cr(K)$ is the crossing number of $K$. In this paper, we prove that this conje…
▽ More
A long standing conjecture states that the ropelength of any alternating knot is at least proportional to its crossing number. In this paper we prove that this conjecture is true. That is, there exists a constant $b_0>0$ such that $R(K)\ge b_0Cr(K)$ for any alternating knot $K$, where $R(K)$ is the ropelength of $K$ and $Cr(K)$ is the crossing number of $K$. In this paper, we prove that this conjecture is true.
△ Less
Submitted 29 July, 2022;
originally announced August 2022.
-
The average genus of oriented rational links with a given crossing number
Authors:
Dawn Ray,
Yuanan Diao
Abstract:
In this paper, we enumerate the number of oriented rational knots and the number of oriented rational links with any given crossing number and minimum genus. This allows us to obtain a precise formula for the average minimal genus of oriented rational knots and links with any given crossing number.
In this paper, we enumerate the number of oriented rational knots and the number of oriented rational links with any given crossing number and minimum genus. This allows us to obtain a precise formula for the average minimal genus of oriented rational knots and links with any given crossing number.
△ Less
Submitted 26 April, 2022;
originally announced April 2022.
-
Knots with equal bridge index and braid index
Authors:
Yuanan Diao,
Claus Ernst,
Philipp Reiter
Abstract:
In this paper we are interested in BB knots, namely knots and links where the bridge index equals the braid index. Supported by observations from experiments, it is conjectured that BB knots possess a special geometric/physical property (and might even be characterized by it): if the knot is realized by a (closed) springy metal wire, then the equilibrium state of the wire is in an almost planar co…
▽ More
In this paper we are interested in BB knots, namely knots and links where the bridge index equals the braid index. Supported by observations from experiments, it is conjectured that BB knots possess a special geometric/physical property (and might even be characterized by it): if the knot is realized by a (closed) springy metal wire, then the equilibrium state of the wire is in an almost planar configuration of multiple (overlapping) circles. In this paper we provide a heuristic explanation to the conjecture and explore the plausibility of the conjecture numerically. We also identify BB knots among various knot families. For example, we are able to identify all BB knots in the family of alternating Montesinos knots, as well as some BB knots in the family of the non-alternating Montesinos knots, and more generally in the family of the Conway algebraic knots. The BB knots we identified in the knot families we considered include all of the 182 one component BB knots with crossing number up to 12. Furthermore, we show that the number of BB knots with a given crossing number $n$ grows exponentially with $n$.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Density of the union of positive diagonal binary quadratic forms
Authors:
Yijie Diao
Abstract:
Let $X$ be a sufficiently large positive integer. We prove that one may choose a subset $S$ of primes with cardinality $O(\log X)$, such that a positive proportion of integers less than $X$ can be represented by $x^2 + p y^2$ for at least one of $p \in S$.
Let $X$ be a sufficiently large positive integer. We prove that one may choose a subset $S$ of primes with cardinality $O(\log X)$, such that a positive proportion of integers less than $X$ can be represented by $x^2 + p y^2$ for at least one of $p \in S$.
△ Less
Submitted 24 November, 2022; v1 submitted 15 March, 2021;
originally announced March 2021.
-
The Ropelength of Special Alternating Knots
Authors:
Yuanan Diao
Abstract:
A long standing open conjecture states that if a link $\mathcal{K}$ is alternating, then its ropelength $L(\mathcal{K})$ is at least of the order $O(Cr(\mathcal{K}))$. A recent result shows that the maximum braid index of a link bounds the ropelength of the link from below. Thus in the case an alternating link has a maximum braid index proportional to its minimum crossing number, such as the…
▽ More
A long standing open conjecture states that if a link $\mathcal{K}$ is alternating, then its ropelength $L(\mathcal{K})$ is at least of the order $O(Cr(\mathcal{K}))$. A recent result shows that the maximum braid index of a link bounds the ropelength of the link from below. Thus in the case an alternating link has a maximum braid index proportional to its minimum crossing number, such as the $T(2,2n)$ torus link, then the ropelength of the link is bounded below by a constant multiple of its minimum crossing number. However if the maximum braid index of a link is small compared to its crossing number, then there are no known results about whether its ropelength is bounded below by a constant multiple of its crossing number. For example, the $T(2,2n+1)$ torus knot has a minimum knot diagram that looks almost identical to that of the $T(2,2n)$ torus link, yet whether its ropelength is bounded below by a constant multiple of $n$ remains open to date. In this paper, we provide a first such result, and in fact for a large class of alternating knots. Specifically, we prove that if an alternating knot (namely a link with only one component) has a reduced alternating knot diagram in which the crossings are either all positive or all negative (such a knot is called a special alternating knot), then its ropelength is bounded below by a constant multiple of its crossing number.
△ Less
Submitted 24 August, 2021; v1 submitted 11 November, 2020;
originally announced November 2020.
-
Gabor single-frame and multi-frame multipliers in any given dimension
Authors:
Yuanan Diao,
Deguang Han,
Zhongyan Li
Abstract:
Functional Gabor single-frame or multi-frame generator multipliers are the matrices of function entries that preserve Parseval Gabor single-frame or multi-frame generators. An interesting and natural question is how to characterize all such multipliers. This question has been answered for several special cases including the case of single-frame generators in two dimensions and the case of multi-fr…
▽ More
Functional Gabor single-frame or multi-frame generator multipliers are the matrices of function entries that preserve Parseval Gabor single-frame or multi-frame generators. An interesting and natural question is how to characterize all such multipliers. This question has been answered for several special cases including the case of single-frame generators in two dimensions and the case of multi-frame generators in one-dimension. In this paper we completely characterize multipliers for Gabor single-frame and multi-frame generators with respect to separable time-frequency lattices in any given dimension. Our approach is general and applies to the previously known cases as well.
△ Less
Submitted 11 November, 2020;
originally announced November 2020.
-
Writhe-like invariants of alternating links
Authors:
Yuanan Diao,
Van Pham
Abstract:
It is known that the writhe calculated from any reduced alternating link diagram of the same (alternating) link has the same value. That is, it is a link invariant if we restrict ourselves to reduced alternating link diagrams. This is due to the fact that reduced alternating link diagrams of the same link are obtainable from each other via flypes and flypes do not change writhe. In this paper, we…
▽ More
It is known that the writhe calculated from any reduced alternating link diagram of the same (alternating) link has the same value. That is, it is a link invariant if we restrict ourselves to reduced alternating link diagrams. This is due to the fact that reduced alternating link diagrams of the same link are obtainable from each other via flypes and flypes do not change writhe. In this paper, we introduce several quantities that are derived from Seifert graphs of reduced alternating link diagrams. We prove that they are "writhe-like" invariants in the sense that they are also link invariants among reduced alternating link diagrams. The determination of these invariants are elementary and non-recursive so they are easy to calculate. We demonstrate that many different alternating links can be easily distinguished by these new invariants, even for large, complicated knots for which other invariants such as the Jones polynomial are hard to compute. As an application, we also derive an if and only if condition for a strongly invertible rational link.
△ Less
Submitted 25 September, 2020; v1 submitted 23 September, 2020;
originally announced September 2020.
-
Gabor Functional Multiplier in the Higher Dimensions
Authors:
Zhongyan Li,
Yuanan Diao
Abstract:
For two given full-rank lattices $\mathcal{L}=A\mathbb{Z}^d$ and $\mathcal{K}=B\mathbb{Z}^d$ in $\mathbf{R}^d$, where $A$ and $B$ are nonsingular real $d\times d$ matrices, a function $g(\bf{t})\in L^2(\mathbf{R}^d)$ is called a Parseval Gabor frame generator if $\sum_{\bf{l},\bf{k}\in\mathbb{Z}^d}|\langle f, {e^{2πi\langle B\bf{k},\bf{t}\rangle}}g(\bf{t}-A\bf{l})\rangle|^2=\|f\|^2$ holds for any…
▽ More
For two given full-rank lattices $\mathcal{L}=A\mathbb{Z}^d$ and $\mathcal{K}=B\mathbb{Z}^d$ in $\mathbf{R}^d$, where $A$ and $B$ are nonsingular real $d\times d$ matrices, a function $g(\bf{t})\in L^2(\mathbf{R}^d)$ is called a Parseval Gabor frame generator if $\sum_{\bf{l},\bf{k}\in\mathbb{Z}^d}|\langle f, {e^{2πi\langle B\bf{k},\bf{t}\rangle}}g(\bf{t}-A\bf{l})\rangle|^2=\|f\|^2$ holds for any $f(\bf{t})\in L^2(\mathbf{R}^d)$. It is known that Parseval Gabor frame generators exist if and only if $|\det(AB)|\le 1$. A function $h\in L^{\infty}(\mathbf{R}^d)$ is called a functional Gabor frame multiplier if it has the property that $hg$ is a Parseval Gabor frame generator for $L^2(\mathbf{R}^d)$ whenever $g$ is. It is conjectured that an if and only if condition for a function $h\in L^{\infty}(\mathbf{R}^d)$ to be a functional Gabor frame multiplier is that $h$ must be unimodular and $h(\bf{x})\overline{h(\bf{x}-(B^T)^{-1}\bf{k})}=h(\bf{x}-A\bf{l})\overline{h(\bf{x}-A\bf{l}-(B^T)^{-1}\bf{k})},\ \forall\ \bf{x}\in \mathbf{R}^d$ {\em a.e.} for any $\bf{l},\bf{k}\in \mathbb{Z}^d$, $\bf{k}\not=\bf{0}$. The if part of this conjecture is true and can be proven easily, however the only if part of the conjecture has only been proven in the one dimensional case to this date. In this paper we prove that the only if part of the conjecture holds in the two dimensional case.
△ Less
Submitted 27 July, 2020;
originally announced July 2020.
-
The number of oriented rational links with a given deficiency number
Authors:
Yuanan Diao,
Michael Finney,
Dawn Ray
Abstract:
Let $U_n$ be the set of un-oriented and rational links with crossing number $n$, a precise formula for $|U_n|$ was obtained by Ernst and Sumners in 1987. In this paper, we study the enumeration problem of oriented rational links. Let $Λ_n$ be the set of oriented rational links with crossing number $n$ and let $Λ_n(d)$ be the set of oriented rational links with crossing number $n$ ($n\ge 2$) and de…
▽ More
Let $U_n$ be the set of un-oriented and rational links with crossing number $n$, a precise formula for $|U_n|$ was obtained by Ernst and Sumners in 1987. In this paper, we study the enumeration problem of oriented rational links. Let $Λ_n$ be the set of oriented rational links with crossing number $n$ and let $Λ_n(d)$ be the set of oriented rational links with crossing number $n$ ($n\ge 2$) and deficiency $d$. In this paper, we derive precise formulas for $|Λ_n|$ and $|Λ_n(d)|$ for any given $n$ and $d$ and show that $$ Λ_n(d)=F_{n-d-1}^{(d)}+\frac{1+(-1)^{nd}}{2}F^{(\lfloor \frac{d}{2}\rfloor)}_{\lfloor \frac{n}{2}\rfloor -\lfloor \frac{d+1}{2}\rfloor}, $$ where $F_n^{(d)}$ is the convolved Fibonacci sequence.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
Invariants of rational links represented by reduced alternating diagrams
Authors:
Yuanan Diao,
Claus Ernst,
Gabor Hetyei
Abstract:
A rational link may be represented by any of the (infinitely) many link diagrams corresponding to various continued fraction expansions of the same rational number. The continued fraction expansion of the rational number in which all signs are the same is called a {\em nonalternating form} and the diagram corresponding to it is a reduced alternating link diagram, which is minimum in terms of the n…
▽ More
A rational link may be represented by any of the (infinitely) many link diagrams corresponding to various continued fraction expansions of the same rational number. The continued fraction expansion of the rational number in which all signs are the same is called a {\em nonalternating form} and the diagram corresponding to it is a reduced alternating link diagram, which is minimum in terms of the number of crossings in the diagram. Famous formulas exist in the literature for the braid index of a rational link by Murasugi and for its HOMFLY polynomial by Lickorish and Millet, but these rely on a special continued fraction expansion of the rational number in which all partial denominators are even (called {\em all-even form}). In this paper we present an algorithmic way to transform a continued fraction given in nonalternating form into the all-even form. Using this method we derive formulas for the braid index and the HOMFLY polynomial of a rational link in terms of its reduced alternating form, or equivalently the nonalternating form of the corresponding rational number.
△ Less
Submitted 25 August, 2019;
originally announced August 2019.
-
Braid Index Bounds Ropelength From Below
Authors:
Yuanan Diao
Abstract:
For an un-oriented link $\mathcal{K}$, let $L(\mathcal{K})$ be the ropelength of $\mathcal{K}$. It is known that when $\mathcal{K}$ has more than one component, different orientations of the components of $\mathcal{K}$ may result in different braid index. We define the largest braid index among all braid indices corresponding to all possible orientation assignments of $\mathcal{K}$ the {\em absolu…
▽ More
For an un-oriented link $\mathcal{K}$, let $L(\mathcal{K})$ be the ropelength of $\mathcal{K}$. It is known that when $\mathcal{K}$ has more than one component, different orientations of the components of $\mathcal{K}$ may result in different braid index. We define the largest braid index among all braid indices corresponding to all possible orientation assignments of $\mathcal{K}$ the {\em absolute braid index} of $\mathcal{K}$ and denote it by $\textbf{B}(\mathcal{K})$. In this paper, we show that there exists a constant $a>0$ such that $L(\mathcal{K})\ge a \textbf{B}(\mathcal{K}) $ for any $\mathcal{K}$, {\em i.e.}, the ropelength of any link is bounded below by its absolute braid index (up to a constant factor).
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
A Diagrammatic Approach for Determining the Braid Index of Alternating Links
Authors:
Yuanan Diao,
Claus Ernst,
Gabor Hetyei,
Pengyu Liu
Abstract:
It is well known that the braid index of a link equals the minimum number of Seifert circles among all link diagrams representing it. For a link with a reduced alternating diagram $D$, $s(D)$, the number of Seifert circles in $D$, equals the braid index $\textbf{b}(D)$ of $D$ if $D$ contains no {\em lone crossings} (a crossing in $D$ is called a {\em lone crossing} if it is the only crossing betwe…
▽ More
It is well known that the braid index of a link equals the minimum number of Seifert circles among all link diagrams representing it. For a link with a reduced alternating diagram $D$, $s(D)$, the number of Seifert circles in $D$, equals the braid index $\textbf{b}(D)$ of $D$ if $D$ contains no {\em lone crossings} (a crossing in $D$ is called a {\em lone crossing} if it is the only crossing between two Seifert circles in $D$). If $D$ contains lone crossings, then $\textbf{b}(D)$ is strictly less than $s(D)$. However in general it is not known how $s(D)$ is related to $\textbf{b}(D)$. In this paper, we derive explicit formulas for many alternating links based on any minimum projections of these links. As an application of our results, we are able to determine the braid index for any alternating Montesinos link explicitly (which include all rational links and all alternating pretzel links).
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
The Braid Index Of Reduced Alternating Links
Authors:
Yuanan Diao,
Gábor Hetyei,
Pengyu Liu
Abstract:
It is well known that the minimum crossing number of an alternating link equals the number of crossings in any reduced alternating link diagram of the link. This remarkable result is an application of the Jones polynomial. In the case of the braid index of an alternating link, Murasugi had conjectured that the number of Seifert circles in a reduced alternating diagram of the link equals the braid…
▽ More
It is well known that the minimum crossing number of an alternating link equals the number of crossings in any reduced alternating link diagram of the link. This remarkable result is an application of the Jones polynomial. In the case of the braid index of an alternating link, Murasugi had conjectured that the number of Seifert circles in a reduced alternating diagram of the link equals the braid index of the link. This conjecture turned out to be false. In this paper we prove the next best thing that one could hope for: we characterize exactly those alternating links for which their braid indices equal to the numbers of Seifert circles in their corresponding reduced alternating link diagrams. More specifically, we prove that if $D$ is a reduced alternating link diagram of an alternating link $L$, then $b(L)$, the braid index of $L$, equals the number of Seifert circles in $D$ if and only if $G_S(D)$ contains no edges of weight one. Here $G_S(D)$, called the Seifert graph of $D$, is an edge weighted simple graph obtained from $D$ by identifying each Seifert circle of $D$ as a vertex of $G_S(D)$ such that two vertices in $G_S(D)$ are connected by an edge if and only if the two corresponding Seifert circles share crossings between them in $D$ and that the weight of the edge is the number of crossings between the two Seifert circles. This result is partly based on the well known MFW inequality, which states that the $a$-span of the HOMFLY polynomial of $L$ is a lower bound of $2b(L)-2$, as well as a result due to Yamada, which states that the minimum number of Seifert circles over all link diagrams of $L$ equals $b(L)$.
△ Less
Submitted 26 February, 2018; v1 submitted 25 January, 2017;
originally announced January 2017.
-
The HOMFLY Polynomial of Links in Closed Braid Form
Authors:
Pengyu Liu,
Yuanan Diao,
Gábor Hetyei
Abstract:
It is well known that any link can be represented by the closure of a braid. The minimum number of strings needed in a braid whose closure represents a given link is called the braid index of the link and the well known Morton-Frank-Williams inequality reveals a close relationship between the HOMFLY polynomial of a link and its braid index. In the case that a link is already presented in a closed…
▽ More
It is well known that any link can be represented by the closure of a braid. The minimum number of strings needed in a braid whose closure represents a given link is called the braid index of the link and the well known Morton-Frank-Williams inequality reveals a close relationship between the HOMFLY polynomial of a link and its braid index. In the case that a link is already presented in a closed braid form, Jaeger derived a special formulation of the HOMFLY polynomial. In this paper, we prove a variant of Jaeger's result as well as a dual version of it. Unlike Jaeger's original reasoning, which relies on representation theory, our proof uses only elementary geometric and combinatorial observations. Using our variant and its dual version, we provide a direct and elementary proof of the fact that the braid index of a link that has an $n$-string closed braid diagram that is also reduced and alternating, is exactly $n$. Until know this fact was only known as a consequence of a result due to Murasugi on fibered links that are star products of elementary torus links and of the fact that alternating braids are fibered.
△ Less
Submitted 6 December, 2016; v1 submitted 20 April, 2016;
originally announced April 2016.
-
Some Properties of the Generalized Stuttering Poisson Distribution and its Applications
Authors:
Huiming Zhang,
Lili Chu,
Yu Diao
Abstract:
Based on the probability generating function of stuttering Poisson distribution (SPD), this paper considers some equivalent propositions of SPD. From this, we show that some distributions in the application of non-life insurance actuarial science are SPD, such as negative binomial distribution, compound Poisson distribution etc.. By weakening condition of equivalent propositions of SPD, we define…
▽ More
Based on the probability generating function of stuttering Poisson distribution (SPD), this paper considers some equivalent propositions of SPD. From this, we show that some distributions in the application of non-life insurance actuarial science are SPD, such as negative binomial distribution, compound Poisson distribution etc.. By weakening condition of equivalent propositions of SPD, we define the generalized SPD. We consider cumulant estimation of generalized SPD's parameters. As an application, we use SPD with four parameters (4-th SPD) to fit auto insurance claim data. The fitting results show that 4-th SPD is more accurate than negative binomial and Poisson distribution.
△ Less
Submitted 31 March, 2015; v1 submitted 27 July, 2012;
originally announced July 2012.
-
Relative Tutte polynomials of tensor products of colored graphs
Authors:
Yuanan Diao,
Gábor Hetyei
Abstract:
The tensor product $(G_1,G_2)$ of a graph $G_1$ and a pointed graph $G_2$ (containing one distinguished edge) is obtained by identifying each edge of $G_1$ with the distinguished edge of a separate copy of $G_2$, and then removing the identified edges. A formula to compute the Tutte polynomial of a tensor product of graphs was originally given by Brylawski. This formula was recently generalized to…
▽ More
The tensor product $(G_1,G_2)$ of a graph $G_1$ and a pointed graph $G_2$ (containing one distinguished edge) is obtained by identifying each edge of $G_1$ with the distinguished edge of a separate copy of $G_2$, and then removing the identified edges. A formula to compute the Tutte polynomial of a tensor product of graphs was originally given by Brylawski. This formula was recently generalized to colored graphs and the generalized Tutte polynomial introduced by Bollobás and Riordan. In this paper we generalize the colored tensor product formula to relative Tutte polynomials of relative graphs, containing zero edges to which the usual deletion-contraction rules do not apply. As we have shown in a recent paper, relative Tutte polynomials may be used to compute the Jones polynomial of a virtual knot.
△ Less
Submitted 19 February, 2012;
originally announced February 2012.
-
Nullification of knots and links
Authors:
Yuanan Diao,
Claus Ernst,
Anthony Montemayor
Abstract:
In this paper, we study a geometric/topological measure of knots and links called the nullification number. The nullification of knots/links is believed to be biologically relevant. For example, in DNA topology, one can intuitively regard it as a way to measure how easily a knotted circular DNA can unknot itself through recombination of its DNA strands. It turns out that there are several differen…
▽ More
In this paper, we study a geometric/topological measure of knots and links called the nullification number. The nullification of knots/links is believed to be biologically relevant. For example, in DNA topology, one can intuitively regard it as a way to measure how easily a knotted circular DNA can unknot itself through recombination of its DNA strands. It turns out that there are several different ways to define such a number. These definitions lead to nullification numbers that are related, but different. Our aim is to explore the mathematical properties of these nullification numbers. First, we give specific examples to show that the nullification numbers we defined are different. We provide detailed analysis of the nullification numbers for the well known 2-bridge knots and links. We also explore the relationships among the three nullification numbers, as well as their relationships with other knot invariants. Finally, we study a special class of links, namely those links whose general nullification number equals one. We show that such links exist in abundance. In fact, the number of such links with crossing number less than or equal to n grows exponentially with respect to n.
△ Less
Submitted 6 January, 2011;
originally announced January 2011.
-
The Ropelengths of Knots Are Almost Linear in Terms of Their Crossing Numbers
Authors:
Yuanan Diao,
Claus Ernst,
Attila Por,
Uta Ziegler
Abstract:
For a knot or link K, let L(K) be the ropelength of K and Cr(K) be the crossing number of K. In this paper, we show that there exists a constant a>0 such that L(K) is bounded above by a Cr(K) ln^5 (Cr(K)) for any knot K. This result shows that the upper bound of the ropelength of any knot is almost linear in terms of its minimum crossing number.
For a knot or link K, let L(K) be the ropelength of K and Cr(K) be the crossing number of K. In this paper, we show that there exists a constant a>0 such that L(K) is bounded above by a Cr(K) ln^5 (Cr(K)) for any knot K. This result shows that the upper bound of the ropelength of any knot is almost linear in terms of its minimum crossing number.
△ Less
Submitted 16 December, 2009;
originally announced December 2009.
-
Relative Tutte Polynomials for Colored Graphs and Virtual Knot Theory
Authors:
Yuanan Diao,
Gabor Hetyei
Abstract:
We introduce the concept of a relative Tutte polynomial of colored graphs. We show that this relative Tutte polynomial can be computed in a way similar to the classical spanning tree expansion used by Tutte in his original paper on this subject. We then apply the relative Tutte polynomial to virtual knot theory. More specifically, we show that the Kauffman bracket polynomial (hence the Jones pol…
▽ More
We introduce the concept of a relative Tutte polynomial of colored graphs. We show that this relative Tutte polynomial can be computed in a way similar to the classical spanning tree expansion used by Tutte in his original paper on this subject. We then apply the relative Tutte polynomial to virtual knot theory. More specifically, we show that the Kauffman bracket polynomial (hence the Jones polynomial) of a virtual knot can be computed from the relative Tutte polynomial of its face (Tait) graph with some suitable variable substitutions. Our method offers an alternative to the ribbon graph approach, using the face graph obtained from the virtual link diagram directly.
△ Less
Submitted 7 September, 2009;
originally announced September 2009.
-
Tutte Polynomials of Tensor Products of Signed Graphs and their Applications in Knot Theory
Authors:
Y. Diao,
G. Hetyei,
K. Hinson
Abstract:
It is well-known that the Jones polynomial of an alternating knot is closely related to the Tutte polynomial of a special graph obtained from a regular projection of the knot. Relying on the results of Bollobás and Riordan, we introduce a generalization of Kauffman's Tutte polynomial of signed graphs for which describing the effect of taking a signed tensor product of signed graphs is very simpl…
▽ More
It is well-known that the Jones polynomial of an alternating knot is closely related to the Tutte polynomial of a special graph obtained from a regular projection of the knot. Relying on the results of Bollobás and Riordan, we introduce a generalization of Kauffman's Tutte polynomial of signed graphs for which describing the effect of taking a signed tensor product of signed graphs is very simple. We show that this Tutte polynomial of a signed tensor product of signed graphs may be expressed in terms of the Tutte polynomials of the original signed graphs by using a simple substitution rule. Our result enables us to compute the Jones polynomials of some large non-alternating knots. The combinatorics used to prove our main result is similar to Tutte's original way of counting ``activities'' and specializes to a new, perhaps simpler proof of the known formulas for the ordinary Tutte polynomial of the tensor product of unsigned graphs or matroids.
△ Less
Submitted 12 February, 2007;
originally announced February 2007.
-
Weyl-Heisenberg Frame Wavelets with Basic Supports
Authors:
Xunxiang Guo,
Yuanan Diao,
Xingde Dai
Abstract:
Let $a$, $b$ be two fixed non-zero constants. A measurable set $E\subset \mathbb{R}$ is called a Weyl-Heisenberg frame set for $(a, b)$ if the function $g=χ_{E}$ generates a Weyl-Heisenberg frame for $L^2(\mathbb{R})$ under modulates by $b$ and translates by $a$, i.e., $\{e^{imbt}g(t-na\}_{m,n\in\mathbb{Z}}$ is a frame for $L^2(\mathbb{R})$. It is an open question on how to characterize all fram…
▽ More
Let $a$, $b$ be two fixed non-zero constants. A measurable set $E\subset \mathbb{R}$ is called a Weyl-Heisenberg frame set for $(a, b)$ if the function $g=χ_{E}$ generates a Weyl-Heisenberg frame for $L^2(\mathbb{R})$ under modulates by $b$ and translates by $a$, i.e., $\{e^{imbt}g(t-na\}_{m,n\in\mathbb{Z}}$ is a frame for $L^2(\mathbb{R})$. It is an open question on how to characterize all frame sets for a given pair $(a,b)$ in general. In the case that $a=2π$ and $b=1$, a result due to Casazza and Kalton shows that the condition that the set $F=\bigcup_{j=1}^{k}([0,2π)+2n_{j}π)$ (where $\{n_{1}<n_{2}<...<n_{k}\}$ are integers) is a Weyl-Heisenberg frame set for $(2π,1)$ is equivalent to the condition that the polynomial $f(z)=\sum_{j=1}^{k}z^{n_{j}}$ does not have any unit roots in the complex plane. In this paper, we show that this result can be generalized to a class of more general measurable sets (called basic support sets) and to set theoretical functions and continuous functions defined on such sets.
△ Less
Submitted 29 July, 2005;
originally announced July 2005.
-
From Weyl-Heisenberg Frames to Infinite Quadratic Forms
Authors:
Xunxiang Guo,
Yuanan Diao,
Xingde Dai
Abstract:
Let $a$, $b$ be two fixed positive constants. A function $g\in L^2({\mathbb R})$ is called a \textit{mother Weyl-Heisenberg frame wavelet} for $(a,b)$ if $g$ generates a frame for $L^2({\mathbb R})$ under modulates by $b$ and translates by $a$, i.e., $\{e^{imbt}g(t-na\}_{m,n\in\mathbb{Z}}$ is a frame for $L^2(\mathbb{R})$. In this paper, we establish a connection between mother Weyl-Heisenberg f…
▽ More
Let $a$, $b$ be two fixed positive constants. A function $g\in L^2({\mathbb R})$ is called a \textit{mother Weyl-Heisenberg frame wavelet} for $(a,b)$ if $g$ generates a frame for $L^2({\mathbb R})$ under modulates by $b$ and translates by $a$, i.e., $\{e^{imbt}g(t-na\}_{m,n\in\mathbb{Z}}$ is a frame for $L^2(\mathbb{R})$. In this paper, we establish a connection between mother Weyl-Heisenberg frame wavelets of certain special forms and certain strongly positive definite quadratic forms of infinite dimension. Some examples of application in matrix algebra are provided.
△ Less
Submitted 8 July, 2005;
originally announced July 2005.
-
Quadrisecants give new lower bounds for the ropelength of a knot
Authors:
Elizabeth Denne,
Yuanan Diao,
John M Sullivan
Abstract:
Using the existence of a special quadrisecant line, we show the ropelength of any nontrivial knot is at least 15.66. This improves the previously known lower bound of 12. Numerical experiments have found a trefoil with ropelength less than 16.372, so our new bounds are quite sharp.
Using the existence of a special quadrisecant line, we show the ropelength of any nontrivial knot is at least 15.66. This improves the previously known lower bound of 12. Numerical experiments have found a trefoil with ropelength less than 16.372, so our new bounds are quite sharp.
△ Less
Submitted 9 February, 2009; v1 submitted 2 August, 2004;
originally announced August 2004.
