Showing 1–50 of 137 results for author: Ito, N

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 develo** parts of sections 3 and 6 in arXiv: 0901.3956. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Comments: 14 pages

Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions

Authors: Yuri Alexeev, Maximilian Amsler, Paul Baity, Marco Antonio Barroca, Sanzio Bassini, Torey Battelle, Daan Camps, David Casanova, Young jai Choi, Frederic T. Chong, Charles Chung, Chris Codella, Antonio D. Corcoles, James Cruise, Alberto Di Meglio, Jonathan Dubois, Ivan Duran, Thomas Eckl, Sophia Economou, Stephan Eidenbenz, Bruce Elmegreen, Clyde Fare, Ismael Faro, Cristina Sanz Fernández, Rodrigo Neumann Barros Ferreira , et al. (102 additional authors not shown)

Abstract: Computational models are an essential tool for the design, characterization, and discovery of novel materials. Hard computational tasks in materials science stretch the limits of existing high-performance supercomputing centers, consuming much of their simulation, analysis, and data resources. Quantum computing, on the other hand, is an emerging technology with the potential to accelerate many of… ▽ More Computational models are an essential tool for the design, characterization, and discovery of novel materials. Hard computational tasks in materials science stretch the limits of existing high-performance supercomputing centers, consuming much of their simulation, analysis, and data resources. Quantum computing, on the other hand, is an emerging technology with the potential to accelerate many of the computational tasks needed for materials science. In order to do that, the quantum technology must interact with conventional high-performance computing in several ways: approximate results validation, identification of hard problems, and synergies in quantum-centric supercomputing. In this paper, we provide a perspective on how quantum-centric supercomputing can help address critical computational problems in materials science, the challenges to face in order to solve representative use cases, and new suggested directions. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 60 pages, 14 figures; comments welcome

Scaling laws of failure dynamics on complex networks

Authors: G. Pál, Zs. Danku, A. Batool, V. Kádár, N. Yoshioka, N. Ito, G. Ódor, F. Kun

Abstract: The topology of the network of load transmitting connections plays an essential role in the cascading failure dynamics of complex systems driven by the redistribution of load after local breakdown events. In particular, as the network structure is gradually tuned from regular to completely random a transition occurs from the localized to mean field behavior of failure spreading. Based on finite si… ▽ More The topology of the network of load transmitting connections plays an essential role in the cascading failure dynamics of complex systems driven by the redistribution of load after local breakdown events. In particular, as the network structure is gradually tuned from regular to completely random a transition occurs from the localized to mean field behavior of failure spreading. Based on finite size scaling in the fiber bundle model of failure phenomena, here we demonstrate that outside the localized regime, the load bearing capacity and damage tolerance on the macro-scale, and the statistics of clusters of failed nodes on the micro-scale obey scaling laws with exponents which depend on the topology of the load transmission network and on the degree of disorder of the strength of nodes. Most notably, we show that the spatial structure of damage governs the emergence of the localized to mean field transition: as the network gets gradually randomized failed clusters formed on locally regular patches merge through long range links generating a percolation like transition which reduces the load concentration on the network. The results may help to design network structures with an improved robustness against cascading failure. △ Less

Submitted 17 November, 2023; originally announced November 2023.

Comments: 14 pages, 7 figures

Journal ref: Scientific Reports 13, 19733 (2023)

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.

Optical and X-ray variations during 5 outbursts of Aql X-1 in 3.6 years from 2016

Authors: Masafumi Niwano, Katsuhiro L. Murata, Naohiro Ito, Yoichi Yatsu, Nobuyuki Kawai

Abstract: We analyzed optical/X-ray quasi-simultaneous light curves of Aql X-1, obtained by MAXI (Monitor of All-sky X-ray Image), ZTF (Zwicky Transient Facility) and LCO (Las Cumbres Observatory) in about 3.6 years from 2016, for understanding electromagnetic radiation mechanisms during its outbursts. As a result, we confirmed that 5 outbursts had detected in the epoch, and that 3 outbursts underwent the X… ▽ More We analyzed optical/X-ray quasi-simultaneous light curves of Aql X-1, obtained by MAXI (Monitor of All-sky X-ray Image), ZTF (Zwicky Transient Facility) and LCO (Las Cumbres Observatory) in about 3.6 years from 2016, for understanding electromagnetic radiation mechanisms during its outbursts. As a result, we confirmed that 5 outbursts had detected in the epoch, and that 3 outbursts underwent the X-ray state transition across Low-Hard, In-Transition, and High-Soft state while remaining 2 outbursts stayed in the Low-Hard state. We found that the optical spectral energy distribution in the High-Soft state is consistent with a simplified irradiated disk model, and that the optical color/magnitude variation can be explained by variations in the X-ray luminosity and the disk geometrical thickness. △ Less

