Motivated by an application in condensed matter physics and quantum information theory, we prove that every non-null even-hole-free claw-free graph has a simplicial clique, that is, a clique $K$ such that for every vertex $v \in K$, the set of neighbours of $v$ outside of $K$ is a clique. In fact, we prove the existence of a simplicial clique in a more general class of graphs defined by forbidden induced subgraphs.
In extremal graph theory, the problem of finding the elements of a given class of graphs which contain the most cliques traces its routes back to Turán's famous theorem. We consider the implications of the connectivity property of simplicial complexes known as shellability on clique complexes associated with graphs. In this paper, we find the graphs which maximize cliques among all graphs on $n$ vertices with $Δ(G)\leq r$ that have shellable clique complexes.
There is a class of graphs with well-covered dimension equal to the simplicial clique number that contains all chordal graphs and infinitely many other graphs. These graphs generalize a result by Brown and Nowakowski on the well-covered dimension of chordal graphs. Furthermore, each member of the infinite family of Sierpinski gasket graphs of order at least $2$ has well-covered dimension $3,$ the simplicial clique number.
We consider a set of cliques in any multipartite graph with two vertices in each part. Moreover, we construct a class of peculiar polytopes. Key words: multipartite graph, clique, polytope.
In 1994, Cornelis Hoede and Xueliang Li introduced the clique polynomial of a graph. Also, a theorem for the edge subgraph expansion for clique polynomials. In this note we present a counter example for it and explain which case it could be a valid theorem.
We disprove a conjecture proposed in [Gaspers et al., Discrete Applied Mathematics, 2010] and provide a new upper bound for the minimum number of brushes required to continually parallel clean a clique.
We introduce the notion of k-hyperclique complexes, i.e., the largest simplicial complexes on the set [n] with a fixed k-skeleton. These simplicial complexes are a higher-dimensional analogue of clique (or flag) complexes (case k=2) and they are a rich new class of simplicial complexes. We show that Dirac's theorem on chordal graphs has a higher-dimensional analogue in which graphs and clique complexes get replaced, respectively, by simplicial matroids and k-hyperclique complexes. We prove also a higher-dimensional analogue of Stanley's reformulation of Dirac's theorem on chordal graphs.
In this note, we prove that a finite vertex-transitive graph which has a clique which intersects all maximal cliques is a complete graph. This gives a positive answer in the case of vertex-transitive graphs to a question raised by Berge and Payan. It also gives a positive answer to a special case of the evasiveness conjecture.
For every simplicial complex K there exists a vertex-transitive simplicial complex homotopy equivalent to a wedge of copies of K with some copies of the circle. It follows that every simplicial complex can occur as a homotopy wedge summand in some vertex-transitive complex. One can even demand that the vertex-transitive complex is the clique complex of a Cayley graph or that it is facet-transitive.
A balanced edge-coloring of the complete graph is an edge-coloring such that every vertex is incident to each color the same number of times. In this short note, we present a construction of a balanced edge-coloring with six colors of the complete graph on $n=13^k$ vertices, for every positive integer $k$, with no rainbow $K_4$. This solves a problem by Erdős and Tuza.
For a simplicial complex $X$, the $d$-clique complex $Δ_d(X)$ is the simplicial complex having all subsets of vertices whose $(d + 1)$-subsets are contained by $X$ as its faces. We prove that if $p = n^α$, with $α< \max\{\frac{-1}{k-d +1},-\frac{d+1}{\binom{k}{d}}\}$ or $α> \frac{-1}{\binom{2k+2}{d}}$, then the $k$-th reduced homology group of the random $d$-clique complex $Δ_d(G_d(n,p))$ is asymptotically almost surely vanishing, and if $\frac{-1}{t} < α< \frac{-1}{t+1}$ where $t = (\frac{(d+1)(k+1)}{\binom{(d+1)(k+1)}{d+1}-(k+1)})^{-1}$, then the $(kd + d -1)$-st reduced homology group of $Δ…
Robertson and Seymour proved that the relation of graph immersion is well-quasi-ordered for finite graphs. Their proof uses the results of graph minors theory. Surprisingly, there is a very short proof of the corresponding rough structure theorem for graphs without $K_t$-immersions; it is based on the Gomory-Hu theorem. The same proof also works to establish a rough structure theorem for Eulerian digraphs without $\vec{K}_t$-immersions, where $\vec{K}_t$ denotes the bidirected complete digraph of order $t$.
The simplicial rook graph ${\rm SR}(m,n)$ is the graph of which the vertices are the sequences of nonnegative integers of length $m$ summing to $n$, where two such sequences are adjacent when they differ in precisely two places. We show that ${\rm SR}(m,n)$ has integral eigenvalues, and smallest eigenvalue $s = \max (-n, -{m \choose 2})$, and that this graph has a large part of its spectrum in common with the Johnson graph $J(m+n-1,n)$. We determine the automorphism group and several other properties.
In this note, we show that a complete $k$-partite graph is the only graph with clique number $k$ among all degree-equivalent simple graphs. This result gives a lower bound on the clique number, which is sharper than existing bounds on a large family of graphs.
We prove that the clique graph operator $k$ is divergent on a locally cyclic graph $G$ (i.e. $N_G(v)$ is a circle) with minimum degree $δ(G)=6$ if and only if $G$ is $6$-regular. The clique graph $kG$ of a graph $G$ has the maximal complete subgraphs of $G$ as vertices, and the edges are given by non-empty intersections. If all iterated clique graphs of $G$ are pairwise non-isomorphic, the graph $G$ is $k$-divergent; otherwise, it is $k$-convergent. To prove our claim, we explicitly construct the iterated clique graphs of those infinite locally cyclic graphs with $δ\geq6$ which induce simply c…
In this note, we introduce a new method for constructing graphs with high chromatic number and small clique. Indeed, via this method, we present a new proof for the well-known Kneser's conjecture.
In this note we introduce the concept of the trade space of a latin square. Computations using Sage and the GAP package Simplicial Homology are presented.
The clique vector $\mathfrak{c}(G)$ of a graph $G$ is the sequence $(c_1, c_2, \ldots,c_d)$ in $\mathbb{N}^d$, where $c_i$ is the number of cliques in $G$ with $i$ vertices and $d$ is the largest cardinality of a clique in $G$. In this note, we use tools from commutative algebra to characterize all possible clique vectors of $k$-connected chordal graphs.
It was recently proved that any graph satisfying $ω> \frac 23(Δ+1)$ contains a stable set hitting every maximum clique. In this note we prove that the same is true for graphs satisfying $ω\geq \frac 23(Δ+1)$ unless the graph is the strong product of $K_{ω/2}$ and an odd hole. We also provide a counterexample to a recent conjecture on the existence of a stable set hitting every sufficiently large maximal clique.
Let $R_k(H;K_m)$ be the smallest number $N$ such that every coloring of the edges of $K_{N}$ with $k+1$ colors has either a monochromatic $H$ in color $i$ for some $1\leqslant i\leqslant k$, or a monochromatic $K_{m}$ in color $k+1$. In this short note, we study the lower bound for $R_k(H;K_m)$ when $H$ is $C_5$ or $C_7$, respectively. We show that \begin{equation*} R_{k}(C_5;K_m)=Ω(m^{\frac{3k}{8}+1}/(\log{m})^{\frac{3k}{8}+1}), \end{equation*} and \begin{equation*} R_{k}(C_7;K_m)=Ω(m^{\frac{2k}{9}+1}/(\log{m})^{\frac{2k}{9}+1}), \end{equation*} for fixed positive integer $k$ and $m\rightarro…
We present a generalization of Brouwer's conjectural family of inequalities -- a popular family of inequalities in spectral graph theory bounding the partial sum of the Laplacian eigenvalues of graphs -- for the case of abstract simplicial complexes of any dimension. We prove that this family of inequalities holds for shifted simplicial complexes, which generalize threshold graphs, and give tighter bounds (linear in the dimension of the complexes) for simplicial trees. We prove that the conjecture holds for the the first, second, and last partial sums for all simplicial complexes, generalizing…
An identifying code in a graph $G$ is a dominating set $C$ such that the closed neighborhood of each vertex in $G$ has a distinct intersection with $C$. In 2008, Gravier et al. determined the minimum cardinality of an identifying code of the Cartesian product of two cliques with the same size. In this note, we generalize this result to the Cartesian product of any two nontrivial cliques.
The clique complex of a graph G is a simplicial complex whose simplices are all the cliques of G, and the line graph L(G) of G is a graph whose vertices are the edges of G and the edges of L(G) are incident edges of G. In this article, we determine the homotopy type of the clique complexes of line graphs for several classes of graphs including triangle-free graphs, chordal graphs, complete multipartite graphs, wheel-free graphs, and 4-regular circulant graphs. We also give a closed form formula for the homotopy type of these complexes in several cases.
A construction of Alon and Krivelevich gives highly pseudorandom $K_k$-free graphs on $n$ vertices with edge density equal to $Θ(n^{-1/(k -2)})$. In this short note we improve their result by constructing an infinite family of highly pseudorandom $K_k$-free graphs with a higher edge density of $Θ(n^{-1/(k - 1)})$.
We investigate the collapsibility of systolic finite simplicial complexes of arbitrary dimension. The main tool we use in the proof is discrete Morse theory. We shall consider a convex subcomplex of the complex and project any simplex of the complex onto a ball around this convex subcomplex. These projections will induce a convenient gradient matching on the complex. Besides we analyze the combinatorial structure of both CAT(0) and systolic locally finite simplicial complexes of arbitrary dimensions. We will show that both such complexes possess an arborescent structure. Along the way we make …
In 1976 Erdos, Kleitman and Rothschild determined the number of graphs without a clique of size $\ell$. In this note we extend their result to the case of forbidden cliques of increasing size. More precisely we prove that for $\ell_n \le \frac12(\log n)^{1/4}$ there are $$2^{(1-1/(\ell_n-1))n^2/2+o(n^2/\ell_n)}$$ $K_{\ell_n}$-free graphs of order $n$. Our proof is based on the recent hypergraph container theorems of Saxton, Thomason and Balogh, Morris, Samotij, in combination with a theorem of Lovasz and Simonovits.
The Erdős--Gallai Theorem states that for $k\geq 3$ every graph on $n$ vertices with more than $\frac{1}{2}(k-1)(n-1)$ edges contains a cycle of length at least $k$. Kopylov proved a strengthening of this result for 2-connected graphs with extremal examples $H_{n,k,t}$ and $H_{n,k,2}$. In this note, we generalize the result of Kopylov to bound the number of $s$-cliques in a graph with circumference less than $k$. Furthermore, we show that the same extremal examples that maximize the number of edges also maximize the number of cliques of any fixed size. Finally, we obtain the extremal number of…
A vertex in a graph is simplicial if its neighborhood forms a clique. We consider three generalizations of the concept of simplicial vertices: avoidable vertices (also known as \textit{OCF}-vertices), simplicial paths, and their common generalization avoidable paths, introduced here. We present a general conjecture on the existence of avoidable paths. If true, the conjecture would imply a result due to Ohtsuki, Cheung, and Fujisawa from 1976 on the existence of avoidable vertices, and a result due to Chvátal, Sritharan, and Rusu from 2002 the existence of simplicial paths. In turn, both of the…
We study graphs whose chromatic number is close to the order of the graph (the number of vertices). Both when the chromatic number is a constant multiple of the order and when the difference of the chromatic number and the order is a small fixed number, large cliques are forced. We study the latter situation, and we give quantitative results how large the clique number of these graphs have to be. Some related questions are discussed and conjectures are posed. Please note that the results of this article were significantly generalized. Therefore this paper will never be published in a journal. …
The Euler characteristic, thought of as a function that assigns a numerical value to every finite simplicial complex, is locally determined in both a combinatorial sense and a geometric sense. In this note we show that not every function that assigns a numerical value to every finite simplicial complex via a linear combination of the numbers of simplices in each dimension is locally determined in either sense. In particular, the Charney-Davis quantity $λ(L)$ is not locally determined in either sense if it is defined on a set of simplicial complexes that includes all flag spheres of a given odd…
To any simple graph \(G\), the clique graph operator \(K\) assigns the graph \(K(G)\) which is the intersection graph of the maximal complete subgraphs of \(G\). The iterated clique graphs are defined by \(K^{0}(G)=G\) and \(K^{n}(G)=K(K^{n-1}(G))\) for \(n\geq 1\). We associate topological concepts to graphs by means of the simplicial complex \(\mathrm{Cl}(G)\) of complete subgraphs of \(G\). Hence we say that the graphs \(G_{1}\) and \(G_{2}\) are homotopic whenever \(\mathrm{Cl}(G_{1})\) and \(\mathrm{Cl}(G_{2})\) are. A graph \(G\) such that \(K^{n}(G)\simeq G\) for all \(n\geq1\) is calle…
In an attempt to find a polynomial-time algorithm for the edge-clique cover problem on cographs we tried to prove that the edge-clique graphs of cographs have bounded rankwidth. However, this is not the case. In this note we show that the edge-clique graphs of cocktail party graphs have unbounded rankwidth.
The $b$-vector $(b_1,b_2\ldots,b_d)$ of a graph $G$ is defined in terms of its clique vector $(c_1,c_2\ldots,c_d)$ by the equation $\sum^d_{i=1}b_i(x+1)^{i-1}=\sum^d_{i=1} c_i x^{i-1},$ where $d$ is the largest cardinality of a clique in $G$. We study the relation of the $b$-vector of a chordal graph $G$ with some structural properties of $G$. In particular, we show that the $b$-vector encodes different aspects of the connectivity and clique dominance of $G$. Furthermore, we relate the $b$-vector with the Betti numbers of the Stanley-Reisner ring associated to clique simplicial complex of $G$.
Directed graphs are ubiquitous models for networks, and topological spaces they generate, such as the directed flag complex, have become useful objects in applied topology. The simplices are formed from directed cliques. We extend Atkin's theory of $q$-connectivity to the case of directed simplices. This results in a preorder where simplices are related by sequences of simplices that share a $q$-face with respect to directions specified by chosen face maps. We leverage the Alexandroff equivalence between preorders and topological spaces to introduce a new class of topological spaces for direct…
We investigate the homotopy type of the Alexander dual of a simplicial complex. In general the homotopy type of K does not determine the homotopy type of its dual K*. Moreover, one can construct for each finitely presented group G, a simply connected simplicial complex K with fundamental group isomorphic to G. We study sufficient conditions on K for K* to have the homotopy type of a sphere. We also extend the simplicial Alexander duality to the context of reduced lattices.
In this note, we give some necessary conditions for an $r$-partite graph such that the edge ring of the graph is Cohen-Macaulay. It is proved that if $G$ is an $r$-partite Cohen-Macaulay graph which is covered by some disjoint cliques of size $r$, then the clique cover is unique.
In the study of full bubble model graphs of bounded clique-width and bounded linear clique-width, we determined complete sets of forbidden induced subgraphs, that are minimal in the class of full bubble model graphs. In this note, we show that (almost all of) these graphs are minimal in the class of all graphs. As a corollary, we can give sets of minimal forbidden induced subgraphs for graphs of bounded clique-width and for graphs of bounded linear clique-width for arbitrary bounds.
Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when these pure simplicial complexes are vertex decomposable or not Cohen-Macaulay. As a corollary, we classify the van der Waerden complexes that are shellable.
Let $K\_{[k,t]}$ be the complete graph on $k$ vertices from which a set of edges, induced by a clique of order $t$, has been dropped. In this note we give two explicit upper bounds for $R(K\_{[k\_1,t\_1]},\dots, K\_{[k\_r,t\_r]})$ (the smallest integer $n$ such that for any $r$-edge coloring of $K\_n$ there always occurs a monochromatic $K\_{[k\_i,t\_i]}$ for some $i$). Our first upper bound contains a classical one in the case when $k\_1=\cdots =k\_r$ and $t\_i=1$ for all $i$. The second one is obtained by introducing a new edge coloring called {\em $χ\_r$-colorings}. We finally discuss a con…
In the way of proving Kneser's conjecture, László Lovász settled out a new lower bound for the chromatic number. He showed that if neighborhood complex $\mathcal{N}(G)$ of a graph $G$ is topologically $k$-connected, then its chromatic number is at least $k+3$. Then he completed his proof by showing that this bound is tight for the Kneser graph. However, there are some graphs where this bound is not useful at all, even comparing by the obvious bound; the clique number. For instance, if a graph contains no complete bipartite graph $\mathcal{K}_{l, m}$, then its Lovász's bound is at most $l+m-1$.…