We introduce fusion bialgebras and their duals and systematically study their Fourier analysis. As an application, we discover new efficient analytic obstructions on the unitary categorification of fusion rings. We prove the Hausdorff-Young inequality, uncertainty principles for fusion bialgebras and their duals. We show that the Schur product property, Young's inequality and the sum-set estimate hold for fusion bialgebras, but not always on their duals. If the fusion ring is the Grothendieck ring of a unitary fusion category, then these inequalities hold on the duals. Therefore, these inequalities are analytic obstructions of categorification. We classify simple integral fusion rings of Frobenius type up to rank 8 and of Frobenius-Perron dimension less than 4080. We find 34 ones, 4 of which are group-like and 28 of which can be eliminated by applying the Schur product property on the dual. In general, these inequalities are obstructions to subfactorize fusion bialgebras.

Let $A$ be a complex, commutative unital Banach algebra. We introduce two notions of exponential reducibility of Banach algebra tuples and present an analogue to the Corach-Suárez result on the connection between reducibility in $A$ and in $C(M(A))$ . Our methods are of an analytical nature. Necessary and sufficient geometric/topological conditions are given for reducibility (respectively reducibility to the principal component of $U_{n}(A)$ ) whenever the spectrum of $A$ is homeomorphic to a subset of $\mathbb{C}^{n}$ .

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.

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.

This paper is devoted to exploiting the restrictions of Riesz–Morrey potentials on either unbounded or bounded domains in Euclidean spaces.

We prove sharp weighted weak type (1,1) estimates for rough singular integral operators on homogeneous groups. Similar results are shown for singular integrals on $\mathbb{R}^{2}$ with the generalized homogeneity.

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.

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 paper we consider various aspects of generalized invertibility of the operator matrixacting on a Banach space$X$⊕$Y$.

This paper studies smoothing properties of the local fractional maximal operator, which is defined in a proper subdomain of the Euclidean space. We prove new pointwise estimates for the weak gradient of the maximal function, which imply norm estimates in Sobolev spaces. An unexpected feature is that these estimates contain extra terms involving spherical and fractional maximal functions. Moreover, we construct several explicit examples, which show that our results are essentially optimal. Extensions to metric measure spaces are also discussed.

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.

It is well-known that in Banach spaces with finite cotype, the $R$ -bounded and $\gamma $ -bounded families of operators coincide. If in addition $X$ is a Banach lattice, then these notions can be expressed as square function estimates. It is also clear that $R$ -boundedness implies $\gamma $ -boundedness. In this note we show that all other possible inclusions fail. Furthermore, we will prove that $R$ -boundedness is stable under taking adjoints if and only if the underlying space is $K$ -convex.

For the classical space of functions with bounded mean oscillation, it is well known that $\operatorname{VMO}^{**} = \operatorname{BMO}$ and there are many characterizations of the distance from a function$f$in $\operatorname{BMO}$ to $\operatorname{VMO}$ . When considering the Bloch space, results in the same vein are available with respect to the little Bloch space. In this paper such duality results and distance formulas are obtained by pure functional analysis. Applications include general Möbius invariant spaces such as$Q$_{$K$}-spaces, weighted spaces, Lipschitz–Hölder spaces and rectangular $\operatorname{BMO}$ of several variables.

We determine exact exponential asymptotics of eigenfunctions and of corresponding transfer matrices of the almost Mathieu operators for all frequencies in the localization regime. This uncovers a universal structure in their behavior, governed by the continued fraction expansion of the frequency, explaining some predictions in physics literature. In addition it proves the arithmetic version of the frequency transition conjecture. Finally, it leads to an explicit description of several non-regularity phenomena in the corresponding non-uniformly hyperbolic cocycles, which is also of interest as both the first natural example of some of those phenomena and, more generally, the first non-artificial model where non-regularity can be explicitly studied.

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 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.

