Related papers: On closure operators and reflections in Goursat ca…
To every bounded linear operator $A$ between Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$ three cardinals $\iota_r(A)$, $\iota_i(A)$ and $\iota_f(A)$ and a binary number $\iota_b(A)$ are assigned in terms of which the descriptions of the…
Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the $n$-dimensional $\mathbb{F}_q$-vector space $V=\mathbb{F}_q^n\,$. In this paper we define a closure operator on the subgroup lattice of the group $G =…
We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior…
We consider the linear Dirac operator with a (-1)-homogeneous locally periodic potential that varies with respect to a small parameter. Using the notation of G-convergence for positive self-adjoint operators in Hilbert spaces we prove…
In this paper I distinguish two (pre)congruence requirements for semantic equivalences and preorders on processes given as closed terms in a system description language with a recursion construct. A lean congruence preserves equivalence…
In this paper, we investigate properties of a reproducing kernel Hilbert space of a group action. In particular, we introduce an equivalence relation on a compact Hausdorff space $X$, and consequently establish three equivalent definitions…
Effective interaction operators usually act on a restricted model space and give the same energies (for Hamiltonian) and matrix elements (for transition operators etc.) as those of the original operators between the corresponding true…
An operator *-algebra is a non-selfadjoint operator algebra with completely isometric involution. We show that any operator *-algebra admits a faithful representation on a Hilbert space in such a way that the involution coincides with the…
We establish necessary and sufficient conditions for the boundedness and compactness of weighted composition operators acting on weighted Dirichlet spaces and determine the spectrum of a certain class of such operators. Our results extend…
We first generalize the logarithmic tensor category theory of Huang-Lepowsky-Zhang to the more general case that the module category for a vertex operator algebra $V$ (more generally a M\"{o}bius vertex algebra) might not be closed under…
P. Gabriel showed that for an unital ring $R$, there exists a bijective correspondence between the set of Gabriel filters of $R$ and the set of Giraud subcategories of $\mathrm{Mod}(R)$ (see \cite[Lemme 1]{Gabriel1} on page 412). In this…
Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover the first and the second projection from the product of the…
In this paper, the concept of Birkhoff--James orthogonality of operators on a Hilbert space is generalized when a semi-inner product is considered. More precisely, for linear operators $T$ and $S$ on a complex Hilbert space $\mathcal{H}$, a…
Locally cartesian closed (lcc) categories are natural categorical models of extensional dependent type theory. This paper introduces the "gros" semantics in the category of lcc categories: Instead of constructing an interpretation in a…
The Leibniz bracket of an operator on a (graded) algebra is defined and some of its properties are studied. A basic theorem relating the Leibniz bracket of the commutator of two operators to the Leibniz bracket of them, is obtained. Under…
In this article, we give a representation for compact operators acting between reflexive Banach spaces, which generalizes the representation given by Edmunds et al. for compact operators between reflexive Banach spaces with strictly convex…
We systematically derive general properties of continuous and holomorphic functions with values in closed operators, allowing in particular for operators with empty resolvent set. We provide criteria for a given operator-valued function to…
In this article, we define operator algebras internal to a rigid C*-tensor category $\mathcal{C}$. A C*/W*-algebra object in $\mathcal{C}$ is an algebra object $\mathbf{A}$ in $\operatorname{ind}$-$\mathcal{C}$ whose category of free…
For a very general class of weighted Fock spaces on $\mathbb{C}^n$, we give necessary and sufficient conditions for a Toeplitz operator with a (not necessarily positive) measure symbol to be compact. Furthermore, we show that all compact…
Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…