graph
35299 papers tagged with this keyword
On Integer Additive set-Sequential Graphs
A set-labeling of a graph $G$ is an injective function $f:V(G)\to \mathcal{P}(X)$, where $X$ is a finite set of non-negative integers and a set-indexer of $G$ is a set-labeling such that the induced function $f^{\oplus}:E(G)\rightarrow \mathcal{P}(X)-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus}f(v)$ for every $uv{\in} E(G)$ is also injective. A set-indexer $f:V(G)\to \mathcal{P}(X)$ is called a set-sequential labeling of $G$ if $f^{\oplus}(V(G)\cup E(G))=\mathcal{P}(X)-\{\emptyset\}$. A graph $G$ which admits a set-sequential labeling is called a set-sequential graph. An integer additive set-labeling is an injective function $f:V(G)\rightarrow \mathcal{P}(\mathbb{N}_0)$, $\mathbb{N}_0$ is the set of all non-negative integers and an integer additive set-indexer is an integer additive set-labeling 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. In this paper, we extend the concepts of set-sequential labeling to integer additive set-labelings of graphs and provide some results on them.
Saturated Subgraphs of the Hypercube
Published
• View Publication
• BIB
We say $G$ is \emph{$(Q_n,Q_m)$-saturated} if it is a maximal $Q_m$-free subgraph of the $n$-dimensional hypercube $Q_n$. A graph, $G$, is said to be $(Q_n,Q_m)$-semi-saturated if it is a subgraph of $Q_n$ and adding any edge forms a new copy of $Q_m$. The minimum number of edges a $(Q_n,Q_m)$-saturated graph (resp. $(Q_n,Q_m)$-semi-saturated graph) can have is denoted by $sat(Q_n,Q_m)$ (resp. $s\text{-}sat(Q_n,Q_m)$). We prove that $ \lim_{n\to\infty}\frac{sat(Q_n,Q_m)}{e(Q_n)}=0$, for fixed $m$, disproving a conjecture of Santolupo that, when $m=2$, this limit is $\frac{1}{4}$. Further, we show by a different method that $sat(Q_n, Q_2)=O(2^n)$, and that $s\text{-}sat(Q_n, Q_m)=O(2^n)$, for fixed $m$. We also prove the lower bound $s-sat(Q_n,Q_2)\geq \frac{m+1}{2}\cdot 2^n$, thus determining $sat(Q_n,Q_2)$ to within a constant factor, and discuss some further questions.
Computing the partition function for graph homomorphisms
Published
• View Publication
• BIB
We introduce the partition function of edge-colored graph homomorphisms, of which the usual partition function of graph homomorphisms is a specialization, and present an efficient algorithm to approximate it in a certain domain. Corollaries include efficient algorithms for computing weighted sums approximating the number of k-colorings and the number of independent sets in a graph, as well as an efficient procedure to distinguish pairs of edge-colored graphs with many color-preserving homomorphisms G --> H from pairs of graphs that need to be substantially modified to acquire a color-preserving homomorphism G --> H.
The lower tail: Poisson approximation revisited
Published in Random Structures and Algorithms 48 (2016), 219-246
• View Publication
• BIB
The well-known "Janson's inequality" gives Poisson-like upper bounds for the lower tail probability \Pr(X \le (1-\eps)\E X) when X is the sum of dependent indicator random variables of a special form. We show that, for large deviations, this inequality is optimal whenever X is approximately Poisson, i.e., when the dependencies are weak. We also present correlation-based approaches that, in certain symmetric applications, yield related conclusions when X is no longer close to Poisson. As an illustration we, e.g., consider subgraph counts in random graphs, and obtain new lower tail estimates, extending earlier work (for the special case \eps=1) of Janson, Luczak and Rucinski.
Skew Randić Matrix and Skew Randić Energy
Let $G$ be a simple graph with an orientation $σ$, which assigns to each edge a direction so that $G^σ$ becomes a directed graph. $G$ is said to be the underlying graph of the directed graph $G^σ$. In this paper, we define a weighted skew adjacency matrix with Randć weight, the skew Randić matrix ${\bf R_S}(G^σ)$, of $G^σ$ as the real skew symmetric matrix $[(r_s)_{ij}]$ where $(r_s)_{ij} = (d_id_j)^{-\frac{1}{2}}$ and $(r_s)_{ji} = -(d_id_j)^{-\frac{1}{2}}$ if $v_i \rightarrow v_j$ is an arc of $G^σ$, otherwise $(r_s)_{ij} = (r_s)_{ji} = 0$. We derive some properties of the skew Randić energy of an oriented graph. Most properties are similar to those for the skew energy of oriented graphs. But, surprisingly, the extremal oriented graphs with maximum or minimum skew Randić energy are completely different.
On the Smallest Eigenvalue of Grounded Laplacian Matrices
Published
• View Publication
• BIB
We provide upper and lower bounds on the smallest eigenvalue of grounded Laplacian matrices (which are matrices obtained by removing certain rows and columns of the Laplacian matrix of a given graph). The gap between the upper and lower bounds depends on the ratio of the smallest and largest components of the eigenvector corresponding to the smallest eigenvalue of the grounded Laplacian. We provide a graph-theoretic bound on this ratio, and subsequently obtain a tight characterization of the smallest eigenvalue for certain classes of graphs. Specifically, for Erdos-Renyi random graphs, we show that when a (sufficiently small) set $S$ of rows and columns is removed from the Laplacian, and the probability $p$ of adding an edge is sufficiently large, the smallest eigenvalue of the grounded Laplacian asymptotically almost surely approaches $|S|p$. We also show that for random $d$-regular graphs with a single row and column removed, the smallest eigenvalue is $Θ(\frac{d}{n})$. Our bounds have applications to the study of the convergence rate in continuous-time and discrete-time consensus dynamics with stubborn or leader nodes.
Elias Bound for General Distances and Stable Sets in Edge-Weighted Graphs
Published
• View Publication
• BIB
This paper presents an extension of the Elias bound on the minimum distance of codes for discrete alphabets with general, possibly infinite-valued, distances. The bound is obtained by combining a previous extension of the Elias bound, introduced by Blahut, with an extension of a bound previously introduced by the author which builds upon ideas of Gallager, Lovász and Marton. The result can in fact be interpreted as a unification of the Elias bound and of Lovász's bound on graph (or zero-error) capacity, both being recovered as particular cases of the one presented here. Previous extensions of the Elias bound by Berlekamp, Blahut and Piret are shown to be included as particular cases of our bound. Applications to the reliability function are then discussed.
Cascades and Obstructions of Low Connectivity for Embedding Graphs into the Klein Bottle
The structure of graphs with a 2-vertex-cut that are critical with respect to the Euler genus is studied. A general theorem describing the building blocks is presented. These constituents, called hoppers and cascades, are classified for the case when Euler genus is small. As a consequence, the complete list of obstructions of connectivity 2 for embedding graphs into the Klein bottle is obtained.
On the order of Borel subgroups of group amalgams and an application to locally-transitive graphs
Published
• View Publication
• BIB
A permutation group is called semiprimitive if each of its normal subgroups is either transitive or semiregular. Given nontrivial finite transitive permutation groups $L_1$ and $L_2$ with $L_1$ not semiprimitive, we construct an infinite family of rank two amalgams of permutation type $[L_1,L_2]$ and Borel subgroups of strictly increasing order. As an application, we show that there is no bound on the order of edge-stabilisers in locally $[L_1,L_2]$ graphs.
We also consider the corresponding question for amalgams of rank $k\geq 3$. We completely resolve this by showing that the order of the Borel subgroup is bounded by the permutation type $[L_1,...,L_k]$ only in the trivial case where each of $L_1,...,L_k$ is regular.
Reconfiguring Independent Sets in Cographs
Two independent sets of a graph are adjacent if they differ on exactly one vertex (i.e. we can transform one into the other by adding or deleting a vertex). Let $k$ be an integer. We consider the reconfiguration graph $TAR_k(G)$ on the set of independent sets of size at least $k$ in a graph $G$, with the above notion of adjacency. Here we provide a cubic-time algorithm to decide whether $TAR_k(G)$ is connected when $G$ is a cograph, thus solving an open question of~[Bonsma 2014]. As a by-product, we also describe a linear-time algorithm which decides whether two elements of $TAR_k(G)$ are in the same connected component.
F-Saturation Games
Published
• View Publication
• BIB
We study F-saturation games, first introduced by Füredi, Reimer and Seress in 1991, and named as such by West. The main question is to determine the length of the game whilst avoiding various classes of graph, playing on a large complete graph. We show lower bounds on the length of path-avoiding games, and more precise results for short paths. We show sharp results for the tree avoiding game and the star avoiding game.
On the competition graphs of $d$-partial orders
In this paper, we study the competition graphs of $d$-partial orders and obtain their characterization which extends results given by Cho and Kim \cite{chokim} in 2005. We also show that any graph can be made into the competition graph of a $d$-partial order for some positive integer $d$ as long as adding isolated vertices is allowed. We then introduce the notion of the partial order competition dimension of a graph and study graphs whose partial order competition dimensions are at most three.
Zigzag Stacks and m-Regular Linear Stacks
Published
• View Publication
• BIB
The contact map of a protein fold is a graph that represents the patterns of contacts in the fold. It is known that the contact map can be decomposed into stacks and queues. RNA secondary structures are special stacks in which the degree of each vertex is at most one and each arc has length at least two. Waterman and Smith derived a formula for the number of RNA secondary structures of length $n$ with exactly $k$ arcs. Höner zu Siederdissen et al. developed a folding algorithm for extended RNA secondary structures in which each vertex has maximum degree two. An equation for the generating function of extended RNA secondary structures was obtained by Müller and Nebel by using a context-free grammar approach, which leads to an asymptotic formula. In this paper, we consider $m$-regular linear stacks, where each arc has length at least $m$ and the degree of each vertex is bounded by two. Extended RNA secondary structures are exactly $2$-regular linear stacks. For any $m\geq 2$, we obtain an equation for the generating function of the $m$-regular linear stacks. For given $m$, we can deduce a recurrence relation and an asymptotic formula for the number of $m$-regular linear stacks on $n$ vertices. To establish the equation, we use the reduction operation of Chen, Deng and Du to transform an $m$-regular linear stack to an $m$-reduced zigzag (or alternating) stack. Then we find an equation for $m$-reduced zigzag stacks leading to an equation for $m$-regular linear stacks.
Characterising the Performance of XOR Games and the Shannon Capacity of Graphs
Published in Phys. Rev. Lett. 113, 240401 (2014)
• View Publication
• BIB
In this paper we give a set of necessary and sufficient conditions such that quantum players of a two-party {\sc xor} game cannot perform any better than classical players. With any such game, we associate a graph and examine its zero-error communication capacity. This allows us to specify a broad new class of graphs for which the Shannon capacity can be calculated. The conditions also enable the parametrisation of new families of games which have no quantum advantage, for arbitrary input probability distributions up to certain symmetries. In the future, these might be used in information-theoretic studies on reproducing the set of quantum non-local correlations.
Explorations of edge-weighted Cayley graphs and p-ary bent functions
Let f be a function mapping an n dimensional vector space over GF(p) to GF(p). When p is 2, Bernasconi et al. have shown that there is a correspondence between certain properties of f (e.g., if it is bent) and properties of its associated Cayley graph. Analogously, but much earlier, Dillon showed that f is bent if and only if the "level curves" of f had certain combinatorial properties (again, only when p is 2). The attempt is to investigate an analogous theory when p is greater than 2 using the (apparently new) combinatorial concept of a weighted partial difference set. More precisely, we try to investigate which properties of the Cayley graph of f can be characterized in terms of function-theoretic properties of f, and which function-theoretic properties of f correspond to combinatorial properties of the set of "level curves", i.e., the inverse map of f. While the natural generalizations of the Bernasconi correspondence and Dillon correspondence are not true in general, using extensive computations, we are able to determine a classification in some small cases. Our main conjecture is Conjecture 67.
Cover time of a random graph with a degree sequence II: Allowing vertices of degree two
Published
• View Publication
• BIB
We study the cover time of a random graph chosen uniformly at random from the set of graphs with vertex set $[n]$ and degree sequence $\mathbf{d}=(d_i)_{i=1}^n$. In a previous work, the asymptotic cover time was obtained under a number of assumptions on $\mathbf{d}$, the most significant being that $d_i\geq 3$ for all $i$. Here we replace this assumption by $d_i\geq 2$. As a corollary, we establish the asymptotic cover time for the 2-core of the emerging giant component of $\mathcal{G}(n,p)$.
Induced Cycles in Graphs
Published
• View Publication
• BIB
The maximum cardinality of an induced $2$-regular subgraph of a graph $G$ is denoted by $c_{\rm ind}(G)$. We prove that if $G$ is an $r$-regular graph of order $n$, then $c_{\rm ind}(G) \geq \frac{n}{2(r-1)} + \frac{1}{(r-1)(r-2)}$ and we prove that if $G$ is a cubic claw-free graph on order $n$, then $c_{\rm ind}(G) > 13n/20$ and this bound is asymptotically best possible.
Generalizing the divisibility property of rectangle domino tilings
Published in Electron. J. Combin., 23(3):#P3-5, 2016
• View Publication
• BIB
We introduce a class of graphs called compound graphs, generalizing rectangles, which are constructed out of copies of a planar bipartite base graph. The main result is that the number of perfect matchings of every compound graph is divisible by the number of matchings of its base graph. Our approach is to use Kasteleyn's theorem to prove a key lemma, from which the divisibility theorem follows combinatorially. This theorem is then applied to provide a proof of Problem 21 of Propp's Enumeration of Matchings, a divisibility property of rectangles. Finally, we present a new proof, in the same spirit, of Ciucu's factorization theorem.
A strict undirected model for the $k$-nearest neighbour graph
Let $G=G_{n,k}$ denote the graph formed by placing points in a square of area $n$ according to a Poisson process of density 1 and joining each pair of points which are both $k$ nearest neighbours of each other. Then $G_{n,k}$ can be used as a model for wireless networks, and has some advantages in terms of applications over the two previous $k$-nearest neighbour models studied by Balister, Bollobás, Sarkar and Walters, who proved good bounds on the connectivity models thresholds for both. However their proofs do not extend straightforwardly to this new model, since it is now possible for edges in different components of $G$ to cross. We get around these problems by proving that near the connectivity threshold, edges will not cross with high probability, and then prove that $G$ will be connected with high probability if $k>0.9684\log n$, which improves a bound for one of the models studied by Balister, Bollobás, Sarkar and Walters too.
Integer round-up property for the chromatic number of some h-perfect graphs
Published
• View Publication
• BIB
A graph is h-perfect if its stable set polytope can be completely described by non-negativity, clique and odd-hole constraints. It is t-perfect if it furthermore has no clique of size 4. For every graph $G$ and every $c\in\mathbb{Z}_{+}^{V(G)}$, the weighted chromatic number of $(G,c)$ is the minimum cardinality of a multi-set $\mathcal{F}$ of stable sets of $G$ such that every $v\in V(G)$ belongs to at least $c_v$ members of $\mathcal{F}$.
We prove that every h-perfect line-graph and every t-perfect claw-free graph $G$ has the integer round-up property for the chromatic number: for every non-negative integer weight $c$ on the vertices of $G$, the weighted chromatic number of $(G,c)$ can be obtained by rounding up its fractional relaxation. In other words, the stable set polytope of $G$ has the integer decomposition property.
Our results imply the existence of a polynomial-time algorithm which computes the weighted chromatic number of t-perfect claw-free graphs and h-perfect line-graphs. Finally, they yield a new case of a conjecture of Goldberg and Seymour on edge-colorings.