Related papers: Normal Forms for Elements of ${}^*$-Continuous Kle…
Given a graph of C*-algebras, we prove a long exact sequence in KK-theory for both the maximal and the vertex-reduced fundamental C*-algebras in the presence of possibly non GNS-faithful conditional expectations. We deduce from it the…
We present a classification theorem for amenable simple stably projectionless C*-algebras with generalized tracial rank one whose $K_0$ vanish on traces which satisfy the Universal Coefficient Theorem. One of them is denoted by ${\cal Z}_0$…
In this article, we use Exel's construction to associate a C*-algebra to every shift space. We show that it has the C*-algebra defined in [Carlsen and Matsumoto: Some remarks on the C*-algebras associated with subshifts] as a quotient, and…
We study Kleene iteration in the categorical context. A celebrated completeness result by Kozen introduced Kleene algebra (with tests) as a ubiquitous tool for lightweight reasoning about program equivalence, and yet, numerous variants of…
We study the problem of determining when the reduced twisted group C*-algebra associated with a discrete group G is simple and/or has a unique tracial state, and present new sufficient conditions for this to hold. One of our main tools is a…
It is introduced an analogue of the orbit-breaking subalgebra for the case of free flows on locally compact metric spaces, which has a natural approximate structure in terms of a fixed point and any nested sequence of central slices around…
For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…
To each integral domain R with finite quotients we associate a purely infinite simple C*-algebra in a very natural way. Its stabilization can be identified with the crossed product of the algebra of continuous functions on the "finite adele…
Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was proposed by Prisacariu as a tool for reasoning about programs that may execute synchronously, i.e., in lock-step. We provide a countermodel witnessing that the…
A complete description is provided for the unitary normalizer of the diagonal Cartan subalgebra $\mathcal{D}_2$ in the $2$-adic ring $C^*$-algebra $\mathcal{Q}_2$, which generalizes and unifies analogous results for Cuntz and Bunce-Deddens…
S. L. Woronowicz's theory of introducing C*-algebras generated by unbounded elements is applied to q-normal operators satisfying the defining relation of the quantum complex plane. The unique non-degenerate C*-algebra of bounded operators…
We study the $C^*$-algebra $\mathcal{T}/\mathcal{K}$ where $\mathcal{T}$ is the $C^*$-algebra generated by $d$ weighted shifts on the Fock space of $\mathbb{C}^d$, $\mathcal{F}(\mathbb{C}^d)$, ( where the weights are given by a sequence…
We define and systematically study nonassociative C*-algebras as C*-algebras internal to a topological tensor category. We also offer a concrete approach to these C*-algebras, as G-invariant, norm closed *-subalgebras of bounded operators…
This paper characterizes the unital C*-algebra generated by a single invertible element as the unital free product of C[0,1] and C(T). To do this, I develop techniques to split and merge presentations of C*-algebras using free products in…
If $\Gamma$ is a torsion free $\widetilde A_2$ group acting on an $\widetilde A_2$ building $\Delta$, and $\fk A_{\Gamma}$ is the associated boundary $C^*$-algebra, it is proved that $K_0(\fk A_\Gamma)\otimes \bb R \cong \bb R^{2\beta_2}$,…
Given a universal Horn formula of Kleene algebra with hypotheses of the form r = 0, it is already known that we can efficiently construct an equation which is valid if and only if the Horn formula is valid. This is an example of…
We give an example of a non-trivial asymptotic representation of the reduced C*-algebra of a free group. This example allows to evaluate the asymptotic tensor C*-norm of some elements in tensor product C*-algebras and to show…
Kleene algebra (KA) is the algebra of regular events. Familiar examples of Kleene algebras include regular sets, relational algebras, and trace algebras. A Kleene algebra with tests (KAT) is a Kleene algebra with an embedded Boolean…
Relational verification encompasses information flow security, regression verification, translation validation for compilers, and more. Effective alignment of the programs and computations to be related facilitates use of simpler relational…
We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's…