Related papers: Model theory of Hilbert spaces expanded by normal …

The \emph{Continuity Problem} is the question whether effective operators are continuous, where an effective operator $F$ is a function on a space of constructively given objects $x$, defined by mapping construction instructions for $x$ to…

Let $X,Y$ be normal bounded operators on a Hilbert space such that $e^X=e^Y$. If the spectra of $X$ and $Y$ are contained in the strip $\s$ of the complex plane defined by $|\Im(z)|\leq \pi$, we show that $|X|=|Y|$. If $Y$ is only assumed…

This paper is a continuation of our previous work \cite{wang2024complex}. It mainly deals with entire operators $T$ with deficiency index 1 \emph{systematically} from the complex-geometric viewpoint proposed in \cite{wang2024complex}. We…

For an invertible linear operator $T$ on a Hilbert space $H$, put \[ \alpha(T^*,T) := -T^{*2}T^2 + (1+r^2) T^* T - r^2 I, \] where $I$ stands for the identity operator on $H$ and $r\in (0,1)$; this expression comes from applying Agler's…

A quasi-Hermitian operator is an operator that is similar to its adjoint in some sense, via a metric operator, i.e., a strictly positive self-adjoint operator. Whereas those metric operators are in general assumed to be bounded, we analyze…

The explicit constructions of minimal isometric, and minimal unitary dilations of an arbitrary linear pencil of operators $T(\lambda)=T_0+\lambda T_1$ consisting of contractions on a separable Hilbert space for $|\lambda |=1$, which…

Let $A_\N$ be the symmetric operator given by the restriction of $A$ to $\N$, where $A$ is a self-adjoint operator on the Hilbert space $\H$ and $\N$ is a linear dense set which is closed with respect to the graph norm on $D(A)$, the…

This is an introduction to the algebras $A\subset B(H)$ that the linear operators $T:H\to H$ can form, once a complex Hilbert space $H$ is given. Motivated by quantum mechanics, we are mainly interested in the von Neumann algebras, which…

Let $\mathscr E$ be a Hilbert $\mathscr A$-module over a $C^*$-algebra $\mathscr A$. For each positive linear functional $\omega$ on $\mathscr A$, we consider the localization $\mathscr E_\omega$ of $\mathscr E$, which is the completion of…

We study Hilbert modular forms in characteristic $p$ and over $p$-adic rings. In the characteristic $p$-theory we describe the kernel and image of the $q$-expansion map and prove the existence of filtration for Hilbert modular forms; we…

We construct a functional model for rank one perturbations of compact normal operators acting in a certain Hilbert spaces of entire functions generalizing de Branges spaces. Using this model we study completeness and spectral synthesis…

For a separable complex Hilbert space $H$, we say that a bounded linear operator $T$ acting on $H$ is $C$-normal, where $C$ is a conjugation on $H$, if it satisfies $CT^*TC=TT^*$. For a normal operator, we give geometric conditions which…

We extend the symbol calculus and study the limit operator theory for $\sigma$-compact, \'{e}tale and amenable groupoids, in the Hilbert space case. This approach not only unifies various existing results which include the cases of exact…

We introduce compactness classes of Hilbert space operators by grouping together all operators for which the associated singular values decay at a certain speed and establish upper bounds for the norm of the resolvent of operators belonging…

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…

Given Hilbert space operators $P,T\in B(\H), P\geq 0$ invertible, $T$ is $(m,P)-$ expansive (resp., $(m,P)-$ isometric) for some positive integer $m$ if…

We shall say that a densely defined closed operator $T$ on a Hilbert space is balanced if $\cD(T)=\cD(T^*)$. Balanced operators are described in terms of their phase operators abnd their moduli. Examples of balanced operators are developed.…

We show that any bounded operator $T$ on a separable, reflexive, infinite-dimensional Banach space $X$ admits a rank one perturbation which has an invariant subspace of infinite dimension and codimension. In the non-reflexive spaces, we…

We say that a complex number $\lambda$ is an extended eigenvalueof a bounded linear operator T on a Hilbert space H if there exists anonzero bounded linear operator X acting on H, called extended eigen-vector associated to $\lambda$, and…

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…