For an integer $k \geq 1$ and a graph $G$, let $\mathcal{K}_k(G)$ be the graph that has vertex set all proper $k$-colorings of $G$, and an edge between two vertices $α$ and~$β$ whenever the coloring~$β$ can be obtained from $α$ by a single Kempe change. A theorem of Meyniel from 1978 states that $\mathcal{K}_5(G)$ is connected with diameter $O(5^{|V(G)|})$ for every planar graph $G$. We significantly strengthen this result, by showing that there is a positive constant $c$ such that $\mathcal{K}_5(G)$ has diameter $O(|V(G)|^c)$ for every planar graph $G$.
We show that for every infinite collection $\mathcal{R}$ of disjoint equivalent rays in a graph $G$ there is a subdivision of the hexagonal half-grid in $G$ such that all its vertical rays belong to $\mathcal{R}$. This result strengthens Halin's grid theorem by giving control over which specific set of rays is used, while its proof is significantly shorter.
In this paper we prove a general theorem showing the extension property for partial automorphisms (EPPA, also called the Hrushovski property) for classes of structures containing relations and unary functions, optionally equipped with a permutation group of the language. The proof is elementary, combinatorial and fully self-contained. Our result is a common strengthening of the Herwig-Lascar theorem on EPPA for relational classes with forbidden homomorphisms, the Hodkinson-Otto theorem on EPPA for relational free amalgamation classes, its strengthening for unary functions by Evans, Hubička and…
In its usual form, Freiman's 3k-4 theorem states that if A and B are subsets of the integers of size k with small sumset (of size close to 2k) then they are very close to arithmetic progressions. Our aim in this paper is to strengthen this by allowing only a bounded number of possible summands from one of the sets. We show that if A and B are subsets of the integers of size k such that for any four-element subset X of B the sumset A+X has size not much more than 2k then already this implies that A and B are very close to arithmetic progressions.
What can be said about the structure of graphs that do not contain an induced copy of some graph H? Rodl showed in the 1980s that every H-free graph has large parts that are very dense or very sparse. More precisely, let us say that a graph F on n vertices is c-restricted if either F or its complement has maximum degree at most cn. Rodl proved that for every graph H, and every c>0, every H-free graph G has a linear-sized set of vertices inducing a c-restricted graph. We strengthen Rodl's result as follows: for every graph H, and all c>0, every H-free graph can be partitioned into a bounded num…
The Erdős-Szekeres Theorem stated in terms of graphs says that any red-blue coloring of the edges of the ordered complete graph $K_{rs+1}$ contains a red copy of the monotone increasing path with $r$ edges or a blue copy of the monotone increasing path with $s$ edges. Although $rs + 1$ is the minimum number of vertices needed for this result, not all edges of $K_{rs+1}$ are necessary. We characterize the subgraphs of $K_{rs+1}$ with this coloring property as follows: they are exactly the subgraphs that contain all the edges of a graph we call the circus tent graph $CT(r,s)$. Additionally, we u…
Let $n > k > t \geq j \geq 1$ be integers. Let $X$ be an $n$-element set, ${X\choose k}$ the collection of its $k$-subsets. A family $\mathcal F \subset {X\choose k}$ is called $t$-intersecting if $|F \cap F'| \geq t$ for all $F, F' \in \mathcal F$. The $j$'th shadow $\partial^j \mathcal F$ is the collection of all $(k - j)$-subsets that are contained in some member of~$\mathcal F$. Estimating $|\partial^j \mathcal F|$ as a function of $|\mathcal F|$ is a widely used tool in extremal set theory. A classical result of the second author (Theorem \ref{th:1.3}) provides such a bound for $t$-inters…
Strengthening topological colorful results for graphs
当适当有色图的色数的拓扑下界满足一定条件时，各种结果都保证了大的完全二部图的存在性。我们推广了三个这类定理，分别来自Simonyi和Tardos（Combinatorica，2006），Simonyi，Tardif和Zsbán（The Electronic Journal of Combinatorics，2013）和Chen（Journal of Combinatorial Theory，Series A，2011）。作为Chen定理的推广，我们得到了一类新的图族，它们的色数等于它们的圆色数，并且满足Hedetniemi关于圆色数的猜想.
For a 2-connected graph $G$ on $n$ vertices and two vertices $x,y\in V(G)$, we prove that there is an $(x,y)$-path of length at least $k$ if there are at least $\frac{n-1}{2}$ vertices in $V(G)\backslash \{x,y\}$ of degree at least $k$. This strengthens a well-known theorem due to Erdős and Gallai in 1959. As the first application of this result, we show that a 2-connected graph with $n$ vertices contains a cycle of length at least $2k$ if it has at least $\frac{n}{2}+k$ vertices of degree at least $k$. This confirms a 1975 conjecture made by Woodall. As another applications, we obtain some re…
Greedy Coloring and Simple Exponential Strengthenings of Brooks-Type Theorems
University of Utah（犹他大学）；CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP UMR 5668（法国国家科学研究中心，里昂高等师范学院，克洛德·贝尔纳里昂第一大学）；ENS de Lyon, LIP UMR 5668（里昂高等师范学院）
The chromatic critical edge theorem of Simonovits states that for a given color critical graph $H$ with $χ(H)=k+1$, there exists an $n_0(H)$ such that the Turán graph $T_{n,k}$ is the only extremal graph with respect to $ex(n,H)$ provided $n \geq n_0(H)$. Nikiforov's pioneer work on spectral graph theory implies that the color critical edge theorem also holds if $ex(n,H)$ is replaced by the maximum spectral radius and $n_0(H)$ is an exponential function of $|H|$. We want to know which color critical graphs $H$ satisfy that $n_0(H)$ is a linear function of $|H|$. Previous graphs include complet…
A transversal set of a graph $G$ is a set of vertices incident to all edges of $G$. The transversal number of $G$, denoted by $τ(G)$, is the minimum cardinality of a transversal set of $G$. A simple graph $G$ with no isolated vertex is called $τ$-critical if $τ(G-e) < τ(G)$ for every edge $e\in E(G)$. For any $τ$-critical graph $G$ with $τ(G)=t$, it has been shown that $|V(G)|\le 2t$ by Erdős and Gallai and that $|E(G)|\le {t+1\choose 2}$ by Erdős, Hajnal and Moon. Most recently, it was extended by Gyárfás and Lehel to $|V(G)| + |E(G)|\le {t+2\choose 2}$. In this paper, we prove stronger resul…
Ryser's conjecture says that for every $r$-partite hypergraph $H$ with matching number $ν(H)$, the vertex cover number is at most $(r-1)ν(H)$. This far reaching generalization of König's theorem is only known to be true for $r\leq 3$, or $ν(G)=1$ and $r\leq 5$. An equivalent formulation of Ryser's conjecture is that in every $r$-edge coloring of a graph $G$ with independence number $α(G)$, there exists at most $(r-1)α(G)$ monochromatic connected subgraphs which cover the vertex set of $G$. We make the case that this latter formulation of Ryser's conjecture naturally leads to a variety of stron…
The chain theorem of Tutte states that every 3-connected graph can be constructed from a wheel $W_n$ by repeatedly adding edges and splitting vertices. It is not difficult to prove the following strengthening of this theorem: every non-wheel 3-connected graph can be constructed from $W_4$ by repeatedly adding edges and splitting vertices. In this paper we similarly strengthen several chain theorems for various versions of 4-connectivity.
University of Ottawa（渥太华大学）；Jagiellonian University（雅盖隆大学）；Université libre de Bruxelles（布鲁塞尔自由大学）；École Normale Supérieure, CNRS, PSL University（巴黎高等师范学院、法国国家科学研究中心、巴黎文理研究大学）；Carleton University（卡尔顿大学）；Monash University（蒙纳士大学）
In this work, we give the sharp upper bound for the number of cliques in graphs with bounded odd circumferences. This generalized Turán-type result is an extension of the celebrated Erdős and Gallai theorem and a strengthening of Luo's recent result. The same bound for graphs with bounded even circumferences is a trivial application of the theorem of Li and Ning.
Countable Menger theorem with finitary matroid constraints on the ingoing edges
我们提出了一个加强的可数Menger定理（边缘版本）的R。阿哈罗尼设$ D=(V,A) $是一个具有$ s\neq t\in V $的可数有向图，$\mathcal{M}=\bigoplus_{v\in V}\mathcal{M}_v $是$ A $上的拟阵，其中$ \mathcal{M}_v $是$ D=(V,A) $的进入边上的有限拟阵.我们证明了存在一个边不相交的$ s \rightarrow t $路径系统$ \mathcal{P} $，使得路径的联合边集是$ \mathcal{M} $独立的，并且存在一个$ C \subseteq A $，该$ C \subseteq A $由来自$ \mathcal{P} $的每个元素的一个边组成，其中$ \mathsf{span}_{\mathcal{M}}(C) $覆盖$ D $中的所有$ s\rightarrow t $路径。
For a plane near-triangulation $G$ with the outer face bounded by a cycle $C$, let $n^\star_G$ denote the function that to each $4$-coloring $ψ$ of $C$ assigns the number of ways $ψ$ extends to a $4$-coloring of $G$. The block-count reducibility argument (which has been developed in connection with attempted proofs of the Four Color Theorem) is equivalent to the statement that the function $n^\star_G$ belongs to a certain cone in the space of all functions from $4$-colorings of $C$ to real numbers. We investigate the properties of this cone for $|C|=5$, formulate a conjecture strengthening the…
A cap of spherical radius $α$ on a unit $d$-sphere $S$ is the set of points within spherical distance $α$ from a given point on the sphere. Let $\mathcal F$ be a finite set of caps lying on $S$. We prove that if no hyperplane through the center of $ S $ divides $\mathcal F$ into two non-empty subsets without intersecting any cap in $\mathcal F$, then there is a cap of radius equal to the sum of radii of all caps in $\mathcal F$ covering all caps of $\mathcal F$ provided that the sum of radii is less $π/2$. This is the spherical analog of the so-called Circle Covering Theorem by Goodman and Goo…
