Showing papers in "arXiv: Functional Analysis in 2012"

Bakry-\'Emery curvature-dimension condition and Riemannian Ricci curvature bounds

Abstract: The aim of the present paper is to bridge the gap between the Bakry-\'{E}mery and the Lott-Sturm-Villani approaches to provide synthetic and abstract notions of lower Ricci curvature bounds. We start from a strongly local Dirichlet form ${{\mathcal{E}}}$ admitting a Carr\'{e} du champ $\Gamma$ in a Polish measure space $(X,\mathfrak{m})$ and a canonical distance ${\mathsf{d}}_{{{\mathcal{E}}}}$ that induces the original topology of $X$. We first characterize the distinguished class of Riemannian Energy measure spaces, where ${\mathcal{E}}$ coincides with the Cheeger energy induced by ${\mathsf{d}}_{{\mathcal{E}}}$ and where every function $f$ with $\Gamma(f)\le1$ admits a continuous representative. In such a class, we show that if ${{\mathcal{E}}}$ satisfies a suitable weak form of the Bakry-\'{E}mery curvature dimension condition $\mathrm {BE}(K,\infty)$ then the metric measure space $(X,{\mathsf{d}},\mathfrak{m})$ satisfies the Riemannian Ricci curvature bound $\mathrm {RCD}(K,\infty)$ according to [Duke Math. J. 163 (2014) 1405-1490], thus showing the equivalence of the two notions. Two applications are then proved: the tensorization property for Riemannian Energy spaces satisfying the Bakry-\'{E}mery $\mathrm {BE}(K,N)$ condition (and thus the corresponding one for $\mathrm {RCD}(K,\infty)$ spaces without assuming nonbranching) and the stability of $\mathrm {BE}(K,N)$ with respect to Sturm-Gromov-Hausdorff convergence.

Greedy Algorithms for Reduced Bases in Banach Spaces

Abstract: Given a Banach space X and one of its compact sets F, we consider the problem of finding a good n dimensional space X_n \subset X which can be used to approximate the elements of F. The best possible error we can achieve for such an approximation is given by the Kolmogorov width d_n(F)_X. However, finding the space which gives this performance is typically numerically intractable. Recently, a new greedy strategy for obtaining good spaces was given in the context of the reduced basis method for solving a parametric family of PDEs. The performance of this greedy algorithm was initially analyzed in A. Buffa, Y. Maday, A.T. Patera, C. Prud'homme, and G. Turinici, "A Priori convergence of the greedy algorithm for the parameterized reduced basis", M2AN Math. Model. Numer. Anal., 46(2012), 595-603 in the case X = H is a Hilbert space. The results there were significantly improved on in P. Binev, A. Cohen, W. Dahmen, R. DeVore, G. Petrova, and P. Wojtaszczyk, "Convergence rates for greedy algorithms in reduced bases Methods", SIAM J. Math. Anal., 43 (2011), 1457-1472. The purpose of the present paper is to give a new analysis of the performance of such greedy algorithms. Our analysis not only gives improved results for the Hilbert space case but can also be applied to the same greedy procedure in general Banach spaces.

The road to deterministic matrices with the restricted isometry property

Abstract: The restricted isometry property (RIP) is a well-known matrix condition that provides state-of-the-art reconstruction guarantees for compressed sensing. While random matrices are known to satisfy this property with high probability, deterministic constructions have found less success. In this paper, we consider various techniques for demonstrating RIP deterministically, some popular and some novel, and we evaluate their performance. In evaluating some techniques, we apply random matrix theory and inadvertently find a simple alternative proof that certain random matrices are RIP. Later, we propose a particular class of matrices as candidates for being RIP, namely, equiangular tight frames (ETFs). Using the known correspondence between real ETFs and strongly regular graphs, we investigate certain combinatorial implications of a real ETF being RIP. Specifically, we give probabilistic intuition for a new bound on the clique number of Paley graphs of prime order, and we conjecture that the corresponding ETFs are RIP in a manner similar to random matrices.

