Related papers: Generalization of neighborhood complexes

Goodman proved that the sum of the number of triangles in a graph on $n$ nodes and its complement is at least $n^3/24$; in other words, this sum is minimized, asymptotically, by a random graph with edge density $1/2$. Erd\H{o}s conjectured…

Kneser's 1955 conjecture -- proven by Lov\'asz in 1978 -- asserts that in any partition of the $k$-subsets of $\{1, 2, \dots, n\}$ into $n-2k-3$ parts, one part contains two disjoint sets. Schrijver showed that one can restrict to…

It was shown by Grohe et al. that nowhere dense classes of graphs admit sparse neighbourhood covers of small degree. We show that a monotone graph class admits sparse neighbourhood covers if and only if it is nowhere dense. The existence of…

For a positive integer $r$, a distance-$r$ independent set in an undirected graph $G$ is a set $I\subseteq V(G)$ of vertices pairwise at distance greater than $r$, while a distance-$r$ dominating set is a set $D\subseteq V(G)$ such that…

We consider a variety of connections between threshold graphs, shifted complexes, and simplicial complexes naturally formed from a graph. These graphical complexes include the independent set, neighborhood, and dominance complexes. We…

By Lovasz' proof of the Kneser conjecture, the chromatic number of a graph G is bounded from below by the index of the Z_2-space Hom(K_2,G) plus two. We show that the cohomological index of Hom(K_2,G) is also greater than the cohomological…

In this paper we introduce the local Nori fundamental group scheme of a reduced scheme or algebraic stack over a perfect field $k$. We give particular attention to the case of fields: to any field extension $K/k$ we attach a pro-local group…

A graph ${\mathcal G}$ is locally X if the graphs induced on the neighbours of every vertex of ${\mathcal G}$ are isomorphic to the graph $X$. We prove that the infinite family of incidence graphs of the $r$-rank incidence geometries,…

We provide several families of compact complex curves embedded in smooth complex surfaces such that no neighborhood of the curve can be embedded in an algebraic surface. Different constructions are proposed, by patching neighborhoods of…

Graph neural networks (GNNs) have emerged recently as a powerful architecture for learning node and graph representations. Standard GNNs have the same expressive power as the Weisfeiler-Leman test of graph isomorphism in terms of…

Let $p$ be an odd prime. From a simple undirected graph $G$, through the classical procedures of Baer (Trans. Am. Math. Soc., 1938), Tutte (J. Lond. Math. Soc., 1947) and Lov\'asz (B. Braz. Math. Soc., 1989), there is a $p$-group $P_G$ of…

\noindent In this paper, we show that for any positive integers $r$, $k$, $\Theta$, and $\Gamma$ such that $k \geq 2$ and $r \geq k + \Gamma$, there exists a connected graph $G$ for which $$\begin{array}{llcr} \omega (G) = \chi (G) = k, &…

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…

A triangle $T^{(r)}$ in an $r$-uniform hypergraph is a set of $r+1$ edges such that $r$ of them share a common $(r-1)$-set of vertices and the last edge contains the remaining vertex from each of the first $r$ edges. Our main result is that…

\noindent The most natural group topology on $\Z$ is the discrete one. There are other well-known group topologies on $\Z$, like the $p$-adic, defined for any prime number $p$. It is also an important group topology the weak topology with…

In this paper, we prove a generalization of a conjecture of Erd\"{o}s, about the chromatic number of certain Kneser-type hypergraphs. For integers $n,k,r,s$ with $n\ge rk$ and $2\le s\le r$, the $r$-uniform general Kneser hypergraph…

Counting dominating sets in a graph $G$ is closely related to the neighborhood complex of $G$. We exploit this relation to prove that the number of dominating sets $d(G)$ of a graph is determined by the number of complete bipartite…

We study the properties of a generic object $\mathbb{P}$ in the category of finite graphs. It turns out that this object, being topologically a Cantor set, has the Knaster--Reichbach type property. Namely, every homeomorphism and…

There are two possible definitions of the "s-disjoint r-uniform Kneser hypergraph'' of a set system T: The hyperedges are either r-sets or r-multisets. We point out that Ziegler's (combinatorial) lower bound on the chromatic number of an…

The theoretical notions of graph classes with bounded expansion and that are nowhere dense are meant to capture structural sparsity of real world networks that can be used to design efficient algorithms. In the area of sparse graphs, the…