Related papers: Computable g- Frames

We define notions of generically and coarsely computable relations and structures and functions between structures. We investigate the existence and uniqueness of equivalence structures in the context of these definitions

A definition of frames for Krein spaces is proposed, which extends the notion of $J$-orthonormal basis of Krein spaces. A $J$-frame for a Krein space $(\HH, \K{\,}{\,})$ is in particular a frame for $\HH$ in the Hilbert space sense. But it…

The concept of ``countable set'' is attributed to Georg Cantor, who set the boundary between countable and uncountable sets in 1874. The concept of ``computable set'' arose in the study of computing models in the 1930s by the founders of…

Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…

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…

In this article we define frame for a Krein space K with a J-orthonormal basis and extend the notion of frame sequence and frame potential analogous to Hilbert spaces.We show that every frame is a sum of three orthonormal bases of a Krein…

In this paper, structural properties of lower semi-frames in separable Hilbert spaces are explored with a focus on transformations under linear operators (may be unbounded). Also, the direct sum of lower semi-frames, providing necessary and…

In mathematics curves are typically defined as the images of continuous real functions (parametrizations) defined on a closed interval. They can also be defined as connected one-dimensional compact subsets of points. For simple curves of…

The concept of operator frame can be considered as a generalization of frame. Firstly, we introduce the notion of operator frame for the set of all adjointable operators $Hom_{\mathcal{A}}^{\ast}(\mathcal{X})$ on a Hilbert…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

Admissible vectors for unitary representations of locally compact groups are the basis for group-frame and covariant coherent state expansions. Main tools in the study of admissible vectors have been Plancherel and central integral…

In this paper, we obtain some new properties of weaving frames and present some conditions under which a family of frames is woven in Hilbert spaces. Some characterizations of weaving frames in terms of operators are given. We also give a…

The concepts of controlled frames and it's dual in n-Hilbert spaces and their tensor products have been introduced and then some of their characterizations are given. We further study the relationship between controlled frame and bounded…

In this paper, we first prove a theorem by a little modification on the Lax-Milgram theorem. Then, using $K$-frames, we obtain lower and upper bounds for the results obtained from this theorem. Also, we present some methods for the…

When can a model of a physical system be regarded as computable? We provide the definition of a computable physical model to answer this question. The connection between our definition and Kreisel's notion of a mechanistic theory is…

This paper is a detailed study of finite-dimensional modules defined on bicomplex numbers. A number of results are proved on bicomplex square matrices, linear operators, orthogonal bases, self-adjoint operators and Hilbert spaces, including…

Solomonoff unified Occam's razor and Epicurus' principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the…

Isomorphisms of separable Hilbert spaces are analogous to isomorphisms of n-dimensional vector spaces. However, while n-dimensional spaces in applications are always realized as the Euclidean space R^n, Hilbert spaces admit various useful…

In computable analysis typically topological spaces with countable bases are considered. The Theorem of Kreitz-Weihrauch implies that the subbase representation of a second-countable $T_0$ space is admissible with respect to the topology…

We study the computational content of the Radon-Nokodym theorem from measure theory in the framework of the representation approach to computable analysis. We define computable measurable spaces and canonical representations of the measures…