arXiv++ Combinatorics

Motivated by the definition of the edge elimination polynomial of a graph we define the covered components polynomial counting spanning subgraphs with respect to their number of components, edges and covered components. We prove a recurrence relation, which shows that both graph polynomials are substitution instances of each other. We give some properties of the covered components polynomial and some results concerning relations to other graph polynomials.

Pedigrees are directed acyclic graphs that represent ancestral relationships between individuals in a population. Based on a schematic recombination process, we describe two simple Markov models for sequences evolving on pedigrees - Model R (recombinations without mutations) and Model RM (recombinations with mutations). For these models, we ask an identifiability question: is it possible to construct a pedigree from the joint probability distribution of extant sequences? We present partial identifiability results for general pedigrees: we show that when the crossover probabilities are sufficiently small, certain spanning subgraph sequences can be counted from the joint distribution of extant sequences. We demonstrate how pedigrees that earlier seemed difficult to distinguish are distinguished by counting their spanning subgraph sequences.

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$.

In the k-edge-connected spanning subgraph problem we are given a graph (V, E) and costs for each edge, and want to find a minimum-cost subset F of E such that (V, F) is k-edge-connected. We show there is a constant eps > 0 so that for all k > 1, finding a (1 + eps)-approximation for k-ECSS is NP-hard, establishing a gap between the unit-cost and general-cost versions. Next, we consider the multi-subgraph cousin of k-ECSS, in which we purchase a multi-subset F of E, with unlimited parallel copies available at the same cost as the original edge. We conjecture that a (1 + Theta(1/k))-approximation algorithm exists, and we describe an approach based on graph decompositions applied to its natural linear programming (LP) relaxation. The LP is essentially equivalent to the Held-Karp LP for TSP and the undirected LP for Steiner tree. We give a family of extreme points for the LP which are more complex than those previously known.

Let Delta>1 be a fixed integer. We show that the random graph G(n,p) with p>>(log n/n)^{1/Delta} is robust with respect to the containment of almost spanning bipartite graphs H with maximum degree Delta and sublinear bandwidth in the following sense: asymptotically almost surely, if an adversary deletes arbitrary edges in G(n,p) such that each vertex loses less than half of its neighbours, then the resulting graph still contains a copy of all such H.

The Small Subgraph Conditioning Method has been used to study the almost sure existence and the asymptotic distribution of the number of regular spanning subgraphs of various types in random \emph{d}-regular graphs. In this paper we use the method to determine the asymptotic distribution of the number of 3-star factors in random \emph{d}-regular graphs for $d \geq 4$

An L-factor of a graph G is a spanning subgraph of G whose every component is a 3-vertex path. Let v(G) be the number of vertices of G and d(G) the domination number of G. A claw is a graph with four vertices and three edges incident to the same vertex. A graph is claw-free if it has no induced subgraph isomorphic to a claw. Our results include the following. Let G be a 3-connected claw-free graph, x a vertex in G, e = xy an edge in G, and P a 3-vertex path in G. Then (a1) if v(G) = 0 mod 3, then G has an L-factor containing (avoiding) e, (a2) if v(G) = 1 mod 3, then G - x has an L-factor, (a3) if v(G) = 2 mod 3, then G - {x,y} has an L-factor, (a4) if v(G) = 0 mod 3 and G is either cubic or 4-connected, then G - P has an L-factor, (a5) if G is cubic with v(G) > 5 and E is a set of three edges in G, then G - E has an L-factor if and only if the subgraph induced by E in G is not a claw and not a triangle, (a6) if v(G) = 1 mod 3, then G - {v,e} has an L-factor for every vertex v and every edge e in G, (a7) if v(G) = 1 mod 3, then there exist a 4-vertex path N and a claw Y in G such that G - N and G - Y have L-factors, and (a8) d(G) < v(G)/3 +1 and if in addition G is not a cycle and v(G) = 1 mod 3, then d(G) < v(G)/3. We explore the relations between packing problems of a graph and its line graph to obtain some results on different types of packings. We also discuss relations between L-packing and domination problems as well as between induced L-packings and the Hadwiger conjecture. Keywords: claw-free graph, cubic graph, vertex disjoint packing, edge disjoint packing, 3-vertex factor, 3-vertex packing, path-factor, induced packing, graph domination, graph minor, the Hadwiger conjecture.

