graph
34516 papers tagged with this keyword
Cheeger Inequalities for Directed Graphs and Hypergraphs Using Reweighted Eigenvalues
Published
• View Publication
• BIB
We derive Cheeger inequalities for directed graphs and hypergraphs using the reweighted eigenvalue approach that was recently developed for vertex expansion in undirected graphs [OZ22,KLT22,JPV22]. The goal is to develop a new spectral theory for directed graphs and an alternative spectral theory for hypergraphs.
The first main result is a Cheeger inequality relating the vertex expansion $\vecψ(G)$ of a directed graph $G$ to the vertex-capacitated maximum reweighted second eigenvalue $\vecλ_2^{v*}$: \[ \vecλ_2^{v*} \lesssim \vecψ(G) \lesssim \sqrt{\vecλ_2^{v*} \cdot \log (Δ/\vecλ_2^{v*})}. \] This provides a combinatorial characterization of the fastest mixing time of a directed graph by vertex expansion, and builds a new connection between reweighted eigenvalued, vertex expansion, and fastest mixing time for directed graphs.
The second main result is a stronger Cheeger inequality relating the edge conductance $\vecφ(G)$ of a directed graph $G$ to the edge-capacitated maximum reweighted second eigenvalue $\vecλ_2^{e*}$: \[ \vecλ_2^{e*} \lesssim \vecφ(G) \lesssim \sqrt{\vecλ_2^{e*} \cdot \log (1/\vecλ_2^{e*})}. \] This provides a certificate for a directed graph to be an expander and a spectral algorithm to find a sparse cut in a directed graph, playing a similar role as Cheeger's inequality in certifying graph expansion and in the spectral partitioning algorithm for undirected graphs.
We also use this reweighted eigenvalue approach to derive the improved Cheeger inequality for directed graphs, and furthermore to derive several Cheeger inequalities for hypergraphs that match and improve the existing results in [Lou15,CLTZ18]. These are supporting results that this provides a unifying approach to lift the spectral theory for undirected graphs to more general settings.
The Graph Density Domination Exponent
For graphs $G$ and $H$, what relations can be determined between $t(G,W)$ and $t(H,W)$ for a general graph $W$? We study this problem through the framework of the density domination exponent, which is defined to be the smallest constant $c$ such that $t(G,W)\ge t(H,W)^c$ for every graph $W$. This broad generalization encompasses the Sidorenko conjecture, the Erdős-Simonovits Theorem on paths, and a variety of other statements relating graph homomorphism densities. We introduce some general tools for estimating the density domination exponent, and extend previous results to new graph regimes.
Crossing and intersecting families of geometric graphs on point sets
Published
• View Publication
• BIB
Let $S$ be a set of $n$ points in the plane in general position. Two line segments connecting pairs of points of $S$ cross if they have an interior point in common. Two vertex disjoint geometric graphs with vertices in $S$ cross if there are two edges, one from each graph, which cross. A set of vertex disjoint geometric graphs with vertices in $S$ is called mutually crossing if any two of them cross.
We show that there exists a constant $c$ such that from any family of $n$ mutually crossing triangles, one can always obtain a family of at least $n^c$ mutually crossing $2$-paths (each of which is the result of deleting an edge from one of the triangles) and then provide an example that implies that $c$ cannot be taken to be larger than $2/3$. For every $n$ we determine the maximum number of crossings that a Hamiltonian cycle on a set of $n$ points might have. Next, we construct a point set whose longest perfect matching contains no crossings. We also consider edges consisting of a horizontal and a vertical line segment joining pairs of points of $S$, which we call elbows, and prove that in any point set $S$ there exists a family of $\lfloor n/4 \rfloor$ vertex disjoint mutually crossing elbows. Additionally, we show a point set that admits no more than $n/3$ mutually crossing elbows.
Finally we study intersecting families of graphs, which are not necessarily vertex disjoint. A set of edge disjoint graphs with vertices in $S$ is called an intersecting family if for any two graphs in the set we can choose an edge in each of them such that they cross. We prove a conjecture by Lara and Rubio-Montiel, namely, that any set $S$ of $n$ points in general position admits a family of intersecting triangles with a quadratic number of elements.
Some other results are obtained throughout this work.
The rainbow saturation number is linear
Published
• View Publication
• BIB
Given a graph $H$, we say that an edge-coloured graph $G$ is $H$-rainbow saturated if it does not contain a rainbow copy of $H$, but the addition of any non-edge in any colour creates a rainbow copy of $H$. The rainbow saturation number $\text{rsat}(n,H)$ is the minimum number of edges among all $H$-rainbow saturated edge-coloured graphs on $n$ vertices. We prove that for any non-empty graph $H$, the rainbow saturation number is linear in $n$, thus proving a conjecture of Girão, Lewis, and Popielarz. In addition, we also give an improved upper bound on the rainbow saturation number of the complete graph, disproving a second conjecture of Girão, Lewis, and Popielarz.
Flexible list colorings: Maximizing the number of requests satisfied
Published
• View Publication
• BIB
Flexible list coloring was introduced by Dvořák, Norin, and Postle in 2019. Suppose $0 \leq ε\leq 1$, $G$ is a graph, $L$ is a list assignment for $G$, and $r$ is a function with non-empty domain $D\subseteq V(G)$ such that $r(v) \in L(v)$ for each $v \in D$ ($r$ is called a request of $L$). The triple $(G,L,r)$ is $ε$-satisfiable if there exists a proper $L$-coloring $f$ of $G$ such that $f(v) = r(v)$ for at least $ε|D|$ vertices in $D$. We say $G$ is $(k, ε)$-flexible if $(G,L',r')$ is $ε$-satisfiable whenever $L'$ is a $k$-assignment for $G$ and $r'$ is a request of $L'$. It was shown by Dvořák et al. that if $d+1$ is prime, $G$ is a $d$-degenerate graph, and $r$ is a request for $G$ with domain of size $1$, then $(G,L,r)$ is $1$-satisfiable whenever $L$ is a $(d+1)$-assignment. In this paper, we extend this result to all $d$ for bipartite $d$-degenerate graphs.
The literature on flexible list coloring tends to focus on showing that for a fixed graph $G$ and $k \in \mathbb{N}$ there exists an $ε> 0$ such that $G$ is $(k, ε)$-flexible, but it is natural to try to find the largest possible $ε$ for which $G$ is $(k,ε)$-flexible. In this vein, we improve a result of Dvořák et al., by showing $d$-degenerate graphs are $(d+2, 1/2^{d+1})$-flexible. In pursuit of the largest $ε$ for which a graph is $(k,ε)$-flexible, we observe that a graph $G$ is not $(k, ε)$-flexible for any $k$ if and only if $ε> 1/ ρ(G)$, where $ρ(G)$ is the Hall ratio of $G$, and we initiate the study of the list flexibility number of a graph $G$, which is the smallest $k$ such that $G$ is $(k,1/ ρ(G))$-flexible. We study relationships and connections between the list flexibility number, list chromatic number, list packing number, and degeneracy of a graph.
Stability of generalized Turán number for linear forests
Published
• View Publication
• BIB
Given a graph $T$ and a family of graphs $\mathcal{F}$, the generalized Turán number of $\mathcal{F}$ is the maximum number of copies of $T$ in an $\mathcal{F}$-free graph on $n$ vertices, denoted by $ex(n,T,\mathcal{F})$. When $T = K_r$, $ex(n, K_r, \mathcal{F})$ is a function specifying the maximum possible number of $r$-cliques in an $\mathcal{F}$-free graph on $n$ vertices. A linear forest is a forest whose connected components are all paths and isolated vertices. Let $\mathcal{L}_{k}$ be the family of all linear forests of size $k$ without isolated vertices. In this paper, we obtained the maximum possible number of $r$-cliques in $G$, where $G$ is $\mathcal{L}_{k}$-free with minimum degree at least $d$. Furthermore, we give a stability version of the result. As an application of the stability version of the result, we obtain a clique version of the stability of the Erdős-Gallai Theorem on matchings.
A Project on Cyclic Ordering of Some Families of Graphs
Let $G$ be an $n$-vertex connected graph. A cyclic base ordering of $G$ is a cyclic ordering of all edges such that every cyclically consecutive $n-1$ edges induce a spanning tree of $G$. In this project, we study cyclic base ordering of triangular grid graphs, series composition of graphs, generalized theta graphs, and circulant graphs.
Notes on Aharoni's rainbow cycle conjecture
Published
• View Publication
• BIB
In 2017, Ron Aharoni made the following conjecture about rainbow cycles in edge-coloured graphs: If $G$ is an $n$-vertex graph whose edges are coloured with $n$ colours and each colour class has size at least $r$, then $G$ contains a rainbow cycle of length at most $\lceil \frac{n}{r} \rceil$. One motivation for studying Aharoni's conjecture is that it is a strengthening of the Caccetta-Häggkvist conjecture on digraphs from 1978.
In this article, we present a survey of Aharoni's conjecture, including many recent partial results and related conjectures. We also present two new results. Our main new result is for the $r=3$ case of Aharoni's conjecture. We prove that if $G$ is an $n$-vertex graph whose edges are coloured with $n$ colours and each colour class has size at least 3, then $G$ contains a rainbow cycle of length at most $\frac{4n}{9}+7$. We also discuss how our approach might generalise to larger values of $r$.
Extremal graphs for the suspension of edge-critical graphs
Published
• View Publication
• BIB
The Turán number of a graph $H$, $\text{ex}(n,H)$, is the maximum number of edges in an $n$-vertex graph that does not contain $H$ as a subgraph. For a vertex $v$ and a multi-set $\mathcal{F}$ of graphs, the suspension $\mathcal{F}+v$ of $\mathcal{F}$ is the graph obtained by connecting the vertex $v$ to all vertices of $F$ for each $F\in \mathcal{F}$. For two integers $k\ge1$ and $r\ge2$, let $H_i$ be a graph containing a critical edge with chromatic number $r$ for any $i\in\{1,\ldots,k\}$, and let $H=\{H_1,\ldots,H_k\}+v$. In this paper, we determine $\text{ex}(n, H)$ and characterize all the extremal graphs for sufficiently large $n$. This generalizes a result of Chen, Gould, Pfender and Wei on intersecting cliques. We also obtain a stability theorem for $H$, extending a result of Roberts and Scott on graphs containing a critical edge.
The rotation distance of brooms
Published in European J. Combin. 118, 103877 (2024)
• View Publication
• BIB
The associahedron $\mathcal{A}(G)$ of a graph $G$ has the property that its vertices can be thought of as the search trees on $G$ and its edges as the rotations between two search trees. If $G$ is a simple path, then $\mathcal{A}(G)$ is the usual associahedron and the search trees on $G$ are binary search trees. Computing distances in the graph of $\mathcal{A}(G)$, or equivalently, the rotation distance between two binary search trees, is a major open problem. Here, we consider the different case when $G$ is a complete split graph. In that case, $\mathcal{A}(G)$ interpolates between the stellohedron and the permutohedron, and all the search trees on $G$ are brooms. We show that the rotation distance between any two such brooms and therefore the distance between any two vertices in the graph of the associahedron of $G$ can be computed in quasi-quadratic time in the number of vertices of $G$.
Few hamiltonian cycles in graphs with one or two vertex degrees
Published
• View Publication
• BIB
We fully disprove a conjecture of Haythorpe on the minimum number of hamiltonian cycles in regular hamiltonian graphs, thereby extending a result of Zamfirescu, as well as correct and complement Haythorpe's computational enumerative results from [Experim. Math. 27 (2018) 426-430]. Thereafter, we use the Lovász Local Lemma to extend Thomassen's independent dominating set method. Regarding the limitations of this method, we answer a question of Haxell, Seamone, and Verstraete, and settle the first open case of a problem of Thomassen. Motivated by an observation of Aldred and Thomassen, we prove that for every $κ\in \{ 2, 3 \}$ and any positive integer $k$, there are infinitely many non-regular graphs of connectivity $κ$ containing exactly one hamiltonian cycle and in which every vertex has degree $3$ or $2k$.
A few words about maps
Published
• View Publication
• BIB
In this paper, we survey some properties, encoding, and bijections involving combinatorial maps, double occurrence words, and chord diagrams. We particularly study quasi-trees from a purely combinatorial point of view and derive a topological representation of maps with a given spanning quasi-tree using two fundamental polygons, which extends the representation of planar maps based on the equivalence with bipartite circle graphs. Then, we focus on Depth-First Search trees and their connection with a poset we define on the spanning quasi-trees of a map. We apply the bijections obtained in the first section to the problem of enumerating loopless rooted maps. Finally, we return to the planar case and discuss a decomposition of planar rooted loopless maps and its consequences on planar rooted loopless map enumeration.
Local Irregularity Conjecture for 2-multigraphs versus cacti
Published
• View Publication
• BIB
A multigraph is locally irregular if the degrees of the end-vertices of every multiedge are distinct. The locally irregular coloring is an edge coloring of a multigraph $G$ such that every color induces a locally irregular submultigraph of $G$. A locally irregular colorable multigraph $G$ is any multigraph which admits a locally irregular coloring. We denote by ${\rm lir}(G)$ the locally irregular chromatic index of a multigraph $G$, which is the smallest number of colors required in the locally irregular coloring of the locally irregular colorable multigraph $G$. In case of graphs the definitions are similar. The Local Irregularity Conjecture for 2-multigraphs claims that for every connected graph $G$, which is not isomorphic to $K_2$, multigraph $^2G$ obtained from $G$ by doubling each edge satisfies ${\rm lir}(^2G)\leq 2$. We show this conjecture for cacti. This class of graphs is important for the Local Irregularity Conjecture for 2-multigraphs and the Local Irregularity Conjecture which claims that every locally irregular colorable graph $G$ satisfies ${\rm lir}(G)\leq 3$. At the beginning it has been observed that all not locally irregular colorable graphs are cacti. Recently it has been proved that there is only one cactus which requires 4 colors for a locally irregular coloring and therefore the Local Irregularity Conjecture was disproved.
The RED-BLUE SEPARATION problem on graphs
Published in Theoretical Computer Science 970:114061, 2023
• View Publication
• BIB
We introduce the Red-Blue Separation problem on graphs, where we are given a graph $G=(V,E)$ whose vertices are colored either red or blue, and we want to select a (small) subset $S \subseteq V$, called red-blue separating set, such that for every red-blue pair of vertices, there is a vertex $s \in S$ whose closed neighborhood contains exactly one of the two vertices of the pair. We study the computational complexity of Red-Blue Separation, in which one asks whether a given red-blue colored graph has a red-blue separating set of size at most a given integer. We prove that the problem is NP-complete even for restricted graph classes. We also show that it is always approximable in polynomial time within a factor of $2\ln n$, where $n$ is the input graph's order. In contrast, for triangle-free graphs and for graphs of bounded maximum degree, we show that Red-Blue Separation is solvable in polynomial time when the size of the smaller color class is bounded by a constant. However, on general graphs, we show that the problem is $W[2]$-hard even when parameterized by the solution size plus the size of the smaller color class. We also consider the problem Max Red-Blue Separation where the coloring is not part of the input. Here, given an input graph $G$, we want to determine the smallest integer $k$ such that, for every possible red-blue coloring of $G$, there is a red-blue separating set of size at most $k$. We derive tight bounds on the cardinality of an optimal solution of Max Red-Blue Separation, showing that it can range from logarithmic in the graph order, up to the order minus one. We also give bounds with respect to related parameters. For trees however we prove an upper bound of two-thirds the order. We then show that Max Red-Blue Separation is NP-hard, even for graphs of bounded maximum degree, but can be approximated in polynomial time within a factor of $O(\ln^2 n)$.
Acyclic colourings of graphs with obstructions
Published in SIAM Journal on Discrete Mathematics, 2025, vol. 39, no 1, p. 505-532
• View Publication
• BIB
Given a graph $G$, a colouring of $G$ is \emph{acyclic} if it is a proper colouring of $G$ and every cycle contains at least three colours. Its acyclic chromatic number $χ_a(G)$ is the minimum~$k$ such that an acyclic $k$-colouring of $G$ exists. When $G$ has maximum degree $Δ$, it is known that $χ_a(G) = \mathcal {O}(Δ^{4/3})$ as $Δ\to \infty$, and that $χ_a(G) = \mathcal {O}(\sqrt{t} \cdot Δ)$ if in addition $G$ does not contain $K_{2,t}$ as a subgraph. We study the extremal value of the acyclic chromatic number in the class of graphs of maximum degree $Δ$ that do not contain some fixed subgraph $F$ on $t$ vertices. We establish that this extremal value is at most $\mathcal {O}(t^{8/3}Δ^{2/3})$ if $F$ is a tree, $\mathcal {O}(\sqrt{t} \cdot Δ)$ if $F$ is bipartite and can be made acyclic with the removal of one vertex, $2Δ+ \mathcal {O}(tΔ^{2/3})$ if $F$ is an even cycle of length at least $6$, and $\mathcal {O}(t^{1/4}Δ^{5/4})$ if $F=K_{3,t}$. Moreover, we exhibit an infinite family of obstructions $F$ that each induces a different asymptotic behaviour for this extremal value. This is obtained with the derivation of lower bounds that come from the analysis of the acyclic chromatic number of a random graph drawn from either $G(n,p)$ or $G(n,n,p)$, that we entirely determine up to a ${\rm polylog}(n)$ factor. As a byproduct, we can certify that most of our results are tight up to a $Δ^{\mathcal{O}(1/t)}$ factor.
Mixed Dimer Configuration Model in Type $D$ Cluster Algebras II: Beyond the Acyclic Case
Published
• View Publication
• BIB
This is a sequel to the second and third author's Mixed Dimer Configuration Model in Type $D$ Cluster Algebras where we extend our model to work for quivers that contain oriented cycles. Namely, we extend a combinatorial model for $F$-polynomials for type $D_n$ using dimer and double dimer configurations. In particular, we give a graph theoretic recipe that describes which monomials appear in such $F$-polynomials, as well as a graph theoretic way to determine the coefficients of each of these monomials. To prove this formula, we provide an explicit bijection between mixed dimer configurations and dimension vectors of submodules of an indecomposable Jacobian algebra module.
Supermodular Extension of Vizing's Edge-Coloring Theorem
Published
• View Publication
• BIB
Kőnig's edge-coloring theorem for bipartite graphs and Vizing's edge-coloring theorem for general graphs are celebrated results in graph theory and combinatorial optimization. Schrijver generalized Kőnig's theorem to a framework defined with a pair of intersecting supermodular functions. The result is called the supermodular coloring theorem.
This paper presents a common generalization of Vizing's theorem and a weaker version of the supermodular coloring theorem. To describe this theorem, we introduce intersecting 2/3-supermodular functions, which are extensions of intersecting supermodular functions. The paper also provides an alternative proof of Gupta's edge-coloring theorem using a special case of this supermodular version of Vizing's theorem.
Gallai's Path Decomposition for 2-degenerate Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (May 30, 2023) dmtcs:10313
• View Publication
• BIB
Gallai's path decomposition conjecture states that if $G$ is a connected graph on $n$ vertices, then the edges of $G$ can be decomposed into at most $\lceil \frac{n }{2} \rceil$ paths. A graph is said to be an odd semi-clique if it can be obtained from a clique on $2k+1$ vertices by deleting at most $k-1$ edges. Bonamy and Perrett asked if the edges of every connected graph $G$ on $n$ vertices can be decomposed into at most $\lfloor \frac{n}{2} \rfloor$ paths unless $G$ is an odd semi-clique. A graph $G$ is said to be 2-degenerate if every subgraph of $G$ has a vertex of degree at most $2$. In this paper, we prove that the edges of any connected 2-degenerate graph $G$ on $n$ vertices can be decomposed into at most $\lfloor \frac{n }{2} \rfloor$ paths unless $G$ is a triangle.
The connectedness of the friends-and-strangers graph of lollipop graphs and others
Published
• View Publication
• BIB
Let $X$ and $Y$ be any two graphs of order $n$. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ of $X$ and $Y$ is a graph with vertex set consisting of all bijections $σ:V(X) \mapsto V(Y)$, in which two bijections $σ$, $σ'$ are adjacent if and only if they differ precisely on two adjacent vertices of $X$, and the corresponding mappings are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected. Let $\mathsf{Lollipop}_{n-k,k}$ be a lollipop graph of order $n$ obtained by identifying one end of a path of order $n-k+1$ with a vertex of a complete graph of order $k$. Defant and Kravitz started to study the connectedness of $\mathsf{FS}(\mathsf{Lollipop}_{n-k,k},Y)$. In this paper, we give a sufficient and necessary condition for $\mathsf{FS}(\mathsf{Lollipop}_{n-k,k},Y)$ to be connected for all $2\leq k\leq n$.
Towards the Erdős-Gallai Cycle Decomposition Conjecture
In the 1960's, Erdős and Gallai conjectured that the edges of any $n$-vertex graph can be decomposed into $O(n)$ cycles and edges. We improve upon the previous best bound of $O(n\log\log n)$ cycles and edges due to Conlon, Fox and Sudakov, by showing an $n$-vertex graph can always be decomposed into $O(n\log^{*}n)$ cycles and edges, where $\log^{*}n$ is the iterated logarithm function.