graph
34516 papers tagged with this keyword
Coalition graphs of connected domination partitions in subcubic graphs
A graph is subcubic if it is connected and its maximum vertex degree does not exceed 3. Two disjoint vertex subsets of a graph $G$ form a connected coalition in $G$ if neither of them is a connected dominating set but their union is a connected dominating set. A connected coalition partition of $G$ is a partition of its vertices $π(G) = \{V_1, V_2,..., V_k \}$, such that each $V_i$ is either a connected dominating set consisting of a single vertex or forms a coalition with some set of $π(G)$. The formation of connected coalitions is described by a coalition graph whose vertices correspond to the sets of $π$, and two vertices are adjacent if and only if the corresponding sets form a coalition in $G$. We characterize all coalition graphs of subcubic graphs.
All Ordinals are Cop-Robber Ordinals
Published
• View Publication
• BIB
The game of cops and robbers, played on a fixed graph $G$, is a two-player game, where the cop and the robber (the players) take turns in moving to adjacent vertices. The game finishes if the cop lands on the robber's vertex. In that case we say that the cop wins. If the cop can always win, regardless of the starting positions, we say that $G$ is a cop-win graph.
For a finite cop-win graph $G$ we can ask for the minimum number $n$ such that, regardless of the starting positions, the game will end in at most $n$ steps. This number is called the maximum capture time of $G$. By looking at finite paths, we see that any non-negative integer is the maximum capture time for a cop-win graph.
What about infinite cop-win graphs? In this case, the notion of capture time is nicely generalised if one works with ordinals, and so the question becomes which ordinals can be the maximum capture time of a cop-win graph? These ordinals are called CR (Cop-Robber)-ordinals. In this paper we fully settle this by showing that all ordinals are CR-ordinals, answering a question of Bonato, Gordinowicz and Hahn.
Perfect Edge Domination in $P_6$-free Graphs and in Graphs Without Efficient Edge Dominating Sets
An edge of a graph dominates itself along with any edge that shares an endpoint with it. An efficient edge dominating set (also called a dominating induced matching, DIM) is a subset of edges such that each edge of the graph is dominated by exactly one edge in the subset. A perfect edge dominating set is a subset of edges in which every edge outside the subset is dominated by exactly one edge within it. In this article, we establish the NP-completeness of deciding whether a graph that does not admit any efficient edge dominating set has at least two perfect edge dominating sets. We also present a cubic time algorithm designed to identify a perfect dominating set of minimal cardinality for $P_6$-free graphs. Moreover, we show how this algorithm can be adapted to handle the weighted version of the problem and to count all perfect edge dominating sets as well as DIMs in a given graph, while preserving the same time complexity.
Representation number of word-representable co-bipartite graph
A graph $G = (V, E)$ is said to be word-representable if there exists a word $w$ over the alphabet $V$ such that, for any two distinct letters $x, y \in V$, the letters $x$ and $y$ alternate in $w$ if and only if $xy \in E$. A graph is co-bipartite if its complement is bipartite. Therefore, the vertex set of a co-bipartite graph can be partitioned into two disjoint subsets $X$ and $Y$ such that the subgraphs induced by $X$ and $Y$ are cliques.
The concept of word-representability for graph classes has gained significant attention in recent years. The book Words and Graphs by Sergey Kitaev and Vadim Lozin presents examples of co-bipartite graphs that are not word-representable. It is known that a graph is word-representable if and only if it admits a semi-transitive orientation. Although the necessary and sufficient conditions for the existence of a semi-transitive orientation in co-bipartite graphs have been established, the characterization based on vertex ordering remains open. In this paper, we present necessary and sufficient conditions for a co-bipartite graph to be word-representable in terms of its vertex ordering. Furthermore, based on this vertex ordering, we provide an algorithm to construct a $3$-uniform word-representation for any word-representable co-bipartite graph. Using this result, we prove that except for the permutation graphs, the representation number of all other word-representable co-bipartite graphs is $3$.
Between proper and square colorings of sparse graphs
An $i$-independent set is a set of vertices whose pairwise distance is at least $i+1$. A proper coloring (resp. a square coloring) of a graph is a partition of its vertices into independent (resp. $2$-independent) sets. A packing $(1^{\ell},2^k)$-coloring of a graph is a partition of its vertices into $\ell$ independent sets and $k$ $2$-independent sets; this is an intermediate coloring between proper coloring and square coloring. We investigate classes of sparse graphs that have a proper $(\ell+1)$-coloring but no packing $(1^{\ell},2^k)$-coloring for any finite $k$.
The Four Color Theorem states that every planar graph is packing $(1^4)$-colorable, and Grötzsch's Theorem says every planar graph with girth at least $4$ is packing $(1^3)$-colorable. However, for every fixed $k$, we construct a planar graph with no packing $(1^{3},2^k)$-coloring and a planar graph with girth $6$ that has no packing $(1^{2},2^k)$-coloring. Moreover, for every positive integer $\ell$, we completely determine the minimum girth condition $g(\ell)$ for which every planar graph with girth at least $g(\ell)$ has a packing $(1^{\ell},2^{f(\ell)})$-coloring for some finite $f(\ell)$. Our results are actually in terms of maximum average degree.
We also study the list version of packing colorings. We extend two results of Gastineau and Togni by showing every subcubic graph is both packing $(1^{1},2^6)$-choosable and packing $(1^{2},2^3)$-choosable, and our results are sharp. In addition, we strengthen Voigt's example of a planar graph that is not $4$-choosable by constructing a planar graph that is not packing $(1^{4},2^k)$-choosable for every positive integer $k$.
Expansion of gap-planar graphs
A graph is $k$-gap-planar if it has a drawing in the plane such that every crossing can be charged to one of the two edges involved so that at most $k$ crossings are charged to each edge. We show this class of graphs has linear expansion. In particular, every $r$-shallow minor of a $k$-gap-planar graph has density $O(rk)$. Several extensions of this result are proved: for topological minors, for $k$-cover-planar graphs, for $k$-gap-cover-planar graphs, and for drawings on any surface. Application to graph colouring are presented.
The burning number conjecture holds for trees of order $n$ with at most $\left\lfloor \sqrt{n-1}\right\rfloor$ degree-2 vertices
Inspired by the spread of information in social networks and graph-theoretic processes such as Firefighting and graph cleaning, Bonato, Janssen and Roshanbin introduced in 2016 the burning number $b(G)$ of any finite graph $G$. They conjectured that $b(G)\le \lceil n^\frac{1}{2}\rceil$ holds for all connected graphs $G$ of order $n$, and observed that it suffices to prove the conjecture for all trees. In 2024, Murakami confirmed the conjecture for trees without degree-2 vertices. In this paper, we prove that for all trees $T$ of order $n$ with $n_2$ degree-2 vertices, $$b(T)\le \left\lceil \left(n+n_2-\left\lceil\sqrt{n+n_2+0.25}-1.5\right\rceil\right)^{\frac{1}{2}}\right\rceil.$$ Hence, the conjecture holds for all trees of order $n$ with at most $\left\lfloor \sqrt{n-1}\right\rfloor$ degree-2 vertices.
Sparsity, Stress-Independence and Globally Linked Pairs in Graph Rigidity Theory
A graph is $\mathcal{R}_d$-independent (resp. $\mathcal{R}_d$-connected) if its $d$-dimensional generic rigidity matroid is free (resp. connected). A result of Maxwell from 1867 implies that every $\mathcal{R}_d$-independent graph satisfies the sparsity condition $|E(H)|\leq d|V(H)|-\binom{d+1}{2}$ for all subgraphs $H$ with at least $d+1$ vertices. Several other families of graphs $G$ arising naturally in rigidity theory, such as minimally globally $d$-rigid graphs, are known to satisfy the bound $|E(G)|\leq (d+1)|V(G)|-\binom{d+2}{2}$. We unify and extend these results by considering the family of $d$-stress-independent graphs which includes many of these families. We show that every $d$-stress-independent graph is $\mathcal{R}_{d+1}$-independent. A key ingredient in our proofs is the concept of $d$-stress-linked pairs of vertices. We derive a new sufficient condition for $d$-stress linkedness and use it to obtain a similar condition for a pair of vertices of a graph to be globally $d$-linked. This result strengthens a result of Tanigawa on globally $d$-rigid graphs. We also show that every minimally $\mathcal{R}_d$-connected graph $G$ is $\mathcal{R}_{d+1}$-independent and that the only subgraphs of $G$ that can satisfy Maxwell's criterion for $\mathcal{R}_{d+1}$-independence with equality are copies of $K_{d+2}$. Our results give affirmative answers to two conjectures in graph rigidity theory.
Reconfiguration graph of vertex colorings for some generalized split graphs
Given a graph $G$, the \emph{reconfiguration graph of the $\ell$-colorings} of $G$, denoted by ${\cal R}_\ell(G)$, is the graph whose vertices are the $\ell$-colorings of $G$ and two $\ell$-colorings are joined by an edge if they differ on exactly one vertex of $G$. A graph $G$ is \emph{$\ell$-mixing} if ${\cal R}_\ell(G)$ is connected and the \emph{$\ell$-recoloring diameter} of $G$ is the diameter of ${\cal R}_\ell(G)$. An interesting classification problem that recently gathered a wide attention is the following: ``{\em Given a hereditary class of graphs $\cal C$ and any graph $G\in \cal C$, classify whether $G$ is $\ell$-mixing or not for any $\ell> χ(G)$}, where $χ(G)$ is the chromatic number of $G$." In this paper, we answer this problem for the class of $(P_2+P_3, C_4)$-free graphs, and moreover, if such a graph $G$ is recolorable, then for all $\ell >χ(G)$, the $\ell$-recoloring diameter of $G$ is at most 2$n^{2}$.
Furthermore, Cereceda conjectured that if $G$ is a graph on $n$ vertices with degeneracy $d$, then for all $\ell \geq d+ 2$, the $\ell$-recoloring diameter of $G$ is at most $O(n^2)$. We prove that every ($P_2+P_3, C_4$)-free graph satifies Cereceda's conjecture.
Line Graphs of Non-Word-Representable Graphs are Not Always Non-Word-Representable
A graph is said to be word-representable if there exists a word over its vertex set such that any two vertices are adjacent if and only if they alternate in the word. If no such word exists, the graph is non-word-representable. In the literature, there are examples of non-word-representable graphs whose line graphs are non-word-representable. However, it is an open problem to determine whether the line graph of a non-word-representable graph is always non-word-representable or not? In this work, we address the open problem by considering a class of non-word-representable graphs, viz., Mycielski graphs of odd cycles of length at least five, and show that their line graphs are word-representable.
A Classification of Winning Sets of Cops in $\mathbb{Z}^n$
The game of Cops and Robbers is a pursuit-evasion game on graphs that has been extensively studied in finite settings, particularly through the concept of cop number. In this paper, we explore infinite variants of the game, focusing on the lattice graph $\mathbb{Z}^n$. Since the cop number of $\mathbb{Z}^n$ is infinite, we shift attention to the notion of \emph{cop density}, examining how sparsely cops may be placed while still guaranteeing capture. We introduce the framework of \emph{coordinate matching} as a central strategy and prove the existence of density-zero configurations of cops that ensure eventual capture of the robber. Building on this, we provide a complete classification of winning cop sets in $\mathbb{Z}^n$, showing necessary and sufficient conditions for capture based on infinite distributions of cops across coordinate directions. We conclude with directions for further study, including variations of the game where the robber imposes spatial restrictions on cop placement.
From small eigenvalues to large cuts, and Chowla's cosine problem
We prove that every graph with average degree $d$ and smallest adjacency eigenvalue $|λ_n|\leq d^γ$ contains a clique of size $d^{1-O(γ)}$. A simple corollary of this yields the first polynomial bound for Chowla's cosine problem (1965): for every finite set $A\subseteq \mathbb{Z}_{>0}$, the minimum of the cosine polynomial satisfies $$\min_{x\in [0, 2π]}\sum_{a\in A}\cos(ax)\leq -|A|^{1/10-o(1)}.$$
Another application makes significant progress on the problem of MaxCut in $H$-free graphs initiated by Erdős and Lovász in the 1970's. We show that every $m$-edge graph with no clique of size $m^{1/2-δ}$ has a cut of size at least $m/2+m^{1/2+\varepsilon}$ for some $\varepsilon=\varepsilon(δ)>0$.
Tight Bounds for Cycle-Edge Decompositions and Covers
An old conjecture of Erd{ő}s and Gallai states that every $n$ vertex graph can be decomposed, that is $E(G)$ can be partitioned, into $O(n)$ cycles and edges. The covering version of this conjecture was proven by Pyber in 1985, where it was shown that all graphs can be covered by $n-1$ cycles and edges. The best upper bound on the number of cycles and edges required to decompose any graph is $O(n\log^*(n))$, which was recently shown by Buci{ć} and Montgomery in 2023. Here $\log^*(n)$ denotes the iterated logarithm function. Meanwhile, a construction of Erdős demonstrate that there exists graphs which require $(\frac{3}{2}-o(1))n$ cycles and edges to be decomposed. We prove all graphs with maximum degree at most $4$ can be decomposed into $n-1$ or fewer cycles and edges. We also show that every $n$ vertex claw-free graph can be decomposed into $n-1$ or fewer $2$-regular subgraphs and edges. Finally, we prove that every graph $G$ containing a cycle can be covered by $n-2$ or fewer cycles and edges. This improves Pyber's covering theorem by proving that $n-1$ cycles and edges are required only for trees.
Borel Kernels in Borel Directed Graphs
We prove that there is a Borel quasi-kernel in any locally countable Borel directed graph with finite Borel chromatic number. We prove that the Borel chromatic number of a Borel directed graph with bounded out-degree $n$ is either infinite or less than or equal to $\frac{(n+1)(n+2)}{2}$. This is an alternative proof of Palamourdas' theorem.
Spectral radius and homeomorphically irreducible spanning trees of graphs
For a connected graph $G$, a spanning tree $T$ of $G$ is called a homeomorphically irreducible spanning tree (HIST) if $T$ has no vertices of degree 2. Albertson {\em et al.} proved that it is $NP$-complete to decide whether a graph contains a HIST. In this paper, we provide some spectral conditions that guarantee the existence of a HIST in a connected graph. Furthermore, we also present some sufficient conditions in terms of the order of a graph $G$ to ensure the existence of a HIST in $G$.
On the Characteristic polynomial of ABS Matrix and ABS-Energy of Some Graphs
For a graph $G$ with $n$ vertices and $m$ edges, Lin \textit{et al.} \cite{Lin} define the \textit{atom--bond sum-connectivity} ($ABS$) matrix of $G$ such that the $(i,j)^{\text{th}}$ entry is \[ \sqrt{1 - \frac{2}{d_i + d_j}} \] if vertex $v_i$ is adjacent to the vertex $v_j$, and $0$ otherwise. In this article, we determine the characteristic polynomial of the $ABS$ matrix for certain specific classes of graphs. Furthermore, we compute the $ABS$ eigenvalues and the $ABS$ energy for these classes.
On lower bounds for the distances between APN functions
Whether two distinct APN functions can have a Hamming distance of $1$ remains an open problem. In 2020, L. Budaghyan et al. introduced a new CCZ-invariant $Π_F$ which can be used to provide lower bounds on the Hamming distance between a given APN function $F \colon \mathbb{F}_2^n \to \mathbb{F}_2^n$ and other APN functions. Lower bounds on the distance from an APN function $F$ to any other are known for almost bent (AB) functions and when $F$ is a 3-to-1 quadratic function with $n$ even. In this paper, we reinterpret $Π_F$ in terms of the exclude multiplicities of the graph $\mathcal{G}_F=\{(x, F(x)) : x \in \mathbb{F}_2^n\}$ of $F$ as a Sidon set. We establish lower bounds on the distance for even $n$ when $F$ is plateaued APN, generalize the known lower bounds for quadratic $3$-to-$1$ function to all 3-to-1 plateaued functions (e.g. Kasami functions), and derive new lower bounds for when $F$ is the APN inverse function over $\mathbb{F}_{2^n}$ for $n$ odd. We also study how the exclude multiplicities of $\mathcal{G}_F$ are directly connected to the existence of linear structures of $γ_F$ when $F$ is plateaued and APN and the ortho-derivative when $F$ is a quadratic APN function. We also use the CCZ-invariance of exclude multiplicities to prove that the Brinkmann-Leander-Edel-Pott function is not CCZ-equivalent to a plateaued function.
A new kind of $A_{\p}$-matrix for mixed graphs
Nikiforov\cite{nikiforov2017merging} introduced the concept of the $A_{\p}$-matrix as a convex linear combination of a graph's adjacency matrix and its diagonal matrix of vertex degrees. In this paper, we introduce a new variant of the $A_{\p}$-matrix, which is a linear combination of the Hermitian adjacency matrix of the second kind, $H^{\om}$, and the degree-diagonal matrix. This study provides new insights into the $A_{\p}$-matrix as a Hermitian matrix, leading to novel bounds in spectral graph theory.
On the coefficients of Coxeter polynomials of trees and bipartite quivers
We apply spectral graph theory and a theorem of A'Campo to express the first and second coefficients of the Coxeter polynomials associated with certain bipartite quivers in terms of the degrees of the vertices in their underlying graphs. As a consequence, we provide a new proof of a result by Happel, expressing the second coefficient of the Coxeter polynomial of a tree in terms of its vertex degrees.
Constricting the Computational Complexity Gap of the $4$-Coloring Problem in $(P_t,C_3)$-free Graphs
The $k$-Coloring problem on hereditary graph classes has been a deeply researched problem over the last decade. A hereditary graph class is characterized by a (possibly infinite) list of minimal forbidden induced subgraphs. We say that a graph is $(H_1,H_2,\ldots)$-free if it does not contain any of $H_1,H_2,\ldots$ as induced subgraphs. The complexity landscape of the problem remains unclear even when restricting to the case $k=4$ and classes defined by a few forbidden induced subgraphs. While the case of only one forbidden induced subgraph has been completely resolved lately, the complexity when considering two forbidden induced subgraphs still has a couple of unknown cases. In particular, $4$-Coloring on $(P_6,C_3)$-free graphs is polynomial while it is NP-hard on $(P_{22},C_3)$-free graphs.
We provide a reduction showing NP-completeness of $4$-Coloring on $(P_t,C_3)$-free graphs for $19\leq t\leq 21$, thus constricting the gap of cases whose complexity remains unknown. Our proof includes a computer search ensuring that the graph family obtained through the reduction is indeed $P_{19}$-free.