contain ↗ reference
7720 papers tagged with this keyword
Independent arithmetic progressions
We show that there is a positive constant $c$ such that any graph on vertex set $[n]$ with at most $c n^2/k^2 \log k$ edges contains an independent set of order $k$ whose vertices form an arithmetic progression. We also present applications of this result to several questions in Ramsey theory.
Coloring graphs with no induced subdivision of $K_4^+$
Let $K_4^+$ be the 5-vertex graph obtained from $K_4$, the complete graph on four vertices, by subdividing one edge precisely once (i.e. by replacing one edge by a path on three vertices). We prove that if the chromatic number of some graph $G$ is much larger than its clique number, then $G$ contains a subdivision of $K_4^+$ as an induced subgraph.
A lower bound on the tree-width of graphs with irrelevant vertices
Published
• View Publication
• BIB
For their famous algorithm for the disjoint paths problem, Robertson and Seymour proved that there is a function $f$ such that if the tree-width of a graph $G$ with $k$ pairs of terminals is at least $f(k)$, then $G$ contains a solution-irrelevant vertex (Graph Minors. XXII., JCTB 2012). We give a single-exponential lower bound on $f$. This bound even holds for planar graphs.
Minimally Connected Hypergraphs
Graphs and hypergraphs are foundational structures in discrete mathematics. They have many practical applications, including the rapidly developing field of bioinformatics, and more generally, biomathematics. They are also a source of interesting algorithmic problems. In this paper, we define a \textit{construction process} for minimally connected $r$-uniform hypergraphs, which captures the intuitive notion of building a hypergraph piece-by-piece, and a numerical invariant called the \textit{tightness}, which is independent of the construction process used. Using these tools, we prove some fundamental properties of minimally connected hypergraphs. We also give bounds on their chromatic numbers and provide some results involving edge colorings. We show that every connected $r$-uniform hypergraph contains a minimally connected spanning subhypergraph and provide a polynomial-time algorithm for identifying such a subhypergraph.
Extremal problems in uniformly dense hypergraphs
Published in European Journal of Combinatorics 88 (2020), 103117
• View Publication
• BIB
For a $k$-uniform hypergraph $F$ let $\textrm{ex}(n,F)$ be the maximum number of edges of a $k$-uniform $n$-vertex hypergraph $H$ which contains no copy of $F$. Determining or estimating $\textrm{ex}(n,F)$ is a classical and central problem in extremal combinatorics. While for graphs ($k=2$) this problem is well understood, due to the work of Mantel, Turán, Erdős, Stone, Simonovits and many others, only very little is known for $k$-uniform hypergraphs for $k>2$. Already the case when $F$ is a $k$-uniform hypergraph with three edges on $k+1$ vertices is still wide open even for $k=3$.
We consider variants of such problems where the large hypergraph $H$ enjoys additional hereditary density conditions. Questions of this type were suggested by Erdős and Sós about 30 years ago. In recent work with Rödl and Schacht it turned out that the regularity method for hypergraphs, established by Gowers and by Rödl et al. about a decade ago, is a suitable tool for extremal problems of this type and we shall discuss some of those recent results and some interesting open problems in this area.
Simple juntas for shifted families
Published
• View Publication
• BIB
We say that a family $\mathcal F$ of $k$-element sets is a {\it $j$-junta} if there is a set $J$ of size $j$ such that, for any $F$, its presence in $\mathcal F$ depends on its intersection with $J$ only. Approximating arbitrary families by $j$-juntas with small $j$ is a recent powerful technique in extremal set theory.
The weak point of all known junta approximation results is that they work in the range $n>Ck$, where $C$ is an extremely fast growing function of the input parameters, such as the quality of approximation or the number of families we simultaneously approximate.
We say that a family $\mathcal F$ is {\it shifted} if for any $F=\{x_1,\ldots, x_k\}\in \mathcal F$ and any $G =\{y_1,\ldots, y_k\}$ such that $y_i\le x_i$, we have $G\in \mathcal F$. For many extremal set theory problems, including the Erd\H os Matching Conjecture, or the Complete $t$-Intersection Theorem, it is sufficient to deal with shifted families only.
In this paper, we present very general approximation by juntas results for shifted families with explicit (and essentially linear) dependency on the input parameters. The results are best possible up to some constant factors. Moreover, they give meaningful statements for almost all range of values of $n$. The proofs are shorter than the proofs of the previous approximation by juntas results and are completely self-contained.
As an application of our junta approximation, we give a nearly-linear bound for the multi-family version of the Erd\H os Matching Conjecture. More precisely, we prove the following result. Let $n\ge 12sk\log(e^2s)$ and suppose that the families $\mathcal F_1,\ldots, \mathcal F_s\subset {[n]\choose k}$ do not contain $F_1\in\mathcal F_1,\ldots, F_s\in \mathcal F_s$ such that $F_i$'s are pairwise disjoint. Then $\min_{i}|\mathcal F_i|\le {n\choose k}-{n-s+1\choose k}.$
Intrinsic linking and knotting in tournaments
A directed graph $G$ is $\textit{intrinsically linked}$ if every embedding of that graph contains a non-split link $L$, where each component of $L$ is a consistently oriented cycle in $G$. A $\textit{tournament}$ is a directed graph where each pair of vertices is connected by exactly one directed edge. We consider intrinsic linking and knotting in tournaments, and study the minimum number of vertices required for a tournament to have various intrinsic linking or knotting properties. We produce the following bounds: intrinsically linked ($n=8$), intrinsically knotted ($9 \leq n \leq 12$), intrinsically 3-linked ($10 \leq n \leq 23$), intrinsically 4-linked ($12 \leq n \leq 66$), intrinsically 5-linked ($15 \leq n \leq 154$), intrinsically $m$-linked ($3m \leq n \leq 8(2m-3)^2$), intrinsically linked with knotted components ($9 \leq n \leq 107$), and the disjoint linking property ($12 \leq n \leq 14$). We also introduce the $\textit{consistency gap}$, which measures the difference in the order of a graph required for intrinsic $n$-linking in tournaments versus undirected graphs. We conjecture the consistency gap to be non-decreasing in $n$, and provide an upper bound at each $n$.
Gallai-Ramsey number for $K_{5}$
Given a graph $H$, the $k$-colored Gallai Ramsey number $gr_{k}(K_{3} : H)$ is defined to be the minimum integer $n$ such that every $k$-coloring of the edges of the complete graph on $n$ vertices contains either a rainbow triangle or a monochromatic copy of $H$. Fox et al. [J. Fox, A. Grinshpun, and J. Pach. The Erd{\H o}s-Hajnal conjecture for rainbow triangles. J. Combin. Theory Ser. B, 111:75-125, 2015.] conjectured the value of the Gallai Ramsey numbers for complete graphs. Recently, this conjecture has been verified for the first open case, when $H = K_{4}$.
In this paper we attack the next case, when $H = K_5$. Surprisingly it turns out, that the validity of the conjecture depends upon the (yet unknown) value of the Ramsey number $R(5,5)$. It is known that $43 \leq R(5,5) \leq 48$ and conjectured that $R(5,5)=43$ [B.D. McKay and S.P. Radziszowski. Subgraph counting identities and Ramsey numbers. J. Combin. Theory Ser. B, 69:193-209, 1997]. If $44 \leq R(5,5) \leq 48$, then Fox et al.'s conjecture is true and we present a complete proof. If, however, $R(5,5)=43$, then Fox et al.'s conjecture is false, meaning that at least one of these two conjectures must be false. For the case when $R(5, 5) = 43$, we show lower and upper bounds for the Gallai Ramsey number $gr_{k}(K_{3} : K_5)$.
Destroying Bicolored $P_3$s by Deleting Few Edges
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (June 8, 2021) dmtcs:6108
• View Publication
• BIB
We introduce and study the Bicolored $P_3$ Deletion problem defined as follows. The input is a graph $G=(V,E)$ where the edge set $E$ is partitioned into a set $E_r$ of red edges and a set $E_b$ of blue edges. The question is whether we can delete at most $k$ edges such that $G$ does not contain a bicolored $P_3$ as an induced subgraph. Here, a bicolored $P_3$ is a path on three vertices with one blue and one red edge. We show that Bicolored $P_3$ Deletion is NP-hard and cannot be solved in $2^{o(|V|+|E|)}$ time on bounded-degree graphs if the ETH is true. Then, we show that Bicolored $P_3$ Deletion is polynomial-time solvable when $G$ does not contain a bicolored $K_3$, that is, a triangle with edges of both colors. Moreover, we provide a polynomial-time algorithm for the case that $G$ contains no blue $P_3$, red $P_3$, blue $K_3$, and red $K_3$. Finally, we show that Bicolored $P_3$ Deletion can be solved in $ O(1.84^k\cdot |V| \cdot |E|)$ time and that it admits a kernel with $ O(kΔ\min(k,Δ))$ vertices, where $Δ$ is the maximum degree of $G$.
On Induced Online Ramsey Number of Paths, Cycles, and Trees
An online Ramsey game is a game between Builder and Painter, alternating in turns. They are given a graph $H$ and a graph $G$ of an infinite set of independent vertices. In each round Builder draws an edge and Painter colors it either red or blue. Builder wins if after some finite round there is a monochromatic copy of the graph $H$, otherwise Painter wins. The online Ramsey number $\widetilde{r}(H)$ is the minimum number of rounds such that Builder can force a monochromatic copy of $H$ in $G$. This is an analogy to the size-Ramsey number $\overline{r}(H)$ defined as the minimum number such that there exists graph $G$ with $\overline{r}(H)$ edges where for any edge two-coloring $G$ contains a monochromatic copy of $H$.
In this paper, we introduce the concept of induced online Ramsey numbers: the induced online Ramsey number $\widetilde{r}_{ind}(H)$ is the minimum number of rounds Builder can force an induced monochromatic copy of $H$ in $G$. We prove asymptotically tight bounds on the induced online Ramsey numbers of paths, cycles and two families of trees. Moreover, we provide a result analogous to Conlon [On-line Ramsey Numbers, SIAM J. Discr. Math. 2009], showing that there is an infinite family of trees $T_1,T_2,\dots$, $|T_i|<|T_{i+1}|$ for $i\ge1$, such that \[
\lim_{i\to\infty} \frac{\widetilde{r}(T_i)}{\overline{r}(T_i)} = 0. \]
On pseudo-involutions, involutions and quasi-involutions in the group of almost Riordan arrays
The group of almost Riordan arrays contains the group of Riordan arrays as a subgroup. In this note, we exhibit examples of pseudo-involutions, involutions and quasi-involutions in the group of almost Riordan arrays.
Lower bounds for rainbow Turán numbers of paths and other trees
For a fixed graph $F$, we would like to determine the maximum number of edges in a properly edge-colored graph on $n$ vertices which does not contain a rainbow copy of $F$, that is, a copy of $F$ all of whose edges receive a different color. This maximum, denoted by $ex^*(n, F)$, is the rainbow Turán number of $F$. We show that $ex^*(n,P_k)\geq \frac{k}{2}n + O(1)$ where $P_k$ is a path on $k\geq 3$ edges, generalizing a result by Maamoun and Meyniel and by Johnston, Palmer and Sarkar. We show similar bounds for brooms on $2^s-1$ edges and diameter $\leq 10$ and a few other caterpillars of small diameter.
Embedding small digraphs and permutations in binary trees and split trees
Published
• View Publication
• BIB
We investigate the number of permutations that occur in random labellings of trees. This is a generalisation of the number of subpermutations occurring in a random permutation. It also generalises some recent results on the number of inversions in randomly labelled trees. We consider complete binary trees as well as random split trees a large class of random trees of logarithmic height introduced by Devroye in 1998. Split trees consist of nodes (bags) which can contain balls and are generated by a random trickle down process of balls through the nodes.
For complete binary trees we show that asymptotically the cumulants of the number of occurrences of a fixed permutation in the random node labelling have explicit formulas. Our other main theorem is to show that for a random split tree, with high probability the cumulants of the number of occurrences are asymptotically an explicit parameter of the split tree. For the proof of the second theorem we show some results on the number of embeddings of digraphs into split trees which may be of independent interest.
Hamiltonian cycles in tough $(P_2\cup P_3)$-free graphs
Let $t>0$ be a real number and $G$ be a graph. We say $G$ is $t$-tough if for every cutset $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. Determining toughness is an NP-hard problem for arbitrary graphs. The Toughness Conjecture of Chvátal, stating that there exists a constant $t_0$ such that every $t_0$-tough graph with at least three vertices is hamiltonian, is still open in general. A graph is called $(P_2\cup P_3)$-free if it does not contain any induced subgraph isomorphic to $P_2\cup P_3$, the union of two vertex-disjoint paths of order 2 and 3, respectively. In this paper, we show that every 15-tough $(P_2\cup P_3)$-free graph with at least three vertices is hamiltonian.
Schur's colouring theorem for non-commuting pairs
Published in Bull. Aust. Math. Soc. 100 (2019), no. 3, 446-452
• View Publication
• BIB
For G a finite non-Abelian group we write c(G) for the probability that two randomly chosen elements commute and k(G) for the largest integer such that any k(G)-colouring of G is guaranteed to contain a monochromatic quadruple (x,y,xy,yx) with xy not equal to yx. We show that c(G) tends to 0 if and only if k(G) tends to infinity.
A billiards-like dynamical system for attacking chess pieces
We apply a one-dimensional discrete dynamical system originally considered by Arnol'd reminiscent of mathematical billiards to the study of two-move riders, a type of fairy chess piece. In this model, particles travel through a bounded convex region along line segments of one of two fixed slopes.
We apply this dynamical system to characterize the vertices of the inside-out polytope arising from counting placements of nonattacking chess pieces and also to give a bound for the period of the counting quasipolynomial. The analysis focuses on points of the region that are on trajectories that contain a corner or on cycles of full rank, or are crossing points thereof.
As a consequence, we give a simple proof that the period of the bishops' counting quasipolynomial is 2, and provide formulas bounding periods of counting quasipolynomials for many two-move riders including all partial nightriders. We draw parallels to the theory of mathematical billiards and pose many new open questions.
On the Universality and Extremality of graphs with a distance constrained colouring
A lambda colouring (or $L(2,1)-$colouring) of a graph is an assignment of non-negative integers (with minimum assignment $0$) to its vertices such that the adjacent vertices must receive integers at least two apart and vertices at distance two must receive distinct integers. The lambda chromatic number (or the $λ$ number) of a graph $G$ is the least positive integer among all the maximum assigned positive integer over all possible lambda colouring of the graph $G$. Here we have primarily shown that every graph with lambda chromatic number $t$ can be embedded in a graph, with lambda chromatic number $t$, which admits a partition of the vertex set into colour classes of equal size. It is further proved that if an $n-$vertex graph with lambda chromatic number $t\geq5$, where $n\geq t+1$, contains maximum number of edges, then the vertex set of such graph admits an equitable partition. For such an admitted equitable partition there are either $0$ or $\min\{|A|,|B|\}$ number of edges between each pair $(A,B)$ of subsets (i.e. roughly, such partition is a "sparse like" equitable partition). Here we establish a classification result, identifying all possible $n-$vertex graphs with lambda chromatic number $t\geq3$, where $n\geq t+1$, which contain maximum number of edges. Such classification provides a solution of a problem posed more than two decades ago by John P. Georges and David W. Mauro.
Expanders - how to find them, and what to find in them
A graph $G=(V,E)$ is called an expander if every vertex subset $U$ of size up to $|V|/2$ has an external neighborhood whose size is comparable to $|U|$. Expanders have been a subject of intensive research for more than three decades and have become one of the central notions of modern graph theory.
We first discuss the above definition of an expander and its alternatives. Then we present examples of families of expanding graphs and state basic properties of expanders. Next, we introduce a way to argue that a given graph contains a large expanding subgraph. Finally we research properties of expanding graphs, such as existence of small separators, of cycles (including cycle lengths), and embedding of large minors.
The complete set of minimal simple graphs that support unsatisfiable 2-CNFs
A propositional logic sentence in conjunctive normal form that has clauses of length two (a 2-CNF) can be associated with a multigraph in which the vertices correspond to the variables and edges to clauses. We first show that every such sentence that has been reduced, that is, which is unchanged under application of certain tautologies, is equisatisfiable to a 2-CNF whose associated multigraph is, in fact, a simple graph. Our main result is a complete characterization of graphs that can support unsatisfiable 2-CNF sentences. We show that a simple graph can support an unsatisfiable reduced 2-CNF sentence if and only if it contains any one of four specific small graphs as a topological minor. Equivalently, all reduced 2-CNF sentences supported on a given simple graph are satisfiable if and only if all subdivisions of those four graphs are forbidden as subgraphs of of the original graph. We conclude with a discussion of why the Robertson-Seymour graph minor theorem does not apply in our approach.
Isolation of $k$-cliques
For any positive integer $k$ and any $n$-vertex graph $G$, let $ι(G,k)$ denote the size of a smallest set $D$ of vertices of $G$ such that the graph obtained from $G$ by deleting the closed neighbourhood of $D$ contains no $k$-clique. Thus, $ι(G,1)$ is the domination number of $G$. We prove that if $G$ is connected, then $ι(G,k) \leq \frac{n}{k+1}$ unless $G$ is a $k$-clique or $k = 2$ and $G$ is a $5$-cycle. The bound is sharp. The case $k=1$ is a classical result of Ore, and the case $k=2$ is a recent result of Caro and Hansberg. Our result solves a problem of Caro and Hansberg.