Showing papers in "arXiv: Functional Analysis in 2016"

Splines are Universal Solutions of Linear Inverse Problems with Generalized-TV regularization

Abstract: Splines come in a variety of flavors that can be characterized in terms of some differential operator L. The simplest piecewise-constant model corresponds to the derivative operator. Likewise, one can extend the traditional notion of total variation by considering more general operators than the derivative. This leads us to the definition of the generalized Beppo-Levi space M, which is further identified as the direct sum of two Banach spaces. We then prove that the minimization of the generalized total variation (gTV) over M, subject to some arbitrary (convex) consistency constraints on the linear measurements of the signal, admits nonuniform L-spline solutions with fewer knots than the number of measurements. This shows that non-uniform splines are universal solutions of continuous-domain linear inverse problems with LASSO, L1, or TV-like regularization constraints. Remarkably, the spline-type is fully determined by the choice of L and does not depend on the actual nature of the measurements.

Unbounded Norm Convergence in Banach Lattices

Abstract: A net $(x_\alpha)$ in a vector lattice $X$ is unbounded order convergent to $x \in X$ if $\lvert x_\alpha - x\rvert \wedge u$ converges to $0$ in order for all $u\in X_+$. This convergence has been investigated and applied in several recent papers by Gao et al. It may be viewed as a generalization of almost everywhere convergence to general vector lattices. In this paper, we study a variation of this convergence for Banach lattices. A net $(x_\alpha)$ in a Banach lattice $X$ is unbounded norm convergent to $x$ if $\lVert\lvert x_\alpha - x\rvert \wedge u\rVert\to 0$ for all $u\in X_+$. We show that this convergence may be viewed as a generalization of convergence in measure. We also investigate its relationship with other convergences.

Equiangular tight frames from hyperovals

Abstract: An equiangular tight frame (ETF) is a set of equal norm vectors in a Euclidean space whose coherence is as small as possible, equaling the Welch bound. Also known as Welch-bound-equality sequences, such frames arise in various applications, such as waveform design, quantum information theory, compressed sensing and algebraic coding theory. ETFs seem to be rare, and only a few methods of constructing them are known. In this paper, we present a new infinite family of complex ETFs that arises from hyperovals in finite projective planes. In particular, we give the first ever construction of a complex ETF of 76 vectors in a space of dimension 19. Recently, a computer-assisted approach was used to show that real ETFs of this size do not exist, resolving a longstanding open problem in this field. Our construction is a modification of a previously known technique for constructing ETFs from balanced incomplete block designs.

The essential spectrum of the Neumann--Poincare operator on a domain with corners

Abstract: Exploiting the homogeneous structure of a wedge in the complex plane, we compute the spectrum of the anti-linear Ahlfors-Beurling transform acting on the associated Bergman space. Consequently, the similarity equivalence between the Ahlfors-Beurling transform and the Neumann-Poincare operator provides the spectrum of the latter integral operator on a wedge. A localization technique and conformal mapping lead to the first complete description of the essential spectrum of the Neumann-Poincare operator on a planar domain with corners, with respect to the energy norm of the associated harmonic field.

Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization

Abstract: Containment problems for polytopes and spectrahedra appear in various applications, such as linear and semidefinite programming, combinatorics, convexity and stability analysis of differential equations. This paper explores the theoretical background of a method proposed by Ben-Tal and Nemirovksi. Their method provides a strengthening of the containment problem, that is algorithmically well tractable. To analyze this method, we study abstract operator systems, and investigate when they have a finite-dimensional concrete realization. Our results give some profound insight into their approach. They imply that when testing the inclusion of a fixed polyhedral cone in an arbitrary spectrahedron, the strengthening is tight if and only if the polyhedral cone is a simplex. This is true independent of the representation of the polytope. We also deduce error bounds in the other cases, simplifying and extending recent results by various authors.

Analysis of time-frequency scattering transforms

Abstract: In this paper we address the problem of constructing a feature extractor which combines Mallat's scattering transform framework with time-frequency (Gabor) representations. To do this, we introduce a class of frames, called uniform covering frames, which includes a variety of semi-discrete Gabor systems. Incorporating a uniform covering frame with a neural network structure yields the Fourier scattering transform $\mathcal{S}_\mathcal{F}$ and the truncated Fourier scattering transform. We prove that $\mathcal{S}_\mathcal{F}$ propagates energy along frequency decreasing paths and its energy decays exponentially as a function of the depth. These quantitative estimates are fundamental in showing that $\mathcal{S}_\mathcal{F}$ satisfies the typical scattering transform properties, and in controlling the information loss due to width and depth truncation. We introduce the fast Fourier scattering transform algorithm, and illustrate the algorithm's performance. The time-frequency covering techniques developed in this paper are flexible and give insight into the analysis of scattering transforms.

