graph
35299 papers tagged with this keyword
Base Size Sets and Determining Sets
Published
• View Publication
• BIB
Bridging the work of Cameron, Harary, and others, we examine the base size set B(G) and determining set D(G) of several families of groups. The base size set is the set of base sizes of all faithful actions of the group G on finite sets. The determining set is the subset of B(G) obtained by restricting the actions of G to automorphism groups of finite graphs. We show that for finite abelian groups, B(G)=D(G)={1,2,...,k} where k is the number of elementary divisors of G. We then characterize B(G) and D(G) for dihedral groups of the form D_{p^k} and D_{2p^k}. Finally, we prove B(G) is not equal to D(G) for dihedral groups of the form D_{pq} where p and q are distinct odd primes.
Acyclic Edge Coloring through the Lovász Local Lemma
Published in Theoretical Computer Science 665 (2017): 40-50
• View Publication
• BIB
We give a probabilistic analysis of a Moser-type algorithm for the Lovász Local Lemma (LLL), adjusted to search for acyclic edge colorings of a graph. We thus improve the best known upper bound to acyclic chromatic index, also obtained by analyzing a similar algorithm, but through the entropic method (basically counting argument). Specifically we show that a graph with maximum degree $Δ$ has an acyclic proper edge coloring with at most $\lceil 3.74(Δ-1)\rceil+1 $ colors, whereas, previously, the best bound was $4(Δ-1)$. The main contribution of this work is that it comprises a probabilistic analysis of a Moser-type algorithm applied to events pertaining to dependent variables.
Matchings in vertex-transitive bipartite graphs
A theorem of A. Schrijver asserts that a $d$-regular bipartite graph on $2n$ vertices has at least $$\left(\frac{(d-1)^{d-1}}{d^{d-2}}\right)^n$$ perfect matchings. L. Gurvits gave an extension of Schrijver's theorem for matchings of density $p$. In this paper we give a stronger version of Gurvits's theorem in the case of vertex-transitive bipartite graphs. This stronger version in particular implies that for every positive integer $k$, there exists a positive constant $c(k)$ such that if a $d$-regular vertex-transitive bipartite graph on $2n$ vertices contains a cycle of length at most $k$, then it has at least $$\left(\frac{(d-1)^{d-1}}{d^{d-2}}+c(k)\right)^n$$ perfect matchings.
We also show that if $(G_i)$ is a Benjamini--Schramm convergent graph sequence of vertex-transitive bipartite graphs, then $$\frac{\ln pm(G_i)}{v(G_i)}$$ is convergent, where $pm(G)$ and $v(G)$ denote the number of perfect matchings and the number of vertices of $G$, respectively.
We also show that if $G$ is $d$-regular vertex-transitive bipartite graph on $2n$ vertices and $m_k(G)$ denote the number of matchings of size $k$, and $$M(G,t)=1+m_1(G)t+m_2(G)t^2+\dots +m_n(G)t^n=\prod_{k=1}^n(1+γ_k(G)t),$$ where $γ_1(G)\leq \dots \leq γ_n(G)$, then $$γ_k(G)\geq \frac{d^2}{4(d-1)}\frac{k^2}{n^2},$$ and $$\frac{m_{n-1}(G)}{m_n(G)}\leq \frac{2}{d}n^2.$$ The latter result improves on a previous bound of C. Kenyon, D. Randall and A. Sinclair. There are examples of $d$-regular bipartite graphs for which these statements fail to be true without the condition of vertex-transitivity.
On the distribution of distances in homogeneous compact metric spaces
Published
• View Publication
• BIB
We provide a simple proof that in any homogeneous, compact metric space of diameter $D$, if one finds the average distance $A$ achieved in $X$ with respect to some isometry invariant Borel probability measure, then $$\frac{D}{2} \leq A \leq D.$$ This result applies equally to vertex-transitive graphs and to compact, connected, homogeneous Riemannian manifolds.
We then classify the cases where one of the extremes occurs. In particular any homogeneous compact metric space where $A=\frac{D}{2}$ possesses a strict antipodal property which implies in particular that the distribution of distances in $X$ is symmetric about $\frac{D}{2}$ which is hence both mean and median of the distribution.
In particular, we show that the only closed, connected, positive-dimensional Riemannian manifolds with this strict antipodal property are spheres.
A spectral lower bound for the divisorial gonality of metric graphs
Published
• View Publication
• BIB
Let $Γ$ be a compact metric graph, and denote by $Δ$ the Laplace operator on $Γ$ with the first non-trivial eigenvalue $λ_1$. We prove the following Yang-Li-Yau type inequality on divisorial gonality $γ_{div}$ of $Γ$. There is a universal constant $C$ such that \[γ_{div}(Γ) \geq C \frac{μ(Γ) . \ell_{\min}^{\mathrm{geo}}(Γ). λ_1(Γ)}{d_{\max}},\] where the volume $μ(Γ)$ is the total length of the edges in $Γ$, $\ell_{\min}^{\mathrm{geo}}$ is the minimum length of all the geodesic paths between points of $Γ$ of valence different from two, and $d_{\max}$ is the largest valence of points of $Γ$. Along the way, we also establish discrete versions of the above inequality concerning finite simple graph models of $Γ$ and their spectral gaps.
Domination, Eternal Domination, and Clique Covering
Published
• View Publication
• BIB
Eternal and m-eternal domination are concerned with using mobile guards to protect a graph against infinite sequences of attacks at vertices. Eternal domination allows one guard to move per attack, whereas more than one guard may move per attack in the m-eternal domination model. Inequality chains consisting of the domination, eternal domination, m-eternal domination, independence, and clique covering numbers of graph are explored in this paper. Among other results, we characterize bipartite and triangle-free graphs with domination and eternal domination numbers equal to two, trees with equal m-eternal domination and clique covering numbers, and two classes of graphs with equal domination, eternal domination and clique covering numbers.
A relative of Hadwiger's conjecture
Published in SIAM J. Discrete Math., 29(2015)(4), pp. 2385-2388
• View Publication
• BIB
Hadwiger's conjecture asserts that if a simple graph $G$ has no $K_{t+1}$ minor, then its vertex set $V(G)$ can be partitioned into $t$ stable sets. This is still open, but we prove under the same hypotheses that $V(G)$ can be partitioned into $t$ sets $X_1,\ldots, X_t$, such that for $1\le i\le t$, the subgraph induced on $X_i$ has maximum degree at most a function of $t$. This is sharp, in that the conclusion becomes false if we ask for a partition into $t-1$ sets with the same property.
Estimating the distance Estrada index
Suppose $G$ is a simple graph on $n$ vertices. The $D$-eigenvalues $μ_1,μ_2,\cdots,μ_n$ of $G$ are the eigenvalues of its distance matrix. The distance Estrada index of $G$ is defined as $DEE(G)=\sum_{i=1}^ne^{μ_i}$. In this paper, we establish new lower and upper bounds for $DEE(G)$ in terms of the Wiener index $W(G)$. We also compute the distance Estrada index for some concrete graphs including the buckminsterfullerene $C_{60}$.
Laplacian spectral characterization of dumbbell graphs and theta graphs
Published in Discrete Mathematics, Algorithms and Applications Vol. 8, No. 2 (2016) 1650028
• View Publication
• BIB
Let $P_n$ and $C_n$ denote the path and cycle on $n$ vertices respectively. The dumbbell graph, denoted by $D_{p,k,q}$, is the graph obtained from two cycles $C_p$, $C_q$ and a path $P_{k+2}$ by identifying each pendant vertex of $P_{k+2}$ with a vertex of a cycle respectively. The theta graph, denoted by $Θ_{r,s,t}$, is the graph formed by joining two given vertices via three disjoint paths $P_{r}$, $P_{s}$ and $P_{t}$ respectively. In this paper, we prove that all dumbbell graphs as well as theta graphs are determined by their Laplacian spectra.
Characteristic flows on signed graphs and short circuit covers
We generalise to signed graphs a classical result of Tutte [Canad. J. Math. 8 (1956), 13--28] stating that every integer flow can be expressed as a sum of characteristic flows of circuits. In our generalisation, the rôle of circuits is taken over by signed circuits of a signed graph which occur in two types -- either balanced circuits or pairs of disjoint unbalanced circuits connected with a path intersecting them only at its ends. As an application of this result we show that a signed graph $G$ admitting a nowhere-zero $k$-flow has a covering with signed circuits of total length at most $2(k-1)|E(G)|$.
Most switching classes with primitive automorphism groups contain graphs with trivial groups
The operation of switching a graph $Γ$ with respect to a subset $X$ of the vertex set interchanges edges and non-edges between $X$ and its complement, leaving the rest of the graph unchanged. This is an equivalence relation on the set of graphs on a given vertex set, so we can talk about the automorphism group of a switching class of graphs.
It might be thought that switching classes with many automorphisms would have the property that all their graphs also have many automorphisms. However the main theorem of this paper shows a different picture: with finitely many exceptions, if a non-trivial switching class $\mathcal{S}$ has primitive automorphism group, then it contains a graph whose automorphism group is trivial. We also find all the exceptional switching classes; up to complementation, there are just six.
Complexity of Grundy coloring and its variants
Published
• View Publication
• BIB
The Grundy number of a graph is the maximum number of colors used by the greedy coloring algorithm over all vertex orderings. In this paper, we study the computational complexity of GRUNDY COLORING, the problem of determining whether a given graph has Grundy number at least $k$. We also study the variants WEAK GRUNDY COLORING (where the coloring is not necessarily proper) and CONNECTED GRUNDY COLORING (where at each step of the greedy coloring algorithm, the subgraph induced by the colored vertices must be connected).
We show that GRUNDY COLORING can be solved in time $O^*(2.443^n)$ and WEAK GRUNDY COLORING in time $O^*(2.716^n)$ on graphs of order $n$. While GRUNDY COLORING and WEAK GRUNDY COLORING are known to be solvable in time $O^*(2^{O(wk)})$ for graphs of treewidth $w$ (where $k$ is the number of colors), we prove that under the Exponential Time Hypothesis (ETH), they cannot be solved in time $O^*(2^{o(w\log w)})$. We also describe an $O^*(2^{2^{O(k)}})$ algorithm for WEAK GRUNDY COLORING, which is therefore $\fpt$ for the parameter $k$. Moreover, under the ETH, we prove that such a running time is essentially optimal (this lower bound also holds for GRUNDY COLORING). Although we do not know whether GRUNDY COLORING is in $\fpt$, we show that this is the case for graphs belonging to a number of standard graph classes including chordal graphs, claw-free graphs, and graphs excluding a fixed minor. We also describe a quasi-polynomial time algorithm for GRUNDY COLORING and WEAK GRUNDY COLORING on apex-minor graphs. In stark contrast with the two other problems, we show that CONNECTED GRUNDY COLORING is $\np$-complete already for $k=7$ colors.
A relaxation of the Bordeaux Conjecture
Published
• View Publication
• BIB
A $(c_1,c_2,...,c_k)$-coloring of $G$ is a mapping $\varphi:V(G)\mapsto\{1,2,...,k\}$ such that for every $i,1 \leq i \leq k$, $G[V_i]$ has maximum degree at most $c_i$, where $G[V_i]$ denotes the subgraph induced by the vertices colored $i$. Borodin and Raspaud conjecture that every planar graph without intersecting triangles and $5$-cycles is $3$-colorable. We prove in this paper that every planar graph without intersecting triangles and $5$-cycles is (2,0,0)-colorable.
Maxima of the signless Laplacian spectral radius for planar graphs
Published
• View Publication
• BIB
The signless Laplacian spectral radius of a graph is the largest eigenvalue of its signless Laplacian. In this paper, we prove that the graph $K_{2}\nabla P_{n-2}$ has the maximal signless Laplacian spectral radius among all planar graphs of order $n\geq 456$.
Protecting a Graph with Mobile Guards
Published
• View Publication
• BIB
Mobile guards on the vertices of a graph are used to defend it against attacks on either its vertices or its edges. Various models for this problem have been proposed. In this survey we describe a number of these models with particular attention to the case when the attack sequence is infinitely long and the guards must induce some particular configuration before each attack, such as a dominating set or a vertex cover. Results from the literature concerning the number of guards needed to successfully defend a graph in each of these problems are surveyed.
The Sparing Number of the Cartesian Products of Certain Graphs
Published in Communications in Mathematics and Applications, Vol.5 Issue 1, 2014, 23-30
• Search Publication
Let $\mathbb{N}_0$ be the set of all non-negative integers. An integer additive set-indexer (IASI) is defined as an injective function $f:V(G)\rightarrow \mathcal{P}(\mathbb{N}_0)$ such that the induced function $f^+:E(G) \rightarrow \mathcal{P}(\mathbb{N}_0)$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective, where $f(u)+f(v)$ is the sumset of $f(u)$ and $f(v)$ and $\mathcal{P}(\mathbb{N}_0)$ is the power set of $\mathbb{N}_0$. If $f^+(uv)=k \forall ~ uv\in E(G)$, then $f$ is said to be a $k$-uniform integer additive set-indexer. An integer additive set-indexer $f$ is said to be a weak integer additive set-indexer if $|f^+(uv)|=max(|f(u)|,|f(v)|) \forall ~ uv\in E(G)$. In this paper, we study about the sparing number of the cartesian product of two graphs.
A Study on the Sparing Number of the Corona of Certain Graphs
Published in Research & Reviews: Discrete Mathematical Structures, Vol.1, Issue 2, 2014, 5-15
• Search Publication
An integer additive set-indexer (IASI) is defined as an injective function $f:V(G)\rightarrow \mathcal{P}(\mathbb{N}_0)$ such that the induced function $f^+:E(G) \rightarrow \mathcal{P}(\mathbb{N}_0)$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective, where $f(u)+f(v)$ is the sumset of $f(u)$ and $f(v)$ and $\mathcal{P}(\mathbb{N}_0)$ is the power set of $\mathbb{N}_0$. If $f^+(uv)=k \forall uv\in E(G)$, then $f$ is said to be a $k$-uniform integer additive set-indexer. An integer additive set-indexer $f$ is said to be a weak integer additive set-indexer if $|f^+(uv)|=max(|f(u)|,|f(v)|) \forall ~ uv\in E(G)$. We have some characteristics of the graphs which admit weak integer additive set-indexers. In this paper, we study about the sparing number of the corona of two graphs.
On the tractability of some natural packing, covering and partitioning problems
In this paper we fix 7 types of undirected graphs: paths, paths with prescribed endvertices, circuits, forests, spanning trees, (not necessarily spanning) trees and cuts. Given an undirected graph $G=(V,E)$ and two "object types" $\mathrm{A}$ and $\mathrm{B}$ chosen from the alternatives above, we consider the following questions. \textbf{Packing problem:} can we find an object of type $\mathrm{A}$ and one of type $\mathrm{B}$ in the edge set $E$ of $G$, so that they are edge-disjoint? \textbf{Partitioning problem:} can we partition $E$ into an object of type $\mathrm{A}$ and one of type $\mathrm{B}$? \textbf{Covering problem:} can we cover $E$ with an object of type $\mathrm{A}$, and an object of type $\mathrm{B}$? This framework includes 44 natural graph theoretic questions. Some of these problems were well-known before, for example covering the edge-set of a graph with two spanning trees, or finding an $s$-$t$ path $P$ and an $s'$-$t'$ path $P'$ that are edge-disjoint. However, many others were not, for example can we find an $s$-$t$ path $P\subseteq E $ and a spanning tree $T\subseteq E$ that are edge-disjoint? Most of these previously unknown problems turned out to be NP-complete, many of them even in planar graphs. This paper determines the status of these 44 problems. For the NP-complete problems we also investigate the planar version, for the polynomial problems we consider the matroidal generalization (wherever this makes sense).
Separation dimension of bounded degree graphs
Published
• View Publication
• BIB
The 'separation dimension' of a graph $G$ is the smallest natural number $k$ for which the vertices of $G$ can be embedded in $\mathbb{R}^k$ such that any pair of disjoint edges in $G$ can be separated by a hyperplane normal to one of the axes. Equivalently, it is the smallest possible cardinality of a family $\mathcal{F}$ of total orders of the vertices of $G$ such that for any two disjoint edges of $G$, there exists at least one total order in $\mathcal{F}$ in which all the vertices in one edge precede those in the other. In general, the maximum separation dimension of a graph on $n$ vertices is $Θ(\log n)$. In this article, we focus on bounded degree graphs and show that the separation dimension of a graph with maximum degree $d$ is at most $2^{9log^{\star} d} d$. We also demonstrate that the above bound is nearly tight by showing that, for every $d$, almost all $d$-regular graphs have separation dimension at least $\lceil d/2\rceil$.
Partitioning two-coloured complete multipartite graphs into monochromatic paths and cycles
Published
• View Publication
• BIB
We show that any complete $k$-partite graph $G$ on $n$ vertices, with $k \ge 3$, whose edges are two-coloured, can be covered with two vertex-disjoint monochromatic paths of distinct colours. We prove this under the necessary assumption that the largest partition class of $G$ contains at most $n/2$ vertices. This extends known results for complete and complete bipartite graphs.
Secondly, we show that in the same situation, all but $o(n)$ vertices of the graph can be covered with two vertex-disjoint monochromatic cycles of distinct colours, if colourings close to a split colouring are excluded. From this we derive that the whole graph, if large enough, may be covered with 14 vertex-disjoint monochromatic cycles.