Related papers: A quantitative notion of redundancy for infinite f…
Hybrid inverse problems are mathematical descriptions of coupled-physics (also called multi-waves) imaging modalities that aim to combine high resolution with high contrast. The solution of a high-resolution inverse problem, a first step…
We characterize the frames on an infinite dimensional separable Hilbert space that can be projected to a tight frame for an infinite dimensional subspace. A result of Casazza and Leon states that an arbitrary frame for a 2N- or…
The task of reconstructing a matrix given a sample of observedentries is known as the matrix completion problem. It arises ina wide range of problems, including recommender systems, collaborativefiltering, dimensionality reduction, image…
We introduce a hierarchy of degree structures between the Medvedev and Muchnik lattices which allow varying amounts of non-uniformity. We use these structures to introduce the notion of the uniformity of a Muchnik reduction, which expresses…
Thye theory of frames for a Hilbert space plays a fundamental role in signal processing, image processing, data compression, sampling theory and much more, as well as being a fruitful area of research in abstract mathematics. In this…
Loosely speaking, a semi-frame is a generalized frame for which one of the frame bounds is absent. More precisely, given a total sequence in a Hilbert space, we speak of an upper (resp. lower) semi-frame if only the upper (resp. lower)…
It is proposed that the Dirac equation, as normally interpreted, incorporates intrinsic redundancies whose removal necessarily leads to an enormous gain in calculating power and physical interpretation. Streamlined versions of the Dirac…
Large statically indeterminate truss and frame structures exhibit complex load-bearing behavior, and redundancy matrices are helpful for their analysis and design. Depending on the task, the full redundancy matrix or only its diagonal…
We identify a notion of reducibility between predicates, called instance reducibility, which commonly appears in reverse constructive mathematics. The notion can be generally used to compare and classify various principles studied in…
Generalized versions of the entropic (Hirschman-Beckner) and support (Elad-Bruckstein) uncertainty principle are presented for frames representations. Moreover, a sharpened version of the support inequality has been obtained by introducing…
Finite frame quantization is a discrete version of the coherent state quantization. In the case of a quantum system with finite-dimensional Hilbert space, the finite frame quantization allows us to associate a linear operator to each…
The task of inferring logical formulas from examples has garnered significant attention as a means to assist engineers in creating formal specifications used in the design, synthesis, and verification of computing systems. Among various…
The notion of controlled frames for Hilbert spaces were introduced by Balazs, Antoine and Grybos to improve the numerical efficiency of iterative algorithms for inverting the frame operator. Controlled Frame Theory has a great revolution in…
We reassess the problem of separability of the kinematic Hilbert space in loop quantum gravity under a new mathematical point of view. We use the formalism of frames, a tool used in signal analysis, in order to remove the redundancy of the…
A sequence $\{g_k\}_{k=1}^\infty$ in a Hilbert space $\cal H$ has the expansion property if each $f\in \overline{\text{span}} \{g_k\}_{k=1}^\infty$ has a representation $f= \sum_{k=1}^\infty c_k g_k$ for some scalar coefficients $c_k.$ In…
An exact phase-retrievable frame $\{f_{i}\}_{i}^{N}$ for an $n$-dimensional Hilbert space is a phase-retrievable frame that fails to be phase-retrievable if any one element is removed from the frame. Such a frame could have different…
Linearity and ramification constraints have been widely used to weaken higher-order (primitive) recursion in such a way that the class of representable functions equals the class of polytime functions. We show that fine-tuning these two…
We investigate the theory of finite observables, i.e., resolutions of the finite-dimensional identity by means of positive operators, that have a physical interpretation in terms of measurement schemes. We focus on extremal and rank-one…
The goal of the present paper is to extend the theory of frames for countably generated Hilbert $C^*$-modules over arbitrary $C^*$-algebras. In investigating the non-unital case we introduce the concept of outer frame as a sequence in the…
We describe a framework for reformulating and solving optimization problems that generalizes the well-known framework originally introduced by Benders. We discuss details of the application of the procedures to several classes of…