Kalai–Sarkaria face-number conjecture for embeddable complexes

Let d,r1d,r \geq 1 satisfy dr2dd \leq r \leq 2d, and let nr+1n \geq r+1. Let KK be a dd-dimensional simplicial complex on nn vertices that embeds into Rr\mathbb{R}^{r}. Write fk(K)f_k(K) for the number of kk-simplices of KK, and let Cr+1(n)C_{r+1}(n) be the cyclic (r+1)(r+1)-polytope with nn vertices.

Kalai–Sarkaria face-number conjecture. The complex KK has at most as many dd-simplices as Cr+1(n)\partial C_{r+1}(n), and

fk(K)fk(Cr+1(n))f_k(K) \leq f_k(C_{r+1}(n))

for all k{1,,d}k \in \{1,\ldots,d\}. Consequently,

max{fd(K)  |  dim(K)=d,V(K)=n,KRr}fd(Cr+1(n))=O(nr2).\max\left\{f_d(K) \;\middle|\; \dim(K)=d,\, |V(K)|=n,\, ||K|| \hookrightarrow \mathbb{R}^{r} \right\} \leq f_d(C_{r+1}(n))=O(n^{\lceil\frac{r}{2}\rceil}).

This is presented as an immediate consequence of the Kalai–Sarkaria shifting conjecture and gives the expected upper bound on the size of embeddable complexes in the range dr2dd \leq r \leq 2d.

Sources & referencesView supporting material

Primary source

Anna Gundert, “On the Complexity of Embeddable Simplicial Complexes”, arXiv:1812.08447 (2018).

Additional references

2 papers in this index state this conjecture (2013–2018). The statement above is taken from the most recent of them; the others are arXiv:1312.0209.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.