The paper extends foam theory to more complex trivalent graphs.
problem Extending foam theory to more complex trivalent graphs.
method Considering foams with singular vertices homeomorphic to cones over more general planar trivalent graphs.
result Modules associated with the dodecahedron graph are free of rank 60.
The paper generalizes virtual knot theory using multiple types of virtual crossings.
problem Generalizing virtual knot theory to include multiple types of virtual crossings.
method Starting with graph theory, the paper reviews previous work and then constructs multi-virtual knots and links.
result The multiplicity of virtual crossings allows for a broader application of the Penrose evaluation to all trivalent graphs.
Graphs with given k vertices generate an (acyclic) simplicial complex. We describe the homology of its quotient complex, formed by all connected graphs, and demonstrate its applications to the topology of braid groups, knot theory, combinatorics, and singularity theory. The multidimensional analogues of this complex ar…
This paper develops graph theory for racks and quasigroups.
problem Characterizing and realizing right quasigroups and related structures.
method Study of graph markings, Schreier graphs, and Cayley graphs.
result All right quasigroups are realizable by specific types of graphs.
Solves Skopenkov's problem on graph embedding criteria.
problem Criteria for toroidal embedding of one-vertex ribbon graphs.
method Analyzes one-vertex ribbon graphs with additional disc structure.
result Provides solutions to Skopenkov's problem.
The present paper is an introduction to a combinatorial theory arising as a natural generalisation of classical and virtual knot theory. There is a way to encode links by a class of `realisable' graphs. When passing to generic graphs with the same equivalence relations we get `graph-links'. On one hand graph-links gene…
The curve graph's model theory reveals its central role in surface study.
problem Why is the curve graph central in surface and mapping class group studies?
method Developed a bridge between model theory, topology, and group theory; bi-interpreted curve graph with mapping class group.
result Proved the curve graph's first-order theory is ω-stable and has quantifier elimination. Grid homology theory for spatial graphs extends skein sequence.
problem No specific problem stated; focuses on extending a sequence.
method Defined grid homology theory for spatial graphs and extended skein sequence.
result Skein exact sequence extended to grid homology for spatial graphs.
Classical knot theory can be generalized to virtual knot theory and spatial graph theory. In 2007, Fleming and Mellor combined virtual knot theory and spatial graph theory to form, combinatorially, virtual spatial graph theory. In this paper, we introduce a topological definition of virtual spatial graphs that is simil…
Graph potentials link to topological QFTs, with computational methods.
problem Defining a topological quantum field theory using graph potentials.
method Using colored trivalent graphs and birational type to define a topological QFT.
result Graph potentials' birational type depends on the graph's homotopy type.
Surveying connections between graph combinatorics and algebraic right-angled Artin groups.
problem Understanding the relationship between graph structures and algebraic properties of right-angled Artin groups.
method Analyzing the defining and extension graphs of right-angled Artin groups.
result Discovers connections to geometric group theory and complexity theory.
We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in the unit sphere S(x). In the Morse case these graphs are either spheres, the empty…
New theory for partial disentanglement from sparse graphs.
problem Disentangling latent factors from sparse causal graphs.
method Generalization of disentanglement theory to any graph, using consistency equivalence.
result Partial disentanglement captures expected factor entanglement based on graph structure.
GNNs learn graph representations, with new theory on their power and limitations.
problem Understanding the capabilities and limitations of GNNs.
method Theoretical analysis of GNNs, focusing on approximation and learning properties.
result New insights into the representation, generalization, and extrapolation of GNNs.
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.
Geometric duality connects graph isomorphism and knot equivalence.
problem Understanding the equivalence of graph isomorphism and knot equivalence.
method Observation of geometric duality in planar graphs and links.
result The equivalence relation defined by isomorphisms of checkerboard graphs is the same as 2-isomorphisms of checkerboard graphs.
This article presents a survey of some recent results in the theory of spatial graphs. In particular, we highlight results related to intrinsic knotting and linking and results about symmetries of spatial graphs. In both cases we consider spatial graphs in S3 as well as in other 3-manifolds.
Polynomial algorithm found for alternating link equivalence.
problem Link equivalence of alternating links in 3-space.
method Tait flyping conjectures, observations from graph theory, and topological graph theory.
result Alternating link equivalence has a polynomial algorithm.
New homology theory connects graph domination to subtle algebraic structures.
problem Understanding graph domination through algebraic homology.
method Interpreting überhomology as poset homology and showing its functorial properties.
result The Euler characteristic of bold homology equals the evaluation of the connected domination polynomial.
Graph theory connects automorphisms to cohomology.
problem Understanding automorphism actions on graph cohomology.
method Graph-theoretical interpretation of de Rham cohomology.
result Proves graph analogues of differential geometry results.
Study Kazdan-Warner equations on graphs using Brouwer degree theory.
problem Proving existence of solutions to Kazdan-Warner equations on finite graphs.
method Degree theory approach to uniformly bound and compute Brouwer degree.
result New proofs of existence results for Kazdan-Warner equations.
This paper proposes an axiomatic for Cyclic Foam Topological Field theories. That is Topological Field theories, corresponding to String theories, where particles are arbitrary graphs. World surfaces in this case are two-manifolds with one-dimensional singularities. We proved that Cyclic Foam Topological Field theories…
New theory defines invariants for framed 3-manifolds using trivalent graphs with self-loops.
problem Defining invariants for framed 3-manifolds with semi-simple Lie groups.
method Constructing graph complexes and cocycles, including self-loops, to define invariants.
result Higher-loop invariants can be defined by graph cocycles with or without self-loops.
The paper describes the K-theory of C∗-algebras of locally finite graphs.
problem Computing the K-theory of C∗-algebras of locally finite graphs. method Using a directed graph representation and Cuntz-Krieger algebra, the paper computes the K-theory of C∗(Γ). result The K-theory of C∗(Γ) is determined by the graph's genus, number of ends, and dead-ends. The paper improves GNN generalization theory by considering graph manifolds.
problem Improper GNN generalization bounds ignoring graph structures.
method Taking a manifold perspective, the paper establishes GNN generalization theory.
result GNN generalization bounds decrease linearly with graph size and spectral continuity.
Study examines how changing regions affects planar graphs.
problem Effect of region crossing change on planar trivalent graphs.
method Investigation of region crossing changes on planar trivalent graphs.
result Effect of region crossing change on planar trivalent graphs.
We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We approach this using the theory of modular operads by introducing a new operad governing associative algebras with involution. This operad is Koszul an…
The present paper is a review of the current state of Graph-Link Theory (graph-links are also closely related to homotopy classes of looped interlacement graphs), dealing with a generalisation of knots obtained by translating the Reidemeister moves for links into the language of intersection graphs of chord diagrams. I…
Random surfaces with long systoles created from graph theory ideas.
problem Finding surfaces with long systoles.
method Two constructions inspired by graph theory.
result Proved a new lower bound on systole length.
Graph convolutional networks (GCNs) are powerful tools for graph-structured data. However, they have been recently shown to be vulnerable to topological attacks. To enhance adversarial robustness, we go beyond spectral graph theory to robust graph theory. By challenging the classical graph Laplacian, we propose a new c…
Graph machine learning lacks a balanced theory, focusing on expressive power and optimization.
problem Insufficient theoretical understanding of GNNs' generalization behavior.
method Develop a balanced theory focusing on expressive power, generalization, and optimization.
result Theoretical advancements need to align with practical success in graph machine learning.
Goresky, Kottwitz and MacPherson have recently shown that the computation of the equivariant cohomology ring of a G-manifold can be reduced to a computation in graph theory. This opens up the possibility that many of the fundamental theorems in equivariant de Rham theory may, on closer inspection, turn out simply to be…
New TQFT homologies help color graphs, potentially solving the four color theorem.
problem Graph coloring problem, especially the four color theorem.
method Topological quantum field theory (TQFT) to define homology theories.
result TQFT homologies can generate 4-face colorings of bridgeless planar graphs, offering a constructive approach to the four color theorem.
Study of graphs interpolating curve and pants graphs, providing formulae and geometry classifications.
problem Understanding the large-scale geometry of graphs connecting curve and pants graphs.
method Developed explicit formulae for quasi-flat ranks and classified geometries using twist-free graphs of multicurves.
result Explicit formulae for quasi-flat ranks and classification of geometries into hyperbolic, relatively hyperbolic, and thick cases.
The aim of the present article is to give an overview of spectral theory on metric graphs guided by spectral geometry on discrete graphs and manifolds. We present the basic concept of metric graphs and natural Laplacians acting on it and explicitly allow infinite graphs. Motivated by the general form of a Laplacian on …
Line graph transformation aids graph isomorphism tests by excluding challenging graph properties.
problem Limited theoretical understanding of line graph transformation's impact on GNN models.
method Examined CFI and strongly regular graphs, showing line graph transformation helps WL tests distinguish these graphs.
result Line graph transformation aids WL tests in distinguishing challenging graph properties.
Dominant knots have isomorphic Seifert and Tait graphs.
problem Understanding knot dominance through graph isomorphism.
method Examined alternating knots and their Seifert and Tait graphs.
result Isomorphic Seifert and Tait graphs indicate dominant knots.
Study sharpens threshold for matching correlated graphs without labels.
problem Matching latent vertex correspondences in correlated random graphs.
method Analyzes information-theoretic limits for correct vertex matching in sub-sampled graphs.
result Establishes a sharp information-theoretic threshold for vertex matching recovery.
We consider the problem of offline, pool-based active semi-supervised learning on graphs. This problem is important when the labeled data is scarce and expensive whereas unlabeled data is easily available. The data points are represented by the vertices of an undirected graph with the similarity between them captured b…
Geometric group theory explores groups through their geometric properties.
problem Understanding groups via geometric properties.
method Cayley and Schreier graphs, ping-pong lemma, quasi-isometries, growth of groups, hyperbolicity.
result Gromov's theorem on groups of polynomial growth and amenability.
Extends graph similarity theory to improve MPNNs' generalization abilities.
problem Understanding MPNNs' generalization beyond training data.
method Extends graph similarity theory, assesses graph structure, aggregation, and loss functions.
result Improves understanding of MPNNs' generalization properties.
Well-quasi-orders proved on embedded planar graphs.
problem Proving well-quasi-orders on embedded planar graphs.
method Careful analysis and extensions of classical methods for embedded minor relations.
result Embedded minor relations are well-quasi-orders on various classes of embedded planar graphs.
We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie algebra of rank at most 2, gives rise to a confluent system of reduction rules of…
New theory classifies knotted spheres in 4D space.
problem Classifying knotted punctured spheres in 4D space.
method Diagrammatic theory of welded graphs, Tube map extension, Milnor invariants.
result Complete link-homotopy classification of knotted punctured spheres.
The paper studies graph products of groups and recovers graph and vertex groups under certain conditions.
problem Recovering graph and vertex groups from graph products of groups.
method Using non-generic almost positive sentences, the authors show that under specific conditions, the underlying graph and vertex groups can be recovered.
result The core of the defining graph determines an invariant of the elementary theory of a right-angled Artin group.
Proves Bochner's identity on graphs using a new auxiliary graph.
problem Extending Bochner's identity to graph theory.
method Introduces a complete tangent graph to prove the identity.
result Validates Bochner's identity on graphs.
Classifies colored links and spatial graphs up to colored link-homotopy.
problem Classifying colored links and spatial graphs up to colored link-homotopy.
method Using Habegger-Lin theory for colored string links, and extending to colored links and spatial graphs.
result Classification of colored links and spatial graphs up to colored link-homotopy.
New method selects diffusion scales for graph wavelets.
problem Choosing optimal diffusion scales for graph wavelets.
method Proposes an unsupervised method using information theory.
result Method selects diffusion scales for graph wavelets.