graph
35299 papers tagged with this keyword
Cliques, Chromatic Number, and Independent Sets in the Semi-random Process
Published
• View Publication
• BIB
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible. In this paper, we investigate the following three properties: containing a complete graph of order $k$, having the chromatic number at least $k$, and not having an independent set of size at least $k$.
On a problem of El-Zahar and Erdoos
Published
• View Publication
• BIB
Two subgraphs $A,B$ of a graph $G$ are anticomplete if they are vertex-disjoint and there are no edges joining them. Is it true that if $G$ is a graph with bounded clique number, and sufficiently large chromatic number, then it has two anticomplete subgraphs, both with large chromatic number? This is a question raised by El-Zahar and Erdős in 1986, and remains open. If so, then at least there should be two anticomplete subgraphs both with large minimum degree, and that is one of our results.
We prove two variants of this. First, a strengthening: we can ask for one of the two subgraphs to have large chromatic number: that is, for all $t, c\ge 1$ there exists $d\ge 1$ such that if $G$ has chromatic number at least $d$, and does not contain the complete graph $K_t$ as a subgraph, then there are anticomplete subgraphs $A,B$, where $A$ has minimum degree at least $c$ and $B$ has chromatic number at least $c$.
Second, we look at what happens if we replace the hypothesis that $G$ has sufficiently large chromatic number with the hypothesis that $G$ has sufficently large minimum degree. This, together with excluding $K_t$, is {\em not} enough to guarantee two anticomplete subgraphs both with large minimum degree; but it works if instead of xcluding $K_t$ we exclude the complete bipartite graph $K_{t,t}$. More exactly: for all $t, c\ge 1$ there exists $d\ge 1$ such that if $G$ has minimum degree at least $d$, and does not contain the complete bipartite graph $K_{t,t}$ as a subgraph, then there are two anticomplete subgraphs both with minimum degree at least $c$.
Clustered independence and bounded treewidth
Published
• View Publication
• BIB
A set $S\subseteq V$ of vertices of a graph $G$ is a \emph{$c$-clustered set} if it induces a subgraph with components of order at most $c$ each, and $α_c(G)$ denotes the size of a largest $c$-clustered set. For any graph $G$ on $n$ vertices and treewidth $k$, we show that $α_c(G) \geq \frac{c}{c+k+1}n$, which improves a result of Wood [arXiv:2208.10074, August 2022], while we construct $n$-vertex graphs $G$ of treewidth~$k$ with $α_c(G)\leq \frac{c}{c+k}n$. In the case $c\leq 2$ or $k=1$ we prove the better lower bound $α_c(G) \geq \frac{c}{c+k}n$, which settles a conjecture of Chappell and Pelsmajer [Electron.\ J.\ Comb., 2013] and is best-possible. Finally, in the case $c=3$ and $k=2$, we show $α_c(G) \geq \frac{5}{9}n$ and which is best-possible.
Isolation of regular graphs, stars and $k$-chromatic graphs
Published in Discrete Mathematics 349 (2026), article number 114706
• View Publication
• BIB
Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G,\mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $ι(G,\{K_1\})$ is the domination number of $G$. Clearly, $ι(G, \mathcal{F}) \leq ι(G, \mathcal{F} \cup \mathcal{H})$. For any integer $k \geq 1$, let $\mathcal{F}_{0,k}$ be the set consisting of the $k$-star $K_{1,k}$, let $\mathcal{F}_{1,k}$ be the set of regular graphs whose degree is at least $k-1$, let $\mathcal{F}_{2,k}$ be the set of graphs whose chromatic number is at least $k$, and let $\mathcal{F}_{3,k}$ be the union $\mathcal{F}_{0,k} \cup \mathcal{F}_{1,k} \cup \mathcal{F}_{2,k}$. We prove that if $G$ is a connected $n$-vertex graph, then $ι(G, \mathcal{F}_{3,k}) \leq \frac{n}{k+1}$ unless $G$ is a $k$-clique or $k = 2$ and $G$ is a $5$-cycle. This generalizes a classical bound of Ore on the domination number, a bound of Caro and Hansberg and of Żyliński on the vertex-edge domination number, a bound of Fenech, Kaemawichanurat and the author on the $k$-clique isolation number, a bound of the author on the cycle isolation number, and a bound of Caro and Hansberg on the $\mathcal{F}_{0,k}$-isolation number. The proof features a new strategy. For $i = 1, 2, 3$, the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{i,k})$ is attainable if $k+1$ divides $n$. Our second main result is that the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{0,k})$ is attainable if and only if $n$ is $0$ or $k+1$ or $2(k+1)$. We pose some problems and conjectures, and establish additional intriguing phenomena concerning $k$-star isolation and $k$-cycle isolation.
A note on topological indices and the twin classes of graphs
Topological indices are parameters associated with graphs that have many applications in different areas such as mathematical chemistry. Among various topological indices, the Wiener index is classical \cite{w}. In this paper, we prove a formula for the Wiener index and more general $m$-Steiner Wiener index of an arbitrary graph $G$ in terms of the cardinalities of its twin classes. In particular, we will show that calculating these parameters for the graph $G$ can be reduced to calculating the same for a much smaller graph (in general) called the reduced graph of $G$.
As applications of our main result, the $m$-Steiner Wiener index is explicitly calculated for various important classes of graphs from the literature including
\begin{enumerate}
\item[(a)] Power graphs associated with finite groups,
\item[(b)] Zero divisor graphs and the ideal-based zero divisor graphs associated with commutative rings with unity, and
\item[(c)] Comaximal ideal graphs associated with commutative rings with unity. \end{enumerate} We have also found an upper bound on the $m$-Steiner Wiener index of an infinite class of graphs called the completely joined graphs. As a corollary of this result, we explicitly calculate the $m$-Steiner Wiener index of the complete multipartite graphs.
Degree Sequence Optimization in Bounded Treewidth
Published in Optimization Letters 17:1127-1132, 2023
• View Publication
• BIB
We consider the problem of finding a subgraph of a given graph which minimizes the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already when all functions are the same, we show that it can be solved for arbitrary functions in polynomial time over graphs of bounded treewidth. Its complexity remains widely open, in particular over complete graphs and complete bipartite graphs.
Extremal spectral radius of weighted adjacency matrices of bicyclic graphs
The weighted adjacency matrix $A_{f}(G)$ of a simple graph $G=(V,E)$ is the $|V|\times|V|$ matrix whose $ij$-entry equals $f(d_{i},d_j)$, where $f(x,y)$ is a symmetric function such that $f(d_i,d_j)>0$ if $ij\in E$ and $f(d_i,d_j)=0$ if $ij\notin E$ and $d_i$ is the degree of the vertex $i$. In this paper, we determine the unique graph having the largest spectral radius of $A_{f}(G)$ among all the bicyclic graphs under the assumption that $f(x,y)$ is increasing and convex in $x$ and $f(x_1,y_1)\geq f(x_2,y_2)$ when $|x_1-y_1|>|x_2-y_2|$ and $x_1+y_1=x_2+y_2$. Moreover, we determine the unique graph having the second largest spectral radius of $A_{f}(G)$ among all the bicyclic graphs when $f(x,y)=x+y$, $(x+y)^2$ or $x^2+y^2$, which corresponds to the well-known first Zagreb index, first hyper-Zagreb index, and forgotten index, respectively. In addition, we also characterize the bicyclic graphs with the first two largest spectral radii of $A_{f}(G)$ when $f(x,y)=\frac{1}{2}(x/y+y/x)$, corresponding to the extended index.
Irregularity of Graphs respecting Degree Bounds
Published
• View Publication
• BIB
Albertson defined the irregularity of a graph $G$ as $irr(G)=\sum\limits_{uv\in E(G)}|d_G(u)-d_G(v)|$. For a graph $G$ with $n$ vertices, $m$ edges, maximum degree $Δ$, and $d=\left\lfloor \frac{Δm}{Δn-m}\right\rfloor$, we show $$irr(G)\leq d(d+1)n+\frac{1}Δ\left(Δ^2-(2d+1)Δ-d^2-d\right)m.$$
On Sign-Invertible Graphs
Published
• View Publication
• BIB
Let $G$ be a graph and $A$ be its adjacency matrix. A graph $G$ is invertible if its adjacency matrix $A$ is invertible and the inverse of $G$ is a weighted graph with adjacency matrix $A^{-1}$. A signed graph $(G,σ)$ is a weighted graph with a special weight function $σ: E(G)\to \{-1,1\}$. A graph is sign-invertible (or sign-invertible) if its inverse is a signed graph. A sign-invertible graph is always unimodular. The inverses of graphs have interesting combinatorial interests. In this paper, we study inverses of graphs and provide a combinatorial description for sign-invertible graphs, which provides a tool to characterize sign-invertible graphs. As applications, we complete characterize sign-invertible bipartite graphs with a unique perfect matching, and sign-invertible graphs with cycle rank at most two. As corollaries of these characterizations, some early results on trees (Buckley, Doty and Harary in 1982) and unicyclic graphs with a unique perfect matching (Kalita and Sarma in 2022) follow directly.
Kempe equivalence and quadratic toric rings
Published
• View Publication
• BIB
Kempe equivalence is a classical and fundamental notion in graph coloring theory. In the present paper we establish a connection between Kempe equivalence and quadratic stable set ring, which are toric rings associated to graphs. In fact, we characterize when the stable set ring of a graph is quadratic by using Kempe equivalence. As an application, we relate our theorem to the theory of perfectly contractile graphs, a hereditary subclass of perfect graphs introduced by Bertschi. In particular, our characterization implies that the conjecture of Everett and Reed on perfectly contractile graphs entails the conjecture of the authors and Shibata on quadratic stable set rings. Furthermore, we show that the stable set rings of several important subclasses of perfectly contractile graphs including weakly chordal graphs are quadratic. Finally, we propose a new combinatorial conjecture characterizing perfectly contractile graphs purely in terms of Kempe equivalence on replication graphs.
The Cut Method on Hypergraphs for the Wiener Index
The cut method has been proved to be extremely useful in chemical graph theory. In this paper the cut method is extended to hypergraphs. More precisely, the method is developed for the Wiener index of $k$-uniform partial cube-hypergraphs. The method is applied to cube-hypergraphs and hypertrees. Extensions of the method to hypergraphs arising in chemistry which are not necessary $k$-uniform and/or not necessary linear are also developed.
On the minimum number of inversions to make a digraph $k$-(arc-)strong
Published
• View Publication
• BIB
The {\it inversion} of a set $X$ of vertices in a digraph $D$ consists of reversing the direction of all arcs of $D\langle X\rangle$. We study $sinv'_k(D)$ (resp. $sinv_k(D)$) which is the minimum number of inversions needed to transform $D$ into a $k$-arc-strong (resp. $k$-strong) digraph and $sinv'_k(n) = \max\{sinv'_k(D) \mid D~\mbox{is a $2k$-edge-connected digraph of order $n$}\}$. We show :
$(i): \frac{1}{2} \log (n - k+1) \leq sinv'_k(n) \leq \log n + 4k -3$ ;
$(ii):$ for any fixed positive integers $k$ and $t$, deciding whether a given oriented graph $D$ with $sinv'_k(D)<+\infty$ satisfies $sinv'_k(D) \leq t$ is NP-complete;
$(iii):$ for any fixed positive integers $k$ and $t$, deciding whether a given oriented graph $D$ with $sinv_k(D)<+\infty$ satisfies $sinv_k(D) \leq t$ is NP-complete;
$(iv):$ if $T$ is a tournament of order at least $2k+1$, then $sinv'_k(T) \leq sinv_k(T) \leq 2k$, and $sinv'_k(T) \leq \frac{4}{3}k+o(k)$;
$(v):\frac{1}{2}\log(2k+1) \leq sinv'_k(T) \leq sinv_k(T)$ for some tournament $T$ of order $2k+1$;
$(vi):$ if $T$ is a tournament of order at least $19k-2$ (resp. $11k-2$), then $sinv'_k(T) \leq sinv_k(T) \leq 1$ (resp. $sinv_k(T) \leq 3$);
$(vii):$ for every $ε>0$, there exists $C$ such that $sinv'_k(T) \leq sinv_k(T) \leq C$ for every tournament $T$ on at least $2k+1 + εk$ vertices.
Polynomial bounds for chromatic number VIII. Excluding a path and a complete multipartite graph
Published
• View Publication
• BIB
We prove that for every path H, and every integer d, there is a polynomial f such that every graph G with chromatic number greater than f(t) either contains H as an induced subgraph, or contains as a subgraph the complete d-partite graph with parts of cardinality t. For t = 1 and general d this is a classical theorem of Gyárfás, and for d = 2 and general t this is a theorem of Bonamy et al.
On the distribution of eigenvalues in families of Cayley graphs
Published in European J. of Mathematics (2024) Volume 10, article number 49
• View Publication
• BIB
We consider the family of undirected Cayley graphs associated with odd cyclic groups, and study statistics for the eigenvalues in their spectra. Our results are motivated by analogies between arithmetic geometry and graph theory.
Some results on the saturation number for unions of cliques
Published
• View Publication
• BIB
Graph $G$ is $H$-saturated if $H$ is not a subgraph of $G$ and $H$ is a subgraph of $G+e$ for any edge $e$ not in $G$. The saturation number for a graph $H$ is the minimal number of edges in any $H$-saturated graph of order $n$. In this paper, the saturation number for $K_p\cup (t-1)K_q$ ($t\geqslant 3$ and $2\leqslant p<q$) is determined, and the extremal graph for $K_p\cup 2K_q$ is determined. Moreover, the saturation number and the extremal graph for $K_p\cup K_q\cup K_r$ ($ r\geqslant p+q$) are completely determined.
Positive and Negative Square Energies of Graphs
Published in Electron. J. Linear Algebra 39 (2023)
• View Publication
• BIB
The energy of a graph $G$ is the sum of the absolute values of the eigenvalues of the adjacency matrix of $G$. Let $s^+(G), s^-(G)$ denote the sum of the squares of the positive and negative eigenvalues of $G$, respectively. It was conjectured by [Elphick, Farber, Goldberg, Wocjan, Discrete Math. (2016)] that if $G$ is a connected graph of order $n$, then $s^+(G)\geq n-1$ and $s^-(G) \geq n-1$. In this paper, we show partial results towards this conjecture. In particular, numerous structural results that may help in proving the conjecture are derived, including the effect of various graph operations. These are then used to establish the conjecture for several graph classes, including graphs with certain fraction of positive eigenvalues and unicyclic graphs.
On the Homotopy Type of the Polyhedral Join over the Independence Complex of a Forest
Published
• View Publication
• BIB
We consider a certain class of simplicial complexes which includes the independence complexes of forests. We show that if a simplicial complex $K$ belongs to this class, then the polyhedral join $\mathcal{Z}^*_{K}(\underline{X}, \emptyset)$ is homotopy equivalent to a wedge sum of CW complexes of the form $Σ^r X_{i_1} * X_{i_2} * \cdots * X_{i_k}$, where $\underline{X}$ is a family $\{X_i\}_{i \in V(K)}$ of CW complexes and $Σ$ denotes the unreduced suspension. This result is applied to study the homotopy type of the independence complex of the lexicographic product $G[H]$ of a graph $H$ over a forest $G$. We denote by $L_m$ a tree on $m$ vertices with no branches. We show that the geometric realization of the independence complex of $L_m [H]$ is homotopy equivalent to a wedge sum of spheres if $m \neq 2,3$ and the geometric realization of the independence complex of $H$ is homotopy equivalent to a wedge sum of same dimensional spheres.
On regular graphs with Šoltés vertices
Let $W(G)$ be the Wiener index of a graph $G$. We say that a vertex $v \in V(G)$ is a Šoltés vertex in $G$ if $W(G - v) = W(G)$, i.e. the Wiener index does not change if the vertex $v$ is removed. In 1991, Šoltés posed the problem of identifying all connected graphs $G$ with the property that all vertices of $G$ are Šoltés vertices. The only such graph known to this day is $C_{11}$. As the original problem appears to be too challenging, several relaxations were studied: one may look for graphs with at least $k$ Šoltés vertices; or one may look for $α$-Šoltés graphs, i.e. graphs where the ratio between the number of Šoltés vertices and the order of the graph is at least $α$. Note that the original problem is, in fact, to find all $1$-Šoltés graphs. We intuitively believe that every $1$-Šoltés graph has to be regular and has to possess a high degree of symmetry. Therefore, we are interested in regular graphs that contain one or more Šoltés vertices. In this paper, we present several partial results. For every $r\ge 1$ we describe a construction of an infinite family of cubic $2$-connected graphs with at least $2^r$ Šoltés vertices. Moreover, we report that a computer search on publicly available collections of vertex-transitive graphs did not reveal any $1$-Šoltés graph. We are only able to provide examples of large $\frac{1}{3}$-Šoltés graphs that are obtained by truncating certain cubic vertex-transitive graphs. This leads us to believe that no $1$-Šoltés graph other than $C_{11}$ exists.
A topological quantum field theory approach to graph coloring
In this paper, we use a topological quantum field theory (TQFT) to define families of new homology theories of a $2$-dimensional CW complex of a smooth closed surface. The dimensions of these homology groups can be used to count the number of ways that each face of the CW complex can be colored with one of $n$ colors so that no two adjacent faces have the same color. We use these homologies to define new invariants of graphs, give new characterizations of well-known polynomial invariants of graphs, and rephrase and offer new approaches to famous conjectures about graph coloring. In particular, we show that the TQFT has the potential to generate $4$-face colorings of a bridgeless planar graph, leading to a constructive approach to the four color theorem. The TQFT has ramifications for the study of smooth surfaces and provides examples of new types of Frobenius algebras.
A Jump of the Saturation Number in Random Graphs?
Published
• View Publication
• BIB
For graphs $G$ and $F$, the saturation number $\textit{sat}(G,F)$ is the minimum number of edges in an inclusion-maximal $F$-free subgraph of $G$. In 2017, Korándi and Sudakov initiated the study of saturation in random graphs. They showed that for constant $p\in (0,1)$, whp $\textit{sat}\left(G(n,p),K_s\right)=\left(1+o(1)\right)n\log_{\frac{1}{1-p}}n$.
We show that for every graph $F$ and every constant $p\in (0,1)$, whp $\textit{sat}\left(G(n,p), F\right)=O(n\ln n)$. Furthermore, if every edge of $F$ belongs to a triangle, then the above is the right asymptotic order of magnitude, that is, whp $\textit{sat}\left(G(n,p),F\right)=Θ(n\ln n)$. We further show that for a large family of graphs $\mathcal{F}$ with an edge that does not belong to a triangle, which includes all the bipartite graphs, for every $F\in \mathcal{F}$ and constant $p\in(0,1)$, whp $\textit{sat}\left(G(n,p),F\right)=O(n)$. We conjecture that this sharp transition from $O(n)$ to $Θ(n\ln n)$ depends only on this property, that is, that for any graph $F$ with at least one edge that does not belong to a triangle, whp $\textit{sat}\left(G(n,p),F\right)=O(n)$.
We further generalise the result of Korándi and Sudakov, and show that for a more general family of graphs $\mathcal{F}'$, including all complete graphs $K_s$ and all complete multipartite graphs of the form $K_{1,1,s_3,\ldots, s_{\ell}}$, for every $F\in \mathcal{F}'$ and every constant $p\in(0,1)$, whp $\textit{sat}\left(G(n,p),F\right)=\left(1+o(1)\right)n\log_{\frac{1}{1-p}}n$. Finally, we show that for every complete multipartite graph $K_{s_1, s_2, \ldots, s_{\ell}}$ and every $p\in \left[\frac{1}{2},1\right)$, $\textit{sat}\left(G(n,p),K_{s_1,s_2,\ldots,s_{\ell}}\right)=\left(1+o(1)\right)n\log_{\frac{1}{1-p}}n$.