graph
35299 papers tagged with this keyword
On the existence of small strictly Neumaier graphs
Published
• View Publication
• BIB
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this work, we prove several results on the existence of small strictly Neumaier graphs. In particular, we present a theoretical proof of the uniqueness of the smallest strictly Neumaier graph with parameters $(16,9,4;2,4)$, we establish the existence of a strictly Neumaier graph with parameters $(25,12,5;2,5)$, and we disprove the existence of strictly Neumaier graphs with parameters $(25,16,9;3,5)$, $(28,18,11;4,7)$, $(33,24,17;6,9)$, $(35,22,12;3,5)$ and $(55,34,18;3,5)$. Our proofs use combinatorial techniques and a novel application of integer programming methods.
On the hardness of inclusion-wise minimal separators enumeration
Published
• View Publication
• BIB
Enumeration problems are often encountered as key subroutines in the exact computation of graph parameters such as chromatic number, treewidth, or treedepth. In the case of treedepth computation, the enumeration of inclusion-wise minimal separators plays a crucial role. However and quite surprisingly, the complexity status of this problem has not been settled since it has been posed as an open direction by Kloks and Kratsch in 1998. Recently at the PACE 2020 competition dedicated to treedepth computation, solvers have been circumventing that by listing all minimal $a$-$b$ separators and filtering out those that are not inclusion-wise minimal, at the cost of efficiency. Naturally, having an efficient algorithm for listing inclusion-wise minimal separators would drastically improve such practical algorithms. In this note, however, we show that no efficient algorithm is to be expected from an output-sensitive perspective, namely, we prove that there is no output-polynomial time algorithm for inclusion-wise minimal separators enumeration unless P = NP.
String graphs with precise number of intersections
Published
• View Publication
• BIB
A string graph is an intersection graph of curves in the plane. A $k$-string graph is a graph with a string representation in which every pair of curves intersects in at most $k$ points. We introduce the class of $(=k)$-string graphs as a further restriction of $k$-string graphs by requiring that every two curves intersect in either zero or precisely $k$ points. We study the hierarchy of these graphs, showing that for any $k\geq 1$, $(=k)$-string graphs are a subclass of $(=k+2)$-string graphs as well as of $(=4k)$-string graphs; however, there are no other inclusions between the classes of $(=k)$-string and $(=\ell)$-string graphs apart from those that are implied by the above rules. In particular, the classes of $(=k)$-string graphs and $(=k+1)$-string graphs are incomparable by inclusion for any $k$, and the class of $(=2)$-string graphs is not contained in the class of $(=2\ell+1)$-string graphs for any $\ell$.
$k$-tuple domination on Kneser graphs
Published
• View Publication
• BIB
This paper considers multiple domination on Kneser graphs. We focus on $k$-tuple dominating sets, $2$-packings and the associated graph parameters $k$-tuple domination number and $2$-packing number. In particular, we compute the $2$-packing number of Kneser graphs $K(3r-2,r)$ and in odd graphs we obtain minimum $k$-tuple dominating sets of $K(7,3)$ and $K(11,5)$ for every $k$. Besides, we determine the Kneser graphs $K(n,r)$ with $k$-tuple domination number exactly $k+r$ and find all the minimum $k$-tuple dominating sets for these graphs, which generalize results for domination on Kneser graphs. Finally, we give a characterization of the $k$-tuple dominating sets of $K(n,2)$ in terms of the occurrences of the elements in $[n]$, which allows us to obtain minimum sized $k$-tuple dominating sets of $K(n,2)$ for $n\geq Ω(\sqrt{k})$.
Keywords: Kneser graphs, multiple domination, $k$-tuple domination, $2$-packings.
Laplacian $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizable graphs
Published in Linear Algebra and its Applications, 704:309-339, 2025
• View Publication
• BIB
A graph is called "Laplacian integral" if the eigenvalues of its Laplacian matrix are all integers. We investigate the subset of these graphs whose Laplacian is furthermore diagonalized by a matrix with entries coming from a fixed set, in particular, the sets $\{-1,0,1\}$ or $\{-1,1\}$. Such graphs include as special cases the recently-investigated families of "Hadamard-diagonalizable" and "weakly Hadamard-diagonalizable" graphs. As a combinatorial tool to aid in our investigation, we introduce a family of vectors that we call "balanced", which generalizes totally balanced partitions, regular sequences, and complete partitions. We show that balanced vectors completely characterize which graph complements and complete multipartite graphs are $\{-1,0,1\}$-diagonalizable, and we furthermore prove results on diagonalizability of the Cartesian product, disjoint union, and join of graphs. Particular attention is paid to the $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizability of the complete graphs and complete multipartite graphs. Finally, we provide a complete list of all simple, connected graphs on nine or fewer vertices that are $\{-1,0,1\}$- or $\{-1,1\}$-diagonalizable.
Injective edge colorings of degenerate graphs and the oriented chromatic number
Published
• View Publication
• BIB
Given a graph $G$, an injective edge-coloring of $G$ is a function $ψ:E(G) \rightarrow \mathbb N$ such that if $ψ(e) = ψ(e')$, then no third edge joins an endpoint of $e$ and an endpoint of $e'$. The injective chromatic index of a graph $G$, written $χ_{inj}'(G)$, is the minimum number of colors needed for an injective edge coloring of $G$. In this paper, we investigate the injective chromatic index of certain classes of degenerate graphs. First, we show that if $G$ is a $d$-degenerate graph of maximum degree $Δ$, then $χ_{inj}'(G) = O(d^3 \log Δ)$. Next, we show that if $G$ is a graph of Euler genus $g$, then $χ_{inj}'(G) \leq (3+o(1))g$, which is tight when $G$ is a clique. Finally, we show that the oriented chromatic number of a graph is at most exponential in its injective chromatic index. Using this fact, we prove that the oriented chromatic number of a graph embedded on a surface of Euler genus $g$ has oriented chromatic number at most $O(g^{6400})$, improving the previously known upper bound of $2^{O(g^{\frac{1}{2} + ε})}$ and resolving a conjecture of Aravind and Subramanian.
Lower Bound for Independence Covering in $C_4$-Free Graphs
Published
• View Publication
• BIB
An independent set in a graph $G$ is a set $S$ of pairwise non-adjacent vertices in $G$. A family $\mathcal{F}$ of independent sets in $G$ is called a $k$-independence covering family if for every independent set $I$ in $G$ of size at most $k$, there exists an $S \in \mathcal{F}$ such that $I \subseteq S$.
Lokshtanov et al. [ACM Transactions on Algorithms, 2018] showed that graphs of degeneracy $d$ admit $k$-independence covering families of size $\binom{k(d+1)}{k} \cdot 2^{o(kd)} \cdot \log n$, and used this result to design efficient parameterized algorithms for a number of problems, including STABLE ODD CYCLE TRANSVERSAL and STABLE MULTICUT.
In light of the results of Lokshtanov et al. it is quite natural to ask whether even more general families of graphs admit $k$-independence covering families of size $f(k)n^{O(1)}$.
Graphs that exclude a complete bipartite graph $K_{d+1,d+1}$ with $d+1$ vertices on both sides as a subgraph, called $K_{d+1,d+1}$-free graphs, are a frequently considered generalization of $d$-degenerate graphs.
This motivates the question whether $K_{d,d}$-free graphs admit $k$-independence covering families of size $f(k,d)n^{O(1)}$. Our main result is a resounding "no" to this question -- specifically we prove that even $K_{2,2}$-free graphs (or equivalently $C_4$-free graphs) do not admit $k$-independence covering families of size $f(k)n^{\frac{k}{4}-ε}$.
Halin's Infinite Ray Theorems: Complexity and Reverse Mathematics: Version E
Published
• View Publication
• BIB
Halin [1965] proved that if a graph has $n$ many pairwise disjoint rays for each $n$ then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic complexity. The statement of Halin's theorem and the construction proving it seem very much like standard versions of compactness arguments such as König's Lemma. Those results, while not computable, are relatively simple. They only use arithmetic procedures or, equivalently, finitely many iterations of the Turing jump. We show that several Halin type theorems are much more complicated. They are among the theorems of hyperarithmetic analysis. Such theorems imply the ability to iterate the Turing jump along any computable well ordering. Several important logical principles in this class have been extensively studied beginning with work of Kreisel, H. Friedman, Steel and others in the 1960s and 1970s. Until now, only one purely mathematical example was known. Our work provides many more and so answers Question 30 of Montalbán's Open Questions in Reverse Mathematics [2011]. Some of these theorems including ones in Halin [1965] are also shown to have unusual proof theoretic strength as well.
Distance-regular Cayley graphs over $\mathbb{Z}_{p^s}\oplus\mathbb{Z}_{p}$
Published
• View Publication
• BIB
In [Distrance-regular Cayley graphs on dihedral groups, J. Combin. Theory Ser B 97 (2007) 14--33], Miklavič and Potočnik proposed the problem of characterizing distance-regular Cayley graphs, which can be viewed as an extension of the problem of identifying strongly regular Cayley graphs, or equivalently, regular partial difference sets. In this paper, all distance-regular Cayley graphs over $\mathbb{Z}_{p^s}\oplus\mathbb{Z}_{p}$ with $p$ being an odd prime are determined. It is shown that every such graph is isomorphic to a complete graph, a complete multipartite graph, or the line graph of a transversal design $TD(r,p)$ with $2\leq r\leq p-1$.
Mutual visibility in hypercube-like graphs
Published
• View Publication
• BIB
Let $G$ be a graph and $X\subseteq V(G)$. Then, vertices $x$ and $y$ of $G$ are $X$-visible if there exists a shortest $u,v$-path where no internal vertices belong to $X$. The set $X$ is a mutual-visibility set of $G$ if every two vertices of $X$ are $X$-visible, while $X$ is a total mutual-visibility set if any two vertices from $V(G)$ are $X$-visible. The cardinality of a largest mutual-visibility set (resp. total mutual-visibility set) is the mutual-visibility number (resp. total mutual-visibility number) $μ(G)$ (resp. $μ_t(G)$) of $G$. It is known that computing $μ(G)$ is an NP-complete problem, as well as $μ_t(G)$. In this paper, we study the (total) mutual-visibility in hypercube-like networks (namely, hypercubes, cube-connected cycles, and butterflies). Concerning computing $μ(G)$, we provide approximation algorithms for both hypercubes and cube-connected cycles, while we give an exact formula for butterflies. Concerning computing $μ_t(G)$ (in the literature, already studied in hypercubes), we provide exact formulae for both cube-connected cycles and butterflies.
Storage codes and recoverable systems on lines and grids
Published
• View Publication
• BIB
A storage code is an assignment of symbols to the vertices of a connected graph $G(V,E)$ with the property that the value of each vertex is a function of the values of its neighbors, or more generally, of a certain neighborhood of the vertex in $G$. In this work we introduce a new construction method of storage codes, enabling one to construct new codes from known ones via an interleaving procedure driven by resolvable designs. We also study storage codes on $\mathbb Z$ and ${\mathbb Z}^2$ (lines and grids), finding closed-form expressions for the capacity of several one and two-dimensional systems depending on their recovery set, using connections between storage codes, graphs, anticodes, and difference-avoiding sets.
A precise condition for independent transversals in bipartite covers
Published
• View Publication
• BIB
Given a bipartite graph $H=(V=V_A\cup V_B,E)$ in which any vertex in $V_A$ (resp.~$V_B$) has degree at most $D_A$ (resp.~$D_B$), suppose there is a partition of $V$ that is a refinement of the bipartition $V_A\cup V_B$ such that the parts in $V_A$ (resp.~$V_B$) have size at least $k_A$ (resp.~$k_B$). We prove that the condition $D_A/k_B+D_B/k_A\le 1$ is sufficient for the existence of an independent set of vertices of $H$ that is simultaneously transversal to the partition, and show moreover that this condition is sharp. This result is a bipartite refinement of two well-known results on independent transversals, one due to the second author and the other due to Szabó and Tardos.
Twin-width of graphs with tree-structured decompositions
Published
• View Publication
• BIB
The twin-width of a graph measures its distance to co-graphs and generalizes classical width concepts such as tree-width or rank-width. Since its introduction in 2020 (Bonnet et. al. 2020), a mass of new results has appeared relating twin width to group theory, model theory, combinatorial optimization, and structural graph theory.
We take a detailed look at the interplay between the twin-width of a graph and the twin-width of its components under tree-structured decompositions: We prove that the twin-width of a graph is at most twice its strong tree-width, contrasting nicely with the result of (Bonnet and Déprés 2022), which states that twin-width can be exponential in tree-width. Further, we employ the fundamental concept from structural graph theory of decomposing a graph into highly connected components, in order to obtain an optimal linear bound on the twin-width of a graph given the widths of its biconnected components. For triconnected components we obtain a linear upper bound if we add red edges to the components indicating the splits which led to the components. Extending this approach to quasi-4-connectivity, we obtain a quadratic upper bound. Finally, we investigate how the adhesion of a tree decomposition influences the twin-width of the decomposed graph.
Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
Published
• View Publication
• BIB
Asymptotic separation index is a parameter that measures how easily a Borel graph can be approximated by its subgraphs with finite components. In contrast to the more classical notion of hyperfiniteness, asymptotic separation index is well-suited for combinatorial applications in the Borel setting. The main result of this paper is a Borel version of the Lovász Local Lemma -- a powerful general-purpose tool in probabilistic combinatorics -- under a finite asymptotic separation index assumption. As a consequence, we show that locally checkable labeling problems that are solvable by efficient randomized distributed algorithms admit Borel solutions on bounded degree Borel graphs with finite asymptotic separation index. From this we derive a number of corollaries, for example a Borel version of Brooks's theorem for graphs with finite asymptotic separation index.
Shift Graphs, Chromatic Number and Acyclic One-Path Orientations
Published
• View Publication
• BIB
Shift graphs, which were introduced by Erdős and Hajnal, have been used to answer various questions in extremal graph theory. In this paper, we prove two new results using shift graphs and their induced subgraphs.
1. Recently Girao [Combinatorica2023], showed that for every graph $F$ with at least one edge, there is a constant $c_F$ such that there are graphs of arbitrarily large chromatic number and the same clique number as $F$, in which every $F$-free induced subgraph has chromatic number at most $c_F$. We significantly improve the value of the constant $c_F$ for the special case where $F$ is the complete bipartite graph $K_{a,b}$. We show that any $K_{a,b}$-free induced subgraph of the triangle-free shift graph $G_{n,2}$ has chromatic number bounded by $\mathcal{O}(\log(a+b))$.
2. An undirected simple graph $G$ is said to have the AOP Property if it can be acyclically oriented such that there is at most one directed path between any two vertices. We prove that the shift graph $G_{n,2}$ does not have the AOP property for all $n\geq 9$. Despite this, we construct induced subgraphs of shift graph $G_{n,2}$ with an arbitrarily high chromatic number and odd-girth that have the AOP property.
Furthermore, we construct graphs with arbitrarily high odd-girth that do not have the AOP Property and also prove the existence of graphs with girth equal to $5$ that do not have the AOP property.
Any link has a diagram with only triangles and quadrilaterals
Published
• View Publication
• BIB
A link diagram can be considered as a $4$-valent graph embedded in the $2$-sphere and divides the sphere into complementary regions. In this paper, we show that any link has a diagram with only triangles and quadrilaterals. This extends previous results shown by the authors and C. Adams.
On $Z$-monodromies in embedded graphs
Published
• View Publication
• BIB
We characterize all permutations which realize as the $z$-monodromies of faces in connected simple finite graphs embedded in surfaces whose duals are also simple.
Giant Rainbow Trees in Sparse Random Graphs
Published
• View Publication
• BIB
For any small constant $ε>0$, the Erdős-Rényi random graph $G(n,\frac{1+ε}{n})$ with high probability has a unique largest component which contains $(1\pm O(ε))2εn$ vertices. Let $G_c(n,p)$ be obtained by assigning each edge in $G(n,p)$ a color in $[c]$ independently and uniformly. Cooley, Do, Erde, and Missethan proved that for any fixed $α>0$, $G_{αn}(n,\frac{1+ε}{n})$ with high probability contains a rainbow tree (a tree that does not repeat colors) which covers $(1\pm O(ε))\fracα{α+1}εn$ vertices, and conjectured that there is one which covers $(1\pm O(ε))2εn$. In this paper, we achieve the correct leading constant and prove their conjecture correct up to a logarithmic factor in the error term, as we show that with high probability $G_{αn}(n,\frac{1+ε}{n})$ contains a rainbow tree which covers $(1\pm O(ε\log(1/ε)))2εn$ vertices.
Schur-Positive sets
In this thesis we prove Schur-positivity of certain graph families. In addition, we exlpor existence of cyclic descent extensions on several families of Schur-positive sets.
DP-Coloring of Graphs from Random Covers
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) of graphs is a generalization of list coloring that has been widely studied since its introduction by Dvořák and Postle in $2015$. Intuitively, DP-coloring generalizes list coloring by allowing the colors that are identified as the same to vary from edge to edge. Formally, DP-coloring of a graph $G$ is equivalent to an independent transversal in an auxiliary structure called a DP-cover of $G$. In this paper, we introduce the notion of random DP-covers and study the behavior of DP-coloring from such random covers. We prove a series of results about the probability that a graph is or is not DP-colorable from a random cover. These results support the following threshold behavior on random $k$-fold DP-covers as $ρ\to\infty$ where $ρ$ is the maximum density of a graph: graphs are non-DP-colorable with high probability when $k$ is sufficiently smaller than $ρ/\lnρ$, and graphs are DP-colorable with high probability when $k$ is sufficiently larger than $ρ/\lnρ$. Our results depend on $ρ$ growing fast enough and imply a sharp threshold for dense enough graphs. For sparser graphs, we analyze DP-colorability in terms of degeneracy. We also prove fractional DP-coloring analogs to these results.