Showing 1–21 of 21 results for author: Fleming, T

Filtered Rayleigh-Ritz is all you need

Authors: Ryan Abbott, Daniel C. Hackett, George T. Fleming, Dimitra A. Pefkou, Michael L. Wagman

Abstract: Recent work has shown that the (block) Lanczos algorithm can be used to extract approximate energy spectra and matrix elements from (matrices of) correlation functions in quantum field theory, and identified exact coincidences between Lanczos analysis methods and others. In this work, we note another coincidence: the Lanczos algorithm is equivalent to the well-known Rayleigh-Ritz method applied to… ▽ More Recent work has shown that the (block) Lanczos algorithm can be used to extract approximate energy spectra and matrix elements from (matrices of) correlation functions in quantum field theory, and identified exact coincidences between Lanczos analysis methods and others. In this work, we note another coincidence: the Lanczos algorithm is equivalent to the well-known Rayleigh-Ritz method applied to Krylov subspaces. Rayleigh-Ritz provides optimal eigenvalue approximations within subspaces; we find that spurious-state filtering allows these optimality guarantees to be retained in the presence of statistical noise. We explore the relation between Lanczos and Prony's method, their block generalizations, generalized pencil of functions (GPOF), and methods based on the generalized eigenvalue problem (GEVP), and find they all fall into a larger "Prony-Ritz equivalence class", identified as all methods which solve a finite-dimensional spectrum exactly given sufficient correlation function (matrix) data. This equivalence allows simpler and more numerically stable implementations of (block) Lanczos analyses. △ Less

Submitted 21 March, 2025; originally announced March 2025.

Comments: 22+7 pages, 0 figures, 1 table

Report number: FERMILAB-PUB-25-0131-T,MIT-CTP/5849

Maximal knotless graphs

Authors: Lindsay Eakins, Thomas Fleming, Thomas W. Mattman

Abstract: A graph is maximal knotless if it is edge maximal for the property of knotless embedding in $R^3$. We show that such a graph has at least $\frac74 |V|$ edges, and construct an infinite family of maximal knotless graphs with $|E| < \frac52|V|$. With the exception of $|E| = 22$, we show that for any $|E| \geq 20$ there exists a maximal knotless graph of size $|E|$. We classify the maximal knotless g… ▽ More A graph is maximal knotless if it is edge maximal for the property of knotless embedding in $R^3$. We show that such a graph has at least $\frac74 |V|$ edges, and construct an infinite family of maximal knotless graphs with $|E| < \frac52|V|$. With the exception of $|E| = 22$, we show that for any $|E| \geq 20$ there exists a maximal knotless graph of size $|E|$. We classify the maximal knotless graphs through nine vertices and 20 edges. We determine which of these maxnik graphs are the clique sum of smaller graphs and construct an infinite family of maxnik graphs that are not clique sums. △ Less

Submitted 26 February, 2021; v1 submitted 13 January, 2021; originally announced January 2021.

Comments: 14 pages, 3 figures v2: substantial revisions. Improved Theorem 4.5. Added Section 5

MSC Class: 05C10 (Primary) 57M15; 57K10 (Secondary)

Journal ref: Algebr. Geom. Topol. 23 (2023) 1831-1848

Classifying Intrinsically Linked Tournaments by Score Sequence

Authors: Thomas Fleming, Joel Foisy

Abstract: A tournament on 8 or more vertices may be intrinsically linked as a directed graph. We begin the classification of intrinsically linked tournaments by examining their score sequences. While many distinct tournaments may have the same score sequence, there exist score sequences $S$ such that any tournament with score sequence $S$ has an embedding with no nonsplit consistently oriented link. We call… ▽ More A tournament on 8 or more vertices may be intrinsically linked as a directed graph. We begin the classification of intrinsically linked tournaments by examining their score sequences. While many distinct tournaments may have the same score sequence, there exist score sequences $S$ such that any tournament with score sequence $S$ has an embedding with no nonsplit consistently oriented link. We call such score sequences $\textit{linkless}$, and we show that the vast majority of score sequences for 8 vertex tournaments are linkless. We also extend these results to $n$ vertex tournaments and are able to classify many longer score sequences as well. We show that for any $n$, there exist at least $O(n)$ linkless score sequences, but we conjecture that the fraction of score sequences of length $n$ that are linkless goes to 0 as $n$ becomes large. △ Less

