English
Related papers

Related papers: A proof of the Kauffman-Harary Conjecture

200 papers

We introduce a way to color the regions of a classical knot diagram using ternary operations, so that the number of colorings is a knot invariant. By choosing appropriate substitutions in the algebras that we assign to diagrams, one obtains…

Geometric Topology · Mathematics 2019-10-29 Maciej Niebrzydowski

We establish a Kauffman-Murasugi-Thistlethwaite-type theorem for alternating knots in a solid torus. Specifically, we show that any dotted-reduced alternating diagram of a knot in a handlebody realizes the minimal crossing number, and that…

Geometric Topology · Mathematics 2026-01-30 Lizzie Buchanan , Tanushree Shah

In 1982 Louis Kauffman conjectured that if a knot in the 3-sphere is a slice knot then on any Seifert surface for that knot there exists a homologically essential simple closed curve of self-linking zero which is itself a slice knot, or at…

Geometric Topology · Mathematics 2014-03-12 Tim D. Cochran , Christopher William Davis

This article introduces a natural extension of colouring numbers of knots, called colouring polynomials, and studies their relationship to Yang-Baxter invariants and quandle 2-cocycle invariants. For a knot K in the 3-sphere let \pi_K be…

Geometric Topology · Mathematics 2007-11-20 Michael Eisermann

We show that every NP problem is polynomially equivalent to a simple combinatorial problem: the membership problem for a special class of digraphs. These classes are defined by means of shadows (projections) and by finitely many forbidden…

Computational Complexity · Computer Science 2007-06-27 Gabor Kun , Jaroslav Nesetril

Despite the existence of a proof of the 4-color theorem, it would seem that there is still more to learn about why any planar graph is 4-colorable. To that end, we take another look at the Birkhoff diamond and discover something new and…

Combinatorics · Mathematics 2019-03-22 James A. Tilley

Albertson conjectured that every graph with chromatic number $r$ has crossing number at least the crossing number of the complete graph $K_r$. This conjecture was proved for $r\le 12$ by Albertson, Cranston, and Fox; for $r\le 16$ by…

Combinatorics · Mathematics 2025-12-10 Daniel W. Cranston

After reconsidering the Dasbach-Hougardy counterexample to the Kauffman Conjecture on alternating knots, we reformulate the conjecture and consider Dasbach-Hougardy counterexample and similar counterexamples in the light of the reformulated…

Geometric Topology · Mathematics 2015-03-17 Louis H. Kauffman , Slavik V. Jablan

A $(a,b)$-coloring of a graph $G$ associates to each vertex a $b$-subset of a set of $a$ colors in such a way that the color-sets of adjacent vertices are disjoint. We define general reduction tools for $(a,b)$-coloring of graphs for $2\le…

Combinatorics · Mathematics 2023-10-06 Jean-Christophe Godin , Olivier Togni

Let $k$ and $r$ be two integers with $k \ge 2$ and $k\ge r \ge 1$. In this paper we show that (1) if a strongly connected digraph $D$ contains no directed cycle of length $1$ modulo $k$, then $D$ is $k$-colorable; and (2) if a digraph $D$…

Combinatorics · Mathematics 2014-04-01 Zhibin Chen , Jie Ma , Wenan Zang

Let $X$ be a (repetitive) infinite connected simple graph with a finite upper bound $\Delta$ on the vertex degrees. The main theorem states that $X$ admits a (repetitive) limit aperiodic vertex coloring by $\Delta$ colors. This refines a…

Metric Geometry · Mathematics 2020-03-05 Jesús A. Álvarez López , Ramón Barral Lijó

We show that additive induced-hereditary properties of coloured hypergraphs can be uniquely factorised into irreducible factors. Our constructions and proofs are so general that they can be used for arbitrary concrete categories of…

Combinatorics · Mathematics 2007-05-23 Grzegorz Arkit , Alastair Farrugia , Peter Mihók , Gabriel Semanišin , Roman Vasky

In 1964 Vizing proved that starting from any k-edge-coloring of a graph G one can reach, using only Kempe swaps, a ($\Delta$ + 1)-edge-coloring of G where $\Delta$ is the maximum degree of G. One year later he conjectured that one can also…

Combinatorics · Mathematics 2023-02-28 Jonathan Narboni

Neglecting many motivating details for the Park-Pham theorem (previously known as the Kahn-Kalai conjecture), the result starts with a finite set $X$, a non-trivial upper set $\mathcal{F} \subseteq 2^X$, and a particular parameterized…

Combinatorics · Mathematics 2024-08-16 Bryce Alan Christopherson , Darian Colgrove

Hadwiger's conjecture states that every $K_t$-minor free graph is $(t-1)$-colorable. A qualitative strengthening of this conjecture raised by Gerards and Seymour, known as the Odd Hadwiger's conjecture, states similarly that every graph…

Combinatorics · Mathematics 2021-09-07 Raphael Steiner

For each odd prime p, and for each non-split link admitting non-trivial p-colorings, we prove that the maximum number of Fox colors is p. We also prove that we can assemble a non-trivial p-coloring with any number of colors, from the…

Geometric Topology · Mathematics 2013-02-25 Slavik Jablan , Louis H. Kauffman , Pedro Lopes

From analysis of a big variety of different knots we conclude that at q which is an root of unity, q^{2m}=1, HOMFLY polynomials in symmetric representations [r] satisfy recursion identity: H_{r+m} = H_r H_m for any A, which is a…

High Energy Physics - Theory · Physics 2015-07-07 Ya. Kononov , A. Morozov

Consider a graph obtained by taking edge disjoint union of $k$ complete bipartite graphs. Alon, Saks and Seymour conjectured that such graph has chromatic number at most $k+1$. This well known conjecture remained open for almost twenty…

Combinatorics · Mathematics 2010-02-26 Hao Huang , Benny Sudakov

Inspired by earlier results about proper and polychromatic coloring of hypergraphs, we investigate such colorings of directed hypergraphs, that is, hypergraphs in which the vertices of each hyperedge is partitioned into two parts, a tail…

Combinatorics · Mathematics 2022-05-24 Balázs Keszegh

For a graph $H$ and integer $k \geq 1$, two functions $f, g$ from $V(H)$ into $\{1, \dots, k\}$ are adjacent if for all edges $uv$ of $H$, $f(u) \neq g(v)$. The graph of all such functions is the exponential graph $K_k^H$. El-Zahar and…

Data Structures and Algorithms · Computer Science 2019-03-15 Adrien Argento , Pierre Charbit , Alantha Newman