Related papers: Interpolation theorems for conjugations and applic…
We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a statement about the structure of formal derivations. We show that…
We survey the operator algebras arising as commutants modulo normed ideals of finite sets of hermitian operators and connections to perturbations of operators and noncommutative geometry.
We prove that continuous spectrum- and commutativity-preserving maps to $\mathcal{M}_n(\mathbb{C})$ from the space of normal (real or complex) $n\times n$, $n\ge 3$ matrices with spectra contained in a given continuous-injection interval…
Classical spectral theory gives a complete description of a single normal operator, but it fails for noncommuting operators, where no canonical joint spectrum or simultaneous diagonalization exists. Existing approaches provide only partial…
The parallel sum for adjoinable operators on Hilbert $C^*$-modules is introduced and studied. Some results known for matrices and bounded linear operators on Hilbert spaces are generalized to the case of adjointable operators on Hilbert…
In this work we study if the norms rotund, uniformly rotund, weakly uniformly rotund, locally uniformly rotund or weakly locally uniformly rotund interpolate in the complex or the real interpolation spaces. We will see that the properties…
Joint spectra of tuples of operators are subsets in complex projective space. The corresponding tuple of operators can be viewed as an infinite dimensional analog of a determinantal representation of the joint spectrum. We investigate the…
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of the general linear group on the variety of nilpotent matrices in its Lie algebra. Lie-theoretically, it is natural to wonder about the number of orbits of…
In this paper, we will introduce a new notion, that of $K$-Integral operator frames in the set of all bounded linear operators noted $\mathcal{B}(H)$, where $H$ is a separable Hilbert space. Also, we prove some results of integral…
Given two symmetric positive-definite matrices $A, B \in \mathbb{R}^{n \times n}$, we study the spectral properties of the interpolation $A^{1-x} B^x$ for $0 \leq x \leq 1$. The presence of `common structures' in $A$ and $B$, eigenvectors…
Let $G$ be a commutative algebraic group embedded in projective space and $\Gamma$ a finitely generated subgroup of $G$. From these data we construct a chain of algebraic subgroups of $G$ which is intimately related to obstructions to…
Zonotopal algebra interweaves algebraic, geometric and combinatorial properties of a given linear map X. Of basic significance in this theory is the fact that the algebraic structures are derived from the geometry (via a non-linear…
We prove a complex and a real interpolation theorems on Besov spaces and Triebel-Lizorkin spaces associated with a selfadjoint operator $L$, without assuming the gradient estimate for its spectral kernel. The result applies to the cases…
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 solve an interpolation problem in $A^p_\alpha$ involving specifying a set of (possibly not distinct) $n$ points, where the $k^{\textrm{th}}$ derivative at the $k^{\textrm{th}}$ point is up to a constant as large as possible for functions…
We give a detailed description of the local commutant approach to wavelet theory using operator algebraic methods. We include a new result on interpolation pairs of wavelet sets: Every pair in the generalized Journe family of wavelet sets…
We consider the extension of the Heisenberg vertex operator algebra by all its irreducible modules. We give an elementary construction for the intertwining vertex operators and show that they satisfy a complex parametrized generalized…
For a finite group $G$, we construct a simplified model for the $G$-symmetric monoidal $G$-$\infty$-category of rational $G$-spectra. Using this model, we classify $\mathcal{I}$-normed algebras in rational $G$-spectra for a given indexing…
In this article we prove in main Theorem A that any infinity type real hyperplane arrangement $\mathcal{H}_n^m$ (Definition 2.11) with the associated normal system $\mathcal{N}$ (Definitions [2.2,2.4] can be represented isomorphically…
We study the relationship between operators, orthonormal basis of subspaces and frames of subspaces (also called fusion frames) for a separable Hilbert space $\mathcal{H}$. We get sufficient conditions on an orthonormal basis of subspaces…