arXiv++ Combinatorics

Building on work by Bouc and by Shareshian and Wachs, we provide a toolbox of long exact sequences for the reduced simplicial homology of the matching complex $M_n$, which is the simplicial complex of matchings in the complete graph $K_n$. Combining these sequences in different ways, we prove several results about the 3-torsion part of the homology of $M_n$. First, we demonstrate that there is nonvanishing 3-torsion in $H_d(M_n;Z)$ whenever $ν_n \le d \le (n-6}/2$, where $ν_n= \lceil (n-4)/3 \rceil$. By results due to Bouc and to Shareshian and Wachs, $H_{ν_n}(M_n;Z)$ is a nontrivial elementary 3-group for almost all $n$ and the bottom nonvanishing homology group of $M_n$ for all $n \neq 2$. Second, we prove that $H_d(M_n;Z)$ is a nontrivial 3-group whenever $ν_n \le d \le (2n-9)/5$. Third, for each $k \ge 0$, we show that there is a polynomial $f_k(r)$ of degree 3k such that the dimension of $H_{k-1+r}(M_{2k+1+3r};Z_3)$, viewed as a vector space over $Z_3$, is at most $f_k(r)$ for all $r \ge k+2$.

Starting from a complete graph on $n$ vertices, repeatedly delete the edges of a uniformly chosen triangle. This stochastic process terminates once it arrives at a triangle-free graph, and the fundamental question is to estimate the final number of edges (equivalently, the time it takes the process to finish, or how many edge-disjoint triangles are packed via the random greedy algorithm). Bollobás and Erdős (1990) conjectured that the expected final number of edges has order $n^{3/2}$, motivated by the study of the Ramsey number $R(3,t)$. An upper bound of $o(n^2)$ was shown by Spencer (1995) and independently by Rödl and Thoma (1996). Several bounds were given for variants and generalizations (e.g., Alon, Kim and Spencer (1997) and Wormald (1999)), while the best known upper bound for the original question of Bollobás and Erdős was $n^{7/4+o(1)}$ due to Grable (1997). No nontrivial lower bound was available. Here we prove that with high probability the final number of edges in random triangle removal is equal to $n^{3/2+o(1)}$, thus confirming the 3/2 exponent conjectured by Bollobás and Erdős and matching the predictions of Spencer et al. For the upper bound, for any fixed $ε>0$ we construct a family of $\exp(O(1/ε))$ graphs by gluing $O(1/ε)$ triangles sequentially in a prescribed manner, and dynamically track all homomorphisms from them, rooted at any two vertices, up to the point where $n^{3/2+ε}$ edges remain. A system of martingales establishes concentration for these random variables around their analogous means in a random graph with corresponding edge density, and a key role is played by the self-correcting nature of the process. The lower bound builds on the estimates at that very point to show that the process will typically terminate with at least $n^{3/2-o(1)}$ edges left.

This is a note on three graph parameters motivated by the Euler-Poincare characteristic for simplicial complex. We show those three graph parameters of a given connected graph $G$ is greater than or equal to that of the complete graph with $\max(h(G),χ(G))$ vertices. This will yield three different simultaneous upperbounds of both the hadwiger number and chromatic number by means of the number of particular types of induced subgraphs. Some applications to Hadwiger's Conjecture is also discussed.

The prism graph is the dual of the complete graph on five vertices with an edge deleted, $K_5\backslash e$. In this paper we determine the class of binary matroids with no prism minor. The motivation for this problem is the 1963 result by Dirac where he identified the simple 3-connected graphs with no minor isomorphic to the prism graph. We prove that besides Dirac's infinite families of graphs and four infinite families of non-regular matroids determined by Oxley, there are only three possibilities for a matroid in this class: it is isomorphic to the dual of the generalized parallel connection of $F_7$ with itself across a triangle with an element of the triangle deleted; it's rank is bounded by 5; or it admits a non-minimal exact 3-separation induced by the 3-separation in $P_9$. Since the prism graph has rank 5, the class has to contain the binary projective geometries of rank 3 and 4, $F_7$ and $PG(3, 2)$, respectively. We show that there is just one rank 5 extremal matroid in the class. It has 17 elements and is an extension of $R_{10}$, the unique splitter for regular matroids. As a corollary, we obtain Dillon, Mayhew, and Royle's result identifying the binary internally 4-connected matroids with no prism minor [5].

For a positive integer $k$ we consider the $k$-vertex-connectivity game, played on the edge set of $K_n$, the complete graph on $n$ vertices. We first study the Maker-Breaker version of this game and prove that, for any integer $k \geq 2$ and sufficiently large $n$, Maker has a strategy for winning this game within $\lfloor k n/2 \rfloor + 1$ moves, which is clearly best possible. This answers a question of Hefetz, Krivelevich, Stojaković and Szabó. We then consider the strong $k$-vertex-connectivity game. For every positive integer $k$ and sufficiently large $n$, we describe an explicit first player's winning strategy for this game.