Submitted 22 August, 2023; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: 9 pages, 10 figures, 3 tables, accepted for publication in MNRAS

Channel length dependence of the formation of quantum dots in GaN/AlGaN FETs

Authors: Kazuma Matsumura, Takaya Abe, Takahito Kitada, Takeshi Kumasaka, Norikazu Ito, Taketoshi Tanaka, Ken Nakahara, Tomohiro Otsuka

Abstract: Quantum dots can be formed in simple GaN/AlGaN field-effect-transistors (FETs) by disordered potential induced by impurities and defects. Here, we investigate the channel length dependence of the formation of quantum dots. We observe decrease of the number of formed quantum dots with decrease of the FET channel length. A few quantum dots are formed in the case with the gate length of 0.05~$μ$m and… ▽ More Quantum dots can be formed in simple GaN/AlGaN field-effect-transistors (FETs) by disordered potential induced by impurities and defects. Here, we investigate the channel length dependence of the formation of quantum dots. We observe decrease of the number of formed quantum dots with decrease of the FET channel length. A few quantum dots are formed in the case with the gate length of 0.05~$μ$m and we evaluate the dot parameters and the disordered potential. We also investigate the effects of a thermal cycle and illumination of light, and reveal the change of the disordered potential. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Comments: 10 pages, 5 figures

Journal ref: Applied Physics Express 16, 075003 (2023)

Multicolor and multi-spot observations of Starlink's Visorsat

Authors: Takashi Horiuchi, Hidekazu Hanayama, Masatoshi Ohishi, Tatsuya Nakaoka, Ryo Imazawa, Koji S. Kawabata, Jun Takahashi, Hiroki Onozato, Tomoki Saito, Masayuki Yamanaka, Daisaku Nogami, Yusuke Tampo, Naoto Kojiguchi, Jumpei Ito, Masaaki Shibata, Malte Schramm, Yumiko Oasa, Takahiro Kanai, Kohei Oide, Katsuhiro L. Murata, Ryohei Hosokawa, Yutaka Takamatsu, Yuri Imai, Naohiro Ito, Masafumi Niwano , et al. (3 additional authors not shown)

Abstract: This study provides the results of simultaneous multicolor observations for the first Visorsat (STARLINK-1436) and the ordinary Starlink satellite, STARLINK-1113 in the $U$, $B$, $V$, $g'$, $r$, $i$, $R_{\rm C}$, $I_{\rm C}$, $z$, $J$, $H$, and $K_s$ bands to quantitatively investigate the extent to which Visorsat reduces its reflected light. Our results are as follows: (1) in most cases, Virorsat… ▽ More This study provides the results of simultaneous multicolor observations for the first Visorsat (STARLINK-1436) and the ordinary Starlink satellite, STARLINK-1113 in the $U$, $B$, $V$, $g'$, $r$, $i$, $R_{\rm C}$, $I_{\rm C}$, $z$, $J$, $H$, and $K_s$ bands to quantitatively investigate the extent to which Visorsat reduces its reflected light. Our results are as follows: (1) in most cases, Virorsat is fainter than STARLINK-1113, and the sunshade on Visorsat, therefore, contributes to the reduction of the reflected sunlight; (2) the magnitude at 550 km altitude (normalized magnitude) of both satellites often reaches the naked-eye limiting magnitude ($<$ 6.0); (3) from a blackbody radiation model of the reflected flux, the peak of the reflected components of both satellites is around the $z$ band; and (4) the albedo of the near infrared range is larger than that of the optical range. Under the assumption that Visorsat and STARLINK-1113 have the same reflectivity, we estimate the covering factor, $C_{\rm f}$, of the sunshade on Visorsat, using the blackbody radiation model: the covering factor ranges from $0.18 \leq C_{\rm f} \leq 0.92$. From the multivariable analysis of the solar phase angle (Sun-target-observer), the normalized magnitude, and the covering factor, the phase angle versus covering factor distribution presents a moderate anti-correlation between them, suggesting that the magnitudes of Visorsat depend not only on the phase angle but also on the orientation of the sunshade along our line of sight. However, the impact on astronomical observations from Visorsat-designed satellites remains serious. Thus, new countermeasures are necessary for the Starlink satellites to further reduce reflected sunlight. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Comments: 31 pages, 9 figures, published in PASJ

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.

