arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34995 papers tagged with this keyword
2010-10-15
Controllable Subsets in Graphs
Published • View Publication • BIB
Let $X$ be a graph on $v$ vertices with adjacency matrix $A$, and let let $S$ be a subset of its vertices with characteristic vector $z$. We say that the pair $(X,S)$ is controllable if the vectors $A^rz$ for $r=1,\ldots,v-1$ span $\mathbb{R}^v$. Our concern is chiefly with the cases where $S=V(X)$, or $S$ is a single vertex. In this paper we develop the basic theory of controllable pairs. We will see that if $(X,S)$ is controllable then the only automorphism of $X$ that fixes $S$ as a set is the identity. If $(X,S)$ is controllable for some subset $S$ then the eigenvalues of $A$ are all simple.
2010-10-14
Fast embedding of spanning trees in biased Maker-Breaker games
Published • View Publication • BIB
Given a tree $T=(V,E)$ on $n$ vertices, we consider the $(1 : q)$ Maker-Breaker tree embedding game ${\mathcal T}_n$. The board of this game is the edge set of the complete graph on $n$ vertices. Maker wins ${\mathcal T}_n$ if and only if he is able to claim all edges of a copy of $T$. We prove that there exist real numbers $α, ε> 0$ such that, for sufficiently large $n$ and for every tree $T$ on $n$ vertices with maximum degree at most $n^ε$, Maker has a winning strategy for the $(1 : q)$ game ${\mathcal T}_n$, for every $q \leq n^α$. Moreover, we prove that Maker can win this game within $n + o(n)$ moves which is clearly asymptotically optimal.
The Tutte Polynomial of the Schreier graphs of the Grigorchuk group and the Basilica group
Published in Ischia Group Theory 2010 (Proceedings of the Conference) (M. Bianchi, P. Longobardi, M. Maj and C. M. Scoppola editors), World Scientific 2011, 45-68 • View Publication • BIB
We study the Tutte polynomial of two infinite families of finite graphs. These are the Schreier graphs associated with the action of two well-known self-similar groups acting on the binary rooted tree by automorphisms: the first Grigorchuk group of intermediate growth, and the iterated monodromy group of the complex polynomial $z^2-1$ known as the Basilica group. For both of them, we describe the Tutte polynomial and we compute several special evaluations of it, giving further information about the combinatorial structure of these graphs.
2010-10-14 v3
Characterizing extremal digraphs for identifying codes and extremal cases of Bondy's theorem on induced subsets
Published in Graphs and Combinatorics 29, 3 (2013) 463-473 • View Publication • BIB
An identifying code of a (di)graph $G$ is a dominating subset $C$ of the vertices of $G$ such that all distinct vertices of $G$ have distinct (in)neighbourhoods within $C$. In this paper, we classify all finite digraphs which only admit their whole vertex set in any identifying code. We also classify all such infinite oriented graphs. Furthermore, by relating this concept to a well known theorem of A. Bondy on set systems we classify the extremal cases for this theorem.
2010-10-14
Finding Hidden Cliques in Linear Time with High Probability
Published • View Publication • BIB
We are given a graph $G$ with $n$ vertices, where a random subset of $k$ vertices has been made into a clique, and the remaining edges are chosen independently with probability $\tfrac12$. This random graph model is denoted $G(n,\tfrac12,k)$. The hidden clique problem is to design an algorithm that finds the $k$-clique in polynomial time with high probability. An algorithm due to Alon, Krivelevich and Sudakov uses spectral techniques to find the hidden clique with high probability when $k = c \sqrt{n}$ for a sufficiently large constant $c > 0$. Recently, an algorithm that solves the same problem was proposed by Feige and Ron. It has the advantages of being simpler and more intuitive, and of an improved running time of $O(n^2)$. However, the analysis in the paper gives success probability of only $2/3$. In this paper we present a new algorithm for finding hidden cliques that both runs in time $O(n^2)$, and has a failure probability that is less than polynomially small.
2010-10-13
Bounding the order of the vertex-stabiliser in 3-valent vertex-transitive and 4-valent arc-transitive graphs
The main result of this paper is that, if $Γ$ is a connected 4-valent $G$-arc-transitive graph and $v$ is a vertex of $Γ$, then either $Γ$ is one of a well understood infinite family of graphs, or $|G_v|\leq 2^43^6$ or $2|G_v|\log_2(|G_v|/2)\leq |\VΓ|$ and that this last bound is tight. As a corollary, we get a similar result for $3$-valent vertex-transitive graphs.
2010-10-13
Tetravalent arc-transitive graphs with unbounded vertex-stabilisers
It has long been known that there exist finite connected tetravalent arc-transitive graphs with arbitrarily large vertex-stabilisers. However, beside a well known family of exceptional graphs, related to the lexicographic product of a cycle with an edgeless graph on two vertices, only a few such infinite families of graphs are known. In this paper, we present two more families of tetravalent arc-transitive graphs with large vertex-stabilisers, each significant for its own reason.
2010-10-13
The A-like matrices for a hypercube
Published • View Publication • BIB
Let $D$ denote a positive integer and let $Q_D$ denote the graph of the $D$-dimensional hypercube. Let $X$ denote the vertex set of $Q_D$ and let $A \in \MX$ denote the adjacency matrix of $Q_D$. A matrix $B \in \MX$ is called $A$-{\em like} whenever both (i) $BA = AB$; (ii) for all $x,y \in X$ that are not equal or adjacent, the $(x,y)$-entry of $B$ is zero. Let $\Al$ denote the subspace of $\MX$ consisting of the $A$-like elements. We decompose $\Al$ into the direct sum of its symmetric part and antisymmetric part. We give a basis for each part. The dimensions of the symmetric part and antisymmetric part are $D+1$ and ${D \choose 2}$, respectively.
2010-10-13 v2
Graph-theoretical Constructions for Graph Entropy and Network Coding Based Communications
Published • View Publication • BIB
The guessing number of a directed graph (digraph), equivalent to the entropy of that digraph, was introduced as a direct criterion on the solvability of a network coding instance. This paper makes two contributions on the guessing number. First, we introduce an undirected graph on all possible configurations of the digraph, referred to as the guessing graph, which encapsulates the essence of dependence amongst configurations. We prove that the guessing number of a digraph is equal to the logarithm of the independence number of its guessing graph. Therefore, network coding solvability is no more a problem on the operations made by each node, but is simplified into a problem on the messages that can transit through the network. By studying the guessing graph of a given digraph, and how to combine digraphs or alphabets, we are thus able to derive bounds on the guessing number of digraphs. Second, we construct specific digraphs with high guessing numbers, yielding network coding instances where a large amount of information can transit. We first propose a construction of digraphs with finite parameters based on cyclic codes, with guessing number equal to the degree of the generator polynomial. We then construct an infinite class of digraphs with arbitrary girth for which the ratio between the linear guessing number and the number of vertices tends to one, despite these digraphs being arbitrarily sparse. These constructions yield solvable network coding instances with a relatively small number of intermediate nodes for which the node operations are known and linear, although these instances are sparse and the sources are arbitrarily far from their corresponding sinks.
Rainbow Connection Number and Connected Dominating Sets
Published • View Publication • BIB
Rainbow connection number rc(G) of a connected graph G is the minimum number of colours needed to colour the edges of G, 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 show that for every connected graph G, with minimum degree at least 2, the rainbow connection number is upper bounded by γ_c(G) + 2, where γ_c(G) is the connected domination number of G. Bounds of the form diameter(G) \leq rc(G) \leq diameter(G) + c, 1 \leq c \leq 4, for many special graph classes follow as easy corollaries from this result. This includes interval graphs, AT-free graphs, circular arc graphs, threshold graphs, and chain graphs all with minimum degree at least 2 and connected. We also show that every bridge-less chordal graph G has rc(G) \leq 3.radius(G). In most of these cases, we also demonstrate the tightness of the bounds. An extension of this idea to two-step dominating sets is used to show that for every connected graph on n vertices with minimum degree δ, the rainbow connection number is upper bounded by 3n/(δ + 1) + 3. This solves an open problem of Schiermeyer (2009), improving the previously best known bound of 20n/δ by Krivelevich and Yuster (2010). Moreover, this bound is seen to be tight up to additive factors by a construction of Caro et al. (2008).
2010-10-12
Directed Domination in Oriented Graphs
Published • View Publication • BIB
A directed dominating set in a directed graph $D$ is a set $S$ of vertices of $V$ such that every vertex $u \in V(D) \setminus S$ has an adjacent vertex $v$ in $S$ with $v$ directed to $u$. The directed domination number of $D$, denoted by $γ(D)$, is the minimum cardinality of a directed dominating set in $D$. The directed domination number of a graph $G$, denoted $Γ_d(G)$, which is the maximum directed domination number $γ(D)$ over all orientations $D$ of $G$. The directed domination number of a complete graph was first studied by Erdös [Math. Gaz. 47 (1963), 220--222], albeit in disguised form. We extend this notion to directed domination of all graphs. If $α$ denotes the independence number of a graph $G$, we show that if $G$ is a bipartite graph, we show that $Γ_d(G) = α$. We present several lower and upper bounds on the directed domination number.
2010-10-12
A Greedy Partition Lemma for Directed Domination
Published • View Publication • BIB
A directed dominating set in a directed graph $D$ is a set $S$ of vertices of $V$ such that every vertex $u \in V(D) \setminus S$ has an adjacent vertex $v$ in $S$ with $v$ directed to $u$. The directed domination number of $D$, denoted by $γ(D)$, is the minimum cardinality of a directed dominating set in $D$. The directed domination number of a graph $G$, denoted $Γ_d(G)$, which is the maximum directed domination number $γ(D)$ over all orientations $D$ of $G$. The directed domination number of a complete graph was first studied by Erdös [Math. Gaz. 47 (1963), 220--222], albeit in disguised form. In this paper we prove a Greedy Partition Lemma for directed domination in oriented graphs. Applying this lemma, we obtain bounds on the directed domination number. In particular, if $α$ denotes the independence number of a graph $G$, we show that $α\le Γ_d(G) \le α(1+2\ln(n/α))$.
2010-10-12 v2
Asymptotic enumeration of sparse 2-connected graphs
Published • View Publication • BIB
We determine an asymptotic formula for the number of labelled 2-connected (simple) graphs on $n$ vertices and $m$ edges, provided that $m-n\to\infty$ and $m=O(n\log n)$ as $n\to\infty$. This is the entire range of $m$ not covered by previous results. The proof involves determining properties of the core and kernel of random graphs with minimum degree at least 2. The case of 2-edge-connectedness is treated similarly. We also obtain formulae for the number of 2-connected graphs with given degree sequence for most (`typical') sequences. Our main result solves a problem of Wright from 1983.
2010-10-11
Foldings in graphs and relations with simplicial complexes and posets
Published • View Publication • BIB
We study dismantlability in graphs. In order to compare this notion to similar operations in posets (partially ordered sets) or in simplicial complexes, we prove that a graph G dismants on a subgraph H if and only if H is a strong deformation retract of G. Then, by looking at a triangle relating graphs, posets and simplicial complexes, we get a precise correspondence of the various notions of dismantlability in each framework. As an application, we study the link between the graph of morphisms from a graph G to a graph H and the polyhedral complex Hom(G,H); this gives a more precise statement about well known results concerning the polyhedral complex Hom(G,H) and its relation with foldings in G or H.
2010-10-11
Ramsey-type constructions for arrangements of segments
Published in European Journal of Combinatorics 33 (2012), Issue 3, 336-339 • View Publication • BIB
Improving a result of Károlyi, Pach and Tóth, we construct an arrangement of $n$ segments in the plane with at most $n^{\log{8} / \log{169}}$ pairwise crossing or pairwise disjoint segments. We use the recursive method based on flattenable arrangements which was established by Larman, Matoušek, Pach and Törőcsik. We also show that not every arrangement can be flattened, by constructing an intersection graph of segments which cannot be realized by an arrangement of segments crossing a common line. Moreover, we also construct an intersection graph of segments crossing a common line which cannot be realized by a flattenable arrangement.
2010-10-10 v2
Counting points of slope varieties over finite fields
Published • View Publication • BIB
The slope variety of a graph is an algebraic set whose points correspond to drawings of a graph. A complement-reducible graph (or cograph) is a graph without an induced four-vertex path. We construct a bijection between the zeroes of the slope variety of the complete graph on $n$ vertices over $\mathbb{F}_2$, and the complement-reducible graphs on $n$ vertices.
Corrections to the article "The metric dimension of graph with pendant edges" [Journal of Combinatorial Mathematics and Combinatorial Computing, 65 (2008) 139--145]
We show that the principal results of the article "The metric dimension of graph with pendant edges" [Journal of Combinatorial Mathematics and Combinatorial Computing, 65 (2008) 139--145] do not hold. In this paper we correct the results and we solve two open problems described in the above mentioned paper.
2010-10-07
Tridiagonal matrices with nonnegative entries
Published • View Publication • BIB
In this paper we characterize the nonnegative irreducible tridiagonal matrices and their permutations, using certain entries in their primitive idempotents. Our main result is summarized as follows. Let $d$ denote a nonnegative integer. Let $A$ denote a matrix in $\matR$ and let $\{þ_i\}_{i=0}^d$ denote the roots of the characteristic polynomial of $A$. We say $A$ is multiplicity-free whenever these roots are mutually distinct and contained in $\R$. In this case $E_i$ will denote the primitive idempotent of $A$ associated with $þ_i$ $(0 \leq i \leq d)$. We say $A$ is symmetrizable whenever there exists an invertible diagonal matrix $Δ\in \matR$ such that $ΔA Δ^{-1}$ is symmetric. Let $Γ(A)$ denote the directed graph with vertex set $\{0,1,...,d\}$, where $i \rightarrow j$ whenever $i \neq j$ and $A_{ij} \neq 0$. Theorem: Assume that each entry of $A$ is nonnegative. Then the following are equivalent for $0 \leq s,t \leq d$: (i) The graph $Γ(A)$ is a bidirected path with endpoints $s$, $t$: (ii) The matrix $A$ is symmetrizable and multiplicity-free. Moreover the $(s,t)$-entry of $E_i$ times $(þ_i-þ_0)...(þ_i-þ_{i-1})(þ_i-þ_{i+1})...(þ_i-þ_d)$ is independent of $i$ for $0 \leq i \leq d$, and this common value is nonzero. Recently Kurihara and Nozaki obtained a theorem that characterizes the $Q$-polynomial property for symmetric association schemes. We view the above result as a linear algebraic generalization of their theorem.
2010-10-07
Nim on the Complete Graph
The game of Nim as played on graphs was introduced in Nim on Graphs I and extended in Nim on Graphs II by Masahiko Fukuyama. His papers detail the calculation of Grundy numbers for graphs under specific circumstances. We extend these results and introduce the strategy for even cycles. This paper examines a more general class of graphs by restricting the edge weight to one. We provide structural conditions for which there exist a winning strategy. This yields the solution for the complete graph.
2010-10-07 v5
Contact processes on the integers
The three state contact process is the modification of the contact process at rate $μ$ in which first infections occur at rate $λ$ instead. Chapters 2 and 3 consider the three state contact process on (graphs that have as set of sites) the integers with nearest neighbours interaction (that is, edges are placed among sites at Euclidean distance one apart). Results in Chapter 2 are meant to illustrate regularity of the growth of the process under the assumption that $μ\geq λ$, that is, reverse immunization. While in Chapter 3 two results regarding the convergence rates of the process are given. Chapter 4 is concerned with the i.i.d.\ behaviour of the right endpoint of contact processes on the integers with symmetric, translation invariant interaction. Finally, Chapter 5 is concerned with two monotonicity properties of the three state contact process.