相关论文: From Heegaard diagrams to surgery
Creating graph visualizations involves many decisions, such as layout, node and edge appearance, and color choices. These decisions are challenging due to the multitude of options available. For instance, graph layout can be force-directed…
We examine shifted symplectic and Poisson structures on spaces of framed maps. We prove some results about shifted Poisson structures analogous to those in existing ones about symplectic structures. Then, we consider the space Map(X,D,Y) of…
The notion of a welded link was introduced by Fenn, Rim\'anyi, and Rourke as an analogue of welded braids. A welded link is defined as an equivalence class of link diagrams that may contain virtual crossings, where the equivalence is…
Jin and Lee proved the following: Suppose that $D_1, \dots, D_n$ are link diagrams. Given a link $L$ which is partitioned into sublinks $L_1, \dots, L_n$ admitting diagrams $D_1, \dots, D_n$ respectively, there is a diagram $D$ of $L$ whose…
This document is an elementary introduction to string diagrams. It takes a computer science perspective: rather than using category theory as a starting point, we build on intuitions from formal language theory, treating string diagrams as…
We describe various handle moves in contact surgery diagrams, notably contact analogues of the Kirby moves. As an application of these handle moves, we discuss the respective classifications of long and loose Legendrian knots.
In arXiv:1207.0332 [cs.LO] was proposed a graphic lambda calculus formalism, which has sectors corresponding to untyped lambda calculus and emergent algebras. Here we explore the sector covering knot diagrams, which are constructed as…
Formulas previously presented for the Casson-Walker invariant are generalized to Lescop's extension. These formulas in terms of linking numbers and surgery coefficients compute the change in Lescop's invariant under crossing changes in a…
A graph is a mathematical object consisting of a set of vertices and a set of edges connecting vertices. Graphs can be drawn on paper in various ways, but until recently all published methods of drawing graphs have had undesirable…
Knot Floer homology is a knot invariant defined using holomorphic curves. In more recent work, taking cues from bordered Floer homology,the authors described another knot invariant, called "bordered knot Floer homology", which has an…
We construct a new family of surgery exact triangles in Heegaard Floer theory over the field with two elements. This family generalizes both Ozsv\'{a}th and Szab\'{o}'s $n$- and $1/n$-surgery exact triangles for positive integers $n$ and…
Vector representations of graphs and relational structures, whether hand-crafted feature vectors or learned representations, enable us to apply standard data analysis and machine learning techniques to the structures. A wide range of…
In this text I present some problems which led to the introduction of special kinds of graphs as tools for studying singular points of algebraic surfaces. I explain how such graphs were first described using words, and how several…
Inspired by some new advances on normal factor graphs (NFGs), we introduce NFGs as a simple and intuitive diagrammatic approach towards encoding some concepts from linear algebra. We illustrate with examples the workings of such an approach…
In graph learning, maps between graphs and their subgraphs frequently arise. For instance, when coarsening or rewiring operations are present along the pipeline, one needs to keep track of the corresponding nodes between the original and…
Twisted diagrams are "diagrams" with components in different categories. Structure maps are defined using auxiliary data which consists of functors relating the various categories to each other. Prime examples of the construction are…
This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and…
We introduce the concept of comodule Hom-coalgebras and show that comodule Hom-coalgebras can be deformed from comodule coalgebras via endomorphisms.
The study of hypergraphs has received a lot of attention over the past few years, however up until recently there has been no interest in systems where higher order interactions are not undirected. In this article we introduce the notion of…
The essential parts of the operad algebra are concisely presented, which should be useful when confronting with the operadic physics. It is also clarified how the Gerstenhaber algebras can be associated with the linear pre-operads (comp…