arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34961 papers tagged with this keyword
2012-10-25
Graphical Cyclic Permutation Groups
Published • View Publication • BIB
We establish conditions for a permutation group generated by a single permutation of a prime power order to be an automorphism group of a graph or an edge-colored graph. This corrects and generalizes the results of the two papers on cyclic permutation groups published in 1978 and 1981 by S. P. Mohanty, M. R. Sridharan, and S. K. Shukla.
2012-10-25
Null and non--rainbow colorings of projective plane and sphere triangulations
Published • View Publication • BIB
For maximal planar graphs of order $n\geq 4$, we prove that a vertex--coloring containing no rainbow faces uses at most $\lfloor\frac{2n-1}{3}\rfloor$ colors, and this is best possible. For maximal graph embedded on the projective plane, we obtain the analogous best bound $\lfloor\frac{2n+1}{3}\rfloor$. The main ingredients in the proofs are classical homological tools. By considering graphs as topological spaces, we introduce the notion of a null coloring, and prove that for any graph $G$ a maximal null coloring $f$ is such that the quotient graph $G/f$ is a forest.
Universality for first passage percolation on sparse random graphs
Published • View Publication • BIB
We consider first passage percolation on sparse random graphs with prescribed degree distributions and general independent and identically distributed edge weights assumed to have a density. Assuming that the degree distribution satisfies a uniform X^2\log{X}-condition, we analyze the asymptotic distribution for the minimal weight path between a pair of typical vertices, as well the number of edges on this path or hopcount. The hopcount satisfies a central limit theorem where the norming constants are expressible in terms of the parameters of an associated continuous-time branching process. Centered by a multiple of \log{n}, where the constant is the inverse of the Malthusian rate of growth of the associated branching process, the minimal weight converges in distribution. The limiting random variable equals the sum of the logarithms of the martingale limits of the branching processes that measure the relative growth of neighborhoods about the two vertices, and a Gumbel random variable, and thus shows a remarkably universal behavior. The proofs rely on a refined coupling between the shortest path problems on these graphs and continuous-time branching processes, and on a Poisson point process limit for the potential closing edges of shortest-weight paths between the source and destination. The results extend to a host of related random graph models, ranging from random r-regular graphs, inhomogeneous random graphs and uniform random graphs with a prescribed degree sequence.
2012-10-25
Well-Covered Graphs Without Cycles of Lengths 4, 5 and 6
Published • View Publication • BIB
A graph G is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function w is defined on its vertices. Then G is w-well-covered if all maximal independent sets are of the same weight. For every graph G, the set of weight functions w such that G is w-well-covered is a vector space. Given an input graph G without cycles of length 4, 5, and 6, we characterize polynomially the vector space of weight functions w for which G is w-well-covered. Let B be an induced complete bipartite subgraph of G on vertex sets of bipartition B_{X} and B_{Y}. Assume that there exists an independent set S such that both the union of S and B_{X} and the union of S and B_{Y} are maximal independent sets of G. Then B is a generating subgraph of G, and it produces the restriction w(B_{X})=w(B_{Y}). It is known that for every weight function w, if G is w-well-covered, then the above restriction is satisfied. In the special case, where B_{X}={x} and B_{Y}={y}, we say that xy is a relating edge. Recognizing relating edges and generating subgraphs is an NP-complete problem. However, we provide a polynomial algorithm for recognizing generating subgraphs of an input graph without cycles of length 5, 6 and 7. We also present a polynomial algorithm for recognizing relating edges in an input graph without cycles of length 5 and 6.
2012-10-25
Rainbow numbers for graphs with cyclomatic number at most two
For a given graph H and n ? 1; let f(n;H) denote the maximum number m for which it is possible to colour the edges of the complete graph Kn with m colours in such a way that each subgraph H in Kn has at least two edges of the same colour. Equivalently, any edge-colouring of Kn with at least rb(n;H) = f(n;H)+1 colours contains a rainbow copy of H: The numbers f(n;H) and rb(Kn;H) are called anti-ramsey numbers and rainbow numbers, respectively. In this paper we will classify the rainbow number for a given graph H with respect to its cyclomatic number. Let H be a graph of order p >= 4 and cyclomatic number v(H) >= 2: Then rb(Kn;H) cannot be bounded from above by a function which is linear in n: If H has cyclomatic number v(H) = 1; then rb(Kn;H) is linear in n: We will compute all rainbow numbers for the bull B; which is the unique graph with 5 vertices and degree sequence (1; 1; 2; 3; 3): Furthermore, we will compute some rainbow numbers for the diamond D = K_4 - e; for K_2;3; and for the house H (complement of P_5).
2012-10-25 v2
Upper bounds for perfect matchings in pfaffian and planar graphs
Published • View Publication • BIB
We give upper bounds on weighted perfect matchings in pfaffian graphs. These upper bounds are better than Bregman's upper bounds on the number of perfect matchings. We show that some of our upper bounds are sharp for 3 and 4-regular pfaffian graphs. We apply our results to fullerene graphs.
2012-10-25 v3
Bounding the weight choosability number of a graph
Let $G = (V,E)$ be a graph, and for each $e \in E(G)$, let $L_e$ be a list of real numbers. Let $w:E(G) \to \cup_{e \in E(G)}L_e$ be an edge weighting function such that $w(e) \in L_e$ for each $e \in E(G)$, and let $c_w$ be the vertex colouring obtained by $c_w(v) = \sum_{e \ni v}w(e)$. We desire the smallest possible $k$ such that, for any choice of $\{L_e \,|\, e \in E(G)\}$ where $|L_e| \geq k$ for all $e \in E(G)$, there exists an edge weighting function $w$ for which $c_w$ is proper. The smallest such value of $k$ is the weight choosability number of $G$. This colouring problem, introduced by Bartnicki, Grytczuk and Niwczyk (2009), is the list variation of the now famous 1-2-3 Conjecture due to Karoński, Łuczak, and Thomason (2004). Bartnicki et al. develop a method for approaching the problem based on the Combinatorial Nullstellensatz. Though they show that some particular classes of graphs have weight choosability number at most $3$, it was known whether their method could be extended to prove a bound which holds for all admissible graphs. In this paper, we show that this is indeed possible, showing that every graph is $(Δ+ d + 1)$-weight choosable, where $Δ$ is the graph's maximum degree and $d$ is its degeneracy. In fact, more general results on total weight choosability are provided, where one assigns weights to edges and vertices. Improved bounds are also established for some classes of graph products.
2012-10-25 v3
Higher dimensional distortion of random complexes
Published • View Publication • BIB
Using the random complexes of Linial and Meshulam, we exhibit a large family of simplicial complexes for which, whenever affinely embedded into Euclidean space, the filling areas of simplicial cycles is greatly distorted. This phenomenon can be regarded as a higher order analogue of the metric distortion of embeddings of random graphs.
2012-10-25
Local Clique Covering of Graphs
Published • View Publication • BIB
A k-clique covering of a simple graph G, is an edge covering of G by its cliques such that each vertex is contained in at most k cliques. The smallest k for which G admits a k-clique covering is called local clique cover number of G and is denoted by $lcc(G)$. Local clique cover number can be viewed as the local counterpart of the clique cover number which is equal to the minimum total number of cliques covering all edges. In this paper, several aspects of the problem are studied and its relationships to other well-known problems are discussed. Moreover, the local clique cover number of claw-free graphs and its subclasses are notably investigated. In particular, it is proved that local clique cover number of every claw-free graph is at most $cΔ/ \logΔ$, where $Δ$ is the maximum degree of the graph and $c$ is a universal constant. It is also shown that the bound is tight, up to a constant factor. Furthermore, it is established that local clique number of the linear interval graphs is bounded by $\logΔ+ 1/2 \log \logΔ+ O(1)$. Finally, as a by-product, a new Bollobas-type inequality is obtained for the intersecting pairs of set systems.
2012-10-25
The inverse inertia problem for the complements of partial $k$-trees
Published • View Publication • BIB
Let $\mathbb{F}$ be an infinite field with characteristic different from two. For a graph $G=(V,E)$ with $V={1,...,n}$, let $S(G;\mathbb{F})$ be the set of all symmetric $n\times n$ matrices $A=[a_{i,j}]$ over $\mathbb{F}$ with $a_{i,j}\not=0$, $i\not=j$ if and only if $ij\in E$. We show that if $G$ is the complement of a partial $k$-tree and $m\geq k+2$, then for all nonsingular symmetric $m\times m$ matrices $K$ over $\mathbb{F}$, there exists an $m\times n$ matrix $U$ such that $U^T K U\in S(G;\mathbb{F})$. As a corollary we obtain that, if $k+2\leq m\leq n$ and $G$ is the complement of a partial $k$-tree, then for any two nonnegative integers $p$ and $q$ with $p+q=m$, there exists a matrix in $S(G;\reals)$ with $p$ positive and $q$ negative eigenvalues.
2012-10-25 v2
On replica symmetry of large deviations in random graphs
Published in Random Structures Algorithms 47 (2015) 109-146 • View Publication • BIB
The following question is due to Chatterjee and Varadhan (2011). Fix $0<p<r<1$ and take $G\sim G(n,p)$, the Erdős-Rényi random graph with edge density $p$, conditioned to have at least as many triangles as the typical $G(n,r)$. Is $G$ close in cut-distance to a typical $G(n,r)$? Via a beautiful new framework for large deviation principles in $G(n,p)$, Chatterjee and Varadhan gave bounds on the replica symmetric phase, the region of $(p,r)$ where the answer is positive. They further showed that for any small enough $p$ there are at least two phase transitions as $r$ varies. We settle this question by identifying the replica symmetric phase for triangles and more generally for any fixed $d$-regular graph. By analyzing the variational problem arising from the framework of Chatterjee and Varadhan we show that the replica symmetry phase consists of all $(p,r)$ such that $(r^d,h_p(r))$ lies on the convex minorant of $x\mapsto h_p(x^{1/d})$ where $h_p$ is the rate function of a binomial with parameter $p$. In particular, the answer for triangles involves $h_p(\sqrt{x})$ rather than the natural guess of $h_p(x^{1/3})$ where symmetry was previously known. Analogous results are obtained for linear hypergraphs as well as the setting where the largest eigenvalue of $G\sim G(n,p)$ is conditioned to exceed the typical value of the largest eigenvalue of $G(n,r)$. Building on the work of Chatterjee and Diaconis (2012) we obtain additional results on a class of exponential random graphs including a new range of parameters where symmetry breaking occurs. En route we give a short alternative proof of a graph homomorphism inequality due to Kahn (2001) and Galvin and Tetali (2004).
2012-10-24
On a relation between the Szeged index and the Wiener index for bipartite graphs
{\small The Wiener index $W(G)$ of a graph $G$ is the sum of the distances between all pairs of vertices in the graph. The Szeged index $Sz(G)$ of a graph $G$ is defined as $Sz(G)=\sum_{e=uv \in E}n_u(e)n_v(e)$ where $n_u(e)$ and $n_v(e)$ are, respectively, the number of vertices of $G$ lying closer to vertex $u$ than to vertex $v$ and the number of vertices of $G$ lying closer to vertex $v$ than to vertex $u$. Hansen used the computer programm AutoGraphiX and made the following conjecture about the Szeged index and the Wiener index for a bipartite connected graph $G$ with $n \geq 4$ vertices and $m \geq n$ edges: $$ Sz(G)-W(G) \geq 4n-8. $$ Moreover the bound is best possible as shown by the graph composed of a cycle on 4 vertices $C_4$ and a tree $T$ on $n-3$ vertices sharing a single vertex. This paper is to give a confirmative proof to this conjecture.
Equitable Colorings of Corona Multiproducts of Graphs
A graph is equitably $k$-colorable if its vertices can be partitioned into $k$ independent sets in such a way that the number of vertices in any two sets differ by at most one. The smallest $k$ for which such a coloring exists is known as the equitable chromatic number of $G$ and denoted $χ_{=}(G)$. It is known that this problem is NP-hard in general case and remains so for corona graphs. In "Equitable colorings of Cartesian products of graphs" (2012) Lin and Chang studied equitable coloring of Cartesian products of graphs. In this paper we consider the same model of coloring in the case of corona products of graphs. In particular, we obtain some results regarding the equitable chromatic number for $l$-corona product $G \circ ^l H$, where $G$ is an equitably 3- or 4-colorable graph and $H$ is an $r$-partite graph, a path, a cycle or a complete graph. Our proofs are constructive in that they lead to polynomial algorithms for equitable coloring of such graph products provided that there is given an equitable coloring of $G$. Moreover, we confirm Equitable Coloring Conjecture for corona products of such graphs. This paper extends our results from \cite{hf}.
2012-10-24 v2
Divisors on graphs, Connected flags, and Syzygies
Published • View Publication • BIB
We study the binomial and monomial ideals arising from linear equivalence of divisors on graphs from the point of view of Gröbner theory. We give an explicit description of a minimal Gröbner bases for each higher syzygy module. In each case the given minimal Gröbner bases is also a minimal generating set. The Betti numbers of the binomial ideal and its natural initial ideal coincide and they correspond to the number of 'connected flags' in the graph. In particular the Betti numbers are independent of the characteristic of the base field. For complete graphs the problem was previously studied by Postnikov and Shapiro and by Manjunath and Sturmfels. The case of a general graph was stated as an open problem.
An upper bound for the crossing number of augmented cubes
Published • View Publication • BIB
A {\it good drawing} of a graph $G$ is a drawing where the edges are non-self-intersecting and each two edges have at most one point in common, which is either a common end vertex or a crossing. The {\it crossing number} of a graph $G$ is the minimum number of pairwise intersections of edges in a good drawing of $G$ in the plane. The {\it $n$-dimensional augmented cube} $AQ_n$, proposed by S.A. Choudum and V. Sunitha, is an important interconnection network with good topological properties and applications. In this paper, we obtain an upper bound on the crossing number of $AQ_n$ less than $26/324^{n}-(2n^2+7/2n-6)2^{n-2}$.
2012-10-23
The (Δ,D) and (Δ,N) problems for New Amsterdam and Manhattan digraphs
We give a quasi-complete solution of the (Δ,N) problem for two well-known families of digraphs used as good models for large interconnection networks. In our study we also relate both families, the New Amsterdam and Manhattan digraphs, with the double-step graphs (or circulant graphs with degree two).
2012-10-23
Connectivity of inhomogeneous random graphs
Published • View Publication • BIB
We find conditions for the connectivity of inhomogeneous random graphs with intermediate density. Our results generalize the classical result for G(n, p), when p = c log n/n. We draw n independent points X_i from a general distribution on a separable metric space, and let their indices form the vertex set of a graph. An edge (i,j) is added with probability min(1, \K(X_i,X_j) log n/n), where \K \ge 0 is a fixed kernel. We show that, under reasonably weak assumptions, the connectivity threshold of the model can be determined.
2012-10-23 v2
Bounds on connective constants of regular graphs
Published • View Publication • BIB
Bounds are proved for the connective constant μ of an infinite, connected, Δ-regular graph G. The main result is that μ \ge \sqrt{Δ-1} if G is vertex-transitive and simple. This inequality is proved subject to weaker conditions under which it is sharp.
2012-10-23 v2
Euler's idoneal numbers and an inequality concerning minimal graphs with a prescribed number of spanning trees
Published • View Publication • BIB
Let $α(n)$ be the least number $k$ for which there exists a simple graph with $k$ vertices having precisely $n \geq 3$ spanning trees. Similarly, define $β(n)$ as the least number $k$ for which there exists a simple graph with $k$ edges having precisely $n \geq 3$ spanning trees. As an $n$-cycle has exactly $n$ spanning trees, it follows that $α(n),β(n) \leq n$. In this paper, we show that $α(n) \leq \frac{n+4}{3}$ and $β(n) \leq \frac{n+7}{3} $ if and only if $n \notin {3,4,5,6,7,9,10,13,18,22}$, which is a subset of Euler's idoneal numbers. Moreover, if $n \not \equiv 2 \pmod{3}$ and $n \not = 25$ we show that $α(n) \leq \frac{n+9}{4}$ and $β(n) \leq \frac{n+13}{4}.$ This improves some previously known bounds.
2012-10-23
Sharp upper and lower bounds on the number of spanning trees in Cartesian product of graphs
Published • View Publication • BIB
Let $G_1$ and $G_2$ be simple graphs and let $n_1 = |V(G_1)|$, $m_1 = |E(G_1)|$, $n_2 = |V(G_2)|$ and $m_2 = |E(G_2)|.$ In this paper we derive sharp upper and lower bounds for the number of spanning trees $τ$ in the Cartesian product $G_1 \square G_2$ of $G_1$ and $G_2$. We show that: $$ τ(G_1 \square G_2) \geq \frac{2^{(n_1-1)(n_2-1)}}{n_1n_2} (τ(G_1) n_1)^{\frac{n_2+1}{2}} (τ(G_2)n_2)^{\frac{n_1+1}{2}}$$ and $$τ(G_1 \square G_2) \leq τ(G_1)τ(G_2) [\frac{2m_1}{n_1-1} + \frac{2m_2}{n_2-1}]^{(n_1-1)(n_2-1)}.$$ We also characterize the graphs for which equality holds. As a by-product we derive a formula for the number of spanning trees in $K_{n_1} \square K_{n_2}$ which turns out to be $n_{1}^{n_1-2}n_2^{n_2-2}(n_1+n_2)^{(n_1-1)(n_2-1)}.$