Functional Analysis (math.FA)

  • PDF
    During the process of writing the manuscript ["Continuous warped time-frequency representations - Coorbit spaces and discretization", N. Holighaus, C. Wiesmeyr and P. Balazs], the work ["Continuous Frames, Function Spaces and the Discretization Problem" by M. Fornasier and H. Rauhut - (1)] was one of the major foundations of our results and, naturally, we found ourselves going back to reading that contribution once and again. In particular in Section 5, which is concerned with the discretization problem, we have found some typographical errors, small inaccuracies and some parts that we just would have wished to be slightly more accessible. Finally, for our own theory, a generalization of a central definition required us to verify that all the derivations in Section 5 of (1) still hold after the necessary modifications. Considering the importance of the results in (1) for the community, this was reason enough to start this side project of re-writing that least accessible portion of Fornasier and Rauhut's manuscript, eliminating the errors we found, adding annotations where we consider them useful and modifying the results to take into account the generalization we require for our own work. What you see is the result of our endeavor, a one-to-one substitute for Section 5 in (1).
  • PDF
    We discuss several polynomial cluster value theorems for uniform algebras $H(B)$ between $A_u(B)$ and $H^{\infty}(B)$, for $B$ the open unit ball of a complex Banach space $X$. In passing, we also obtain some results about the original cluster value problem. Examples of spaces $X$ considered here are spaces of continuous functions, $\ell_1$ and uniformly convex spaces.
  • PDF
    We show that Müntz spaces, as subspaces of $C[0,1]$, contain asymptotically isometric copies of $c_0$ and that their dual spaces are octahedral.
  • PDF
    For a conditional quasi-greedy basis $\mathcal{B}$ in a Banach space the associated conditionality constants $k_{m}[\mathcal{B}]$ verify the estimate $k_{m}[\mathcal{B}]=\mathcal{O}(\log m)$. Answering a question raised by Temlyakov, Yang, and Ye, several authors have studied whether this bound can be improved when we consider quasi-greedy bases in some special class of spaces. It is known that every quasi-greedy basis in a superreflexive Banach space verifies $k_{m}[\mathcal{B}]=(\log m)^{1-\epsilon}$ for some $0<\epsilon<1$, and this is optimal. Our first goal in this paper will be to fill the gap in between the general case and the superreflexive case and investigate the growth of the conditionality constants in non-superreflexive spaces. Roughly speaking, the moral will be that we can guarantee optimal bounds only for quasi-greedy bases in superreflexive spaces. We prove that if a Banach space $\mathbb{X}$ is not superreflexive then there is a quasi-greedy basis $\mathcal{B}$ in a Banach space $\mathbb{Y}$ finitely representable in $\mathbb{X}$ with $k_{m}[\mathcal{B}] \approx \log m$. As a consequence we obtain that for every $2<q<\infty$ there is a Banach space $\mathbb{X}$ of type $2$ and cotype $q$ possessing a quasi-greedy basis $\mathcal{B}$ with $k_{m}[\mathcal{B}] \approx \log m$. We also tackle the corresponding problem for Schauder bases and show that if a space is non-superreflexive then it possesses a basic sequence $\mathcal{B}$ with $k_m[\mathcal{B}]\approx m$.
  • PDF
    This paper concerns the problem of recovering an unknown but structured signal $x \in R^n$ from $m$ quadratic measurements of the form $y_r=|<a_r,x>|^2$ for $r=1,2,...,m$. We focus on the under-determined setting where the number of measurements is significantly smaller than the dimension of the signal ($m<<n$). We formulate the recovery problem as a nonconvex optimization problem where prior structural information about the signal is enforced through constrains on the optimization variables. We prove that projected gradient descent, when initialized in a neighborhood of the desired signal, converges to the unknown signal at a linear rate. These results hold for any constraint set (convex or nonconvex) providing convergence guarantees to the global optimum even when the objective function and constraint set is nonconvex. Furthermore, these results hold with a number of measurements that is only a constant factor away from the minimal number of measurements required to uniquely identify the unknown signal. Our results provide the first provably tractable algorithm for this data-poor regime, breaking local sample complexity barriers that have emerged in recent literature. In a companion paper we demonstrate favorable properties for the optimization problem that may enable similar results to continue to hold more globally (over the entire ambient space). Collectively these two papers utilize and develop powerful tools for uniform convergence of empirical processes that may have broader implications for rigorous understanding of constrained nonconvex optimization heuristics. The mathematical results in this paper also pave the way for a new generation of data-driven phase-less imaging systems that can utilize prior information to significantly reduce acquisition time and enhance image reconstruction, enabling nano-scale imaging at unprecedented speeds and resolutions.
  • PDF
    We consider harmonic maps on simply connected Riemann surfaces into the group $\mathrm{U}(n)$ of unitary matrices of order $n$. It is known that a harmonic map with an associated algebraic extended solution can be deformed into a new harmonic map that has an $S^1$-invariant associated extended solution. We study this deformation in detail and show that the corresponding unitons are smooth functions of the deformation parameter and real analytic along any line through the origin.

Recent comments

Marco Tomamichel Jun 25 2013 05:41 UTC

This is a very nice solution to our (very recent) conjecture. We have in the meantime solved the remaining conjectures and will post an update soon.