-
Hadwiger number always upper bounds the chromatic number -- 1852-1943 -- A far-reaching generalisation of Guthrie's postulate
Authors:
T Srinivasa Murthy
Abstract:
In a simple graph $G$, we prove that the \textit{Hadwiger number}, $h(G)$, of the given graph $G$ always upper bounds the \textit{chromatic number}, $χ(G)$, of the given graph $G$, that is, $χ(G) \leq h(G)$. This simply stated problem is one of the fundamental questions in combinatorial mathematics, which was made by Hugo Hadwiger in 1943. Consequently, it independently verifies the most famous Fo…
▽ More
In a simple graph $G$, we prove that the \textit{Hadwiger number}, $h(G)$, of the given graph $G$ always upper bounds the \textit{chromatic number}, $χ(G)$, of the given graph $G$, that is, $χ(G) \leq h(G)$. This simply stated problem is one of the fundamental questions in combinatorial mathematics, which was made by Hugo Hadwiger in 1943. Consequently, it independently verifies the most famous Four-Color Theorem: the case $h(G) = 4$ is equivalent to the Four-Color Theorem, that is, every planar graph is $4$-colourable. In our novel approach, we use algebraic settings over a finite field $\mathbb{Z}_p$. The algebraic setting, in essence, begins with the complete graph with $h(G)$ vertices (which is a minor, $\mathcal{M}$, of the given graph $G$) and iteratively extends to the simple graph $G$. This conjecture has remained elusive, owing to a lack of understanding of the interdependence, particularly the importance of Lemma 3.1, Lemma 3.2, Lemma 3.3, and Lemma 3.6 in Section 3.
△ Less
Submitted 22 April, 2022; v1 submitted 19 September, 2021;
originally announced September 2021.
-
A proof of the Total Coloring Conjecture
Authors:
T Srinivasa Murthy
Abstract:
\textit{Total Coloring} of a graph is a major coloring problem in combinatorial mathematics, introduced in the early $1960$s. A \textit{total coloring} of a graph $G$ is a map $f:V(G) \cup E(G) \rightarrow \mathcal{K}$, where $\mathcal{K}$ is a set of colors, satisfying the following three conditions: 1. $f(u) \neq f(v)$ for any two adjacent vertices $u, v \in V(G)$; 2. $f(e) \neq f(e')$ for any t…
▽ More
\textit{Total Coloring} of a graph is a major coloring problem in combinatorial mathematics, introduced in the early $1960$s. A \textit{total coloring} of a graph $G$ is a map $f:V(G) \cup E(G) \rightarrow \mathcal{K}$, where $\mathcal{K}$ is a set of colors, satisfying the following three conditions: 1. $f(u) \neq f(v)$ for any two adjacent vertices $u, v \in V(G)$; 2. $f(e) \neq f(e')$ for any two adjacent edges $e, e' \in E(G)$; and 3. $f(v) \neq f(e)$ for any vertex $v \in V(G)$ and any edge $e \in E(G)$ that is incident to the same vertex $v$. The \textit{total chromatic number}, $χ''(G)$, is the minimum number of colors required for a \textit{total coloring} of $G$. Behzad (1965), and Vizing (1968), conjectured that for any graph $G$ $χ''(G)\leq Δ+ 2$. This conjecture is one of the classic unsolved mathematical problems. In this paper, we settle this classical conjecture by proving that the \textit{total chromatic number} $χ''(G)$ of a graph is indeed bounded above by $Δ+2$. Our novel approach involves algebraic settings over a finite field $\mathbb{Z}_p$ and Vizing's theorem is an essential part of the algebraic settings.
△ Less
Submitted 17 June, 2021; v1 submitted 21 March, 2020;
originally announced March 2020.
-
Problems on Matchings and Independent Sets of a Graph
Authors:
Amitava Bhattacharya,
Anupam Mondal,
T. Srinivasa Murthy
Abstract:
Let $G$ be a finite simple graph. For $X \subset V(G)$, the difference of $X$, $d(X) := |X| - |N (X)|$ where $N(X)$ is the neighborhood of $X$ and $\max \, \{d(X):X\subset V(G)\}$ is called the critical difference of $G$. $X$ is called a critical set if $d(X)$ equals the critical difference and ker$(G)$ is the intersection of all critical sets. It is known that ker$(G)$ is an independent (vertex)…
▽ More
Let $G$ be a finite simple graph. For $X \subset V(G)$, the difference of $X$, $d(X) := |X| - |N (X)|$ where $N(X)$ is the neighborhood of $X$ and $\max \, \{d(X):X\subset V(G)\}$ is called the critical difference of $G$. $X$ is called a critical set if $d(X)$ equals the critical difference and ker$(G)$ is the intersection of all critical sets. It is known that ker$(G)$ is an independent (vertex) set of $G$. diadem$(G)$ is the union of all critical independent sets. An independent set $S$ is an inclusion minimal set with $d(S) > 0$ if no proper subset of $S$ has positive difference.
A graph $G$ is called König-Egerváry if the sum of its independence number ($α(G)$) and matching number ($μ(G)$) equals $|V(G)|$. It is known that bipartite graphs are König-Egerváry.
In this paper, we study independent sets with positive difference for which every proper subset has a smaller difference and prove a result conjectured by Levit and Mandrescu in 2013. The conjecture states that for any graph, the number of inclusion minimal sets $S$ with $d(S) > 0$ is at least the critical difference of the graph. We also give a short proof of the inequality $|$ker$(G)| + |$diadem$(G)| \le 2α(G)$ (proved by Short in 2016).
A characterization of unicyclic non-König-Egerváry graphs is also presented and a conjecture which states that for such a graph $G$, the critical difference equals $α(G) - μ(G)$, is proved.
We also make an observation about ker$G)$ using Edmonds-Gallai Structure Theorem as a concluding remark.
△ Less
Submitted 19 February, 2018; v1 submitted 11 January, 2017;
originally announced January 2017.