arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2651 papers tagged with this keyword
On tree decompositions whose trees are minors
Published • View Publication • BIB
In 2019, Dvořák asked whether every connected graph $G$ has a tree decomposition $(T, \mathcal{B})$ so that $T$ is a subgraph of $G$ and the width of $(T, \mathcal{B})$ is bounded by a function of the treewidth of $G$. We prove that this is false, even when $G$ has treewidth $2$ and $T$ is allowed to be a minor of $G$.
2023-02-21
The Laplacian spectral ratio of connected graphs
Published • View Publication • BIB
Let $G$ be a simple connected undirected graph. The Laplacian spectral ratio of $G$, denoted by $R_L(G)$, is defined as the quotient between the largest and second smallest Laplacian eigenvalues of $G$, which is closely related to the structural parameters of a graph (or network), such as diameter, $t$-tough, perfect matching, average density of cuts, and synchronizability, etc. In this paper, we obtain some bounds of the Laplacian spectral ratio, which improves the known results. In addition, we give counter-examples on the upper bound of the Laplacian spectral ratio conjecture of trees, and propose a new conjecture.
2023-02-21 v3
Cops and Robber -- When Capturing is not Surrounding
Published • View Publication • BIB
We consider "surrounding" versions of the classic Cops and Robber game. The game is played on a connected graph in which two players, one controlling a number of cops and the other controlling a robber, take alternating turns. In a turn, each player may move each of their pieces: The robber always moves between adjacent vertices. Regarding the moves of the cops we distinguish four versions that differ in whether the cops are on the vertices or the edges of the graph and whether the robber may move on/through them. The goal of the cops is to surround the robber, i.e., occupying all neighbors (vertex version) or incident edges (edge version) of the robber's current vertex. In contrast, the robber tries to avoid being surrounded indefinitely. Given a graph, the so-called cop number denotes the minimum number of cops required to eventually surround the robber. We relate the different cop numbers of these versions and prove that none of them is bounded by a function of the classical cop number and the maximum degree of the graph, thereby refuting a conjecture by Crytser, Komarov and Mackey [Graphs and Combinatorics, 2020].
2023-02-21 v2
Color-avoiding connected spanning subgraphs with minimum number of edges
We call a (not necessarily properly) edge-colored graph edge-color-avoiding connected if after the removal of edges of any single color, the graph remains connected. For vertex-colored graphs, similar definitions of color-avoiding connectivity can be given. In this article, we investigate the problem of determining the maximum number of edges that can be removed from a color-avoiding connected graph so that it remains color-avoiding connected. First, we prove that this problem is NP-hard, then we give a polynomial-time approximation algorithm for it. To analyze the approximation factor of this algorithm, we determine the minimum number of edges of color-avoiding connected graphs on a given number of vertices and with a given number of colors. Furthermore, we also consider a generalization of edge-color-avoiding connectivity to matroids.
2023-02-17 v2
The Matching Kneser Graph Conjecture For High Chromatic Numbers
\noindent In this paper, we show that for any positive integers $r$, $k$, $Θ$, and $Γ$ such that $k \geq 2$ and $r \geq k + Γ$, there exists a connected graph $G$ for which $$\begin{array}{llcr} ω(G) = χ(G) = k, & χ\left( G , rK_2 \right) = Θ, & {\rm and} & |E(G)| - {\rm ex}\left( G , rK_2 \right) = Θ+ Γ. \end{array}$$
2023-02-14
Non-empty intersection of longest paths in $H$-free graphs
Published • View Publication • BIB
We make progress toward a characterization of the graphs $H$ such that every connected $H$-free graph has a longest path transversal of size $1$. In particular, we show that the graphs $H$ on at most $4$ vertices satisfying this property are exactly the linear forests. We also show that if the order of a connected graph $G$ is large relative to its connectivity $κ(G)$, and its independence number $α(G)$ satisfies $α(G) \le κ(G) + 2$, then each vertex of maximum degree forms a longest path transversal of size $1$.
2023-02-14 v2
Characterizing the Degree-Kirchhoff, Gutman, and Schultz Indices in Pentagonal Cylinders and Möbius Chains
Published • View Publication • BIB
The degree-Kirchhoff index of a connected graph is defined as the sum of the reciprocals of the non-zero eigenvalues of the normalized Laplacian matrix, each multiplied by the graph's total degree. Several studies have recently obtained explicit formulations for the degree-Kirchhoff index of various kinds of class graphs. This paper presents closed-form formulas for the degree-Kirchhoff index of pentagonal cylinders and Möbius chains. Additionally, we calculate the Gutman index and Schultz index for these graphs.
Connected coalitions in graphs
Published • View Publication • BIB
The connected coalition in a graph $G=(V,E)$ consists of two disjoint sets of vertices $V_{1}$ and $V_{2}$, neither of which is a connected dominating set but whose union $V_{1}\cup V_{2}$, is a connected dominating set. A connected coalition partition in a graph $G$ of order $n=|V|$ is a vertex partition $ψ$ = $\{V_1, V_2,..., V_k \}$ such that every set $V_i \in ψ$ either is a connected dominating set consisting of a single vertex of degree $n-1$, or is not a connected dominating set but forms a connected coalition with another set $V_j\in ψ$ which is not a connected dominating set. The connected coalition number, denoted by $CC(G)$, is the maximum cardinality of a connected coalition partition of $G$. In this paper, we initiate the study of connected coalition in graphs and present some basic results. Precisely, we characterize all graphs that have a connected coalition partition. Moreover, we show that for any graph $G$ of order $n$ with $δ(G)=1$ and with no full vertex, it holds that $CC(G)<n$. Furthermore, we show that for any tree $T$, $CC(T)=2$. Finally, we present two polynomial-time algorithms that for a given connected graph $G$ of order $n$ determine whether $CC(G)=n$ or $CC(G)=n-1$.
2023-02-09 v6
Large-scale geometry of Borel graphs of polynomial growth
Published • View Publication • BIB
We study graphs of polynomial growth from the perspective of asymptotic geometry and descriptive set theory. The starting point of our investigation is a theorem of Krauthgamer and Lee who showed that every connected graph of polynomial growth admits an injective contraction mapping to $(\mathbb Z^n, \|\cdot\|_\infty)$ for some $n\in\mathbb N$. We strengthen and generalize this result in a number of ways. In particular, answering a question of Papasoglu, we construct coarse embeddings from graphs of polynomial growth to $\mathbb Z^n$. Moreover, we only require $n$ to be linear in the asymptotic polynomial growth rate of the graph; this confirms a conjecture of Levin and Linial, London, and Rabinovich "in the asymptotic sense." (The exact form of the conjecture was refuted by Krauthgamer and Lee.) All our results are proved for Borel graphs, which allows us to settle a number of problems in descriptive combinatorics. Roughly, we prove that graphs generated by free Borel actions of $\mathbb Z^n$ are universal for the class of Borel graphs of polynomial growth. This provides a general method for extending results about $\mathbb Z^n$-actions to all Borel graphs of polynomial growth. For example, an immediate consequence of our main result is that all Borel graphs of polynomial growth are hyperfinite, which answers a well-known question in the area. As another illustration, we show that Borel graphs of polynomial growth support a certain combinatorial structure called toast. An important technical tool in our arguments is the notion of padded decomposition from computer science, which is closely related to the concept of asymptotic dimension due to Gromov. Along the way we find an alternative, probabilistic proof of a theorem of Papasoglu that graphs of asymptotic polynomial growth rate $ρ<\infty$ have asymptotic dimension at most $ρ$ and establish the same bound in the Borel setting.
Acyclic Chromatic Index of Chordless Graphs
Published in Discrete Mathematics, 346(8), (2023), 113434 • View Publication • BIB
An acyclic edge coloring of a graph is a proper edge coloring in which there are no bichromatic cycles. The acyclic chromatic index of a graph $G$ denoted by $a'(G)$, is the minimum positive integer $k$ such that $G$ has an acyclic edge coloring with $k$ colors. It has been conjectured by Fiamčík that $a'(G) \le Δ+2$ for any graph $G$ with maximum degree $Δ$. Linear arboricity of a graph $G$, denoted by $la(G)$, is the minimum number of linear forests into which the edges of $G$ can be partitioned. A graph is said to be chordless if no cycle in the graph contains a chord. Every $2$-connected chordless graph is a minimally $2$-connected graph. It was shown by Basavaraju and Chandran that if $G$ is $2$-degenerate, then $a'(G) \le Δ+1$. Since chordless graphs are also $2$-degenerate, we have $a'(G) \le Δ+1$ for any chordless graph $G$. Machado, de Figueiredo and Trotignon proved that the chromatic index of a chordless graph is $Δ$ when $Δ\ge 3$. They also obtained a polynomial time algorithm to color a chordless graph optimally. We improve this result by proving that the acyclic chromatic index of a chordless graph is $Δ$, except when $Δ=2$ and the graph has a cycle, in which case it is $Δ+1$. We also provide the sketch of a polynomial time algorithm for an optimal acyclic edge coloring of a chordless graph. As a byproduct, we also prove that $la(G) = \lceil \frac{Δ}{2} \rceil$, unless $G$ has a cycle with $Δ=2$, in which case $la(G) = \lceil \frac{Δ+1}{2} \rceil = 2$. To obtain the result on acyclic chromatic index, we prove a structural result on chordless graphs which is a refinement of the structure given by Machado, de Figueiredo and Trotignon for this class of graphs. This might be of independent interest.
2023-01-30 v3
Maximization of the spectral radius of block graphs with a given dissociation number
Published • View Publication • BIB
A connected graph is called a block graph if each of its blocks is a complete graph. Let $\mathbf{Bl}(\textbf{k}, \varphi)$ be the class of block graphs on $\textbf{k}$ vertices with given dissociation number $\varphi$. In this article, we have shown the existence and uniqueness of a block graph $\mathbb{B}_{\textbf{k},\varphi}$ in $\mathbf{Bl}(\textbf{k}, \varphi)$ that maximizes the spectral radius $ρ(G)$ among all graphs $G$ in $\mathbf{Bl}(\textbf{k}, \varphi)$. Furthermore, we also provide bounds on $ρ(\mathbb{B}_{\textbf{k},\varphi})$.
Strongly proper connected coloring of graphs
We study a new variant of \emph{connected coloring} of graphs based on the concept of \emph{strong} edge coloring (every color class forms an \emph{induced} matching). In particular, an edge-colored path is \emph{strongly proper} if its color sequence does not contain identical terms within a distance of at most two. A \emph{strong proper connected} coloring of $G$ is the one in which every pair of vertices is joined by at least one strongly proper path. Let spc($G$) denote the least number of colors needed for such coloring of a graph $G$. We prove that the upper bound spc($G$)$\leq${5} holds for any $2$-connected graph $G$. On the other hand, we demonstrate that there are $2$-connected graphs with arbitrarily large girth satisfying spc($G$)$\geq${4}. Additionally, we prove that graphs whose cycle lengths are divisible by $3$ satisfy spc($G$)$\leq{3}$. We also consider briefly other connected colorings defined by various restrictions on color sequences of connecting paths. For instance, in a \emph{nonrepetitive connected coloring} of $G$, every pair of vertices should be joined by a path whose color sequence is \emph{nonrepetitive}, that is, it does not contain two adjacent identical blocks. We demonstrate that $2$-connected graphs are $15$-colorable while $4$-connected graphs are $6$-colorable, in the connected nonrepetitive sense. A similar conclusion with a finite upper bound on the number of colors holds for a much wider variety of connected colorings corresponding to fairly general properties of sequences. We end the paper with some open problems of concrete and general nature.
2023-01-24
Certain graphs with exactly one irreducible $T$-module with endpoint $1$, which is thin: the pseudo-distance-regularized case
Let $Γ$ denote a finite, simple and connected graph. Fix a vertex $x$ of $Γ$ which is not a leaf and let $T=T(x)$ denote the Terwilliger algebra of $Γ$ with respect to $x$. Assume that the unique irreducible $T$-module with endpoint $0$ is thin, or equivalently that $Γ$ is pseudo-distance-regular around $x$. We consider the property that $Γ$ has, up to isomorphism, a unique irreducible $T$-module with endpoint $1$, and that this $T$-module is thin. The main result of the paper is a combinatorial characterization of this property.
2023-01-18 v2
Three aspects of the MSTCI problem
Published • View Publication • BIB
Consider a connected graph $G$ and let $T$ be a spanning tree of $G$. Every edge $e \in G-T$ induces a cycle in $T \cup \{e\}$. The intersection of two distinct such cycles is the set of edges of $T$ that belong to both cycles. The MSTCI problem consists in finding a spanning tree that has the least number of such non-empty intersections and the instersection number is the number of non-empty intersections of a solution. In this article we consider three aspects of the problem in a general context (i.e. for arbitrary connected graphs). The first presents two lower bounds of the intersection number. The second compares the intersection number of graphs that differ in one edge. The last is an attempt to generalize a recent result for graphs with a universal vertex.
2023-01-13
Edge Constrained Eulerian Extensions
Published • View Publication • BIB
In this paper we study Eulerian extensions with edge constraints and use the probabilistic method to establish sufficient conditions for a given connected graph to be a subgraph of a Eulerian graph containing $m$ edges, for a given number $m$.
2023-01-11 v2
Behaviors of pairs of dimensions and depths of edge ideals
Published • View Publication • BIB
Edge ideals of finite simple graphs $G$ on $n$ vertices are the ideals $I(G)$ of the polynomial ring $S$ in $n$ variables generated by the quadratic monomials associated with the edges of $G$. In this paper, we consider the possible pairs of dimensions and depths of $S/I(G)$ for connected graphs with a fixed number of vertices. We discuss such pairs in the case where dimension is relatively large. As a corollary, we completely determine the pairs for connected graphs with small number of vertices. We also study the possible pairs for connected chordal graphs.
Spectral Radii of Arithmetical Structures on Cycle Graphs
Published • View Publication • BIB
Let $G$ be a finite, connected graph. An arithmetical structure on $G$ is a pair of positive integer-valued vectors $(\mathbf{d},\mathbf{r})$ such that $(\text{diag}(\mathbf{d})-A_G)\cdot \mathbf{r}=\textbf{0},$ where the entries of $\mathbf{r}$ have $\gcd$ 1 and $A_G$ is the adjacency matrix of $G$. In this article we find the arithmetical structures that maximize and minimize the spectral radius of $(\text{diag}(\mathbf{d})-A_G)$ among all arithmetical structures on the cycle graph $\mathcal{C}_n.$
2023-01-08
Toughness and normalized Laplacian eigenvalues of graphs
Published • View Publication • BIB
Given a connected graph $G$, the toughness $τ_G$ is defined as the minimum value of the ratio $|S|/ω_{G-S}$, where $S$ ranges over all vertex cut sets of $G$, and $ω_{G-S}$ is the number of connected components in the subgraph $G-S$ obtained by deleting all vertices of $S$ from $G$. In this paper, we provide a lower bound for the toughness $τ_G$ in terms of the maximum degree, minimum degree and normalized Laplacian eigenvalues of $G$. This can be viewed as a slight generalization of Brouwer's toughness conjecture, which was confirmed by Gu (2021). Furthermore, we give a characterization of those graphs attaining the two lower bounds regarding toughness and Laplacian eigenvalues provided by Gu and Haemers (2022).
Critical groups of arithmetical structures on star graphs and complete graphs
Published in Electron. J. Combin. 31 (2024) 1.5 • View Publication • BIB
An arithmetical structure on a finite, connected graph without loops is an assignment of positive integers to the vertices that satisfies certain conditions. Associated to each of these is a finite abelian group known as its critical group. We show how to determine the critical group of an arithmetical structure on a star graph or complete graph in terms of the entries of the arithmetical structure. We use this to investigate which finite abelian groups can occur as critical groups of arithmetical structures on these graphs.
2023-01-04 v2
Construction of storage codes of rates approaching one on triangle-free graphs
Published • View Publication • BIB
Consider an assignment of bits to the vertices of a connected graph $Γ(V, E)$ with the property that the value of each vertex is a function of the values of its neighbors. A collection of such assignments is called a storage code of length $|V|$ on $Γ$. In this paper we construct an infinite family of binary linear storage codes on triangle-free graphs with rates arbitrarily close to one.