Submitted 20 July, 2021; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: 19 pages, 5 figures. The paper has been reorganized and condensed. Interested readers can find detailed proofs of all of the results in version 1

MSC Class: 57M15; 57M25; 05C10; 05C20

Intrinsic linking and knotting in tournaments

Authors: Thomas Fleming, Joel Foisy

Abstract: A directed graph $G$ is $\textit{intrinsically linked}$ if every embedding of that graph contains a non-split link $L$, where each component of $L$ is a consistently oriented cycle in $G$. A $\textit{tournament}$ is a directed graph where each pair of vertices is connected by exactly one directed edge. We consider intrinsic linking and knotting in tournaments, and study the minimum number of verti… ▽ More A directed graph $G$ is $\textit{intrinsically linked}$ if every embedding of that graph contains a non-split link $L$, where each component of $L$ is a consistently oriented cycle in $G$. A $\textit{tournament}$ is a directed graph where each pair of vertices is connected by exactly one directed edge. We consider intrinsic linking and knotting in tournaments, and study the minimum number of vertices required for a tournament to have various intrinsic linking or knotting properties. We produce the following bounds: intrinsically linked ($n=8$), intrinsically knotted ($9 \leq n \leq 12$), intrinsically 3-linked ($10 \leq n \leq 23$), intrinsically 4-linked ($12 \leq n \leq 66$), intrinsically 5-linked ($15 \leq n \leq 154$), intrinsically $m$-linked ($3m \leq n \leq 8(2m-3)^2$), intrinsically linked with knotted components ($9 \leq n \leq 107$), and the disjoint linking property ($12 \leq n \leq 14$). We also introduce the $\textit{consistency gap}$, which measures the difference in the order of a graph required for intrinsic $n$-linking in tournaments versus undirected graphs. We conjecture the consistency gap to be non-decreasing in $n$, and provide an upper bound at each $n$. △ Less

Submitted 10 January, 2019; originally announced January 2019.

Comments: 16 pages, 4 figures

MSC Class: 57M15; 57M25; 05C10; 05C20

Finding Zeros of Hölder Metrically Subregular Mappings via Globally Convergent Levenberg-Marquardt Methods

Authors: Masoud Ahookhosh, Ronan M. T. Fleming, Phan T. Vuong

Abstract: We present two globally convergent Levenberg-Marquardt methods for finding zeros of Hölder metrically subregular mappings that may have non-isolated zeros. The first method unifies the Levenberg- Marquardt direction and an Armijo-type line search, while the second incorporates this direction with a nonmonotone trust-region technique. For both methods, we prove the global convergence to a first-ord… ▽ More We present two globally convergent Levenberg-Marquardt methods for finding zeros of Hölder metrically subregular mappings that may have non-isolated zeros. The first method unifies the Levenberg- Marquardt direction and an Armijo-type line search, while the second incorporates this direction with a nonmonotone trust-region technique. For both methods, we prove the global convergence to a first-order stationary point of the associated merit function. Furthermore, the worst-case global complexity of these methods are provided, indicating that an approximate stationary point can be computed in at most $\mathcal{O}(\varepsilon^{-2})$ function and gradient evaluations, for an accuracy parameter $\varepsilon>0$. We also study the conditions for the proposed methods to converge to a zero of the associated mappings. Computing a moiety conserved steady state for biochemical reaction networks can be cast as the problem of finding a zero of a Hölder metrically subregular mapping. We report encouraging numerical results for finding a zero of such mappings derived from real-world biological data, which supports our theoretical foundations. △ Less

Submitted 4 December, 2018; v1 submitted 30 November, 2018; originally announced December 2018.

Comments: 28 pages, 3 figures

MSC Class: 90C26; 68Q25; 65K05

Local convergence of the Levenberg-Marquardt method under Hölder metric subregularity

Authors: Masoud Ahookhosh, Francisco J. Aragón Artacho, Ronan M. T. Fleming, Phan T. Vuong

