graph
35299 papers tagged with this keyword
The chromatic number of the square of subcubic planar graphs
Wegner conjectured in 1977 that the square of every planar graph with maximum degree at most $3$ is $7$-colorable. We prove this conjecture using the discharging method and computational techniques to verify reducible configurations.
On the Ramsey Numbers of Trees with Small Diameter
Published
• View Publication
• BIB
We estimate the Ramsey number r(T) = r(T,T) for various trees T, obtaining a precise value for r(T) for a large number of trees of diameter 3. Furthermore we prove that all trees of diameter 3 are Ramsey unsaturated as defined by Balister, Lehel, and Schelp in their article "Ramsey unsaturated and saturated graphs."
Sur l'énumération de structures discrètes, une approche par la théorie des relations
Theory of relations is the framework of this thesis. It is about enumeration of finite structures. Let $\mathscr C$ be a class of finite combinatorial structures, the \emph{profile} of $\mathscr C$ is the function $\varphi_{\mathscr C}$ which count, for every $n$, the number of members of $\mathscr{C}$ defined on $n$ elements, isomorphic structures been identified. The generating function for $\mathscr C$ is $\mathcal H_{\mathscr C}(X):=\sum_{n\geqq 0}\varphi_{\mathscr C}(n)X^n$. Many results about the behavior of the function $\varphi_{\mathscr C}$ have been obtained. Albert and Atkinson have shown that the generating series of the profile of some classes of permutations are algebraic. we show how this result extends to classes of ordered binary structures using the notions of theory of relations. This is the subject of the first part of this thesis. The second part is concerned with the notion of minimality. An hereditary class of finite structures is minimal if it is infinite and every proper hereditary subclass is finite. We show, in particular, that ind-minimal classes are wqo ages and their number is the continuum.
The last part is motivated by the surprising phenomenon of the \emph{jump} observed in the behavior of the profile of hereditary classes of finite structures. We show that the profile of an hereditary classe made of ordered structures which have finite monomorphic decomposition is a polynomial. We also show that if the profile of a hereditary class of finite ordered binary structures is not bounded by a polynomial then it is at least exponential. This result generalizes the result obtained by Balogh, Bollobás and Morris (2006) for ordered graphs.
Towards Better: A motivated introduction to better-quasi-orders
Published in EMS Surveys in Mathematical Sciences, Volume 4, Issue 2, 2017, pp. 185-218
• View Publication
• BIB
The well-quasi-orders (WQO) play an important role in various fields such as Computer Science, Logic or Graph Theory. Since the class of WQOs lacks closure under some important operations, the proof that a certain quasi-order is WQO consists often of proving it enjoys a stronger and more complicated property, namely that of being a better-quasi-order (BQO).
Several articles contains valuable introductory material to the theory of BQOs. However, a textbook entitled "Introduction to better-quasi-order theory" is yet to be written. Here is an attempt to give a motivated and self-contained introduction to the deep concept defined by Nash-Williams that we would expect to find in such a textbook.
Online Chromatic Number is PSPACE-Complete
In the online graph coloring problem, vertices from a graph G, known in advance, arrive in an online fashion and an algorithm must immediately assign a color to each incoming vertex v so that the revealed graph is properly colored. The exact location of v in the graph G is not known to the algorithm. The online chromatic number of G is the smallest number of colors such that some online algorithm is able to properly color G for any incoming order. We prove that computing the online chromatic number of a graph is PSPACE-complete.
Circular Backbone Colorings: on matching and tree backbones of planar graphs
Published
• View Publication
• BIB
Given a graph $G$, and a spanning subgraph $H$ of $G$, a circular $q$-backbone $k$-coloring of $(G,H)$ is a proper $k$-coloring $c$ of $G$ such that $q\le \lvert c(u)-c(v)\rvert \le k-q$, for every edge $uv\in E(H)$. The circular $q$-backbone chromatic number of $(G,H)$, denoted by $CBC_q(G,H)$, is the minimum integer $k$ for which there exists a circular $q$-backbone $k$-coloring of $(G,H)$.
The Four Color Theorem implies that whenever $G$ is planar, we have $CBC_2(G,H)\le 8$. It is conjectured that this upper bound can be improved to 7 when $H$ is a tree, and to 6 when $H$ is a matching. In this work, we show that: 1) if $G$ is planar and has no $C_4$ as subgraph, and $H$ is a linear spanning forest of $G$, then $CBC_2(G,H)\leq 7$; 2) if $G$ is a plane graph having no two 3-faces sharing an edge, and $H$ is a matching of $G$, then $CBC_2(G,H)\leq 6$; and 3) if $G$ is planar and has no $C_4$ nor $C_5$ as subgraph, and $H$ is a mathing of $G$, then $CBC_2(G,H)\leq 5$. These results partially answer questions posed by Broersma, Fujisawa and Yoshimoto (2003), and by Broersma, Fomin and Golovach (2007). It also points towards a positive answer for the Steinberg's Conjecture.
Oriented Flip Graphs and Noncrossing Tree Partitions
Published
• View Publication
• BIB
In this paper, we study the lattice properties of posets of torsion pairs in the module category of a family of representation-finite gentle algebras called tiling algebras, introduced by Coelho Simoes and Parsons. We present a combinatorial model for torsion pairs using polyogonal subdivisions of a convex polygon. We use this model and the lattice theory to classify 2-term simple-minded collections in the bounded derived category of the corresponding tiling algebra. As a consequence, we obtain a characterization of c-matrices for any quiver mutation-equivalent to a type A Dynkin quiver.
Our model is developed using the dual tree of a polygonal subdivision. Given such a tree, we introduce a simplicial complex of noncrossing geodesics supported by the tree which we call the noncrossing complex. The facets of the noncrossing complex may be given the structure of an oriented flip graph. Special cases of the oriented flip graphs that may be expressed in this way include the Tamari order, type A Cambrian orders, oriented exchange graphs for quivers mutation-equivalent to a path quiver. We prove that the oriented flip graph of any noncrossing complex is a polygonal, congruence-uniform lattice. To do so, we express the oriented flip graph as a lattice quotient of a lattice of biclosed sets.
The facets of the noncrossing complex have an alternate ordering known as the shard intersection order. We prove that this shard intersection order is isomorphic to a lattice of noncrossing tree partitions. The oriented flip graph inherits a cyclic action from its congruence-uniform structure. On noncrossing tree partitions, this cyclic action generalizes the classical Kreweras complementation on noncrossing set partitions. We show that the data of a noncrossing tree partition and its Kreweras complement is equivalent to a 2-term simple-minded collection of the associated tiling algebra.
On Induced Colourful Paths in Triangle-free Graphs
Published
• View Publication
• BIB
Given a graph $G=(V,E)$ whose vertices have been properly coloured, we say that a path in $G$ is "colourful" if no two vertices in the path have the same colour. It is a corollary of the Gallai-Roy-Vitaver Theorem that every properly coloured graph contains a colourful path on $χ(G)$ vertices. We explore a conjecture that states that every properly coloured triangle-free graph $G$ contains an induced colourful path on $χ(G)$ vertices and prove its correctness when the girth of $G$ is at least $χ(G)$. Recent work on this conjecture by Gyárfás and Sárközy, and Scott and Seymour has shown the existence of a function $f$ such that if $χ(G)\geq f(k)$, then an induced colourful path on $k$ vertices is guaranteed to exist in any properly coloured triangle-free graph $G$.
Strong shellability of simplicial complexes
Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure strongly shellable complexes. Meanwhile, pure strongly shellable complexes can be characterized by the corresponding codimension one graphs. In addition, we show that the facet ideals of pure strongly shellable complexes have linear quotients.
Edgewise strongly shellable clutters
Published
• View Publication
• BIB
When $\mathcal{C}$ is a chordal clutter in the sense of Woodroofe or Emtander, we show that the complement clutter is edgewise strongly shellable. When $\mathcal{C}$ is indeed a finite simple graph, we study various characterizations of chordal graphs from the point of view of strong shellability. In particular, the generic graph $G_T$ of a tree is shown to be bi-strongly shellable. We also characterize edgewise strongly shellable bipartite graphs in terms of constructions from upward sequences. \end{abstract}
Forbidden Subgraph Bounds for Parallel Repetition and the Density Hales-Jewett Theorem
We study a special kind of bounds (so called forbidden subgraph bounds, cf. Feige, Verbitsky '02) for parallel repetition of multi-prover games.
First, we show that forbidden subgraph upper bounds for $r \ge 3$ provers imply the same bounds for the density Hales-Jewett theorem for alphabet of size $r$. As a consequence, this yields a new family of games with slow decrease in the parallel repetition value.
Second, we introduce a new technique for proving exponential forbidden subgraph upper bounds and explore its power and limitations. In particular, we obtain exponential upper bounds for two-prover games with question graphs of treewidth at most two and show that our method cannot give exponential bounds for all two-prover graphs.
The Tutte expansion revisited
The Tutte polynomial of a connected graph was originally defined by Tutte as a sum over all spanning trees of monomials depending on a fixed linear order on the set of edges. Tuttle proved that while these monomials do depend on the linear order, the sum does not. The present paper is a result of a reflection upon this classical theorem of Tutte. It is devoted to an elementary and detailed proof of this theorem in its natural generality, i.e. not for graphs, but for matroids.
In contrast with usual methods, the emphasis is on the properties of maps (as opposed to elements) naturally associated to a matroid (or a graph) and an order. In order to fully explain the four-fold symmetry of the proof, we introduce notion of linking between two matroids on the same set. While every matroid is, in fact, linked only to itself and to its dual matroid, the notion of a linking identifies the essential features of the theory and allows to replace the usual four similar arguments by a single one. This is done in Theorem 9.1, which is the focal point of the present paper.
With the exception of Introduction, the present paper is self-contained modulo basic concepts related to sets and maps. In particular, no knowledge of the matroid theory or of the graph theory is assumed.
Unfoldings of the Cube
Published
• View Publication
• BIB
Just how many different connected shapes result from slicing a cube along some of its edges and unfolding it into the plane? In this article we answer this question by viewing the cube both as a surface and as a graph of vertices and edges. This dual perspective invites an interplay of geometric, algebraic, and combinatorial techniques. The initial observation is that a cutting pattern which unfolds the cubical surface corresponds to a spanning tree of the cube graph. The Matrix-Tree theorem can be used to calculate the number of spanning trees in a connected graph, and thus allows us to compute the number of ways to unfold the cube. Since two or more spanning trees may yield the same unfolding shape, Burnside's lemma is required to count the number of incongruent unfoldings. Such a count can be an arduous task. Here we employ a combination of elementary algebraic and geometric techniques to bring the problem within the range of simple hand calculations.
Tight lower bounds on the matching number in a graph with given maximum degree
Published
• View Publication
• BIB
Let $k \geq 3$. We prove the following three bounds for the matching number, $α'(G)$, of a graph, $G$, of order $n$ size $m$ and maximum degree at most $k$.
If $k$ is odd, then $α'(G) \ge \left( \frac{k-1}{k(k^2 - 3)} \right) n \, + \, \left( \frac{k^2 - k - 2}{k(k^2 - 3)} \right) m \, - \, \frac{k-1}{k(k^2 - 3)}$. If $k$ is even, then $α'(G) \ge \frac{n}{k(k+1)} \, + \, \frac{m}{k+1} - \frac{1}{k}$. If $k$ is even, then $α'(G) \ge \left( \frac{k+2}{k^2+k+2} \right) m \, - \, \left( \frac{k-2}{k^2+k+2} \right) n \, - \frac{k+2}{k^2+k+2}$.
In this paper we actually prove a slight strengthening of the above for which the bounds are tight for essentially all densities of graphs.
The above three bounds are in fact powerful enough to give a complete description of the set $L_k$ of pairs $(γ,β)$ of real numbers with the following property. There exists a constant $K$ such that $α'(G) \geq γn + βm - K$ for every connected graph $G$ with maximum degree at most~$k$, where $n$ and $m$ denote the number of vertices and the number of edges, respectively, in $G$. We show that $L_k$ is a convex set. Further, if $k$ is odd, then $L_k$ is the intersection of two closed half-spaces, and there is exactly one extreme point of $L_k$, while if $k$ is even, then $L_k$ is the intersection of three closed half-spaces, and there are precisely two extreme points of $L_k$.
Ramsey-type numbers involving graphs and hypergraphs with large girth
A question of Erdős asks if for every pair of positive integers $r$ and $k$, there exists a graph $H$ having $\textrm{girth}(H)=k$ and the property that every $r$-colouring of the edges of $H$ yields a monochromatic cycle $C_k$. The existence of such graphs was confirmed by the third author and Ruciński.
We consider the related numerical problem of determining the smallest such graph with this property. We show that for integers $r$ and $k$, there exists a graph $H$ on $R^{10k^2} k^{15k^3}$ vertices (where $R = R(C_k;r)$ is the $r$-colour Ramsey number for the cycle $C_k$) having $\textrm{girth}(H)=k$ and the Ramsey property that every $r$-colouring of $E(H)$ yields a monochromatic $C_k$. Two related numerical problems regarding arithmetic progressions in sets and cliques in graphs are also considered.
On a problem by Shapozenko on Johnson graphs
Published
• View Publication
• BIB
The Johnson graph $J(n,m)$ has the $m$--subsets of $\{1,2,\ldots,n\}$ as vertices and two subsets are adjacent in the graph if they share $m-1$ elements. Shapozenko asked about the isoperimetric function $μ_{n,m}(k)$ of Johnson graphs, that is, the cardinality of the smallest boundary of sets with $k$ vertices in $J(n,m)$ for each $1\le k\le {n\choose m}$. We give an upper bound for $μ_{n,m}(k)$ and show that, for each given $k$ such that the solution to the Shadow Minimization Problem in the Boolean lattice is unique, and each sufficiently large $n$, the given upper bound is tight. We also show that the bound is tight for the small values of $k\le m+1$ and for all values of $k$ when $m=2$.
Steinberg's Conjecture is false
Published
• View Publication
• BIB
Steinberg conjectured in 1976 that every planar graph with no cycles of length four or five is 3-colorable. We disprove this conjecture.
Lovász' original lower bound: Getting tighter bounds and Reducing computational complexity
In this article, we give conditions on a graph under which the Lovász' original bound of the graph can be improved by increasing the topological connectivity of its neighbourhood complex. We also work out conditions under which computing the topological connectivity of hom complex of a pair of graphs can be simplified. In particular, hom complex as a covariant functor acting on a double mapping cylinder of graphs is a homotopy pushout of hom complex functor applied to its subgraphs. We give applications of this result where the computation of hom complexes is simplified. Finally, we explain why double mapping cylinder of graphs does not give a satisfactory definition of homotopy pushout in the category of graphs.
A constructive characterisation of circuits in the simple $(2,1)$-sparse matroid
Published
• View Publication
• BIB
A simple graph $G=(V,E)$ is a $(2,1)$-circuit if $|E|=2|V|$ and $|E(H)|\leq 2|V(H)|-1$ for every proper subgraph $H$ of $G$. Motivated, in part, by ongoing work to understand unique realisations of graphs on surfaces, we derive a constructive characterisation of $(2,1)$-circuits. The characterisation uses the well known 1-extension and $X$-replacement operations as well as several summation moves to glue together $(2,1)$-circuits over small cutsets.
A note on the double-critical graph conjecture
A connected $n$-chromatic graph $G$ is double-critical if for all the edges $xy$ of $G$, the graph $G-x-y$ is $(n-2)$-chromatic. In 1966, Erd\H os and Lovász conjectured that the only double-critical $n$-chromatic graph is $K_n$. This conjecture remains unresolved for $n \ge 6.$ In this short note, we verify this conjecture for claw-free graphs $G$ of chromatic number $6$.