contain ↗ reference
7720 papers tagged with this keyword
Chordality of locally semicomplete and weakly quasi-transitive digraphs
Published
• View Publication
• BIB
Chordal graphs are important in the structural and algorithmic graph theory. A digraph analogue of chordal graphs was introduced by Haskin and Rose in 1973 but has not been a subject of active studies until recently when a characterization of semicomplete chordal digraphs in terms of forbidden subdigraphs was found by Meister and Telle. Locally semicomplete digraphs, quasi-transitive digraphs, and extended semi-complete digraphs are amongst the most popular generalizations of semicomplete digraphs. We extend the forbidden subdigraph characterization of semicomplete chordal digraphs to locally semicomplete chordal digraphs. We introduce a new class of digraphs, called weakly quasi-transitive digraphs, which contains quasi-transitive digraphs, symmetric digraphs, and extended semicomplete digraphs, but is incomparable to the class of locally semicomplete digraphs. We show that weakly quasi-transitive digraphs can be recursively constructed by simple substitutions from transitive oriented graphs, semicomplete digraphs, and symmetric digraphs. This recursive construction of weakly quasi-transitive digraphs, similar to the one for quasi-transitive digraphs, demonstrates the naturalness of the new digraph class. As a by-product, we prove that the forbidden subdigraphs for semicomplete chordal digraphs are the same for weakly quasi-transitive chordal digraphs.
Hamiltonian cycles and 1-factors in 5-regular graphs
Published in Journal of Combinatorial Theory, Series B, Volume 154, May 2022, Pages 239-261
• View Publication
• BIB
It is proven that for any integer $g \ge 0$ and $k \in \{ 0, \ldots, 10 \}$, there exist infinitely many 5-regular graphs of genus $g$ containing a 1-factorisation with exactly $k$ pairs of 1-factors that are perfect, i.e. form a hamiltonian cycle. For $g = 0$, this settles a problem of Kotzig from 1964. Motivated by Kotzig and Labelle's "marriage" operation, we discuss two gluing techniques aimed at producing graphs of high cyclic edge-connectivity. We prove that there exist infinitely many planar 5-connected 5-regular graphs in which every 1-factorisation has zero perfect pairs. On the other hand, by the Four Colour Theorem and a result of Brinkmann and the first author, every planar 4-connected 5-regular graph satisfying a condition on its hamiltonian cycles has a linear number of 1-factorisations each containing at least one perfect pair. We also prove that every planar 5-connected 5-regular graph satisfying a stronger condition contains a 1-factorisation with at most nine perfect pairs, whence, every such graph admitting a 1-factorisation with ten perfect pairs has at least two edge-Kempe equivalence classes. The paper concludes with further results on edge-Kempe equivalence classes in planar 5-regular graphs.
The minimum degree of minimal Ramsey graphs for cliques
Published in Bull. London Math. Soc., 54 (2022): 1827-1838
• View Publication
• BIB
We prove that $s_r(K_k) = O(k^5 r^{5/2})$, where $s_r(K_k)$ is the Ramsey parameter introduced by Burr, Erdős and Lovász in 1976, which is defined as the smallest minimum degree of a graph $G$ such that any $r$-colouring of the edges of $G$ contains a monochromatic $K_k$, whereas no proper subgraph of $G$ has this property. The construction used in our proof relies on a group theoretic model of generalised quadrangles introduced by Kantor in 1980.
Stability of extremal connected hypergraphs avoiding Berge-paths
Published
• View Publication
• BIB
A Berge-path of length $k$ in a hypergraph $\mathcal{H}$ is a sequence $v_1,e_1,v_2,e_2,\dots,v_{k},e_k,v_{k+1}$ of distinct vertices and hyperedges with $v_{i},v_{i+1} \in e_i$, for $i \le k$. Füredi, Kostochka and Luo, and independently Győri, Salia and Zamora determined the maximum number of hyperedges in an $n$-vertex, connected, $r$-uniform hypergraph that does not contain a Berge-path of length $k$ provided $k$ is large enough compared to $r$. They also determined the unique extremal hypergraph $\mathcal{H}_1$.
We prove a stability version of this result by presenting another construction $\mathcal{H}_2$ and showing that any $n$-vertex, connected, $r$-uniform hypergraph without a Berge-path of length $k$, that contains more than $|\mathcal{H}_2|$ hyperedges must be a sub-hypergraph of the extremal hypergraph $\mathcal{H}_1$, provided $k$ is large enough compared to $r$.
Enumerating the Digitally Convex Sets of Powers of Cycles and Cartesian Products of Paths and Complete Graphs
Published
• View Publication
• BIB
Given a finite set $V$, a convexity $\mathscr{C}$, is a collection of subsets of $V$ that contains both the empty set and the set $V$ and is closed under intersections. The elements of $\mathscr{C}$ are called convex sets. The digital convexity, originally proposed as a tool for processing digital images, is defined as follows: a subset $S\subseteq V(G)$ is digitally convex if, for every $v\in V(G)$, we have $N[v]\subseteq N[S]$ implies $v\in S$. The number of cyclic binary strings with blocks of length at least $k$ is expressed as a linear recurrence relation for $k\geq 2$. A bijection is established between these cyclic binary strings and the digitally convex sets of the $(k-1)^{th}$ power of a cycle. A closed formula for the number of digitally convex sets of the Cartesian product of two complete graphs is derived. A bijection is established between the digitally convex sets of the Cartesian product of two paths, $P_n \square P_m$, and certain types of $n \times m$ binary arrays.
All finite sets are Ramsey in the maximum norm
Published in Forum of Mathematics, Sigma 9 (2021) e55
• View Publication
• BIB
For two metric spaces $\mathbb X$ and $\mathcal Y$, the chromatic number $χ(\mathbb X;\mathcal Y)$ of $\mathbb X$ with forbidden $\mathcal Y$ is the smallest $k$ such that there is a coloring of the points of $\mathbb X$ with $k$ colors and no monochromatic copy of $\mathcal Y$. In this paper, we show that for each finite metric space $\mathcal{M}$ that contains at least two points the value $χ\left(\mathbb R^n_\infty; \mathcal M \right)$ grows exponentially with $n$. We also provide explicit lower and upper bounds for some special $\mathcal M$.
The Steiner Wiener index of trees with a given segment sequence
Published in Applied Mathematics and Computation 344(2019) 20-29
• View Publication
• BIB
The Steiner distance of vertices in a set $S$ is the minimum size of a connected subgraph that contain these vertices. The sum of the Steiner distances over all sets $S$ of cardinality $k$ is called the Steiner $k$-Wiener index and studied as the natural generalization of the famous Wiener index in chemical graph theory. In this paper we study the extremal structures, among trees with a given segment sequence, that maximize or minimize the Steiner $k$-Wiener index. The same extremal problems are also considered for trees with a given number of segments.
Constant Congestion Brambles
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (March 31, 2022) dmtcs:6699
• View Publication
• BIB
A bramble in an undirected graph $G$ is a family of connected subgraphs of $G$ such that for every two subgraphs $H_1$ and $H_2$ in the bramble either $V(H_1) \cap V(H_2) \neq \emptyset$ or there is an edge of $G$ with one endpoint in $V(H_1)$ and the second endpoint in $V(H_2)$. The order of the bramble is the minimum size of a vertex set that intersects all elements of a bramble.
Brambles are objects dual to treewidth: As shown by Seymour and Thomas, the maximum order of a bramble in an undirected graph $G$ equals one plus the treewidth of $G$. However, as shown by Grohe and Marx, brambles of high order may necessarily be of exponential size: In a constant-degree $n$-vertex expander a bramble of order $Ω(n^{1/2+δ})$ requires size exponential in $Ω(n^{2δ})$ for any fixed $δ\in (0,\frac{1}{2}]$. On the other hand, the combination of results of Grohe and Marx and Chekuri and Chuzhoy shows that a graph of treewidth $k$ admits a bramble of order $\widetildeΩ(k^{1/2})$ and size $\widetilde{\mathcal{O}}(k^{3/2})$. ($\widetildeΩ$ and $\widetilde{\mathcal{O}}$ hide polylogarithmic factors and divisors, respectively.)
In this note, we first sharpen the second bound by proving that every graph $G$ of treewidth at least $k$ contains a bramble of order $\widetildeΩ(k^{1/2})$ and congestion $2$, i.e., every vertex of $G$ is contained in at most two elements of the bramble (thus the bramble is of size linear in its order). Second, we provide a tight upper bound for the lower bound of Grohe and Marx: For every $δ\in (0,\frac{1}{2}]$, every graph $G$ of treewidth at least $k$ contains a bramble of order $\widetildeΩ(k^{1/2+δ})$ and size $2^{\widetilde{\mathcal{O}}(k^{2δ})}$.
Cubic graphs that cannot be covered with four perfect matchings
A conjecture of Berge suggests that every bridgeless cubic graph can have its edges covered with at most five perfect matchings. Since three perfect matchings suffice only when the graph in question is $3$-edge-colourable, the rest of cubic graphs falls into two classes: those that can be covered with four perfect matchings, and those that need at least five. Cubic graphs that require more than four perfect matchings to cover their edges are particularly interesting as potential counterexamples to several profound and long-standing conjectures including the celebrated cycle double cover conjecture. However, so far they have been extremely difficult to find.
In this paper we build a theory that describes coverings with four perfect match\-ings as flows whose flow values and outflow patterns form a configuration of six lines spanned by four points of the 3-dimensional projective space $\mathbb{P}_3(\mathbb{F}_2)$ in general position. This theory provides powerful tools for investigation of graphs that do not admit such a cover and offers a great variety of methods for their construction. As an illustrative example we produce a rich family of snarks (nontrivial cubic graphs with no $3$-edge-colouring) that cannot be covered with four perfect matchings. The family contains all previously known graphs with this property.
Connections between covers of $\mathbb Z$ and subset sums
In this paper we establish connections between covers of $\mathbb Z$ by residue classes and subset sums in a field. Suppose that $A_0=\{a_s(n_s)\}_{s=0}^k$ covers each integer at least $p$ times with the residue class $a_0(n_0)=a_0+n_0\mathbb Z$ irredundant, where $p$ is a prime not dividing any of $n_1,\ldots,n_k$. Let $m_1,\ldots,m_k\in\mathbb Z$ be relatively prime to $n_1,\ldots,n_k$ respectively. For any $c,c_1,\ldots,c_k\in\mathbb Z/p\mathbb Z$ with $c_1\cdots c_k\not=0$, we show that the set $$\bigg\{\bigg\{\sum_{s\in I}\frac{m_s}{n_s}\bigg\}:\, I\subseteq\{1,\ldots,k\} \ \mbox{and}\ \sum_{s\in I}c_s=c\bigg\}$$ contains an arithmetic progression of length $n_0$ with common difference $1/n_0$, where $\{x\}$ denotes the fractional part of a real number $x$.
Approximating pathwidth for graphs of small treewidth
Published in ACM Transactions on Algorithms, 19/2:1--19, 2023
• View Publication
• BIB
We describe a polynomial-time algorithm which, given a graph $G$ with treewidth $t$, approximates the pathwidth of $G$ to within a ratio of $O(t\sqrt{\log t})$. This is the first algorithm to achieve an $f(t)$-approximation for some function $f$.
Our approach builds on the following key insight: every graph with large pathwidth has large treewidth or contains a subdivision of a large complete binary tree. Specifically, we show that every graph with pathwidth at least $th+2$ has treewidth at least $t$ or contains a subdivision of a complete binary tree of height $h+1$. The bound $th+2$ is best possible up to a multiplicative constant. This result was motivated by, and implies (with $c=2$), the following conjecture of Kawarabayashi and Rossman (SODA'18): there exists a universal constant $c$ such that every graph with pathwidth $Ω(k^c)$ has treewidth at least $k$ or contains a subdivision of a complete binary tree of height $k$.
Our main technical algorithm takes a graph $G$ and some (not necessarily optimal) tree decomposition of $G$ of width $t'$ in the input, and it computes in polynomial time an integer $h$, a certificate that $G$ has pathwidth at least $h$, and a path decomposition of $G$ of width at most $(t'+1)h+1$. The certificate is closely related to (and implies) the existence of a subdivision of a complete binary tree of height $h$. The approximation algorithm for pathwidth is then obtained by combining this algorithm with the approximation algorithm of Feige, Hajiaghayi, and Lee (STOC'05) for treewidth.
Density theorems for anisotropic point configurations
Published in Canad. J. Math. 74 (2022), no. 5, 1244-1276
• View Publication
• BIB
Several results in the existing literature establish Euclidean density theorems of the following strong type. These results claim that every set of positive upper Banach density in the Euclidean space of an appropriate dimension contains isometric copies of all sufficiently large elements of a prescribed family of finite point configurations. So far, all results of this type discussed linear isotropic dilates of a fixed point configuration. In this paper we initiate the study of analogous density theorems for families of point configurations generated by anisotropic dilations, i.e., families with power-type dependence on a single parameter interpreted as their size. More specifically, here we prove nonisotropic power-type generalizations of a result by Bourgain on vertices of a simplex, a result by Lyall and Magyar on vertices of a rectangular box, and a result on distance trees, which is a particular case of the treatise of distance graphs by Lyall and Magyar. Another source of motivation for this paper is providing additional evidence for the versatility of the approach stemming from the work of Cook, Magyar, and Pramanik and its modification used recently by Durcik and the present author. Finally, yet another purpose of this paper is to single out anisotropic multilinear singular integral operators associated with the above combinatorial problems, as they are interesting on their own.
Shifting paths to avoidable ones
Published
• View Publication
• BIB
An extension of an induced path $P$ in a graph $G$ is an induced path $P'$ such that deleting the endpoints of $P'$ results in $P$. An induced path in a graph is said to be avoidable if each of its extensions is contained in an induced cycle. In 2019, Beisegel, Chudovsky, Gurvich, Milanič, and Servatius conjectured that every graph that contains an induced $k$-vertex path also contains an avoidable induced path of the same length, and proved the result for $k = 2$. The case $k = 1$ was known much earlier, due to a work of Ohtsuki, Cheung, and Fujisawa in 1976. The conjecture was proved for all $k$ in 2020 by Bonamy, Defrain, Hatzel, and Thiebaut. In the present paper, using a similar approach, we strengthen their result from a reconfiguration point of view. Namely, we show that in every graph, each induced path can be transformed to an avoidable one by a sequence of shifts, where two induced $k$-vertex paths are shifts of each other if their union is an induced path with $k+1$ vertices. We also obtain analogous results for not necessarily induced paths and for walks. In contrast, the statement cannot be extended to trails or to isometric paths.
Tree pivot-minors and linear rank-width
Published in SIAM J. Discrete Math., 35(4):2922-2945, December 2021
• View Publication
• BIB
Tree-width and its linear variant path-width play a central role for the graph minor relation. In particular, Robertson and Seymour (1983) proved that for every tree~$T$, the class of graphs that do not contain $T$ as a minor has bounded path-width. For the pivot-minor relation, rank-width and linear rank-width take over the role from tree-width and path-width. As such, it is natural to examine if for every tree~$T$, the class of graphs that do not contain $T$ as a pivot-minor has bounded linear rank-width. We first prove that this statement is false whenever $T$ is a tree that is not a caterpillar. We conjecture that the statement is true if $T$ is a caterpillar. We are also able to give partial confirmation of this conjecture by proving: (1) for every tree $T$, the class of $T$-pivot-minor-free distance-hereditary graphs has bounded linear rank-width if and only if $T$ is a caterpillar; (2) for every caterpillar $T$ on at most four vertices, the class of $T$-pivot-minor-free graphs has bounded linear rank-width. To prove our second result, we only need to consider $T=P_4$ and $T=K_{1,3}$, but we follow a general strategy: first we show that the class of $T$-pivot-minor-free graphs is contained in some class of $(H_1,H_2)$-free graphs, which we then show to have bounded linear rank-width. In particular, we prove that the class of $(K_3,S_{1,2,2})$-free graphs has bounded linear rank-width, which strengthens a known result that this graph class has bounded rank-width.
Hitting times for Shamir's Problem
Published
• View Publication
• BIB
For fixed $r\geq 3$ and $n$ divisible by $r$, let ${\mathcal H}={\mathcal H}^r_{n,M}$ be the random $M$-edge $r$-graph on $V=\{1,\ldots ,n\}$; that is, ${\mathcal H}$ is chosen uniformly from the $M$-subsets of ${\mathcal K}:={V \choose r}$ ($:= \{\mbox{$r$-subsets of $V$}\}$). Shamir's Problem (circa 1980) asks, roughly, for what $M=M(n)$ is ${\mathcal H}$ likely to contain a perfect matching (that is, $n/r$ disjoint $r$-sets)?
In 2008 Johansson, Vu and the author showed that this is true for $M>C_rn\log n$. More recently the author proved the asymptotically correct version of that result: for fixed $C> 1/r$ and $M> Cn\log n$, $P({\mathcal H} ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}.$
The present work completes a proof, begun in that recent paper, of the definitive "hitting time" statement:
$\mbox{Theorem.}$ If $A_1, \ldots ~$ is a uniform permutation of ${\mathcal K}$, ${\mathcal H}_t=\{A_1\dots A_t\}$, and \[ T=\min\{t:A_1\cup \cdots\cup A_t=V\}, \] then $P({\mathcal H}_T ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}$.
Gallai-Ramsey numbers for graphs with five vertices of chromatic number four
Given a graph $H$ and an integer $k\ge1$, the Gallai-Ramsey number $GR_k(H)$ is defined to be the minimum integer $n$ such that every $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $H$. In this paper, we determine the Gallai-Ramsey numbers for connected graphs with five vertices of chromatic number four.
Well-quasi-ordering digraphs with no long alternating paths by the strong immersion relation
Published in J. Combin. Theory Ser. B 158 (2023), 210--251
• View Publication
• BIB
Nash-Williams' Strong Immersion Conjecture states that graphs are well-quasi-ordered by the strong immersion relation. That is, given infinitely many graphs, one graph contains another graph as a strong immersion. In this paper we study the analogous problem for directed graphs. It is known that digraphs are not well-quasi-ordered by the strong immersion relation, but for all known such infinite antichains, paths that change direction arbitrarily many times can be found. This paper proves that the converse statement is true: for every positive integer $k$, the digraphs that do not contain a path that changes direction $k$ times are well-quasi-ordered by the strong immersion relation, even when vertices are labelled by a well-quasi-order. This result is optimal for classes of digraphs closed under taking subgraphs since paths that change direction arbitrarily many times with vertex-labels form an infinite antichain with respect to the strong immersion relation.
Sparse $4$-critical graphs have low circular chromatic number
Kostochka and Yancey proved that every $4$-critical graph $G$ has $e(G) \geq \frac{5v(G) - 2}{3}$, and that equality holds if and only if $G$ is $4$-Ore. We show that a question of Postle and Smith-Roberge implies that every $4$-critical graph with no $(7,2)$-circular-colouring has $e(G) \geq \frac{27v(G) -20}{15}$. We prove that every $4$-critical graph with no $(7,2)$-colouring has $e(G) \geq \frac{17v(G)}{10}$ unless $G$ is isomorphic to $K_{4}$ or the wheel on six vertices. We also show that if the Gallai Tree of a $4$-critical graph with no $(7,2)$-colouring has every component isomorphic to either an odd cycle, a claw, or a path. In the case that the Gallai Tree contains an odd cycle component, then $G$ is isomorphic to an odd wheel. In general, we show a $k$-critical graph with no $(2k-1,2)$-colouring that contains a clique of size $k-1$ in it's Gallai Tree is isomorphic to $K_{k}$.
Sparse halves in $K_4$-free graphs
Published
• View Publication
• BIB
A conjecture of Chung and Graham states that every $K_4$-free graph on $n$ vertices contains a vertex set of size $\lfloor n/2 \rfloor$ that spans at most $n^2/18$ edges. We make the first step toward this conjecture by showing that it holds for all regular graphs.
Proper vertex-pancyclicity of edge-colored complete graphs without joint monochromatic triangles
Published
• View Publication
• BIB
In an edge-colored graph $(G,c)$, let $d^c(v)$ denote the number of colors on the edges incident with a vertex $v$ of $G$ and $δ^c(G)$ denote the minimum value of $d^c(v)$ over all vertices $v\in V(G)$. A cycle of $(G,c)$ is called proper if any two adjacent edges of the cycle have distinct colors. An edge-colored graph $(G,c)$ on $n\geq 3$ vertices is called properly vertex-pancyclic if each vertex of $(G,c)$ is contained in a proper cycle of length $\ell$ for every $\ell$ with $3 \le \ell \le n$. Fujita and Magnant conjectured that every edge-colored complete graph on $n\geq 3$ vertices with $δ^c(G)\geq \frac{n+1}{2}$ is properly vertex-pancyclic. Chen, Huang and Yuan partially solve this conjecture by adding an extra condition that $(G,c)$ does not contain any monochromatic triangle. In this paper, we show that this conjecture is true if the edge-colored complete graph contain no joint monochromatic triangles.