Abstract: We describe and analyse Levenberg-Marquardt methods for solving systems of nonlinear equations. More specifically, we propose an adaptive formula for the Levenberg-Marquardt parameter and analyse the local convergence of the method under Hölder metric subregularity of the function defining the equation and Hölder continuity of its gradient mapping. Further, we analyse the local convergence of the… ▽ More We describe and analyse Levenberg-Marquardt methods for solving systems of nonlinear equations. More specifically, we propose an adaptive formula for the Levenberg-Marquardt parameter and analyse the local convergence of the method under Hölder metric subregularity of the function defining the equation and Hölder continuity of its gradient mapping. Further, we analyse the local convergence of the method under the additional assumption that the Łojasiewicz gradient inequality holds. We finally report encouraging numerical results confirming the theoretical findings for the problem of computing moiety conserved steady states in biochemical reaction networks. This problem can be cast as finding a solution of a system of nonlinear equations, where the associated mapping satisfies the Łojasiewicz gradient inequality assumption. △ Less

Submitted 21 February, 2019; v1 submitted 21 March, 2017; originally announced March 2017.

Comments: 30 pages, 10 figures

MSC Class: 65K05; 65K10; 90C26; 92C42

Intrinsically Knotted and 4-Linked Directed Graphs

Authors: Thomas Fleming, Joel Foisy

Abstract: We consider intrinsic linking and knotting in the context of directed graphs. We construct an example of a directed graph that contains a consistently oriented knotted cycle in every embedding. We also construct examples of intrinsically 3-linked and 4-linked directed graphs. We introduce two operations, consistent edge contraction and H-cyclic subcontraction, as special cases of minors for digrap… ▽ More We consider intrinsic linking and knotting in the context of directed graphs. We construct an example of a directed graph that contains a consistently oriented knotted cycle in every embedding. We also construct examples of intrinsically 3-linked and 4-linked directed graphs. We introduce two operations, consistent edge contraction and H-cyclic subcontraction, as special cases of minors for digraphs, and show that the property of having a linkless embedding is closed under these operations. We analyze the relationship between the number of distinct knots and links in an undirected graph $G$ and its corresponding symmetric digraph $\overline{DG}$. Finally, we note that the maximum number of edges for a graph that is not intrinsically linked is $O(n)$ in the undirected case, but $O(n^2)$ for directed graphs. △ Less

Submitted 28 December, 2017; v1 submitted 20 February, 2017; originally announced February 2017.

Comments: 15 pages, 7 figures Correction to Lemma 4.1

Accelerating the DC algorithm for smooth functions

Authors: Francisco J. Aragón Artacho, Ronan M. T. Fleming, Phan T. Vuong

Abstract: We introduce two new algorithms to minimise smooth difference of convex (DC) functions that accelerate the convergence of the classical DC algorithm (DCA). We prove that the point computed by DCA can be used to define a descent direction for the objective function evaluated at this point. Our algorithms are based on a combination of DCA together with a line search step that uses this descent direc… ▽ More We introduce two new algorithms to minimise smooth difference of convex (DC) functions that accelerate the convergence of the classical DC algorithm (DCA). We prove that the point computed by DCA can be used to define a descent direction for the objective function evaluated at this point. Our algorithms are based on a combination of DCA together with a line search step that uses this descent direction. Convergence of the algorithms is proved and the rate of convergence is analysed under the Lojasiewicz property of the objective function. We apply our algorithms to a class of smooth DC programs arising in the study of biochemical reaction networks, where the objective function is real analytic and thus satisfies the Lojasiewicz property. Numerical tests on various biochemical models clearly show that our algorithms outperforms DCA, being on average more than four times faster in both computational time and the number of iterations. Numerical experiments show that the algorithms are globally convergent to a non-equilibrium steady state of various biochemical networks, with only chemically consistent restrictions on the network topology. △ Less

Submitted 27 September, 2016; v1 submitted 27 July, 2015; originally announced July 2015.

MSC Class: 65K05; 65K10; 90C26; 92C42

Existence of Positive Steady States for Mass Conserving and Mass-Action Chemical Reaction Networks with a Single Terminal-Linkage Class

Authors: Santiago Akle, Onkar Dalal, Ronan M. T. Fleming, Michael Saunders, Nicole Taheri, Yinyu Ye

