Related papers: Bounded Point Evaluations For Rationally Multicycl…
Let $P \subset \mathbb{R}^{d}$ be a closed convex cone. Assume that $P$ is pointed, i.e. the intersection $P \cap -P=\{0\}$ and $P$ is spanning, i.e. $P-P=\mathbb{R}^{d}$. Denote the interior of $P$ by $\Omega$. Let $E$ be a product system…
A bounded linear operator $ A$ on a Hilbert space $ \mathcal H $ is said to be an $ EP $ (hypo-$ EP $) operator if ranges of $ A $ and $ A^* $ are equal (range of $ A $ is contained in range of $ A^* $) and $ A $ has a closed range. In this…
Let $\mathcal{H}$ be a separable infinite-dimensional complex Hilbert space and let $\mathcal{J}$ be a two-sided ideal of the algebra of bounded operators $\mathcal{B}(\mathcal{H})$. The groups $\mathcal{G} \ell_\mathcal{J}$ and…
Given a Hilbert space and the generator $A$ of a strongly continuous, exponentially stable, semigroup on this Hilbert space. For any $g(-s) \in {\mathcal H}_{\infty}$ we show that there exists an infinite-time admissible output operator…
In this work we solve, for given bounded operators $B,C$ and Hilbert-Schmidt operator $M$ acting on potentially infinite-dimensional separable Hilbert spaces, the reduced rank approximation problem, $\min\{\lVert M-BXC\rVert_{L_2}:\…
Let $\mathcal{H}$ be a right quaternionic Hilbert space and let $T$ be a bounded normal right quaternionic linear operator on $\mathcal{H}$. In this paper, we prove that there exists a unique spectral measure $E$ in $\mathcal{H}$ such that…
We define the (convex) joint numerical range for an infinite family of compact operators in a Hilbert space H. We use this set to determine whether a self-adjoint compact operator A with {||A||, -||A||} in its spectrum is minimal respect to…
Given a complex, separable Hilbert space $\mathcal{H}$, we characterize those operators for which $\| P T (I-P) \| = \| (I-P) T P \|$ for all orthogonal projections $P$ on $\mathcal{H}$. When $\mathcal{H}$ is finite-dimensional, we also…
We analyse the OPE of any two 1/2 BPS operators of (2,0) SCFT$_6$ by constructing all possible three-point functions that they can form with another, in general long operator. Such three-point functions are uniquely determined by…
We explore the norm attainment set and the minimum norm attainment set of a bounded linear operator between Hilbert spaces and Banach spaces. Indeed, we obtain a complete characterization of both the sets, separately for operators between…
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…
For a linear operator $T$ in a Banach space let $\sigma_p(T)$ denote the point spectrum of $T$, $\sigma_{p[n]}(T)$ for finite $n > 0$ be the set of all $\lambda \in \sigma_p(T)$ such that $\dim \ker (T - \lambda) = n$ and let…
The paper introduces unbounded antilinear operators on Hilbert spaces and develops their fundamental theory. In particular, we establish a closed range theorem, a polar decomposition theorem, and the convexity of the numerical range for…
We give new necessary and sufficient conditions for the numerical range $W(T)$ of an operator $T \in \mathcal{B}(\mathcal{H})$ to be a subset of the closed elliptical set $K_\delta \subseteq \mathbb{C}$ given by \[ K_\delta {\stackrel{\rm…
In this paper we obtain necessary and sufficient conditions for a linear bounded operator in a Hilbert space $H$ to have a three-diagonal complex symmetric matrix with non-zero elements on the first sub-diagonal in an orthonormal basis in…
Let $A$ be a positive bounded operator on a Hilbert space $\big(\mathcal{H}, \langle \cdot, \cdot\rangle \big)$. The semi-inner product ${\langle x, y\rangle}_A := \langle Ax, y\rangle$, $x, y\in\mathcal{H},$ induces a seminorm…
In this article, we prove the following spectral theorem for right linear normal operators (need not to be bounded) in quaternionic Hilbert spaces: Let $T$ be an unbounded right quaternionic linear normal operator in a quaternionic Hilbert…
Researchers have identified complex matrices $A$ such that a bounded linear operator $B$ acting on a Hilbert space will admit a dilation of the form $A \otimes I$ whenever the numerical range inclusion relation $W(B) \subseteq W(A)$ holds.…
Let $H_0$ be a self-adjoint operator on a Hilbert space $\mathcal H$ endowed with a rigging $F,$ which is a zero-kernel closed operator from $\mathcal H$ to another Hilbert space $\mathcal K$ such that the sandwiched resolvent $F (H_0 -…
This paper is a follow-up contribution to our work [20] where we discussed some invariant subspace results for contractions on Hilbert spaces. Here we extend the results of [20] to the context of n-tuples of bounded linear operators on…