Comments: 6 pages, 8 figures

Gaussian Process Classification Bandits

Authors: Tatsuya Hayashi, Naoki Ito, Koji Tabata, Atsuyoshi Nakamura, Katsumasa Fujita, Yoshinori Harada, Tamiki Komatsuzaki

Abstract: Classification bandits are multi-armed bandit problems whose task is to classify a given set of arms into either positive or negative class depending on whether the rate of the arms with the expected reward of at least h is not less than w for given thresholds h and w. We study a special classification bandit problem in which arms correspond to points x in d-dimensional real space with expected re… ▽ More Classification bandits are multi-armed bandit problems whose task is to classify a given set of arms into either positive or negative class depending on whether the rate of the arms with the expected reward of at least h is not less than w for given thresholds h and w. We study a special classification bandit problem in which arms correspond to points x in d-dimensional real space with expected rewards f(x) which are generated according to a Gaussian process prior. We develop a framework algorithm for the problem using various arm selection policies and propose policies called FCB and FTSV. We show a smaller sample complexity upper bound for FCB than that for the existing algorithm of the level set estimation, in which whether f(x) is at least h or not must be decided for every arm's x. Arm selection policies depending on an estimated rate of arms with rewards of at least h are also proposed and shown to improve empirical sample complexity. According to our experimental results, the rate-estimation versions of FCB and FTSV, together with that of the popular active learning policy that selects the point with the maximum variance, outperform other policies for synthetic functions, and the version of FTSV is also the best performer for our real-world dataset. △ Less

Submitted 26 December, 2022; originally announced December 2022.

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.

Comments: 6 pages, 4 figures

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.

Comments: 6 pages, 5 figures

Journal ref: International Journal of Mathematics (2023) 2350067

Audio Signal Enhancement with Learning from Positive and Unlabelled Data

Authors: Nobutaka Ito, Masashi Sugiyama

Abstract: Supervised learning is a mainstream approach to audio signal enhancement (SE) and requires parallel training data consisting of both noisy signals and the corresponding clean signals. Such data can only be synthesised and are mismatched with real data, which can result in poor performance on real data. Moreover, clean signals may be inaccessible in certain scenarios, which renders this conventiona… ▽ More Supervised learning is a mainstream approach to audio signal enhancement (SE) and requires parallel training data consisting of both noisy signals and the corresponding clean signals. Such data can only be synthesised and are mismatched with real data, which can result in poor performance on real data. Moreover, clean signals may be inaccessible in certain scenarios, which renders this conventional approach infeasible. Here we explore SE using non-parallel training data consisting of noisy signals and noise, which can be easily recorded. We define the positive (P) and the negative (N) classes as signal inactivity and activity, respectively. We observe that the spectrogram patches of noise clips can be used as P data and those of noisy signal clips as unlabelled data. Thus, learning from positive and unlabelled data enables a convolutional neural network to learn to classify each spectrogram patch as P or N to enable SE. △ Less

Submitted 26 April, 2023; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: Accepted to ICASSP2023

Non-learning Stereo-aided Depth Completion under Mis-projection via Selective Stereo Matching

Authors: Yasuhiro Yao, Ryoichi Ishikawa, Shingo Ando, Kana Kurata, Naoki Ito, Jun Shimamura, Takeshi Oishi