Abstract: We establish that mass conserving single terminal-linkage networks of chemical reactions admit positive steady states regardless of network deficiency and the choice of reaction rate constants. This result holds for closed systems without material exchange across the boundary, as well as for open systems with material exchange at rates that satisfy a simple sufficient and necessary condition. Our… ▽ More We establish that mass conserving single terminal-linkage networks of chemical reactions admit positive steady states regardless of network deficiency and the choice of reaction rate constants. This result holds for closed systems without material exchange across the boundary, as well as for open systems with material exchange at rates that satisfy a simple sufficient and necessary condition. Our proof uses a fixed point of a novel convex optimization formulation to find the steady state behavior of chemical reaction networks that satisfy the law of mass-action kinetics. A fixed point iteration can be used to compute these steady states, and we show that it converges for weakly reversible homogeneous systems. We report the results of our algorithm on numerical experiments. △ Less

Submitted 20 October, 2011; v1 submitted 11 May, 2011; originally announced May 2011.

Comments: 17 pages, 7 images

Homotopy, Delta-equivalence and concordance for knots in the complement of a trivial link

Authors: Thomas Fleming, Tetsuo Shibuya, Tatsuya Tsukamoto, Akira Yasuhara

Abstract: Link-homotopy and self Delta-equivalence are equivalence relations on links. It was shown by J. Milnor (resp. the last author) that Milnor invariants determine whether or not a link is link-homotopic (resp. self Delta-equivalent) to a trivial link. We study link-homotopy and self Delta-equivalence on a certain component of a link with fixing the rest components, in other words, homotopy and Delt… ▽ More Link-homotopy and self Delta-equivalence are equivalence relations on links. It was shown by J. Milnor (resp. the last author) that Milnor invariants determine whether or not a link is link-homotopic (resp. self Delta-equivalent) to a trivial link. We study link-homotopy and self Delta-equivalence on a certain component of a link with fixing the rest components, in other words, homotopy and Delta-equivalence of knots in the complement of a certain link. We show that Milnor invariants determine whether a knot in the complement of a trivial link is null-homotopic, and give a sufficient condition for such a knot to be Delta-equivalent to the trivial knot. We also give a sufficient condition for knots in the complements of the trivial knot to be equivalent up to Delta-equivalence and concordance. △ Less

Submitted 8 September, 2009; originally announced September 2009.

Comments: 17 pages, 16 figures

MSC Class: 57M25; 57M27

Excited-State Effective Masses in Lattice QCD

Authors: George T. Fleming, Saul D. Cohen, Huey-Wen Lin, Victor Pereyra

Abstract: We apply black-box methods, i.e. where the performance of the method does not depend upon initial guesses, to extract excited-state energies from Euclidean-time hadron correlation functions. In particular, we extend the widely used effective-mass method to incorporate multiple correlation functions and produce effective mass estimates for multiple excited states. In general, these excited-state… ▽ More We apply black-box methods, i.e. where the performance of the method does not depend upon initial guesses, to extract excited-state energies from Euclidean-time hadron correlation functions. In particular, we extend the widely used effective-mass method to incorporate multiple correlation functions and produce effective mass estimates for multiple excited states. In general, these excited-state effective masses will be determined by finding the roots of some polynomial. We demonstrate the method using sample lattice data to determine excited-state energies of the nucleon and compare the results to other energy-level finding techniques. △ Less

Submitted 13 March, 2009; originally announced March 2009.

Comments: 18 pages, 6 figures

Report number: JLAB-THY-09-957

Journal ref: Phys.Rev.D80:074506,2009

Intrinsically Linked Graphs with Knotted Components

Authors: Thomas Fleming

Abstract: We construct a graph G such that any embedding of G into R^{3} contains a nonsplit link of two components, where at least one of the components is a nontrivial knot. Further, for any m < n we produce a graph H so that every embedding of H contains a nonsplit n component link, where at least m of the components are nontrivial knots. We then turn our attention to complete graphs and show that fo… ▽ More We construct a graph G such that any embedding of G into R^{3} contains a nonsplit link of two components, where at least one of the components is a nontrivial knot. Further, for any m < n we produce a graph H so that every embedding of H contains a nonsplit n component link, where at least m of the components are nontrivial knots. We then turn our attention to complete graphs and show that for any given n, every embedding of a large enough complete graph contains a two component link whose linking number is a nonzero multiple of n. △ Less

Submitted 14 May, 2007; originally announced May 2007.

Comments: 8 pages, 5 figures

MSC Class: 57M15; 57M25; 05C10

Milnor Invariants for Spatial Graphs

Authors: Thomas Fleming

