graph
34665 papers tagged with this keyword
On finite subnormal Cayley graphs
Published
• View Publication
• BIB
In this paper we introduce and study a type of Cayley graph -- subnormal Cayley graph. We prove that a subnormal 2-arc transitive Cayley graph is a normal Cayley graph or a normal cover of a complete bipartite graph $K_{p^d,p^d}$ with $p$ prime. Then we obtain a generic method for constructing half-symmetric (namely edge transitive but not arc transitive) Cayley graphs.
Perfect matching and distance spectral radius in graphs and bipartite graphs
Published
• View Publication
• BIB
A perfect matching in a graph $G$ is a set of nonadjacent edges covering every vertex of $G$. Motivated by recent progress on the relations between the eigenvalues and the matching number of a graph, in this paper, we aim to present a distance spectral radius condition to guarantee the existence of a perfect matching. Let $G$ be an $n$-vertex connected graph where $n$ is even and $λ_{1}(D(G))$ be the distance spectral radius of $G$. Then the following statements are true.
\noindent$\rm{I)}$ If $4\le n\le10$ and ${λ}_{1} (D\left(G\right))\le {λ}_{1} (D(S_{n,{\frac{n}{2}}-1}))$, then $G$ contains a perfect matching unless $G\cong S_{n,{\frac{n}{2}-1}}$ where $S_{n,{\frac{n}{2}-1}}\cong K_{{\frac{n}{2}-1}}\vee ({\frac{n}{2}+1})K_1$.
\noindent$\rm{II)}$ If $n\ge 12$ and ${λ}_{1} (D\left(G\right))\le {λ}_{1} (D(G^*))$, then $G$ contains a perfect matching unless $G\cong G^*$ where $G^*\cong K_1\vee (K_{n-3}\cup2K_1)$.
Moreover, if $G$ is a connected $2n$-vertex balanced bipartite graph with $λ_{1}(D(G))\le λ_{1}(D(B_{n-1,n-2})) $, then $G$ contains a perfect matching, unless $G\cong B_{n-1,n-2}$ where $B_{n-1,n-2}$ is obtained from $K_{n,n-2}$ by attaching two pendent vertices to a vertex in the $n$-vertex part.
A continuous generalization of domination-like invariants
Published
• View Publication
• BIB
In this paper, we define a new domination-like invariant of graphs. Let $\mathbb{R}^{+}$ be the set of non-negative numbers. Let $c\in \mathbb{R}^{+}-\{0\}$ be a number, and let $G$ be a graph. A function $f:V(G)\rightarrow \mathbb{R}^{+}$ is a $c$-self-dominating function of $G$ if for every $u\in V(G)$, $f(u)\geq c$ or $\max\{f(v):v\in N_{G}(u)\}\geq 1$. The $c$-self-domination number $γ^{c}(G)$ of $G$ is defined as $γ^{c}(G):=\min\{\sum_{u\in V(G)}f(u):f$ is a $c$-self-dominating function of $G\}$. Then $γ^{1}(G)$, $γ^{\infty }(G)$ and $γ^{\frac{1}{2}}(G)$ are equal to the domination number, the total domination number and the half of the Roman domination number of $G$, respectively. Our main aim is to continuously fill in the gaps among such three invariants. In this paper, we give a sharp upper bound of the $c$-self-domination number for all $c\geq \frac{1}{2}$.
On the number of isolate dominating sets of certain graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $S\subseteq V$ such that every vertex not in $S$ is adjacent to at least one vertex in $S$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $S$ is an isolate dominating set of $G$, if the induced subgraph $G[S]$ has at least one isolated vertex. The isolate domination number, $γ_0(G)$, is the minimum cardinality of an isolate dominating set of $G$. In this paper, we count the number of isolate dominating sets of some specific graphs.
Complete minors in digraphs with given dichromatic number
The dichromatic number $\vecχ(D)$ of a digraph $D$ is the smallest $k$ for which it admits a $k$-coloring where every color class induces an acyclic subgraph. Inspired by Hadwiger's conjecture for undirected graphs, several groups of authors have recently studied the containment of directed graph minors in digraphs with given dichromatic number. In this short note we improve several of the existing bounds and prove almost linear bounds by reducing the problem to a recent result of Postle on Hadwiger's conjecture.
On the depth of binomial edge ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a graph on the vertex set $[n]$ and $J_G$ the associated binomial edge ideal in the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n,y_1,\ldots,y_n]$. In this paper we investigate the depth of binomial edge ideals. More precisely, we first establish a combinatorial lower bound for the depth of $S/J_G$ based on some graphical invariants of $G$. Next, we combinatorially characterize all binomial edge ideals $J_G$ with $\mathrm{depth}\hspace{1.2mm}S/J_G=5$. To achieve this goal, we associate a new poset $\mathcal{M}_G$ with the binomial edge ideal of $G$, and then elaborate some topological properties of certain subposets of $\mathcal{M}_G$ in order to compute some local cohomology modules of $S/J_G$.
On Aharoni's rainbow generalization of the Caccetta-Häggkvist conjecture
Published in Discrete Mathematics, Volume 344, Issue 5, 2021, 112319
• View Publication
• BIB
For a digraph $G$ and $v \in V(G)$, let $δ^+(v)$ be the number of out-neighbors of $v$ in $G$. The Caccetta-Häggkvist conjecture states that for all $k \ge 1$, if $G$ is a digraph with $n = |V(G)|$ such that $δ^+(v) \ge k$ for all $v \in V(G)$, then G contains a directed cycle of length at most $\lceil n/k \rceil$. In [2], Aharoni proposes a generalization of this conjecture, that a simple edge-colored graph on $n$ vertices with $n$ color classes, each of size $k$, has a rainbow cycle of length at most $\lceil n/k \rceil$. In this paper, we prove this conjecture if each color class has size $Ω(k \log k)$.
Rooted prism-minors and disjoint cycles containing a specified edge
Published
• View Publication
• BIB
Dirac and Lovász independently characterized the $3$-connected graphs with no pair of vertex-disjoint cycles. Equivalently, they characterized all $3$-connected graphs with no prism-minors. In this paper, we completely characterize the $3$-connected graphs with an edge that is contained in the union of no pair of vertex-disjoint cycles. As applications, we answer the analogous questions for edge-disjoint cycles and for $4$-connected graphs and we completely characterize the $3$-connected graphs with no prism-minor using a specified edge.
The Mostar index of Fibonacci and Lucas cubes
Published
• View Publication
• BIB
The Mostar index of a graph was defined by Došlić, Martinjak, Škrekovski, Tipurić Spužević and Zubac in the context of the study of the properties of chemical graphs. It measures how far a given graph is from being distance-balanced. In this paper, we determine the Mostar index of two well-known families of graphs: Fibonacci cubes and Lucas cubes.
Strong edge colorings of graphs and the covers of Kneser graphs
Published
• View Publication
• BIB
A proper edge coloring of a graph is strong if it creates no bichromatic path of length three. It is well known that for a strong edge coloring of a $k$-regular graph at least $2k-1$ colors are needed. We show that a $k$-regular graph admits a strong edge coloring with $2k-1$ colors if and only if it covers the Kneser graph $K(2k-1,k-1)$. In particular, a cubic graph is strongly $5$-edge-colorable whenever it covers the Petersen graph. One of the implications of this result is that a conjecture about strong edge colorings of subcubic graphs proposed by Faudree et al. [Ars Combin. 29 B (1990), 205--211] is false.
On the multiplicity of $Aα$-eigenvalues and the rank of complex unit gain graphs
Let $ Φ=(G, \varphi) $ be a connected complex unit gain graph ($ \mathbb{T} $-gain graph) on a simple graph $ G $ with $ n $ vertices and maximum vertex degree $ Δ$. The associated adjacency matrix and degree matrix are denoted by $ A(Φ) $ and $ D(Φ) $, respectively. Let $ m_α(Φ,λ) $ be the multiplicity of $ λ$ as an eigenvalue of $ A_α(Φ) :=αD(Φ)+(1-α)A(Φ)$, for $ α\in[0,1) $. In this article, we establish that $ m_α(Φ, λ)\leq \frac{(Δ-2)n+2}{Δ-1}$, and characterize the classes of graphs for which the equality hold. Furthermore, we establish a couple of bounds for the rank of $A(Φ)$ in terms of the maximum vertex degree and the number of vertices. One of the main results extends a result known for unweighted graphs and simplifies the proof in [15], and other results provide better bounds for $r(Φ)$ than the bounds known in [8].
Circumference of essentially 4-connected planar triangulations
Published in Journal of Graph Algorithms and Applications vol. 25, no. 1, pp. 121-132 (2021)
• View Publication
• BIB
A $3$-connected graph $G$ is essentially $4$-connected if, for any $3$-cut $S\subseteq V(G)$ of $G$, at most one component of $G-S$ contains at least two vertices. We prove that every essentially $4$-connected maximal planar graph $G$ on $n$ vertices contains a cycle of length at least $\frac{2}{3}(n+4)$; moreover, this bound is sharp.
Mixed-Integer Approaches to Constrained Optimum Communication Spanning Tree Problem
Several novel mixed-integer linear and bilinear formulations are proposed for the optimum communication spanning tree problem. They implement the distance-based approach: graph distances are directly modeled by continuous, integral, or binary variables, and interconnection between distance variables is established using the recursive Bellman-type conditions or using matrix equations from algebraic graph theory. These non-linear relations are used either directly giving rise to the bilinear formulations, or, through the big-M reformulation, resulting in the linear programs. A branch-and-bound framework of Gurobi 9.0 optimization software is employed to compare performance of the novel formulations on the example of an optimum requirement spanning tree problem with additional vertex degree constraints. Several real-world requirements matrices from transportation industry are used to generate a number of examples of different size, and computational experiments show the superiority of the two novel linear distance-based formulations over the the traditional multicommodity flow model.
Improvements on induced subgraphs of given sizes
Published
• View Publication
• BIB
Given integers $m$ and $f$, let $S_n(m,f)$ consist of all integers $e$ such that every $n$-vertex graph with $e$ edges contains an $m$-vertex induced subgraph with $f$ edges, and let $σ(m,f)=\limsup_{n\rightarrow\infty} |S_n(m,f)|/\binom{n}{2}$. As a natural extension of an extremal problem of Erdős, this was investigated by Erdős, Füredi, Rothschild and Sós twenty years ago. Their main result indicates that integers in $S_n(m,f)$ are rare for most pairs $(m,f)$, though they also found infinitely many pairs $(m,f)$ whose $σ(m,f)$ is a fixed positive constant. Here we aim to provide some improvements on this study. Our first result shows that $σ(m,f)\leq \frac12$ holds for all but finitely many pairs $(m,f)$ and the constant $\frac12$ cannot be improved. This answers a question of Erdős et. al. Our second result considers infinitely many pairs $(m,f)$ of special forms, whose exact values of $σ(m,f)$ were conjectured by Erdős et. al. We partially solve this conjecture (only leaving two open cases) by making progress on some constructions which are related to number theory. Our proofs are based on the research of Erdős et. al and involve different arguments in number theory. We also discuss some related problems.
Trivalent vertex-transitive graphs with infinite vertex-stabilizers
We study groups acting vertex-transitively on connected, trivalent graphs such that stabilizers of vertices are infinite. If the action is edge-transitive, we prove that the graph has to be a tree. We analyze the case where the action is not edge-transitive and fully classify the possible $2$-ended graphs. We draw connections to Willis' scale function and re-prove a result by Trofimov.
Kempe equivalence of $4$-critical planar graphs
Published
• View Publication
• BIB
Answering a question of Mohar from 2007, we show that for every $4$-critical planar graph, its set of $4$-colorings is a Kempe class.
Asymptotics of the Number of Endpoints of a Random Walk on a Certain Class of Directed Metric Graphs
Published
• View Publication
• BIB
A certain class of directed metric graphs is considered. Asymptotics for a number of possible endpoints of a random walk at large times is found.
Generalized saturation problems for cliques, paths, and stars
A graph $G$ is $F$-saturated if it does not contain any copy of $F$, but the addition of any missing edge in $G$ creates at least one copy of $F$. Inspired by work of Alon and Shikhelman regarding a similar question for $F$-free graphs, Kritschgau, Methuku, Tait, and Timmons introduced the parameter of $\text{sat}_H(n,F)$ to denote the minimum number of copies of some subgraph $H$ in an $F$-saturated graph on $n$ vertices. In this paper, we address this generalized saturation problem with special focus on $\text{sat}_{K_r}(n,S_t)$ and $\text{sat}_{S_r}(n,S_t)$ This relates to recent work by Chakraborti and Loh regarding $\text{sat}_{K_r}(n,K_t)$ and by Ergemlidze, Methuku, Tait, and Timmons regarding $\text{sat}_{S_r}(n,K_t)$. We also provide some results regarding paths and arbitrary trees.
Treewidth of the $q$-Kneser graphs
Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$, where $q$ is a prime power. Define the \emph{generalized $q$-Kneser graph} $K_q(n,k,t)$ to be the graph whose vertices are the $k$-dimensional subspaces of $V$ and two vertices $F_1$ and $F_2$ are adjacent if $\dim(F_1\cap F_2)<t$. Then $K_q(n,k,1)$ is the well-known $q$-Kneser graph. In this paper, we determine the treewidth of $K_q(n,k,t)$ for $n\geq 2t(k-t+1)+k+1$ and $t\ge 1$ exactly. Note that $K_q(n,k,k-1)$ is the complement of the Grassmann graph $G_q(n,k)$. We give a more precise result for the treewidth of $\overline{G_q(n,k)}$ for any possible $n$, $k$ and $q$.
Transformations of Rectangular Dualizable Graphs
A plane graph is said to be a rectangular graph if each of its edges can be oriented horizontal or vertical, its internal regions are four-sided and it has a rectangular enclosure. If dual of a planar graph is a rectangular graph, then the graph is said to be a rectangular dualizable graph (RDG). In this paper, we present adjacency transformations between RDGs and present polynomial time algorithms for their transformations. An RDG $\mathcal{G}=(V, E)$ is called maximal RDG (MRDG) if there does not exist an RDG $\mathcal{G'}=(V, E')$ with $E' \supset E$. An RDG $\mathcal{G}=(V, E)$ is said to be an edge-reducible if there exists an RDG $\mathcal{G'}=(V, E')$ such that $E\supset E'$. If an RDG is not edge-reducible, it is said to be an edge-irreducible RDG. We show that there always exists an MRDG for a given RDG. We also show that an MRDG is edge-reducible and can always be transformed to a minimal one (an edge-irreducible RDG).