We prove that if f is a distribution on RN with N>1 and if ∂jf∈Lpj,σj∩LN,1uloc with 1≤pj≤N and σj=1 when pj=1 or N, then f is bounded, continuous and has a finite constant radial limit at infinity. Here, Lp,σ is the classical Lorentz space and Lp,σuloc is a “uniformly local” subspace of Lp,σloc larger than Lp,σ when p<∞. We also show that f∈BUC if, in addition, ∂jf∈Lpj,σj∩Lquloc with q>N whenever pj<N and that, if so, the limit of f at infinity is uniform if the pj are suitably distributed. Only a few special cases have been considered in the literature, under much more restrictive assumptions that do not involve uniformly local spaces (pj=N and f vanishing at infinity, or ∂jf∈Lp∩Lq with p<N<q). Various similar results hold under integrability conditions on the higher order derivatives of f. All of them are applicable to g∗f with g∈L1 and f as above, or under weaker assumptions on f and stronger ones on g. When g is a Bessel kernel, the results are provably optimal in some cases.

We consider a multidimensional version of an inequality due to Leray as a substitute for Hardy’s inequality in the case $p = n ≥ 2$. In this paper we provide an optimal Sobolev-type improvement of this substitute, analogous to the corresponding improvements obtained for $p = 2 < n$ in S. Filippas, A. Tertikas, Optimizing improved Hardy inequalities, J. Funct. Anal. 192 (1) (2002) 186–233, and for $p > n ≥ 1$ in G. Psaradakis, An optimal Hardy-Morrey inequality, Calc. Var. Partial Differential Equations 45 (3-4) (2012) 421–441.

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 prove that every lattice in a product of higher-rank simple Lie groups or higher-rank simple algebraic groups over local fields has Vincent Lafforgue’s strong property (T). Over non-Archimedean local fields, we also prove that they have strong Banach property (T) with respect to all Banach spaces with non-trivial type, whereas in general we obtain such a result with additional hypotheses on the Banach spaces. The novelty is that we deal with non-co-compact lattices, such as SLn(Z) for n⩾3. To do so, we introduce a stronger form of strong property (T) which allows us to deal with more general objects than group representations on Banach spaces that we call two-step representations, namely families indexed by a group of operators between different Banach spaces that we can compose only once. We prove that higher-rank groups have this property and that this property passes to undistorted lattices. Full Text (PDF format)

No abstract uploaded!

Moduli of path families are widely used to mark curves which may be neglected for some applications. We introduce ordinary and approximation modulus with respect to Banach function spaces. While these moduli lead to the same result in reflexive spaces, we show that there are important path families (like paths tangent to a given set) which can be labeled as negligible by the approximation modulus with respect to the Lorentz Lp,1-space for an appropriate p, in particular, to the ordinary L1-space if p=1, but not by the ordinary modulus with respect to the same space.

Given a compact set of real numbers, a random $C^{m + \alpha}$ -diffeomorphism is constructed such that the image of any measure concentrated on the set and satisfying a certain condition involving a real number $s$ , almost surely has Fourier dimension greater than or equal to $s / (m + \alpha)$ . This is used to show that every Borel subset of the real numbers of Hausdorff dimension $s$ is $C^{m + \alpha}$ -equivalent to a set of Fourier dimension greater than or equal to $s / (m + \alpha )$ . In particular every Borel set is diffeomorphic to a Salem set, and the Fourier dimension is not invariant under $C^{m}$ -diffeomorphisms for any $m$ .

We consider the convolution operators in spaces of functions which are holomorphic in a bounded convex domain in ℂ^{$n$}and have a polynomial growth near its boundary. A characterization of the surjectivity of such operators on the class of all domains is given in terms of low bounds of the Laplace transformation of analytic functionals defining the operators.

In this paper, we give a variational analysis to the planar dual Minkowski problem in the Sobolev space. With the new variational characterization, we can deal with existence results for prescribed not necessarily positive data. Meanwhile, functional inequalities and multiple solutions are also obtained.