Compactly Supported Shearlets

Abstract: Shearlet theory has become a central tool in analyzing and representing 2D data with anisotropic features. Shearlet systems are systems of functions generated by one single generator with parabolic scaling, shearing, and translation operators applied to it, in much the same way wavelet systems are dyadic scalings and translations of a single function, but including a precise control of directionality. Of the many directional representation systems proposed in the last decade, shearlets are among the most versatile and successful systems. The reason for this being an extensive list of desirable properties: shearlet systems can be generated by one function, they provide precise resolution of wavefront sets, they allow compactly supported analyzing elements, they are associated with fast decomposition algorithms, and they provide a unified treatment of the continuum and the digital realm. The aim of this paper is to introduce some key concepts in directional representation systems and to shed some light on the success of shearlet systems as directional representation systems. In particular, we will give an overview of the different paths taken in shearlet theory with focus on separable and compactly supported shearlets in 2D and 3D. We will present constructions of compactly supported shearlet frames in those dimensions as well as discuss recent results on the ability of compactly supported shearlet frames satisfying weak decay, smoothness, and directional moment conditions to provide optimally sparse approximations of cartoon-like images in 2D as well as in 3D. Finally, we will show that these compactly supported shearlet systems provide optimally sparse approximations of an even generalized model of cartoon-like images comprising of C 2 functions that are smooth apart from piecewise C 2 discontinuity edges.

A New, Rearrangement-free Proof of the Sharp Hardy–Littlewood–Sobolev Inequality

Abstract: We show that the sharp constant in the Hardy–Littlewood–Sobolev inequality can be derived using the method that we employed earlier for a similar inequality on the Heisenberg group. The merit of this proof is that it does not rely on rearrangement inequalities; it is the first one to do so for the whole parameter range.

A note on self-adjoint extensions of the Laplacian on weighted graphs

Abstract: We study the uniqueness of self-adjoint and Markovian extensions of the Laplacian on weighted graphs. We first show that, for locally finite graphs and a certain family of metrics, completeness of the graph implies uniqueness of these extensions. Moreover, in the case when the graph is not metrically complete and the Cauchy boundary has finite capacity, we characterize the uniqueness of the Markovian extensions.

An Analog of the 2-Wasserstein Metric in Non-commutative Probability under which the Fermionic Fokker-Planck Equation is Gradient Flow for the Entropy

Abstract: Let $\Cl$ denote the Clifford algebra over $\R^n$, which is the von Neumann algebra generated by $n$ self-adjoint operators $Q_j$, $j=1,...,n$ satisfying the canonical anticommutation relations, $Q_iQ_j+Q_jQ_i = 2\delta_{ij}I$, and let $\tau$ denote the normalized trace on $\Cl$. This algebra arises in quantum mechanics as the algebra of observables generated by $n$ Fermionic degrees of freedom. Let $\Dens$ denote the set of all positive operators $\rho\in\Cl$ such that $\tau(\rho) =1$; these are the non-commutative analogs of probability densities in the non-commutative probability space $(\Cl,\tau)$. The Fermionic Fokker-Planck equation is a quantum-mechanical analog of the classical Fokker-Planck equation with which it has much in common, such as the same optimal hypercontractivity properties. In this paper we construct a Riemannian metric on $\Dens$ that we show to be a natural analog of the classical 2-Wasserstein metric, and we show that, in analogy with the classical case, the Fermionic Fokker-Planck equation is gradient flow in this metric for the relative entropy with respect to the ground state. We derive a number of consequences of this, such as a sharp Talagrand inequality for this metric, and we prove a number of results pertaining to this metric. Several open problems are raised.

Heat kernel generated frames in the setting of Dirichlet spaces

