arXiv research

Algorithm calculates Seifert matrices for colored links.

We prove that two links related by a surgery along a connected, strict graph clasper of degree n are C_n-equivalent, i.e, related by a sequence of surgeries along strict tree claspers of degree n.

The paper classifies links up to link-homotopy using claspers.

In this note we reconsider a familiar result in Vassiliev knot theory - that the coefficients of the Alexander-Conway polynomial determine the top row of the Kontsevich integral - from the point of view of Kazuo Habiro's clasper theory. We observe that in this setting the calculation reflects the topology of the univer…

We introduce the concept of `claspers,' which are surfaces in 3-manifolds with some additional structure on which surgery operations can be performed. Using claspers we define for each positive integer k an equivalence relation on links called `C_k-equivalence,' which is generated by surgery operations of a certain kin…

Link concordance and Whitney towers linked to Milnor invariants.

Study the kernel of surgery map restricted to 1-loop part of homology cylinders.

This paper detects torsion elements in homology cylinder monoids.

We study the 2-loop part of the rational Kontsevich integral of a knot in an integer homology sphere. We give a general formula which explains how the 2-loop part of the Kontsevich integral of a knot changes after surgery on a single clasper whose leaves are not linked to the knot. As an application, we relate this for…

Complete classification of links up to specific moves.

In this paper, the easier methods of my thesis are applied to give a simple proof of a theorem of Goussarov. The theorem relates two possible notions of finite type equivalence of knots, links or string links, showing that the resulting filtrations are the same up to a degree shift by a factor of two. This is then appl…

Two links are link-homotopic if they are transformed into each other by a sequence of self-crossing changes and ambient isotopies. The link-homotopy classes of 4-component links were classified by Levine with enormous algebraic computations. We modify the results by using Habiro's clasper theory. The new classification…

