Related papers: Proof of the Lovasz Conjecture

Ryser's conjecture says that for every $r$-partite hypergraph $H$ with matching number $\nu(H)$, the vertex cover number is at most $(r-1)\nu(H)$. This far reaching generalization of K\"onig's theorem is only known to be true for $r\leq 3$,…

A graph $H$ is said to be positive if the homomorphism density $t_H(G)$ is non-negative for all weighted graphs $G$. The positive graph conjecture proposes a characterisation of such graphs, saying that a graph is positive if and only if it…

For a hypergraph $G$, let $\chi(G), \Delta(G),$ and $\lambda(G)$ denote the chromatic number, the maximum degree, and the maximum local edge connectivity of $G$, respectively. A result of Rhys Price Jones from 1975 says that every connected…

Hadwiger's Conjecture asserts that every $K_h$-minor-free graph is properly $(h-1)$-colourable. We prove the following improper analogue of Hadwiger's Conjecture: for fixed $h$, every $K_h$-minor-free graph is $(h-1)$-colourable with…

Lov\'asz (1967) showed that two finite relational structures A and B are isomorphic if, and only if, the number of homomorphisms from C to A is the same as the number of homomorphisms from C to B for any finite structure C. Soon after,…

Given a graph $G$, the Hadwiger number of $G$, denoted by $h(G)$, is the largest integer $k$ such that $G$ contains the complete graph $K_k$ as a minor. A hole in $G$ is an induced cycle of length at least four. Hadwiger's Conjecture from…

A foundation is laid for a theory of combinatorial groupoids, allowing us to use concepts like ``holonomy'', ``parallel transport'', ``bundles'', ``combinatorial curvature'' etc. in the context of simplicial (polyhedral) complexes, posets,…

Let $\phi(k)$ be the minimum number of vertices in a non-$k$-choosable $k$-chromatic graph. The Ohba conjecture, confirmed by Noel, Reed and Wu, asserts that $\phi(k) \ge 2k+2$. This bound is tight if $k$ is even. If $k$ is odd, then it is…

Let $k \ge 3$ be an integer, $H_{k}(G)$ be the set of vertices of degree at least $2k$ in a graph $G$, and $L_{k}(G)$ be the set of vertices of degree at most $2k-2$ in $G$. In 1963, Dirac and Erd\H{o}s proved that $G$ contains $k$…

For a graph $G$, $\chi(G)$ denotes the chromatic number of $G$ and $\omega(G)$ denotes the size of the largest clique in $G$. A hereditary class of graphs is called $\chi$-bounded if there is a function $f$ such that for each graph $G$ in…

The product version of the 1-2-3 Conjecture, introduced by Skowronek-Kazi{\'o}w in 2012, states that, a few obvious exceptions apart, all graphs can be 3-edge-labelled so that no two adjacent vertices get incident to the same product of…

We prove that for every $n$, there is a graph $G$ with $\chi(G) \geq n$ and $\omega(G) \leq 3$ such that every induced subgraph $H$ of $G$ with $\omega(H) \leq 2$ satisfies $\chi(H) \leq 4$. This disproves a well-known conjecture. Our…

Gyori and Lovasz independently proved the following beautiful theorem. Let $k\ge2$ be an integer, let $G$ be a $k$-connected graph on $n$ vertices, let $v_1,v_2,\ldots,v_k$ be distinct vertices of $G$ and let $n_1,n_2,\ldots,n_k$ be…

We show that the vanishing of certain cohomology groups of polyhedral complexes imply upper bounds on Ramsey numbers. Lovasz bounded the chromatic numbers of graphs using Hom complexes. Babson and Kozlov proved Lovasz conjecture and…

Let ${\mathcal C}$ be the category of finite graphs. Lov\`{a}sz (1967) shows that if $|\mathrm{Hom}(X,A)|=|\mathrm{Hom}(X,B)|$ holds for any $X$, then $A$ is isomorphic to $B$. Pultr (1973) gives a categorical generalization using a similar…

It was conjectured by Ohba and confirmed recently by Noel et al. that, for any graph $G$, if $|V(G)|\le 2\chi(G)+1$ then $\chi_l(G)=\chi(G)$. This indicates that the graphs with high chromatic number are chromatic-choosable. We show that…

A graph embedded in a surface with all faces of size 4 is known as a quadrangulation. We extend the definition of quadrangulation to higher dimensions, and prove that any graph G which embeds as a quadrangulation in the real projective…

Lovasz's striking proof of Kneser's conjecture from 1978 using the Borsuk--Ulam theorem provides a lower bound on the chromatic number of a graph. We introduce the shore subdivision of simplicial complexes and use it to show an upper bound…

As a natural extension of the Four Color Theorem, Haj\'{o}s conjectured that graphs containing no $K_5$-subdivision are 4-colorable. Any possible counterexample to this conjecture with minimum number of vertices is called a {\it Haj\'{o}s…

The 1-2-3 Conjecture, posed by Karo\'{n}ski, {\L}uczak and Thomason, asked whether every connected graph $G$ different from $K_2$ can be 3-edge-weighted so that every two adjacent vertices of $G$ get distinct sums of incident weights. The…