arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35150 papers tagged with this keyword
2011-10-03
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.
2011-10-02 v2
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.
2011-09-30 v4
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).
2011-09-30
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$.
2011-09-29
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$.
2011-09-29
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.
2011-09-29 v2
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.
2011-09-28
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.
2011-09-28 v2
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.
2011-09-28 v2
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.
2011-09-27 v2
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$.
2011-09-27
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.
2011-09-26 v2
Note on the complexity of deciding the rainbow connectedness for bipartite graphs
Published • View Publication • BIB
A path in an edge-colored graph is said to be a rainbow path if no two edges on the path have the same color. An edge-colored graph is (strongly) rainbow connected if there exists a rainbow (geodesic) path between every pair of vertices. The (strong) rainbow connection number of $G$, denoted by ($scr(G)$, respectively) $rc(G)$, is the smallest number of colors that are needed in order to make $G$ (strongly) rainbow connected. Though for a general graph $G$ it is NP-Complete to decide whether $rc(G)=2$, in this paper, we show that the problem becomes easy when $G$ is a bipartite graph. Moreover, it is known that deciding whether a given edge-colored (with an unbound number of colors) graph is rainbow connected is NP-Complete. We will prove that it is still NP-Complete even when the edge-colored graph is bipartite. We also show that a few NP-hard problems on rainbow connection are indeed NP-Complete.
2011-09-26
Counting Plane Graphs: Perfect Matchings, Spanning Cycles, and Kasteleyn's Technique
Published • View Publication • BIB
We derive improved upper bounds on the number of crossing-free straight-edge spanning cycles (also known as Hamiltonian tours and simple polygonizations) that can be embedded over any specific set of $N$ points in the plane. More specifically, we bound the ratio between the number of spanning cycles (or perfect matchings) that can be embedded over a point set and the number of triangulations that can be embedded over it. The respective bounds are $O(1.8181^N)$ for cycles and $O(1.1067^N)$ for matchings. These imply a new upper bound of $O(54.543^N)$ on the number of crossing-free straight-edge spanning cycles that can be embedded over any specific set of $N$ points in the plane (improving upon the previous best upper bound $O(68.664^N)$). Our analysis is based on Kasteleyn's linear algebra technique.
2011-09-26
Embeddings of Grassmann graphs
Published • View Publication • BIB
Let $V$ and $V'$ be vector spaces of dimension $n$ and $n'$, respectively. Let $k\in\{2,...,n-2\}$ and $k'\in\{2,...,n'-2\}$. We describe all isometric and $l$-rigid isometric embeddings of the Grassmann graph $Γ_{k}(V)$ in the Grassmann graph $Γ_{k'}(V')$.
2011-09-25
Optimal packings of Hamilton cycles in sparse random graphs
Published • View Publication • BIB
We prove that there exists a positive constant εsuch that if \log n / n \le p \le n^{-1+ε}, then asymptotically almost surely the random graph G ~ G(n,p) contains a collection of \lfloor δ(G)/2 \rfloor edge-disjoint Hamilton cycles.
On the Erdős-Gyárfás conjecture in claw-free graphs
Published • View Publication • BIB
The Erdős-Gyárfás conjecture states that every graph with minimum degree at least three has a cycle whose length is a power of 2. Since this conjecture has proven to be far from reach, Hobbs asked if the Erdős-Gyárfás conjecture holds in claw-free graphs. In this paper, we obtain some results on this question, in particular for cubic claw-free graphs.