graph
35299 papers tagged with this keyword
Largest Eigenvalue of the Laplacian Matrix
We study the eigenspace of the Laplacian matrix of a simple graph corresponding to the largest eigenvalue, subsequently arriving at the theory of modular decomposition of T. Gallai.
On the Strong Roman Domination Number of Graphs
Published
• View Publication
• BIB
Based on the history that the Emperor Constantine decreed that any undefended place (with no legions) of the Roman Empire must be protected by a "stronger" neighbor place (having two legions), a graph theoretical model called Roman domination in graphs was described. A Roman dominating function for a graph $G=(V,E)$, is a function $f:V\rightarrow \{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ has at least a neighbor $w$ in $G$ for which $f(w)=2$. The Roman domination number of a graph is the minimum weight, $\sum_{v\in V}f(v)$, of a Roman dominating function.
In this paper we initiate the study of a new parameter related to Roman domination, which we call strong Roman domination number and denote it by $γ_{StR}(G)$. We approach the problem of a Roman domination-type defensive strategy under multiple simultaneous attacks and begin with the study of several mathematical properties of this invariant. In particular, we first show that the decision problem regarding the computation of the strong Roman domination number is NP-complete, even when restricted to bipartite graphs. We obtain several bounds on such a parameter and give some realizability results for it. Moreover, we prove that for any tree $T$ of order $n\ge 3$, $γ_{StR}(T)\le 6n/7$ and characterize all extremal trees.
Choosability and paintability of the lexicographic product of graphs
Published
• View Publication
• BIB
This paper studies the choice number and paint number of the lexicographic product of graphs. We prove that if $G$ has maximum degree $Δ$, then for any graph $H$ on $n$ vertices $ch(G[H]) \le (4Δ+2)(ch(H) +\log_2 n)$ and $χ_P(G[H]) \le (4Δ+2) (χ_P(H)+ \log_2 n)$.
Cycles of given size in a dense graph
Published
• View Publication
• BIB
We generalise a result of Corrádi and Hajnal and show that every graph with average degree at least $\tfrac{4}{3}kr$ contains $k$ vertex disjoint cycles, each of order at least $r$, as long as $k \geq 6$. This bound is sharp when $r=3$.
Maximal ambiguously k-colorable graphs
Published
• View Publication
• BIB
A graph is ambiguously k-colorable if its vertex set admits two distinct partitions each into at most k anticliques. We give a full characterization of the maximally ambiguously k-colorable graphs in terms of quadratic matrices. As an application, we calculate the maximum number of edges an ambiguously k-colorable graph can have, and characterize the extremal graphs.
Even pairs in square-free Berge graphs with no odd prism
Published
• View Publication
• BIB
We consider the class of Berge graphs that contain no odd prism and no square (cycle on four vertices). We prove that every graph G in this class either is a clique or has an even pair, as conjectured by Everett and Reed. This result is used to devise a polynomial-time algorithm to color optimally every graph in this class.
Reassembling trees for the traveling salesman
Published
• View Publication
• BIB
Many recent approximation algorithms for different variants of the traveling salesman problem (asymmetric TSP, graph TSP, s-t-path TSP) exploit the well-known fact that a solution of the natural linear programming relaxation can be written as convex combination of spanning trees. The main argument then is that randomly sampling a tree from such a distribution and then completing the tree to a tour at minimum cost yields a better approximation guarantee than simply taking a minimum cost spanning tree (as in Christofides' algorithm). We argue that an additional step can help: reassembling the spanning trees before sampling. Exchanging two edges in a pair of spanning trees can improve their properties under certain conditions. We demonstrate the usefulness for the metric s-t-path TSP by devising a deterministic polynomial-time algorithm that improves on Sebő's previously best approximation ratio of 8/5.
Random intersection graphs and their applications in security, wireless communication, and social networks
Random intersection graphs have received much interest and been used in diverse applications. They are naturally induced in modeling secure sensor networks under random key predistribution schemes, as well as in modeling the topologies of social networks including common-interest networks, collaboration networks, and actor networks. Simply put, a random intersection graph is constructed by assigning each node a set of items in some random manner and then putting an edge between any two nodes that share a certain number of items.
Broadly speaking, our work is about analyzing random intersection graphs, and models generated by composing it with other random graph models including random geometric graphs and Erdős-Rényi graphs. These compositional models are introduced to capture the characteristics of various complex natural or man-made networks more accurately than the existing models in the literature. For random intersection graphs and their compositions with other random graphs, we study properties such as ($k$-)connectivity, ($k$-)robustness, and containment of perfect matchings and Hamilton cycles. Our results are typically given in the form of asymptotically exact probabilities or zero-one laws specifying critical scalings, and provide key insights into the design and analysis of various real-world networks.
Cyclotomic graphs and perfect codes
Published
• View Publication
• BIB
We study two families of cyclotomic graphs and perfect codes in them. They are Cayley graphs on the additive group of $\mathbb{Z}[ζ_m]/A$, with connection sets $\{\pm (ζ_m^i + A): 0 \le i \le m-1\}$ and $\{\pm (ζ_m^i + A): 0 \le i \le φ(m) - 1\}$, respectively, where $ζ_m$ ($m \ge 2$) is an $m$th primitive root of unity, $A$ a nonzero ideal of $\mathbb{Z}[ζ_m]$, and $φ$ Euler's totient function. We call them the $m$th cyclotomic graph and the second kind $m$th cyclotomic graph, and denote them by $G_{m}(A)$ and $G^*_{m}(A)$, respectively. We give a necessary and sufficient condition for $D/A$ to be a perfect $t$-code in $G^*_{m}(A)$ and a necessary condition for $D/A$ to be such a code in $G_{m}(A)$, where $t \ge 1$ is an integer and $D$ an ideal of $\mathbb{Z}[ζ_m]$ containing $A$. In the case when $m = 3, 4$, $G_m((α))$ is known as an Eisenstein-Jacobi and Gaussian networks, respectively, and we obtain necessary conditions for $(β)/(α)$ to be a perfect $t$-code in $G_m((α))$, where $0 \ne α, β\in \mathbb{Z}[ζ_m]$ with $β$ dividing $α$. In the literature such conditions are known to be sufficient when $m=4$ and $m=3$ under an additional condition. We give a classification of all first kind Frobenius circulants of valency $2p$ and prove that they are all $p$th cyclotomic graphs, where $p$ is an odd prime. Such graphs belong to a large family of Cayley graphs that are efficient for routing and gossiping.
Infinite symmetric groups and combinatorial constructions of topological field theory type
Published in Russian Mathematical Surveys, 2015, 70:4, 715--773
• View Publication
• BIB
The paper contains a survey of train constructions for infinite symmetric groups and related groups. For certain pairs (a group $G$, a subgroup $K$), we construct categories, whose morphisms are two-dimensional surfaces tiled by polygons and colored in a certain way. A product of morphisms is a gluing of combinatorial bordisms. For a unitary representation of $G$ we assign a functor from the category of bordisms to the category of Hilbert spaces and bounded operators. The construction has numerous variations, instead of surfaces there arise also one-dimensional objects of Brauer diagram type, multi-dimensional pseudomanifolds, bipartite graphs
Blow-up algebras, determinantal ideals, and Dedekind-Mertens-like formulas
Published
• View Publication
• BIB
We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that the initial ideals correspond to vertex decomposable simplicial complexes, and we determine their Hilbert functions and Castelnuovo-Mumford regularities. As a consequence, we find explicit minimal reductions for all Ferrers and many specialized Ferrers ideals, as well as their reduction numbers. These results can be viewed as extensions of the classical Dedekind-Mertens formula for the content of the product of two polynomials.
New bounds on the signed total domination number of graphs
Published in Discussiones Mathematicae Graph Theory, 36 (2016), 467-477
• View Publication
• BIB
In this paper, we study the signed total domination number in graphs and present new sharp lower and upper bounds for this parameter. For example by making use of the classic theorem of Turan, we present a sharp lower bound on this parameter for graphs with no complete graph of order r+1 as a subgraph. Also, we prove that n-2(s-s') is an upper bound on the signed total domination number of any tree of order n with s support vertices and s' support vertives of degree two. Moreover, we characterize all trees attainig this bound.
Subgraph Polytopes and Independence Polytopes of Count Matroids
Published
• View Publication
• BIB
Given an undirected graph, the non-empty subgraph polytope is the convex hull of the characteristic vectors of pairs (F, S) where S is a non-empty subset of nodes and F is a subset of the edges with both endnodes in S. We obtain a strong relationship between the non-empty subgraph polytope and the spanning forest polytope. We further show that these polytopes provide polynomial size extended formulations for independence polytopes of count matroids, which generalizes recent results obtained by Iwata et al. referring to sparsity matroids. As a byproduct, we obtain new lower bounds on the extension complexity of the spanning forest polytope in terms of extension complexities of independence polytopes of these matroids.
Isometric embeddings of polar Grassmannians and metric characterizations of their apartments
Published
• View Publication
• BIB
We describe isometric embeddings of polar Grassmann graphs formed by non-maximal singular subspaces. In almost all cases, they are induced by collinearity preserving injections of polar spaces. As a simple consequence of this result, we get a metric characterization of apartments in polar Grassmannians.
On the minimum degree of minimal Ramsey graphs for multiple colours
Published
• View Publication
• BIB
A graph G is r-Ramsey for a graph H, denoted by G\rightarrow (H)_r, if every r-colouring of the edges of G contains a monochromatic copy of H. The graph G is called r-Ramsey-minimal for H if it is r-Ramsey for H but no proper subgraph of G possesses this property. Let s_r(H) denote the smallest minimum degree of G over all graphs G that are r-Ramsey-minimal for H. The study of the parameter s_2 was initiated by Burr, Erdős, and Lovász in 1976 when they showed that for the clique s_2(K_k)=(k-1)^2. In this paper, we study the dependency of s_r(K_k) on r and show that, under the condition that k is constant, s_r(K_k) = r^2 polylog r. We also give an upper bound on s_r(K_k) which is polynomial in both r and k, and we determine s_r(K_3) up to a factor of log r.
Dominating cycles and forbidden pairs containing a path of order 5
Published
• View Publication
• BIB
A cycle is a graph is dominating if every edge of the graph is incident with a vertex of the cycle. In this paper, we investigate the characterization of the class of the forbidden pairs guaranteeing the existence of a dominating cycle and show the following two results: (i) Every $2$-connected $\{P_{5}, K_{4}^{-}\}$-free graph contains a longest cycle which is a dominating cycle. (ii) Every $2$-connected $\{P_{5}, W^{*}\}$-free graph contains a longest cycle which is a dominating cycle. Here $P_{5}$ is the path of order $5$, $K_{4}^{-}$ is the graph obtained from the complete graph of order $4$ by removing one edge, and $W^{*}$ is a graph obtained from two triangles and an edge by identifying one vertex in each.
Quotient graphs for power graphs
Published
• View Publication
• BIB
In a previous paper of the first author a procedure was developed for counting the components of a graph through the knowledge of the components of its quotient graphs. We apply here that procedure to the proper power graph $\mathcal{P}_0(G)$ of a finite group $G$, finding a formula for the number $c(\mathcal{P}_0(G))$ of its components which is particularly illuminative when $G\leq S_n$ is a fusion controlled permutation group. We make use of the proper quotient power graph $\widetilde{\mathcal{P}}_0(G)$, the proper order graph $\mathcal{O}_0(G)$ and the proper type graph $\mathcal{T}_0(G)$. We show that all those graphs are quotient of $\mathcal{P}_0(G)$ and demonstrate a strong link between them dealing with $G=S_n$. We find simultaneously $c(\mathcal{P}_0(S_n))$ as well as the number of components of $\widetilde{\mathcal{P}}_0(S_n)$, $\mathcal{O}_0(S_n)$ and $\mathcal{T}_0(S_n)$.
On zero-error communication via quantum channels in the presence of noiseless feedback
Published in IEEE Trans. Inf. Theory, vol. 62, no. 9, pp. 5260-5277 (2016)
• View Publication
• BIB
We initiate the study of zero-error communication via quantum channels when the receiver and sender have at their disposal a noiseless feedback channel of unlimited quantum capacity, generalizing Shannon's zero-error communication theory with instantaneous feedback.
We first show that this capacity is a function only of the linear span of Choi-Kraus operators of the channel, which generalizes the bipartite equivocation graph of a classical channel, and which we dub "non-commutative bipartite graph". Then we go on to show that the feedback-assisted capacity is non-zero (with constant activating noiseless communication) if and only if the non-commutative bipartite graph is non-trivial, and give a number of equivalent characterizations. This result involves a far-reaching extension of the "conclusive exclusion" of quantum states [Pusey/Barrett/Rudolph, Nature Phys. 8:475-478].
We then present an upper bound on the feedback-assisted zero-error capacity, motivated by a conjecture originally made by Shannon and proved later by Ahlswede. We demonstrate this bound to have many good properties, including being additive and given by a minimax formula. We also prove that this quantity is the entanglement-assisted capacity against an adversarially chosen channel from the set of all channels with the same Choi-Kraus span, which can also be interpreted as the feedback-assisted unambiguous capacity. The proof relies on a generalization of the "Postselection Lemma" [Christandl/Koenig/Renner, PRL 102:020504] that allows to reflect additional constraints, and which we believe to be of independent interest.
We illustrate our ideas with a number of examples, including classical-quantum channels and Weyl diagonal channels, and close with an extensive discussion of open questions.
Understanding Chicken Walks on n x n Grid: Hamiltonian Paths, Discrete Dynamics and Rectifiable Paths
Published in Mathematical Methods in the Applied Sciences (2015), 38, 15, 3346-3358
• View Publication
• BIB
Understanding animal movements and modelling the routes they travel can be essential in studies of pathogen transmission dynamics. Pathogen biology is also of crucial importance, defining the manner in which infectious agents are transmitted. In this article we investigate animal movement with relevance to pathogen transmission by physical rather than airborne contact, using the domestic chicken and its protozoan parasite Eimeria as an example. We have obtained a configuration for the maximum possible distance that a chicken can walk through straight and non-overlapping paths (defined in this paper) on square grid graphs. We have obtained preliminary results for such walks which can be practically adopted and tested as a foundation to improve understanding of non-airborne pathogen transmission. Linking individual non-overlapping walks within a grid-delineated area can be used to support modeling of the frequently repetitive, overlapping walks characteristic of the domestic chicken, providing a framework to model faecal deposition and subsequent parasite dissemination by faecal/host contact.We also pose an open problem on multiple walks on finite grid graphs. These results grew from biological insights and have potential applications. Keywords: Spread of bird diseases, Eimeria, Maximum walks, longest paths, NP-Complete. MSC: 92A17, 68Q17
Coloring the square of a sparse graph $G$ with almost $Δ(G)$ colors
Published
• View Publication
• BIB
For a graph $G$, let $G^2$ be the graph with the same vertex set as $G$ and $xy \in E(G^2)$ when $x \neq y$ and $d_G(x,y) \leq 2$. Bonamy, Lévêque, and Pinlou conjectured that if $mad (G) < 4 - \frac{2}{c+1}$ and $Δ(G)$ is large, then $χ_\ell(G^2) \leq Δ(G) + c$. We prove that if $c \geq 3$, $mad (G) < 4 - \frac{4}{c+1}$, and $Δ(G)$ is large, then $χ_\ell(G^2) \leq Δ(G) + c$. Dvořák, Krá\soft{l}, Nejedlý, and Škrekovski conjectured that $χ(G^2) \leq Δ(G) +2$ when $Δ(G)$ is large and $G$ is planar with girth at least $5$; our result implies $χ(G^2) \leq Δ(G) +6$.