complete graph
2194 papers tagged with this keyword
Toll number of the Cartesian and the lexicographic product of graphs
Published
• View Publication
• BIB
Toll convexity is a variation of the so-called interval convexity. A tolled walk $T$ between $u$ and $v$ in $G$ is a walk of the form $T: u,w_1,\ldots,w_k,v,$ where $k\ge 1$, in which $w_1$ is the only neighbor of $u$ in $T$ and $w_k$ is the only neighbor of $v$ in $T$. As in geodesic or monophonic convexity, toll interval between $u,v\in V(G)$ is a set $T_G(u,v)=\{x\in V(G)\,:\,x \textrm{ lies on a tolled walk between } u \textrm{ and } v\}$. A set of vertices $S$ is toll convex, if $T_{G}(u,v)\subseteq S$ for all $u,v\in S$. First part of the paper reinvestigates the characterization of convex sets in the Cartesian product of graphs. Toll number and toll hull number of the Cartesian product of two arbitrary graphs is proven to be 2. The second part deals with the lexicographic product of graphs. It is shown that if $H$ is not isomorphic to a complete graph, $tn(G \circ H) \leq 3\cdot tn(G)$. We give some necessary and sufficient conditions for $tn(G \circ H) = 3\cdot tn(G)$. Moreover, if $G$ has at least two extreme vertices, a complete characterization is given. Also graphs with $tn(G \circ H)=2$ are characterized - this is the case iff $G$ has an universal vertex and $tn(H)=2$. Finally, the formula for $tn(G \circ H)$ is given - it is described in terms of the so-called toll-dominating triples.
Random subgraphs of properly edge-coloured complete graphs and long rainbow cycles
Published
• View Publication
• BIB
A subgraph of an edge-coloured complete graph is called rainbow if all its edges have different colours. In 1980 Hahn conjectured that every properly edge-coloured complete graph $K_n$ has a rainbow Hamiltonian path. Although this conjecture turned out to be false, it was widely believed that such a colouring always contains a rainbow cycle of length almost $n$. In this paper, improving on several earlier results, we confirm this by proving that every properly edge-coloured $K_n$ has a rainbow cycle of length $n-O(n^{3/4})$. One of the main ingredients of our proof, which is of independent interest, shows that a random subgraph of a properly edge-coloured $K_n$ formed by the edges of a random set of colours has a similar edge distribution as a truly random graph with the same edge density. In particular it has very good expansion properties.
Orientations of graphs with uncountable chromatic number
Published
• View Publication
• BIB
Motivated by an old conjecture of P. Erdős and V. Neumann-Lara, our aim is to investigate digraphs with uncountable dichromatic number and orientations of undirected graphs with uncountable chromatic number. A graph has uncountable chromatic number if its vertices cannot be covered by countably many independent sets, and a digraph has uncountable dichromatic number if its vertices cannot be covered by countably many acyclic sets. We prove that consistently there are digraphs with uncountable dichromatic number and arbitrarily large digirth; this is in surprising contrast with the undirected case: any graph with uncountable chromatic number contains a 4-cycle. Next, we prove that several well known graphs (uncountable complete graphs, certain comparability graphs, and shift graphs) admit orientations with uncountable dichromatic number in ZFC. However, we show that the statement "every graph $G$ of size and chromatic number $ω_1$ has an orientation $D$ with uncountable dichromatic number" is independent of ZFC.
Exact Ramsey numbers of odd cycles via nonlinear optimisation
Published
• View Publication
• BIB
For a graph $G$, the $k$-colour Ramsey number $R_k(G)$ is the least integer $N$ such that every $k$-colouring of the edges of the complete graph $K_N$ contains a monochromatic copy of $G$. Let $C_n$ denote the cycle on $n$ vertices. We show that for fixed $k\geq2$ and $n$ odd and sufficiently large, \[ R_k(C_n)=2^{k-1}(n-1)+1. \] This resolves a conjecture of Bondy and Erdős [J. Combin. Th. Ser. B \textbf{14} (1973), 46--54] for large $n$. The proof is analytic in nature, the first step of which is to use the regularity method to relate this problem in Ramsey theory to one in nonlinear optimisation. This allows us to prove a stability-type generalisation of the above and establish a surprising correspondence between extremal $k$-colourings for this problem and perfect matchings in the $k$-dimensional hypercube $Q_k$.
On minimal graphs containing k perfect matchings
We call a finite undirected graph minimally k-matchable if it has at least k distinct perfect matchings but deleting any edge results in a graph which has not. An odd subdivision of some graph G is any graph obtained by replacing every edge of G by a path of odd length connecting its end vertices such that all these paths are internally disjoint. We prove that for every k>0 there exists a finite set of graphs S(k) such that every minimally k-matchable graph is isomorphic to a disjoint union of an odd subdivision of some graph from S(k) and any number of copies of the complete graph on two vertices.
The sandpile model on K_{m,n} and the rank of its configurations
We present an algorithm to compute the rank of a configuration of the sandpile model for the complete bipartite graph K_{m,n} of complexity O(m+n). Furthermore, we provide a formula for the generating function of parking sorted configurations on complete bipartite graphs K_{m,n} according to rank, degree, and the sizes m and n.
The results in the present paper are similar to those found by Robert Cori and the second named author for the complete graph K_{n+1}, and they rely on the analysis of certain operators on the stable sorted configurations of K_{m,n} developed in a previous work by the authors together with Jean-Christophe Aval and Mark Dukes.
Almost all trees are almost graceful
Published in Random Structures and Algorithms Volume 56 (4), 2020, pages 948-987
• View Publication
• BIB
The Graceful Tree Conjecture of Rosa from 1967 asserts that the vertices of each tree T of order n can be injectively labelled by using the numbers {1,2,...,n} in such a way that the absolute differences induced on the edges are pairwise distinct.
We prove the following relaxation of the conjecture for each c>0 and for all n>n_0(c). Suppose that (i) the maximum degree of T is bounded by O(n/log n), and (ii) the vertex labels are chosen from the set {1,2,..., (1+c)n}. Then there is an injective labelling of V(T) such that the absolute differences on the edges are pairwise distinct. In particular, asymptotically almost all trees on n vertices admit such a labelling.
As a consequence, for any such tree T we can pack (2+2c)n-1 copies of T into the complete graph of order (2+2c)n-1 cyclically. This proves an approximate version of the Ringel-Kotzig conjecture (which asserts the existence of a cyclic packing of 2n-1 copies of any T into the complete graph of order 2n-1) for these trees.
The proof proceeds by showing that a certain very natural randomized algorithm produces a desired labelling with high probability.
Separators in region intersection graphs
For undirected graphs $G=(V,E)$ and $G_0=(V_0,E_0)$, say that $G$ is a region intersection graph over $G_0$ if there is a family of connected subsets $\{ R_u \subseteq V_0 : u \in V \}$ of $G_0$ such that $\{u,v\} \in E \iff R_u \cap R_v \neq \emptyset$.
We show if $G_0$ excludes the complete graph $K_h$ as a minor for some $h \geq 1$, then every region intersection graph $G$ over $G_0$ with $m$ edges has a balanced separator with at most $c_h \sqrt{m}$ nodes, where $c_h$ is a constant depending only on $h$. If $G$ additionally has uniformly bounded vertex degrees, then such a separator is found by spectral partitioning.
A string graph is the intersection graph of continuous arcs in the plane. The preceding result implies that every string graph with $m$ edges has a balanced separator of size $O(\sqrt{m})$. This bound is optimal, as it generalizes the planar separator theorem. It confirms a conjecture of Fox and Pach (2010), and improves over the $O(\sqrt{m} \log m)$ bound of Matousek (2013).
Further results on the deficiency of graphs
Published
• View Publication
• BIB
A \emph{proper $t$-edge-coloring} of a graph $G$ is a mapping $α: E(G)\rightarrow \{1,\ldots,t\}$ such that all colors are used, and $α(e)\neq α(e^{\prime})$ for every pair of adjacent edges $e,e^{\prime}\in E(G)$. If $α$ is a proper edge-coloring of a graph $G$ and $v\in V(G)$, then \emph{the spectrum of a vertex $v$}, denoted by $S\left(v,α\right)$, is the set of all colors appearing on edges incident to $v$. \emph{The deficiency of $α$ at vertex $v\in V(G)$}, denoted by $def(v,α)$, is the minimum number of integers which must be added to $S\left(v,α\right)$ to form an interval, and \emph{the deficiency $def\left(G,α\right)$ of a proper edge-coloring $α$ of $G$} is defined as the sum $\sum_{v\in V(G)}def(v,α)$. \emph{The deficiency of a graph $G$}, denoted by $def(G)$, is defined as follows: $def(G)=\min_αdef\left(G,α\right)$, where minimum is taken over all possible proper edge-colorings of $G$. For a graph $G$, the smallest and the largest values of $t$ for which it has a proper $t$-edge-coloring $α$ with deficiency $def(G,α)=def(G)$ are denoted by $w_{def}(G)$ and $W_{def}(G)$, respectively. In this paper, we obtain some bounds on $w_{def}(G)$ and $W_{def}(G)$. In particular, we show that for any $l\in \mathbb{N}$, there exists a graph $G$ such that $def(G)>0$ and $W_{def}(G)-w_{def}(G)\geq l$. It is known that for the complete graph $K_{2n+1}$, $def(K_{2n+1})=n$ ($n\in \mathbb{N}$). Recently, Borowiecka-Olszewska, Drgas-Burchardt and Hałuszczak posed the following conjecture on the deficiency of near-complete graphs: if $n\in \mathbb{N}$, then $def(K_{2n+1}-e)=n-1$. In this paper, we confirm this conjecture.
Existence of Modeling Limits for Sequences of Sparse Structures
A sequence of graphs is FO-convergent if the probability of satisfaction of every first-order formula converges. A graph modeling is a graph, whose domain is a standard probability space, with the property that every definable set is Borel. It was known that FO-convergent sequence of graphs do not always admit a modeling limit, and it was conjectured that this is the case if the graphs in the sequence are sufficiently sparse. Precisely, two conjectures were proposed:
* If a FO-convergent sequence of graphs is residual, that is if for every integer $d$ the maximum relative size of a ball of radius $d$ in the graphs of the sequence tends to zero, then the sequence has a modeling limit.
* A monotone class of graphs $\mathcal C$ has the property that every FO-convergent sequence of graphs from $\mathcal C$ has a modeling limit if and only if $\mathcal C$ is nowhere dense, that is if and only if for each integer $p$ there is $N(p)$ such that no graph in $\mathcal C$ contains the $p$th subdivision of a complete graph on $N(p)$ vertices as a subgraph.
Integral homology of random simplicial complexes
The random $2$-dimensional simplicial complex process starts with a complete graph on $n$ vertices, and in every step a new $2$-dimensional face, chosen uniformly at random, is added. We prove that with probability tending to $1$ as $n\to\infty$, the first homology group over $\mathbb Z$ vanishes at the very moment when all the edges are covered by triangular faces.
Hadwiger's conjecture for graphs with forbidden holes
Published
• View Publication
• BIB
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 1943 states that for every graph $G$, $h(G)\ge χ(G)$, where $χ(G)$ denotes the chromatic number of $G$. In this paper we establish more evidence for Hadwiger's conjecture by showing that if a graph $G$ with independence number $α(G)\ge3$ has no hole of length between $4$ and $2α(G)-1$, then $h(G)\geχ(G)$. We also prove that if a graph $G$ with independence number $α(G)\ge2$ has no hole of length between $4$ and $2α(G)$, then $G$ contains an odd clique minor of size $χ(G)$, that is, such a graph $G$ satisfies the odd Hadwiger's conjecture.
Partitioning a graph into a cycle and a sparse graph
Published
• View Publication
• BIB
In this paper we investigate results of the form "every graph $G$ has a cycle $C$ such that the induced subgraph of $G$ on $V(G)\setminus V(C)$ has small maximum degree." Such results haven't been studied before, but are motivated by the Bessy and Thomassé Theorem which states that the vertices of any graph $G$ can be covered by a cycle $C_1$ in $G$ and disjoint cycle $C_2$ in the complement of $G$.
There are two main theorems in this paper. The first is that every graph has a cycle with $Δ(G[V(G)\setminus V(C)])\leq \frac12(|V(G)\setminus V(C)|-1)$. The bound on the maximum degree $Δ(G[V(G)\setminus V(C)])$ is best possible. The second theorem is that every $k$-connected graph $G$ has a cycle with $Δ(G[V(G)\setminus V(C)])\leq \frac1{k+1}|V(G)\setminus V(C)|+3$. We also give an application of this second theorem to a conjecture about partitioning edge-coloured complete graphs into monochromatic cycles.
Book crossing numbers of the complete graph and small local convex crossing numbers
A $ k $-page book drawing of a graph $ G $ is a drawing of $ G $ on $ k $ halfplanes with common boundary $ l $, a line, where the vertices are on $ l $ and the edges cannot cross $ l $. The $ k $-page book crossing number of the graph $ G $, denoted by $ ν_k(G) $, is the minimum number of edge-crossings over all $ k $-page book drawings of $ G $. Let $G=K_n$ be the complete graph on $n$ vertices. We improve the lower bounds on $ ν_k(K_n) $ for all $ k\geq 14 $ and determine $ ν_k(K_n) $ whenever $ 2 < n/k \leq 3 $. Our proofs rely on bounding the number of edges in convex graphs with small local crossing numbers. In particular, we determine the maximum number of edges that a convex graph with local crossing number at most $ \ell $ can have for $ \ell\leq 4 $.
Coloring Graphs with Forbidden Minors
Published
• View Publication
• BIB
Hadwiger's conjecture from 1943 states that for every integer $t\ge1$, every graph either can be $t$-colored or has a subgraph that can be contracted to the complete graph on $t+1$ vertices. As pointed out by Paul Seymour in his recent survey on Hadwiger's conjecture, proving that graphs with no $K_7$ minor are $6$-colorable is the first case of Hadwiger's conjecture that is still open. It is not known yet whether graphs with no $K_7$ minor are $7$-colorable. Using a Kempe-chain argument along with the fact that an induced path on three vertices is dominating in a graph with independence number two, we first give a very short and computer-free proof of a recent result of Albar and Gonçalves and generalize it to the next step by showing that every graph with no $K_t$ minor is $(2t-6)$-colorable, where $t\in\{7,8,9\}$. We then prove that graphs with no $K_8^-$ minor are $9$-colorable and graphs with no $K_8^=$ minor are $8$-colorable. Finally we prove that if Mader's bound for the extremal function for $K_p$ minors is true, then every graph with no $K_p$ minor is $(2t-6)$-colorable for all $p\ge5$. This implies our first result. We believe that the Kempe-chain method we have developed in this paper is of independent interest.
On ordered Ramsey numbers of bounded-degree graphs
Published
• View Publication
• BIB
An ordered graph is a pair $\mathcal{G}=(G,\prec)$ where $G$ is a graph and $\prec$ is a total ordering of its vertices. The ordered Ramsey number $\overline{R}(\mathcal{G})$ is the minimum number $N$ such that every $2$-coloring of the edges of the ordered complete graph on $N$ vertices contains a monochromatic copy of $\mathcal{G}$.
We show that for every integer $d \geq 3$, almost every $d$-regular graph $G$ satisfies $\overline{R}(\mathcal{G}) \geq \frac{n^{3/2-1/d}}{4\log{n}\log{\log{n}}}$ for every ordering $\mathcal{G}$ of $G$. In particular, there are 3-regular graphs $G$ on $n$ vertices for which the numbers $\overline{R}(\mathcal{G})$ are superlinear in $n$, regardless of the ordering $\mathcal{G}$ of $G$. This solves a problem of Conlon, Fox, Lee, and Sudakov.
On the other hand, we prove that every graph $G$ on $n$ vertices with maximum degree 2 admits an ordering $\mathcal{G}$ of $G$ such that $\overline{R}(\mathcal{G})$ is linear in $n$.
We also show that almost every ordered matching $\mathcal{M}$ with $n$ vertices and with interval chromatic number two satisfies $\overline{R}(\mathcal{M}) \geq cn^2/\log^2{n}$ for some absolute constant $c$.
The distribution of minimum-weight cliques and other subgraphs in graphs with random edge weights
Published
• View Publication
• BIB
We determine, asymptotically in $n$, the distribution and mean of the weight of a minimum-weight $k$-clique (or any strictly balanced graph $H$) in a complete graph $K_n$ whose edge weights are independent random values drawn from the uniform distribution or other continuous distributions. For the clique, we also provide explicit (non-asymptotic) bounds on the distribution's CDF in a form obtained directly from the Stein-Chen method, and in a looser but simpler form. The direct form extends to other subgraphs and other edge-weight distributions. We illustrate the clique results for various values of $k$ and $n$. The results may be applied to evaluate whether an observed minimum-weight copy of a graph $H$ in a network provides statistical evidence that the network's edge weights are not independently distributed but have some structure.
The Widom-Rowlinson model, the hard-core model and the extremality of the complete graph
Published
• View Publication
• BIB
Let $H_{\mathrm{WR}}$ be the path on $3$ vertices with a loop at each vertex. D. Galvin conjectured, and E. Cohen, W. Perkins and P. Tetali proved that for any $d$-regular simple graph $G$ on $n$ vertices we have $$\hom(G,H_{\mathrm{WR}})\leq \hom(K_{d+1},H_{\mathrm{WR}})^{n/(d+1)}.$$ In this paper we give a short proof of this theorem together with the proof of a conjecture of Cohen, Perkins and Tetali. Our main tool is a simple bijection between the Widom-Rowlinson model and the hard-core model on another graph. We also give a large class of graphs $H$ for which we have $$\hom(G,H)\leq \hom(K_{d+1},H)^{n/(d+1)}.$$ In particular, we show that the above inequality holds if $H$ is a path or a cycle of even length at least $6$ with loops at every vertex.
On the largest reduced neighborhood clique cover number of a graph
Published in Congressus Numerantium 226(2016), 273-279
• Search Publication
Let $G$ be a graph and $t\ge 0$. A new graph parameter termed the largest reduced neighborhood clique cover number of $G$, denoted by ${\hatβ}_t(G)$, is introduced. Specifically, ${\hatβ}_t(G)$ is the largest, overall $t$-shallow minors $H$ of $G$, of the smallest number of cliques that can cover any closed neighborhood of a vertex in $H$. We verify that ${\hatβ}_t(G)=1$ when $G$ is chordal, and, ${\hatβ}_t(G)\le s$, where $G$ is an incomparability graph that does not have a $t-$shallow minor which is isomorphic to an induced star on $s$ leaves. Moreover, general properties of ${\hatβ}_t(G)$ including the connections to the greatest reduced average density of $G$, or $\bigtriangledown_t(G)$ are studied and investigated. For instance we show ${{\hatβ}_t(G)\over 2}\le \bigtriangledown_t(G)\le p.{\hatβ}_t(G),$ where $p$ is the size of a largest complete graph which is a $t-minor$ of $G$. Additionally we prove that largest ratio of any minimum clique cover to the maximum independent set taken overall $t-$minors of $G$ is a lower bound for ${\hatβ}_t(G)$. We further introduce the class of bounded neighborhood clique cover number for which ${\hatβ}_t(G)$ has a finite value for each $t\ge 0$ and verify the membership of geometric intersection graphs of fat objects (with no restrictions on the depth) to this class. The results support the conjecture that the class graphs with polynomial bounded neighborhood clique cover number may have separator theorems with respect to certain measures.
Quadrangular embeddings of complete graphs and the Even Map Color Theorem (with details)
Published in J. Combin. Theory Ser. B 139 (2019) 1-26
• View Publication
• BIB
Hartsfield and Ringel constructed orientable quadrangular embeddings of the complete graph $K_n$ for $n\equiv 5 \pmod 8$, and nonorientable ones for $n \ge 9$ and $n\equiv 1 \pmod 4$. These provide minimal quadrangulations of their underlying surfaces. We extend these results to determine, for every complete graph $K_n$, $n \ge 4$, the minimum genus, both orientable and nonorientable, for the surface in which $K_n$ has an embedding with all faces of degree at least $4$, and also for the surface in which $K_n$ has an embedding with all faces of even degree. These last embeddings provide sharpness examples for a result of Hutchinson bounding the chromatic number of graphs embedded with all faces of even degree, completing the proof of the Even Map Color Theorem. We also show that if a connected simple graph $G$ has a perfect matching and a cycle then the lexicographic product $G[K_4]$ has orientable and nonorientable quadrangular embeddings; this provides new examples of minimal quadrangulations.