We extend a recent result of Avelin, Hed, and Persson about approximation of functions f that are plurisubharmonic on a domain Ω and continuous on ˙Ω, with functions that are plurisubharmonic on (shrinking) neighborhoods of ˙Ω. We show that such approximation is possible if the boundary of Ω is C0 outside a countable exceptional set E⊂∂Ω. In particular, approximation is possible on the Hartogs triangle. For Hölder continuous u, approximation is possible under less restrictive conditions on E. We next give examples of domains where this kind of approximation is not possible, even when approximation in the Hölder continuous case is possible.

We derive an integral representation for Herglotz-Nevanlinna functions in two variables, which provides a complete characterization of this class in terms of a real number, two non-negative numbers and a positive measure satisfying certain conditions. Further properties of the class of representing measures are also discussed.

In this paper we consider various aspects of generalized invertibility of the operator matrixacting on a Banach space$X$⊕$Y$.

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 a previous paper, we studied certain random walks on the hyperbolic graphs $X$ associated with the self-similar sets $K$, and showed that the discrete energy ${\mathcal E}_X$ on $X$ has an induced energy form ${\mathcal E}_K$ on $K$. The domain of ${\mathcal E}_K$ is a Besov space $\Lambda^{\alpha, \beta/2}_{2,2}$ where $\alpha$ is the Hausdorff dimension of $K$ and $\beta$ is a parameter determined by the ``return ratio" of the random walk. In this paper, we consider the functional relationship of ${\mathcal E}_X$ and ${\mathcal E}_K$. In particular, we investigate the critical exponents of the $\beta$ in the domain $\Lambda^{\alpha, \beta/2}_{2,2}$ in order for ${\mathcal E}_K$ to be a Dirichlet form. We provide some criteria to determine the critical exponents through the effective resistance of the random walk on $X$, and make use of certain electrical network techniques to calculate the exponents for some concrete examples.