Definition

For K1,,KmRmK_1,\ldots,K_m\subseteq\mathbb R^m, their mixed volume is

V(K1,,Km)=1m![t1tm]vol(t1K1++tmKm).V(K_1,\ldots,K_m) =\frac1{m!}[t_1\cdots t_m]\, \operatorname{vol}(t_1K_1+\cdots+t_mK_m).

Here [t1tm][t_1\cdots t_m] extracts the indicated coefficient from the homogeneous degree-mm volume polynomial.

Properties

Mixed volume is symmetric, translation-invariant, and multilinear with respect to and nonnegative scalar multiplication. It is monotone in each argument and normalized by

V(K,,K)=vol(K).V(K,\ldots,K)=\operatorname{vol}(K).
Valuations

Fixing A1,,AmkA_1,\ldots,A_{m-k} makes

KV(K[k],A1,,Amk)K\longmapsto V(K[k],A_1,\ldots,A_{m-k})

a continuous translation-invariant homogeneous of degree kk. Mixed volume is the convex-body counterpart of determinant polarization, but it is not the same object as the .

References
  1. Rolf Schneider, Convex Bodies: The Brunn–Minkowski Theory, 2nd ed., Cambridge University Press, 2014. DOI record. Relevant: Chapter 5.