contain ↗ reference
7720 papers tagged with this keyword
On minimal Ramsey graphs and Ramsey equivalence in multiple colours
Published in Combinator. Probab. Comp. 29 (2020) 537-554
• View Publication
• BIB
For an integer $q\ge 2$, a graph $G$ is called $q$-Ramsey for a graph $H$ if every $q$-colouring of the edges of $G$ contains a monochromatic copy of $H$. If $G$ is $q$-Ramsey for $H$, yet no proper subgraph of $G$ has this property then $G$ is called $q$-Ramsey-minimal for $H$. Generalising a statement by Burr, Nešetřil and Rödl from 1977 we prove that, for $q\ge 3$, if $G$ is a graph that is not $q$-Ramsey for some graph $H$ then $G$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$, as long as $H$ is $3$-connected or isomorphic to the triangle. For such $H$, the following are some consequences.
(1) For $2\le r< q$, every $r$-Ramsey-minimal graph for $H$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$.
(2) For every $q\ge 3$, there are $q$-Ramsey-minimal graphs for $H$ of arbitrarily large maximum degree, genus, and chromatic number.
(3) The collection $\{{\cal M}_q(H) : H \text{ is 3-connected or } K_3\}$ forms an antichain with respect to the subset relation, where ${\cal M}_q(H)$ denotes the set of all graphs that are $q$-Ramsey-minimal for $H$.
We also address the question which pairs of graphs satisfy ${\cal M}_q(H_1)={\cal M}_q(H_2)$, in which case $H_1$ and $H_2$ are called $q$-equivalent. We show that two graphs $H_1$ and $H_2$ are $q$-equivalent for even $q$ if they are $2$-equivalent, and that in general $q$-equivalence for some $q\ge 3$ does not necessarily imply $2$-equivalence. Finally we indicate that for connected graphs this implication may hold: Results by Nešetřil and Rödl and by Fox, Grinshpun, Liebenau, Person and Szabó imply that the complete graph is not $2$-equivalent to any other connected graph. We prove that this is the case for an arbitrary number of colours.
Boxes, extended boxes, and sets of positive upper density in the Euclidean space
Published in Math. Proc. Cambridge Philos. Soc. 171 (2021), no. 3, 481-501
• View Publication
• BIB
We prove that sets with positive upper Banach density in sufficiently large dimensions contain congruent copies of all sufficiently large dilates of three specific higher-dimensional patterns. These patterns are: $2^n$ vertices of a fixed $n$-dimensional rectangular box, the same vertices extended with $n$ points completing three-term arithmetic progressions, and the same vertices extended with $n$ points completing three-point corners. Our results provide common generalizations of several Euclidean density theorems from the literature.
A note on cycles in graphs with specified radius and diameter
Let $G$ be a graph of radius $r$ and diameter $d$ with $d\leq 2r-2$. We give a new proof that $G$ contains a cycle of length at least $4r-2d$, i.e. for its circumference it holds $c(G)\geq 4r-2d$.
Triangle resilience of the square of a Hamilton cycle in random graphs
Published
• View Publication
• BIB
Since first introduced by Sudakov and Vu in 2008, the study of resilience problems in random graphs received a lot of attention in probabilistic combinatorics. Of particular interest are resilience problems of spanning structures. It is known that for spanning structures which contain many triangles, local resilience cannot prevent an adversary from destroying all copies of the structure by removing a negligible amount of edges incident to every vertex. In this paper we generalise the notion of local resilience to $H$-resilience and demonstrate its usefulness on the containment problem of the square of a Hamilton cycle. In particular, we show that there exists a constant $C > 0$ such that if $p \geq C\log^3 n/\sqrt{n}$ then w.h.p. in every subgraph $G$ of a random graph $G_{n, p}$ there exists the square of a Hamilton cycle, provided that every vertex of $G$ remains on at least a $(4/9 + o(1))$-fraction of its triangles from $G_{n, p}$. The constant $4/9$ is optimal and the value of $p$ slightly improves on the best-known appearance threshold of such a structure and is optimal up to the logarithmic factor.
Low independence number and Hamiltonicity implies pancyclicity
Published
• View Publication
• BIB
A graph on $n$ vertices is called pancyclic if it contains a cycle of every length $3\le l \le n$. Given a Hamiltonian graph $G$ with independence number at most $k$ we are looking for the minimum number of vertices $f(k)$ that guarantees that $G$ is pancyclic. The problem of finding $f(k)$ was raised by Erdős in 1972 who showed that $f(k)\le 4k^4$, and conjectured that $f(k)=Θ(k^2)$. Improving on a result of Lee and Sudakov we show that $f(k)=O(k^{11/5})$.
Non-intersecting Ryser hypergraphs
Published
• View Publication
• BIB
A famous conjecture of Ryser states that every $r$-partite hypergraph has vertex cover number at most $r - 1$ times the matching number. In recent years, hypergraphs meeting this conjectured bound, known as $r$-Ryser hypergraphs, have been studied extensively. It was recently proved by Haxell, Narins and Szabó that all $3$-Ryser hypergraphs with matching number $ν> 1$ are essentially obtained by taking $ν$ disjoint copies of intersecting $3$-Ryser hypergraphs. Abu-Khazneh showed that such a characterisation is false for $r = 4$ by giving a computer generated example of a $4$-Ryser hypergraph with $ν= 2$ whose vertex set cannot be partitioned into two sets such that we have an intersecting $4$-Ryser hypergraph on each of these parts. Here we construct new infinite families of $r$-Ryser hypergraphs, for any given matching number $ν> 1$, that do not contain two vertex disjoint intersecting $r$-Ryser subhypergraphs.
Categories of Two-Colored Pair Partitions, Part I: Categories Indexed by Cyclic Groups
Published
• View Publication
• BIB
We classify certain categories of partitions of finite sets subject to specific rules on the colorization of points and the sizes of blocks. More precisely, we consider pair partitions such that each block contains exactly one white and one black point when rotated to one line; however crossings are allowed. There are two families of such categories, the first of which is indexed by cyclic groups and is covered in the present article; the second family will be the content of a follow-up article. Via a Tannaka-Krein result, the categories in the two families correspond to easy quantum groups interpolating the classical unitary group and Wang's free unitary quantum group. In fact, they are all half-liberated in some sense and our results imply that there are many more half-liberation procedures than previously expected. However, we focus on a purely combinatorial approach leaving quantum group aspects aside.
The extremal function for $K_9^=$ minors
Published
• View Publication
• BIB
We prove the extremal function for $K_9^=$ minors, where $K_9^=$ denotes the complete graph $K_9$ with two edges removed. In particular, we show that any graph with $n$ vertices and at least $6n - 20$ edges either contains a $K_9^=$ minor or is isomorphic to a graph obtained from disjoint copies of $K_8$ and $K_{2, 2, 2, 2, 2}$ by identifying cliques of size 5. We utilize computer assistance to prove one of our lemmas.
Fertility Numbers
Published
• View Publication
• BIB
A nonnegative integer is called a fertility number if it is equal to the number of preimages of a permutation under West's stack-sorting map. We prove structural results concerning permutations, allowing us to deduce information about the set of fertility numbers. In particular, the set of fertility numbers is closed under multiplication and contains every nonnegative integer that is not congruent to $3$ modulo $4$. We show that the lower asymptotic density of the set of fertility numbers is at least $1954/2565\approx 0.7618$. We also exhibit some positive integers that are not fertility numbers and conjecture that there are infinitely many such numbers.
Fair splittings by independent sets in sparse graphs
Published in Israel J. Math. 236, 603-627 (2020)
• View Publication
• BIB
Given a partition $V_1 \sqcup V_2 \sqcup \dots \sqcup V_m$ of the vertex set of a graph, we are interested in finding multiple disjoint independent sets that contain the correct fraction of vertices of each $V_j$. We give conditions for the existence of $q$ such independent sets in terms of the topology of the independence complex. We relate this question to the existence of $q$-fold points of coincidence for any continuous map from the independence complex to Euclidean space of a certain dimension, and to the existence of equivariant maps from the $q$-fold deleted join of the independence complex to a certain representation sphere of the symmetric group. As a corollary we derive the existence of $q$ pairwise disjoint independent sets accurately representing the $V_j$ in certain sparse graphs for $q$ a power of a prime.
Conflict-free connection number of random graphs
Published
• View Publication
• BIB
An edge-colored graph $G$ is conflict-free connected if any two of its vertices are connected by a path which contains a color used on exactly one of its edges. The conflict-free connection number of a connected graph $G$, denoted by $cfc(G)$, is the smallest number of colors needed in order to make $G$ conflict-free connected. In this paper, we show that almost all graphs have the conflict-free connection number 2. More precisely, let $G(n,p)$ denote the Erdős-Rényi random graph model, in which each of the $\binom{n}{2}$ pairs of vertices appears as an edge with probability $p$ independent from other pairs. We prove that for sufficiently large $n$, $cfc(G(n,p))\le 2$ if $p\ge\frac{\log n +α(n)}{n}$, where $α(n)\rightarrow \infty$. This means that as soon as $G(n,p)$ becomes connected with high probability, $cfc(G(n,p))\le 2$.
A note on the edge partition of graphs containing either a light edge or an alternating 2-cycle
Let $\mathcal{G}_α$ be a hereditary graph class (i.e, every subgraph of $G_α\in \mathcal{G}_α$ belongs to $\mathcal{G}_α$) such that every graph $G_α$ in $\mathcal{G}_α$ has minimum degree at most 1, or contains either an edge $uv$ such that $d_{G_α}(u)+d_{G_α}(v)\leq α$ or a 2-alternating cycle. It is proved that every graph in $\mathcal{G}_α$ ($α\geq 5$) with maximum degree $Δ$ can be edge-partitioned into two forests $F_1$, $F_2$ and a subgraph $H$ such that $Δ(F_i)\leq \max\{2,\lceil\frac{Δ-α+6}{2}\rceil\}$ for $i=1,2$ and $Δ(H)\leq α-5$.
Latin Cubes with Forbidden Entries
Published
• View Publication
• BIB
We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2^k$ and $A$ is $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there is a Latin cube $L$ of order $n$ such that for every $1\leq i,j,k\leq n$, the symbol in position $(i,j,k)$ of $L$ does not appear in the corresponding cell of $A$.
Studying the inertias of LCM matrices and revisiting the Bourque-Ligh conjecture
Published in Journal of Combinatorial Theory, Series A 171 (2020)
• View Publication
• BIB
Let $S=\{x_1,x_2,\ldots,x_n\}$ be a finite set of distinct positive integers. Throughout this article we assume that the set $S$ is GCD closed. The LCM matrix $[S]$ of the set $S$ is defined to be the $n\times n$ matrix with $\mathrm{lcm}(x_i,x_j)$ as its $ij$ element. The famous Bourque-Ligh conjecture used to state that the LCM matrix of a GCD closed set $S$ is always invertible, but currently it is a well-known fact that any nontrivial LCM matrix is indefinite and under the right circumstances it can be even singular (even if the set $S$ is assumed to be GCD closed). However, not much more is known about the inertia of LCM matrices in general. The ultimate goal of this article is to improve this situation. Assuming that $S$ is a meet closed set we define an entirely new lattice-theoretic concept by saying that an element $x_i\in S$ generates a double-chain set in $S$ if the set $\mathrm{meetcl}(C_S(x_i))\setminus C_S(x_i)$ can be expressed as a union of two disjoint chains (here the set $C_S(x_i)$ consists of all the elements of the set $S$ that are covered by $x_i$ and $\mathrm{meetcl}(C_S(x_i))$ is the smallest meet closed subset of $S$ that contains the set $C_S(x_i)$). We then proceed by studying the values of the Möbius function on sets in which every element generates a double-chain set and use the properties of the Möbius function to explain why the Bourque-Ligh conjecture holds in so many cases and fails in certain very specific instances. After that we turn our attention to the inertia and see that in some cases it is possible to determine the inertia of an LCM matrix simply by looking at the lattice-theoretic structure of $(S,|)$ alone. Finally, we are going to show how to construct LCM matrices in which the majority of the eigenvalues is either negative or positive.
Arithmetic Progressions with Restricted Digits
Published
• View Publication
• BIB
For an integer $b \geqslant 2$ and a set $S\subset \{0,\cdots,b-1\}$, we define the Kempner set $\mathcal{K}(S,b)$ to be the set of all non-negative integers whose base-$b$ digital expansions contain only digits from $S$. These well-studied sparse sets provide a rich setting for additive number theory, and in this paper we study various questions relating to the appearance of arithmetic progressions in these sets. In particular, for all $b$ we determine exactly the maximal length of an arithmetic progression that omits a base-$b$ digit.
Special Configurations in Anchored Rectangle Packings
Given a finite set S in $[0,1]^2$ including the origin, an anchored rectangle packing is a set of non-overlapping rectangles in the unit square where each rectangle has a point of S as its left-bottom corner and contains no point of S in its interior. Allen Freedman conjectured in the 1960's one can always find an anchored rectangle packing with total area at least $1/2$. We verify the conjecture for point configurations whose relative positions belong to certain classes of permutations.
Almost arithmetic progressions in the primes and other large sets
Published in Amer. Math. Monthly, 126, (2019), 553-558
• View Publication
• BIB
A celebrated and deep result of Green and Tao states that the primes contain arbitrarily long arithmetic progressions. In this note I provide a straightforward argument demonstrating that the primes get arbitrarily close to arbitrarily long arithmetic progressions. The argument also applies to `large sets' in the sense of Erdős-Turán. The proof is short, completely self-contained, and aims to give a heuristic explanation of why the primes, and other large sets, possess arithmetic structure.
Nearly-linear monotone paths in edge-ordered graphs
How long a monotone path can one always find in any edge-ordering of the complete graph $K_n$? This appealing question was first asked by Chvátal and Komlós in 1971, and has since attracted the attention of many researchers, inspiring a variety of related problems. The prevailing conjecture is that one can always find a monotone path of linear length, but until now the best known lower bound was $n^{2/3-o(1)}$. In this paper we almost close this gap, proving that any edge-ordering of the complete graph contains a monotone path of length $n^{1-o(1)}$.
A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture
Published
• View Publication
• BIB
We describe a general and safe computational framework that provides integer programming results with the degree of certainty that is required for machine-assisted proofs of mathematical theorems. At its core, the framework relies on a rational branch-and-bound certificate produced by an exact integer programming solver, SCIP, in order to circumvent floating-point roundoff errors present in most state-of-the-art solvers for mixed-integer programs. The resulting certificates are self-contained and checker software exists that can verify their correctness independently of the integer programming solver used to produce the certificate. This acts as a safeguard against programming errors that may be present in complex solver software. The viability of this approach is tested by applying it to finite cases of Chvátal's conjecture, a long-standing open question in extremal combinatorics. We take particular care to verify also the correctness of the input for this specific problem, using the Coq formal proof assistant. As a result, we are able to provide a first machine-assisted proof that Chvátal's conjecture holds for all downsets whose union of sets contains seven elements or less.
Pure pairs. I. Trees and linear anticomplete pairs
Published
• View Publication
• BIB
The Erdos-Hajnal Conjecture asserts that for every graph H there is a constant c > 0 such that every graph G that does not contain H as an induced subgraph has a clique or stable set of cardinality at least |G|^c. In this paper, we prove a conjecture of Liebenau and Pilipczuk, that for every forest H there exists c > 0, such that every graph G contains either an induced copy of H, or a vertex of degree at least c|G|, or two disjoint sets of at least c|G| vertices with no edges between them. It follows that for every forest H there is c > 0 so that if G contains neither H nor its complement as an induced subgraph then there is a clique or stable set of cardinality at least |G|^c.