A subgraph (a spanning subgraph) of a graph G whose all components are 3-vertex paths is called an L-packing (respectively, an L-factor} of G. We discuss the following old PROBLEM (A. Kelmans, 1984). Is the following claim true? (C) If G is a cubic 3-connected graph, then G has an L-packing that avoids at most two vertices of G. We show, in particular, that claim (C) is equivalent to some seemingly stronger claims (see Theorem 3.1 below). For example, if G is a cubic 3-connected graph and the number of vertices of G is divisible by three, then then the following claims are equivalent: G has an L-factor, for every edge e of G there is an L-factor of G avoiding (containing) e, G - {e,f} has an L-factor for every two edges e and f of G, and G - P has an L-factor for every 3-vertex path P in G. It follows that if claim (C) is true, then Reed's dominating graph conjecture is true for cubic 3-connected graphs. We also show that certain claims in Theorem 3.1 are best possible. We give a construction providing infinitely many cyclically 6-connected graphs G with two disjoint 3-vertex paths P and P' such that the number of vertices of G is divisible by three and G - P- P' has no L-factor. Keywords: cubic 3-connected graph, 3-vertex path packing, 3-vertex path factor, domination.

We introduce two graph polynomials and discuss their properties. One is a polynomial of two variables whose investigation is motivated by the performance analysis of the Bethe approximation of the Ising partition function. The other is a polynomial of one variable that is obtained by the specialization of the first one. It is shown that these polynomials satisfy deletion-contraction relations and are new examples of the V-function, which was introduced by Tutte (1947, Proc. Cambridge Philos. Soc. 43, 26-40). For these polynomials, we discuss the interpretations of special values and then obtain the bound on the number of sub-coregraphs, i.e., spanning subgraphs with no vertices of degree one. It is proved that the polynomial of one variable is equal to the monomer-dimer partition function with weights parameterized by that variable. The properties of the coefficients and the possible region of zeros are also discussed for this polynomial.

We consider the Potts model in a magnetic field on an arbitrary graph $G$. Using a formula of F. Y. Wu for the partition function $Z$ of this model as a sum over spanning subgraphs of $G$, we prove some properties of $Z$ concerning factorization, monotonicity, and zeros. A generalization of the Tutte polynomial is presented that corresponds to this partition function. In this context we formulate and discuss two weighted graph-coloring problems. We also give a general structural result for $Z$ for cyclic strip graphs.

Much of extremal graph theory has concentrated either on finding very small subgraphs of a large graph (Turan-type results) or on finding spanning subgraphs (Dirac-type results). In this paper we are interested in finding intermediate-sized subgraphs. We investigate minimum degree conditions under which a graph G contains squared paths and squared cycles of arbitrary specified lengths. We determine precise thresholds, assuming that the order of G is large. This extends results of Fan and Kierstead [J. Combin. Theory Ser. B 63 (1995), 55--64] and of Komlos, Sarkozy, and Szemeredi [Random Structures Algorithms 9 (1996), 193--211] concerning the containment of a spanning squared path and a spanning squared cycle, respectively. Our results show that such minimum degree conditions constitute not merely an interpolation between the corresponding Turan-type and Dirac-type results, but exhibit other interesting phenomena.

A graph $G(V,E)$ is a threshold graph if there exist non-negative reals $w_v, v \in V$ and $t$ such that for every $U \subseteq V$, $\sum_{v \in U} w_v\leq t$ if and only if $U$ is a stable set. The {\it threshold dimension} of a graph $G(V,E)$, denoted as $t(G)$, is the smallest integer $k$ such that $E$ can be covered by $k$ threshold spanning subgraphs of $G$. A permutation graph is a graph that can be represented as the intersection graph of a family of line segments that connect two parallel lines in the Euclidean plane. In this paper we will show that if $G$ is a permutation graph then $t(G) \leq α(G)$ (where $α(G)$ is the cardinality of maximum independent set in $G$) and this bound is tight. As a corollary we will show that $t(G) \leq \frac{n}{2}$ where $n$ is the number of vertices in the permutation graph $G$. This bound is also tight.

