graph
34516 papers tagged with this keyword
Notes on embedding trees in graphs with O(|T|)-sized covers
This is a companion paper to the paper "Hyperstability in the Erdos-Sos Conjecture". In that paper the following rough structure theorem was proved for graphs G containing no copy of a bounded degree tree T: from any such G, one can delete o(|G||T|) edges in order to get a subgraph all of whose connected components have a cover of order 3|T|.
This theorem creates an incentive for studying graphs whose connected components have covers of order O(|T|) - and this is what will be explored here. It turns out that such graphs are amenable to regularity approaches which have been successful in studying dense T-free graphs. In this paper we will follow such an approach from the paper "On the Erdos-Sos conjecture for trees with bounded degree" by Besomi, Pavez-Signe, and Stein and show how it can be adapted from dense graphs to graphs with a small cover.
Hyperstability in the Erdős-Sós Conjecture
A rough structure theorem is proved for graphs $G$ containing no copy of a bounded degree tree $T$: from any such $G$, one can delete $o(|G||T|)$ edges in order to get a subgraph all of whose connected components have a cover of order $3|T|$.
This theorem has the ability to turn questions about sparse $T$-free graphs (about which relatively little is known), into questions about dense $T$-free graphs (for which we have powerful techniques like regularity). There are various applications, the most notable being a proof of the Erdős-Sós Conjecture for large, bounded degree trees.
Acyclotopes and Tocyclotopes
There is a well-established dictionary between zonotopes, hyperplane arrangements, and their (oriented) matroids. Arguably one of the most famous examples is the class of graphical zonotopes, also called acyclotopes, which encode subzonotopes of the type-A root polytope, the permutahedron. Stanley (1991) gave a general interpretation of the coefficients of the Ehrhart polynomial (integer-point counting function for a polytope) of a zonotope via linearly independent subsets of its generators. Applying this to the graphical case shows that Ehrhart coefficients count induced forests of the graph of fixed sizes. Our first goal is to extend and popularize this story to other root systems, which on the combinatorial side is encoded by signed graphs analogously to the work by Greene and Zaslavsky (1983). We compute the Ehrhart polynomial of the acyclotope in the signed case, and we give a matroid-dual construction, giving rise to tocyclotopes, and compute their Ehrhart polynomials. Applying the same duality construction to a general integral matrix gives rise to a lattice Gale zonotope, whose face structure was studies by McMullen (1971) and whose duality nature is a special instance of D'Adderio--Moci's arithmetic matroids. We describe its Ehrhart polynomials in terms of the given matrix.
On the proper rainbow saturation numbers of cliques, paths, and odd cycles
Given a graph $H$, we say a graph $G$ is properly rainbow $H$-saturated if there is a proper edge-coloring of $G$ which contains no rainbow copy of $H$, but adding any edge to $G$ makes such an edge-coloring impossible. The proper rainbow saturation number, denoted $\text{sat}^*(n,H)$, is the minimum number of edges in an $n$-vertex rainbow $H$-saturated graph. We determine the proper rainbow saturation number for paths up to an additive constant and asymptotically determine $\text{sat}^*(n,K_4)$. In addition, we bound $\text{sat}^*(n,H)$ when $H$ is a larger clique, tree of diameter at least 4, or odd cycle.
Proper rainbow saturation for trees
Given a graph $H$, we say that a graph $G$ is properly rainbow $H$-saturated if: (1) There is a proper edge colouring of $G$ containing no rainbow copy of $H$; (2) For every $e \notin E(G)$, every proper edge colouring of $G+e$ contains a rainbow copy of $H$. The proper rainbow saturation number $\text{sat}^*(n,H)$ is the minimum number of edges in a properly rainbow $H$-saturated graph. In this paper we initiate a systematic study of the proper rainbow saturation number for trees. We obtain exact and asymptotic results on $\text{sat}^*(n,T)$ for several infinite families of trees. Our proofs reveal connections to the classical saturation and semi-saturation numbers.
Improved bounds for proper rainbow saturation
Given a graph $H$, we say that a graph $G$ is properly rainbow $H$-saturated if: (1) There is a proper edge colouring of $G$ containing no rainbow copy of $H$; (2) For every $e \notin E(G)$, every proper edge colouring of $G+e$ contains a rainbow copy of $H$. The proper rainbow saturation number $\text{sat}^*(n,H)$ is the minimum number of edges in a properly rainbow $H$-saturated graph. In this paper we use connections to the classical saturation and semi-saturation numbers to provide new upper bounds on $\text{sat}^*(n,H)$ for general cliques, cycles, and complete bipartite graphs. We also provide some general lower bounds on $\text{sat}^*(n,H)$ and explore several other interesting directions.
Claw-free cubic graphs are $(1, 1, 2, 2)$-colorable
A $(1,1,2,2)$-coloring of a graph is a partition of its vertex set into four sets two of which are independent and the other two are $2$-packings. In this paper, we prove that every claw-free cubic graph admits a $(1,1,2,2)$-coloring. This implies that the conjecture from [Packing chromatic number, $(1,1,2,2)$-colorings, and characterizing the Petersen graph, Aequationes Math.\ 91 (2017) 169--184] that the packing chromatic number of subdivisions of subcubic graphs is at most $5$ is true in the case of claw-free cubic graphs.
Extremal values for the square energies of graphs
Let $G$ be a graph with $n$ non-isolated vertices and $m$ edges. The positive / negative square energies of $G$, denoted $s^+(G)$ / $s^-(G)$, are defined as the sum of squares of the positive / negative eigenvalues of the adjacency matrix $A_G$ of $G$. In this work, we provide several new tools for studying square energy encompassing semi-definite optimization, graph operations, and surplus. Using our tools, we prove the following results on the extremal values of $s^{\pm}(G)$ with a given number of vertices and edges.
1. We have $\min(s^+(G), s^-(G)) \geq n - γ\geq \frac{n}{2}$, where $γ$ is the domination number of $G$. This verifies a conjecture of Elphick, Farber, Goldberg and Wocjan up to a constant, and proves a weaker version of this conjecture introduced by Elphick and Linz.
2. We have $s^+(G) \geq m^{6/7 - o(1)}$ and $s^-(G) = Ω(m^{1/2})$, with both exponents being optimal.
On the $f$-vectors of flow polytopes for the complete graph
The Chan-Robbins-Yuen polytope ($CRY_n$) of order $n$ is a face of the Birkhoff polytope of doubly stochastic matrices that is also a flow polytope of the directed complete graph $K_{n+1}$ with netflow $(1,0,0, \ldots , 0, -1)$. The volume and lattice points of this polytope have been actively studied, however its face structure has received less attention. We give generating functions and explicit formulas for computing the $f$-vector by using Hille's (2003) result bijecting faces of a flow polytope to certain graphs, as well as Andresen-Kjeldsen's (1976) result that enumerates certain subgraphs of the directed complete graph. We extend our results to flow polytopes of the complete graph having arbitrary (non-negative) netflow vectors and recover the $f$-vector of the Tesler polytope of Mészáros--Morales--Rhoades (2017).
Spanning weakly even trees of graphs
Let $G$ be a graph (with multiple edges allowed) and let $T$ be a tree in $G$. We say that $T$ is $\textit{even}$ if every leaf of $T$ belongs to the same part of the bipartition of $T$, and that $T$ is $\textit{weakly even}$ if every leaf of $T$ that has maximum degree in $G$ belongs to the same part of the bipartition of $T$. We confirm two recent conjectures of Jackson and Yoshimoto by showing that every connected graph that is not a regular bipartite graph has a spanning weakly even tree.
COVID on trees and infinite grids
We use Hartnell's model for virus spread on a graph, also known as firefighting. For rooted trees, we propose an Unburning Algorithm, a type of greedy algorithm starting from the leaves and working back towards the root. We show that the algorithm saves at least half the vertices of the optimal solution and that this is bound is sharp. We confirm a conjecture of Hartke about integrality gaps when comparing linear and integer program solutions. For general graphs, we propose a Containment Protocol, which looks ahead two time steps to decide where to place vaccinations. We show that the protocol performs near optimally on four well-studied infinite grids. The protocol is available for any graph and we realize this flexibility by investigating an infinite pentagonal graph.
An NP-hardness result for the colored constrained maximum 2-edge-colorable subgraph problem in bipartite graphs
In this paper, we consider the maximum $k$-edge-colorable subgraph problem. In this problem we are given a graph $G$ and a positive integer $k$, the goal is to take $k$ matchings of $G$ such that their union contains maximum number of edges. This problem is NP-hard in cubic graphs, and polynomial-time solvable in bipartite graphs as we observe in our paper. We present an NP-hardness result for a version of this problem where we have color constraints on vertices. In fact, we show that this version is NP-hard already in bipartite graphs of maximum degree three. In order to achieve the result, we establish a connection between our problem and the problem of construction of special maximum matchings considered in the Master thesis of the author and defended back in 2003.
Three results towards the approximation of special maximum matchings in graphs
Published in Discrete Applied Mathematics 371, 2025, Pages 127--136
• View Publication
• BIB
For a graph $G$ define the parameters $\ell(G)$ and $L(G)$ as the minimum and maximum value of $ν(G\backslash F)$, where $F$ is a maximum matching of $G$ and $ν(G)$ is the matching number of $G$. In this paper, we show that there is a small constant $c>0$, such that the following decision problem is NP-complete: given a graph $G$ and $k\leq \frac{|V|}{2}$, check whether there is a maximum matching $F$ in $G$, such that $|ν(G\backslash F)-k|\leq c\cdot |V|$. Note that when $c=1$, this problem is polynomial time solvable as we observe in the paper. Since in any graph $G$, we have $L(G)\leq 2\ell(G)$, any polynomial time algorithm constructing a maximum matching of a graph is a 2-approximation algorithm for $\ell(G)$ and $\frac{1}{2}$-approximation algorithm for $L(G)$. We complement these observations by presenting two inapproximability results for $\ell(G)$ and $L(G)$.
Minimum degree $k$ and $k$-connectedness usually arrive together
Let $d,n\in \mathbb{N}$ be such that $d=ω(1)$, and $d\le n^{1-a}$ for some constant $a>0$. Consider a $d$-regular graph $G=(V, E)$ and the random graph process that starts with the empty graph $G(0)$ and at each step $G(i)$ is obtained from $G(i-1)$ by adding uniformly at random a new edge from $E$. We show that if $G$ satisfies some (very) mild global edge-expansion, and an almost optimal edge-expansion of sets up to order $O(d\log n)$, then for any constant $k\in \mathbb{N}$ in the random graph process on $G$, typically the hitting times of minimum degree at least $k$ and of $k$-connectedness are equal. This, in particular, covers both $d$-regular high dimensional product graphs and pseudo-random graphs, and confirms a conjecture of Joos from 2015. We further demonstrate that this result is tight in the sense that there are $d$-regular $n$-vertex graphs with optimal edge-expansion of sets up to order $Ω(d)$, for which the probability threshold of minimum degree at least one is different than the probability threshold of connectivity.
Multipath matroids, digraph colourings, and the Tutte polynomial
We characterise the digraphs for which the multipaths, that is disjoint unions of directed paths, yield a matroid. For such graphs, called MP-digraphs, we prove that the Tutte polynomial of the multipath matroid is related to counting certain digraph colourings. Finally, we prove that, for MP-forests, the decategorification of the multipath cohomology yields a specialisation of the Tutte polynomial.
Maximum genus embeddings of dense eulerian graphs with specified faces
We give a density condition for when, subject to a necessary parity condition, an eulerian graph or digraph may be cellularly embedded in an orientable surface so that it has exactly two faces, each bounded by an euler circuit, one of which may be specified in advance. More generally, suppose that every vertex in an $n$-vertex eulerian digraph (loops and multiple arcs allowed) has at least $(4n+2)/5$ neighbors, and specify any decomposition of the arcs into disjoint directed circuits (closed trails). We show that such a digraph has an orientable embedding in which the given circuits are facial walks and there are exactly one or two other faces. This embedding then has maximum genus relative to the given circuits being facial walks. When there is only one other face, it is necessarily bounded by an euler circuit. Consequently, if the numbers of vertices and edges have the same parity, a sufficiently dense digraph $D$ with a given directed euler circuit $T$ has an orientable embedding with exactly two faces, each bounded by an euler circuit, one of which is $T$. These results for digraphs give analogous results for graphs as immediate corollaries. The main theorem encompasses several special cases in the literature, such as when the digraph is a tournament.
A note on the alternating number of independent sets in a graph
The independence polynomial of a graph $G$ evaluated at $-1$, denoted here as $I(G;-1)$, has arisen in a variety of different areas of mathematics and theoretical physics as an object of interest. Engström used discrete Morse theory to prove that $\left|I(G;-1)\right|\leq 2^{φ(G)}$ where $φ(G)$ is the decycling number of $G$, i.e., the minimum number of vertices needed to be deleted from $G$ so that the remaining graph is acyclic. Here, we improve Engström's bound by showing $\left|I(G;-1)\right|\leq 2^{φ_3(G)}$ where $φ_3(G)$ is the minimum number of vertices needed to be deleted from $G$ so that the resulting graph contains no induced cycles whose length is divisible by $3$. We also note that this bound is not just sharp but that every value in the range given by the bound is attainable by some connected graph.
The vertex-pancyclicity of the simplified shuffle-cube and the vertex-bipancyclicity of the balanced shuffle-cube
A graph $G$ $=$ $(V,E)$ is vertex-pancyclic if for every vertex $u$ and any integer $l$ ranging from $3$ to $|V|$, $G$ contains a cycle $C$ of length $l$ such that $u$ is on $C$. A bipartite graph $G$ $=$ $(V,E)$ is vertex-bipancyclic if for every vertex $u$ and any even integer $l$ ranging from $4$ to $|V|$, $G$ contains a cycle $C$ of length $l$ such that $u$ is on $C$. The simplified shuffle-cube and the balanced shuffle-cube, which are two variants of the shuffle-cube and are superior to shuffle-cube in terms of vertex-transitivity. In this paper, we show that the $n$-dimensional simplified shuffle-cube is vertex-pancyclic for $n\geqslant 6$, and the $n$-dimensional balanced shuffle-cube is vertex-bipancyclic for $n\geqslant 2$.
Total Domination Index in Graphs
This paper introduces the concept of compliant vertices and compliant graphs, with a focus on the total domination degree (TDD) of a vertex in compliant graphs. The TDD is systematically calculated for various graph classes, including path graphs, cycles, book graphs, windmill graphs, wheel graphs, complete graphs, and complete bipartite graphs. The study explores inequalities involving TDD and defines total domination regular graphs. Furthermore, the TDD is analyzed in several graph operations such as union, join, composition, and corona, with a discussion on the property of the resulting graphs. The paper also examines the subdivision of complete graphs and degree splitting of path graphs. In the subsequent section, the total domination index (TDI) is introduced, and its values are calculated for different graph classes. The study concludes with bounds for the TDI across these graph classes.
Distinct degrees and homogeneous sets II
Given an $n$-vertex graph $G$, let $\hom (G)$ denote the size of a largest homogeneous set in $G$ and let $f(G)$ denote the maximal number of distinct degrees appearing in an induced subgraph of $G$. The relationship between these parameters has been well studied by several researchers over the last 40 years, beginning with Erdős, Faudree and Sós in the Ramsey regime when $\hom (G) = O(\log n)$.
Our main result here proves that any $n$-vertex graph $G$ with $\hom (G) \leq n^{1/2}$ satisfies
\begin{align*}
f(G) \geq \sqrt[3]{\frac {n^2}{\hom (G)} } \cdot n^{-o(1)}.
\end{align*}
This confirms a conjecture of the authors from a previous work, in which we addressed the $\hom (G) \geq n^{1/2}$ regime. Together, these provide the complete extremal relationship between these parameters (asymptotically), showing that any $n$-vertex graph $G$ satisfies
\begin{align*}
\max \Big ( f(G) \cdot \hom (G), \sqrt {f(G) ^3 \cdot \hom (G) } \Big ) \geq n^{1-o(1)}.
\end{align*}
This relationship is tight (up to the $n^{-o(1)}$ term) for all possible values of $\hom (G)$, from $Ω(\log n )$ to $n$, as demonstrated by appropriately generated Erdős $-$ Renyi random graphs.