arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35150 papers tagged with this keyword
2011-06-05 v2
Automorphisms of infinite-dimensional hypercube graph
Published • View Publication • BIB
We consider the infinite-dimensional hypercube graph. This graph is not connected and has isomorphic connected components. We describe the restrictions of its automorphisms to the connected components and the automorphism group of connected component.
2011-06-04
The Largest Eigenvalue and Bi-Average Degree of a Graph
We show that for a graph $G$ with the vertex set $V$ and the largest eigenvalue $λ_{\max}(G)$, letting $$ M(G) := \max_{X,Y \subset V} \frac{e(X,Y)}{\sqrt{|X||Y|}} $$ (where $e(X,Y)$ denotes the number of edges between $X$ and $Y$), we have $$ M(G) \le λ_{\max}(G) \le \big(\frac14 \log|V| + 1 \big) \M(G). $$ Here the lower bound is attained if $G$ is regular or bi-regular, whereas the logarithmic factor in the upper bound, conjecturally, can be improved --- although we present an example showing that it cannot be replaced with a factor growing slower than $(\log |V|/\log\log|V|)^{1/8}$. Further refinements are established, particularly in the case where $G$ is bipartite.
2011-06-03
A note on the existence of an alternating sign on a spanning tree of graphs
Published in Kyungpook Math. J. 52(4) (2012), 513--519 • View Publication • BIB
For a spanning tree T of a connected graph G and for a labelling φ: E(T) \rightarrow {+, -}, φis called an alternating sign on a spanning tree T of a graph G if for any cotree edge e \in E(G)-E(T), the unique path in T joining both end vertices of e has alternating signs. In the present note, we prove that any graph has a spanning tree T and an alternating sign on T.
2011-06-03 v2
Some work on a problem of Marco Buratti
Marco Buratti's conjecture states that if $p$ is a prime and $L$ a multiset containing $p-1$ non-zero elements from the integers modulo $p$, then there exists a Hamiltonian path in the complete graph of order $p$ with edge lengths in $L$. Say that a multiset satisfying the above conjecture is realizable. We generalize the problem for trees, show that multisets can be realized as trees with diameter at least one more than the number of distinct elements in the multiset, and affirm the conjecture for multisets of the form $\{φ_k(1)^a, φ_k(2)^b, φ_k(3)^c\}$ where $φ_k(i)=\min\{ki \pmod p, -ki \pmod p\}$.
2011-06-03
Kochen-Specker Sets and the Rank-1 Quantum Chromatic Number
Published in IEEE Transactions on Information Theory, vol. 58, no. 4, April 2012 • View Publication • BIB
The quantum chromatic number of a graph $G$ is sandwiched between its chromatic number and its clique number, which are well known NP-hard quantities. We restrict our attention to the rank-1 quantum chromatic number $χ_q^{(1)}(G)$, which upper bounds the quantum chromatic number, but is defined under stronger constraints. We study its relation with the chromatic number $χ(G)$ and the minimum dimension of orthogonal representations $ξ(G)$. It is known that $ξ(G) \leq χ_q^{(1)}(G) \leq χ(G)$. We answer three open questions about these relations: we give a necessary and sufficient condition to have $ξ(G) = χ_q^{(1)}(G)$, we exhibit a class of graphs such that $ξ(G) < χ_q^{(1)}(G)$, and we give a necessary and sufficient condition to have $χ_q^{(1)}(G) < χ(G)$. Our main tools are Kochen-Specker sets, collections of vectors with a traditionally important role in the study of noncontextuality of physical theories, and more recently in the quantification of quantum zero-error capacities. Finally, as a corollary of our results and a result by Avis, Hasegawa, Kikuchi, and Sasaki on the quantum chromatic number, we give a family of Kochen-Specker sets of growing dimension.
2011-06-03
Upper bound for the Laplacian eigenvalues of a graph
In this note we give a new upper bound for the Laplacian eigenvalues of an unweighted graph. Let $G$ be a simple graph on $n$ vertices. Let $d_{m}(G)$ and $λ_{m+1}(G)$ be the $m$-th smallest degree of $G$ and the $m+1$-th smallest Laplacian eigenvalue of $G$ respectively. Then $ λ_{m+1}(G)\leq d_{m}(G)+m-1 $ for $\bar{G} \neq K_{m}+(n-m)K_1 $. We also introduce upper and lower bound for the Laplacian eigenvalues of weighted graphs, and compare it with the special case of unweighted graphs.
2011-06-02
On realizing zero-divisor graphs of po-semirings
In this paper, we determine bipartite graphs and complete graphs with horns, which are realizable as zero-divisor graphs of po-semirings. As applications, we classify commutative rings $R$ whose annihilating-ideal graph $\mathbb {AG}(R)$ are either bipartite graphs or complete graphs with horns.
Bipartizing fullerenes
Published • View Publication • BIB
A fullerene graph is a cubic bridgeless planar graph with twelve 5-faces such that all other faces are 6-faces. We show that any fullerene graph on n vertices can be bipartized by removing O(sqrt{n}) edges. This bound is asymptotically optimal.
2011-06-02 v3
The Bohman-Frieze Process Near Criticality
Published • View Publication • BIB
The Erdős-Rényi process begins with an empty graph on n vertices and edges are added randomly one at a time to a graph. A classical result of Erdős and Rényi states that the Erdős-Rényi process undergoes a phase transition, which takes place when the number of edges reaches n/2 (we say at time 1) and a giant component emerges. Since this seminal work of Erdős and Rényi, various random graph models have been introduced and studied. In this paper we study the so-called Bohman-Frieze process, a simple modification of the Erdős-Rényi process. The Bohman-Frieze process begins with an empty graph on n vertices. At each step two random edges are present and if the first edge would join two isolated vertices, it is added to a graph; otherwise the second edge is added. We present several new results on the phase transition of the Bohman-Frieze random graph process. We show that the Bohman-Frieze process has a qualitatively similar phase transition to the Erdős-Rényi process in terms of the size and structure of the components near the critical point. We prove that all components at time t_c-\eps (that is, when the number of edges are (t_c-\eps) n/2) are trees or unicyclic components and that the largest component is of size Ω(\eps^{-2} \log n). Further, at t_c + \eps, all components apart from the giant component are trees or unicyclic and the size of the second-largest component is Θ(\eps^{-2} \log n). Each of these results corresponds to an analogous well-known result for the Erdős-Rényi process. Our methods include combinatorial arguments and a combination of the differential equation method for random processes with singularity analysis of generating functions which satisfy quasi-linear partial differential equations.
2011-06-01
On graphs related to co-maximal ideals of a commutative ring
Published in ISRN Combinatorics Vol. 2013, Article ID 354696, 7 pages • View Publication • BIB
This paper studies the co-maximal graph $\Om(R)$, the induced subgraph $\G(R)$ of $\Om(R)$ whose vertex set is $R\setminus (U(R)\cup J(R))$ and a retract $\G_r(R)$ of $\G(R)$, where $R$ is a commutative ring. We show that the core of $\G(R)$ is a union of triangles and rectangles, while a vertex in $\G(R)$ is either an end vertex or a vertex in the core. For a non-local ring $R$, we prove that both the chromatic number and clique number of $\G(R)$ are identical with the number of maximal ideals of $R$. A graph $\G_r(R)$ is also introduced on the vertex set $\{Rx|\,x\in R\setminus (U(R)\cup J(R))\}$, and graph properties of $\G_r(R)$ are studied.
2011-06-01 v3
Seymour's second neighborhood conjecture for tournaments missing a generalized star
Published in Journal of Graph Theory 71(1): 89-94 (2012) • View Publication • BIB
Seymour's Second Neighborhood Conjecture asserts that every digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. We prove its weighted version for tournaments missing a generalized star. As a consequence the weighted version holds for tournaments missing a sun, star, or a complete graph.
2011-06-01
Random Latin square graphs
Published • View Publication • BIB
In this paper we introduce new models of random graphs, arising from Latin squares which include random Cayley graphs as a special case. We investigate some properties of these graphs including their clique, independence and chromatic numbers, their expansion properties as well as their connectivity and Hamiltonicity. The results obtained are compared with other models of random graphs and several similarities and differences are pointed out. For many properties our results for the general case are as strong as the known results for random Cayley graphs and sometimes improve the previously best results for the Cayley case.
2011-06-01 v2
On a problem of Erdős and Rothschild on edges in triangles
Published • View Publication • BIB
Erdős and Rothschild asked to estimate the maximum number, denoted by H(N,C), such that every N-vertex graph with at least CN^2 edges, each of which is contained in at least one triangle, must contain an edge that is in at least H(N,C) triangles. In particular, Erdős asked in 1987 to determine whether for every C>0 there is ε>0 such that H(N,C) > N^ε, for all sufficiently large N. We prove that H(N,C) = N^{O(1/log log N)} for every fixed C < 1/4. This gives a negative answer to the question of Erdős, and is best possible in terms of the range for C, as it is known that every N-vertex graph with more than (N^2)/4 edges contains an edge that is in at least N/6 triangles.
2011-05-31
Metrization of weighted graphs
Published • View Publication • BIB
We find a set of necessary and sufficient conditions under which the weight $w:E\to\mathbb R^+$ on the graph $G=(V,E)$ can be extended to a pseudometric $d:V\times V\to\mathbb R^+$. If these conditions hold and $G$ is a connected graph, then the set $\mathfrak M_w$ of all such extensions is nonvoid and the shortest-path pseudometric $d_w$ is the greatest element of $\mathfrak M_w$ with respect to the partial ordering $d_1 \leqslant d_2$ if and only if $d_1(u,v) \leqslant d_2(u,v)$ for all $u,v\in V$. It is shown that every nonvoid poset $(\mathfrak M_w,\leqslant)$ contains the least element $ρ_{0,w}$ if and only if $G$ is a complete $k$-partite graph with $k\geqslant 2$ and in this case the explicit formula for computation of $ρ_{0,w}$ is obtained.
2011-05-31
On the Set of Circular Total Chromatic Numbers of Graphs
Published • View Publication • BIB
For every integer $r\ge3$ and every $\eps>0$ we construct a graph with maximum degree $r-1$ whose circular total chromatic number is in the interval $(r,r+\eps)$. This proves that (i) every integer $r\ge3$ is an accumulation point of the set of circular total chromatic numbers of graphs, and (ii) for every $Δ\ge2$, the set of circular total chromatic numbers of graphs with maximum degree $Δ$ is infinite. All these results hold for the set of circular total chromatic numbers of bipartite graphs as well.
2011-05-31 v3
KP solitons and total positivity for the Grassmannian
Published • View Publication • BIB
Soliton solutions of the KP equation have been studied since 1970, when Kadomtsev and Petviashvili proposed a two-dimensional dispersive wave equation now known as the KP equation. It is well-known that one can use the Wronskian method to construct a soliton solution to the KP equation from each point of the real Grassmannian Gr_kn. More recently several authors have studied the regular solutions that one obtains in this way: these come from points of the totally non-negative part of the Grassmannian (Gr_kn)_{>= 0}. In this paper we exhibit a surprising connection between the theory of total positivity for the Grassmannian, and the structure of regular soliton solutions to the KP equation. By exploiting this connection, we obtain new insights into the structure of KP solitons, as well as new interpretations of the combinatorial objects indexing cells of (Gr_kn)_{>= 0}. In particular, we completely classify the spatial patterns of the soliton solutions coming from (Gr_2n)_{>0}, as well as those coming from (Gr_kn)_{>= 0} when the absolute value of the time parameter is sufficiently large. We also demonstrate an intriguing connection between soliton graphs for (Gr_kn)_{>0} and the cluster algebras of Fomin and Zelevinsky, and we use this connection to solve the inverse problem for generic KP solitons coming from (Gr_kn)_{>0}. Finally we construct all the soliton graphs for (Gr_2n)_{>0} using the triangulations of n-gon.
2011-05-30 v2
Distributions of sparse spanning subgraphs in random graphs
Published • View Publication • BIB
We describe a general approach of determining the distribution of spanning subgraphs in the random graph $\G(n,p)$. In particular, we determine the distribution of spanning subgraphs of certain given degree sequences, which is a generalisation of the $d$-factors, of spanning triangle-free subgraphs, of (directed) Hamilton cycles and of spanning subgraphs that are isomorphic to a collection of vertex disjoint (directed) triangles.
On the Wiener index and Laplacian coefficients of graphs with given diameter or radius
Published in MATCH Commun. Math. Comput. Chem. 63 (2010) 91-100 • Search Publication
Let $G$ be a simple undirected $n$-vertex graph with the characteristic polynomial of its Laplacian matrix $L(G)$, $\det (λI - L (G))=\sum_{k = 0}^n (-1)^k c_k λ^{n - k}$. It is well known that for trees the Laplacian coefficient $c_{n-2}$ is equal to the Wiener index of $G$. Using a result of Zhou and Gutman on the relation between the Laplacian coefficients and the matching numbers in subdivided bipartite graphs, we characterize first the trees with given diameter and then the connected graphs with given radius which simultaneously minimize all Laplacian coefficients. This approach generalizes recent results of Liu and Pan [MATCH Commun. Math. Comput. Chem. 60 (2008), 85--94] and Wang and Guo [MATCH Commun. Math. Comput. Chem. 60 (2008), 609--622] who characterized $n$-vertex trees with fixed diameter $d$ which minimize the Wiener index. In conclusion, we illustrate on examples with Wiener and modified hyper-Wiener index that the opposite problem of simultaneously maximizing all Laplacian coefficients has no solution.
On Rainbow Connection Number and Connectivity
Published • View Publication • BIB
Rainbow connection number, $rc(G)$, of a connected graph $G$ is the minimum number of colours needed to colour its edges, so that every pair of vertices is connected by at least one path in which no two edges are coloured the same. In this paper we investigate the relationship of rainbow connection number with vertex and edge connectivity. It is already known that for a connected graph with minimum degree $δ$, the rainbow connection number is upper bounded by $3n/(δ+ 1) + 3$ [Chandran et al., 2010]. This directly gives an upper bound of $3n/(λ+ 1) + 3$ and $3n/(κ+ 1) + 3$ for rainbow connection number where $λ$ and $κ$, respectively, denote the edge and vertex connectivity of the graph. We show that the above bound in terms of edge connectivity is tight up-to additive constants and show that the bound in terms of vertex connectivity can be improved to $(2 + ε)n/κ+ 23/ ε^2$, for any $ε> 0$. We conjecture that rainbow connection number is upper bounded by $n/κ+ O(1)$ and show that it is true for $κ= 2$. We also show that the conjecture is true for chordal graphs and graphs of girth at least 7.
2011-05-27
On the limit points of the smallest eigenvalues of regular graphs
Published • View Publication • BIB
In this paper, we give infinitely many examples of (non-isomorphic) connected $k$-regular graphs with smallest eigenvalue in half open interval $[-1-\sqrt2, -2)$ and also infinitely many examples of (non-isomorphic) connected $k$-regular graphs with smallest eigenvalue in half open interval $[α_1, -1-\sqrt2)$ where $α_1$ is the smallest root$(\approx -2.4812)$ of the polynomial $x^3+2x^2-2x-2$. From these results, we determine the largest and second largest limit points of smallest eigenvalues of regular graphs less than -2. Moreover we determine the supremum of the smallest eigenvalue among all connected 3-regular graphs with smallest eigenvalue less than -2 and we give the unique graph with this supremum value as its smallest eigenvalue.