Linear Stochastic Systems: A White Noise Approach,
2010
Chapman University
Linear Stochastic Systems: A White Noise Approach, Daniel Alpay, David Levanony
Mathematics, Physics, and Computer Science Faculty Articles and Research
Using the white noise setting, in particular the Wick product, the Hermite transform, and the Kondratiev space, we present a new approach to study linear stochastic systems, where randomness is also included in the transfer function. We prove BIBO type stability theorems for these systems, both in the discrete and continuous time cases. We also consider the case of dissipative systems for both discrete and continuous time systems. We further study ℓ1-ℓ2 stability in the discrete time case, and L2-L∞ stability in the continuous time case.
On Coalgebras Over Algebras,
2010
University Politehnica of Bucharest
On Coalgebras Over Algebras, Adriana Balan, Alexander Kurz
Engineering Faculty Articles and Research
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a Set-monad M for functors arising as liftings. As an application we introduce the notion of commuting pair of endofunctors with respect to the monad M and show that under reasonable assumptions, the final coalgebra of one of the endofunctors involved can be obtained as the free algebra generated by the initial algebra of the other endofunctor.
Families Of Symmetries As Efficient Models Of Resource Binding,
2010
Institute for Logic, Language and Computation - Amsterdam
Families Of Symmetries As Efficient Models Of Resource Binding, Vincenzo Ciancia, Alexander Kurz, Ugo Montanari
Engineering Faculty Articles and Research
Calculi that feature resource-allocating constructs (e.g. the pi-calculus or the fusion calculus) require special kinds of models. The best-known ones are presheaves and nominal sets. But named sets have the advantage of being finite in a wide range of cases where the other two are infinite. The three models are equivalent. Finiteness of named sets is strictly related to the notion of finite support in nominal sets and the corresponding presheaves. We show that named sets are generalisd by the categorical model of families, that is, free coproduct completions, indexed by symmetries, and explain how locality of interfaces gives good …
On Universal Algebra Over Nominal Sets,
2010
Chapman University
On Universal Algebra Over Nominal Sets, Alexander Kurz, Daniela Petrişan
Engineering Faculty Articles and Research
We investigate universal algebra over the category Nom of nominal sets. Using the fact that Nom is a full re ective subcategory of a monadic category, we obtain an HSP-like theorem for algebras over nominal sets. We isolate a `uniform' fragment of our equational logic, which corresponds to the nominal logics present in the literature. We give semantically invariant translations of theories for nominal algebra and NEL into `uniform' theories and systematically prove HSP theorems for models of these theories.
Bitopological Duality For Distributive Lattices And Heyting Algebras,
2010
New Mexico State University
Bitopological Duality For Distributive Lattices And Heyting Algebras, Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
Engineering Faculty Articles and Research
We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spaces—the duals of Boolean algebras—and show that they are exactly the bitopological duals of bounded distributive lattices. The category PStone of pairwise Stone spaces is isomorphic to the category Spec of spectral spaces and to the category Pries of Priestley spaces. In fact, the isomorphism of Spec and Pries is most naturally seen through PStone by first establishing that Pries is isomorphic to PStone, and then showing that PStone is isomorphic to Spec. We provide the bitopological and spectral descriptions of many algebraic concepts important for the study …
Algebraic Theories Over Nominal Sets,
2010
Chapman University
Algebraic Theories Over Nominal Sets, Alexander Kurz, Daniela Petrişan, Jiří Velebil
Engineering Faculty Articles and Research
We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to introduce new notions of finitary based monads and uniform monads. In a second part we spell out these notions in the language of universal algebra, show how to recover the logics of Gabbay-Mathijssen and Clouston-Pitts, and apply classical results from universal algebra.
Ethnomathematics For Capacity Building In Mathematics Education,
2010
Ateneo de Manila University
Ethnomathematics For Capacity Building In Mathematics Education, Catherine P. Vistro-Yu
Mathematics Faculty Publications
The Mathematics Framework for Philippine Basic Education (MATHTED and SEI, in press), a document that aims to guide the development of curricular contents in mathematics, identifies cultural-rootedness as one of the cognitive values that mathematics education in the Philippines must inculcate. Cultural-rootedness is defined as ?appreciating the cultural value of mathematics and its origins in many cultures, its rich history and how it has grown and continues to evolve?. Ethnomathematics, described as the ?mathematics which is practiced among identifiable cultural groups, such as national tribal societies, labor groups, children of a certain age bracket, professional classes and so on? (D?Ambrosio, …
On The Characteristics Of A Class Of Gaussian Processes Within The White Noise Space Setting,
2010
Chapman University
On The Characteristics Of A Class Of Gaussian Processes Within The White Noise Space Setting, Daniel Alpay, Haim Attia, David Levanony
Mathematics, Physics, and Computer Science Faculty Articles and Research
Using the white noise space framework, we define a class of stochastic processes which include as a particular case the fractional Brownian motion and its derivative. The covariance functions of these processes are of a special form, studied by Schoenberg, von Neumann and Krein.
Discrete-Time Multi-Scale Systems,
2010
Chapman University
Discrete-Time Multi-Scale Systems, Daniel Alpay, Mamadou Mboup
Mathematics, Physics, and Computer Science Faculty Articles and Research
We introduce multi-scale filtering by the way of certain double convolution systems. We prove stability theorems for these systems and make connections with function theory in the poly-disc. Finally, we compare the framework developed here with the white noise space framework, within which a similar class of double convolution systems has been defined earlier.
Linear Stochastic State Space Theory In The White Noise Space Setting,
2010
Chapman University
Linear Stochastic State Space Theory In The White Noise Space Setting, Daniel Alpay, David Levanony, Ariel Pinhas
Mathematics, Physics, and Computer Science Faculty Articles and Research
We study state space equations within the white noise space setting. A commutative ring of power series in a countable number of variables plays an important role. Transfer functions are rational functions with coefficients in this commutative ring, and are characterized in a number of ways. A major feature in our approach is the observation that key characteristics of a linear, time invariant, stochastic system are determined by the corresponding characteristics associated with the deterministic part of the system, namely its average behavior.
