contain ↗ reference
7720 papers tagged with this keyword
Extremal and Ramsey results on graph blowups
Published
• View Publication
• BIB
Recently, Souza introduced blowup Ramsey numbers as a generalization of bipartite Ramsey numbers. For graphs $G$ and $H$, say $G\overset{r}{\longrightarrow} H$ if every $r$-edge-coloring of $G$ contains a monochromatic copy of $H$. Let $H[t]$ denote the $t$-blowup of $H$. Then the blowup Ramsey number of $G,H,r,$ and $t$ is defined as the minimum $n$ such that $G[n] \overset{r}{\longrightarrow} H[t]$. Souza proved upper and lower bounds on $n$ that are exponential in $t$, and conjectured that the exponential constant does not depend on $G$. We prove that the dependence on $G$ in the exponential constant is indeed unnecessary, but conjecture that some dependence on $G$ is unavoidable.
An important step in both Souza's proof and ours is a theorem of Nikiforov, which says that if a graph contains a constant fraction of the possible copies of $H$, then it contains a blowup of $H$ of logarithmic size. We also provide a new proof of this theorem with a better quantitative dependence.
Erdős-Pósa from ball packing
Published in SIAM Journal on Discrete Mathematics, 34/3:1609--1619, 2020
• View Publication
• BIB
A classic theorem of Erdős and Pósa (1965) states that every graph has either $k$ vertex-disjoint cycles or a set of $O(k \log k)$ vertices meeting all its cycles. While the standard proof revolves around finding a large `frame' in the graph (a subdivision of a large cubic graph), an alternative way of proving this theorem is to use a ball packing argument of Kühn and Osthus (2003) and Diestel and Rempel (2005). In this paper, we argue that the latter approach is particularly well suited for studying edge variants of the Erdős-Pósa theorem.
As an illustration, we give a short proof of a theorem of Bruhn, Heinlein, and Joos (2019), that cycles of length at least $\ell$ have the so-called edge-Erdős-Pósa property. More precisely, we show that every graph $G$ either contains $k$ edge-disjoint cycles of length at least $\ell$ or an edge set $F$ of size $O(k\ell \cdot \log (k\ell))$ such that $G-F$ has no cycle of length at least $\ell$. For fixed $\ell$, this improves on the previously best known bound of $O(k^2 \log k +k\ell)$.
Graphs with no induced $K_{2,t}$
Published in Electron. J. Comb. 28 (2021), P1.19
• View Publication
• BIB
Consider a graph $G$ on $n$ vertices with $α\binom{n}{2}$ edges which does not contain an induced $K_{2, t}$ ($t \geqslant 2$). How large does $α$ have to be to ensure that $G$ contains, say, a large clique or some fixed subgraph $H$? We give results for two regimes: for $α$ bounded away from zero and for $α= o(1)$.
Our results for $α= o(1)$ are strongly related to the Induced Turán numbers which were recently introduced by Loh, Tait, Timmons and Zhou. For $α$ bounded away from zero, our results can be seen as a generalisation of a result of Gyárfás, Hubenko and Solymosi and more recently Holmsen (whose argument inspired ours).
Petruska's question on planar convex sets
Published
• View Publication
• BIB
Given $2k-1$ convex sets in $R^2$ such that no point of the plane is covered by more than $k$ of the sets, is it true that there are two among the convex sets whose union contains all $k$-covered points of the plane? This question due to Gy. Petruska has an obvious affirmative answer for $k=1,2,3$; we show here that the claim is also true for $k=4$, and we present a counterexample for $k=5$. We explain how Petruska's geometry question fits into the classical hypergraph extremal problems, called arrow problems, proposed by P. Erdős.
Colored unavoidable patterns and balanceable graphs
Published
• View Publication
• BIB
We study a Turán-type problem on edge-colored complete graphs. We show that for any $r$ and $t$, any sufficiently large $r$-edge-colored complete graph on $n$ vertices with $Ω(n^{2-1/tr^r})$ edges in each color contains a member from certain finite family $\mathcal{F}_t^r$ of $r$-edge-colored complete graphs. We conjecture that $Ω(n^{2-1/t})$ edges in each color are sufficient to find a member from ${\mathcal{F}}_t^r$. A result of Girão and Narayanan confirms this conjecture when $r=2$.
Next, we study a related problem where the corresponding Turán threshold is linear. We call an edge-coloring of a path $P_{rk}$ balanced if each color appears $k$ times in the coloring. We show that any $3$-edge-coloring of a large complete graph with $kn+o(n)$ edges in each color contains a balanced $P_{3k}$. This is tight up to a constant factor of $2$. For more colors, the problem becomes surprisingly more delicate. Already for $r=7$, we show that even $n^{2-o(1)}$ edges from each color does not guarantee existence of a balanced $P_{7k}$.
Growth rates of Coxeter groups and Perron numbers
Published
• View Publication
• BIB
We define a large class of abstract Coxeter groups, that we call $\infty$--spanned, and for which the word growth rate and the geodesic growth rate appear to be Perron numbers. This class contains a fair amount of Coxeter groups acting on hyperbolic spaces, thus corroborating a conjecture by Kellerhals and Perren. We also show that for this class the geodesic growth rate strictly dominates the word growth rate.
Numerical semigroups, polyhedra, and posets II: locating certain families of semigroups
Published
• View Publication
• BIB
Several recent papers have examined a rational polyhedron $P_m$ whose integer points are in bijection with the numerical semigroups (cofinite, additively closed subsets of the non-negative integers) containing $m$. A combinatorial description of the faces of $P_m$ was recently introduced, one that can be obtained from the divisibility posets of the numerical semigroups a given face contains. In this paper, we study the faces of $P_m$ containing arithmetical numerical semigroups and those containing certain glued numerical semigroups, as an initial step towards better understanding the full face structure of $P_m$. In most cases, such faces only contain semigroups from these families, yielding a tight connection to the geometry of $P_m$.
An algorithm for bounding extremal functions of forbidden sequences
Generalized Davenport-Schinzel sequences are sequences that avoid a forbidden subsequence and have a sparsity requirement on their letters. Upper bounds on the lengths of generalized Davenport-Schinzel sequences have been applied to a number of problems in discrete geometry and extremal combinatorics. Sharp bounds on the maximum lengths of generalized Davenport-Schinzel sequences are known for some families of forbidden subsequences, but in general there are only rough bounds on the maximum lengths of most generalized Davenport-Schinzel sequences. One method that was developed for finding upper bounds on the lengths of generalized Davenport-Schinzel sequences uses a family of sequences called formations.
An $(r, s)$-formation is a concatenation of $s$ permutations of $r$ distinct letters. The formation width function $fw(u)$ is defined as the minimum $s$ for which there exists $r$ such that every $(r, s)$-formation contains $u$. The function $fw(u)$ has been used with upper bounds on extremal functions of $(r, s)$-formations to find tight bounds on the maximum possible lengths of many families of generalized Davenport-Schinzel sequences. Algorithms have been found for computing $fw(u)$ for sequences $u$ of length $n$, but they have worst-case run time exponential in $n$, even for sequences $u$ with only three distinct letters.
We present an algorithm for computing $fw(u)$ with run time $O(n^{α_r})$, where $r$ is the number of distinct letters in $u$ and $α_r$ is a constant that only depends on $r$. We implement the new algorithm in Python and compare its run time to the next fastest algorithm for computing formation width. We also apply the new algorithm to find sharp upper bounds on the lengths of several families of generalized Davenport-Schinzel sequences with $3$-letter forbidden patterns.
Good acyclic orientations of 4-regular 4-connected graphs
Published
• View Publication
• BIB
We study graphs which admit an acyclic orientation that contains an out-branching and in-branching which are arc-disjoint (such an orientation is called {\bf good}). A {\bf 2T-graph} is a graph whose edge set can be decomposed into two edge-disjoint spanning trees. Clearly a graph has a good orientation if and only if it contains a spanning 2T-graph with a good orientation, implying that 2T-graphs play a central role. Vertex-minimal 2T-graphs with at least two vertices, also known as {\bf generic circuits}, play an important role in rigidity theory for graphs. It was shown in \cite{bangGOpaper} that every generic circuit has a good orientation. Using this, several results on good orientations of 2T-graphs were obtained in \cite{bangGOpaper}. It is an open problem whether there exist a polynomial algorithm for deciding whether a given 2T-graph has a good orientation. In \cite{bangGOpaper} complex constructions of 2T-graphs with no good orientation were given, indicating that the problem might be very difficult. In this paper we focus on so-called {\bf quartics} which are 2T-graphs where every vertex has degree 3 or 4. We identify a sufficient condition for a quartic to have a good orientation, give a polynomial algorithm to recognize quartics satisfying the condition and a polynomial algorithm to produce such an orientation when this condition is met. As a consequence of these results we prove that every 4-regular and 4-connected graph has a good orientation. \iffalse We also provide evidence that even for quartics it may be difficult to find a characterization of those instances which have a good orientation.\fi We also show that every graph on $n\geq 8$ vertices and of minimum degree at least $\lfloor{}n/2\rfloor$ has a good orientation. Finally we pose a number of open problems.
Universal and unavoidable graphs
Published in Combinator. Probab. Comp. 30 (2021) 942-955
• View Publication
• BIB
The Turán number $\text{ex}(n,H)$ of a graph $H$ is the maximal number of edges in an $H$-free graph on $n$ vertices. In $1983$ Chung and Erdős asked which graphs $H$ with $e$ edges minimize $\text{ex}(n,H)$. They resolved this question asymptotically for most of the range of $e$ and asked to complete the picture. In this paper we answer their question by resolving all remaining cases. Our result translates directly to the setting of universality, a well-studied notion of finding graphs which contain every graph belonging to a certain family. In this setting we extend previous work done by Babai, Chung, Erdős, Graham and Spencer, and by Alon and Asodi.
Cycles in Color-Critical Graphs
Published
• View Publication
• BIB
Tuza [1992] proved that a graph with no cycles of length congruent to $1$ modulo $k$ is $k$-colorable. We prove that if a graph $G$ has an edge $e$ such that $G-e$ is $k$-colorable and $G$ is not, then for $2\leq r\leq k$, the edge $e$ lies in at least $\prod_{i=1}^{r-1}(k-i)$ cycles of length $1\mod r$ in $G$, and $G-e$ contains at least $\frac{1}{2}\prod_{i=1}^{r-1}(k-i)$ cycles of length $0 \mod r$.
A $(k,d)$-coloring of $G$ is a homomorphism from $G$ to the graph $K_{k:d}$ with vertex set $\mathbb{Z}_{k}$ defined by making $i$ and $j$ adjacent if $d\leq j-i \leq k-d$. When $k$ and $d$ are relatively prime, define $s$ by $sd\equiv 1\mod k$. A result of Zhu [2002] implies that $G$ is $(k,d)$-colorable when $G$ has no cycle $C$ with length congruent to $is$ modulo $k$ for any $i\in \{1,\ldots,2d-1\}$. In fact, only $d$ classes need be excluded: we prove that if $G-e$ is $(k,d)$-colorable and $G$ is not, then $e$ lies in at least one cycle with length congruent to $is\mod k$ for some $i$ in $\{1,\ldots,d\}$. Furthermore, if this does not occur with $i\in\{1,\ldots,d-1\}$, then $e$ lies in at least two cycles with length $1\mod k$ and $G-e$ contains a cycle of length $0 \mod k$.
Globally optimizing small codes in real projective spaces
Published
• View Publication
• BIB
For $d\in\{5,6\}$, we classify arrangements of $d + 2$ points in $\mathbf{RP}^{d-1}$ for which the minimum distance is as large as possible. To do so, we leverage ideas from matrix and convex analysis to determine the best possible codes that contain equiangular lines, and we introduce a notion of approximate Positivstellensatz certificates that promotes numerical approximations of Stengle's Positivstellensatz certificates to honest certificates.
The Rado Simplicial Complex
Published
• View Publication
• BIB
A Rado simplicial complex X is a generalisation of the well-known Rado graph. X is a countable simplicial complex which contains any countable simplicial complex as its induced subcomplex. The Rado simplicial complex is highly symmetric, it is homogeneous: any isomorphism between finite induced subcomplexes can be extended to an isomorphism of the whole complex. We show that the Rado complex X is unique up to isomorphism and suggest several explicit constructions. We also show that a random simplicial complex on countably many vertices is a Rado complex with probability 1. The geometric realisation |X| of a Rado complex is contractible and is homeomorphic to an infinite dimensional simplex. We also prove several other interesting properties of the Rado complex X, for example we show that removing any finite set of simplexes of X gives a complex isomorphic to X.
Almost-monochromatic sets and the chromatic number of the plane
Published
• View Publication
• BIB
In a colouring of $\mathbb{R}^d$ a pair $(S,s_0)$ with $S\subseteq \mathbb{R}^d$ and with $s_0\in S$ is \emph{almost monochromatic} if $S\setminus \{s_0\}$ is monochromatic but $S$ is not. We consider questions about finding almost monochromatic similar copies of pairs $(S,s_0)$ in colourings of $\mathbb{R}^d$, $\mathbb{Z}^d$, and in $\mathbb{Q}$ under some restrictions on the colouring.
Among other results, we characterise those $(S,s_0)$ with $S\subseteq \mathbb{Z}$ for which every finite colouring of $\mathbb{R}$ without an infinite monochromatic arithmetic progression contains an almost monochromatic similar copy of $(S,s_0)$. We also show that if $S\subseteq \mathbb{Z}^d$ and $s_0$ is outside of the convex hull of $S\setminus \{s_0\}$, then every finite colouring of $\mathbb{R}^d$ without a similar monochromatic copy of $\mathbb{Z}^d$ contains an almost monochromatic similar copy of $(S,s_0)$.
Further, we propose an approach of finding almost-monochromatic sets that might lead to a non-computer assisted proof of $χ(\R^2)\geq 5$.
Connectivity for Kite-Linked Graphs
Published
• View Publication
• BIB
For a given graph $H$, a graph $G$ is $H$-linked if, for every injection $\varphi: V(H) \to V(G)$, the graph $G$ contains a subdivision of $H$ with $\varphi(v)$ corresponding to $v$, for each $v\in V(H)$. Let $f(H)$ be the minimum integer $k$ such that every $k$-connected graph is $H$-linked. Among graphs $H$ with at least four vertices, the exact value $f(H)$ is only know when $H$ is a path with four vertices or a cycle with four vertices. A kite is graph obtained from $K_4$ by deleting two adjacent edges, i.e., a triangle together with a pendant edge. Recently, Liu, Rolek and Yu proved that every $8$-connected graph is kite-linked. The exact value of $f(H)$ when $H$ is the kite remains open. In this paper, we settle this problem by showing that every 7-connected graph is kite-linked.
Ubiquity and the Farey graph
Published
• View Publication
• BIB
We construct a countable planar graph which, for any two vertices $u,v$ and any integer $k\ge 1$, contains $k$ edge-disjoint order-compatible $u$--$v$ paths but not infinitely many. This graph has applications in Ramsey theory, in the study of connectivity and in the characterisation of the Farey graph.
A generalised linear Ramsey graph construction
Published in Australas.J.Combin. 81(2) 2020, 245-256
• Search Publication
A construction described by the current author in 2017 uses two linear `prototype' graphs to build a compound graph with Ramsey properties inherited from the prototypes.
This paper describes a generalisation of that construction which has produced improved lower bounds in many cases for multicolour Ramsey numbers. The resulting graphs are linear, as before, and under certain specific conditions set out here, they can be cyclic.
The mechanism of the new construction requires that the first prototype contains a triangle-free `template' in one colour, with defined properties. This paper shows that in the compound graph, clique numbers in the colours of the first prototype may exceed those of the prototype. However, it proves necessary only to test for a limited subset of the possible cliques using these colours, in order to evaluate the relevant clique numbers for the entire graph. Clique numbers in the colours of the second prototype are equal to those of that prototype. These attributes enable the efficient searching of a new family of graphs based on the `template' approach.
It has also been found that there are a number of useful cases in which the clique numbers of the first prototype are not increased by the compounding process.
As a result of this construction many lower bounds can be improved. The improvements include $R_4(5) \ge 4073$, $R_5(5) \ge 38914$, $R_3(6) \ge 1106$, $R_4(6) \ge 21302$, $R_4(7) \ge 84623$ and $R_3(9) \ge 14034$.
It is also shown that $R_3(9) \ge 14081$ using a non-linear construction.
On sets containing a unit distance in every direction
We investigate the box dimensions of compact sets in $\mathbb{R}^2$ that contain a unit distance in every direction (such sets may have zero Hausdorff dimension). Among other results, we show that the lower box dimension must be at least $\frac{4}{7}$ and can be as low as $\frac{2}{3}$. This quantifies in a certain sense how far the unit circle is from being a difference set.
On the central levels problem
Published
• View Publication
• BIB
The central levels problem asserts that the subgraph of the $(2m+1)$-dimensional hypercube induced by all bitstrings with at least $m+1-\ell$ many 1s and at most $m+\ell$ many 1s, i.e., the vertices in the middle $2\ell$ levels, has a Hamilton cycle for any $m\geq 1$ and $1\le \ell\le m+1$. This problem was raised independently by Buck and Wiedemann, Savage, by Gregor and Škrekovski, and by Shen and Williams, and it is a common generalization of the well-known middle levels problem, namely the case $\ell=1$, and classical binary Gray codes, namely the case $\ell=m+1$. In this paper we present a general constructive solution of the central levels problem. Our results also imply the existence of optimal cycles through any sequence of $\ell$ consecutive levels in the $n$-dimensional hypercube for any $n\ge 1$ and $1\le \ell \le n+1$. Moreover, extending an earlier construction by Streib and Trotter, we construct a Hamilton cycle through the $n$-dimensional hypercube, $n\geq 2$, that contains the symmetric chain decomposition constructed by Greene and Kleitman in the 1970s, and we provide a loopless algorithm for computing the corresponding Gray code.
Jones' Conjecture in subcubic graphs
Published in The Electronic Journal of Combinatorics 28(4), 5:1-5:12, 2021
• View Publication
• BIB
We confirm Jones' Conjecture for subcubic graphs. Namely, if a subcubic planar graph does not contain $k+1$ vertex-disjoint cycles, then it suffices to delete $2k$ vertices to obtain a forest.