graph
34516 papers tagged with this keyword
Colourings of the Cartesian Product of Graphs and Multiplicative Sidon Sets
Published in Combinatorica 29.4:449-466, 2009
• Search Publication
Let $F$ be a family of connected bipartite graphs, each with at least three vertices. A proper vertex colouring of a graph $G$ with no bichromatic subgraph in $F$ is $\F$-free. The $F$-free chromatic number $χ(G,F)$ of a graph $G$ is the minimum number of colours in an $F$-free colouring of $G$. For appropriate choices of $F$, several well-known types of colourings fit into this framework, including acyclic colourings, star colourings, and distance-2 colourings. This paper studies $F$-free colourings of the cartesian product of graphs.
Let $H$ be the cartesian product of the graphs $G_1,G_2,...,G_d$. Our main result establishes an upper bound on the $F$-free chromatic number of $H$ in terms of the maximum $F$-free chromatic number of the $G_i$ and the following number-theoretic concept. A set $S$ of natural numbers is $k$-multiplicative Sidon if $ax=by$ implies $a=b$ and $x=y$ whenever $x,y\in S$ and $1\leq a,b\leq k$. Suppose that $χ(G_i,F)\leq k$ and $S$ is a $k$-multiplicative Sidon set of cardinality $d$. We prove that $χ(H,F) \leq 1+2k\cdot\max S$. We then prove that the maximum density of a $k$-multiplicative Sidon set is $Θ(1/\log k)$. It follows that $χ(H,F) \leq O(dk\log k)$. We illustrate the method with numerous examples, some of which generalise or improve upon existing results in the literature.
Cyclically Orientable Graphs
Barot, Geiss and Zelevinsky define a notion of a ``cyclically orientable graph'' and use it to devise a test for whether a cluster algebra is of finite type. Barot, Geiss and Zelivinsky's work leaves open the question of giving an efficient characterization of cyclically orientable graphs. In this paper, we give a simple recursive description of cyclically orientable graphs, and use this to give an O(n) algorithm to test whether a graph on $n$ vertices is cyclically orientable. Shortly after writing this paper, I learned that most of its results had been obtained independently by Gurvich; I am placing this paper on the arXiv to spread knowledge of these results.
The k-core and branching processes
Published in Combinatorics, Probability and Computing 17 (2008) 111--136.
• View Publication
• BIB
The k-core of a graph G is the maximal subgraph of G having minimum degree at least k. In 1996, Pittel, Spencer and Wormald found the threshold $λ_c$ for the emergence of a non-trivial k-core in the random graph $G(n,λ/n)$, and the asymptotic size of the k-core above the threshold. We give a new proof of this result using a local coupling of the graph to a suitable branching process. This proof extends to a general model of inhomogeneous random graphs with independence between the edges. As an example, we study the k-core in a certain power-law or `scale-free' graph with a parameter c controlling the overall density of edges. For each k at least 3, we find the threshold value of c at which the k-core emerges, and the fraction of vertices in the k-core when c is εabove the threshold. In contrast to $G(n,λ/n)$, this fraction tends to 0 as εtends to 0.
Birational transformations of weighted graphs
We introduce the notion of a standard weighted graph and show that every weighted graph has an essentially unique standard model. Moreover we classify birational transformations between such models. Our central result shows that these are composed of elementary transformations. The latter ones are defined similarly to the well known elementary transformations of ruled surfaces.
In a forthcoming paper, we apply these results in the geometric setup to obtain standard equivariant completions of affine surfaces with an action of certain algebraic groups. We show that these completions are unique up to equivariant elementary transformations.
Sequentially Cohen-Macaulay Edge Ideals
Published in Proc. Amer. Math. Soc. 135 (2007), no. 8, 2327-2337
• View Publication
• BIB
Let G be a simple undirected graph on n vertices, and let I(G) \subseteq R = k[x_1,...,x_n] denote its associated edge ideal. We show that all chordal graphs G are sequentially Cohen-Macaulay; our proof depends upon showing that the Alexander dual of I(G) is componentwise linear. Our result complements Faridi's theorem that the facet ideal of a simplicial tree is sequentially Cohen-Macaulay and implies Herzog, Hibi, and Zheng's theorem that a chordal graph is Cohen-Macaulay if and only if its edge ideal is unmixed. We also characterize the sequentially Cohen-Macaulay cycles and produce some examples of nonchordal sequentially Cohen-Macaulay graphs.
Boundary Qoutinet Graphs and Graph Index
In this paper, we define the quotinet graphs. In particular, we introduce the boundary quotient graphs, admissible boundary quotient graphs and subgraph boundary qoutient graphs. By the property of the quotient spaces, the boundary quotients need not be invariants on graphs. But, in certain cases, the admissible boundary quotient can be an invariant. The graph index is defined and observed. The concept is somewhat artificial, but we can construct the group-theory-like index on graphs, with respect to the subgraph qoutient graphs.
Pebbling and Optimal Pebbling in Graphs
Published in Journal of Graph Theory. Vol. 57, March 2008, pp. 215-238
• View Publication
• BIB
Given a distribution of pebbles on the vertices of a graph G, a {\it pebbling move} takes two pebbles from one vertex and puts one on a neighboring vertex. The {\it pebbling number} Π(G) is the minimum k such that for every distribution of k pebbles and every vertex r, it is possible to move a pebble to r. The {\it optimal pebbling number} Π_{OPT}(G) is the minimum k such that some distribution of k pebbles permits reaching each vertex.
We give short proofs of prior results on these parameters for paths, cycles, trees, and hypercubes, a new linear-time algorithm for computing Π(G) on trees, and new results on Π_{OPT}(G). If G is a connected n-vertex graph, then Π_{OPT}(G)\le\ceiling{2n/3}, with equality for paths and cycles. If \bf{G} is the family of n-vertex connected graphs with minimum degree k, then 2.4\le \max_{G\in \bf{G}} Π_{OPT}(G) \frac{k+1}{n}\le 4 when k>15 and k is a multiple of 3. Finally, Π_{OPT}(G)\le 4^tn/((k-1)^t+4^t) when G is a connected n-vertex graph with minimum degree k and girth at least 2t+1. For t=2, a more precise version of this last bound is Π_{OPT}(G)\le 16n/(k^2+17).
Principal $Γ$-cone for a tree
Published
• View Publication
• BIB
Each orientation on a Dynkin graph $Γ$ defines a cone (in a certain real configuration space) which is further divided into chambers. We enumerate the number of chambers for two particular cones, which are called the pricipal $Γ$-cones and are attached to bipartite decompositions of $Γ$, by a use of hook length formulae. We prove that these pricipal cones are characterized by the maximality of the number of chambers in them.
Realizations of the associahedron and cyclohedron
Published in Discrete and Computational Geometry 37 (4) (2007), 517-543
• View Publication
• BIB
We describe many different realizations with integer coordinates for the associahedron (i.e. the Stasheff polytope) and for the cyclohedron (i.e. the Bott-Taubes polytope) and compare them to the permutahedron of type A_n and B_n respectively.
The coordinates are obtained by an algorithm which uses an oriented Coxeter graph of type A_n or B_n respectively as only input and which specialises to a procedure presented by J.-L. Loday for a certain orientation of A_n. The described realizations have cambrian fans of type A and B as normal fans. This settles a conjecture of N. Reading for cambrian fans of these types.
Reduced chromatic graph cohomology
In this paper we give a new characterization of the h-vector of the chromatic polynomial of a graph. We introduce reduced chromatic cohomology of a graph and show that h_i are its Betti numbers. We then discuss various combinatorial properties of these cohomologies. In particular we prove that these cohomologies depend only on the matroid type of the graph and describe their relationship to the regular chromatic cohomologies.
Small models of graph colouring manifolds and the Stiefel manifolds Hom(C_5, K_n)
We show Péter Csorba's conjecture that the graph homomorphism complex Hom(C_5,K_{n+2}) is homeomorphic to a Stiefel manifold, the space of unit tangent vectors to the n-dimensional sphere. For this a general tool is developed that allows to replace the complexes Hom(G, K_n) by smaller complexes that are homeomorphic to them whenever G is a graph for which those complexes are manifolds. The equivariant version of Csorba's conjecture is proved up to homotopy.
We also study certain subdivisions of simplicial manifolds that are related to the interval poset of their face posets and their connection with geometric approximations to diagonal maps.
A sharp diameter bound for unipotent groups of classical type over Z/pZ
Published
• View Publication
• BIB
The unipotent subgroup of a finite group of Lie type over a prime field Z/pZ comes equipped with a natural set of generators; the properties of the Cayley graph associated to this set of generators have been much studied. In the present paper, we show that the diameter of this Cayley graph is bounded above and below by constant multiples of np + n^2 log p, where n is the rank of the associated Lie group. This generalizes a result of the first author, which treated the case of SL_n(Z/pZ). (Keywords: diameter, Cayley graph, finite groups of Lie type. AMS classification: 20G40, 05C25)
Hyperbolic Polynomials Approach to Van der Waerden/Schrijver-Valiant like Conjectures : Sharper Bounds, Simpler Proofs and Algorithmic Applications
Published
• View Publication
• BIB
Let $p(x_1,...,x_n) = p(X), X \in R^{n}$ be a homogeneous polynomial of degree $n$ in $n$ real variables, $e = (1,1,..,1) \in R^n$ be a vector of all ones . Such polynomial $p$ is called $e$-hyperbolic if for all real vectors $X \in R^{n}$ the univariate polynomial equation $P(te - X) = 0$ has all real roots $λ_{1}(X) \geq ... \geq λ_{n}(X)$ . The number of nonzero roots $|\{i :λ_{i}(X) \neq 0 \}|$ is called $Rank_{p}(X)$ . A $e$-hyperbolic polynomial $p$ is called $POS$-hyperbolic if roots of vectors $X \in R^{n}_{+}$ with nonnegative coordinates are also nonnegative (the orthant $R^{n}_{+}$ belongs to the hyperbolic cone) and $p(e) > 0$ . Below $\{e_1,...,e_n\}$ stands for the canonical orthogonal basis in $R^{n}$. The main results states that if $p(x_1,x_2,...,x_n)$ is a $POS$-hyperbolic (homogeneous) polynomial of degree $n$, $Rank_{p} (e_{i}) = R_i$ and $ p(x_1,x_2,...,x_n) \geq \prod_{1 \leq i \leq n} x_i ; x_i > 0, 1 \leq i \leq n , $ then the following inequality holds $$ \frac{\partial^n}{\partial x_1...\partial x_n} p(0,...,0) \geq \prod_{1 \leq i \leq n} (\frac{G_{i} -1}{G_{i}})^{G_{i} -1} (G_i = \min(R_{i}, n+1-i)) . $$ This theorem is a vast (and unifying) generalization of as the van der Waerden conjecture on the permanents of doubly stochastic matrices as well Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs . The paper is (almost) self-contained, most of the proofs can be found in the {\bf Appendices}.
On Visibility Graphs of Point Sets in the Plane
Published
• View Publication
• BIB
The visibility graph Vis(X) of a discrete point set X in the plane has vertex set X and an edge xy for every two points x,y\in X whenever there is no other point in X on the line segment between x and y. We show that for every graph G, there is a point set X, such that the subgraph of Vis(X\cup Z^2) induced by X is isomorphic to G. As a consequence, we show that there are visibility graphs of arbitrary high chromatic number with clique number six settling a question by Kára, Pór and Wood.
Distance-balanced graphs: symmetry conditions
Published
• View Publication
• BIB
A graph $X$ is said to be {\it distance--balanced} if for any edge $uv$ of $X$, the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$. A graph $X$ is said to be {\it strongly distance--balanced} if for any edge $uv$ of $X$ and any integer $k$, the number of vertices at distance $k$ from $u$ and at distance $k+1$ from $v$ is equal to the number of vertices at distance $k+1$ from $u$ and at distance $k$ from $v$. Obviously, being distance--balanced is metrically a weaker condition than being strongly distance--balanced. In this paper, a connection between symmetry properties of graphs and the metric property of being (strongly) distance--balanced is explored. In particular, it is proved that every vertex--transitive graph is strongly distance--balanced.
A graph is said to be {\em semisymmetric} if its automorphism group acts transitively on its edge set, but does not act transitively on its vertex set. An infinite family of semisymmetric graphs, which are not distance--balanced, is constructed.
Finally, we give a complete classification of strongly distance--balanced graphs for the following infinite families of generalized Petersen graphs: $\GP(n,2)$, $\GP(5k+1,k)$, $\GP(3k\pm 3,k)$, and $\GP(2k+2,k)$.
Semisymmetric elementary abelian covers of the Möbius-Kantor graph
Let $\p_N \colon \tX \to X$ be a regular covering projection of connected graphs with the group of covering transformations isomorphic to $N$. If $N$ is an elementary abelian $p$-group, then the projection $\p_N$ is called $p$-elementary abelian. The projection $\p_N$ is vertex-transitive (edge-transitive) if some vertex-transitive (edge-transitive) subgroup of $\Aut X$ lifts along $\p_N$, and semisymmetric if it is edge- but not vertex-transitive. The projection $\p_N$ is minimal semisymmetric if $p_N$ cannot be written as a composition $\p_N = \p \circ \p_M$ of two (nontrivial) regular covering projections, where $\p_M$ is semisymmetric.
Finding elementary abelian covering projections can be grasped combinatorially via a linear representation of automorphisms acting on the first homology group of the graph. The method essentially reduces to finding invariant subspaces of matrix groups over prime fields (see {\em J. Algebr. Combin.}, {\bf 20} (2004), 71--97).
In this paper, all pairwise nonisomorphic minimal semisymmetric elementary abelian regular covering projections of the Möbius-Kantor graph, the Generalized Petersen graph $\GP(8,3)$, are constructed. No such covers exist for $p =2$. Otherwise, the number of such covering projections is equal to $(p-1)/4$ and $1+ (p-1)/4$ in cases $p \equiv 5,9,13,17,21 (\mod 24)$ and $p \equiv 1 (\mod 24)$, respectively, and to $(p+1)/4$ and $1+ (p+1)/4$ in cases $p \equiv 3,7,11,15,23 (\mod 24)$ and $p \equiv 19 (\mod 24)$, respectively. For each such covering projection the voltage rules generating the corresponding covers are displayed explicitly.
On bounds for some graph invariants
Published in Boletin de la Sociedad Matematica Mexicana (3) Vol. 16 (2010) 73-94
• Search Publication
Let $G$ be a graph without isolated vertices and let $α(G)$ be its stability number and $τ(G)$ its covering number. The {\it $α_{v}$-cover} number of a graph, denoted by $α_{v}(G)$, is the maximum natural number $m$ such that every vertex of $G$ belongs to a maximal independent set with at least $m$ vertices. In the first part of this paper we prove that $α(G)\leq τ(G)[1+α(G)-α_{v}(G)]$. We also discuss some conjectures analogous to this theorem.
In the second part we give a lower bound for the number of edges of a graph $G$ as a function of the stability number $α(G)$, the covering number $τ(G)$ and the number of connected components $c(G)$ of $G$. Namely, let $α$ and $τ$ be two natural numbers and let $$ Γ(α,τ)= \min{\sum_{i=1}^α\bin{z_i}{2} | z_1+...+z_α= α+τ{and} z_i \geq 0 \forall i=1,..., α}. $$ Then if $G$ is any graph, we have: $$ |E(G)| \geq α(G)-c(G)+ Γ(α(G), τ(G)). $$
Threshold and Complexity Results for the Cover Pebbling Game
Published
• View Publication
• BIB
Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph is the smallest number of pebbles necessary so that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. We determine Bose Einstein and Maxwell Boltzmann cover pebbling thresholds for the complete graph. Also, we show that the cover pebbling decision problem is NP-complete.
Feynman graphs and related Hopf algebras
Published
• View Publication
• BIB
In a recent series of communications we have shown that the reordering problem of bosons leads to certain combinatorial structures. These structures may be associated with a certain graphical description. In this paper, we show that there is a Hopf Algebra structure associated with this problem which is, in a certain sense, unique.
Engel graph associated with a group
Published
• View Publication
• BIB
Let $G$ be a non-Engel group and let $L(G)$ be the set of all left Engel elements of $G$.
Associate with $G$ a graph $\mathcal{E}_G$ as follows: Take $G\backslash L(G)$ as vertices of $\mathcal{E}_G$ and join two distinct vertices $x$ and $y$ whenever $[x,_k y]\not=1$ and $[y,_k x]\not=1$ for all positive integers $k$. We call $\mathcal{E}_G$, the Engel graph of $G$. In this paper we study the graph theoretical properties of $\mathcal{E}_G$.