Metric Characterizations of Some Classes of Banach Spaces

Abstract: The main purpose of the paper is to present some recent results on metric characterizations of superreflexivity and the Radon–Nikodým property.

A Generalized Krein-Rutman Theorem

Abstract: A generalized Krein-Rutman theorem for a strongly positive bounded linear operator whose spectral radius is larger than essential spectral radius is established: the spectral radius of the operator is an algebraically simple eigenvalue with strongly positive eigenvector and other eigenvalues are less than the spectral radius.

Phase retrieval in the general setting of continuous frames for Banach spaces

Abstract: We develop a novel and unifying setting for phase retrieval problems that works in Banach spaces and for continuous frames and consider the questions of uniqueness and stability of the reconstruction from phaseless measurements. Our main result states that also in this framework, the problem of phase retrieval is never uniformly stable in infinite dimensions. On the other hand, we show weak stability of the problem. This complements recent work [9], where it has been shown that phase retrieval is always unstable for the setting of discrete frames in Hilbert spaces. In particular, our result implies that the stability properties cannot be improved by oversampling the underlying discrete frame. We generalize the notion of complement property (CP) to the setting of continuous frames for Banach spaces (over $\mathbb{K}=\mathbb{R}$ or $\mathbb{K}=\mathbb{C}$) and verify that it is a necessary condition for uniqueness of the phase retrieval problem; when $\mathbb{K}=\mathbb{R}$ the CP is also sufficient for uniqueness. In our general setting, we also prove a conjecture posed by Bandeira et al. [5], which was originally formulated for finite-dimensional spaces: for the case $\mathbb{K}=\mathbb{C}$ the strong complement property (SCP) is a necessary condition for stability. To prove our main result, we show that the SCP can never hold for frames of infinite-dimensional Banach spaces.

Sampling Theorems for Shift-invariant Spaces, Gabor Frames, and Totally Positive Functions

Abstract: We study nonuniform sampling in shift-invariant spaces and the construction of Gabor frames with respect to the class of totally positive functions whose Fourier transform factors as $ \hat g(\xi)= \prod_{j=1}^n (1+2\pi i\delta_j\xi)^{-1} \, e^{-c \xi^2}$ for $\delta_1,\ldots,\delta_n\in \mathbb{R}, c >0$ (in which case $g$ is called totally positive of Gaussian type). In analogy to Beurling's sampling theorem for the Paley-Wiener space of entire functions, we prove that every separated set with lower Beurling density $>1$ is a sampling set for the shift-invariant space generated by such a $g$. In view of the known necessary density conditions, this result is optimal and validates the heuristic reasonings in the engineering literature. Using a subtle connection between sampling in shift-invariant spaces and the theory of Gabor frames, we show that the set of phase-space shifts of $g$ with respect to a rectangular lattice $\alpha \mathbb{Z} \times \beta \mathbb{Z}$ forms a frame, if and only if $\alpha \beta <1$. This solves an open problem going back to Daubechies in 1990 for the class of totally positive functions of Gaussian type. The proof strategy involves the connection between sampling in shift-invariant spaces and Gabor frames, a new characterization of sampling sets "without inequalities" in the style of Beurling, new properties of totally positive functions, and the interplay between zero sets of functions in a shift-invariant space and functions in the Bargmann-Fock space.

Embeddings of decomposition spaces