Abstract: Wavelet bases and frames consisting of band limited functions of nearly exponential localization on Rd are a powerful tool in harmonic analysis by making various spaces of functions and distributions more accessible for study and utilization, and providing sparse representation of natural function spaces (e.g. Besov spaces) on Rd. Such frames are also available on the sphere and in more general homogeneous spaces, on the interval and ball. The purpose of this article is to develop band limited well-localized frames in the general setting of Dirichlet spaces with doubling measure and a local scale-invariant Poincar\'e inequality which lead to heat kernels with small time Gaussian bounds and H\"older continuity. As an application of this construction, band limited frames are developed in the context of Lie groups or homogeneous spaces with polynomial volume growth, complete Riemannian manifolds with Ricci curvature bounded from below and satisfying the volume doubling property, and other settings. The new frames are used for decomposition of Besov spaces in this general setting.

Shearlets on Bounded Domains

Abstract: Shearlet systems have so far been only considered as a means to analyze L 2-functions defined on \({\mathbb{R}}^{2}\), which exhibit curvilinear singularities. However, in applications such as image processing or numerical solvers of partial differential equations the function to be analyzed or efficiently encoded is typically defined on a non-rectangular shaped bounded domain. Motivated by these applications, in this paper, we first introduce a novel model for cartoon-like images defined on a bounded domain. We then prove that compactly supported shearlet frames satisfying some weak decay and smoothness conditions, when orthogonally projected onto the bounded domain, do provide (almost) optimally sparse approximations of elements belonging to this model class.

Parabolic Molecules

Abstract: Anisotropic decompositions using representation systems based on parabolic scaling such as curvelets or shearlets have recently attracted significantly increased attention due to the fact that they were shown to provide optimally sparse approximations of functions exhibiting singularities on lower dimensional embedded manifolds The literature now contains various direct proofs of this fact and of related sparse approximation results However, it seems quite cumbersome to prove such a canon of results for each system separately, while many of the systems exhibit certain similarities In this paper, with the introduction of the notion of {\em parabolic molecules}, we aim to provide a comprehensive framework which includes customarily employed representation systems based on parabolic scaling such as curvelets and shearlets It is shown that pairs of parabolic molecules have the fundamental property to be almost orthogonal in a particular sense This result is then applied to analyze parabolic molecules with respect to their ability to sparsely approximate data governed by anisotropic features For this, the concept of {\em sparsity equivalence} is introduced which is shown to allow the identification of a large class of parabolic molecules providing the same sparse approximation results as curvelets and shearlets Finally, as another application, smoothness spaces associated with parabolic molecules are introduced providing a general theoretical approach which even leads to novel results for, for instance, compactly supported shearlets

On the asymptotics of a Toeplitz determinant with singularities

Abstract: We provide an alternative proof of the classical single-term asymptotics for Toeplitz determinants whose symbols possess Fisher-Hartwig singularities. We also relax the smoothness conditions on the regular part of the symbols and obtain an estimate for the error term in the asymptotics. Our proof is based on the Riemann-Hilbert analysis of the related systems of orthogonal polynomials and on differential identities for Toeplitz determinants. The result discussed in this paper is crucial for the proof of the asymptotics in the general case of Fisher-Hartwig singularities and extensions to Hankel and Toeplitz+Hankel determinants in [15].

Restricted normal cones and the method of alternating projections

Abstract: The method of alternating projections (MAP) is a common method for solving feasibility problems. While employed traditionally to subspaces or to convex sets, little was known about the behavior of the MAP in the nonconvex case until 2009, when Lewis, Luke, and Malick derived local linear convergence results provided that a condition involving normal cones holds and at least one of the sets is superregular (a property less restrictive than convexity). However, their results failed to capture very simple classical convex instances such as two lines in three-dimensional space. In this paper, we extend and develop the Lewis-Luke-Malick framework so that not only any two linear subspaces but also any two closed convex sets whose relative interiors meet are covered. We also allow for sets that are more structured such as unions of convex sets. The key tool required is the restricted normal cone, which is a generalization of the classical Mordukhovich normal cone. We thoroughly study restricted normal cones from the viewpoint of constraint qualifications and regularity. Numerous examples are provided to illustrate the theory.