Abstract: Link homotopy has been an active area of research for knot theorists since its introduction by Milnor in the 1950s. We introduce a new equivalence relation on spatial graphs called component homotopy, which reduces to link homotopy in the classical case. Unlike previous attempts at generalizing link homotopy to spatial graphs, our new relation allows analogues of some standard link homotopy resu… ▽ More Link homotopy has been an active area of research for knot theorists since its introduction by Milnor in the 1950s. We introduce a new equivalence relation on spatial graphs called component homotopy, which reduces to link homotopy in the classical case. Unlike previous attempts at generalizing link homotopy to spatial graphs, our new relation allows analogues of some standard link homotopy results and invariants. In particular we can define a type of Milnor group for a spatial graph under component homotopy, and this group determines whether or not the spatial graph is splittable. More surprisingly, we will also show that whether the spatial graph is splittable up to component homotopy depends only on the link homotopy class of the links contained within it. Numerical invariants of the relation will also be produced. △ Less

Submitted 24 April, 2007; originally announced April 2007.

Comments: 11 pages, 5 figures

MSC Class: 57M15; 57M25

Counting Links in Complete Graphs

Authors: Tom Fleming, Blake Mellor

Abstract: We find the minimal number of links in an embedding of any complete $k$-partite graph on 7 vertices (including $K_7$, which has at least 21 links). We give either exact values or upper and lower bounds for the minimal number of links for all complete $k$-partite graphs on 8 vertices. We also look at larger complete bipartite graphs, and state a conjecture relating minimal linking embeddings with… ▽ More We find the minimal number of links in an embedding of any complete $k$-partite graph on 7 vertices (including $K_7$, which has at least 21 links). We give either exact values or upper and lower bounds for the minimal number of links for all complete $k$-partite graphs on 8 vertices. We also look at larger complete bipartite graphs, and state a conjecture relating minimal linking embeddings with minimal book embeddings. △ Less

Submitted 20 November, 2006; originally announced November 2006.

Comments: 21 pages, several figures

MSC Class: 05C10; 57M15

Journal ref: Osaka J. Math., vol. 46, 2009, pp. 1-29

An Introduction to Virtual Spatial Graph Theory

Authors: Thomas Fleming, Blake Mellor

Abstract: Two natural generalizations of knot theory are the study of spatial graphs and virtual knots. Our goal is to unify these two approaches into the study of virtual spatial graphs. This paper is a survey, and does not contain any new results. We state the definitions, provide some examples, and survey the known results. We hope that this paper will help lead to rapid development of the area. Two natural generalizations of knot theory are the study of spatial graphs and virtual knots. Our goal is to unify these two approaches into the study of virtual spatial graphs. This paper is a survey, and does not contain any new results. We state the definitions, provide some examples, and survey the known results. We hope that this paper will help lead to rapid development of the area. △ Less

Submitted 29 August, 2006; originally announced August 2006.

Comments: 9 pages, 7 figures, presented at the International Workshop on Knot Theory for Scientific Objects at Osaka City University, March 2006

MSC Class: 57M15; 05C10

Journal ref: Proceedings of the International Workshop on Knot Theory for Scientific Objects, OCAMI Studies, Vol. 1 (A. Kawauchi, editor), Osaka Municipal Universities Press, 2007

Intrinsic Linking and Knotting in Virtual Spatial Graphs

Authors: Thomas Fleming, Blake Mellor

Abstract: We introduce a notion of intrinsic linking and knotting for virtual spatial graphs. Our theory gives two filtrations of the set of all graphs, allowing us to measure, in a sense, how intrinsically linked or knotted a graph is; we show that these filtrations are descending and non-terminating. We also provide several examples of intrinsically virtually linked and knotted graphs. As a byproduct, w… ▽ More We introduce a notion of intrinsic linking and knotting for virtual spatial graphs. Our theory gives two filtrations of the set of all graphs, allowing us to measure, in a sense, how intrinsically linked or knotted a graph is; we show that these filtrations are descending and non-terminating. We also provide several examples of intrinsically virtually linked and knotted graphs. As a byproduct, we introduce the {\it virtual unknotting number} of a knot, and show that any knot with non-trivial Jones polynomial has virtual unknotting number at least 2. △ Less

Submitted 9 June, 2006; originally announced June 2006.

Comments: 13 pages, 13 figures

MSC Class: 57M25; 57M15; 05C10

