graph
34905 papers tagged with this keyword
Decomposable edge polytopes of finite graphs
Edge polytopes is a class of interesting polytope with rich algebraic and combinatorial properties, which was introduced by Ohsugi and Hibi. In this papar, we follow a previous study on cutting edge polytopes by Hibi, Li and Zhang. Instead of focusing on the algeraic properties of the subpolytopes as the previous study, in this paper, we take a closer look on the graphs whose edge polytopes are decomposable. In particular, we answer two important questions raised in the previous study about 1) the relationship between type I and type II decomposable graphs and 2) description of decomposable graphs.
On Maximum Signless Laplacian Estrada Indices of Graphs with Given Parameters
Published in ARS Mathematica Contemporanea 11, no. 2 (2016): 381-389
• View Publication
• BIB
Signless Laplacian Estrada index of a graph $G$, defined as $SLEE(G)=\sum^{n}_{i=1}e^{q_i}$, where $q_1, q_2, \cdots, q_n$ are the eigenvalues of the matrix $\mathbf{Q}(G)=\mathbf{D}(G)+\mathbf{A}(G)$. We determine the unique graphs with maximum signless Laplacian Estrada indices among the set of graphs with given number of cut edges, pendent vertices, (vertex) connectivity and edge connectivity.
A note on nowhere-zero 3-flow and Z_3-connectivity
Published in Ars Math. Contemp. 10 (2016) 91-98
• View Publication
• BIB
There are many major open problems in integer flow theory, such as Tutte's 3-flow conjecture that every 4-edge-connected graph admits a nowhere-zero 3-flow, Jaeger et al.'s conjecture that every 5-edge-connected graph is $Z_3$-connected and Kochol's conjecture that every bridgeless graph with at most three 3-edge-cuts admits a nowhere-zero 3-flow (an equivalent version of 3-flow conjecture). Thomassen proved that every 8-edge-connected graph is $Z_3$-connected and therefore admits a nowhere-zero 3-flow. Furthermore, Lov$\acute{a}$sz, Thomassen, Wu and Zhang improved Thomassen's result to 6-edge-connected graphs. In this paper, we prove that: (1) Every 4-edge-connected graph with at most seven 5-edge-cuts admits a nowhere-zero 3-flow. (2) Every bridgeless graph containing no 5-edge-cuts but at most three 3-edge-cuts admits a nowhere-zero 3-flow. (3) Every 5-edge-connected graph with at most five 5-edge-cuts is $Z_3$-connected. Our main theorems are partial results to Tutte's 3-flow conjecture, Kochol's conjecture and Jaeger et al.'s conjecture, respectively.
Deciding the On-line Chromatic Number of a Graph with Pre-Coloring is PSPACE-Complete
Published
• View Publication
• BIB
The problem of determining if the on-line chromatic number of a graph is less than or equal to k, given a pre-coloring, is shown to be PSPACE-complete.
Isolating highly connected induced subgraphs
Published in SIAM Journal on Discrete Mathematics, 30:592-619, 2016
• View Publication
• BIB
We prove that any graph $G$ of minimum degree greater than $2k^2-1$ has a $(k+1)$-connected induced subgraph $H$ such that the number of vertices of $H$ that have neighbors outside of $H$ is at most $2k^2-1$. This generalizes a classical result of Mader, which states that a high minimum degree implies the existence of a highly connected subgraph. We give several variants of our result, and for each of these variants, we give asymptotics for the bounds. We also we compute optimal values for the case when $k=2$. Alon, Kleitman, Saks, Seymour, and Thomassen proved that in a graph of high chromatic number, there exists an induced subgraph of high connectivity and high chromatic number. We give a new proof of this theorem with a better bound.
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.