Irregularities and Scaling in Signal and Image Processing: Multifractal Analysis

Abstract: B. Mandelbrot gave a new birth to the notions of scale invariance, selfsimilarity and non-integer dimensions, gathering them as the founding corner-stones used to build up fractal geometry. The first purpose of the present contribution is to review and relate together these key notions, explore their interplay and show that they are different facets of a same intuition. Second, it will explain how these notions lead to the derivation of the mathematical tools underlying multifractal analysis. Third, it will reformulate these theoretical tools into a wavelet framework, hence enabling their better theoretical understanding as well as their efficient practical implementation. B. Mandelbrot used his concept of fractal geometry to analyze real-world applications of very different natures. As a tribute to his work, applications of various origins, and where multifractal analysis proved fruitful, are revisited to illustrate the theoretical developments proposed here.

An introduction to the Ribe program

Abstract: This article accompanies the 10th Takagi Lectures, delivered by the author at RIMS, Kyoto, on May 26 2012. It contains an exposition of results, applications, and challenges of the Ribe program.

Gradient flow structures for discrete porous medium equations

Abstract: We consider discrete porous medium equations of the form \partial_t \rho_t = \Delta \phi(\rho_t), where \Delta is the generator of a reversible continuous time Markov chain on a finite set X, and \phi is an increasing function. We show that these equations arise as gradient flows of certain entropy functionals with respect to suitable non-local transportation metrics. This may be seen as a discrete analogue of the Wasserstein gradient flow structure for porous medium equations in R^n discovered by Otto. We present a one-dimensional counterexample to geodesic convexity and discuss Gromov-Hausdorff convergence to the Wasserstein metric.

Heat kernel based decomposition of spaces of distributions in the framework of Dirichlet spaces

Abstract: Classical and non classical Besov and Triebel-Lizorkin spaces with complete range of indices are developed in the general setting of Dirichlet space with a doubling measure and local scale-invariant Poincar\'e inequality. This leads to Heat kernel with small time Gaussian bounds and H\"older continuity, which play a central role in this article. Frames with band limited elements of sub-exponential space localization are developed, and frame and heat kernel characterizations of Besov and Triebel-Lizorkin spaces are established. This theory, in particular, allows to develop Besov and Triebel-Lizorkin spaces and their frame and heat kernel characterization in the context of Lie groups, Riemannian manifold, and other settings.

On the spectrum of frequently hypercyclic operators

Abstract: A bounded linear operator $T$ on a Banach space $X$ is called frequently hypercyclic if there exists $x\in X$ such that the lower density of the set $\{n\in\N:T^nx\in U\}$ is positive for any non-empty open subset $U$ of $X$. Bayart and Grivaux have raised a question whether there is a frequently hypercyclic operator on any separable infinite dimensional Banach space. We prove that the spectrum of a frequently hypercyclic operator has no isolated points. It follows that there are no frequently hypercyclic operators on all complex and on some real hereditarily indecomposable Banach spaces, which provides a negative answer to the above question.

The representer theorem for Hilbert spaces: a necessary and sufficient condition

Abstract: A family of regularization functionals is said to admit a linear representer theorem if every member of the family admits minimizers that lie in a fixed finite dimensional subspace. A recent characterization states that a general class of regularization functionals with differentiable regularizer admits a linear representer theorem if and only if the regularization term is a non-decreasing function of the norm. In this report, we improve over such result by replacing the differentiability assumption with lower semi-continuity and deriving a proof that is independent of the dimensionality of the space.

Uniformity of measures with Fourier frames