Fifty years ago Erdős asked to determine the minimum number of $k$-cliques in a graph on $n$ vertices with independence number less than l. He conjectured that this minimum is achieved by the disjoint union of $l-1$ complete graphs of size $\frac{n}{l-1}$. This conjecture was disproved by Nikiforov who showed that the balanced blow-up of a 5-cycle has fewer 4-cliques than the union of 2 complete graphs of size $\frac{n}{2}$. In this paper we solve Erdős' problem for $(k,l)=(3,4)$ and $(k,l)=(4,3)$. Using stability arguments we also characterize the precise structure of extremal examples, confirming Erdős' conjecture for $(k,l)=(3,4)$ and showing that a blow-up of a 5-cycle gives the minimum for $(k,l)=(4,3)$.

Let $S = K[x_1,..., x_n]$ be a polynomial ring over a field $K$. Let $I(G) \subseteq S$ denote the edge ideal of a graph $G$. We show that the $\ell$th symbolic power $I(G)^{(\ell)}$ is a Cohen-Macaulay ideal (i.e., $S/I(G)^{(\ell)}$ is Cohen-Macaulay) for some integer $\ell \ge 3$ if and only if $G$ is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powers $I(G)^{(\ell)}$ are Cohen-Macaulay ideals. Similarly, we characterize graphs $G$ for which $S/I(G)^{(\ell)}$ has (FLC). As an application, we show that an edge ideal $I(G)$ is complete intersection provided that $S/I(G)^{\ell}$ is Cohen-Macaulay for some integer $\ell \ge 3$. This strengthens the main theorem in [Effective Cowsik-Nori theorem for edge ideals by M.Crupi, G.Rinaldo, N.Terai, and K.Yoshida, Comm. Alg. 38 (2010), 3347-3357].

A set $W\subseteq V(G)$ is called a resolving set for $G$, if for each two distinct vertices $u,v\in V(G)$ there exists $w\in W$ such that $d(u,w)\neq d(v,w)$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The minimum cardinality of a resolving set for $G$ is called the metric dimension of $G$, and denoted by $β(G)$. In this paper, it is proved that in a connected graph $G$ of order $n$ which has a cycle, $β(G)\leq n-g(G)+2$, where $g(G)$ is the length of a shortest cycle in $G$, and the equality holds if and only if $G$ is a cycle, a complete graph or a complete bipartite graph $K_{s,t}$, $ s,t\geq 2$.

Let Wn be a wheel graph with n spokes. How does the genus change if adding a degree-3 vertex v, which is not in V (Wn), to the graph Wn? In this paper, through the joint-tree model we obtain that the genus of Wn+v equals 0 if the three neighbors of v are in the same face boundary of P(Wn); otherwise, °(Wn + v) = 1, where P(Wn) is the unique planar embedding of Wn. In addition, via the independent set, we provide a lower bound on the maximum genus of graphs, which may be better than both the result of D. Li & Y. Liu and the result of Z. Ouyang etc: in Europ. J. Combinatorics. Furthermore, we obtain a relation between the independence number and the maximum genus of graphs, and provide an algorithm to obtain the lower bound on the number of the distinct maximum genus embedding of the complete graph Km, which, in some sense, improves the result of Y. Caro and S. Stahl respectively.

An \emph{equitable coloring} of a graph is a proper vertex coloring such that the sizes of every two color classes differ by at most 1. Chen, Lih, and Wu conjectured that every connected graph $G$ with maximum degree $Δ\geq 2$ has an equitable coloring with $Δ$ colors, except when $G$ is a complete graph or an odd cycle or $Δ$ is odd and $G=K_{Δ,Δ}.$ Nakprasit proved the conjecture holds for planar graphs with maximum degree at least 9. Zhu and Bu proved that the conjecture holds for every $C_3$-free planar graph with maximum degree at least 8 and for every planar graph without $C_4$ and $C_5$ with maximum degree at least 7. In this paper, we prove that the conjecture holds for planar graphs in various settings, especially for every $C_3$-free planar graph with maximum degree at least 6 and for every planar graph without $C_4$ with maximum degree at least 7, which improve or generalize results on equitable coloring by Zhu and Bu. Moreover, we prove that the conjecture holds for every planar graph of girth at least 6 with maximum degree at least 5.

Let g(t) be the minimum number such that every graph G with average degree d(G) \geq g(t) contains a K_{t}-minor. Such a function is known to exist, as originally shown by Mader. Kostochka and Thomason independently proved that g(t) \in Θ(t*sqrt{log t}). This article shows that for all fixed ε> 0 and fixed sufficiently large t \geq t(ε), if d(G) \geq (2+ε)g(t) then we can find this K_{t}-minor in linear time. This improves a previous result by Reed and Wood who gave a linear-time algorithm when d(G) \geq 2^{t-2}.

An equation is called graph-regular if it always has monochromatic solutions under edge-colorings of the complete graph on the naturals. We present two Rado-like conditions which are respectively necessary and sufficient for an equation to be graph-regular.

We show that, for every $r, k$, there is an $n = n(r,k)$ so that any $r$-coloring of the edges of the complete graph on $[n]$ will yield a monochromatic complete subgraph on vertices ${a + \sum_{i \in I} d_i \mid I \subseteq [k]}$ for some choice of $a, d_1,..., d_k$. In particular, there is always a solution to $x_1 + ... + x_\ell = y_1 + ... + y_\ell$ whose induced subgraph is monochromatic.