Abstract: Many smoothness spaces in harmonic analysis are decomposition spaces. In this paper we ask: Given two decomposition spaces, is there an embedding between the two? A decomposition space $\mathcal{D}(\mathcal{Q}, L^p, Y)$ can be described using : a covering $\mathcal{Q}=(Q_{i})_{i\in I}$ of the frequency domain, an exponent $p$ and a sequence space $Y\subset\mathbb{C}^{I}$. Given these, the decomp. space norm of a distribution $g$ is $\| g\| _{\mathcal{D}(\mathcal{Q}, L^p, Y)}=\left\| \left(\left\| \mathcal{F}^{-1}\left(\varphi_{i}\widehat{g}\right)\right\| _{L^{p}}\right)_{i\in I}\right\| _{Y}$, where $(\varphi_{i})_{i\in I}$ is a suitable partition of unity for $\mathcal{Q}$. We establish readily verifiable criteria which ensure an embedding $\mathcal{D}(\mathcal{Q}, L^{p_1}, Y)\hookrightarrow\mathcal{D}(\mathcal{P}, L^{p_2}, Z)$, mostly concentrating on the case, $Y=\ell_{w}^{q_{1}}(I)$ and $Z=\ell_{v}^{q_{2}}(J)$. The relevant sufficient conditions are $p_{1}\leq p_{2}$, and finiteness of a norm of the form \[ \left\| \left(\left\| (\alpha_{i}\,\beta_j \cdot v_{j}/w_{i})_{i\in I_{j}}\right\| _{\ell^{t}}\right)_{j\in J}\right\| _{\ell^{s}}<\infty, \] where the \[ I_{j}=\{ i\in I : Q_{i}\cap P_{j} eq\emptyset\} \qquad\text{ for }j\in J \] are defined in terms of the two coverings $\mathcal{Q}=(Q_{i})_{i\in I}$ and $\mathcal{P}=(P_{j})_{j\in J}$. We also show that these criteria are sharp: For almost arbitrary coverings and certain ranges of $p_{1},p_{2}$, our criteria yield a complete characterization. The same holds for arbitrary values of $p_{1},p_{2}$ under more strict assumptions on the coverings. We illustrate the resulting theory by applications to $\alpha$-modulation and Besov spaces. All known embedding results for these spaces are special cases of our approach; often, we improve considerably upon the state of the art.

On a minimax theorem: an improvement, a new proof and an overview of its applications

Abstract: Theorem 1 of [14], a minimax result for functions $f:X\times Y\to {\bf R}$, where $Y$ is a real interval, was partially extended to the case where $Y$ is a convex set in a Hausdorff topological vector space ([15], Theorem 3.2). In doing that, a key tool was a partial extension of the same result to the case where $Y$ is a convex set in ${\bf R}^n$ ([7], Theorem 4.2). In the present paper, we first obtain a full extension of the result in [14] by means of a new proof fully based on the use of the result itself via an inductive argument. Then, we present an overview of the various and numerous applications of these results.

Hilbert space hypocoercivity for the Langevin dynamics revisited

Abstract: We provide a complete elaboration of the $L^2$-Hilbert space hypocoercivity theorem for the degenerate Langevin dynamics via studying the longtime behavior of the strongly continuous contraction semigroup solving the associated Kolmogorov (backward) equation as an abstract Cauchy problem. This hypocoercivity result is proven in previous works before by Dolbeault, Mouhot and Schmeiser in the corresponding dual Fokker-Planck framework, but without including domain issues of the appearing operators. In our elaboration, we include the domain issues and additionally compute the rate of convergence in dependence of the damping coefficient. Important statements for the complete elaboration are the m-dissipativity results for the Langevin operator established by Conrad and the first named author of this article as well as the essential selfadjointness results for generalized Schrodinger operators by Wielens or Bogachev, Krylov and Rockner. We emphasize that the chosen Kolmogorov approach is natural. Indeed, techniques from the theory of (generalized) Dirichlet forms imply a stochastic representation of the Langevin semigroup as the transition kernel of diffusion process which provides a martingale solution to the Langevin equation. Hence an interesting connection between the theory of hypocoercivity and the theory of (generalized) Dirichlet forms is established besides.

Density of Sampling and Interpolation in Reproducing Kernel Hilbert Spaces

Abstract: We derive necessary density conditions for sampling and for interpolation in general reproducing kernel Hilbert spaces satisfying some natural conditions on the geometry of the space and the reproducing kernel. If the volume of shells is small compared to the volume of balls (weak annular decay property) and if the kernel possesses some off-diagonal decay or even some weaker form of localization, then there exists a critical density $D$ with the following property: a set of sampling has density $\geq D$, whereas a set of interpolation has density $\leq D$. The main theorem unifies many known density theorems in signal processing, complex analysis, and harmonic analysis. For the special case of bandlimited function we recover Landau's fundamental density result. In complex analysis we rederive a critical density for generalized Fock spaces. In harmonic analysis we obtain the first general result about the density of coherent frames.

On the norm attainment set of a bounded linear operator

