Algebra Commons^™

Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary set-functor is given and proven to be strongly complete under additional assumptions. We proceed in three parts.

Part I argues that sifted colimit preserving functors are those functors that preserve universal algebraic structure. Our main theorem here states that a functor preserves sifted colimits if and only if it has a finitary presentation by operations and equations. Moreover, the presentation of the …

Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover modality depending on the type functor. Its semantics is defined in terms of a categorically defined relation lifting operation.

As the main contributions of our paper we introduce a derivation system, and prove that it provides a sound and complete axiomatization for the collection of coalgebraically valid inequalities. Our soundness and completeness proof is algebraic, …

Bicomplex Numbers And Their Elementary Functions, M. E. Luna-Elizarrarás, M. Shapiro, Daniele C. Struppa, Adrian Vajiac

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we introduce the algebra of bicomplex numbers as a generalization of the field of complex numbers. We describe how to define elementary functions in such an algebra (polynomials, exponential functions, and trigonometric functions) as well as their inverse functions (roots, logarithms, inverse trigonometric functions). Our goal is to show that a function theory on bicomplex numbers is, in some sense, a better generalization of the theory of holomorphic functions of one variable, than the classical theory of holomorphic functions in two complex variables.

Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 12411 “Coalgebraic Logics”. The seminar deals with recent developments in the area of coalgebraic logic, a branch of logics which combines modal logics with coalgebraic semantics. Modal logic finds its uses when reasoning about behavioural and temporal properties of computation and communication, coalgebras have evolved into a general theory of systems. Consequently, it is natural to combine both areas for a mathematical description of system specification. Coalgebraic logics are closely related to the broader categories semantics/formal methods and verification/logic.

New Topological C-Algebras With Applications In Linear Systems Theory, Daniel Alpay, Guy Salomon

Mathematics, Physics, and Computer Science Faculty Articles and Research

Motivated by the Schwartz space of tempered distributions S′ and the Kondratiev space of stochastic distributions S−1 we define a wide family of nuclear spaces which are increasing unions of (duals of) Hilbert spaces H′p,p∈N, with decreasing norms |⋅|p. The elements of these spaces are functions on a free commutative monoid. We characterize those rings in this family which satisfy an inequality of the form |f∗g|p≤A(p−q)|f|q|g|p for all p≥q+d, where * denotes the convolution in the monoid, A(p−q) is a strictly positive number and d is a fixed natural number (in this case we obtain commutative topological C-algebras). Such an …

White Noise Based Stochastic Calculus Associated With A Class Of Gaussian Processes, Daniel Alpay, Haim Attia, David Levanony

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using the white noise space setting, we define and study stochastic integrals with respect to a class of stationary increment Gaussian processes. We focus mainly on continuous functions with values in the Kondratiev space of stochastic distributions, where use is made of the topology of nuclear spaces. We also prove an associated Ito formula.

An Interpolation Problem For Functions With Values In A Commutative Ring, Daniel Alpay, Haim Attia

Mathematics, Physics, and Computer Science Faculty Articles and Research

It was recently shown that the theory of linear stochastic systems can be viewed as a particular case of the theory of linear systems on a certain commutative ring of power series in a countable number of variables. In the present work we study an interpolation problem in this setting. A key tool is the principle of permanence of algebraic identities.

Schur Functions And Their Realizations In The Slice Hyperholomorphic Setting, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we start the study of Schur analysis in the quaternionic setting using the theory of slice hyperholomorphic functions. The novelty of our approach is that slice hyperholomorphic functions allows to write realizations in terms of a suitable resolvent, the so called S-resolvent operator and to extend several results that hold in the complex case to the quaternionic case. We discuss reproducing kernels, positive definite functions in this setting and we show how they can be obtained in our setting using the extension operator and the slice regular product. We define Schur multipliers, and find their co-isometric realization …

On The Class Rsi Of J-Contractive Functions Intertwining Solutions Of Linear Differential Equations, Daniel Alpay, Andrey Melnikov, Victor Vinnikov

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we extend and solve in the class of functions RSI mentioned in the title, a number of problems originally set for the class RS of rational functions contractive in the open right-half plane, and unitary on the imaginary line with respect to some preassigned self-adjoint matrix. The problems we consider include the Schur algorithm, the partial realization problem and the Nevanlinna-Pick interpolation problem. The arguments rely on the one-to-one correspondence between elements in a given subclass of RSI and elements in RS. Another important tool in the arguments is a new result pertaining to the classical tangential …

Stochastic Processes Induced By Singular Operators, Daniel Alpay, Palle Jorgensen

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we study a general family of multivariable Gaussian stochastic processes. Each process is prescribed by a fixed Borel measure σ on Rn. The case when σ is assumed absolutely continuous with respect to Lebesgue measure was stud- ied earlier in the literature, when n = 1. Our focus here is on showing how different equivalence classes (defined from relative absolute continuity for pairs of measures) translate into concrete spectral decompositions of the corresponding stochastic processes under study. The measures σ we consider are typically purely singular. Our proofs rely on the theory of (singular) unbounded operators in …