Given a_1,a_2,...,a_n in Z^d, we examine the set, G, of all non-negative integer combinations of these a_i. In particular, we examine the generating function f(z)=\sum_{b\in G} z^b. We prove that one can write this generating function as a rational function using the neighborhood complex (sometimes called the complex of maximal lattice-free bodies or the Scarf complex) on a particular lattice in Z^n. In the generic case, this follows from algebraic results of D. Bayer and B. Sturmfels. Here we prove it geometrically in all cases, and we examine a generalization involving the neighborhood complex on an arbitrary lattice.
A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers with finite complement, and the squarefree divisor complex of an element $m \in S$ is a simplicial complex $Δ_m$ that arises in the study of multigraded Betti numbers. We compute squarefree divisor complexes for certain classes numerical semigroups, and exhibit a new family of simplicial complexes that are occur as the squarefree divisor complex of some numerical semigroup element.
We introduce the notion of r-neighborhood complex for a positive integer r, which is a natural generalization of Lovasz neighborhood complex. The topologies of these complexes give some obstructions of the existence of graph maps. We applied these complexes to prove the nonexistence of graph maps about Kneser graphs. We prove that the fundamental groups of r-neighborhood complexes are closely related to the (2r)-fundamental groups defined in the author's previous paper.
In this article, we prove that the neighborhood complex of the Kneser graph $KG_{3,k}$ is of the same homotopy type as that of a wedge of $\frac{(k+1)(k+3)(k+4)(k+6)}{4}+1$ spheres of dimension $k$. We construct a maximal subgraph $S_{3,k}$ of $KG_{3,k}$, whose neighborhood complex deformation retracts onto the neighborhood complex of $SG_{3,k}$.
In this paper we provide concrete combinatorial formal deformation algorithms, namely sequences of elementary collapses and expansions, which relate various previously extensively studied families of combinatorially defined polyhedral complexes. To start with, we give a sequence of elementary collapses leading from the barycentric subdivision of the neighborhood complex to the Lovász complex of a graph. Then, for an arbitrary lattice ${\mathcal L}$ we describe a formal deformation of the barycentric subdivision of the atom crosscut complex $Γ({\mathcal L})$ to its order complex $Δ(\bar{\mathca…
Schrijver identified a family of vertex critical subgraphs of the Kneser graphs called the stable Kneser graphs $SG_{n,k}$. Björner and de Longueville proved that the neighborhood complex of the stable Kneser graph $SG_{n,k}$ is homotopy equivalent to a $k-$sphere. In this article, we prove that the homotopy type of the neighborhood complex of the Kneser graph $KG_{2,k}$ is a wedge of $(k+4)(k+1)+1$ spheres of dimension $k$. We construct a maximal subgraph $S_{2,k}$ of $KG_{2,k}$, whose neighborhood complex is homotopy equivalent to the neighborhood complex of $SG_{2,k}$. Further, we prove tha…
In this article, we consider the bipartite graphs $K_2 \times K_n$. We first show that the connectedness of $\mathcal{N}(K_{n+1}^{K_n}) =0$. Further, we show that $\text{Hom}(K_2 \times K_{n}, K_{m})$ is homotopic to $S^{m-2}$, if $2\leq m <n$.
Lovasz's striking proof of Kneser's conjecture from 1978 using the Borsuk--Ulam theorem provides a lower bound on the chromatic number of a graph. We introduce the shore subdivision of simplicial complexes and use it to show an upper bound to this topological lower bound and to construct a strong Z_2-deformation retraction from the box complex (in the version introduced by Matousek and Ziegler) to the Lovasz complex. In the process, we analyze and clarify the combinatorics of the complexes involved and link their structure via several ``intermediate'' complexes.
In 2003, A. Bjorner and M. de Longueville proved that the neighborhood complex of the stable Kneser graph SG_{n,k} is homotopy equivalent to a k-sphere. Further, for n=2 they showed that the neighborhood complex deformation retracts to a subcomplex isomorphic to the associahedron. They went on to ask whether or not, for all n and k, the neighborhood complex of SG_{n,k} contains as a deformation retract the boundary complex of a simplicial polytope. Our purpose is to give a positive answer to this question in the case k=2. We also find in this case that, after partially subdividing the neighbor…
The neighborhood complex $N(G)$ is a simplicial complex assigned to a graph $G$ whose connectivity gives a lower bound for the chromatic number of $G$. We show that if the Kronecker double coverings of graphs are isomorphic, then their neighborhood complexes are isomorphic. As an application, for integers $m$ and $n$ greater than 2, we construct connected graphs $G$ and $H$ such that $N(G) \cong N(H)$ but $χ(G) = m$ and $χ(H) = n$. We also construct a graph $KG_{n,k}'$ such that $KG_{n,k}'$ and the Kneser graph $KG_{n,k}$ are not isomorphic but their Kronecker double coverings are isomorphic.
To estimate the lower bound for the chromatic number of a graph $G$, Lovász associated a simplicial complex $\mathcal{N}(G)$ called the neighborhood complex and relates the topological connectivity of $\mathcal{N}(G)$ to the chromatic number of $G$. More generally he proved that the chromatic number of $G$ is bounded below by the topological connectivity of $\mathcal{N}(G)$ plus $3$. In this article, we consider the graphs of maximal degree at most $3$ and $4$-regular circulant graphs. We show that each connected component of the neighborhood complexes of these graphs is homotopy equivalent ei…
The neighborhood complex $\N(G)$ of a graph $G$ were introduced by L. Lov{á}sz in his proof of Kneser conjecture. He proved that for any graph $G$, \begin{align} \label{abstract} χ(G) \geq conn(\N(G))+3. \end{align} In this article we show that for a class of exponential graphs the bound given in (\ref{abstract}) is sharp. Further, we show that the neighborhood complexes of these exponential graphs are spheres up to homotopy. We were also able to find a class of exponential graphs, which are homotopy test graphs. Hedetniemi's conjecture states that the chromatic number of the categorical produ…
Any graph $G$ with chromatic number $k$ can be constructed by iteratively performing certain graph operations on a sequence of graphs starting with $K_k$, resulting in a variety of Hajós-type constructions for $G$. Finding such constructions for a given graph or family of graphs is a challenging task. We show that the basic steps in these Hajós-type constructions frequently result in the presence of an $S^1$-wedge summand in the neighborhood complex of the resulting graph. Our results imply that for a graph $G$ with a highly-connected neighborhood complex, the end behavior of the construction …
The neighborhood complexes of graphs were introduced by Lovász in his proof of the Kneser conjecture. He showed that a certain topological property of $N(G)$ gives a lower bound for the chromatic number of $G$. In this paper, we study a combinatorial description of the fundamental groups of the neighborhood complexes. For a positive integer $r$, we introduce the $r$-fundamental group $π_1^r(G,v)$ of a based graph $(G,v)$ and the $r$-neighborhood complex $N_r(G)$ of $G$. The $1$-neighborhood complex is the neighborhood complex. We show that the even part $π_1^{2r}(G,v)_{ev}$, which is a subgrou…
We introduce the subsemigroup complex of a finite semigroup S as a (boolean representable) simplicial complex defined through chains in the lattice of subsemigroups of S. We present a research program for such complexes, illustrated through the particular case of combinatorial Brandt semigroups. The results include alternative characterizations of faces and facets, asymptotical estimates on the number of facets, or establishing when the complex is pure or a matroid.
In this paper, we introduce the notions of $r$-fundamental groups of graphs, $r$-covering maps, and $r$-neighborhood complexes of graphs for a positive integer $r$. There is a natural correspondence between $r$-covering maps and $r$-fundamental groups as is the case of the covering space theory in topology. We can derive obstructions of the existences of graph maps from $r$-fundamental groups. Especially, $r$-fundamental groups gives deep informations about the existences of graph maps to odd cycles. For example, we prove the Kneser graph $K_{2k+1,k}$ has no graph maps to $C_5$. $r$-neighborho…
In this paper we study a pair of numerical parameters associated to a graph $G$. One the one hand, one can construct $\text{Hom}(K_2, G)$, a space of homomorphisms from a edge $K_2$ into $G$ and study its (topological) connectivity. This approach dates back to the neighborhood complexes introduced by Lovász in his proof of the Kneser conjecture. In another direction Brightwell and Winkler introduced a graph parameter called the warmth $ζ(G)$ of a graph $G$, based on asymptotic behavior of $d$-branching walks in $G$ and inspired by constructions in statistical physics. Both the warmth of $G$ an…
We prove a theorem unifying three results from combinatorial homological and commutative algebra, characterizing the Koszul property for incidence algebras of posets and affine semigroup rings, and characterizing linear resolutions of squarefree monomial ideals. The characterization in the graded setting is via the Cohen-Macaulay property of certain posets or simplicial complexes, and in the more general nongraded setting, via the sequential Cohen-Macaulay property.
Given a finite simplicial complex $X$ and a connected graph $T$ of diameter $1$, in \cite{anton} Dochtermann had conjectured that $\text{Hom}(T,G_{1,X})$ is homotopy equivalent to $X$. Here, $G_{1, X}$ is the reflexive graph obtained by taking the $1$-skeleton of the first barycentric subdivision of $X$ and adding a loop at each vertex. This was proved by Dochtermann and Schultz in \cite{ds12}. In this article, we give an alternate proof of this result by understanding the structure of the cells of Hom$(K_n,G_{1,X})$, where $K_n$ is the complete graph on $n$ vertices. We prove that the neighbo…
The independence complex $\mathrm{Ind}(G)$ of a graph $G$ is the simplicial complex formed by its independent sets. This article introduces a deformation of the simplicial boundary map of $\mathrm{Ind}(G)$ that gives rise to a double complex with trivial homology. Filtering this double complex in the right direction induces a spectral sequence that converges to zero and contains on its first page the homology of the independence complexes of $G$ and various subgraphs of $G$, obtained by removing independent sets and their neighborhoods from $G$. It is shown that this spectral sequence may be u…
In this article, we derive two spectral gap bounds for the reduced Laplacian of a general simplicial complex. Our two bounds are proven by comparing a simplicial complex in two different ways with a larger complex and with the corresponding clique complex respectively. Both of these bounds generalize the result of Aharoni et al. (2005) \cite{ABM} which is valid only for clique complexes. As an application, we investigate the thresholds for vanishing of cohomology of the neighborhood complex of the Erdös-Rényi random graph. We improve the upper bound derived in Kahle (2007) \cite{kahle} by a lo…