Abstract: In this paper we explore the properties of a bounded linear operator defined on a Banach space, in light of operator norm attainment. Using Birkhoff-James orthogonality techniques, we give a necessary condition for a bounded linear operator attaining norm at a particular point of the unit sphere. We prove a number of corollaries to establish the importance of our study. As part of our exploration, we also obtain a characterization of smooth Banach spaces in terms of operator norm attainment and Birkhoff-James orthogonality. Restricting our attention to $ l_{p}^{2} (p \in \mathbb{N}\setminus \{ 1 \})$ spaces, we obtain an upper bound for the number of points at which any linear operator, which is not a scalar multiple of an isometry, may attain norm.

A generalization of the exponential sampling series and its approximation properties

Abstract: Here we introduce a generalization of the exponential sampling series of optical physics and establish pointwise and uniform convergence theorem, also in a quantitative form. Moreover we compare the error of approximation for Mellin band-limited functions using both classical and generalized exponential sampling series.

A generalization of Kantorovich operators for convex compact subsets

Abstract: In this paper we introduce and study a new sequence of positive linear operators acting on function spaces defined on a convex compact subset. Their construction depends on a given Markov operator, a positive real number and a sequence of probability Borel measures. By considering special cases of these parameters for particular convex compact subsets we obtain the classical Kantorovich operators defined in the one-dimensional and multidimensional setting together with several of their wide-ranging generalizations scattered in the literature. We investigate the approximation properties of these operators by also providing several estimates of the rate of convergence. Finally, the preservation of Lipschitz-continuity as well as of convexity are discussed

Almost square and octahedral norms in tensor products of Banach spaces

Abstract: The aim of this note is to study some geometrical properties like diameter two properties, octahedrality and almost squareness in the setting of (symmetric) tensor product spaces. In particular, we show that the injective tensor product of two octahedral Banach spaces is always octahedral, the injective tensor product of an almost square Banach space with any Banach space is almost square, and the injective symmetric tensor product of an octahedral Banach space is octahedral.

Towards sharp Bohnenblust--Hille constants

Abstract: We investigate the optimality problem associated with the best constants in a class of Bohnenblust--Hille type inequalities for $m$--linear forms. While germinal estimates indicated an exponential growth, in this work we provide strong evidences to the conjecture that the sharp constants in the classical Bohnenblust--Hille inequality are universally bounded, irrespectively of the value of $m$; hereafter referred as the \textit{Universality Conjecture}. In our approach, we introduce the {notions of entropy and complexity}, designed to measure, to some extent, the complexity of such optimization problems. We show that the notion of entropy is critically connected to the Universality Conjecture; for instance, that if the entropy grows at most exponentially with respect to $m$, then the optimal constants of the $m$% --linear Bohnenblust--Hille inequality for real scalars are indeed bounded universally in $m$. It is likely that indeed the entropy grows as $4^{m-1}$, and in this scenario, we show that the optimal constants are precisely $2^{1-\frac{1}{m}} $. In the bilinear case, $m=2$, we show that any extremum of the Littlewood's $4/3$-inequality has entropy $4$ and complexity $2$, and thus we are able to classify all extrema of the problem. We also prove that, for any mixed $\left( \ell _{1},\ell _{2}\right) $% --Littlewood inequality, the entropy do grow exponentially and the sharp constants for such a class of inequalities are precisely $(\sqrt{2})^{m-1}$. In addition to the {notions of entropy and complexity}, the approach we develop in this work makes decisive use of a family of strongly non-symmetric $m$--linear forms, which has further consequences to the theory, as we explain herein.

Linear extension operators between spaces of Lipschitz maps and optimal transport

Abstract: Motivated by the notion of K-gentle partition of unity introduced in [12] and the notion of K-Lipschitz retract studied in [17], we study a weaker notion related to the Kantorovich-Rubinstein transport distance, that we call K-random projection. We show that K-random projections can still be used to provide linear extension operators for Lipschitz maps. We also prove that the existence of these random projections is necessary and sufficient for the existence of weak* continuous operators. Finally we use this notion to characterize the metric spaces (X, d) such that the free space F(X) has the bounded approximation propriety.

Representations of $p$-convolution algebras on $L^q$-spaces

