Related papers: Sesquilinear forms associated to sequences on Hilb…
We investigate the descriptional complexity of operations on semilinear sets. Roughly speaking, a semilinear set is the finite union of linear sets, which are built by constant and period vectors. The interesting parameters of a semilinear…
In a separable Hilbert space $\mathcal H$, two frames $\{f_i\}_{i \in I}$ and $\{g_i\}_{i \in I}$ are said to be woven if there are constants $0<A \leq B$ so that for every $\sigma \subset I$, $\{f_i\}_{i \in \sigma} \cup \{g_i\}_{i \in…
We study the concept of frame in tensor product of n-Hilbert spaces as tensor product of n-Hilbert spaces is again a n-Hilbert space. We generalize some of the known results about bases to frames in this new Hilbert space. A relationship…
We develop the concept of operators in Hilbert spaces which are similar to their adjoints via antiunitary operators, the latter being not necessarily involutive. We discuss extension theory, refined polar and singular-value decompositions,…
We study two seminal approaches, developed by B. Simon and J. Kisy\'nski, to the well-posedness of the Schr\"odinger equation with a time-dependent Hamiltonian. In both cases the Hamiltonian is assumed to be semibounded from below and to…
Motivated by the recent developments of pseudo-Hermitian quantum mechanics, we analyze the structure generated by unbounded metric operators in a Hilbert space. To that effect, we consider the notions of similarity and quasi-similarity…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…
We study self-adjoint semigroups of partial isometries on a Hilbert space. These semigroups coincide precisely with faithful representations of abstract inverse semigroups. Groups of unitary operators are specialized examples of…
This paper studies frames in Hilbert spaces generated by the orbits of (in)-finitely many vectors under a single operator, presenting new results on multiplication operators and operators composed of Jordan blocks, which generalizes…
Weaving Hilbert space frames have been introduced recently by Bemrose et al. to deal with some problems in distributed signal processing. In this paper, we survey this topic from the viewpoint of the duality principle, so we obtain new…
Similar to linear spaces, many examples of quasilinear spaces have a notion of multiplication of the elements. To characterising these examples, in the present paper we generalize the notion of quasilinear spaces and introduce…
The main purpose of this paper is to present a decomposition theorem for nonnegative sesquilinear forms. The key notion is the short of a form to a linear subspace. This is a generalization of the well-known operator short defined by M. G.…
Frames allow all elements of a Hilbert space to be reconstructed by inner product data in a stable manner. Recently, there is interest in relaxing the definition of frames to understand the implications for stable signal recovery. In this…
The purpose of this paper is to provide tools for analyzing the compactness of sequences in Sobolev spaces, in particular if the sequence gets mapped onto a compact set by some nonlinear operator. Here, our focus lies on a very general…
In this paper, we introduce and study the frames in separable quaternionic Hilbert spaces. Results on the existence of frames in quaternionic Hilbert spaces have been given. Also, a characterization of frame in quaternionic Hilbert spaces…
Our basic structure is a finite-dimensional complex Hilbert space $H$. We point out that the set of effects on $H$ form a convex effect algebra. Although the set of operators on $H$ also form a convex effect algebra, they have a more…
A representation theorem for non-semibounded Hermitian quadratic forms in terms of a (non-semibounded) self-adjoint operator is proven. The main assumptions are closability of the Hermitian quadratic form, the direct integral structure of…
Recently, frame multipliers, pair frames, and controlled frames have been investigated to improve the numerical efficiency of iterative algorithms for inverting the frame operator and other applications of frames. In this paper, the concept…
We provide several perturbation theorems regarding closable operators on a real or complex Hilbert space. In particular we extend some classical results due to Hess--Kato, Kato--Rellich and W\"ust. Our approach involves ranges of matrix…
We develop the theory of frames and Parseval frames for finite-dimensional vector spaces over the binary numbers. This includes characterizations which are similar to frames and Parseval frames for real or complex Hilbert spaces, and the…