Abstract: We examine Fourier frames and, more generally, frame measures for different probability measures. We prove that if a measure has an associated frame measure, then it must have a certain uniformity in the sense that the weight is distributed quite uniformly on its support. To be more precise, by considering certain absolute continuity properties of the measure and its translation, we recover the characterization on absolutely continuous measures $g\, dx$ with Fourier frames obtained in \cite{Lai11}. Moreover, we prove that the frame bounds are pushed away by the essential infimum and supremum of the function $g$. This also shows that absolutely continuous spectral measures supported on a set $\Omega$, if they exist, must be the standard Lebesgue measure on $\Omega$ up to a multiplicative constant. We then investigate affine iterated function systems (IFSs), we show that if an IFS with no overlap admits a frame measure then the probability weights are all equal. Moreover, we also show that the {\L}aba-Wang conjecture \cite{MR1929508} is true if the self-similar measure is absolutely continuous. Finally, we will present a new approach to the conjecture of Liu and Wang \cite{LW} about the structure of non-uniform Gabor orthonormal bases of the form ${\mathcal G}(g,\Lambda,{\mathcal J})$.

Ostrowski type Inequalities via h-convex Functions with Applications for Special Means

Abstract: In this paper, we establish some new Ostrowski type inequalities for the class of h-convex functions which are super-multiplicative or super-additive and nonnegative. Some applications for special means and PDF's are given.

An undecidable case of lineability in R^R

Abstract: Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$}) one has that the set of Sierpi\'nski-Zygmund functions is (2^{\mathfrak{c}})-strongly algebrable (and, thus, (2^{\mathfrak{c}})-lineable). Here we prove that these two statements are actually equivalent and, moreover, they both are undecidable. This would be the first time in which one encounters an undecidable proposition in the recently coined theory of lineability.

Gevrey functions and ultradistributions on compact Lie groups and homogeneous spaces

Abstract: In this paper we give global characterisations of Gevrey-Roumieu and Gevrey-Beurling spaces of ultradifferentiable functions on compact Lie groups in terms of the representation theory of the group and the spectrum of the Laplace-Beltrami operator. Furthermore, we characterise their duals, the spaces of corresponding ultradistributions. For the latter, the proof is based on first obtaining the characterisation of their $\alpha$-duals in the sense of Koethe and the theory of sequence spaces. We also give the corresponding characterisations on compact homogeneous spaces.

The Gabor wave front set

Abstract: We define the Gabor wave front set $WF_G(u)$ of a tempered distribution $u$ in terms of rapid decay of its Gabor coefficients in a conic subset of the phase space. We show the inclusion $$WF_G(a^w(x,D) u) \subseteq WF_G(u), u \in \mathscr S'(\mathbb R^d), a \in S_{0,0}^0,$$ where $S_{0,0}^0$ denotes the Hormander symbol class of order zero and parameter values zero. We compare our definition with other definitions in the literature, namely the classical and the global wave front sets of Hormander, and the $\cS$-wave front set of Coriasco and Maniccia. In particular, we prove that the Gabor wave front set and the global wave front set of Hormander coincide.

Analysis of Inpainting via Clustered Sparsity and Microlocal Analysis

Abstract: Recently, compressed sensing techniques in combination with both wavelet and directional representation systems have been very effectively applied to the problem of image inpainting. However, a mathematical analysis of these techniques which reveals the underlying geometrical content is completely missing. In this paper, we provide the first comprehensive analysis in the continuum domain utilizing the novel concept of clustered sparsity, which besides leading to asymptotic error bounds also makes the superior behavior of directional representation systems over wavelets precise. First, we propose an abstract model for problems of data recovery and derive error bounds for two different recovery schemes, namely l_1 minimization and thresholding. Second, we set up a particular microlocal model for an image governed by edges inspired by seismic data as well as a particular mask to model the missing data, namely a linear singularity masked by a horizontal strip. Applying the abstract estimate in the case of wavelets and of shearlets we prove that -- provided the size of the missing part is asymptotically to the size of the analyzing functions -- asymptotically precise inpainting can be obtained for this model. Finally, we show that shearlets can fill strictly larger gaps than wavelets in this model.

Vector analysis for Dirichlet forms and quasilinear PDE and SPDE on metric measure spaces

