arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34995 papers tagged with this keyword
2011-03-09
On the number of cut locus structures on graphs
We proved in another paper that every connected graph can be realized as the cut locus of some point on some riemannian surface. Here we give upper bounds on the number of such realizations.
Graphs with two crossings are 5-choosable
Published • View Publication • BIB
A graph G is k-choosable if G can be properly colored whenever every vertex has a list of at least k available colors. Thomassen's theorem states that every planar graph is 5-choosable. We extend the result by showing that every graph with at most two crossings is 5-choosable.
On the Chromatic Thresholds of Hypergraphs
Published in Combinator. Probab. Comp. 25 (2016) 172-212 • View Publication • BIB
Let F be a family of r-uniform hypergraphs. The chromatic threshold of F is the infimum of all non-negative reals c such that the subfamily of F comprising hypergraphs H with minimum degree at least $c \binom{|V(H)|}{r-1}$ has bounded chromatic number. This parameter has a long history for graphs (r=2), and in this paper we begin its systematic study for hypergraphs. Łuczak and Thomassé recently proved that the chromatic threshold of the so-called near bipartite graphs is zero, and our main contribution is to generalize this result to r-uniform hypergraphs. For this class of hypergraphs, we also show that the exact Turán number is achieved uniquely by the complete (r+1)-partite hypergraph with nearly equal part sizes. This is one of very few infinite families of nondegenerate hypergraphs whose Turán number is determined exactly. In an attempt to generalize Thomassen's result that the chromatic threshold of triangle-free graphs is 1/3, we prove bounds for the chromatic threshold of the family of 3-uniform hypergraphs not containing {abc, abd, cde}, the so-called generalized triangle. In order to prove upper bounds we introduce the concept of fiber bundles, which can be thought of as a hypergraph analogue of directed graphs. This leads to the notion of fiber bundle dimension, a structural property of fiber bundles that is based on the idea of Vapnik-Chervonenkis dimension in hypergraphs. Our lower bounds follow from explicit constructions, many of which use a hypergraph analogue of the Kneser graph. Using methods from extremal set theory, we prove that these Kneser hypergraphs have unbounded chromatic number. This generalizes a result of Szemerédi for graphs and might be of independent interest. Many open problems remain.
2011-03-08
On The b-Chromatic Number of Regular Graphs Without 4-Cycle
Published • View Publication • BIB
The b-chromatic number of a graph $G$, denoted by $φ(G)$, is the largest integer $k$ that $G$ admits a proper $k$-coloring such that each color class has a vertex that is adjacent to at least one vertex in each of the other color classes. We prove that for each $d$-regular graph $G$ which contains no 4-cycle, $φ(G)\geq\lfloor\frac{d+3}{2}\rfloor$ and if $G$ has a triangle, then $φ(G)\geq\lfloor\frac{d+4}{2}\rfloor$. Also, if $G$ is a $d$-regular graph which contains no 4-cycle and $diam(G)\geq6$, then $φ(G)=d+1$. Finally, we show that for any $d$-regular graph $G$ which does not contain 4-cycle and $κ(G)\leq\frac{d+1}{2}$, $φ(G)=d+1$.
2011-03-08 v2
Harmonic Galois theory for finite graphs
Published in Advanced Studies in Pure Mathematics, 63 (2012) 121-140 • View Publication • BIB
This paper develops a harmonic Galois theory for finite graphs, thereby classifying harmonic branched $G$-covers of a fixed base $X$ in terms of homomorphisms from a suitable fundamental group of $X$ together with $G$-inertia structures on $X$. As applications, we show that finite embedding problems for graphs have proper solutions and prove a Grunwald-Wang type result stating that an arbitrary collection of fibers may be realized by a global cover.
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.