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

Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reasoning about regularly structured programs. Interest in KATs has increased greatly since NetKAT demonstrated how well extensions of KATs with…

Let G be a compact, simple and simply connected Lie group and $\A$ be an equivariant Dixmier-Douady bundle over G. For any fixed level k, we can define a G-C*-algebra $C_{\A^{k+h}}(G)$ as all the continuous sections of the tensor power…

The theory of finite automata concerns itself with words in a free monoid together with concatenation and without further structure. There are, however, important applications which use alphabets which are structured in some sense. We…

Exploiting the graph product structure and results concerning amalgamated free products of C*-algebras we provide an explicit computation of the K-theoretic invariants of right-angled Hecke C*-algebras, including concrete algebraic…

We associate a $C^*$-algebra to a partial action of the integers acting on the base space of a vector bundle, using the framework of Cuntz--Pimsner algebras. We investigate the structure of the fixed point algebra under the canonical gauge…

We consider the Calkin algebra $\mathcal{Q}(\ell_2)$, i.e., the quotient of the algebra $\mathcal B(\ell_2)$ of all bounded linear operators on the separable Hilbert space $\ell_2$ divided by the ideal $\mathcal K(\ell_2)$ of all compact…

Weighted programs generalize probabilistic programs and offer a framework for specifying and encoding mathematical models by means of an algorithmic representation. Kleene algebra with tests is an algebraic formalism based on regular…

We study the C*-algebra crossed product $C_0(X)\rtimes G$ of a locally compact group $G$ acting properly on a locally compact Hausdorff space $X$. Under some mild extra conditions, which are automatic if $G$ is discrete or a Lie group, we…

We develop a fully diagrammatic approach to finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of string diagrams. In this setting, we are able to provide a…

We show that any finite monoid or semigroup presentation satisfying the small overlap condition C(4) has word problem which is a deterministic rational relation. It follows that the set of lexicographically minimal words forms a regular…

We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra.

Let $\gamma = (\gamma_1,...,\gamma_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N…

In this paper we present a detailed proof of an important result of algebraic logic: namely that the free commutative Kleene algebra is the space of semilinear sets. The first proof of this result was proposed by Redko in 1964, and…

We compute the two-cocycles (or multipliers) of the free nilpotent groups of class $2$ and rank $n$ and give conditions for simplicity of the corresponding twisted group $C^*$-algebras. These groups are representation groups for…

We investigate $C^*$-algebras associated with row-finite topological higher-rank graphs with no source, which are based on product system $C^*$-algebras. We prove the Cuntz-Krieger uniqueness theorem, and provide the condition of simplicity…

In this paper, we show that the equational theory of relational Kleene algebra with the \emph{graph loop} operator (a.k.a.~\emph{fixset}) is \textsc{PSpace}-complete. Here, the graph loop is the unary operator that restricts a binary…

Let K be any compact set. The C^*-algebra C(K) is nuclear and any bounded homomorphism from C(K) into B(H), the algebra of all bounded operators on some Hilbert space H, is automatically completely bounded. We prove extensions of these…

We study the K-theory of the Cuntz-Nica-Pimsner C*-algebra of a rank-two product system that is an extension determined by an invariant ideal of the coefficient algebra. We use a construction of Deaconu and Fletcher that describes the…

We present an explicit formula for the $K$-theory of the $C^*$-algebra associated with a relative generalized Boolean dynamical system $(\CB, \CL, \theta, \CI_\af; \CJ)$. In particular, we find concrete generators for the $K_1$-group of…

Using the Baum-Connes conjecture with coefficients, we develop a K-theory formula for reduced C*-algebras of strongly $0$-$E$-unitary inverse semigroups, or equivalently, for certain reduced partial crossed products. In the case of…