Missing-value conjecture for the next-to-middle missing-face number of neighborly spheres

Let k2k\geq 2, and let Δ\Delta be a neighborly 2k2k-sphere with nn vertices. Write mk+1(Δ)m_{k+1}(\Delta) for its number of missing faces of dimension k+1k+1. Missing-value conjecture. One has

mk+1(Δ)(nk3k)1.m_{k+1}(\Delta)\neq \binom{n-k-3}{k}-1.

Furthermore, for k3k\geq 3, nn sufficiently large, and every integer mm with

0m(nk3k),m(nk3k)1,0\leq m\leq \binom{n-k-3}{k},\qquad m\neq \binom{n-k-3}{k}-1,

there exists a neighborly 2k2k-sphere with nn vertices and mk+1=mm_{k+1}=m. The conjecture specifies the sole excluded value in the proposed range of possible values of mk+1m_{k+1} for sufficiently large neighborly spheres; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Isabella Novik and Hailun Zheng, “Missing faces of neighborly and nearly neighborly polytopes and spheres”, arXiv:2505.20699 (2025).

Additional references

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

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.