Related papers: Normal Forms for Elements of ${}^*$-Continuous Kle…

Let $(G, P)$ be an abelian, lattice ordered group and let $X$ be a compactly aligned product system over $P$. We show that the C*-envelope of the Nica tensor algebra $\mathcal{N}\mathcal{T}^+_X$ coincides with both Sehnem's covariance…

Building on work of Maltsev on locally free algebras in finite purely functional languages, we revisit the model theory of (absolutely free) term algebras and their completions. Maltsev's analysis yields a natural axiomatization together…

In this paper we calculate the K-theory of $C^{\ast}$-algebras given by the norm-closures of spaces of bisingular pseudodifferential operators. We obtain results for the \emph{global} bisingular calculus in the flat ($\Rr^{n_1 + n_2}$)…

Let $E$ be a finite directed graph with no sources or sinks and write $X_E$ for the graph correspondence. We study the $C^*$-algebra $C^*(E,Z):=\mathcal{T}(X_E,Z)/\mathcal{K}$ where $\mathcal{T}(X_E,Z)$ is the $C^*$-algebra generated by…

We provided (PNSE'2014) expressions for free choice nets having "distributed choice property" which makes the nets "direct product" representable. In a recent work (PNSE'2016), we gave equivalent syntax for a larger class of free choice…

We study the representation theory of a conformal net A on the circle from a K-theoretical point of view using its universal C*-algebra C*(A). We prove that if A satisfies the split property then, for every representation \pi of A with…

Weighted automata model quantitative aspects of systems like the consumption of resources during executions. Traditionally, the weights are assumed to form the algebraic structure of a semiring, but recently also other weight computations…

We show that the property of being rationally $K$-stable passes from the fibers of a continuous $C(X)$-algebra to the ambient algebra, under the assumption that the underlying space $X$ is compact, metrizable, and of finite covering…

A surjective endomorphism or, more generally, a polymorphism in the sense of \cite{SV}, of a compact abelian group $H$ induces a transformation of $L^2(H)$. We study the C*-algebra generated by this operator together with the algebra of…

We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight…

We consider representations of the free group $F_2$ on two generators such that the norm of the sum of the generators and their inverses is bounded by $\mu\in[0,4]$. These $\mu$-constrained representations determine a C*-algebra $A_{\mu}$…

We introduce a generic expression language describing behaviours of finite coalgebras over sets; besides relational systems, this covers, e.g., weighted, probabilistic, and neighbourhood-based system types. We prove a generic Kleene-type…

For special universal $C^*$-algebras associated to $k$-semigraphs we present the universal representations of these algebras, prove a Cuntz--Krieger uniqueness theorem, and compute the $K$-theory. These $C^*$-algebras seem to be the most…

We introduce twisted relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs and give a comprehensive treatment of their fundamental structural properties. We establish versions of the usual uniqueness theorems and…

We describe a class of rank-2 graphs whose C^*-algebras are AT algebras. For a subclass which we call rank-2 Bratteli diagrams, we compute the K-theory of the C*-algebra. We identify rank-2 Bratteli diagrams whose C*-algebras are simple and…

Under suitable conditions, a substitution tiling gives rise to a Smale space, from which three equivalence relations can be constructed, namely the stable, unstable, and asymptotic equivalence relations. We denote with $S$, $U$, and $A$…

We consider the norm closure $A$ of the algebra of all operators of order and class zero in Boutet de Monvel's calculus on a manifold $X$ with boundary $Y$. We first describe the image and the kernel of the continuous extension of the…

Given a locally compact group $G$ and a unitary representation $\rho:G\to U({\mathcal H})$ on a Hilbert space ${\mathcal H}$, we construct a $C^*$-correspondence ${\mathcal E}(\rho)={\mathcal H}\otimes_{\mathbb C} C^*(G)$ over $C^*(G)$ and…

Context-free session types provide a typing discipline for recursive structured communication protocols on bidirectional channels. They overcome the restriction of regular session type systems to tail recursive protocols. This extension…

The Rankin--Cohen brackets provide a basic example of ``non-elementary" differential symmetry breaking operators. They can be interpreted as bi-differential operators remarkable for reflecting the structure of fusion rules for holomorphic…