Abstract: We propose a non-learning depth completion method for a sparse depth map captured using a light detection and ranging (LiDAR) sensor guided by a pair of stereo images. Generally, conventional stereo-aided depth completion methods have two limiations. (i) They assume the given sparse depth map is accurately aligned to the input image, whereas the alignment is difficult to achieve in practice. (ii)… ▽ More We propose a non-learning depth completion method for a sparse depth map captured using a light detection and ranging (LiDAR) sensor guided by a pair of stereo images. Generally, conventional stereo-aided depth completion methods have two limiations. (i) They assume the given sparse depth map is accurately aligned to the input image, whereas the alignment is difficult to achieve in practice. (ii) They have limited accuracy in the long range because the depth is estimated by pixel disparity. To solve the abovementioned limitations, we propose selective stereo matching (SSM) that searches the most appropriate depth value for each image pixel from its neighborly projected LiDAR points based on an energy minimization framework. This depth selection approach can handle any type of mis-projection. Moreover, SSM has an advantage in terms of long-range depth accuracy because it directly uses the LiDAR measurement rather than the depth acquired from the stereo. SSM is a discrete process; thus, we apply variational smoothing with binary anisotropic diffusion tensor (B-ADT) to generate a continuous depth map while preserving depth discontinuity across object boundaries. Experimentally, compared with the previous state-of-the-art stereo-aided depth completion, the proposed method reduced the mean absolute error (MAE) of the depth estimation to 0.65 times and demonstrated approximately twice more accurate estimation in the long range. Moreover, under various LiDAR-camera calibration errors, the proposed method reduced the depth estimation MAE to 0.34-0.93 times from previous depth completion methods. △ Less

Submitted 4 October, 2022; originally announced October 2022.

Comments: 15 pages, 13 figures

Journal ref: in IEEE Access, vol. 9, pp. 136674-136686, 2021

A nearby long gamma-ray burst from a merger of compact objects

Authors: E. Troja, C. L. Fryer, B. O'Connor, G. Ryan, S. Dichiara, A. Kumar, N. Ito, R. Gupta, R. Wollaeger, J. P. Norris, N. Kawai, N. Butler, A. Aryan, K. Misra, R. Hosokawa, K. L. Murata, M. Niwano, S. B. Pandey, A. Kutyrev, H. J. van Eerten, E. A. Chase, Y. -D. Hu, M. D. Caballero-Garcia, A. J. Castro-Tirado

Abstract: Gamma-ray bursts (GRBs) are flashes of high-energy radiation arising from energetic cosmic explosions. Bursts of long (>2 s) duration are produced by the core-collapse of massive stars, those of short (< 2 s) duration by the merger of two neutron stars (NSs). A third class of events with hybrid high-energy properties was identified, but never conclusively linked to a stellar progenitor. The lack o… ▽ More Gamma-ray bursts (GRBs) are flashes of high-energy radiation arising from energetic cosmic explosions. Bursts of long (>2 s) duration are produced by the core-collapse of massive stars, those of short (< 2 s) duration by the merger of two neutron stars (NSs). A third class of events with hybrid high-energy properties was identified, but never conclusively linked to a stellar progenitor. The lack of bright supernovae rules out typical core-collapse explosions, but their distance scales prevent sensitive searches for direct signatures of a progenitor system. Only tentative evidence for a kilonova has been presented. Here we report observations of the exceptionally bright GRB211211A that classify it as a hybrid event and constrain its distance scale to only 346 Mpc. Our measurements indicate that its lower-energy (from ultraviolet to near-infrared) counterpart is powered by a luminous (~1E42 erg/s) kilonova possibly formed in the ejecta of a compact binary merger. △ Less

Submitted 11 December, 2022; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: final version, including supplementary methods