Journal ref: Algebr. Geom. Topol. 7 (2007) 583-601

Milnor's Isotopy Invariants and Generalized Link Homotopy

Authors: Thomas Fleming, Akira Yasuhara

Abstract: 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 surgeries, which provides a filtration of link homotopy classes. 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 surgeries, which provides a filtration of link homotopy classes. △ Less

Submitted 21 November, 2005; originally announced November 2005.

Comments: 7 pages, 5 figures (low resolution)

MSC Class: 57M25 (Primary) 57M27 (Secondary)

Intrinsically linked graphs and even linking number

Authors: Thomas Fleming, Alexander Diesl

Abstract: We study intrinsically linked graphs where we require that every embedding of the graph contains not just a non-split link, but a link that satisfies some additional property. Examples of properties we address in this paper are: a two component link with lk(A,L) = k2^r, k not 0, a non-split n-component link where all linking numbers are even, or an n-component link with components L, A_i where l… ▽ More We study intrinsically linked graphs where we require that every embedding of the graph contains not just a non-split link, but a link that satisfies some additional property. Examples of properties we address in this paper are: a two component link with lk(A,L) = k2^r, k not 0, a non-split n-component link where all linking numbers are even, or an n-component link with components L, A_i where lk(L,A_i) = 3k, k not 0. Links with other properties are considered as well. For a given property, we prove that every embedding of a certain complete graph contains a link with that property. The size of the complete graph is determined by the property in question. △ Less

Submitted 5 November, 2005; originally announced November 2005.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-55.abs.html

MSC Class: 57M15; 57M25; 05C10

Journal ref: Algebr. Geom. Topol. 5 (2005) 1419-1432

Virtual Spatial Graphs

Authors: Thomas Fleming, Blake Mellor

Abstract: Two natural generalizations of knot theory are the study of spatially embedded graphs, and Kauffman's theory of virtual knots. In this paper we combine these approaches to begin the study of virtual spatial graphs. Two natural generalizations of knot theory are the study of spatially embedded graphs, and Kauffman's theory of virtual knots. In this paper we combine these approaches to begin the study of virtual spatial graphs. △ Less

Submitted 6 May, 2006; v1 submitted 7 October, 2005; originally announced October 2005.

Comments: 15 pages, many figures; substantially revised

Journal ref: Kobe J. Math., vol. 24, no. 2, 2007, pp. 67-85

Homotopy on spatial graphs and the Sato-Levine invariant

Authors: Thomas Fleming, Ryo Nikkuni

Abstract: Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. We introduce some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the 2-component constituent algebraically split links and show examples of non-splittable spatial graphs up to edge (resp. vertex)-homotopy, all of w… ▽ More Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. We introduce some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the 2-component constituent algebraically split links and show examples of non-splittable spatial graphs up to edge (resp. vertex)-homotopy, all of whose constituent links are link-homotopically trivial. △ Less

Submitted 22 September, 2008; v1 submitted 1 September, 2005; originally announced September 2005.

Comments: 17 pages,16 figures

MSC Class: 57M15; 57M25

Journal ref: Trans. Amer. Math. Soc. 361 (2009), 1885-1902

Chord Diagrams and Gauss Codes for Graphs

Authors: Thomas Fleming, Blake Mellor

Abstract: Chord diagrams on circles and their intersection graphs (also known as circle graphs) have been intensively studied, and have many applications to the study of knots and knot invariants, among others. However, chord diagrams on more general graphs have not been studied, and are potentially equally valuable in the study of spatial graphs. We will define chord diagrams for planar embeddings of pla… ▽ More Chord diagrams on circles and their intersection graphs (also known as circle graphs) have been intensively studied, and have many applications to the study of knots and knot invariants, among others. However, chord diagrams on more general graphs have not been studied, and are potentially equally valuable in the study of spatial graphs. We will define chord diagrams for planar embeddings of planar graphs and their intersection graphs, and prove some basic results. Then, as an application, we will introduce Gauss codes for immersions of graphs in the plane and give algorithms to determine whether a particular crossing sequence is realizable as the Gauss code of an immersed graph. △ Less

Submitted 27 February, 2006; v1 submitted 15 August, 2005; originally announced August 2005.

Comments: 20 pages, many figures. This version has been substantially rewritten, and the results are stronger

MSC Class: 05C10; 57M15