A $k$-dimensional box is the Cartesian product $R_1 \times R_2 \times ... \times R_k$ where each $R_i$ is a closed interval on the real line. The {\it boxicity} of a graph $G$, denoted as $\boxi(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of a collection of $k$-dimensional boxes. A unit cube in $k$-dimensional space or a $k$-cube is defined as the Cartesian product $R_1 \times R_2 \times ... \times R_k$ where each $R_i$ is a closed interval on the real line of the form $[a_i,a_i + 1]$. The {\it cubicity} of $G$, denoted as $\cub(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of a collection of $k$-cubes. The {\it threshold dimension} of a graph $G(V,E)$ is the smallest integer $k$ such that $E$ can be covered by $k$ threshold spanning subgraphs of $G$. In this paper we will show that there exists no polynomial-time algorithm to approximate the threshold dimension of a graph on $n$ vertices with a factor of $O(n^{0.5-ε})$ for any $ε>0$, unless $NP=ZPP$. From this result we will show that there exists no polynomial-time algorithm to approximate the boxicity and the cubicity of a graph on $n$ vertices with factor $O(n^{0.5-ε})$ for any $ ε>0$, unless $NP=ZPP$. In fact all these hardness results hold even for a highly structured class of graphs namely the split graphs. We will also show that it is NP-complete to determine if a given split graph has boxicity at most 3.

What conditions ensure that a graph G contains some given spanning subgraph H? The most famous examples of results of this kind are probably Dirac's theorem on Hamilton cycles and Tutte's theorem on perfect matchings. Perfect matchings are generalized by perfect F-packings, where instead of covering all the vertices of G by disjoint edges, we want to cover G by disjoint copies of a (small) graph F. It is unlikely that there is a characterization of all graphs G which contain a perfect F-packing, so as in the case of Dirac's theorem it makes sense to study conditions on the minimum degree of G which guarantee a perfect F-packing. The Regularity lemma of Szemeredi and the Blow-up lemma of Komlos, Sarkozy and Szemeredi have proved to be powerful tools in attacking such problems and quite recently, several long-standing problems and conjectures in the area have been solved using these. In this survey, we give an outline of recent progress (with our main emphasis on F-packings, Hamiltonicity problems and tree embeddings) and describe some of the methods involved.

The energy of a simple graph $G$ arising in chemical physics, denoted by $\mathcal E(G)$, is defined as the sum of the absolute values of eigenvalues of $G$. We consider the asymptotic energy per vertex (say asymptotic energy) for lattice systems. In general for a type of lattice in statistical physics, to compute the asymptotic energy with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions are different tasks with different hardness. In this paper, we show that if $\{G_n\}$ is a sequence of finite simple graphs with bounded average degree and $\{G_n'\}$ a sequence of spanning subgraphs of $\{G_n\}$ such that almost all vertices of $G_n$ and $G_n'$ have the same degrees, then $G_n$ and $G_n'$ have the same asymptotic energy. Thus, for each type of lattices with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions, we have the same asymptotic energy. As applications, we obtain the asymptotic formulae of energies per vertex of the triangular, $3^3.4^2$, and hexagonal lattices with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions simultaneously.

The Heilmann-Lieb Theorem on (univariate) matching polynomials states that the polynomial $\sum_k m_k(G) y^k$ has only real nonpositive zeros, in which $m_k(G)$ is the number of $k$-edge matchings of a graph $G$. There is a stronger multivariate version of this theorem. We provide a general method by which ``theorems of Heilmann-Lieb type'' can be proved for a wide variety of polynomials attached to the graph $G$. These polynomials are multivariate generating functions for spanning subgraphs of $G$ with certain weights and constraints imposed, and the theorems specify regions in which these polynomials are nonvanishing. Such theorems have consequences for the absence of phase transitions in certain probabilistic models for spanning subgraphs of $G$.

An L-factor of a graph G is a spanning subgraph of G whose every component is a 3-vertex path. Let v(G) denote the number of vertices of G. A graph is called claw-free if it does not have a subgraph isomorphic to the graph with 4 vertices and 3 edges having a common vertex. Our results include the following. Let G$ be a 3-connected claw-free graph, x be a vertex, e = xy be an edge, and P be a 3-vertex path in G. Then (c1) if v(G) = 0 mod 3, then G has an L-factor containing (avoiding) e, (c2) if v(G) = 1 mod 3, then G - x has a L-factor, (c3) if v(G) = 2 mod 3, then G - x -y has an L-factor, (c4) if v(G) = 0 mod 3 and G is either cubic or 4-connected, then G - P has an L-factor, and (c5) if G is cubic and E is a set of three edges in G, then G - E has an L -factor if and only if the subgraph induced by E in G is not a claw and not a triangle. Keywords: claw-free graph, cubic graph, L-packing, L-factor.

Let G be a simple balanced bipartite graph on $2n$ vertices, $δ= δ(G)/n$, and $ρ={δ+ \sqrt{2 δ-1} \over 2}$. If $δ> 1/2$ then it has a $\lfloor ρn \rfloor$-regular spanning subgraph. The statement is nearly tight.

Call a simple graph $H$ of order $n$ well-separable, if by deleting a separator set of size $o(n)$ the leftover will have components of size at most $o(n)$. We prove, that bounded degree well-separable spanning subgraphs are easy to embed: for every $γ>0$ and positive integer $Δ$ there exists an $n_0$ such that if $n>n_0$, $Δ(H) \le Δ$ for a well-separable graph $H$ of order $n$ and $δ(G) \ge (1-{1 \over 2(χ(H)-1)} + γ)n$ for a simple graph $G$ of order $n$, then $H \subset G$. We extend our result to graphs with small band-width, too.

A {\it star-factor} of a graph $G$ is a spanning subgraph of $G$ such that each component of which is a star. Recently, Hartnell and Rall studied a family $\mathscr{U}$ of graphs satisfying the property that every star-factor of a member graph has the same number of edges. They determined the family $\mathscr{U}$ when the girth is at least five. In this paper, we investigate the family of graphs with girth three and determine all members of this family.