{"id":"arxiv/2609.00397","url":"https://arxiv.org/abs/2609.00397","tags":["math.CO"],"score":0,"title":"On Unavoidable Faces of High-Dimensional Polytopes","domain":"math.CO","source":"arxiv","authors":["Jesús A. De Loera","Ethan X. Fang","Shengtao Guo","Junwei Lu","Hailun Zheng"],"reviews":0,"subject":"math.CO","summary":"Kalai's cube--simplex conjecture asserts that for all positive integers $\\ell,k$, there is an integer $f(\\ell,k)$ such that every polytope of dimension at least $f(\\ell,k)$ has either a simplex $\\ell$-face or a cube $k$-face; let $f_s(\\ell,k)$ denote the threshold restricted to simple polytopes. Finiteness of $f(\\ell,k)$ is known only for $\\ell,k \\leq 2$. In addition, Kalai proved that $f_s(2,k) \\leq 2k^2$. Here we prove that $f_s(\\ell,k)$ is finite for all $\\ell \\geq 2$ and $k \\geq 3$, the first such result beyond $\\ell = 2$, with $f_s(2,k) \\leq 2k^2-1$ and $f_s(\\ell,k) \\leq…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-31","reactions":{}}