The Orlicz–Legendre ellipsoids, which are in the framework of emerging dual Orlicz Brunn–Minkowski theory, are introduced for the first time. They are in some sense dual to the recently found Orlicz–John ellipsoids, and have largely generalized the classical Legendre ellipsoid of inertia. Several new affine isoperimetric inequalities are established. The connection between the characterization of Orlicz– Legendre ellipsoids and isotropy of measures is demonstrated.

The relationship between Lp affine surface area and curvature measures is investigated. As a result, a new representation of the existing notion of Lp affine surface area depending only on curvature measures is derived. Direct proofs of the equivalence between this new representation and those previously known are provided. The proofs show that the new representation is, in a sense, “polar” to that of Lutwak’s and “dual” to that of Schutt & Werner’s.

For a random quantum state on $\cH=\C^d \otimes \C^d$ obtained by partial tracing a random pure state on $\cH \otimes \C^s$, we consider the question whether it is typically separable or typically entangled. For this problem, we show the existence of a sharp threshold $s_0=s_0(d)$ of order roughly $d^3$. More precisely, for any $\e>0$ and for $d$ large enough, such a random state is entangled with very large probability when $s \leq (1-\e)s_0$, and separable with very large probability when $s \geq (1+\e) s_0$. One consequence of this result is as follows: for a system of $N$ identical particles in a random pure state, there is a threshold $k_0 = k_0(N)\sim N/5$ such that two subsystems of $k$ particles each typically share entanglement if $k>k_0$, and typically do not share entanglement if $k<k_0$. Our methods work also for multipartite systems and for ``unbalanced'' systems such as $\C^{d_1} \otimes \C^{d_2} $, ${d_1} \neq {d_2} $. The arguments rely on random matrices, classical convexity, high-dimensional probability and geometry of Banach spaces; some of the auxiliary results may be of reference value.

In analogy with the classical Minkowski problem, necessary and sufficient conditions are given to assure that a given measure on the unit sphere is the cone-volume measure of the unit ball of a finite dimensional Banach space.

The nth power of the volume functional Vnof polytopes P in R^n, according to dimensions of the spaces spanned by any nunit outer normal vectors of P, is decomposed into nhomogeneous polynomials of degree n. A set of new sharp affine isoperimetric inequalities for these volume decomposition functionals in R^3 are established, which essentially characterize the geometric and algebraic structures of polytopes.