graph
34995 papers tagged with this keyword
Note on rainbow connection number of dense graphs
An edge-colored graph $G$ is rainbow connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connection number of a connected graph $G$, denoted by $rc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow connected. Following an idea of Caro et al., in this paper we also investigate the rainbow connection number of dense graphs. We show that for $k\geq 2$, if $G$ is a non-complete graph of order $n$ with minimum degree $δ(G)\geq \frac{n}{2}-1+log_{k}{n}$, or minimum degree-sum $σ_{2}(G)\geq n-2+2log_{k}{n}$, then $rc(G)\leq k$; if $G$ is a graph of order $n$ with diameter 2 and $δ(G)\geq 2(1+log_{\frac{k^{2}}{3k-2}}{k})log_{k}{n}$, then $rc(G)\leq k$. We also show that if $G$ is a non-complete bipartite graph of order $n$ and any two vertices in the same vertex class have at least $2log_{\frac{k^{2}}{3k-2}}{k}log_{k}{n}$ common neighbors in the other class, then $rc(G)\leq k$.
$\ell^p$-distortion and $p$-spectral gap of finite regular graphs
Published
• View Publication
• BIB
We give a lower bound for the $\ell^p$-distortion $c_p(X)$ of finite graphs $X$, depending on the first eigenvalue $λ_1^{(p)}(X)$ of the $p$-Laplacian and the maximal displacement of permutations of vertices. For a $k$-regular vertex-transitive graph it takes the form $c_p(X)^{p}\geq diam(X)^{p}λ_{1}^{(p)}(X)/2^{p-1}k$. This bound is optimal for expander families and, for $p=2$, it gives the exact value for cycles and hypercubes. As a new application we give a non-trivial lower bound for the $\ell^2$-distortion of a family of Cayley graphs of $SL_n(q)$ ($q$ fixed, $n\geq 2$) with respect to a standard two-element generating set.
On Complete Intersection toric ideals of graphs
Published
• View Publication
• BIB
We characterize the graphs $G$ for which their toric ideals $I_G$ are complete intersections. In particular we prove that for a connected graph $G$ such that $I_G$ is complete intersection all of its blocks are bipartite except of at most two. We prove that toric ideals of graphs which are complete intersections are circuit ideals. The generators of the toric ideal correspond to even cycles of $G$ except of at most one generator, which corresponds to two edge disjoint odd cycles joint at a vertex or with a path. We prove that the blocks of the graph satisfy the odd cycle condition. Finally we characterize all complete intersection toric ideals of graphs which are normal.
New Bounds on the Minimum Density of a Vertex Identifying Code for the Infinite Hexagonal Grid
Published
• View Publication
• BIB
For a graph, $G$, and a vertex $v \in V(G)$, let $N[v]$ be the set of vertices adjacent to and including $v$. A set $D \subseteq V(G)$ is a vertex identifying code if for any two distinct vertices $v_1, v_2 \in V(G)$, the vertex sets $N[v_1] \cap D$ and $N[v_2] \cap D$ are distinct and non-empty. We consider the minimum density of a vertex identifying code for the infinite hexagonal grid. In 2000, Cohen et al. constructed two codes with a density of $3/7 \approx 0.428571$, and this remains the best known upper bound. Until now, the best known lower bound was $12/29 \approx 0.413793$ and was proved by Cranston and Yu in 2009. We present three new codes with a density of 3/7, and we improve the lower bound to $5/12 \approx 0.416667$.
The Petersen graph is the smallest 3-cop-win graph
In the game of \emph{cops and robbers} on a graph $G = (V,E)$, $k$ cops try to catch a robber. On the cop turn, each cop may move to a neighboring vertex or remain in place. On the robber's turn, he moves similarly. The cops win if there is some time at which a cop is at the same vertex as the robber. Otherwise, the robber wins. The minimum number of cops required to catch the robber is called the \emph{cop number} of $G$, and is denoted $c(G)$. Let $m_k$ be the minimum order of a connected graph satisfying $c(G) \geq k$. Recently, Baird and Bonato determined via computer search that $m_3=10$ and that this value is attained uniquely by the Petersen graph. Herein, we give a self-contained mathematical proof of this result. Along the way, we give some characterizations of graphs with $c(G) >2$ and very high maximum degree.
Tropical hyperelliptic curves
Published
• View Publication
• BIB
We study the locus of tropical hyperelliptic curves inside the moduli space of tropical curves of genus g. We define a harmonic morphism of metric graphs and prove that a metric graph is hyperelliptic if and only if it admits a harmonic morphism of degree 2 to a metric tree. This generalizes the work of Baker and Norine on combinatorial graphs to the metric case. We then prove that the locus of 2-edge-connected genus g tropical hyperelliptic curves is a (2g-1)-dimensional stacky polyhedral fan whose maximal cells are in bijection with trees on g-1 vertices with maximum valence 3. Finally, we show that the Berkovich skeleton of a classical hyperelliptic plane curve satisfying a certain tropical smoothness condition lies in a maximal cell of genus g called a standard ladder.
A pattern theorem for random sorting networks
Published in Electron. J. Probab. 17 (2012), no. 99, 1-16
• View Publication
• BIB
A sorting network is a shortest path from 12..n to n..21 in the Cayley graph of the symmetric group S(n) generated by nearest-neighbor swaps. A pattern is a sequence of swaps that forms an initial segment of some sorting network. We prove that in a uniformly random n-element sorting network, any fixed pattern occurs in at least cn^2 disjoint space-time locations, with probability tending to 1 exponentially fast as n tends to infinity. Here c is a positive constant which depends on the choice of pattern. As a consequence, the probability that the uniformly random sorting network is geometrically realizable tends to 0.
On spanning tree packings of highly edge connected graphs
Published
• View Publication
• BIB
We prove a refinement of the tree packing theorem by Tutte/Nash-Williams for finite graphs. This result is used to obtain a similar result for end faithful spanning tree packings in certain infinite graphs and consequently to establish a sufficient Hamiltonicity condition for the line graphs of such graphs.
Connectivity for bridge-addable monotone graph classes
Published
• View Publication
• BIB
A class A of labelled graphs is bridge-addable if for all graphs G in A and all vertices u and v in distinct connected components of G, the graph obtained by adding an edge between u and u is also in A; the class A is monotone if for all G in A and all subgraphs H of G, H is also in A. We show that for any bridge-addable, monotone class A whose elements have vertex set 1,...,n, the probability that a uniformly random element of A is connected is at least (1-o_n(1)) e^{-1/2}, where o_n(1) tends to zero as n tends to infinity. This establishes the special case of a conjecture of McDiarmid, Steger and Welsh when the condition of monotonicity is added. This result has also been obtained independently by Kang and Panagiotiou (2011).
Colouring stability two unit disk graphs
Published
• View Publication
• BIB
We prove that every stability two unit disk graph has chromatic number at most 3/2 times its clique number.
Cyclic Matching Sequencibility of Graphs
We define the cyclic matching sequencibility of a graph to be the largest integer $d$ such that there exists a cyclic ordering of its edges so that every $d$ consecutive edges in the cyclic ordering form a matching. We show that the cyclic matching sequencibility of $K_{2m}$ and $K_{2m+1}$ equal $m-1$.
New Bounds for Edge-Cover by Random Walk
Published in Combinator. Probab. Comp. 23 (2014) 571-584
• View Publication
• BIB
We show that the expected time for a random walk on a (multi-)graph $G$ to traverse all $m$ edges of $G$, and return to its starting point, is at most $2m^2$; if each edge must be traversed in both directions, the bound is $3m^2$. Both bounds are tight and may be applied to graphs with arbitrary edge lengths, with implications for Brownian motion on a finite or infinite network of total edge-length $m$.
Interval Graphs with Containment Restrictions
Published in Proceedings of the Thirty-Ninth Southeastern International Conference on Combinatorics, Graph Theory and Computing. Congr. Numer. 191 (2008), 117-128
• Search Publication
An interval graph is proper iff it has a representation in which no interval contains another. Fred Roberts characterized the proper interval graphs as those containing no induced star $K_{1,3}$. Proskurowski and Telle have studied $q$-proper graphs, which are interval graphs having a representation in which no interval is properly contained in more than $q$ other intervals. Like Roberts they found that their classes of graphs where characterized, each by a single minimal forbidden subgraph. This paper initiates the study of $p$-improper interval graphs where no interval contains more than $p$ other intervals. This paper will focus on a special case of $p$-improper interval graphs for which the minimal forbidden subgraphs are readily described. Even in this case, it is apparent that a very wide variety of minimal forbidden subgraphs are possible.
Extending the Tamari lattice to some compositions of species
Published
• View Publication
• BIB
An extension of the Tamari lattice to the multiplihedra is discussed, along with projections to the composihedra and the Boolean lattice. The multiplihedra and composihedra are sequences of polytopes that arose in algebraic topology and category theory. Here we describe them in terms of the composition of combinatorial species. We define lattice structures on their vertices, indexed by painted trees, which are extensions of the Tamari lattice and projections of the weak order on the permutations. The projections from the weak order to the Tamari lattice and the Boolean lattice are shown to be different from the classical ones. We generalize the Tamari lattice to graph tubings--as is also described by Ronco. We review how lattice structures often interact with the Hopf algebra structures, following Aguiar and Sottile who discovered the applications of Mobius inversion on the Tamari lattice to the Loday-Ronco Hopf algebra.
Acyclic Subgraphs in $k$-Majority Tournaments
A $k$-majority digraph is a directed graph created by combining $k$ individual rankings on the same ground set to form a consensus where edges point in the direction indicated by a strict majority of the rankings. The $k$-majority digraph is used to model voting scenarios, where the vertices correspond to options ranked by $k$ voters. When $k$ is odd, the resulting digraph is always a tournament, called $k$-majority tournament. Let $f_k(n)$ be the minimum, over all $k$-majority tournaments with $n$ vertices, of the maximum order of an induced transitive sub-tournament. Recently, Milans, Schreiber, and West proved that $\sqrt n \le f_3(n) \le 2 \sqrt n +1 $. In this paper, we improve the upper bound of $f_3(n)$ by showing that $f_3(n) < \sqrt {2n} +\frac 12 $.
Optimal accessing and non-accessing structures for graph protocols
An accessing set in a graph is a subset B of vertices such that there exists D subset of B, such that each vertex of V\B has an even number of neighbors in D. In this paper, we introduce new bounds on the minimal size kappa'(G) of an accessing set, and on the maximal size kappa(G) of a non-accessing set of a graph G. We show strong connections with perfect codes and give explicitly kappa(G) and kappa'(G) for several families of graphs. Finally, we show that the corresponding decision problems are NP-Complete.
A classification of all 1-Salem graphs
Published
• View Publication
• BIB
One way to study certain classes of polynomials is by considering examples that are attached to combinatorial objects. Any graph $G$ has an associated reciprocal polynomial $R_G$, and with two particular classes of reciprocal polynomials in mind one can ask the questions: (a) when is $R_G$ a product of cyclotomic polynomials (giving the cyclotomic graphs)? (b) when does $R_G$ have the minimal polynomial of a Salem number as its only non-cyclotomic factor (the non-trival Salem graphs)? Cyclotomic graphs were classified by Smith in 1970. Salem graphs are `spectrally close' to being cyclotomic, in that nearly all their eigenvalues are in the critical interval [-2,2]. On the other hand Salem graphs do not need to be `combinatorially close' to being cyclotomic: the largest cyclotomic induced subgraph might be comparatively tiny.
We define an $m$-Salem graph to be a connected Salem graph $G$ for which $m$ is minimal such that there exists an induced cyclotomic subgraph of $G$ that has $m$ fewer vertices than $G$. The 1-Salem subgraphs are both spectrally close and combinatorially close to being cyclotomic. Moreover, every Salem graph contains a 1-Salem graph as an induced subgraph, so these 1-Salem graphs provide some necessary substructure of all Salem graphs. The main result of this paper is a complete combinatorial description of all 1-Salem graphs: there are 26 infinite families and 383 sporadic examples.
Domination Value in Graphs
Published in Contrib. Discrete Math. Vol. 7, No. 2 (2012) pp. 30-43
• View Publication
• BIB
A set $D \subseteq V(G)$ is a \emph{dominating set} of $G$ if every vertex not in $D$ is adjacent to at least one vertex in $D$. A dominating set of $G$ of minimum cardinality is called a $γ(G)$-set. For each vertex $v \in V(G)$, we define the \emph{domination value} of $v$ to be the number of $γ(G)$-sets to which $v$ belongs. In this paper, we study some basic properties of the domination value function, thus initiating \emph{a local study of domination} in graphs. Further, we characterize domination value for the Petersen graph, complete $n$-partite graphs, cycles, and paths.
Domination Value in $P_2 \square P_n$ and $P_2 \square C_n$
Published in J. Combin. Math. Combin. Comput. Vol. 82 (2012) pp. 59-75
• Search Publication
A set $D \subseteq V(G)$ is a \emph{dominating set} of a graph $G$ if every vertex of $G$ not in $D$ is adjacent to at least one vertex in $D$. A \emph{minimum dominating set} of $G$, also called a $γ(G)$-set, is a dominating set of $G$ of minimum cardinality. For each vertex $v \in V(G)$, we define the \emph{domination value} of $v$ to be the number of $γ(G)$-sets to which $v$ belongs. In this paper, we find the total number of minimum dominating sets and characterize the domination values for $P_2 \square P_n$ and $P_2 \square C_n$.
Split hypergraphs
Published in SIAM J. Discrete Math. (2008) 22, pp. 1155-1163
• Search Publication
Generalizing the notion of split graphs to uniform hypergraphs, we prove that the class of these hypergraphs can be characterized by a finite list of excluded induced subhypergraphs. We show that a characterization by generalized degree sequences is impossible, unlike in the well-known case of split graphs. We also give an algorithm to decide whether a given uniform hypergraph is a split hypergraph. If it is, the algorithm gives a splitting of it; the running time is $O(N\log N)$. These answer questions of Sloan, Gy. Turán and Peled.