相关论文: Models for short sequences of measures in the cofi…

Given any irreducible inclusion $\mB \subset \mA$ of unital $C^*$-algebras with a finite-index conditional expectation $E: \mA \to \mB$, we show that the set of $E$-compatible intermediate $C^*$-subalgebras is finite, thereby generalizing a…

We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type $p\in S(A)$ is weakly o-minimal if for some relatively $A$-definable linear order, $<$, on $p(\mathfrak{C})$ every…

Quantum metric Choquet simplices are special kinds of compact quantum metric spaces designed for distance measurement in and around the category of stably finite Elliott-classifiable $\mathrm{C}^*$-algebras. The primary objective of this…

Let $\Gamma$ be a discrete group. To every ideal in $\ell^{\infty}(\G)$ we associate a C$^*$-algebra completion of the group ring that encapsulates the unitary representations with matrix coefficients belonging to the ideal. The general…

Various subsets of the tracial state space of a unital C*-algebra are studied. The largest of these subsets has a natural interpretation as the space of invariant means. II_1-factor representations of a class of C*-algebras considered by…

We explore various limit constructions for C*-algebras, such as composition series and inverse limits, in relation to the notions of real rank, stable rank, and extremal richness. We also consider extensions and pullbacks. We identify some…

We show that, when $A$ is a separable C*-algebra, every countably generated Hilbert $A$-module is projective (with bounded module maps as morphisms). We also study the approximate extensions of bounded module maps. In the case that $A$ is a…

We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the…

We generalize the notion of length to an ordinal-valued invariant defined on the class of finitely generated modules over a Noetherian ring. A key property of this invariant is its semi-additivity on short exact sequences. We show how to…

We use quasi-orders to describe the structure of C-groups. We do this by associating a quasi-order to each compatible C-relation of a group, and then give the structure of such quasi-ordered groups. We also reformulate in terms of…

Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L_1 is more succinct than another logic L_2 if all properties that can be expressed in L_2 can be expressed in L_1 by formulas of…

Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles' heel of quantum logic is the absence of a canonical description of composite systems, given descriptions of their components. We…

The action on the trace space induced by a generic automorphism of a suitable finite classifiable C*-algebra is shown to be chaotic and weakly mixing. Model C*-algebras are constructed to observe the central limit theorem and other…

We associate reduced and full C*-algebras to arbitrary rings and study the inner structure of these ring C*-algebras. As a result, we obtain conditions for them to be purely infinite and simple. We also discuss several examples.…

We introduce the notion of pseudo-algebraicity to study atomic models of first order theories (equivalently models of a complete sentence of $L_{\omega_1,\omega}$. Theorem: Let $T$ be any complete first-order theory in a countable language…

Spielberg's construction of C*-algebras from left cancellative small categories is a common generalization for most C*-algebras one would consider to come from ``combinatorial data,'' including graph and $k$-graph C*-algebras, Li's…

A construction of product measures is given for an arbitrary sequence of measure spaces via outer measure techniques without imposing any condition on the underlying measure spaces. This approach concludes finally the problem of the…

Let $P$ be a unital subsemigroup of a group $G$. We propose an approach to $\mathrm{C}^*$-algebras associated to product systems over $P$. We call the $\mathrm{C}^*$-algebra of a given product system $\mathcal{E}$ its covariance algebra and…

We introduce two new formulations for the notion of "quantum metric on noncommutative space". For a compact noncommutative space associated to a unital C*-algebra, our quantum metrics are elements of the spatial tensor product of the…

Many applications require the collection of data on different variables or measurements over many system performance metrics. We term those broadly as measures or variables. Often data collection along each measure incurs a cost, thus it is…