Abstract: For a nontrivial locally compact group $G$, and $p\in [1,\infty)$, consider the Banach algebras of $p$-pseudofunctions, $p$-pseudomeasures, $p$-convolvers, and the full group $L^p$-operator algebra. We show that these Banach algebras are operator algebras if and only if $p=2$. More generally, we show that for $q\in [1,\infty)$, these Banach algebras can be represented on an $L^q$-space if and only if one of the following holds: (a) $p=2$ and $G$ is abelian; or (b) $|\frac 1p - \frac 12|=|\frac 1q - \frac 12|$. This result can be interpreted as follows: for $p,q\in [1,\infty)$, the $L^p$- and $L^q$-representation theories of a group are incomparable, except in the trivial cases when they are equivalent. As an application, we show that, for distinct $p,q\in [1,\infty)$, if the $L^p$ and $L^q$ crossed products of a topological dynamical system are isomorphic, then $\frac 1p + \frac 1q=1$. In order to prove this, we study the following relevant aspects of $L^p$-crossed products: existence of approximate identities, duality with respect to $p$, and existence of canonical isometric maps from group algebras into their multiplier algebras.

Anisotropic $L^{2}$-weighted Hardy and $L^{2}$-Caffarelli-Kohn-Nirenberg inequalities

Abstract: updated version, to appear in Commun Contemp Math arXiv admin note: text overlap with arXiv:160406702

Exponential decay of scattering coefficients

Abstract: We study an aspect of the following general question: which properties of a signal can be characterized by its scattering transform? We show that the energy contained in high order scattering coefficients is upper bounded by the energy contained in the high frequencies of the signal This result links the decay of the scattering coefficients of a signal with the decay of its Fourier transform Additionally, it allows to generalize some results of Mallat (2012), by relaxing the admissibility condition on the wavelet family

A pointwise characterization of the subdifferential of the total variation functional

Abstract: We derive a new pointwise characterization of the subdifferential of the total variation (TV) functional. It involves a full trace operator which maps certain $ L^q $ - vectorfields to integrable functions with respect to the total variation measure of the derivative of a bounded variation function. This full trace operator extents a notion of normal trace, frequently used, for example, to characterize the total variation flow.

Some identities and inequalities for Hilbert-Schmidt frames

Abstract: In this paper we establish Parseval type identities and surprising new inequalities for Hilbert-Schmidt frames. Our results generalize and improve the remarkable results which have been obtained by Balan et al. and G{\u{a}}vru{\c{t}}a.

Stable Phase Retrieval in Infinite Dimensions

Abstract: The problem of phase retrieval is to determine a signal $f\in \mathcal{H}$, with $\mathcal{H}$ a Hilbert space, from intensity measurements $|F(\omega)|$, where $F(\omega):=\langle f , \varphi_\omega\rangle$ are measurements of $f$ with respect to a measurement system $(\varphi_\omega)_{\omega\in \Omega}\subset \mathcal{H}$. Although phase retrieval is always stable in the finite dimensional setting whenever it is possible (i.e. injectivity implies stability for the inverse problem), the situation is drastically different if $\mathcal{H}$ is infinite-dimensional: in that case phase retrieval is never uniformly stable [8, 4]; moreover the stability deteriorates severely in the dimension of the problem [8]. On the other hand, all empirically observed instabilities are of a certain type: they occur whenever the function $|F|$ of intensity measurements is concentrated on disjoint sets $D_j\subset \Omega$, i.e., when $F= \sum_{j=1}^k F_j$ where each $F_j$ is concentrated on $D_j$ (and $k \geq 2$). Motivated by these considerations we propose a new paradigm for stable phase retrieval by considering the problem of reconstructing $F$ up to a phase factor that is not global, but that can be different for each of the subsets $D_j$, i.e., recovering $F$ up to the equivalence $$ F \sim \sum_{j=1}^k e^{i \alpha_j} F_j.$$ We present concrete applications (for example in audio processing) where this new notion of stability is natural and meaningful and show that in this setting stable phase retrieval can actually be achieved, for instance if the measurement system is a Gabor frame or a frame of Cauchy wavelets.

Embeddings of Decomposition Spaces into Sobolev and BV Spaces

