The volume of an isocanted cube is a determinant
Authors:
M. J de la Puente,
P. L. Clavería
Abstract:
In any dimension d>=2, we give exact volume formulas of two mutually polar dual convex d--polytopes. The primal body is called isocanted cube of dimension d, depending on two real parameters 0<a<l. The limit case a=0 yields a d--cube of edge--length l. We prove that the volume of such a body is the determinant of the matrix of order d having diagonal entries equal to l and a elsewhere.
We also c…
▽ More
In any dimension d>=2, we give exact volume formulas of two mutually polar dual convex d--polytopes. The primal body is called isocanted cube of dimension d, depending on two real parameters 0<a<l. The limit case a=0 yields a d--cube of edge--length l. We prove that the volume of such a body is the determinant of the matrix of order d having diagonal entries equal to l and a elsewhere.
We also compute the volume of the polar dual body, getting a rational expression in l and a, homogeneous of degree -d with rational coefficients.
Isocanted cubes are origin--symmetric zonotopes. Zonoids (defined as the limits of families of zonotopes) satisfy the Mahler conjecture; in particular, zonotopes do. Nonetheless, we confirm (by elementary methods) that the Mahler conjecture holds for isocanted cubes.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
Isocanted alcoved polytopes
Authors:
María Jesús de la Puente,
Pedro Luis Clavería
Abstract:
Through tropical normal idempotent matrices, we introduce isocanted alcoved polytopes, computing their $f$--vectors and checking the validity of the following five conjectures: Bárány, unimodality, $3^d$, flag and cubical lower bound (CLBC). Isocanted alcoved polytopes are centrally symmetric, almost simple cubical polytopes. They are zonotopes. We show that, for each dimension, there is a unique…
▽ More
Through tropical normal idempotent matrices, we introduce isocanted alcoved polytopes, computing their $f$--vectors and checking the validity of the following five conjectures: Bárány, unimodality, $3^d$, flag and cubical lower bound (CLBC). Isocanted alcoved polytopes are centrally symmetric, almost simple cubical polytopes. They are zonotopes. We show that, for each dimension, there is a unique combinatorial type. In dimension $d$, an isocanted alcoved polytope has $2^{d+1}-2$ vertices, its face lattice is the lattice of proper subsets of $[d+1]$ and its diameter is $d+1$. They are realizations of $d$--elementary cubical polytopes. The $f$--vector of a $d$--dimensional isocanted alcoved polytope attains its maximum at the integer $\lfloor d/3\rfloor$.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.