Abstract: Starting with a regular symmetric Dirichlet form on a locally compact separable metric space $X$, our paper studies elements of vector analysis, $L_p$-spaces of vector fields and related Sobolev spaces. These tools are then employed to obtain existence and uniqueness results for some quasilinear elliptic PDE and SPDE in variational form on $X$ by standard methods. For many of our results locality is not assumed, but most interesting applications involve local regular Dirichlet forms on fractal spaces such as nested fractals and Sierpinski carpets.

Differentiable mappings on products with different degrees of differentiability in the two factors

Abstract: We develop differential calculus of $C^{r,s}$-mappings on products of locally convex spaces and prove exponential laws for such mappings. As an application, we consider differential equations in Banach spaces depending on a parameter in a locally convex space. Under suitable assumptions, the associated flows are mappings of class $C^{r,s}$.

Spectral bounds for the Neumann-Poincar\'e operator on planar domains with corners

Abstract: The boundary double layer potential, or the Neumann-Poincare operator, is studied on the Sobolev space of order 1/2 along the boundary, coinciding with the space of charges giving rise to double layer potentials with finite energy in the whole space. Poincare's program of studying the spectrum of the boundary double layer potential is developed in complete generality, on closed Lipschitz hypersurfaces in Euclidean space. Furthermore, the Neumann-Poincare operator is realized as a singular integral transform bearing similarities to the Beurling-Ahlfors transform in 2D. As an application, bounds for the spectrum of the Neumann-Poincare operator are derived from recent results in quasi-conformal mapping theory, in the case of planar curves with corners.

Local Dirichlet forms, Hodge theory, and the Navier-Stokes equations on topologically one-dimensional fractals

Abstract: We consider finite energy and $L^2$ differential forms associated with strongly local regular Dirichlet forms on compact connected topologically one-dimensional spaces. We introduce notions of local exactness and local harmonicity and prove the Hodge decomposition, which in our context says that the orthogonal complement to the space of all exact 1-forms coincides with the closed span of all locally harmonic 1-forms. Then we introduce a related Hodge Laplacian and define a notion harmonicity for finite energy 1-forms. As as corollary, under a certain capacity-separation assumption, we prove that the space of harmonic 1-forms is nontrivial if and only if the classical Cech cohomology is nontrivial. In the examples of classical self-similar fractals these spaces typically are either trivial or infinitely dimensional. Finally, we study Navier-Stokes type models and prove that under our assumptions they have only steady state divergence-free solutions. In particular, we solve the existence and uniqueness problem for the Navier-Stokes and Euler equations for a large class of fractals that are topologically one-dimensional but can have arbitrary Hausdorff and spectral dimensions.

Spectral multiplier theorems of H\"ormander type on Hardy and Lebesgue spaces

Abstract: Let $X$ be a space of homogeneous type and let $L$ be an injective, non-negative, self-adjoint operator on $L^2(X)$ such that the semigroup generated by $-L$ fulfills Davies-Gaffney estimates of arbitrary order. We prove that the operator $F(L)$, initially defined on $H^1_L(X)\cap L^2(X)$, acts as a bounded linear operator on the Hardy space $H^1_L(X)$ associated with $L$ whenever $F$ is a bounded, sufficiently smooth function. Based on this result, together with interpolation, we establish Hormander type spectral multiplier theorems on Lebesgue spaces for non-negative, self-adjoint operators satisfying generalized Gaussian estimates in which the required differentiability order is relaxed compared to all known spectral multiplier results.

Unitary equivalence of a matrix to its transpose

Abstract: Motivated by a problem of Halmos, we obtain a canonical decom- position for complex matrices which are unitarily equivalent to their transpose (UET). Surprisingly, the na¨ove assertion that a matrix is UET if and only if it is unitarily equivalent to a complex symmetric matrix holds for matrices 7×7 and smaller, but fails for matrices 8 × 8 and larger.