-
Lifting link invariants by functors on nanophrases
Authors:
Tomonori Fukunaga,
Noboru Ito
Abstract:
Nanophrases have a filtered structure consisting of an infinite number of categories, and each category has a homotopy structure. Among these categories, the one that we are most familiar with is the category of links. Interestingly, the category in which the Jones polynomial is defined consists of a category that is actually less informative category than the link category, and so is the quandle…
▽ More
Nanophrases have a filtered structure consisting of an infinite number of categories, and each category has a homotopy structure. Among these categories, the one that we are most familiar with is the category of links. Interestingly, the category in which the Jones polynomial is defined consists of a category that is actually less informative category than the link category, and so is the quandle category. The former is called the pseudolink category and the latter the quasilink category, which are covered by the link category; there is a known filtration: links cover pseudolinks, pseudolinks cover virtual strings, and virtual strings cover free links. The introduction and groundwork for nanophrases were done by Turaev around 2005. In this paper, we introduce functors (Theorem 1) from general nanophrases to virtual strings/pseudolinks/quasilinks/free links. These functors are powerful because of the difference between each of two. To demonstrate the effectiveness of such new construction of functors, the Jones pseudolink polynomial (Section 4), which implies the Jones link polynomial, is extended to general filtered nanophrases using one of the functors (Section 5). In particular, the information level of the nanophrases used in each category is explicitly described in the above construction process. This paper is a refined version by developing parts of sections 3 and 6 in arXiv: 0901.3956.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
On the formula for the norms of Miyawaki lifts
Authors:
Nozomi Ito
Abstract:
The Miyawaki lifting is a lifting of Siegel modular forms introduced by Ikeda in his 2006 paper. In the same paper, he also conjectured a formula for the norms of Miyawaki lifts. In this paper, we show that his conjectural formula can be rewritten into a refined GGP type formula.
The Miyawaki lifting is a lifting of Siegel modular forms introduced by Ikeda in his 2006 paper. In the same paper, he also conjectured a formula for the norms of Miyawaki lifts. In this paper, we show that his conjectural formula can be rewritten into a refined GGP type formula.
△ Less
Submitted 6 December, 2023; v1 submitted 14 November, 2023;
originally announced November 2023.
-
Automatic computation of crosscap number of alternating knots
Authors:
Kaito Yamada,
Noboru Ito
Abstract:
We specify the computational complexity of crosscap numbers of alternating knots by introducing an automatic computation. For an alternating knot $K$, let $\cal{E}$ be the number of edges of its diagram. Then there exists a code such that the complexity of this computation of the crosscap number of $K$ is estimated by $O(\cal{E}^3)$.
We specify the computational complexity of crosscap numbers of alternating knots by introducing an automatic computation. For an alternating knot $K$, let $\cal{E}$ be the number of edges of its diagram. Then there exists a code such that the complexity of this computation of the crosscap number of $K$ is estimated by $O(\cal{E}^3)$.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
Multiple Linking Number
Authors:
Kamolphat Intawong,
Noboru Ito
Abstract:
The linking number is the simplest link invariant given by Gauss; it is the first Gauss diagram formula expressed by one arrow among two circles. Proceeding the next stage, we study the second Gauss diagram formula consisting of two arrows among two circles. We call a function of this type the multiple linking number. There are two multiple linking numbers; one of them is ordinary Vassiliev invari…
▽ More
The linking number is the simplest link invariant given by Gauss; it is the first Gauss diagram formula expressed by one arrow among two circles. Proceeding the next stage, we study the second Gauss diagram formula consisting of two arrows among two circles. We call a function of this type the multiple linking number. There are two multiple linking numbers; one of them is ordinary Vassiliev invariant and the other function is surprisingly sensitive to the necessity of the second Reidemeister moves though any one-component Gauss diagram formula cannot detect the necessity.
△ Less
Submitted 4 December, 2022;
originally announced December 2022.
-
Curvature and quantized Arnold strangeness
Authors:
Noboru Ito
Abstract:
By integrating curvatures multiplied non-trivial densities, we introduce an integral expression of the Arnold strangeness that is a celebrated plane curve invariant. The key is a partition function by Shumakovitch to reformulate Arnold strangeness. Our integrating curvatures suggests a quantized Arnold strangeness which Taylor expansion includes the rotation number and the original Arnold strangen…
▽ More
By integrating curvatures multiplied non-trivial densities, we introduce an integral expression of the Arnold strangeness that is a celebrated plane curve invariant. The key is a partition function by Shumakovitch to reformulate Arnold strangeness. Our integrating curvatures suggests a quantized Arnold strangeness which Taylor expansion includes the rotation number and the original Arnold strangeness, and also higher terms are invariants of Tabachnikov. It is an analogue of the quantization by Viro for Arnold $J^-$ and by Lanzat-Polyak for $J^+$.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
-
Variations of Milnor's triple linking number
Authors:
Kamolphat Intawong,
Noboru Ito
Abstract:
Topological polymers have various topological types, and they are expressed by graphs. However, the Jones polynomial, we have a difficulty to compute it; computational time is growing exponentially with respect to the crossing number. The simplest Vassiliev invariant is the linking number and thus we will seek a next simple one is as the Milnor's triple linking number. In this paper, we introduce…
▽ More
Topological polymers have various topological types, and they are expressed by graphs. However, the Jones polynomial, we have a difficulty to compute it; computational time is growing exponentially with respect to the crossing number. The simplest Vassiliev invariant is the linking number and thus we will seek a next simple one is as the Milnor's triple linking number. In this paper, we introduce simple Gauss diagram formulas of Vassiliev invariants of Milnor type. These are non-torsion valued, whereas the base-point-free Milnor's triple linking number is usually torsion-valued.
△ Less
Submitted 28 May, 2022;
originally announced May 2022.
-
A triple coproduct of curves and knots
Authors:
Noboru Ito,
Takeshi Komatsuzaki
Abstract:
We suggest a triple coproduct $Δ$ which decomposes pointed one-component curves on surfaces into three-component curves. Combined with intersection numbers $ν$ on three component curves, $Δ$ gives a stable equivalence invariant of one-component curves on surfaces. This study is motivated by relationship between the Milnor's triple linking number and the affine index polynomial.
We suggest a triple coproduct $Δ$ which decomposes pointed one-component curves on surfaces into three-component curves. Combined with intersection numbers $ν$ on three component curves, $Δ$ gives a stable equivalence invariant of one-component curves on surfaces. This study is motivated by relationship between the Milnor's triple linking number and the affine index polynomial.
△ Less
Submitted 5 April, 2024; v1 submitted 25 March, 2022;
originally announced March 2022.
-
On the four-term relation on Khovanov homology
Authors:
Noboru Ito,
Jun Yoshida
Abstract:
The goal of this paper is to prove a categorified analogue of Kontsevich's $4T$ relation on Vassiliev derivatives of Khovanov homology.
The goal of this paper is to prove a categorified analogue of Kontsevich's $4T$ relation on Vassiliev derivatives of Khovanov homology.
△ Less
Submitted 28 February, 2023; v1 submitted 17 February, 2022;
originally announced February 2022.
-
$\mathfrak{gl}(1 \vert 1)$-Alexander polynomial for $3$-manifolds
Authors:
Yuanyuan Bao,
Noboru Ito
Abstract:
As an extension of Reshetikhin and Turaev's invariant, Costantino, Geer and Patureau-Mirand constructed $3$-manifold invariants in the setting of relative $G$-modular categories, which include both semisimple and non-semisimple ribbon tensor categories as examples. In this paper, we follow their method to construct a $3$-manifold invariant from Viro's $\mathfrak{gl}(1\vert 1)$-Alexander polynomial…
▽ More
As an extension of Reshetikhin and Turaev's invariant, Costantino, Geer and Patureau-Mirand constructed $3$-manifold invariants in the setting of relative $G$-modular categories, which include both semisimple and non-semisimple ribbon tensor categories as examples. In this paper, we follow their method to construct a $3$-manifold invariant from Viro's $\mathfrak{gl}(1\vert 1)$-Alexander polynomial. We take lens spaces $L(7, 1)$ and $L(7, 2)$ as examples to show that this invariant can distinguish homotopy equivalent manifolds.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
On Type II Reidemeister moves of links
Authors:
Noboru Ito
Abstract:
Östlund (2001) showed that all planar isotopy invariants of generic plane curves that are unchanged under cusp moves and triple point moves, and of finite degree (in self-tangency moves) are trivial. Here the term "of finite degree" means Arnold-Vassiliev type. It implies the conjecture, which was often called Östlund conjecture: "Types I and III Reidemeister moves are sufficient to describe a hom…
▽ More
Östlund (2001) showed that all planar isotopy invariants of generic plane curves that are unchanged under cusp moves and triple point moves, and of finite degree (in self-tangency moves) are trivial. Here the term "of finite degree" means Arnold-Vassiliev type. It implies the conjecture, which was often called Östlund conjecture: "Types I and III Reidemeister moves are sufficient to describe a homotopy from any generic immersion from the circle into the plain to the standard embedding of the circle". Although counterexamples are known nowadays, there had been no (easy computable) function that detects the difference between the counterexample and the standard embedding on the plain. However, we introduce a desired function (Gauss diagram formula) is found for the two-component case.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
On elementary moves of singular Legendrian knots
Authors:
Sara Yamaguchi,
Noboru Ito
Abstract:
We have two results. First, we give 96 generating sets oriented singular Reidemeister moves; it is an answer to a question by Bataineh, Khaled, Elhamdadi, and Hajij who give a generating set of oriented singular Reidemeister moves using their computation. Second, in the theory of plane curve and Legendrian knots introduced by V. I. Arnold, we select which moves survive as those of Legendrian singu…
▽ More
We have two results. First, we give 96 generating sets oriented singular Reidemeister moves; it is an answer to a question by Bataineh, Khaled, Elhamdadi, and Hajij who give a generating set of oriented singular Reidemeister moves using their computation. Second, in the theory of plane curve and Legendrian knots introduced by V. I. Arnold, we select which moves survive as those of Legendrian singular knots and fronts diagrammatically and explicitly.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
New invariants of Legendrian knots
Authors:
Noboru Ito,
Masashi Takamura
Abstract:
We give new functions of Legendrian knots derived from Legendrian fronts. These are integer-valued linear functions that are alike the Arnold basic invariant of plane curves. Various generalizations of the Arnold basic invariant have been known. In this paper, we give another extension of Arnold's idea.
We give new functions of Legendrian knots derived from Legendrian fronts. These are integer-valued linear functions that are alike the Arnold basic invariant of plane curves. Various generalizations of the Arnold basic invariant have been known. In this paper, we give another extension of Arnold's idea.
△ Less
Submitted 4 December, 2021;
originally announced December 2021.
-
Milnor's triple linking number and Gauss diagram formulas of 3-bouquet graphs
Authors:
Noboru Ito,
Natsumi Oyamaguchi
Abstract:
In this paper, we introduce two functions such that the subtraction corresponds to the Milnor's triple linking number; the addition obtains a new integer-valued link homotopy invariant of $3$-component links. We also have found a series of integer-valued invariants derived from four terms whose sum equals the Milnor's triple linking number. We apply this structure to give invariants of $3$-bouquet…
▽ More
In this paper, we introduce two functions such that the subtraction corresponds to the Milnor's triple linking number; the addition obtains a new integer-valued link homotopy invariant of $3$-component links. We also have found a series of integer-valued invariants derived from four terms whose sum equals the Milnor's triple linking number. We apply this structure to give invariants of $3$-bouquet graphs.
△ Less
Submitted 28 May, 2022; v1 submitted 12 November, 2021;
originally announced November 2021.
-
On branching laws of Speh representations
Authors:
Nozomi Ito
Abstract:
In this paper, we consider the branching law of the Speh representation $\mathrm{Sp}(π,n+l)$ of $\mathrm{GL}_{2n+2l}$ with respect to the block diagonal subgroup $\mathrm{GL}_n\times\mathrm{GL}_{n+2l}$ for any irreducible generic representation $π$ of $\mathrm{GL}_2$ over any $p$-adic field. We use the Shalika model of $\mathrm{Sp}(π,n)$ to construct certain zeta integrals, which were defined by G…
▽ More
In this paper, we consider the branching law of the Speh representation $\mathrm{Sp}(π,n+l)$ of $\mathrm{GL}_{2n+2l}$ with respect to the block diagonal subgroup $\mathrm{GL}_n\times\mathrm{GL}_{n+2l}$ for any irreducible generic representation $π$ of $\mathrm{GL}_2$ over any $p$-adic field. We use the Shalika model of $\mathrm{Sp}(π,n)$ to construct certain zeta integrals, which were defined by Ginzburg and Kaplan independently, and study them. Finally, using these zeta integrals, we obtain a nonzero $\mathrm{GL}_n\times\mathrm{GL}_{n+2l}$-map from $\mathrm{Sp}(π,n+l)$ to $τ\boxtimesτ^\veeχ_π\times\mathrm{Sp}(π, l)$ for any irreducible representation $τ$ of $\mathrm{GL}_n$. These results form part of the local theory of the Miyawaki lifting for unitary groups.
△ Less
Submitted 21 November, 2021; v1 submitted 26 October, 2021;
originally announced October 2021.
-
Any nontrivial knot projection with no triple chords has a monogon or a bigon
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
A generic immersion of a circle into a $2$-sphere is often studied as a projection of a knot; it is called a knot projection. A chord diagram is a configuration of paired points on a circle; traditionally, the two points of each pair are connected by a chord. A triple chord is a chord diagram consisting of three chords, each of which intersects the other chords. Every knot projection obtains a cho…
▽ More
A generic immersion of a circle into a $2$-sphere is often studied as a projection of a knot; it is called a knot projection. A chord diagram is a configuration of paired points on a circle; traditionally, the two points of each pair are connected by a chord. A triple chord is a chord diagram consisting of three chords, each of which intersects the other chords. Every knot projection obtains a chord diagram in which every pair of points corresponds to the inverse image of a double point. In this paper, we show that for any knot projection $P$, if its chord diagram contains no triple chord, then there exists a finite sequence from $P$ to a simple closed curve such that the sequence consists of flat Reidemeister moves, each of which decreases $1$-gons or strong $2$-gons, where a strong $2$-gon is a $2$-gon oriented by an orientation of $P$.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
The tabulation of prime knot projections with their mirror images up to eight double points
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
This paper provides the complete table of prime knot projections with their mirror images, without redundancy, up to eight double points systematically thorough a finite procedure by flypes. In this paper, we show how to tabulate the knot projections up to eight double points by listing tangles with at most four double points by an approach with respect to rational tangles of J. H. Conway. In othe…
▽ More
This paper provides the complete table of prime knot projections with their mirror images, without redundancy, up to eight double points systematically thorough a finite procedure by flypes. In this paper, we show how to tabulate the knot projections up to eight double points by listing tangles with at most four double points by an approach with respect to rational tangles of J. H. Conway. In other words, for a given prime knot projection of an alternating knot, we show how to enumerate possible projections of the alternating knot. Also to tabulate knot projections up to ambient isotopy, we introduce arrow diagrams (oriented Gauss diagrams) of knot projections having no over/under information of each crossing, which were originally introduced as arrow diagrams of knot diagrams by M. Polyak and O. Viro. Each arrow diagram of a knot projection completely detects the difference between the knot projection and its mirror image.
△ Less
Submitted 22 August, 2021;
originally announced August 2021.
-
Plumbing and computation of crosscap number
Authors:
Noboru Ito,
Kaito Yamada
Abstract:
We introduce a "deformation" of plumbing. We also define a structure of data used in a calculation by computer aid of the crosscap numbers of alternating knots.
We introduce a "deformation" of plumbing. We also define a structure of data used in a calculation by computer aid of the crosscap numbers of alternating knots.
△ Less
Submitted 30 May, 2021;
originally announced May 2021.
-
Solving Challenging Large Scale QAPs
Authors:
Koichi Fujii,
Naoki Ito,
Sunyoung Kim,
Masakazu Kojima,
Yuji Shinano,
Kim-Chuan Toh
Abstract:
We report our progress on the project for solving larger scale quadratic assignment problems (QAPs). Our main approach to solve large scale NP-hard combinatorial optimization problems such as QAPs is a parallel branch-and-bound method efficiently implemented on a powerful computer system using the Ubiquity Generator (UG) framework that can utilize more than 100,000 cores. Lower bounding procedures…
▽ More
We report our progress on the project for solving larger scale quadratic assignment problems (QAPs). Our main approach to solve large scale NP-hard combinatorial optimization problems such as QAPs is a parallel branch-and-bound method efficiently implemented on a powerful computer system using the Ubiquity Generator (UG) framework that can utilize more than 100,000 cores. Lower bounding procedures incorporated in the branch-and-bound method play a crucial role in solving the problems. For a strong lower bounding procedure, we employ the Lagrangian doubly nonnegative (DNN) relaxation and the Newton-bracketing method developed by the authors' group. In this report, we describe some basic tools used in the project including the lower bounding procedure and branching rules, and present some preliminary numerical results.
Our next target problem is QAPs with dimension at least 50, as we have succeeded to solve tai30a and sko42 from QAPLIB for the first time.
△ Less
Submitted 23 January, 2021;
originally announced January 2021.
-
Jones polynomials of long virtual knots
Authors:
Noboru Ito
Abstract:
This paper defines versions of the Jones polynomial and Khovanov homology by using several maps from the set of Gauss diagrams to its variant. Through calculation of some examples, this paper also shows that these versions behave differently from the original ones.
This paper defines versions of the Jones polynomial and Khovanov homology by using several maps from the set of Gauss diagrams to its variant. Through calculation of some examples, this paper also shows that these versions behave differently from the original ones.
△ Less
Submitted 27 December, 2020;
originally announced December 2020.
-
Space of chord diagrams on spherical curves
Authors:
Noboru Ito
Abstract:
In this paper, we give a definition of $\mathbb{Z}$-valued functions from the ambient isotopy classes of spherical/plane curves derived from chord diagrams, denoted by $\sum_i α_i x_i$. Then, we introduce certain elements of the free $\mathbb{Z}$-module generated by the chord diagrams with at most $l$ chords, called relators of Type (I) ((SII), (WII), (SIII), or (WIII), resp.), and introduce anoth…
▽ More
In this paper, we give a definition of $\mathbb{Z}$-valued functions from the ambient isotopy classes of spherical/plane curves derived from chord diagrams, denoted by $\sum_i α_i x_i$. Then, we introduce certain elements of the free $\mathbb{Z}$-module generated by the chord diagrams with at most $l$ chords, called relators of Type (I) ((SII), (WII), (SIII), or (WIII), resp.), and introduce another function $\sum_i α_i \tilde{x}_i$ derived from $\sum_i α_i x_i$. The main result (Theorem~1) shows that if $\sum_i α_i \tilde{x}_i$ vanishes for the relators of Type (I) ((SII), (WII), (SIII), or (WIII), resp.), then $\sum_i α_i x_i$ is invariant under the Reidemeister move of type RI (strong RII, weak RII, strong RIII, or weak RIII, resp.) that is defined in [Ito-Takimura (2013), J. Knot Theory Ramifications].
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
Thirty-two equivalence relations on knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
We consider 32 homotopy classifications of knot projections (images of generic immersions from a circle into a 2-sphere). These 32 equivalence relations are obtained based on which moves are forbidden among the five type of Reidemeister moves. We show that 32 cases contain 20 non-trivial cases that are mutually different. To complete the proof, we obtain new tools, i.e., new invariants.
We consider 32 homotopy classifications of knot projections (images of generic immersions from a circle into a 2-sphere). These 32 equivalence relations are obtained based on which moves are forbidden among the five type of Reidemeister moves. We show that 32 cases contain 20 non-trivial cases that are mutually different. To complete the proof, we obtain new tools, i.e., new invariants.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
Strong and weak (1, 3) homotopies on knot Projections
Authors:
Noboru Ito,
Yusuke Takimura,
Kouki Taniyama
Abstract:
Strong and weak (1, 3) homotopies are equivalence relations on knot projections, defined by the first flat Reidemeister move and each of two different types of the third flat Reidemeister moves. In this paper, we introduce the cross chord number that is the minimal number of double points of chords of a chord diagram. Cross chord numbers induce a strong (1, 3) invariant. We show that Hanaki's triv…
▽ More
Strong and weak (1, 3) homotopies are equivalence relations on knot projections, defined by the first flat Reidemeister move and each of two different types of the third flat Reidemeister moves. In this paper, we introduce the cross chord number that is the minimal number of double points of chords of a chord diagram. Cross chord numbers induce a strong (1, 3) invariant. We show that Hanaki's trivializing number is a weak (1, 3) invariant. We give a complete classification of knot projections having trivializing number two up to the first flat Reidemeister moves using cross chord numbers and the positive resolutions of double points. Two knot projections with trivializing number two are both weak (1, 3) homotopy equivalent and strong (1, 3) homotopy equivalent if and only if they can be related by only the first flat Reidemeister moves. Finally, we determine the strong (1, 3) homotopy equivalence class containing the trivial knot projection and other classes of knot projections.
△ Less
Submitted 1 December, 2020;
originally announced December 2020.
-
On a nontrivial knot projection under (1, 3) homotopy
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
In 2001, Östlund formulated the question: are Reidemeister moves of types 1 and 3 sufficient to describe a homotopy from any generic immersion of a circle in a two-dimensional plane to an embedding of the circle? The positive answer to this question was treated as a conjecture (Östlund conjecture). In 2014, Hagge and Yazinski disproved the conjecture by showing the first counterexample with a mini…
▽ More
In 2001, Östlund formulated the question: are Reidemeister moves of types 1 and 3 sufficient to describe a homotopy from any generic immersion of a circle in a two-dimensional plane to an embedding of the circle? The positive answer to this question was treated as a conjecture (Östlund conjecture). In 2014, Hagge and Yazinski disproved the conjecture by showing the first counterexample with a minimal crossing number of 16. This example is naturally extended to counterexamples with given even minimal crossing numbers more than 14. This paper obtains the first counterexample with a minimal crossing number of 15. This example is naturally extended to counterexamples with given odd minimal crossing numbers more than 13.
△ Less
Submitted 29 November, 2020;
originally announced November 2020.
-
Circle arrangements of link projections
Authors:
Noboru Ito,
Shosaku Matsuzaki,
Kouki Taniyama
Abstract:
An oriented link projection is the image of a generic immersion of oriented circles into the 2-sphere. The circle arrangement of a link projection is a disjoint union of unoriented circles on the 2-sphere obtained by orientation-incoherent smoothing at each crossing point. We show that two oriented link projections have the same circle arrangement if and only if they are transformed into each othe…
▽ More
An oriented link projection is the image of a generic immersion of oriented circles into the 2-sphere. The circle arrangement of a link projection is a disjoint union of unoriented circles on the 2-sphere obtained by orientation-incoherent smoothing at each crossing point. We show that two oriented link projections have the same circle arrangement if and only if they are transformed into each other by certain local moves. We also show that every odd (resp. even) component link has a link projection whose circle arrangement consists of exactly one (resp. two) circles.
△ Less
Submitted 20 November, 2020;
originally announced November 2020.
-
Strong and weak (1, 2) homotopies on knot projections and new invariants
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
Every second flat Reidemeister move of knot projections can be decomposed into two types thorough an inverse or direct self-tangency modification, respectively called strong or weak, when orientations of the knot projections are arbitrarily provided. Further, we introduce the notions of strong and weak (1, 2) homotopies; we define that two knot projections are strongly (resp. weakly) (1, 2) homoto…
▽ More
Every second flat Reidemeister move of knot projections can be decomposed into two types thorough an inverse or direct self-tangency modification, respectively called strong or weak, when orientations of the knot projections are arbitrarily provided. Further, we introduce the notions of strong and weak (1, 2) homotopies; we define that two knot projections are strongly (resp. weakly) (1, 2) homotopic if and only if two knot projections are related by a finite sequence of first and strong (resp. weak) second flat Reidemeister moves. This paper gives a new necessary and sufficient condition that two knot projections are not strongly (1, 2) homotopic. Similarly, we obtain a new necessary and sufficient condition in the weak (1, 2) homotopy case. We also define a new integer-valued strong (1, 2) homotopy invariant. Using it, we show that the set of the non-trivial prime knot projections without 1-gons that can be trivialized under strong (1, 2) homotopy is disjoint from that of weak (1, 2) homotopy. We also investigate topological properties of the new invariant and give its generalization, a comparison of our invariants and Arnold invariants, and a table of invariants.
△ Less
Submitted 14 November, 2020;
originally announced November 2020.
-
RII number of knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
Every knot projection is simplified to the trivial spherical curve not increasing double points by using deformations of types 1, 2, and 3 which are analogies of Reidemeister moves of types 1, 2, and 3 on knot diagrams. We introduce RII number of a knot projection that is the minimum number of deformations of negative type 2 among such sequences. By definition, it is invariant under deformations o…
▽ More
Every knot projection is simplified to the trivial spherical curve not increasing double points by using deformations of types 1, 2, and 3 which are analogies of Reidemeister moves of types 1, 2, and 3 on knot diagrams. We introduce RII number of a knot projection that is the minimum number of deformations of negative type 2 among such sequences. By definition, it is invariant under deformations of types 1 and 3. This is motivated by Östlund conjecture: Deformations of type 1 and 3 are sufficient to describe a homotopy from any generic immersion of a circle in a two dimensional plane to an embedding of the circle (2001), which implies RII number always would be zero. However, Hagge and Yazinski disproved the conjecture by showing the first counterexample with 16 double points, which implies that RII number is nontrivial. This paper shows that RII number can be any nonnegative number.
△ Less
Submitted 21 October, 2020;
originally announced October 2020.
-
Crosscap number and knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
We introduce an unknotting-type number of knot projections that gives an upper bound of the crosscap number of knots. We determine the set of knot projections with the unknotting-type number at most two, and this result implies classical and new results that determine the set of alternating knots with the crosscap number at most two.
We introduce an unknotting-type number of knot projections that gives an upper bound of the crosscap number of knots. We determine the set of knot projections with the unknotting-type number at most two, and this result implies classical and new results that determine the set of alternating knots with the crosscap number at most two.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
On $n$-trivialities of classical and virtual knots for some unknotting operations
Authors:
Noboru Ito,
Migiwa Sakurai
Abstract:
In this paper, we introduce a new nontrivial filtration, called F-order, for classical and virtual knot invariants; this filtration produces filtered knot invariants, which are called finite type invariants similar to Vassiliev knot invariants. Finite type invariants introduced by Goussarov, Polyak, and Viro are well-known, and we call them finite type invariants of GPV-order. We show that for any…
▽ More
In this paper, we introduce a new nontrivial filtration, called F-order, for classical and virtual knot invariants; this filtration produces filtered knot invariants, which are called finite type invariants similar to Vassiliev knot invariants. Finite type invariants introduced by Goussarov, Polyak, and Viro are well-known, and we call them finite type invariants of GPV-order. We show that for any positive integer $n$ and for any classical knot $K$, there exist infinitely many of nontrivial classical knots, all of whose finite type invariants of GPV-order $< n$, coincide with those of $K$ (Theorem 1). Further, we show that for any positive integer n, there exists a nontrivial virtual knot whose finite type invariants of our F-order $< n$ coincide with those of the trivial knot (Theorem 2). In order to prove Theorem 1 (Theorem 2, resp.), we define an n-triviality via a certain unknotting operation, called virtualization (forbidden moves, resp.), and for any positive integer n, find an n-trivial classical knot (virtual knot, resp.).
△ Less
Submitted 6 August, 2020;
originally announced August 2020.
-
Knot projections with reductivity two
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
Reductivity of knot projections refers to the minimum number of splices of double points needed to obtain reducible knot projections. Considering the type and method of splicing (Seifert type splice or non-Seifert type splice, recursively or simultaneously), we can obtain four reductivities containing Shimizu's reductivity, three of which are new. In this paper, we determine knot projections with…
▽ More
Reductivity of knot projections refers to the minimum number of splices of double points needed to obtain reducible knot projections. Considering the type and method of splicing (Seifert type splice or non-Seifert type splice, recursively or simultaneously), we can obtain four reductivities containing Shimizu's reductivity, three of which are new. In this paper, we determine knot projections with reductivity two for all four of the definitions. We also provide easily calculated lower bounds for some reductivities. Further, we detail properties of each reductivity, and describe relationships among the four reductivities with examples.
△ Less
Submitted 17 June, 2020;
originally announced June 2020.
-
Gauss diagram formulas of Vassiliev invariants of spatial 2-bouquet graphs
Authors:
Noboru Ito,
Natsumi Oyamaguchi
Abstract:
We introduce new formulas that are Vassiliev invariants of flat vertex isotopy classes of spatial 2-bouquet graphs, which are equivalent to 2-string links. Although any Gauss diagram formula of Vassiliev invariants of spatial 2-bouquet graphs in a 3-space has been unknown, this paper gives the first and simple example.
We introduce new formulas that are Vassiliev invariants of flat vertex isotopy classes of spatial 2-bouquet graphs, which are equivalent to 2-string links. Although any Gauss diagram formula of Vassiliev invariants of spatial 2-bouquet graphs in a 3-space has been unknown, this paper gives the first and simple example.
△ Less
Submitted 9 July, 2020; v1 submitted 6 June, 2020;
originally announced June 2020.
-
Survey and remarks on Viro's definition of Khovanov homology
Authors:
Noboru Ito
Abstract:
This paper reviews and offers remarks upon Viro's definition of the Khovanov homology of the Kauffman bracket of unoriented framed tangles (Sec. 2). The review is based on a file of his talk. This definition contains an exposition of the relation between the $R$-matrix and the Kauffman bracket (Sec. 2.2).
This paper reviews and offers remarks upon Viro's definition of the Khovanov homology of the Kauffman bracket of unoriented framed tangles (Sec. 2). The review is based on a file of his talk. This definition contains an exposition of the relation between the $R$-matrix and the Kauffman bracket (Sec. 2.2).
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
A cobordism realizing crossing change on $\mathfrak{sl}_2$ tangle homology and a categorified Vassiliev skein relation
Authors:
Noboru Ito,
Jun Yoshida
Abstract:
In this paper, we discuss degree 0 crossing change on Khovanov homology in terms of cobordisms. Namely, using Bar-Natan's formalism of Khovanov homology, we introduce a sum of cobordisms that yields a morphism on complexes of two diagrams of crossing change, which we call the "genus-one morphism." It is proved that the morphism is invariant under the moves of double points in tangle diagrams. As a…
▽ More
In this paper, we discuss degree 0 crossing change on Khovanov homology in terms of cobordisms. Namely, using Bar-Natan's formalism of Khovanov homology, we introduce a sum of cobordisms that yields a morphism on complexes of two diagrams of crossing change, which we call the "genus-one morphism." It is proved that the morphism is invariant under the moves of double points in tangle diagrams. As a consequence, in the spirit of Vassiliev theory, taking iterated mapping cones, we obtain an invariant for singular tangles that extending sl(2) tangle homology; examples include Lee homology, Bar-Natan homology, and Naot's universal Khovanov homology as well as Khovanov homology with arbitrary coefficients. We also verify that the invariant satisfies categorified analogues of Vassiliev skein relation and the FI relation.
△ Less
Submitted 31 July, 2020; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Triple chords and strong (1, 2) homotopy
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
A triple chord is a sub-diagram of a chord diagram that consists of a circle and finitely many chords connecting the preimages for every double point on a spherical curve, and it has exactly three chords giving the triple intersection. This paper describes some relationships between the number of triple chords and an equivalence relation called strong (1, 2) homotopy, which consists of the first a…
▽ More
A triple chord is a sub-diagram of a chord diagram that consists of a circle and finitely many chords connecting the preimages for every double point on a spherical curve, and it has exactly three chords giving the triple intersection. This paper describes some relationships between the number of triple chords and an equivalence relation called strong (1, 2) homotopy, which consists of the first and one kind of the second Reidemeister moves involving inverse self-tangency if the curve is given any orientation. We show that a prime knot projection is trivialized by strong (1, 2) homotopy, if it is a simple closed curve or a prime knot projection without 1- and 2-gons whose chord diagram does not contain any triple chords. We also discuss the relation between Shimizu's reductivity and triple chords.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Strong and weak (1, 2, 3) homotopies on knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
A knot projection is an image of a generic immersion from a circle into a two-dimensional sphere. We can find homotopies between any two knot projections by local replacements of knot projections of three types, called Reidemeister moves. This paper defines an equivalence relation for knot projections called weak (1, 2, 3) homotopy, which consists of Reidemeister moves of type 1, weak type 2, and…
▽ More
A knot projection is an image of a generic immersion from a circle into a two-dimensional sphere. We can find homotopies between any two knot projections by local replacements of knot projections of three types, called Reidemeister moves. This paper defines an equivalence relation for knot projections called weak (1, 2, 3) homotopy, which consists of Reidemeister moves of type 1, weak type 2, and weak type 3. This paper defines the first non-trivial invariant under weak (1, 2, 3) homotopy. We use this invariant to show that there exist an infinite number of weak (1, 2, 3) homotopy equivalence classes of knot projections. By contrast, all equivalence classes of knot projections consisting of the other variants of a triple type, i.e., Reidemeister moves of (1, strong type 2, strong type 3), (1, weak type 2, strong type 3), and (1, strong type 2, weak type 3), are contractible.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
Sub-chord diagrams of knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
A chord diagram is a circle with paired points with each pair of points connected by a chord. Every generic immersed spherical curve provides a chord diagram by associating each chord with two preimages of a double point. Any two spherical curves can be related by a finite sequence of three types of local replacement RI, RII, and RIII, called Reidemeister moves. This study counts the difference in…
▽ More
A chord diagram is a circle with paired points with each pair of points connected by a chord. Every generic immersed spherical curve provides a chord diagram by associating each chord with two preimages of a double point. Any two spherical curves can be related by a finite sequence of three types of local replacement RI, RII, and RIII, called Reidemeister moves. This study counts the difference in the numbers of sub-chord diagrams embedded in a full chord diagram of any spherical curve by applying one of the moves RI, strong RII, weak RII, strong RIII, and weak RIII defined by connections of branches related to the local replacements (Theorem 1). This yields a new integer-valued invariant under RI and strong RIII that provides a complete classification of prime reduced spherical curves with up to at least seven double points (Theorem 2, Fig. 24): there has been no such invariant before. The invariant expresses the necessary and sufficient condition that spherical curves can be related to a simple closed curve by a finite sequence of RI and strong RIII moves (Theorem 3). Moreover, invariants of spherical curves under flypes are provided by counting sub-chord diagrams (Theorem 4).
△ Less
Submitted 1 May, 2020;
originally announced May 2020.
-
Higher-order finite type invariants of classical and virtual knots and unknotting operations
Authors:
Noboru Ito,
Migiwa Sakurai
Abstract:
Vassiliev introduced filtered invariants of knots using an unknotting operation, called crossing changes. Goussarov, Polyak, and Viro introduced other filtered invariants of virtual knots, which order is called GPV-order, using an unknotting operation, called virtualization. We defined other filtered invariants, which order is called $F$-order, of virtual knots using an unknotting operation, calle…
▽ More
Vassiliev introduced filtered invariants of knots using an unknotting operation, called crossing changes. Goussarov, Polyak, and Viro introduced other filtered invariants of virtual knots, which order is called GPV-order, using an unknotting operation, called virtualization. We defined other filtered invariants, which order is called $F$-order, of virtual knots using an unknotting operation, called forbidden moves. In this paper, we show that the set of virtual knot invariants of $F$-order $\le n+1$ is strictly stronger than that of $F$-order $\le n$ and that of GPV-order $\le 2n+1$. To obtain the result, we show that the set of virtual knot invariants of $F$-order $\le n$ contains every Goussarov-Polyak-Viro invariant of GPV-order $\le 2n+1$, which implies that the set of virtual knot invariants of $F$-order is a complete invariant of classical and virtual knots.
△ Less
Submitted 30 April, 2020;
originally announced April 2020.
-
Based chord diagrams of spherical curves
Authors:
Noboru Ito
Abstract:
This paper demonstrates an approach for developing a framework to produce invariants of base-point-free generic spherical curves under some chosen local moves from Reidemeister moves using based chord diagrams. Our invariants not only contain Arnold's classical generic spherical curve invariant but also new invariants.
This paper demonstrates an approach for developing a framework to produce invariants of base-point-free generic spherical curves under some chosen local moves from Reidemeister moves using based chord diagrams. Our invariants not only contain Arnold's classical generic spherical curve invariant but also new invariants.
△ Less
Submitted 25 April, 2020;
originally announced April 2020.
-
A colored Khovanov bicomplex
Authors:
Noboru Ito
Abstract:
In this note, we prove the existence of a tri-graded Khovanov-type bicomplex (Theorem 1.2). The graded Euler characteristic of the total complex associated with this bicomplex is the colored Jones polynomial of a link. The first grading of the bicomplex is a homological one derived from cabling of the link (i.e., replacing a strand of the link with several parallel strands); the second grading is…
▽ More
In this note, we prove the existence of a tri-graded Khovanov-type bicomplex (Theorem 1.2). The graded Euler characteristic of the total complex associated with this bicomplex is the colored Jones polynomial of a link. The first grading of the bicomplex is a homological one derived from cabling of the link (i.e., replacing a strand of the link with several parallel strands); the second grading is related to the homological grading of ordinary Khovanov homology; finally, the third grading is preserved by the differentials, and corresponds to the degree of the variable in the colored Jones polynomial. In particular, we introduce a way to take a small cabling link diagram directly from a big cabling link diagram (Theorem 3.2). This is a refined version of arXiv:0907.5247.
△ Less
Submitted 17 April, 2020;
originally announced April 2020.
-
(1, 2) and weak (1, 3) homotopies on knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
In this paper, we obtain the necessary and sufficient condition that two knot projections are related by a finite sequence of the first and second flat Reidemeister moves (Theorem 1). We also consider an equivalence relation that is called weak (1, 3) homotopy. This equivalence relation occurs by the first flat Reidemeister move and one of the third flat Reidemeister moves. We introduce a map send…
▽ More
In this paper, we obtain the necessary and sufficient condition that two knot projections are related by a finite sequence of the first and second flat Reidemeister moves (Theorem 1). We also consider an equivalence relation that is called weak (1, 3) homotopy. This equivalence relation occurs by the first flat Reidemeister move and one of the third flat Reidemeister moves. We introduce a map sending weak (1, 3) homotopy classes to knot isotopy classes (Sec. 3). Using the map, we determine which knot projections are trivialized under weak (1, 3) homotopy (Corollary 3).
△ Less
Submitted 14 April, 2020;
originally announced April 2020.
-
On Khovanov complexes
Authors:
Noboru Ito
Abstract:
In this paper, we discuss a proof of the isotopy invariance of a parametrized Khovanov link homology including categorifications of the Jones polynomial and the Kauffman bracket polynomial though it is a known fact. In order to present a proof easy-to-follow, we give an explicit description of retractions and chain homotopies between complexes to induce the invariance under isotopy of links. This…
▽ More
In this paper, we discuss a proof of the isotopy invariance of a parametrized Khovanov link homology including categorifications of the Jones polynomial and the Kauffman bracket polynomial though it is a known fact. In order to present a proof easy-to-follow, we give an explicit description of retractions and chain homotopies between complexes to induce the invariance under isotopy of links. This is a refined version of arXiv: 0907.2104.
△ Less
Submitted 7 April, 2020;
originally announced April 2020.
-
New deformations on spherical curves and Östlund Conjecture
Authors:
Megumi Hashizume,
Noboru Ito
Abstract:
In 2018, Funakoshi, Hashizume, Ito, Kobayashi, and Murai used a deformation of spherical curves called deformation type $α$. Then, it was showed that if two spherical curves $P$ and $P'$ are equivalent under the relation consisting of deformations of type RI and type RIII up to ambient isotopy, and satisfy certain conditions, then $P'$ is obtained from $P$ by a finite sequence of deformations of t…
▽ More
In 2018, Funakoshi, Hashizume, Ito, Kobayashi, and Murai used a deformation of spherical curves called deformation type $α$. Then, it was showed that if two spherical curves $P$ and $P'$ are equivalent under the relation consisting of deformations of type RI and type RIII up to ambient isotopy, and satisfy certain conditions, then $P'$ is obtained from $P$ by a finite sequence of deformations of type $α$. In this paper, we introduce a new type of deformations of spherical curves, called deformation of type $β$. The main result of this paper is: Two spherical curves $P$ and $P'$ are equivalent under (possibly empty) deformations of type RI and a single deformation of type RIII up to ambient isotopy if and only if reduced(P) and reduced(P') are transformed each other by exactly one deformation which is of type RIII, type $α$, or type $β$ up to ambient isotopy, where reduced(Q) is the spherical curve which does not contain a $1$-gon obtained from a spherical curve $Q$ by applying deformations of type RI up to ambient isotopy.
△ Less
Submitted 29 March, 2020;
originally announced March 2020.
-
On Miyawaki lifts with respect to Hermitian Maass lifts
Authors:
Nozomi Ito
Abstract:
In this paper, we discuss the representation-theoretical Miyawaki lift for unitary groups in terms of the endoscopic classification. We give an explicit determination of Miyawaki lifts for U(1) and U(3) with respect to Hermitian Maass lifts, namely Ikeda lifts for U(4).
In this paper, we discuss the representation-theoretical Miyawaki lift for unitary groups in terms of the endoscopic classification. We give an explicit determination of Miyawaki lifts for U(1) and U(3) with respect to Hermitian Maass lifts, namely Ikeda lifts for U(4).
△ Less
Submitted 21 May, 2020; v1 submitted 22 November, 2019;
originally announced November 2019.
-
Crossing change on Khovanov homology and a categorified Vassiliev skein relation
Authors:
Noboru Ito,
Jun Yoshida
Abstract:
Khovanov homology is a categorification of the Jones polynomial, so it may be seen as a kind of quantum invariant of knots and links. Although polynomial quantum invariants are deeply involved with Vassiliev (aka. finite type) invariants, the relation remains unclear in case of Khovanov homology. Aiming at it, in this paper, we discuss a categorified version of Vassiliev skein relation on Khovanov…
▽ More
Khovanov homology is a categorification of the Jones polynomial, so it may be seen as a kind of quantum invariant of knots and links. Although polynomial quantum invariants are deeply involved with Vassiliev (aka. finite type) invariants, the relation remains unclear in case of Khovanov homology. Aiming at it, in this paper, we discuss a categorified version of Vassiliev skein relation on Khovanov homology. More precisely, we will show that the "genus-one" operation gives rise to a crossing change on Khovanov complexes. Invariance under Reidemeister moves turns out, and it enables us to extend Khovanov homology to singular links. We then see that a long exact sequence of Khovanov homology groups categorifies Vassiliev skein relation for the Jones polynomials. In particular, the Jones polynomial is recovered even for singular links. We in addition discuss the FI relation on Khovanov homology.
△ Less
Submitted 21 November, 2019;
originally announced November 2019.
-
Arrow diagrams on spherical curves and computations
Authors:
Noboru Ito,
Masashi Takamura
Abstract:
We give a definition of an integer-valued function $\sum_i α_i x ^*_i$ derived from arrow diagrams for the ambient isotopy classes of oriented spherical curves. Then, we introduce certain elements of the free $\mathbb{Z}$-module generated by the arrow diagrams with at most $l $ arrows, called relators of Type~($\check{\rm{I}}$) (($\check{\rm{SI\!I} }$), ($\check{\rm{WI\!I}}$), (…
▽ More
We give a definition of an integer-valued function $\sum_i α_i x ^*_i$ derived from arrow diagrams for the ambient isotopy classes of oriented spherical curves. Then, we introduce certain elements of the free $\mathbb{Z}$-module generated by the arrow diagrams with at most $l $ arrows, called relators of Type~($\check{\rm{I}}$) (($\check{\rm{SI\!I} }$), ($\check{\rm{WI\!I}}$), ($\check{\rm{SI\!I\!I}}$), or ($\check{\rm{ WI\!I\!I}}$), resp.), and introduce another function $\sum_i α_i \tilde{x}^*_i$ to obtain $\sum_i α_i x^*_i$. One of the main results shows that if $\sum_i α_i \tilde{x}^*_i$ vanishes on finitely many relators of Type~($\check{\rm{I}}$) (($\check{\rm{SI\!I}}$) , ($\check{\rm{WI\!I}}$), ($\check{\rm{SI\!I\!I}}$), or ($\check{\rm{WI\! I\!I}}$), resp.), then $\sum_i α_i \tilde{x}$ is invariant under the deformation of type $\rm{RI}$ (strong$\rm{RI\!I}$, weak$\rm{RI\!I}$, strong$\rm{RI\!I\!I}$, or weak$\rm{RI\!I\!I}$, resp.). The other main result is that we obtain functions of arrow diagrams with up to six arrows. This computation is done with the aid of computers.
△ Less
Submitted 15 August, 2019;
originally announced August 2019.
-
On a Poincaré polynomial from Khovanov homology and Vassiliev invariants
Authors:
Noboru Ito,
Masaya Kameyama
Abstract:
We introduce a Poincaré polynomial with two-variable $t$ and $x$ for knots, derived from Khovanov homology, where the specialization $(t, x)$ $=$ $(1, -1)$ is a Vassiliev invariant of order $n$. Since for every $n$, there exist non-trivial knots with the same value of the Vassiliev invariant of order $n$ as that of the unknot, there has been no explicit formulation of a perturbative knot invariant…
▽ More
We introduce a Poincaré polynomial with two-variable $t$ and $x$ for knots, derived from Khovanov homology, where the specialization $(t, x)$ $=$ $(1, -1)$ is a Vassiliev invariant of order $n$. Since for every $n$, there exist non-trivial knots with the same value of the Vassiliev invariant of order $n$ as that of the unknot, there has been no explicit formulation of a perturbative knot invariant which is a coefficient of $y^n$ by the replacement $q=e^y$ for the quantum parameter $q$ of a quantum knot invariant, and which distinguishes the above knots together with the unknot. The first formulation is our polynomial.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
Goussarov-Polyak-Viro Conjecture for degree three case
Authors:
Noboru Ito,
Yuka Kotorii,
Masashi Takamura
Abstract:
Although it is known that the dimension of the Vassiliev invariants of degree three of long virtual knots is seven, the complete list of seven distinct Gauss diagram formulas have been unknown explicitly, where only one known formula was revised without proof. In this paper, we give seven Gauss diagram formulas to present the seven invariants of the degree three (Proposition 4). We further give 23…
▽ More
Although it is known that the dimension of the Vassiliev invariants of degree three of long virtual knots is seven, the complete list of seven distinct Gauss diagram formulas have been unknown explicitly, where only one known formula was revised without proof. In this paper, we give seven Gauss diagram formulas to present the seven invariants of the degree three (Proposition 4). We further give 23 Gauss diagram formulas of classical knots (Proposition 5). In particular, the Polyak-Viro Gauss diagram formula [19] is not a long virtual knot invariant; however, it is included in the list of 23 formulas. It has been unknown whether this formula would be available by arrow diagram calculus automatically. In consequence, as it relates to the conjecture of Goussarov-Polyak-Viro [8, Conjecture 3.C], for all the degree three finite type long virtual knot invariants, each Gauss diagram formula is represented as those of Vassiliev invariants of classical knots (Theorem 1).
△ Less
Submitted 20 August, 2023; v1 submitted 3 May, 2019;
originally announced May 2019.
-
BBCPOP: A Sparse Doubly Nonnegative Relaxation of Polynomial Optimization Problems with Binary, Box and Complementarity Constraints
Authors:
Naoki Ito,
Sunyoung Kim,
Masakazu Kojima,
Akiko Takeda,
Kim-Chuan Toh
Abstract:
The software package BBCPOP is a MATLAB implementation of a hierarchy of sparse doubly nonnegative (DNN) relaxations of a class of polynomial optimization (minimization) problems (POPs) with binary, box and complementarity (BBC) constraints. Given a POP in the class and a relaxation order, BBCPOP constructs a simple conic optimization problem (COP), which serves as a DNN relaxation of the POP, and…
▽ More
The software package BBCPOP is a MATLAB implementation of a hierarchy of sparse doubly nonnegative (DNN) relaxations of a class of polynomial optimization (minimization) problems (POPs) with binary, box and complementarity (BBC) constraints. Given a POP in the class and a relaxation order, BBCPOP constructs a simple conic optimization problem (COP), which serves as a DNN relaxation of the POP, and then solves the COP by applying the bisection and projection (BP) method. The COP is expressed with a linear objective function and constraints described as a single hyperplane and two cones, which are the Cartesian product of positive semidefinite cones and a polyhedral cone induced from the BBC constraints. BBCPOP aims to compute a tight lower bound for the optimal value of a large-scale POP in the class that is beyond the comfort zone of existing software packages. The robustness, reliability and efficiency of BBCPOP are demonstrated in comparison to the state-of-the-art software SDP package SDPNAL+ on randomly generated sparse POPs of degree 2 and 3 with up to a few thousands variables, and ones of degree 4, 5, 6. and 8 with up to a few hundred variables. Comparison with other BBC POPs that arise from combinatorial optimization problems such as quadratic assignment problems are also reported. The software package BBCPOP is available at https://sites.google.com/site/bbcpop1/.
△ Less
Submitted 2 April, 2018;
originally announced April 2018.
-
Lorentzian Darboux images of curves on spacelike surfaces in Lorentz-Minkowski 3-space
Authors:
Noriaki Ito,
Shyuichi Izumiya
Abstract:
For a regular curve on a spacelike surface in Lorentz-Minkowski $3$-space, we have a moving frame along the curve which is called a Lorentzian Darboux frame. We introduce five special vector fields along the curve associated to the Lorentzian Darboux frame and investigate their singularities.
For a regular curve on a spacelike surface in Lorentz-Minkowski $3$-space, we have a moving frame along the curve which is called a Lorentzian Darboux frame. We introduce five special vector fields along the curve associated to the Lorentzian Darboux frame and investigate their singularities.
△ Less
Submitted 20 January, 2016;
originally announced January 2016.
-
Minimal state space realizations in Jacobson normal form
Authors:
Naoharo Ito,
Wiland Schmale,
Harald Wimmer
Abstract:
We derive a procedure for a minimal state space realization of a rational transfer matrix over an arbitrary eld. The procedure is based on the Smith- McMillan form and leads to a state transition matrix in Jacobson normal form.
We derive a procedure for a minimal state space realization of a rational transfer matrix over an arbitrary eld. The procedure is based on the Smith- McMillan form and leads to a state transition matrix in Jacobson normal form.
△ Less
Submitted 5 January, 2016;
originally announced January 2016.
-
A New Dynamic Pricing Model based on Convex Hull Pricing
Authors:
Naoki Ito,
Akiko Takeda,
Toru Namerikawa
Abstract:
This paper presents a new dynamic pricing model (a.k.a. real-time pricing) that reflects startup costs of generators. Dynamic pricing, which is a method to control demand by pricing electricity at hourly (or more often) intervals, has been studied by many researchers. They assume that the cost functions of suppliers are convex, although they may be nonconvex because of the startup costs of generat…
▽ More
This paper presents a new dynamic pricing model (a.k.a. real-time pricing) that reflects startup costs of generators. Dynamic pricing, which is a method to control demand by pricing electricity at hourly (or more often) intervals, has been studied by many researchers. They assume that the cost functions of suppliers are convex, although they may be nonconvex because of the startup costs of generators in practice. We provide a dynamic pricing model that takes into account such cost functions within the settings of unit commitment problems (UCPs). Our model gives convex hull price (CHP), which has not been used in the context of dynamic pricing, though it is known that the CHP minimizes the uplift payment which is disadvantageous to suppliers for a given demand. In addition, we apply an iterative algorithm based on the subgradient method to solve our model. Numerical experiments show the efficiency of our model on reducing uplift payments. The prices determined by our algorithm give sufficiently small uplift payments in a realistic computational time.
△ Less
Submitted 4 March, 2014; v1 submitted 18 October, 2013;
originally announced October 2013.