Reconstructing simplicial polytopes from their graphs and affine 2-stresses (Q6165195): Difference between revisions
From MaRDI portal
Latest revision as of 10:51, 2 August 2024
scientific article; zbMATH DE number 7720444
Language | Label | Description | Also known as |
---|---|---|---|
English | Reconstructing simplicial polytopes from their graphs and affine 2-stresses |
scientific article; zbMATH DE number 7720444 |
Statements
Reconstructing simplicial polytopes from their graphs and affine 2-stresses (English)
0 references
31 July 2023
0 references
A \(d\)-dimensional polytope is simple when each of its vertices is incident to exactly \(d\) edges. \textit{R. Blind} and \textit{P. Mani-Levitska} have shown in the 1980s that the boundary complex of a simple polytope can be recovered from just its edge-graph [Aequationes Math. 34, 287--297 (1987; Zbl 0634.52005)]. A simple proof of this result was given shortly later by \textit{G. Kalai} [J. Comb. Theory, Ser. A 49, No. 2, 381--383 (1988; Zbl 0673.05087)]. If the polytope is not required to be simple, its boundary complex can be reconstructed from its \((d-2)\)-skeleton [\textit{B. Grünbaum}, Convex polytopes. Prepared by Volker Kaibel, Victor Klee, and Günter M. Ziegler. 2nd ed. New York, NY: Springer (2003; Zbl 1024.52001)] but the knowledge of its \((\lfloor{d/2}\rfloor-1)\)-skeleton does not always suffice. This is shown for example by the \(\lfloor d/2\rfloor\)-neighborly \(d\)-dimensional polytopes with different combinatorial types that are constructed by \textit{I. Shemer} [Isr. J. Math. 43, 291--314 (1982; Zbl 0598.05010)]. The problem is investigated here in the case of simplicial polytopes -- polytopes whose all facets are simplices. It is a conjecture of \textit{G. Kalai} [NATO ASI Ser., Ser. C, Math. Phys. Sci. 440, 205--229 (1994; Zbl 0804.52006)] that knowing both the \(k\)-skeleton of a simplicial polytope \(P\) and the space of its affine \((k+1)\)-stresses, where \(0\leq{k}\leq\lfloor{d/2}\rfloor\) allows to recover the boundary complex of \(P\). This conjecture is proven here in the case when \(k\) is equal to \(1\) and for arbitrary \(k\) when \(P\) is further assumed \(k\)-neighborly.
0 references
polytopes
0 references
rigidity theory
0 references
\(k\)-skeleton
0 references