Related papers: Effects as functions on projective Hilbert space
In this paper we introduce and study some Hilbert-type operators acting from the function spaces into the sequence spaces. We give some sufficient and necessary conditions for the boundedness and compactness of these Hilbert-type operators.…
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…
In this note, we highlight some properties of the metric projection onto a closed convex in a Hilbert space. In particular, we use some recent results on fixed points of nonexpansive potential operators.
In this paper we study the theory of operators on complex Hilbert spaces, which attain their minimum in the unit sphere. We prove some important results concerning the characterization of the N*, and also AN* operators, see respectively…
In this work, a connection between some spectral properties of direct integral of operators in the direct integral of Hilbert spaces and their coordinate operators has been investigated.
Quantum Iterated Function System on a complex projective space is defined by a family of linear operators on a complex Hilbert space. The operators define both the maps and their probabilities by one algebraic formula. Examples with…
This note comprises a synthesis of certain results in the theory of exact interpolation between Hilbert spaces. In particular, we examine various characterizations of interpolation spaces and their relations to a number of results in…
We discuss a real-valued expansion of any Hermitian operator defined in a Hilbert space of finite dimension N, where N is a prime number, or an integer power of a prime. The expansion has a direct interpretation in terms of the operator…
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 consider integration of functions with values in a partially ordered vector space, and two notions of extension of the space of integrable functions. Applying both extensions to the space of real valued simple functions on a measure…
This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…
In this paper, we investigate the relationship between the Hilbert functions and the associated properties of the graded modules. To attain this, we construct the graded modules from the sets of points in projective space, $\mathbb{P}_k^n$…
Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.
We consider a class of operator-induced norms, acting as finite-dimensional surrogates to the L2 norm, and study their approximation properties over Hilbert subspaces of L2 . The class includes, as a special case, the usual empirical norm…
Sets of bilinear constraints are important in various machine learning models. Mathematically, they are hyperbolas in a product space. In this paper, we give a complete formula for projections onto sets of bilinear constraints or hyperbolas…
Our main theorem is in the generality of the axioms of Hilbert space, and the theory of unbounded operators. Consider two Hilbert spaces such that their intersection contains a fixed vector space D. It is of interest to make a precise…
Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelled as handlers, thus preventing them from being used freely…
Usually, the dynamics of linear time-invariant systems described by an integral operator of convolution type, which is defined in the Hilbert space of Lebesgue square integrable functions on the whole line. Such a description leads to…
The algebra of functions on kappa-Minkowski noncommutative spacetime is studied as algebra of operators on Hilbert spaces. The representations of this algebra are constructed and classified. This new approach leads to a natural construction…
We explore functors between operator space categories, some properties of these functors, and establish relations between objects in these categories and their images under these functors, in particular regarding injectivity and injective…