The thickness $θ(G)$ of a graph $G$ is the minimum number of planar spanning subgraphs into which the graph $G$ can be decomposed. It is a topological invariant of a graph, which was defined by W.T. Tutte in 1963 and also has important applications to VLSI design. But comparing with other topological invariants, e.g. genus and crossing number, results about thickness of graphs are few. The only types of graphs whose thicknesses have been obtained are complete graphs, complete bipartite graphs and hypercubes. In this paper, by operations on graphs, the thickness of the cartesian product $K_n \Box P_m$, $n,m \geq 2$ are obtained.

Let $K_{m[n]}$ be the complete multipartite graph with $m$ parts, while each part contains $n$ vertices. The orientably-regular embeddings of complete graphs $K_{m[1]}$ have been determined by Biggs (1971) \cite{Big1}, James and Jones (1985) \cite{JJ}. During the past twenty years, several papers such as Du et al.(2007, 2010) \cite{DJKNS1,DJKNS2}, Jones et al. (2007, 2008) \cite{JNS1,JNS2}, Kwak and Kwon (2005, 2008) \cite{KK1,KK2} and Nedela et al. (1997, 2002)\cite{NS,NSZ} contributed to the orientably-regular embeddings of complete bipartite graphs $K_{2[n]}$ and the final classification was given by Jones \cite{Jon1} in 2010. Based on our former paper \cite{ZD}, this paper gives a complete classification of orientably-regular embeddings of graphs $K_{m[n]}$ for the general cases $m\ge 3$ and $n\ge 2$.

We use the theory of oriented matroids to show that any linear embedding of $K_9$, the complete graph on nine vertices, contains a non-split link with three components.

In this paper we describe all edge-colored graphs that are fully symmetric with respect to colors and transitive on every set of edges of the same color. They correspond to fully symmetric homogeneous factorizations of complete graphs. Our description completes the work done in our previous paper, where we have shown, in particular, that there are no such graphs with more than 5 colors. Using some recent results, with a help of computer, we settle all the cases that was left open in the previous paper.

Let H_1, ..., H_k be graphs. The multicolor Ramsey number r(H_1,...,H_k) is the minimum integer r such that in every edge-coloring of K_r by k colors, there is a monochromatic copy of H_i in color i for some 1 <= i <= k. In this paper, we investigate the multicolor Ramsey number $r(K_{2,t},...,K_{2,t},K_m)$, determining the asymptotic behavior up to a polylogarithmic factor for almost all ranges of t and m. Several different constructions are used for the lower bounds, including the random graph and explicit graphs built from finite fields. A technique of Alon and Rödl using the probabilistic method and spectral arguments is employed to supply tight lower bounds. A sample result is $c_1 m^2t/\log^4(mt) \leq r(K_{2,t},K_{2,t},K_m) \leq c_2 m^2t/\log^2 m$ for any t and m, where c_1 and c_2 are absolute constants.

The inductive dimension dim(G) of a finite undirected graph G=(V,E) is a rational number defined inductively as 1 plus the arithmetic mean of the dimensions of the unit spheres dim(S(x)) at vertices x primed by the requirement that the empty graph has dimension -1. We look at the distribution of the random variable "dim" on the Erdos-Renyi probability space G(n,p), where each of the n(n-1)/2 edges appears independently with probability p. We show here that the average dimension E[dim] is a computable polynomial of degree n(n-1)/2 in p. The explicit formulas allow experimentally to explore limiting laws for the dimension of large graphs. We also study the expectation E[X] of the Euler characteristic X, considered as a random variable on G(n,p). We look experimentally at the statistics of curvature K(v) and local dimension dim(v) = 1+dim(S(v)) which satisfy the Gauss-Bonnet formula X(G) = sum K(v) and by definition dim(G) = sum dim(v)/|V|. We also look at the signature functions f(p)=E[dim], g(p)=E[X] and matrix values functions A(p) = Cov[{dim(v),dim(w)], B(p) = Cov[K(v),K(w)] on the probability space G(p) of all subgraphs of a host graph G=(V,E) with the same vertex set V, where each edge is turned on with probability p. If G is the complete graph or a union of cyclic graphs with have explicit formulas for the signature polynomials f and g.

This survey paper deals with upper and lower bounds on the number of $k$-matchings in regular graphs on $N$ vertices. For the upper bounds we recall the upper matching conjecture which is known to hold for perfect matchings. For the lower bounds we first survey the known results for bipartite graphs, and their continuous versions as the van der Waerden and Tverberg permanent conjectures and its variants. We then discuss non-bipartite graphs. Little is known beyond the recent proof of the Lovász-Plummer conjecture on the exponential growth of perfect matchings in cubic bridgeless graphs. We discuss the problem of the minimum of haffnians on the convex set of matrices, whose extreme points are the adjacency matrices of subgraphs of the complete graph corresponding to perfect matchings. We also consider infinite regular graphs. The analog of $k$-matching is the $p$-monomer entropy, where $p\in [0,1]$ is the density of the number of matchings.