graph
34516 papers tagged with this keyword
Visibility polynomial of corona of two graphs
In multiagent systems, effective coordination, coverage, and communication often rely on the concept of visibility between agents or nodes within the system. Graph-theoretically, for any subset $X$ of vertices of a graph $G$, two vertices are said to be $X$-visible if there exists a shortest path between them that contains no vertex of $X$ as an internal vertex. In this paper, we investigate the visibility polynomial associated with the corona product of two graphs. The visibility polynomial encodes the number of mutual-visibility sets of all orders within a graph, and the process of enumerating these sets provides a deeper understanding of their structural properties. We characterize the structure of mutual-visibility sets arising specifically within the corona product. As part of this study, we introduce the notion of $C_Q$-visible sets, defined with respect to a selected subset $Q$ of vertices in a graph $G$. A $C_Q$-visible set is a collection of vertices in $\overline{Q}$ that is not only $Q$-visible, but also individually visible from each vertex in $Q$. Using this concept, we establish several characterizations and properties of mutual-visibility sets within the corona product, thereby providing deeper insights into their structure and behavior.
Random Cayley graphs and random sumsets
We prove that any finite abelian group $G$ contains a collection of not too many subsets with a special structure, so that for every subset $A$ of $G$ with a small doubling, there is a member $F$ of the collection that is fully contained in the sumset $A+A$ and is not much smaller than it. Using this result we obtain improved bounds for the problem of estimating the typical independence number of sparse random Cayley or Cayley-sum graphs, and for the problem of estimating the smallest size of a subset of $G$ which is not a sumset. We also obtain tight bounds for the typical maximum length of an arithmetic progression in the sumset of a sparse random subset of $G$.
Random burning of the Euclidean lattice
The burning number of a graph is the minimal number of steps that are needed to burn all of its vertices, with the following burning procedure: at each step, one can choose a point to set on fire, and the fire propagates constantly at unit speed along the edges of the graph. In this paper, we consider two natural random burning procedures in the discrete Euclidean torus $\mathbb{T}_n^d$, in which the points that we set on fire at each step are random variables. Our main result deals with the case where at each step, the law of the new point that we set on fire conditionally on the past is the uniform distribution on the complement of the set of vertices burned by the previous points. In this case, we prove that as $n\to\infty$, the corresponding random burning number (i.e, the first step at which the whole torus is burned) is asymptotic to $T\cdot n^{d/(d+1)}$ in probability, where $T=T(d)\in(0,\infty)$ is the explosion time of a so-called generalised Blasius equation.
Towards Upper and Lower Bounds for Chromatic Symmetric Functions in the Elementary Basis
Tatsuyuki Hikita recently proved the Stanley--Stembridge conjecture using probabilistic methods, showing that the chromatic symmetric functions of unit interval graphs are $e$-positive. Finding a combinatorial interpretation for these $e$-coefficients remains a major open problem. Towards this goal, we introduce sets of strong and powerful $P$-tableaux and conjecture that these sets undercount and overcount the $e$-coefficients of the chromatic symmetric function $X_{inc(P)}(\mathbf{x}, q)$. We then use this framework to obtain combinatorial interpretations for various cases of $e$-expansion coefficients of chromatic symmetric functions of unit interval graphs. Additionally, we show that strong $P$-tableaux and the Shareshian--Wachs inversion statistic appear naturally in the proof of Hikita's result.
Katz similarity index comparisons
In this paper we compare the Katz similarity index to two other node similarity metrics, the standard distance and the resistance distance, for both path and cycle graphs. We consider how Katz similarity varies as the parameter $α$ and the size of the graph vary. We also characterize when the three metrics give rise to different orderings of vertex pairs. In particular, we find that for all admissible values of $α$ the Katz similarity index, the resistance distance, and the distance give the same ordering for node pairs in a cycle graph of arbitrary length, but the same is not true for the path graph.
Scattering number and $τ$-toughness in graphs involving $A_α$-spectral radius
The scattering number $s(G)$ of graph $G=(V,E)$ is defined as $s(G)$=max\big\{$c(G-S)-|S|$\big\}, where the maximum is taken over all proper subsets $S\subseteq V(G)$, and $c(G-S)$ denotes the number of components of $G-S$. In 1988, Enomoto introduced a variation of toughness $τ(G)$ of a graph $G$, which is defined by $τ(G)$=min\big\{$\frac{|S|}{c(G-S)-1}$, $S\subseteq V(G)$ and $c(G-S)>1$\big\}. Both the scattering number and toughness are used to characterize the invulnerability or stability of a graph, i.e., the ability of a graph to remain connected after vertices or edges are removed. The smaller the value of $s(G)$ (or the larger the value of $τ(G)$), the stronger the connectivity of a graph $G$. The $A_α$-spectral radius of $G$ is denoted by $ρ_α(G)$. Using typical $A_α$-spectral techniques and structural analysis, we present a sufficient condition such that $s(G)\leq 1$. This result generalizes the result of Chen, Li and Xu [Graphs Comb. 41 (2025)]. Furthermore, we establish a sufficient condition with respect to the $A_α$-spectral radius for a graph to be $τ$-tough. When $α=\frac{1}{2}$, our result reduces to that of Chen, Li and Xu [Graphs Comb. 41 (2025)].
Graphs with girth $2\ell$ and without longer even holes are $3$-colorable
For a number $\ell\geq 2$, let $\mathcal{H}_{\ell}$ denote the family of graphs which have girth $2\ell$ and have no even hole with length greater than $2\ell$. Wu, Xu, and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{H}_{\ell}$ is 3-colorable. In this paper, we prove that every graph in $\mathcal{H}_{\ell}$ is 3-colorable for any integer $\ell\geq5$.
Tree decompositions with small width, spread, order and degree
Tree-decompositions of graphs are of fundamental importance in structural and algorithmic graph theory. The main property of tree-decompositions is the width (the maximum size of a bag $-1$). We show that every graph has a tree-decomposition with near-optimal width, plus several additional properties of interest. In particular every graph $G$ with treewidth at most $k$ has a tree-decomposition with width at most $72k+1$, where each vertex $v$ appears in at most $\text{deg}_G(v)+1$ bags, the number of bags is at most $\max\{\frac{|V(G)|}{2k},1\}$, and the tree indexing the decomposition has maximum degree at most 12. This improves exponential bounds to linear in a result of Ding and Oporowski [1995], and establishes a conjecture of theirs in a strong sense.
Binomial edge ideals of Cameron-Walker graphs
Let $G$ be a Cameron--Walker graph on $n$ vertices and $J_G$ the binomial edge ideal of $G$. Let $S$ denote the polynomial ring in $2n$ variables over a field. It is shown that the following conditions are equivalent: (i) $S/J_G$ is Cohen--Macaulay; (ii) $J_G$ is unmixed; (iii) $\dim (S/J_G) = n+1$; (iv) (a) $n = 3$ and $G$ is a path of length $2$ or (b) $n = 5$ and $G$ is a path of length $4$ or (c) $n=5$ and $G$ is obtained by attaching a path of length $2$ to a triangle. Moreover, the depth of $S/J_G$ is computed for a class of Cameron--Walker graphs, called minimal dense Cameron--Walker graphs. As an application, it is proved that finite graphs $G$ with $\depth(S/J_G)=6$ can have any number of vertices~$n\geq 6$. Finally, it is shown that given integers $t,n$ with $6\leq t\leq n+1$, there exists a finite connected graph $G$ with $\depth (S/J_G)=t$.
On the chromatic number of random triangle-free graphs
We study the chromatic number of typical triangle-free graphs with $Θ\left( n^{3/2} (\log n)^{1/2} \right)$ edges and establish the width of the scaling window for the transitions from $χ= 3$ to $χ= 4$ and from $χ= 4$ to $χ= 5$.
The transition from $3$- to $4$-colorability has scaling window of width $Θ(n^{4/3} (\log n)^{-1/3})$. To prove this, we show a high probability equivalence of the $3$-colorability of a random triangle-free graph at this density and the satisfiability of an instance of bipartite random $2$-SAT, for which we establish the width of the scaling window following the techniques of Bollob{á}s, Borgs, Chayes, Kim, and Wilson.
The transition from $4$- to $5$-colorability has scaling window of width $Θ(n^{3/2} (\log n)^{-1/2})$. To prove this, we show a high probability equivalence of the $4$-colorability of a random triangle-free graph at this density and the simultaneous $2$-colorability of two independent Erdős--Rényi random graphs. For this transition, we also establish the limiting probability of $4$-colorability inside the scaling window.
Generalizations of Ferber-Krivelevich and Gallai Theorems on parity of degrees in induced subgraphs
A long-standing and well-known conjecture (see e.g. Caro, Discrete Math, 1994) states that every $n$-vertex graph $G$ without isolated vertices contains an induced subgraph where all vertices have an odd degree and whose order is linear in $n$. Ferber and Krivelevich (Adv. Math., 2022) confirmed the conjecture. In this short paper, we generalize this result by considering $G$ with vertices labeled 0 or 1 and requiring that in an induced subgraph of $G$, the 0-labeled vertices are of even degree and the 1-labeled vertices are of odd degree. We prove that if $G$ has no isolated vertices, it contains such a subgraph of order linear in $n$.
The well-known Gallai's Theorem states that the vertices of each graph can be partitioned into two parts such that all vertices in the subgraphs induced by the two parts have even degrees. The result also holds if we require that the degrees of all vertices in one of the induced subgraphs are even, and the degrees of all vertices in the other induced subgraph are odd. A natural generalization of Gallai's Theorem to out-degrees in digraphs does not hold and we characterize all digraphs for which it does hold. Our characterization is linear algebraic.
New Results on Vertices that Belong to Every Minimum Locating-Dominating Code
Locating-dominating codes have been studied widely since their introduction in the 1980s by Slater and Rall. In this paper, we concentrate on vertices that must belong to all minimum locating-dominating codes in a graph. We call them min-forced vertices. We show that the number of min-forced vertices in a connected nontrivial graph of order $n$ is bounded above by $\frac{2}{3}\left(n -γ^{LD}(G)\right)$, where $γ^{LD}(G)$ denotes the cardinality of a minimum locating-dominating code. This implies that the maximum ratio between the number of min-forced vertices and the order of a connected nontrivial graph is at most $\frac{2}{5}$. Moreover, both of these bounds can be attained. We also determine the number of different minimum locating-dominating codes in all paths. In addition, we show that deciding whether a vertex is min-forced is co-NP-hard.
Degree-similar graphs and cospectral graphs
Let $G$ be a graph with adjacency matrix $A(G)$ and degree matrix $D(G)$, and let $L_μ(G):=A(G)-μD(G)$. Two graphs $G_1$ and $G_2$ are called \emph{degree-similar} if there exists an invertible matrix $M$ such that $M^{-1} A(G_1) M =A(G_2)$ and $M^{-1} D(G_1) M =D(G_2)$. In this paper, we address three problems concerning degree-similar graphs proposed by Godsil and Sun. First, we present a new characterization of degree-similar graphs using degree partition, from which we derive methods and examples for constructing cospectral graphs and degree-similar graphs. Second, we construct infinite pairs of non-degree-similar trees $G_1$ and $G_2$ such that $tI- L_μ(G_1)$ and $tI-L_μ(G_2)$ have the same Smith normal form over $\Q(μ)[t]$, which provides a negative answer to a problem posed by Godsil and Sun. Third, we establish several invariants of degree-similar graphs and obtain results on unicyclic graphs that are degree-similar determined. Lastly we prove that for a strongly regular graph $G$ and any two edges $e$ and $f$ of $G$, $G \backslash e$ and $G \backslash f$ have identical $μ$-polynomial, i.e., $\det(tI-L_μ(G \backslash e))=\det(tI-L_μ(G \backslash f))$, which enables the construction of pairs of non-isomorphic graphs with same $μ$-polynomial, where $G \backslash e$ denotes the graph obtained from $G$ by deleting the edge $e$.
Reinforcement learning for graph theory, Parallelizing Wagner's approach
Our work applies reinforcement learning to construct counterexamples concerning conjectured bounds on the spectral radius of the Laplacian matrix of a graph. We expand upon the re-implementation of Wagner's approach by Stevanovic et al. with the ability to train numerous unique models simultaneously and a novel redefining of the action space to adjust the influence of the current local optimum on the learning process.
Formulas and Upper Bounds for the Carath{é}odory Number of Hamming Graphs
Let $G$ be a simple graph and let $S$ be a subset of its vertices. We say that $S$ is $P_3$-convex if every vertex $v \in V(G)$ that has at least two neighbors in $S$ also belongs to $S$. The $P_3$-hull set of $S$ is the smallest $P_3$-convex set of $G$ that contains $S$. Carathéodory number of a graph $G$, denoted by $c(G)$, is the smallest integer $c$ such that for every subset $S \subseteq V(G)$ and every vertex $p$ in the $P_3$-hull of $S$, there exists a subset $F \subseteq S$ with $|F| \leq c$ such that $p$ belongs to the $P_3$-hull of $F$. In this article, we present upper bounds and formulas for the $P_3$-Carathéodory number in Hamming graphs, which are defined as the Cartesian product of $n$ complete graphs.
On $k$-colorability of $(bull, H)$-free graphs
The $3$-colorability problem is a well-known NP-complete problem and it remains NP-complete for $bull$-free graphs, where a $bull$ is the graph consisting of a $K_3$ with two pendant edges attached to two of its vertices. In this paper, for $k\geq3$, we characterize all $k$-colorable $(bull,claw)$-free graphs containing an induced cycle of length at least $6$. Moreover, we present the full characterization of all non $4$-colorable connected $(bull,claw)$-free graphs and $(bull,chair, C_5)$-free graphs, and all non $5$-colorable connected $(bull, claw, C_5)$-free graphs.
Monochromatic components with many edges in random graphs
In an $r$-coloring of edges of the complete graph on $n$ vertices, how many edges are there in the largest monochromatic connected component? A construction of Gyárfás shows that for infinitely many values of $r$, there exist colorings where all monochromatic components have at most $\left(\frac{1}{r^2-r}+o(1)\right)\binom{n}{2}$ edges. Conlon, Luo, and Tyomkyn conjectured that components with at least this many edges are attainable for all $r \ge 3$. Conlon, Luo, and Tyomkyn proved this conjecture for $r=3$ and Luo proved it for $r=4$, along with a lower bound of $\frac{1}{r^2-r+\frac54}{n\choose 2}$ for all $r\ge 2$ and $n$.
In this paper, we look at extensions of this problem where the graph being $r$-colored is a sparse random graph or a graph of high minimum degree. By extending several intermediate technical results from previous work in the complete graph setting, we prove analogues of the bound for general $r$ in both the sparse random setting and the high minimum degree setting, as well as the bound for $r=3$ in the latter setting.
Generalized Token Graphs
In this paper we give a new generalization of token graphs. Given two integers $1\leq m \leq k$ and a graph $G$ we define the generalized token graph of the graph $G$, to be the graph $F_k^m(G)$ whose vertices correspond to configurations of $k$ indistinguishable tokens placed at distinct vertices of $G$, where two configurations are adjacent whenever one configuration can be reached from the other by moving $m$ tokens along $m$ edges of $G$. When $m=1$, the usual token graph $F_k(G)$ is recovered.
We give sufficient and necessary conditions on the graph $G$ for $F_2^2(G)$ to be connected and
we give sufficient and necessary conditions on the graph $G$ for $F_2^2(G)$ to be bipartite.
We also analyze some properties of generalized token graphs, such as clique number, chromatic number, independence number and domination number. Finally, we conclude with an analysis of the automorphism group of the generalized token graph.
A Study of Fibonacci Cordial Labeling in Structured Graph Families
A \emph{Fibonacci cordial labeling} of a graph \( G \) is an injective function \( f: V(G) \rightarrow \{F_0, F_1, \dots, F_n\} \), where \( F_i \) denotes the \( i^{\text{th}} \) Fibonacci number, such that the induced edge labeling \( f^*: E(G) \rightarrow \{0,1\} \), given by \( f^*(uv) = (f(u) + f(v)) \) $(\bmod\ 2)$, satisfies the balance condition \( |e_f(0) - e_f(1)| \le 1 \). Here, \( e_f(0) \) and \( e_f(1) \) represent the number of edges labeled 0 and 1, respectively. A graph that admits such a labeling is termed a \emph{Fibonacci cordial graph}. In this paper, we investigate the existence and construction of Fibonacci cordial labelings for several families of graphs, including \emph{Generalized Petersen graphs}, \emph{open and closed helm graphs}, \emph{joint sum graphs}, and \emph{circulant graphs of small order}. New results and examples are presented, contributing to the growing body of knowledge on graph labelings inspired by numerical sequences.
Size of bipartite graphs with given diameter and connectivity constraints
In the first part of this paper we determine the maximum size of a (finite, simple, connected) bipartite graph of given order, diameter $d$, and connectivity $κ$.
It was shown by Ali, Mazorodze, Mukwembi and Vetrík [On size, order, diameter and edge-connectivity of graphs. Acta Math. Hungar. {\bf 152}, (2017)] that for a connected triangle-free graph of order $n$, diameter $d$ and edge-connectivity $λ$, the size is bounded from above by about $\frac{1}{4}\left(n-\frac{(λ+c) d}{2}\right)^2+O(n)$, where $c\in\{0, \frac{1}{3}, 1\}$ for different values of $λ$.
In the second part of this paper we show that this bound by Ali et al. on the size can be improved significantly for a much larger subclass of triangle-free graphs, namely, bipartite graphs of order $n$, diameter $d$ and edge-connectivity $λ$. We prove our result only for $λ= 2, 3, 4$ because it can be observed from this paper by Ali et al. that for $λ\geq 5$, there exists $\ell$-edge-connected bipartite graphs of given order and diameter whose size differs from the maximal size for given minimum degree $\ell$ only by at most a constant. Also, unlike the approach in the proof on the size of triangle-free graphs by Ali et al., our proof employs a completely different technique, which enables us to identify the extremal graphs; hence the bounds presented here are sharp.