arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35150 papers tagged with this keyword
2008-05-19 v2
Connectivity of the Uniform Random Intersection Graph
Published • View Publication • BIB
A \emph{uniform random intersection graph} $G(n,m,k)$ is a random graph constructed as follows. Label each of $n$ nodes by a randomly chosen set of $k$ distinct colours taken from some finite set of possible colours of size $m$. Nodes are joined by an edge if and only if some colour appears in both their labels. These graphs arise in the study of the security of wireless sensor networks. Such graphs arise in particular when modelling the network graph of the well known key predistribution technique due to Eschenauer and Gligor. The paper determines the threshold for connectivity of the graph $G(n,m,k)$ when $n\to \infty$ with $k$ a function of $n$ such that $k\geq 2$ and $m=\lfloor n^α\rfloor$ for some fixed positive real number $α$. In this situation, $G(n,m,k)$ is almost surely connected when \[ \liminf k^2n/m\log n>1, \] and $G(n,m,k)$ is almost surely disconnected when \[ \limsup k^2n/m\log n<1. \]
2008-05-19 v2
Adjoint functors and tree duality
Published in Discrete Math. Theor. Comput. Sci., 11(2), pp. 97-110, 2009 • View Publication • BIB
A family T of digraphs is a complete set of obstructions for a digraph H if for an arbitrary digraph G the existence of a homomorphism from G to H is equivalent to the non-existence of a homomorphism from any member of T to G. A digraph H is said to have tree duality if there exists a complete set of obstructions T consisting of orientations of trees. We show that if H has tree duality, then its arc graph delta H also has tree duality, and we derive a family of tree obstructions for delta H from the obstructions for H. Furthermore we generalise our result to right adjoint functors on categories of relational structures. We show that these functors always preserve tree duality, as well as polynomial CSPs and the existence of near-unanimity functions.
2008-05-18
Cops and robbers in random graphs
We consider the pursuit and evasion game on finite, connected, undirected graphs known as cops and robbers. Meyniel conjectured that for every graph on n vertices a rootish number of cops can win the game. We prove that this holds up to a log(n) factor for random graphs G(n,p) if p is not very small, and this is close to be tight unless the graph is very dense. We analyze the area-defending strategy (used by Aigner in case of planar graphs) and show examples where it can not be too efficient.
2008-05-17 v2
Disjointness of representations arising in harmonic analysis on the infinite-dimensional unitary group
Published in Funct. Anal. Appl. , 44 (2010), no. 2, 92-105 • View Publication • BIB
We prove pairwise disjointness of representations T_{z,w} of the infinite-dimensional unitary group. These representations provide a natural generalization of the regular representation for the case of "big" group U(\infty). They were introduced and studied by G.Olshanski and A.Borodin. Disjointness of the representations can be reduced to disjointness of certain probability measures on the space of paths in the Gelfand-Tsetlin graph. We prove the latter disjointness using probabilistic and combinatorial methods.
2008-05-14
On Emergence of Dominating Cliques in Random Graphs
Emergence of dominating cliques in Erdös-Rényi random graph model ${\bbbg(n,p)}$ is investigated in this paper. It is shown this phenomenon possesses a phase transition. Namely, we have argued that, given a constant probability $p$, an $n$-node random graph $G$ from ${\bbbg(n,p)}$ and for $r= c \log_{1/p} n$ with $1 \leq c \leq 2$, it holds: (1) if $p > 1/2$ then an $r$-node clique is dominating in $G$ almost surely and, (2) if $p \leq (3 - \sqrt{5})/2$ then an $r$-node clique is not dominating in $G$ almost surely. The remaining range of probability $p$ is discussed with more attention. A detailed study shows that this problem is answered by examination of sub-logarithmic growth of $r$ upon $n$.
2008-05-13 v3
Cut ideals of K4-minor free graphs are generated by quadrics
Cut ideals are used in algebraic statistics to study statistical models defined by graphs. Intuitively, topological restrictions on the graphs should imply structural statements about the corresponding cut ideals. Several theorems and many computer calculations support that. Sturmfels and Sullivant conjectured that the cut ideal is generated by quadrics if and only if the graph is free of K4-minors. Parts of the conjecture has been resolved by Brennan and Chen, and later by Nagel and Petrovic. We prove the full conjecture by introducing a new type of toric fiber product theorem.
Universal Cycles of Discrete Functions
Published in Congressus Numerantium 189, 121-128, 2008 • Search Publication
A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian; this baseline result is used as the basis of existence proofs for universal cycles (also known as deBruijn cycles or $U$-cycles) of several combinatorial objects. We present new results on the existence of universal cycles of certain classes of functions. These include onto functions, and 1-inequitable sequences on a binary alphabet. In each case the connectedness of the underlying graph is the non-trivial aspect to be established.
2008-05-12 v2
Geometric representation of binary codes and computation of weight enumerators
Published in Adv. in Appl. Math. 45 (2010) 290-301 • View Publication • BIB
For every linear binary code $C$, we construct a geometric triangular configuration $Δ$ so that the weight enumerator of $C$ is obtained by a simple formula from the weight enumerator of the cycle space of $Δ$. The triangular configuration $Δ$ thus provides a geometric representation of $C$ which carries its weight enumerator. This is the initial step in the suggestion by M. Loebl, to extend the theory of Pfaffian orientations from graphs to general linear binary codes. Then we carry out also the second step by constructing, for every triangular configuration $Δ$, a triangular configuration $Δ'$ and a bijection between the cycle space of $Δ$ and the set of the perfect matchings of $Δ'$.
2008-05-12 v4
Lower Bounds for the Size of Random Maximal H-Free Graphs
Published in Electron. J. Combin. 16 (2009), no. 1, Research Paper 4, 26 pp • View Publication • BIB
We consider the next greedy randomized process for generating maximal H-free graphs: Given a fixed graph H and an integer n, start by taking a uniformly random permutation of the edges of the complete n-vertex graph. Then, construct an n-vertex graph, M_n(H), iteratively as follows. Traverse the permuted edges of the complete n-vertex graph and add each one to the (initially empty) evolving graph M_n(H) - unless its addition creates a copy of H. The result of this process is a maximal H-free graph M_n(H). The basic question we are concerned with in here is: What is the expected number of edges in M_n(H)? We give new lower bounds on the expected number of edges in M_n(H) for the case where H is a regular, strictly 2-balanced graph. In particular, we obtain new lower bounds for Turan numbers of complete balanced bipartite graphs K_{r,r}, for every fixed r > 4. This improves an old lower bound of Erdos and Spencer.
2008-05-10
On the Ramsey numbers for paths and generalized Jahangir graphs
For given graphs $G$ and $H,$ the \emph{Ramsey number} $R(G,H)$ is the least natural number $n$ such that for every graph $F$ of order $n$ the following condition holds: either $F$ contains $G$ or the complement of $F$ contains $H.$ In this paper, we determine the Ramsey number of paths versus generalized Jahangir graphs. We also derive the Ramsey number $R(tP_n,H)$, where $H$ is a generalized Jahangir graph $J_{s,m}$ where $s\geq2$ is even, $m\geq3$ and $t\geq1$ is any integer.
2008-05-09 v2
A note on the enumeration of directed animals via gas considerations
Published in Annals of Applied Probability 2009, Vol. 19, No. 5, 1860-1879 • View Publication • BIB
In the literature, most of the results about the enumeration of directed animals on lattices via gas considerations are obtained by a formal passage to the limit of enumeration of directed animals on cyclical versions of the lattice. Here we provide a new point of view on this phenomenon. Using the gas construction given in [Electron. J. Combin. (2007) 14 R71], we describe the gas process on the cyclical versions of the lattices as a cyclical Markov chain (roughly speaking, Markov chains conditioned to come back to their starting point). Then we introduce a notion of convergence of graphs, such that if $(G_n)\to G$ then the gas process built on $G_n$ converges in distribution to the gas process on $G$. That gives a general tool to show that gas processes related to animals enumeration are often Markovian on lines extracted from lattices. We provide examples and computations of new generating functions for directed animals with various sources on the triangular lattice, on the $\mathcal {T}_n$ lattices introduced in [Ann. Comb. 4 (2000) 269--284] and on a generalization of the $\mathcaligr {L}_n$ lattices introduced in [J. Phys. A 29 (1996) 3357--3365].
2008-05-07 v2
Fibonacci Identities and Graph Colorings
Published • View Publication • BIB
We generalize both the Fibonacci and Lucas numbers to the context of graph colorings, and prove some identities involving these numbers. As a corollary we obtain new proofs of some known identities involving Fibonacci numbers such as \[F_{r+s+t} = F_{r+1}F_{s+1}F_{t+1} + F_r F_s F_t - F_{r-1}F_{s-1}F_{t-1}.\]
Upper bounds for alpha-domination parameters
Published in Graphs Combin. 25 (2009), no. 4, pp. 513-520 • View Publication • BIB
In this paper, we provide a new upper bound for the alpha-domination number. This result generalises the well-known Caro-Roditty bound for the domination number of a graph. The same probabilistic construction is used to generalise another well-known upper bound for the classical domination in graphs. We also prove similar upper bounds for the alpha-rate domination number, which combines the concepts of alpha-domination and k-tuple domination.
2008-05-04
Collinear triples in permutations
Published • View Publication • BIB
Let $α:\mathbb{F}_q\to\mathbb{F}_q$ be a permutation and $Ψ(α)$ be the number of collinear triples in the graph of $α$, where $\mathbb{F}_q$ denotes a finite field of $q$ elements. When $q$ is odd Cooper and Solymosi once proved $Ψ(α)\geq(q-1)/4$ and conjectured the sharp bound should be $Ψ(α)\geq(q-1)/2$. In this note we indicate that the Cooper-Solymosi conjecture is true.
2008-05-03
Nathanson's Heights and the CSS Conjecture for Cayley Graphs
Published • View Publication • BIB
Let $G$ be a finite directed graph, $β(G)$ the minimum size of a subset $X$ of edges such that the graph $G' = (V,E \smallsetminus X)$ is directed acyclic and $γ(G)$ the number of pairs of nonadjacent vertices in the undirected graph obtained from $G$ by replacing each directed edge with an undirected edge. Chudnovsky, Seymour and Sullivan \cite{CSS07} proved that if $G$ is triangle-free, then $β(G) \leq γ(G)$. They conjectured a sharper bound (so called the "CSS conjecture") that $β(G) \leq \dfrac{γ(G)}{2}$. Nathanson and Sullivan verified this conjecture for the directed Cayley graph $\Cay(\bbZ/N\bbZ, E_A)$ whose vertex set is the additive group $\bbZ/N\bbZ$ and whose edge set $E_A$ is determined by $E_A = {(x,x+a) : x \in \bbZ/N\bbZ, a \in A}$ when $N$ is prime in \cite{NS07} by introducing "height". In this work, we extend the definition of height and the proof of CSS conjecture for $\Cay(\bbZ/N\bbZ, E_A)$ to any positive integer $N$.
2008-05-02
Nondiscriminatory Propagation on Trees
Published in J. Phys. A: Math. Theor. 41 482002, 2008 • View Publication • BIB
We consider a discrete-time dynamical process on graphs, firstly introduced in connection with a protocol for controlling large networks of spin 1/2 quantum mechanical particles [Phys. Rev. Lett. 99, 100501 (2007)]. A description is as follows: each vertex of an initially selected set has a packet of information (the same for every element of the set), which will be distributed among vertices of the graph; a vertex v can pass its packet to an adjacent vertex w only if w is its only neighbour without the information. By mean of examples, we describe some general properties, mainly concerning homeomorphism, and redundant edges. We prove that the cardinality of the smallest sets propagating the information in all vertices of a balanced m-ary tree of depth k is exactly (m^{k+1}+(-1)^{k})/(m+1). For binary trees, this number is related to alternating sign matrices.
The Dynamics of Conjunctive and Disjunctive Boolean Networks
Published • View Publication • BIB
The relationship between the properties of a dynamical system and the structure of its defining equations has long been studied in many contexts. Here we study this problem for the class of conjunctive (resp. disjunctive) Boolean networks, that is, Boolean networks in which all Boolean functions are constructed with the AND (resp. OR) operator only. The main results of this paper describe network dynamics in terms of the structure of the network dependency graph (topology). For a given such network, all possible limit cycle lengths are computed and lower and upper bounds for the number of cycles of each length are given. In particular, the exact number of fixed points is obtained. The bounds are in terms of structural features of the dependency graph and its partially ordered set of strongly connected components. For networks with strongly connected dependency graph, the exact cycle structure is computed.
2008-04-30 v2
Combinatorial Constructions of Weight Bases: The Gelfand-Tsetlin Basis
Published • View Publication • BIB
This work is part of a project on weight bases for the irreducible representations of semisimple Lie algebras with respect to which the representation matrices of the Chevalley generators are given by explicit formulas. In the case of sl_n, the celebrated Gelfand-Tsetlin basis is the only such basis known. Using the setup of supporting graphs developed by Donnelly, we present a simple combinatorial proof of the Gelfand-Tsetlin formulas based on a rational function identity. Some properties of the Gelfand-Tsetlin basis are derived via an algorithm for solving certain equations on the lattice of semistandard Young tableaux.
2008-04-30
Representations of Aut(A(Gamma)) acting on homogeneous components of A(Gamma) and A(Gamma) dual
In this paper we will study the structure of algebras A(Gamma) associated to two directed, layered graphs Gamma. These are algebras associated with Hasse graphs of n-gons and the algebras Q_n related to pseudoroots of noncommutative polynomials. We will find the filtration preserving automorphism group of these algebras and then we will find the multiplicities of the irreducible representations of Aut(A(Gamma)) acting on the homogeneous components of A(Gamma) and A(Gamma) dual.
2008-04-29
Long heterochromatic paths in heterochromatic triangle free graphs
In this paper, graphs under consideration are always edge-colored. We consider long heterochromatic paths in heterochromatic triangle free graphs. Two kinds of such graphs are considered, one is complete graphs with Gallai colorings, i.e., heterochromatic triangle free complete graphs; the other is heterochromatic triangle free graphs with $k$-good colorings, i.e., minimum color degree at least $k$. For the heterochromatic triangle free graphs $K_n$, we obtain that for every vertex $v\in V(K_n)$, $K_n$ has a heterochromatic $v$-path of length at least $d^c(v)$; whereas for the heterochromatic triangle free graphs $G$ we show that if, for any vertex $v\in V(G)$, $d^c(v)\geq k\geq 6$, then $G$ a heterochromatic path of length at least $\frac{3k}{4}$.