arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35150 papers tagged with this keyword
2011-03-07 v4
Chromatic polynomials of complements of bipartite graphs
Published • View Publication • BIB
Bicliques are complements of bipartite graphs; as such each consists of two cliques joined by a number of edges. In this paper we study algebraic aspects of the chromatic polynomials of these graphs. We derive a formula for the chromatic polynomial of an arbitrary biclique, and use this to give certain conditions under which two of the graphs have chromatic polynomials with the same splitting field. Finally, we use a subfamily of bicliques to prove the cubic case of the $α+n$ conjecture, by showing that for any cubic integer $α$, there is a natural number $n$ such that $α+n$ is a chromatic root.
2011-03-06
On dynamic monopolies of graphs with general thresholds
Published • View Publication • BIB
Let $G$ be a graph and ${\mathcalτ}: V(G)\rightarrow \Bbb{N}$ be an assignment of thresholds to the vertices of $G$. A subset of vertices $D$ is said to be dynamic monopoly (or simply dynamo) if the vertices of $G$ can be partitioned into subsets $D_0, D_1,..., D_k$ such that $D_0=D$ and for any $i=1,..., k-1$ each vertex $v$ in $D_{i+1}$ has at least $t(v)$ neighbors in $D_0\cup ...\cup D_i$. Dynamic monopolies are in fact modeling the irreversible spread of influence such as disease or belief in social networks. We denote the smallest size of any dynamic monopoly of $G$, with a given threshold assignment, by $dyn(G)$. In this paper we first define the concept of a resistant subgraph and show its relationship with dynamic monopolies. Then we obtain some lower and upper bounds for the smallest size of dynamic monopolies in graphs with different types of thresholds. Next we introduce dynamo-unbounded families of graphs and prove some related results. We also define the concept of a homogenious society that is a graph with probabilistic thresholds satisfying some conditions and obtain a bound for the smallest size of its dynamos. Finally we consider dynamic monopoly of line graphs and obtain some bounds for their sizes and determine the exact values in some special cases.
2011-03-05 v2
The competition number of a graph and the dimension of its hole space
Published in Applied Mathematics Letters 25 (2012) 638-642 • View Publication • BIB
The competition graph of a digraph D is a (simple undirected) graph which has the same vertex set as D and has an edge between x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with sufficiently many isolated vertices is the competition graph of some acyclic digraph. The competition number k(G) of G is the smallest number of such isolated vertices. In general, it is hard to compute the competition number k(G) for a graph G and it has been one of important research problems in the study of competition graphs to characterize a graph by its competition number. Recently, the relationship between the competition number and the number of holes of a graph is being studied. A hole of a graph is a cycle of length at least 4 as an induced subgraph. In this paper, we conjecture that the dimension of the hole space of a graph is no smaller than the competition number of the graph. We verify this conjecture for various kinds of graphs and show that our conjectured inequality is indeed an equality for connected triangle-free graphs.
2011-03-05
A version of Tutte's polynomial for hypergraphs
Tutte's dichromate T(x,y) is a well known graph invariant. Using the original definition in terms of internal and external activities as our point of departure, we generalize the valuations T(x,1) and T(1,y) to hypergraphs. In the definition, we associate activities to hypertrees, which are generalizations of the indicator function of the edge set of a spanning tree. We prove that hypertrees form a lattice polytope which is the set of bases in a polymatroid. In fact, we extend our invariants to integer polymatroids as well. We also examine hypergraphs that can be represented by planar bipartite graphs, write their hypertree polytopes in the form of a determinant, and prove a duality property that leads to an extension of Tutte's Tree Trinity Theorem.
Associated primes of powers of edge ideals
Published in Collect. Math. 63 (2012), no. 3, 361--374 • View Publication • BIB
Let G be a graph and let I be its edge ideal. Our main result shows that the sets of associated primes of the powers of I form an ascending chain. It is known that the sets of associated primes of I(i) and intcl(I(i)) stabilize for large i, where "intcl" denotes integral closure and I(i) denotes the i-th power of I. We show that for edge ideals their corresponding stable sets are equal. To show our main result we use a classical result of Berge from matching theory and certain notions from combinatorial optimization.
2011-03-03
Factors of disconnected graphs and polynomials with nonnegative integer coefficients
Published • View Publication • BIB
We investigate the uniqueness of factorisation of possibly disconnected finite graphs with respect to the Cartesian, the strong and the direct product. It is proved that if a graph has $n$ connected components, where $n$ is prime, or $n=1,4,8,9$, and satisfies some additional conditions, it factors uniquely under the given products. If, on the contrary, $n=6$ or 10, all cases of nonunique factorisation are described precisely.
Connectivity threshold for Bluetooth graphs
Published • View Publication • BIB
We study the connectivity properties of random Bluetooth graphs that model certain "ad hoc" wireless networks. The graphs are obtained as "irrigation subgraphs" of the well-known random geometric graph model. There are two parameters that control the model: the radius $r$ that determines the "visible neighbors" of each node and the number of edges $c$ that each node is allowed to send to these. The randomness comes from the underlying distribution of data points in space and from the choices of each vertex. We prove that no connectivity can take place with high probability for a range of parameters $r, c$ and completely characterize the connectivity threshold (in $c$) for values of $r$ close the critical value for connectivity in the underlying random geometric graph.
2011-03-02
On the theta number of powers of cycle graphs
Published • View Publication • BIB
We give a closed formula for Lovasz theta number of the powers of cycle graphs and of their complements, the circular complete graphs. As a consequence, we establish that the circular chromatic number of a circular perfect graph is computable in polynomial time. We also derive an asymptotic estimate for this theta number.
2011-03-02
Lattices, graphs, and Conway mutation
Published • View Publication • BIB
The d-invariant of an integral, positive definite lattice L records the minimal norm of a characteristic covector in each equivalence class mod 2L. We prove that the 2-isomorphism type of a connected graph is determined by the d-invariant of its lattice of integral cuts (or flows). As an application, we prove that a reduced, alternating link diagram is determined up to mutation by the Heegaard Floer homology of the link's branched double-cover. Thus, alternating links with homeomorphic branched double-covers are mutants.
2011-03-02
Pegging Numbers For Various Tree Graphs
In the game of pegging, each vertex of a graph is considered a hole into which a peg can be placed. A pegging move is performed by jumping one peg over another peg, and then removing the peg that has been jumped over from the graph. We define the pegging number as the smallest number of pegs needed to reach all the vertices in a graph no matter what the distribution. Similarly, the optimal-pegging number of a graph is defined as the smallest distribution of pegs for which all the vertices in the graph can be reached. We obtain tight bounds on the pegging numbers and optimal-pegging numbers of complete binary trees and compute the optimal-pegging numbers of complete infinitary trees. As a result of these computations, we deduce that there is a tree whose optimal-pegging number is strictly increased by removing a leaf. We also compute the optimal-pegging number of caterpillar graphs and the tightest upper bound on the optimal-pegging numbers of lobster graphs.
2011-03-01
Cycle-saturated graphs with minimum number of edges
A graph $G$ is called $H$-saturated if it does not contain any copy of $H$, but for any edge $e$ in the complement of $G$ the graph $G+e$ contains some $H$. The minimum size of an $n$-vertex $H$-saturated graph is denoted by $\sat(n,H)$. We prove $$\sat(n,C_k) = n + n/k + O((n/k^2) + k^2)$$ holds for all $n\geq k\geq 3$, where $C_k$ is a cycle with length $k$. We have a similar result for semi-saturated graphs $$\ssat(n,C_k) = n + n/(2k) + O((n/k^2) + k).$$ We conjecture that our three constructions are optimal.
2011-03-01 v2
On the relation between quantum walks and zeta functions
Published in Quantum Information Processing, Vol.11, No.2, pp.341-349 (2012) • View Publication • BIB
We present an explicit formula for the characteristic polynomial of the transition matrix of the discrete-time quantum walk on a graph via the second weighted zeta function. As applications, we obtain new proofs for the results on spectra of the transition matrix and its positive support.
2011-03-01 v3
Counting loopy graphs with given degrees
Published in Linear Algebra and its Applications, 436,4 (2012) 901-926 • View Publication • BIB
Let d=(d_1,d_2,..., d_n) be a vector of non-negative integers. We study the number of symmetric 0-1 matrices whose row sum vector equals d. While previous work has focussed on the case of zero diagonal, we allow diagonal entries to equal 1. When forming the row sum, each diagonal entry is multiplied by a factor of D, where D is 1 or 2. The case D=1 corresponds to enumeration by the usual row sum of matrices. The case D=2 corresponds to enumeration by degree sequence of undirected graphs with loops but no repeated edges, due to the convention that a loop contributes 2 to the degree of its incident vertex. We obtain asymptotically precise formulae for the number of matrices in the sparse range (where, roughly, the maximum row sum is o(n^{1/2})), and in the dense range (where, roughly, the average row sum is proportional to n and the row sums do not vary greatly).
2011-03-01
Cellular Algebras and Graph Invariants Based on Quantum Walks
Published • View Publication • BIB
We consider two graph invariants inspired by quantum walks- one in continuous time and one in discrete time. We will associate a matrix algebra called a cellular algebra with every graph. We show that, if the cellular algebras of two graphs have a similar structure, then they are not distinguished by either of the proposed invariants.
2011-02-28 v2
Complex Hadamard Matrices and Strongly Regular Graphs
Over forty years ago, Goethals and Seidel showed that if the adjacency algebra of a strongly regular graph $X$ contains a Hadamard matrix then $X$ is either of Latin square type or of negative Latin square type. We extend their result to complex Hadamard matrices and find only three additional families of parameters for which the strongly regular graphs have complex Hadamard matrices in their adjacency algebras. Moreover we show that there are only three distance regular covers of the complete graph that give complex Hadamard matrices.
Typical distances in ultrasmall random networks
Published • View Publication • BIB
We show that in preferential attachment models with power-law exponent $τ\in(2,3)$ the distance between randomly chosen vertices in the giant component is asymptotically equal to $(4+o(1))\, \frac{\log\log N}{-\log (τ-2)}$, where $N$ denotes the number of nodes. This is twice the value obtained for several types of configuration models with the same power-law exponent. The extra factor reveals the different structure of typical shortest paths in preferential attachment graphs.
2011-02-28
The competition number of a graph in which any two holes share at most one edge
The competition graph of a digraph D is a (simple undirected) graph which has the same vertex set as D and has an edge between x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with sufficiently many isolated vertices is the competition graph of some acyclic digraph. The competition number k(G) of G is the smallest number of such isolated vertices. In general, it is hard to compute the competition number k(G) for a graph G and it has been one of important research problems in the study of competition graphs to characterize a graph by its competition number. A hole of a graph is a cycle of length at least 4 as an induced subgraph. It holds that the competition number of a graph cannot exceed one plus the number of its holes if G satisfies a certain condition. In this paper, we show that the competition number of a graph with exactly h holes any two of which share at most one edge is at most h+1, which generalizes the existing results on this subject.
Optimizing the Graph Minors Weak Structure Theorem
Published • View Publication • BIB
One of the major results of [N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 63(1):65--110, 1995], also known as the weak structure theorem, revealed the local structure of graphs excluding some graph as a minor: each such graph $G$ either has small treewidth or contains the subdivision of a wall that can be arranged "bidimensionally" inside $G$, given that some small set of vertices are removed. We prove an optimized version of that theorem where (i) the relation between the treewidth of the graph and the height of the wall is linear (thus best possible) and (ii) the number of vertices to be removed is minimized.
On Volumes of Permutation Polytopes
Published • View Publication • BIB
This paper focuses on determining the volumes of permutation polytopes associated to cyclic groups, dihedral groups, groups of automorphisms of tree graphs, and Frobenius groups. We do this through the use of triangulations and the calculation of Ehrhart polynomials. We also present results on the theta body hierarchy of various permutation polytopes.
2011-02-27
Minimum multicuts and Steiner forests for Okamura-Seymour graphs
We study the problem of finding minimum multicuts for an undirected planar graph, where all the terminal vertices are on the boundary of the outer face. This is known as an Okamura-Seymour instance. We show that for such an instance, the minimum multicut problem can be reduced to the minimum-cost Steiner forest problem on a suitably defined dual graph. The minimum-cost Steiner forest problem has a 2-approximation algorithm. Hence, the minimum multicut problem has a 2-approximation algorithm for an Okamura-Seymour instance.