TOPICS
Search

Clique Complex


The clique complex Cl(G) of a simple graph G is the abstract simplicial complex whose nonempty simplices are the finite cliques of G. Its 0-simplices are the vertices of G, its 1-simplices are the edges of G, and its 2-simplices are the triangles of G (Kahle 2009).

Every clique complex is a flag complex. Conversely, every flag complex is the clique complex of its 1-skeleton. The terms therefore describe the same class of abstract simplicial complexes. "Clique complex" emphasizes the construction from a graph, while "flag complex" emphasizes the intrinsic property of the resulting complex.

For a finite graph G, the dimension of Cl(G) is omega(G)-1, where omega(G) is the clique number of G. If c_k is the number of k-cliques and C_G(x) is the clique polynomial, then the Euler characteristic is

 chi(Cl(G))=sum_(k>=1)(-1)^(k-1)c_k=1-C_G(-1).

For example, the clique complex of the complete graph K_n is an (n-1)-simplex. The clique complex of a triangle-free graph contains only vertices and edges and therefore has dimension at most one.


See also

1-Skeleton, Clique, Clique Number, Clique Polynomial, Flag Complex, Simplicial Complex

Explore with Wolfram|Alpha

References

Jonsson, J. Simplicial Complexes of Graphs. Berlin, Germany: Springer-Verlag, 2008. https://doi.org/10.1007/978-3-540-75859-4.Kahle, M. "Topology of Random Clique Complexes." Disc. Math. 309, 1658-1671, 2009. https://doi.org/10.1016/j.disc.2008.02.037.

Cite this as:

Weisstein, Eric W. "Clique Complex." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/CliqueComplex.html

Subject classifications