Abstract: In the present paper, we investigate whether an embedding of a decomposition space $\mathcal{D}\left(\mathcal{Q},L^{p},Y\right)$ into a given Sobolev space $W^{k,q}(\mathbb{R}^{d})$ exists. As special cases, this includes embeddings into Sobolev spaces of (homogeneous and inhomogeneous) Besov spaces, ($\alpha$)-modulation spaces, shearlet smoothness spaces and also of a large class of wavelet coorbit spaces, in particular of shearlet-type coorbit spaces. Precisely, we will show that under extremely mild assumptions on the covering $\mathcal{Q}=\left(Q_{i}\right)_{i\in I}$, we have $\mathcal{D}\left(\mathcal{Q},L^{p},Y\right)\hookrightarrow W^{k,q}(\mathbb{R}^{d})$ as soon as $p\leq q$ and $Y\hookrightarrow\ell_{u^{\left(k,p,q\right)}}^{q^{\triangledown}}\left(I\right)$ hold. Here, $q^{\triangledown}=\min\left\{ q,q'\right\} $ and the weight $u^{\left(k,p,q\right)}$ can be easily computed, only based on the covering $\mathcal{Q}$ and on the parameters $k,p,q$. Conversely, a necessary condition for existence of the embedding is that $p\leq q$ and $Y\cap\ell_{0}\left(I\right)\hookrightarrow\ell_{u^{\left(k,p,q\right)}}^{q}\left(I\right)$ hold, where $\ell_{0}\left(I\right)$ denotes the space of finitely supported sequences on $I$. All in all, for the range $q \in (0,2]\cup\{\infty\}$, we obtain a complete characterization of existence of the embedding in terms of readily verifiable criteria. We can also completely characterize existence of an embedding of a decomposition space into a BV space.

Composition Operators on Bohr-Bergman Spaces of Dirichlet Series

Abstract: For $\alpha \in \mathbb{R}$, let $\mathscr{D}_\alpha$ denote the scale of Hilbert spaces consisting of Dirichlet series $f(s) = \sum_{n=1}^\infty a_n n^{-s}$ that satisfy $\sum_{n=1}^\infty |a_n|^2/[d(n)]^\alpha 0$. These composition operators are generated by functions of the form $\Phi(s) = c_0 s + \varphi(s)$, where $c_0$ is a nonnegative integer and $\varphi(s)$ is a Dirichlet series with certain convergence and mapping properties. For the operators with $c_0=0$ a new phenomenon is discovered: If $0 1$, the space $\mathscr{D}_\alpha$ is mapped into a larger space in the same scale. Moreover, a partial description of the composition operators on the Dirichlet--Bergman spaces $\mathscr{A}^p$ for $1 \leq p < \infty$ are obtained, in addition to new partial results for composition operators on the Dirichlet--Hardy spaces $\mathscr{H}^p$ when $p$ is an odd integer.

Orthogonality and parallelism of operators on various Banach spaces

Abstract: We present some properties of orthogonality and relate them with support disjoint and norm inequalities in p Schatten ideals. In addition, we investigate the problem of characterization of norm parallelism for bounded linear operators. We consider the characterization of norm parallelism problem in p Schatten ideals and locally uniformly convex spaces. Later on, we study the case when an operator is norm parallel to the identity operator. Finally, we give some equivalence assertions about the norm parallelism of compact operators. Some applications and generalizations are discussed for certain operators.

Super-resolution by means of Beurling minimal extrapolation

Abstract: Let $M(\mathbb{T}^d)$ be the space of complex bounded Radon measures defined on the $d$-dimensional torus group $(\mathbb{R}/\mathbb{Z})^d=\mathbb{T}^d$, equipped with the total variation norm $\|\cdot\|$; and let $\hat\mu$ denote the Fourier transform of $\mu\in M(\mathbb{T}^d)$. We address the super-resolution problem: For given spectral (Fourier transform) data defined on a finite set $\Lambda\subset\mathbb{Z}^d$, determine if there is a unique $\mu\in M(\mathbb{T}^d)$ of minimal norm for which $\hat\mu$ equals this data on $\Lambda$. Without additional assumptions on $\mu$ and $\Lambda$, our main theorem shows that the solutions to the super-resolution problem, which we call minimal extrapolations, depend crucially on the set $\Gamma\subset\Lambda$, defined in terms of $\mu$ and $\Lambda$. For example, when $\Gamma=0$, the minimal extrapolations are singular measures supported in the zero set of an analytic function, and when $\Gamma\geq 2$, the minimal extrapolations are singular measures supported in the intersection of $\Gamma\choose 2$ hyperplanes. By theory and example, we show that the case $\Gamma=1$ is different from other cases and is deeply connected with the existence of positive minimal extrapolations. This theorem has implications to the possibility and impossibility of uniquely recovering $\mu$ from $\Lambda$. We illustrate how to apply our theory to both directions, by computing pertinent analytical examples. These examples are of interest in both super-resolution and deterministic compressed sensing. Our concept of an admissibility range fundamentally connects Beurling's theory of minimal extrapolation with Candes and Fernandez-Granda's work on super-resolution. This connection is exploited to address situations where current algorithms fail to compute a numerical solution to the super-resolution problem.