Related papers: Kunz languages for numerical semigroups are contex…
We revise the construction of the augmented Cuntz semigroup functor used by the first author to classify inductive limits of 1-dimensional noncommutative CW complexes. The original construction has good functorial properties when restricted…
The sequence 2,5,15,51,187,... with the form $(2^n+1)(2^{n-1}+1)/3$ has two interpretations in terms of the density of a language with four letters and the cardinality of the quotient of $\ZZ_2^n\times \ZZ_2^n$ under the action of the…
These are lecture notes on the algebraic approach to regular languages. The classical algebraic approach is for finite words; it uses semigroups instead of automata. However, the algebraic approach can be extended to structures beyond…
We present MSO and FO logics with predicates `between' and `neighbour' that characterise various fragments of the class of regular languages that are closed under the reverse operation. The standard connections that exist between MSO and FO…
We develop some tools, of an algebraic and combinatorial nature, which enable us to obtain a detailed description of certain quadratic subgroups of the (outer) reduced Weyl group of the Cuntz algebra ${\mathcal O}_n$. In particular, for…
We survey recent results concerning the complexity of regular languages represented by their minimal deterministic finite automata. In addition to the quotient complexity of the language -- which is the number of its (left) quotients, and…
A category is described to which the Cuntz semigroup belongs and as a functor into which it preserves inductive limits.
The cone of lower semicontinuous traces is studied with a view to its use as an invariant. Its properties include compactness, Hausdorffness, and continuity with respect to inductive limits. A suitable notion of dual cone is given. The cone…
Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality proofs, aka. observable-based proofs of the Kochen-Specker…
Generic sentences express generalisations about the world without explicit quantification. Although generics are central to everyday communication, building a precise semantic framework has proven difficult, in part because speakers use…
The well-known expansion of rational integers in an arbitrary integer base different from $0, 1, -1$ is exploited to study relations between numerical monoids and certain subsemigroups of the multiplicative semigroup of nonzero integers.
We construct new examples of non-nil algebras with any number of generators, which are direct sums of two locally nilpotent subalgebras. As all previously known examples, our examples are contracted semigroup algebras and the underlying…
For any $n$-ary associative algebra we construct a $\Z_{n-1}$ graded algebra, which is a universal object containing the $n$-ary algebra as a subspace of elements of degree 1. Similar construction is carried out for semigroups.
Various generalizations of Cuntz algebras and their relations to symmetry and duality are reviewed. New generalized Cuntz algebras are associated with a subfactor. A characteristic Hilbert space of basic invariants (with respect to the…
This paper studies Young diagrams of symmetric and pseudo-symmetric numerical semigroups and describes new operations on Young diagrams as well as numerical semigroups. These provide new decompositions of symmetric and pseudo-symmetric…
In this paper we describe the Cuntz semigroup of continuous fields of C$^*$-algebras over one dimensional spaces whose fibers have stable rank one and trivial $K_1$ for each closed, two-sided ideal. This is done in terms of the semigroup of…
We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $[[S,T]]$ playing the role of morphisms from $S$ to $T$. Applied to C$^*$-algebras…
This paper contains computations of the Cuntz semigroup of separable C*-algebras of the form C_0(X,A), where A is a unital, simple, Z-stable ASH algebra. The computations describe the Cuntz semigroup in terms of Murray-von Neumann…
Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can wonder if new Z*-calculi will continue to be proposed…
In this paper, we continue the research on the power of contextual grammars with selection languages from subfamilies of the family of regular languages. We investigate various comet-like types of languages and compare such language…