Connections between the LYZ functionals and volume decomposition functionals of polytopes (Q6631374)

Let \(P\subset{\mathbb R}^n\) be a convex polytope containing the origin in the interior, and let \(u_1,\dots,u_N\) be the outer unit normal vectors of its facets; let \(V_P(\{u_i\})\) be the volume of the convex hull of the origin and the facet of \(P\) with normal vector \(u_i\). \textit{E. Lutwak} et al. [Trans. Am. Math. Soc. 353, No. 5, 1767--1779 (2001; Zbl 0971.52011)] have introduced the functionals \(U_j\) by \N\[\NU_j(P)^j= \sum_{u_{i_1}\wedge\dots\wedge u_{i_j}\not=0} V_P(\{u_{i_1}\})\cdots V_P(\{u_{i_j}\}), \quad j=1,\dots,n,\N\]\N(so that \(U_1\) is the volume; by definition, \(U_0=1\)) and have proved some affine inequalities involving them. \textit{Y. Liu} et al. [Adv. Math. 389, Article ID 107902, 29 p. (2021; Zbl 1479.52015)] have defined the functionals \(X_k\) by \N\[\NX_k(P)^n= \sum_{\dim(\mathrm{span}\{u_{i_1},\dots, u_{i_n}\})=k} V_P(\{u_{i_1}\})\cdots V_P(\{u_{i_n}\}), \quad k=1,\dots,n,\N\]\N(so that \(X_n=U_n\)) and have also proved corresponding inequalities. The present paper investigates relations between the \(U\) and the \(X\) functionals. Let \({\mathcal P}^n_n\) denote the set of all convex polytopes \(P\subset{\mathbb R}^n\) such that \(0\in\mathrm{int}\,P\) and any set of \(n\) unit normal vectors of the facets of \(P\), not containing antipodal vectors, is linearly independent. The main result says that the functional \(X_k:{\mathcal P}^n_n\to(0,\infty)\) is uniquely represented by linear combinations of elements from the set \N\[\N\left\{U_{i_1}^{i_1}\cdots U_{i_n}^{i_n}:\sum_{j=1}^n i_j=n,\,\max_{1\le j\le n} i_j\ge k\right\}.\N\]\NIn the proof, partitions of integers, homogeneous polynomials, and special matrices play a role. Explicit representations are listed for \(n=3,4\).