For K1,…,Km⊆RmK_1,\ldots,K_m\subseteq\mathbb R^m, their mixed volume is

V(K1,…,Km)=1m![t1⋯tm] 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 [t1⋯tm][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,…,Am−kA_1,\ldots,A_{m-k} makes

K⟼V(K[k],A1,…,Am−k)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.