Related papers: Abstract composition laws and their modulation spa…
Finite-state abstractions (a.k.a. symbolic models) present a promising avenue for the formal verification and synthesis of controllers in continuous-space control systems. These abstractions provide simplified models that capture the…
For discretisations of hyperbolic conservation laws, mimicking properties of operators or solutions at the continuous (differential equation) level discretely has resulted in several successful methods. While well-posedness for nonlinear…
The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for…
Structured recursion schemes such as folds and unfolds have been widely used for structuring both functional programs and program semantics. In this context, it has been customary to implement denotational semantics as folds over an…
We study the topology of a class of proper submodules and some of its distinguished subclasses and call them structure spaces. We give several criteria for the quasi-compactness of these structure spaces. We study $T_0$ and $T_1$ separation…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
In this paper, we study the basic properties such as boundedness and compactness of composition operators on discrete analogue of generalized Hardy space defined on a homogeneous rooted tree. Also, we compute the operator norm of…
In arXiv:0905.3629 we described a new class of N=2 topological amplitudes that depends both on vector and hypermultiplet moduli. Here we find that this class is actually a particular case of much more general topological amplitudes which…
Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms.…
We analyse various structural and order-theoretical aspects of abstract separation systems and partial lattices, as well as the relationship between the different submodularity conditions one can impose on them.
To appear in J. Functional Analysis
We consider spaces for which there is a notion of harmonicity for complex valued functions defined on them. For instance, this is the case of Riemannian manifolds on one hand, and (metric) graphs on the other hand. We observe that it is…
In this paper we study restricted overpartitions and concave compositions. In several cases the resulting generating functions involve simultaneously modular forms, mock theta functions, mock Maass theta functions, and false theta…
We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…
Many machine learning algorithms represent input data with vector embeddings or discrete codes. When inputs exhibit compositional structure (e.g. objects built from parts or procedures from subroutines), it is natural to ask whether this…
In this paper we characterize some basic properties of composition operators on the spaces of harmonic Bloch functions. First we provide some equivalent conditions for boundedness and compactness of composition operators. Then by using…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
We study the compactness of composition operators on the Bergman spaces of certain bounded pseudoconvex domains in $\mathbb{C}^n$ with non-trivial analytic disks contained in the boundary. As a consequence we characterize that compactness…
In a previous paper, we presented an Abstract Beurling's Theorem for valuation Hilbert modules over valuation algebras. In this paper, we shall apply this theorem to obtain complete descriptions of the closed invariant subspaces of a number…
In this paper we consider composition operators on locally convex spaces of functions defined on $\mathbb{R}$. We prove results concerning supercyclicity, power boundedness, mean ergodicity and convergence of the iterates in the strong…