Related papers: A Review on Realization Theory for Infinite-Dimens…

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 short note we use ideas from systems theory to define a functional calculus for infinitesimal generators of strongly continuous semigroups on a Hilbert space. Among others, we show how this leads to new proofs of (known) results in…

A realization is a triple, $(A,b,c)$, consisting of a $d-$tuple, $A= (A =_1, \cdots, A_d )$, $d\in \mathbb{N}$, of bounded linear operators on a separable, complex Hilbert space, $\mathcal{H}$, and vectors $b,c \in \mathcal{H}$. Any such…

The realization theorem asserts that for a finitely presented group G, the D(2) property and the realization property are equivalent as long as G satisfies a certain finiteness condition. We show that the two properties are in fact…

Using the notions and tools from realization in the sense of systems theory, we establish an explicit and new realization formula for families of infinite products of rational matrix-functions of a single complex variable. Our realizations…

This paper is a continuation of the program started by Ruan in 2003, of developing real operator space theory. In particular, we develop the theory of real operator algebras. We also show among other things that the injective envelope,…

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…

The classical $L^2$ estimate for the $\overline{\partial}$ operators is a basic tool in complex analysis of several variables. Naturally, it is expected to extend this estimate to infinite dimensional complex analysis, but this is a…

This paper is devoted to the study of semigroups of composition operators and semigroups of holomorphic mappings. We establish conditions under which these semigroups can be extended in their parameter to sector given a priori. We show that…

Operator systems are the unital self-adjoint subspaces of the bounded operators on a Hilbert space. Complex operator systems are an important category containing the C*-algebras and von Neumann algebras, which is increasingly of interest in…

The usual Laurent expansion of the analytic tensors on the complex plane is generalized to any closed and orientable Riemann surface represented as an affine algebraic curve. As an application, the operator formalism for the $b-c$ systems…

It is shown that any finite group $A$ is realizable as the automizer in a finite perfect group $G$ of an abelian subgroup whose conjugates generate $G$. The construction uses techniques from fusion systems on arbitrary finite groups, most…

In this paper, we introduce a general constructive method to compute solutions of initial value problems of semilinear parabolic partial differential equations on hyper-rectangular domains via semigroup theory and computer-assisted proofs.…

This paper is the second part of our series of works to establish $L^2$ estimates and existence theorems for the $\overline{\partial}$ operators in infinite dimensions. In this part, we consider the most difficult case, i.e., the underlying…

The residual finite-dimensionality of a $\mathrm{C}^*$-algebra is known to be encoded in a topological property of its space of representations, stating that finite-dimensional representations should be dense therein. We extend this…

In this note we describe the recent progress in the classification of bounded and semibounded representations of infinite dimensional Lie groups. We start with a discussion of the semiboundedness condition and how the new concept of a…

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…

Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…

We present some more foundations for a theory of real structure in operator spaces and algebras, in particular concerning the real case of the theory of injectivity, and the injective, ternary, and $C^*$-envelope. We consider the…

We address a question from \cite{BKV25} regarding the finiteness of the homological $R$-isoperimetric function. Let $R$ be a subfield of the complex numbers $\mathbb{C}$ with the absolute value norm. We prove that for any group $G$ that…