This paper studies the rational homotopy groups of the group $\mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^\infty$-topology. We present a method to prove that there are many `exotic' non-trivial elements in $π_*\mathrm{Diff}(S^4)\otimes \mathbb{Q}$ parametrized by trivalent graphs. As a corollary of…

Recently Swatee Naik and Theodore Stanford proved that two S-equivalent knots are related by a finite sequence of doubled-delta moves on their knot diagrams. We show that classical S-equivalence is not sufficient to extend their result to ordered links. We define a new algebraic relation on Seifert matrices, called Str…

We show that surgery on a connected clover (or clasper) with at least one loop preserves the concordance class of a knot. Surgery on a slightly more special class of clovers preserves invertible concordance. We also show that the converse is false. Similar results hold for clovers with at least two loops vs. S-equivale…

We prove that if n\ge1, then an (n+1)-component Brunnian link L in a connected, oriented 3-manifold is C_n-equivalent to an unlink. We also prove that if n\ge2, then L can not be distinguished from an unlink by any Goussarov-Vassiliev finite type invariant of degree<2n.

Theta graph diffeomorphism shows nontrivial mapping class of 4-sphere.

We show that the Casson knot invariant, linking number and Milnor's triple linking number, together with a certain 2-string link invariant $V_2$, are necessary and sufficient to express any string link Vassiliev invariant of order two. Explicit combinatorial formulas are given for these invariants. This result is appli…

It has long been known that a Milnor invariant with no repeated index is an invariant of link homotopy. We show that Milnor's invariants with repeated indices are invariants not only of isotopy, but also of self C_k-moves. A self C_k-move is a natural generalization of link homotopy based on certain degree k clasper su…

New presentation of Goussarov-Habiro Lie algebra using primitive Feynman diagrams.

Minor typographical errors fixed. Cochran constructed many links with Alexander module that of the unlink and some nonvanishing Milnor invariants, using as input commutators in a free group and as an invariant the longitudes of the links. We present a different and conjecturally complete construction, that uses element…

We give a purely topological definition of the perturbative quantum invariants of links and 3-manifolds associated with Chern-Simons field theory. Our definition is as close as possible to one given by Kontsevich. We will also establish some basic properties of these invariants, in particular that they are universally …

We use Kirk's invariant of link maps $S^2\sqcup S^2\to S^4$ and its variations due to Koschorke and Kirk-Livingston to deduce results about classical links. Namely, we give a new proof of the Nakanishi-Ohyama classification of two-component links in $S^3$ up to $Δ$-link homotopy. We also prove its version for string li…

The study connects specific circle embeddings to 4-manifold diffeomorphisms.

For an $n$-component link $L$, the Milnor's isotopy invariant is defined for each multi-index $I=i_1i_2...i_m (i_j\in\n)$. Here $m$ is called the length. Let $r(I)$ denote the maximam number of times that any index appears. It is known that Milnor invariants with $r=1$ are link-homotopy invariant. N. Habegger and X. S.…

DRIFT uses RL to automate functional software testing efficiently.

Multimodal deep learning improves flaw detection in software programs.

KnotPlot helps beginners and veterans use software for visualizing knots.

The purpose of the present paper is to introduce and explore two surprises that arise when we apply a standard procedure to study the number of finite type invariants of 3-manifolds introduced independently by M. Goussarov and K. Habiro based on surgery on claspers, Y-graphs or clovers, \cite{Gu,Ha,GGP}. One surprise i…

Research proposes an ensemble learning model for efficient software defect prediction.

Improving software quality through effective organizational learning.

Improved software flaw detection using NAS on multimodal DL models.

Method predicts hardware resource usage by control software with guaranteed linear convergence.

Software development effort estimation is considered a fundamental task for software development life cycle as well as for managing project cost, time and quality. Therefore, accurate estimation is a substantial factor in projects success and reducing the risks. In recent years, software effort estimation has received …

Existing language models such as n-grams for software code often fail to capture a long context where dependent code elements scatter far apart. In this paper, we propose a novel approach to build a language model for software code to address this particular issue. Our language model, partly inspired by human memory, i…

This paper tackles co-design of neural hardware and software to improve efficiency.

The public package registry npm is one of the biggest software registry. With its 216 911 software packages, it forms a big network of software dependencies. In this paper we evaluate various methods for finding similar packages in the npm network, using only the structure of the graph. Namely, we want to find a way of…

Although software analytics has experienced rapid growth as a research area, it has not yet reached its full potential for wide industrial adoption. Most of the existing work in software analytics still relies heavily on costly manual feature engineering processes, and they mainly address the traditional classification…

The purpose of this study is to introduce new design-criteria for next-generation hyperparameter optimization software. The criteria we propose include (1) define-by-run API that allows users to construct the parameter search space dynamically, (2) efficient implementation of both searching and pruning strategies, and …

Survey of software developers' experience with Github Copilot tool.

The paper calculates actions of string link operations for 4- and 5-component links.

Existing malware detectors on safety-critical devices have difficulties in runtime detection due to the performance overhead. In this paper, we introduce PROPEDEUTICA, a framework for efficient and effective real-time malware detection, leveraging the best of conventional machine learning (ML) and deep learning (DL) te…

A deep-learning inference accelerator is synthesized from a C-language software program parallelized with Pthreads. The software implementation uses the well-known producer/consumer model with parallel threads interconnected by FIFO queues. The LegUp high-level synthesis (HLS) tool synthesizes threads into parallel FPG…

RAMANMETRIX simplifies Raman spectroscopy data analysis.

Software helps teach latent variable methods in multivariate data analytics.

Software estimates inequality in random systems with changing communities.

AEC Games model represents software MARL environments better than POSGs.

Forest management relies on the evaluation of silviculture practices. The increase in natural risk due to climate change makes it necessary to consider evaluation criteria that take natural risk into account. Risk integration in existing software requires advanced programming skills.We propose a user-friendly software …