In this paper, we introduce the $L_p$ geominimal surface area for all $-n\neq p<1$, which extends the classical geominimal surface area ($p=1$) by Petty and the $L_p$ geominimal surface area by Lutwak ($p>1$). Our extension of the $L_p$ geominimal surface area is motivated by recent work on the extension of the $L_p$ affine surface area -- a fundamental object in (affine) convex geometry. We prove some properties for the $L_p$ geominimal surface area and its related inequalities, such as, the affine isoperimetric inequality and a Santal\'{o} style inequality. Cyclic inequalities are established to obtain the monotonicity of the $L_p$ geominimal surface areas. Comparison between the $L_p$ geominimal surface area and the $p$-surface area is also provided.

In this paper, we prove that, if functions (concave) $\phi$ and (convex) $\psi$ satisfy certain conditions, the $L_{\phi}$ affine surface area is monotone increasing, while the $L_{\psi}$ affine surface area is monotone decreasing under the Steiner symmetrization. Consequently, we can prove related affine isoperimetric inequalities, under certain conditions on $\phi$ and $\psi$, without assuming that the convex body involved has centroid (or the Santal\'{o} point) at the origin.

In this paper, combining the $p$-capacity for $p\in (1, n)$ with the Orlicz addition of convex domains, we develop the $p$-capacitary Orlicz-Brunn-Minkowski theory. In particular, the Orlicz $L_{\phi}$ mixed $p$-capacity of two convex domains is introduced and its geometric interpretation is obtained by the $p$-capacitary Orlicz-Hadamard variational formula. The $p$-capacitary Orlicz-Brunn-Minkowski and Orlicz-Minkowski inequalities are established, and the equivalence of these two inequalities are discussed as well. The $p$-capacitary Orlicz-Minkowski problem is proposed and solved under some mild conditions on the involving functions and measures. In particular, we provide the solutions for the normalized $p$-capacitary $L_q$ Minkowski problems with $q>1$ for both discrete and general measures.

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.

No abstract uploaded!