Related papers: Realizations via Preorderings with Application to …
In this article an interpretation and a proof of some classical \\theorems in analysis on the integration of analytic vectors fields are derived from the algebraic method of realization of bialgebras which are constructed with the data of a…
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 theory of classical realizability is a framework in which we can develop the proof-program correspondence. Using this framework, we show how to transform into programs the proofs in classical analysis with dependent choice and the…
We prove a refined Agler decomposition for bounded analytic functions on the bidisk and show how it can be used to reprove an interesting result of Guo et al. related to extending holomorphic functions without increasing their norm. In…
In 1958, Helson and Lowdenslager extended the theory of analytic functions to a general class of groups with ordered duals. In this context, analytic functions on such a group $G$ are defined as the integrable functions whose Fourier…
We give a new proof that bounded non-commutative functions on polynomial polyhedra can be represented by a realization formula, a generalization of the transfer function realization formula for bounded analytic functions on the unit disk.
In this paper we would like to show the interrelation between the different mathematical theories concerning the Schur interpolation problem, contractions in Hilbert spaces, pseudocontinuation and Darlington synthesis. The main objects of…
We provide necessary and sufficient conditions for operator-valued functions on arbitrary sets associated with a collection of test functions to have factorizations in several situations.
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
Relational presheaves generalize traditional presheaves by going to the category of sets and relations (as opposed to sets and functions) and by allowing functors which are lax. This added generality is useful because it intuitively allows…
We establish the existence of a finite-dimensional unitary realization for every matrix-valued rational inner function from the Schur--Agler class on a unit square-matrix polyball. In the scalar-valued case, we characterize the denominators…
Using results from theory of operators on a Hilbert space, we prove approximation results for matrix-valued holomorphic functions on the unit disc and the unit bidisc. The essential tools are the theory of unitary dilation of a contraction…
Let $k$ be a commutative $\mathbb{Q}$-algebra. We study families of functors between categories of finitely generated $R$-modules which are defined for all commutative $k$-algebras $R$ simultaneously and are compatible with base changes.…
This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…
Let $E$ be the open unit disk $\{z\in \mathbb{C}: |z|<1\}$. Let $A$ be the class of analytic functions in $E$, which have the form $f(z)=z+a_2z^2+...$. We define operators $L_n^\sigma\colon A\to A$ using the convolution *. Using these…
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…
We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to…
We construct differential algebras in which spaces of (one-dimensional) periodic ultradistributions are embedded. By proving a Schwartz impossibility type result, we show that our embeddings are optimal in the sense of being consistent with…
A previously established correspondence between definite-parity real functions and inner analytic functions is generalized to real functions without definite parity properties. The set of inner analytic functions that corresponds to the set…
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…