Let $K$ be a self-similar set satisfying the open set condition. Following Kaimanovich’s elegant idea, it has been proved that on the symbolic space $X$ of $K$ a natural augmented tree structure $E$ exists; it is hyperbolic, and the hyperbolic boundary $\partial_H X$ with the Gromov metric is H\"older equivalent to $K$. In this paper we consider certain reversible random walks with return ratio $0 < \lambda < 1$ on $(X,E)$. We show that the Martin boundary ${\mathcal M}$ can be identified with $\partial_H X$ and $K$. With this setup and a device of Silverstein, we obtain precise estimates of the Martin kernel and the Na\"im kernel in terms of the Gromov product. Moreover, the Naïm kernel turns out to be a jump kernel satisfying the estimate $\Theta (\xi,\eta) \asymp |\xi-\eta|^{-(\alpha+\beta)}$, where $\alpha$ is the Hausdorff dimension of $K$ and $\beta$ depends on $\lambda$. For suitable $\beta$, the kernel defines a regular non-local Dirichlet form on $K$. This extends the results of Kigami concerning random walks on certain trees with Cantor-type sets as boundaries.

In this work we introduce a formulation for a non-local Hessian that combines the ideas of higher-order and non-local regularization for image restoration, extending the idea of non-local gradients to higher-order derivatives. By carefully choosing the weights, the model allows to improve on the current state of the art higher-order method, Total Generalized Variation, with respect to overall quality and particularly close to jumps in the data. In the spirit of recent work by Brezis et al., our formulation also has analytic implications: for a suitable choice of weights, it can be shown to converge to classical second-order regularizers, and in fact allows a novel characterization of higher-order Sobolev and BV spaces.

We study the decay of approximation numbers of compact composition operators on the Dirichlet space. We give upper and lower bounds for these numbers. In particular, we improve on a result of El-Fallah, Kellay, Shabankhah and Youssfi, on the set of contact points with the unit circle of a compact symbolic composition operator acting on the Dirichlet space $\mathcal{D}$ . We extend their results in two directions: first, the contact only takes place at the point 1. Moreover, the approximation numbers of the operator can be arbitrarily subexponentially small.

We consider weighted ray-transforms PW (weighted Radon transforms along oriented straight lines) in Rd,d≥2, with strictly positive weights W. We construct an example of such a transform with non-trivial kernel in the space of infinitely smooth compactly supported functions on Rd. In addition, the constructed weight W is rotation-invariant continuous and is infinitely smooth almost everywhere on Rd×Sd−1. In particular, by this construction we give counterexamples to some well-known injectivity results for weighted ray transforms for the case when the regularity of W is slightly relaxed. We also give examples of continous strictly positive W such that dimkerPW≥n in the space of infinitely smooth compactly supported functions on Rd for arbitrary n∈N∪{∞}, where W are infinitely smooth for d=2 and infinitely smooth almost everywhere for d≥3.

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.