The extended f-vectors of 4-polytopes (Q1822359): Difference between revisions

Let P be a d-dimensional convex polytope. For \(S=\{i_ 1,...,i_ s\}\subset \{0,1,...,d-1\}\) let \(f_ S(P)\) be the number of chains of faces \(\emptyset \subset F_ 1\subset F_ 2\subset...\subset F_ s\subset P\) with dim \(F_ j=i_ j\). Then \((f_ S(P))_{S\subset \{0,1,...,d-1\}}\) is called the extended f-vector of P (the f-vector of P being \(f(P)=(f_ 0(P),...,f_{d-1}(P))\), where \(f_ i(P)=f_{\{i\}}(P))\). The author deals with the case \(d=4\) and shows that \(f_{02}-3f_ 2\geq 0,\) \(f_{02}-3f_ 1\geq 0,\) \(f_{02}-3f_ 2+f_ 1-4f_ 0+10\geq 0\), \(6f_ 1-6f_ 0-f_{02}\geq 0,\) \(f_ 0-5\geq 0,\) \(f_ 2-f_ 1+f_ 0-5\geq 0,\) \(2(f_{02}-3f_ 2)+f_ 1\leq \left( \begin{matrix} f_ 0\\ 2\end{matrix} \right)\), \(2(f_{02}-3f_ 1)+f_ 2\leq \left( \begin{matrix} f_ 2-f_ 1+f_ 0\\ 2\end{matrix} \right)\), \(f_{02}- 4f_ 2+3f_ 1-2f_ 0\leq \left( \begin{matrix} f_ 0\\ 2\end{matrix} \right)\), \(f_{02}+f_ 2-2f_ 1-2f_ 0\leq \left( \begin{matrix} f_ 2-f_ 1+f_ 0\\ 2\end{matrix} \right)\), where \(f_ i=f_ i(P)\) and \(f_{02}=f_{\{0,2\}}(P).\) For related results see, for example, \textit{D. W. Barnette} [Israel J. Math. 11, 284-291 (1972; Zbl 0235.52008); Discrete Math. 10, 201-216 (1974; Zbl 0294.52008)], the author and \textit{L. J. Billera} [Invent. Math. 79, 143-157 (1985; Zbl 0543.52007)], \textit{L. J. Billera} and \textit{C. W. Lee} [J. Comb. Theory, Ser. A 31, 237-255 (1981; Zbl 0479.52006)], \textit{B. Grünbaum} [Convex Polytopes (1967; Zbl 0163.16603)] and \textit{R. Stanley} [Adv. Math. 35, 236-238 (1980; Zbl 0427.52006)].