graph
34995 papers tagged with this keyword
Colored graphs, Gaussian integrals and stable graph polynomials
Asymptotic expansions of Gaussian integrals may often be interpreted as generating functions for certain combinatorial objects (graphs with additional data). In this article we discuss a general approach to all such cases using colored graphs. We prove that the generating power series for such graphs satisfy the same system of partial differential equations as the Gaussian integral and the formal power series solution of this system is unique. The solution is obtained as the genus expansion of the generating power series. The initial term of this expansion is the corresponding generating function for trees. The consequence equations for this term turns to be equivalent to the inversion problem for the gradient mapping defined by the initial condition. The equations for the higher terms of the genus expansion are linear. The solutions of these equations can be expressed explicitly by substitution of the initial conditions and the initial term (the tree expansion) into some universal polynomials (for g>1) which are generating functions for stable closed graphs. (For g=1 instead of polynomials appears logarithm.) The stable graph polynomials satisfy certain recurrence. In [1] some of these results were obtained for the one dimensional case by more or less direct solution of differential equations. Here we present purely combinatorial proofs.
Split digraphs
Published in M. Drew LaMar. Split Digraphs. Discrete Mathematics, 312(7):1314-1325, 2012
• View Publication
• BIB
We generalize the class of split graphs to the directed case and show that these split digraphs can be identified from their degree sequences. The first degree sequence characterization is an extension of the concept of splittance to directed graphs, while the second characterization says a digraph is split if and only if its degree sequence satisfies one of the Fulkerson inequalities (which determine when an integer-pair sequence is digraphic) with equality.
Growth of graph powers
Published
• View Publication
• BIB
For a graph G, its rth power is constructed by placing an edge between two vertices if they are within distance r of each other. In this note we study the amount of edges added to a graph by taking its rth power. In particular we obtain that either the rth power is complete or "many" new edges are added. This is an extension of a result obtained by P. Hegarty for cubes of graphs.
Pseudograph associahedra
Published in Journal of Combinatorial Theory, Series A 118 (2011) 2035-2055
• View Publication
• BIB
Given a simple graph G, the graph associahedron KG is a simple polytope whose face poset is based on the connected subgraphs of G. This paper defines and constructs graph associahedra in a general context, for pseudographs with loops and multiple edges, which are also allowed to be disconnected. We then consider deformations of pseudograph associahedra as their underlying graphs are altered by edge contractions and edge deletions.
A note on monotonicity of mixed Ramsey numbers
Published
• View Publication
• BIB
For two graphs, $G$, and $H$, an edge-coloring of a complete graph is $(G,H)$-good if there is no monochromatic subgraph isomorphic to $G$ and no rainbow subgraph isomorphic to $H$ in this coloring. The set of number of colors used by some $(G,H)$-colorings of $K_n$ is called a mixed-Ramsey spectrum. This note addresses a fundamental question of whether the spectrum is an interval. It is shown that the answer is "yes" if $G$ is not a star and $H$ does not contain a pendent edge.
Kempe equivalence of edge-colourings in subcubic and subquartic graphs
Published
• View Publication
• BIB
It is proved that all 4-edge-colourings of a (sub)cubic graph are Kempe equivalent. This resolves a conjecture of the second author. In fact, it is found that the maximum degree Delta=3 is a threshold for Kempe equivalence of (Delta+1)-edge-colourings, as such an equivalence does not hold in general when Delta=4. One extra colour allows a similar result in this latter case however, namely, when Delta<=4 it is shown that all (Delta+2)-edge-colourings are Kempe equivalent.
Topology of configuration space of two particles on a graph, II
Published in Algebr. Geom. Topol. 10 (2010) 2203-2227
• View Publication
• BIB
This paper continues the investigation of the configuration space of two distinct points on a graph. We analyze the process of adding an additional edge to the graph and the resulting changes in the topology of the configuration space. We introduce a linking bilinear form on the homology group of the graph with values in the cokernel of the intersection form (introduced in Part I of this work). For a large class of graphs, which we call mature graphs, we give explicit expressions for the homology groups of the configuration space. We show that under a simple condition, adding an edge to a mature graph yields another mature graph.
Undecidability of linear inequalities in graph homomorphism densities
Published
• View Publication
• BIB
The purpose of this article is to show that even the most elementary problems in asymptotic extremal graph theory can be highly non-trivial. We study linear inequalities between graph homomorphism densities. In the language of quantum graphs the validity of such an inequality is equivalent to the positivity of a corresponding quantum graph. Similar to the setting of polynomials, a quantum graph that can be represented as a sum of squares of labeled quantum graphs is necessarily positive. Lovász asks whether the opposite is also true. We answer this question and also a related question of Razborov in the negative by introducing explicit valid inequalities that do not satisfy the required conditions. Our solution to these problems is based on a reduction from real multivariate polynomials and uses the fact that there are positive polynomials that cannot be expressed as sums of squares of polynomials.
It is known that the problem of determining whether a multivariate polynomial is positive is decidable. Hence it is very natural to ask "Is the problem of determining the validity of a linear inequality between homomorphism densities decidable?" We give a negative answer to this question which shows that such inequalities are inherently difficult in their full generality. Furthermore we deduce from this fact that the analogue of Artin's solution to Hilbert's seventeenth problem does not hold in the setting of quantum graphs.
On the Number of 2-SAT Functions
Published in Combinatorics, Probability and Computing, Volume 18, Special Issue 05 (2009), 749-764.
• View Publication
• BIB
We give an alternative proof of a conjecture of Bollobás, Brightwell and Leader, first proved by Peter Allen, stating that the number of boolean functions definable by 2-SAT formulae is $(1+o(1))2^{\binom{n+1}{2}}$. One step in the proof determines the asymptotics of the number of "odd-blue-triangle-free" graphs on $n$ vertices.
3/2 Firefighters are not enough
Published in Discrete Applied Mathematics 161 (2013) 301-306
• View Publication
• BIB
The firefighter problem is a monotone dynamic process in graphs that can be viewed as modeling the use of a limited supply of vaccinations to stop the spread of an epidemic. In more detail, a fire spreads through a graph, from burning vertices to their unprotected neighbors. In every round, a small amount of unburnt vertices can be protected by firefighters. How many firefighters per turn, on average, are needed to stop the fire from advancing? We prove tight lower and upper bounds on the amount of firefighters needed to control a fire in the Cartesian planar grid and in the strong planar grid, resolving two conjectures of Ng and Raff.
Ramified rectilinear polygons: coordinatization by dendrons
Published in Discrete Comput. Geom. 54 (4): 771-797, 2015
• View Publication
• BIB
Simple rectilinear polygons (i.e. rectilinear polygons without holes or cutpoints) can be regarded as finite rectangular cell complexes coordinatized by two finite dendrons. The intrinsic $l_1$-metric is thus inherited from the product of the two finite dendrons via an isometric embedding. The rectangular cell complexes that share this same embedding property are called ramified rectilinear polygons. The links of vertices in these cell complexes may be arbitrary bipartite graphs, in contrast to simple rectilinear polygons where the links of points are either 4-cycles or paths of length at most 3. Ramified rectilinear polygons are particular instances of rectangular complexes obtained from cube-free median graphs, or equivalently simply connected rectangular complexes with triangle-free links. The underlying graphs of finite ramified rectilinear polygons can be recognized among graphs in linear time by a Lexicographic Breadth-First-Search. Whereas the symmetry of a simple rectilinear polygon is very restricted (with automorphism group being a subgroup of the dihedral group $D_4$), ramified rectilinear polygons are universal: every finite group is the automorphism group of some ramified rectilinear polygon.
Counting Connected Set Partitions of Graphs
Published in The Electronic Journal of Combinatorics 18 (2011) #P14
• View Publication
• BIB
Let $G=(V,E)$ be a simple undirected graph with $n$ vertices then a set partition $π=\{V_1, ..., V_k\}$ of the vertex set of $G$ is a connected set partition if each subgraph $G[V_j]$ induced by the blocks $V_j$ of $π$ is connected for $1\le j\le k$. Define $q_{i}(G)$ as the number of connected set partitions in $G$ with $i$ blocks. The partition polynomial is then $Q(G, x)=\sum_{i=0}^n q_{i}(G)x^i$. This paper presents a splitting approach to the partition polynomial on a separating vertex set $X$ in $G$ and summarizes some properties of the bond lattice. Furthermore the bivariate partition polynomial $Q(G,x,y)=\sum_{i=1}^n \sum_{j=1}^m q_{ij}(G)x^iy^j$ is briefly discussed, where $q_{ij}(G)$ counts the number of connected set partitions with $i$ blocks and $j$ intra block edges. Finally the complexity for the bivariate partition polynomial is proven to be $\sharp P$-hard.
Improved bounds on coloring of graphs
Published
• View Publication
• BIB
Given a graph $G$ with maximum degree $Δ\ge 3$, we prove that the acyclic edge chromatic number $a'(G)$ of $G$ is such that $a'(G)\le\lceil 9.62 (Δ-1)\rceil$. Moreover we prove that:
$a'(G)\le \lceil 6.42(Δ-1)\rceil$ if $G$ has girth $g\ge 5\,$; $a'(G)\le \lceil5.77 (Δ-1)\rc$ if
$G$ has girth $g\ge 7$; $a'(G)\le \lc4.52(\D-1)\rc$ if $g\ge 53$;
$a'(G)\le \D+2\,$ if $g\ge \lceil25.84\D\log\D(1+ 4.1/\log\D)\rceil$.
We further prove that the acyclic (vertex) chromatic number $a(G)$ of $G$ is such that
$a(G)\le \lc 6.59 Δ^{4/3}+3.3\D\rc$. We also prove that the star-chromatic number $χ_s(G)$ of $G$ is such that $χ_s(G)\le \lc4.34Δ^{3/2}+ 1.5\D\rc$. We finally prove that the $\b$-frugal chromatic number $χ^\b(G)$ of $G$ is such that $χ^\b(G)\le \lc\max\{k_1(\b)\D,\; k_2(\b){\D^{1+1/\b}/ (\b!)^{1/\b}}\}\rc$, where $k_1(\b)$ and $k_2(\b)$ are decreasing functions of $\b$ such that $k_1(\b)\in[4, 6]$ and $k_2(\b)\in[2,5]$.
To obtain these results we use an improved version of the Lovász Local Lemma due to Bissacot, Fernández, Procacci and Scoppola \cite{BFPS}.
Bandwidth theorem for random graphs
Published
• View Publication
• BIB
A graph $G$ is said to have \textit{bandwidth} at most $b$, if there exists a labeling of the vertices by $1,2,..., n$, so that $|i - j| \leq b$ whenever $\{i,j\}$ is an edge of $G$. Recently, Böttcher, Schacht, and Taraz verified a conjecture of Bollobás and Komlós which says that for every positive $r,Δ,γ$, there exists $β$ such that if $H$ is an $n$-vertex $r$-chromatic graph with maximum degree at most $Δ$ which has bandwidth at most $βn$, then any graph $G$ on $n$ vertices with minimum degree at least $(1 - 1/r + γ)n$ contains a copy of $H$ for large enough $n$. In this paper, we extend this theorem to dense random graphs. For bipartite $H$, this answers an open question of Böttcher, Kohayakawa, and Taraz. It appears that for non-bipartite $H$ the direct extension is not possible, and one needs in addition that some vertices of $H$ have independent neighborhoods. We also obtain an asymptotically tight bound for the maximum number of vertex disjoint copies of a fixed $r$-chromatic graph $H_0$ which one can find in a spanning subgraph of $G(n,p)$ with minimum degree $(1-1/r + γ)np$.
How frequently is a system of 2-linear Boolean equations solvable?
Published
• View Publication
• BIB
We consider a random system of equations $x_i+x_j=b_{(i,j)} (\text{mod }2)$, $(x_u\in \{0,1\},\, b_{(u,v)}=b_{(v,u)}\in\{0,1\})$, with the pairs $(i,j)$ from $E$, a symmetric subset of $[n]\times [n]$. $E$ is chosen uniformly at random among all such subsets of a given cardinality $m$; alternatively $(i,j)\in E$ with a given probability $p$, independently of all other pairs. Also, given $E$, $\pr\{b_{e}=0\}=\pr\{b_e=1\}$ for each $e\in E$, independently of all other $b_{e^\prime}$. It is well known that, as $m$ passes through $n/2$ ($p$ passes through $1/n$, resp.), the underlying random graph $G(n,\#\text{edges}=m)$, ($G(n,\pr(\text{edge})=p)$, resp.) undergoes a rapid transition, from essentially a forest of many small trees to a graph with one large, multicyclic, component in a sea of small tree components. We should expect then that the solvability probability decreases precipitously in the vicinity of $m\sim n/2$ ($p\sim 1/n$), and indeed this probability is of order $(1-2m/n)^{1/4}$, for $m<n/2$ ($(1-pn)^{1/4}$, for $p<1/n$, resp.). We show that in a near-critical phase $m=(n/2)(1+\la n^{-1/3})$ ($p=(1+\la n^{-1/3})/n$, resp.), $\la=o(n^{1/12})$, the system is solvable with probability asymptotic to $c(\la)n^{-1/12}$, for some explicit function $c(\la)>0$. Mike Molloy noticed that the Boolean system with $b_e\equiv 1$ is solvable iff the underlying graph is $2$-colorable, and asked whether this connection might be used to determine an order of probability of $2$-colorability in the near-critical case. We answer Mike's question affirmatively and show that probability of $2$-colorability is $\lesssim 2^{-1/4}e^{1/8}c(λ)n^{-1/12}$, and asymptotic to $2^{-1/4}e^{1/8}c(\la)n^{-1/12}$ at a critical phase $\la=O(1)$, and for $\la\to -\infty$. (Submitted to Electronic Journal of Combinatorics on September 7, 2009.)
Component structure of the vacant set induced by a random walk on a random graph
Published
• View Publication
• BIB
We consider random walks on several classes of graphs and explore the likely structure of the vacant set, i.e. the set of unvisited vertices. Let Γ(t) be the subgraph induced by the vacant set of the walk at step t. We show that for random graphs G_{n,p} (above the connectivity threshold) and for random regular graphs G_r, r \geq 3, the graph Γ(t) undergoes a phase transition in the sense of the well-known Erdos-Renyi phase transition. Thus for t \leq (1-ε)t^*, there is a unique giant component, plus components of size O(log n), and for t \geq (1+ε)t^* all components are of size O(log n). For G_{n,p} and G_r we give the value of t^*, and the size of Γ(t). For G_r, we also give the degree sequence of Γ(t), the size of the giant component (if any) of Γ(t) and the number of tree components of Γ(t) of a given size k=O(log n). We also show that for random digraphs D_{n,p} above the strong connectivity threshold, there is a similar directed phase transition. Thus for t\leq (1-ε)t^*, there is a unique strongly connected giant component, plus strongly connected components of size O(log n), and for t\geq (1+ε)t^* all strongly connected components are of size O(log n).
Harmonic Labeling of Graphs
Published
• View Publication
• BIB
Which graphs admit an integer value harmonic function which is injective and surjective onto $\Z$? Such a function, which we call harmonic labeling, is constructed when the graph is the $\Z^2$ square grid. It is shown that for any finite graph $G$ containing at least one edge, there is no harmonic labeling of $ G \times \Z$.
Overlap properties of geometric expanders
Published
• View Publication
• BIB
The {\em overlap number} of a finite $(d+1)$-uniform hypergraph $H$ is defined as the largest constant $c(H)\in (0,1]$ such that no matter how we map the vertices of $H$ into $\R^d$, there is a point covered by at least a $c(H)$-fraction of the simplices induced by the images of its hyperedges. In~\cite{Gro2}, motivated by the search for an analogue of the notion of graph expansion for higher dimensional simplicial complexes, it was asked whether or not there exists a sequence $\{H_n\}_{n=1}^\infty$ of arbitrarily large $(d+1)$-uniform hypergraphs with bounded degree, for which $\inf_{n\ge 1} c(H_n)>0$. Using both random methods and explicit constructions, we answer this question positively by constructing infinite families of $(d+1)$-uniform hypergraphs with bounded degree such that their overlap numbers are bounded from below by a positive constant $c=c(d)$. We also show that, for every $d$, the best value of the constant $c=c(d)$ that can be achieved by such a construction is asymptotically equal to the limit of the overlap numbers of the complete $(d+1)$-uniform hypergraphs with $n$ vertices, as $n\rightarrow\infty$. For the proof of the latter statement, we establish the following geometric partitioning result of independent interest. For any $d$ and any $ε>0$, there exists $K=K(ε,d)\ge d+1$ satisfying the following condition. For any $k\ge K$, for any point $q \in \mathbb{R}^d$ and for any finite Borel measure $μ$ on $\mathbb{R}^d$ with respect to which every hyperplane has measure $0$, there is a partition $\mathbb{R}^d=A_1 \cup \ldots \cup A_{k}$ into $k$ measurable parts of equal measure such that all but at most an $ε$-fraction of the $(d+1)$-tuples $A_{i_1},\ldots,A_{i_{d+1}}$ have the property that either all simplices with one vertex in each $A_{i_j}$ contain $q$ or none of these simplices contain $q$.
Bipartite Induced Subgraphs and Well-Quasi-Ordering
Published
• View Publication
• BIB
We study bipartite graphs partially ordered by the induced subgraph relation. Our goal is to distinguish classes of bipartite graphs which are or are not well-quasi-ordered (wqo) by this relation. Answering an open question from \cite{Ding92}, we prove that $P_7$-free bipartite graphs are not wqo. On the other hand, we show that $P_6$-free bipartite graphs are wqo. We also obtain some partial results on subclasses of bipartite graphs defined by forbidding more than one induced subgraph.
Random graphs with a given degree sequence
Published in Annals of Applied Probability 2011, Vol. 21, No. 4, 1400-1435
• View Publication
• BIB
Large graphs are sometimes studied through their degree sequences (power law or regular graphs). We study graphs that are uniformly chosen with a given degree sequence. Under mild conditions, it is shown that sequences of such graphs have graph limits in the sense of Lovász and Szegedy with identifiable limits. This allows simple determination of other features such as the number of triangles. The argument proceeds by studying a natural exponential model having the degree sequence as a sufficient statistic. The maximum likelihood estimate (MLE) of the parameters is shown to be unique and consistent with high probability. Thus $n$ parameters can be consistently estimated based on a sample of size one. A fast, provably convergent, algorithm for the MLE is derived. These ingredients combine to prove the graph limit theorem. Along the way, a continuous version of the Erdős--Gallai characterization of degree sequences is derived.