Journal ref: Nature, volume 612, pages 228-231 (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.

Comments: 6 pages, 2 figures

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.

Comments: 12 pages, 12 figures. The whole was rewritten

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.

Comments: 19 pages, revised entirely

$\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.

Comments: 18 pages. Comments are welcome

MSC Class: Primary 57K10; 57K16; 57K31

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.

Comments: 5 pages

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.

Comments: 6 pages

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.

Comments: 6 pages, 5 figures

Wannier-based implementation of the coherent potential approximation with applications to Fe-based transition-metal alloys

Authors: Naohiro Ito, Takuya Nomoto, Koji Kobayashi, Sergiy Mankovsky, Kentaro Nomura, Ryotaro Arita, Hubert Ebert, Takashi Koretsune

Abstract: We develop a formulation of the coherent potential approximation (CPA) on the basis of the Wannier representation to develop a computationally efficient method for the treatment of homogeneous random alloys that is independent on the applied first-principles electric structure code. To verify the performance of this CPA implementation within the Wannier representation, we examine the Bloch spectra… ▽ More We develop a formulation of the coherent potential approximation (CPA) on the basis of the Wannier representation to develop a computationally efficient method for the treatment of homogeneous random alloys that is independent on the applied first-principles electric structure code. To verify the performance of this CPA implementation within the Wannier representation, we examine the Bloch spectral function, the density of states (DOS), and the magnetic moment in Fe-based transition-metal alloys Fe-X (X = V, Co, Ni, and Cu), and compare the results with those of the well-established CPA implementation based on the KKR Green's function method. The Wannier-CPA and the KKR-CPA lead to results very close to each other. The presented Wannier-CPA method has a wide potential applicability to other physical quantities and large compound systems because of its low computational effort required. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Comments: 10 pages, 7 figures

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.

Comments: 8 pages, 5 figures, 7 tables, Results updated

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.

Comments: 14 pages, 13 figures

Journal ref: Topology Proc. 60 (2022), 31--44

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.

Comments: 25 pages, 18 figures

Journal ref: Topology Proc. 53 (2019), 177--199

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.

Comments: 9 pages, 15 figures

MSC Class: 57K10

Journal ref: JP J. Geom. and Topol. 26 (2021), no.2, 103--115

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.

Comments: 15 pages

Report number: ZIB-Report (21-02) MSC Class: 90C20; 90C22

A Joint Diagonalization Based Efficient Approach to Underdetermined Blind Audio Source Separation Using the Multichannel Wiener Filter

Authors: Nobutaka Ito, Rintaro Ikeshita, Hiroshi Sawada, Tomohiro Nakatani

Abstract: This paper presents a computationally efficient approach to blind source separation (BSS) of audio signals, applicable even when there are more sources than microphones (i.e., the underdetermined case). When there are as many sources as microphones (i.e., the determined case), BSS can be performed computationally efficiently by independent component analysis (ICA). Unfortunately, however, ICA is b… ▽ More This paper presents a computationally efficient approach to blind source separation (BSS) of audio signals, applicable even when there are more sources than microphones (i.e., the underdetermined case). When there are as many sources as microphones (i.e., the determined case), BSS can be performed computationally efficiently by independent component analysis (ICA). Unfortunately, however, ICA is basically inapplicable to the underdetermined case. Another BSS approach using the multichannel Wiener filter (MWF) is applicable even to this case, and encompasses full-rank spatial covariance analysis (FCA) and multichannel non-negative matrix factorization (MNMF). However, these methods require massive numbers of matrix inversions to design the MWF, and are thus computationally inefficient. To overcome this drawback, we exploit the well-known property of diagonal matrices that matrix inversion amounts to mere inversion of the diagonal elements and can thus be performed computationally efficiently. This makes it possible to drastically reduce the computational cost of the above matrix inversions based on a joint diagonalization (JD) idea, leading to computationally efficient BSS. Specifically, we restrict the N spatial covariance matrices (SCMs) of all N sources to a class of (exactly) jointly diagonalizable matrices. Based on this approach, we present FastFCA, a computationally efficient extension of FCA. We also present a unified framework for underdetermined and determined audio BSS, which highlights a theoretical connection between FastFCA and other methods. Moreover, we reveal that FastFCA can be regarded as a regularized version of approximate joint diagonalization (AJD). △ Less

Submitted 21 January, 2021; originally announced January 2021.

Comments: submitted to IEEE/ACM Transactions on Audio, Speech, and Language Processing

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.

Comments: 16 pages, 15 figures

Journal ref: J. Knot Theory Ramifications 22 (2013), no. 2, 1350002, 17 pp

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.

Comments: 21 pages, 12 figures, 1 table. arXiv admin note: text overlap with arXiv:1908.06085

Journal ref: International Journal of Mathematics 30 (2019), no. 12, 1950060, 25pp

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.

Comments: 11 pages, 13 figures

Journal ref: Topology Appl. 225 (2017), 130--138

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.

Comments: 27 pages, 45 figures

Journal ref: Osaka J. Math. 52 (2015), no. 3, 617--646

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.

Comments: 8 pages, 14 figures

Journal ref: Topology Appl. 210 (2016), 22--28

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.

Comments: 8 pages, 13 figures

Journal ref: Kobe J. Math. 34 (2017), 27--36

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.

Comments: 15 pages, 20 figures

Journal ref: Kobe J. Math. 33 (2016), 13--30

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.

Comments: 15 pages, 24 figures, in press

Journal ref: Kobe J. Math. 37 (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.

Comments: 20 pages, 20 figures

Journal ref: Internat. J. Math. Vol. 29, No. 12, 1850084 (2018)

Modulation of Dirac electrons in epitaxial Bi2Se3 ultrathin films on van-der-Waals ferromagnet Cr2Si2Te6

Authors: Takemi Kato, Katsuaki Sugawara, Naohiro Ito, Kunihiko Yamauchi, Takumi Sato, Tamio Oguchi, Takashi Takahashi, Yuki Shiomi, Eiji Saitoh, Takafumi Sato

Abstract: We investigated the Dirac-cone state and its modulation when an ultrathin film of topological insulator Bi2Se3 was epitaxially grown on a van-der-Waals ferromagnet Cr2Si2Te6 (CST) by angle-resolved photoemission spectroscopy. We observed a gapless Dirac-cone surface state in 6 quintuple-layer (QL) Bi2Se3 on CST, whereas the Dirac cone exhibits a gap of 0.37 eV in 2QL counterpart. Intriguingly, thi… ▽ More We investigated the Dirac-cone state and its modulation when an ultrathin film of topological insulator Bi2Se3 was epitaxially grown on a van-der-Waals ferromagnet Cr2Si2Te6 (CST) by angle-resolved photoemission spectroscopy. We observed a gapless Dirac-cone surface state in 6 quintuple-layer (QL) Bi2Se3 on CST, whereas the Dirac cone exhibits a gap of 0.37 eV in 2QL counterpart. Intriguingly, this gap is much larger than those for Bi2Se3 films on Si(111). We also revealed no discernible change in the gap magnitude across the ferromagnetic transition of CST, suggesting the very small characteristic length and energy scale of the magnetic proximity effect. The present results suggest a crucial role of interfacial coupling for modulating Dirac electrons in topological-insulator hybrids. △ Less

Submitted 18 August, 2020; originally announced August 2020.

Journal ref: Phys. Rev. Materials 4, 084202 (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.

Comments: 18 pages, 21 figures

Journal ref: J. Math. Soc. Japan 71 (2019), no.1, 329--347

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.

Comments: 14 pages, 22 figures, 3 tables

Journal ref: Topology Appl. 193 (2015), 290--301

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.

Comments: 10 pages, 7 figures, Typos were corrected

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.

Comments: 11 pages, 9 figures

Journal ref: RIMS Kôkyûroku Bessatsu, B39, Res. Inst. Math. Sci. (RIMS), Kyoto, 2013 (http://hdl.handle.net/2433/207827)

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 map** 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.

Comments: 35 pages, 5 figures. Changed title, Refinement of some parts

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.

Comments: 15 pages; 19 figures

Journal ref: Triple chords and strong (1, 2) homotopy, J. Math. Soc. Japan 68 (2016). 637--651

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.

Comments: 7 pages, 9 figures

Journal ref: Internat. J. Math. 26 (2015), no. 9, 1550069, 8pp

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.

Comments: 20 pages, 24 figures

Journal ref: Houston J. Math. 41 (2015), 701--725

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.

Comments: 14 pages, 12 figures

Journal ref: Topology Appl. 264 (2019), 210--222

Based chord diagrams of spherical curves

Authors: Noboru Ito

Abstract: This paper demonstrates an approach for develo** 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 develo** 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.

Comments: 21 pages, 21 figures, 15 tables

Journal ref: Kodai Math. J., 41 (2018), 375--396

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.

Comments: 41 pages, 32 figures, 16 tables

Journal ref: Banach Center Publ. 103 (2014) 111--143