Related papers: Filters in C*-Algebras

Given a closed ideal $I$ in a C*-algebra $A$, we show that $A$ is pure if and only if $I$ and $A/I$ are pure. More generally, we study permanence of comparison and divisibility properties when passing to extensions. As an application we…

To an arbitrary directed graph we associate a row-finite directed graph whose C*-algebra contains the C*-algebra of the original graph as a full corner. This allows us to generalize results for C*-algebras of row-finite graphs to…

We introduce a concept of the bounded rank (with respect to a positive constant) for unital C*-algebras as a modification of the usual real rank and present a series of conditions insuring that bounded and real ranks coincide. These…

We investigate the discrimination of pure-mixed (quantum filtering) and mixed-mixed states and compare their optimal success probability with the one for discriminating other pairs of pure states superposed by the vectors included in the…

Motivated by Arveson's conjecture, we introduce a notion of hyperrigidity for a partial order on the state space of a $C^*$-algebra $B$. We show how this property is equivalent to the existence of a boundary: a subset of the pure states…

We show that the class of C*-algebras with stable rank greater than a given positive integer is axiomatizable in logic of metric structures. As a consequence we show that the stable rank is continuous with respect to forming ultrapowers of…

Kadison's transitivity theorem implies that, for irreducible representations of C*-algebras, every invariant linear manifold is closed. It is known that CSL algebras have this propery if, and only if, the lattice is hyperatomic (every…

We prove that the theory of the models constructible using finitely many cofinality quantifiers - $C_{\lambda_{1},...,\lambda_{n}}^{*}$ and $C_{<\lambda_{1},...,<\lambda_{n}}^{*}$ for $\lambda_{1},...,\lambda_{n}$ regular cardinals - is…

It is shown that a strongly self-absorbing C*-algebra is of real rank zero and absorbs the Jiang-Su algebra if it contains a nontrivial projection. We also consider cases where the UCT is automatic for strongly self-absorbing C*-algebras,…

We introduce a non-commutative generalization of the notion of (approximately proper) equivalence relation and propose the construction of a "quotient space". We then consider certain one-parameter groups of automorphisms of the resulting…

We give an overview of the question: which positive elements in an operator algebra can be written as a linear combination of projections with positive coefficients. A special case of independent interest is the question of which positive…

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

We construct C*-diagonals with connected spectra in all classifiable stably finite C*-algebras which are unital or stably projectionless with continuous scale. For classifiable stably finite C*-algebras with torsion-free $K_0$ and trivial…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

We discuss how one can use certain filters from signal processing to describe isomorphisms between certain projective $C(\mathbb T^n)$-modules. Conversely, we show how cancellation properties for finitely generated projective modules over…

We prove some new equivalences of the paving conjecture and obtain some estimates on the paving constants. In addition we give a new family of counterexamples to one of the Akemann-Anderson conjectures.

In this note we analyze the C*-algebra associated with a branched covering both as a groupoid C*-algebra and as a Cuntz-Pimsner algebra. We determine conditions when the algebra is simple and purely infinite. We indicate how to compute the…

We formalize the quantum arithmetic, i.e. a relationship between number theory and operator algebras. Namely, it is proved that rational projective varieties are dual to the $C^*$-algebras with real multiplication. Our construction fits all…

We study selflessness in the general setting of reduced free products of $C^*$-algebras. Towards this end, we develop a suitable theory of rapid decay for filtrations in arbitrary $C^*$-probability spaces. We provide several natural…

We study the structure and compute the stable rank of C*-algebras of finite higher-rank graphs. We completely determine the stable rank of the C*-algebra when the k-graph either contains no cycle with an entrance, or is cofinal. We also…