About \(f\)-vectors of inscribed simplicial polytopes (Q282733)

The \textit{\(f\)-vector} of a \(d\)-polytope \(P\) is \(\tilde{f} = (f_{-1},f_0,\ldots, f_{d-1})\) where \(f_i\) is the number of \(i\)-dimensional faces of \(P\). The \textit{\(h\)-vector} \(\tilde{h} = (h_0,\ldots, h_d)\) is then defined polynomially by \(\sum_{i=0}^dh_ix^{d-i} = \sum_{i=0}^d f_{i-1}(x-1)^{d-i}\), and the \textit{\(g\)-vector} is \(\tilde{g} = (1,g_1,\ldots,g_{\lfloor d/2\rfloor})\) where \(g_i = h_i - h_{i-1}\). A \(d\)-polytope is \textit{inscribed} if all its vertices are on a \((d-1)\)-sphere. In this paper it is shown that for \(d\geq 2\) there exists an inscribed simplicial \(d\)-polytope whose \(g\)-vector has a specific form. Also, it is shown that for \(d\geq 2\) and for every simplicial \(d\)-polytope there is an inscribed simplical \(d\)-polytope with the same \(f_0, f_1\) and \(f_2\), that is, the same number of vertices, edges and \(2\)-faces. As corollaries one then obtains: (i) for \(d\leq 7\) and each simplicial \(d\)-polytope there is an inscribed simplicial \(d\)-polytope with the same \(f\)-vector, (ii) for \(d\geq 6\) and each simplicial \(d\)-polytope there is an inscribed simplicial \(d\)-polytope with the same \(g\)-vector entries \(g_1,g_2\) and \(g_3\).