TOPICS
Search

Flag Complex


A flag complex is an abstract simplicial complex K in which every finite set of vertices that are pairwise joined by edges spans a simplex. Equivalently, every finite clique in the 1-skeleton of K is the vertex set of a simplex of K. This is an intrinsic condition on the simplices belonging to K.

If K^((1)) denotes the 1-skeleton, then K is a flag complex iff K=Cl(K^((1))), where Cl is the clique complex construction. Thus a flag complex can be recovered as the clique complex of its 1-skeleton, while the clique complex of every graph is a flag complex (Jonsson 2008, Kahle 2009).

The complex consisting of a simplex and all its faces is a flag complex. A simplicial complex of dimension at most one is a flag complex iff its 1-skeleton is a triangle-free graph. The boundary of a triangle is not a flag complex, since its three vertices form a clique but do not span a 2-simplex.


See also

1-Skeleton, Clique, Clique 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. "Flag Complex." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/FlagComplex.html

Subject classifications