Related papers: Abstract composition laws and their modulation spa…
A differential calculus on an associative algebra A is an algebraic analogue of the calculus of differential forms on a smooth manifold. It supplies A with a structure on which dynamics and field theory can be formulated to some extent in…
With the aim of providing a worldsheet description of the refined topological string, we continue the study of a particular class of higher derivative couplings $F_{g,n}$ in the type II string effective action compactified on a Calabi-Yau…
Compositionality proofs in higher-order languages are notoriously involved, and general semantic frameworks guaranteeing compositionality are hard to come by. In particular, Turi and Plotkin's bialgebraic abstract GSOS framework, which…
We extend the notion of compositional associative rewriting as recently studied in the rule algebra framework literature to the setting of rewriting rules with conditions. Our methodology is category-theoretical in nature, where the…
We introduce LAM, a subsystem of IMALL2 with restricted additive rules able to manage duplication linearly, called linear additive rules. LAM is presented as the type assignment system for a calculus endowed with copy constructors, which…
We introduce different classical characteristics used to regularize a subharmonic function and compare them. As an application we give a complete proof of a useful characterization of the modulus of continuity of such functions in terms of…
In this paper we initiate the study of composition operators on the noncommutative Hardy space $H^2_{\bf ball}$. Several classical results about composition operators (boundedness, norm estimates, spectral properties, compactness,…
We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hierarchical, sequential, and independent parallel composition.…
We establish necessary and sufficient conditions for the boundedness and compactness of weighted composition operators acting on weighted Dirichlet spaces and determine the spectrum of a certain class of such operators. Our results extend…
We establish analogues in the context of group actions or group representations of some classical problems and results in additive combinatorics of groups. We also study the notion of left invariant submodular function defined on power sets…
Specific global symbol classes and corresponding pseudodifferential operators of infinite order that act continuously on the space of tempered ultradistributions of Beurling and Roumieu type are constructed. For these classes, symbolic…
In the paper new representations are obtained for duals and dual hulls of the classes of analytic functions. The Ruscheweyh duality principle is shown to hold under somewhat weaker assumptions. For a compact class of functions its subclass…
We introduce a transition system based specification of cyber-physical systems whose semantics is compositional with respect to a family of algebraic products. We give sufficient conditions for execution of a product to be correctly…
This paper aims to study the boundedness and compactness of composition operators from model spaces to the Hardy Hilbert spaces in the upper half-plane. Consequently, we investigate the boundedness and compactness of composition operators…
Here we consider when the difference of two composition operators is compact on the weighted Dirichlet spaces $\mathcal{D}_\alpha$. Specifically we study differences of composition operators on the Dirichlet space $\mathcal{D}$ and $S^2$,…
We consider special geometry of the vector multiplet moduli space in compactifications of the heterotic string on $K3 \times T^2$ or the type IIA string on $K3$-fibered Calabi-Yau threefolds. In particular, we construct a modified dilaton…
We consider colored compositions where only some parts are allowed different colors, depending on their locations in the composition. The counting sequences are obtained through generating functions. Connections to many other combinatorial…
We have determined composition series of a class of induced representations appearing in Moeglin Tadi\'c classification of discrete series. The result is further used to determine composition series of certain representations induced from…
We construct new proper biharmonic functions defined on open and dense subsets of the special unitary group SU(2). Then we employ a duality principle to obtain new proper biharmonic functions from the non-compact 3-dimensional hyperbolic…
The usual Weyl calculus is intimately associated with the choice of the standard symplectic structure on $\mathbb{R}^{n}\oplus\mathbb{R}^{n}$. In this paper we will show that the replacement of this structure by an arbitrary symplectic…