On amplified graph C*-algebras as cores of Cuntz-Krieger algebras

2026-05-01T11:09:33Z

Given a finite directed acyclic graph $R$, we construct from it two graphs $E_R$ and $F_R$, one by adding a loop at every vertex of $R$ and one by replacing every arrow of $R$ by countably infinitely many arrows. We show that the graph C*-algebra $C^*(F_R)$ is isomorphic to the AF core of $C^*(E_R)$. Examples include C*-algebras of a quantum flag manifolds and quantum teardrops. We discuss in detail the quantum Grassmannian $Gr_q(2,4)$ and use our description as AF core to study its CW-structure.

Simplicity of action-based $C^{*}$-algebras from hyperbolic actions

2026-05-01T10:59:34Z

We study the simplicity of $C^{*}$-algebras built from group actions. For a faithful isometric action of a group $G$ on a countable metric space $X$, we use the associated action representation on $\ell^2(X)$ to define the action-based $C^{*}$-algebra $C^{*}_{X}G$. We define generalized versions of the properties $P_{\text{naive}}$ and $P_{\text{analytic}}$ relative to the action and show that the naive form implies the analytic form. We also prove that the properties $P_{\text{analytic}}$ associated with a continuous action ensure the simplicity of the action-based $C^*$-algebra. As an application, we deduce that big mapping class groups satisfy the property $P_{\text{naive}}^{\mathbb{X}}$ and the associated action-based $C^*$-algebra is simple.

Selfless W$^*$-probability spaces and Connes' bicentralizer problem

2026-05-01T07:39:31Z

We introduce the notion of selfless W$^*$-probability space and study its connection with Connes' bicentralizer problem. In particular, we show that if $M$ is a separable type ${\rm III_1}$ factor with trivial bicentralizer, then $(M, \varphi)$ is selfless for every faithful normal state $\varphi \in M_\ast$.

Uniform amenability at infinity

2026-04-30T09:28:16Z

We introduce the notion of uniform exactness, or uniform amenability at infinity, for discrete groups and prove it for a wide class of groups containing free groups and their limit groups. This shows a novel strong convergence phenomenon that any convergent sequence of such groups in the space of marked groups converges strongly in the operator algebraic sense. In particular, convergence of the spectral radius formula is uniform over probability measures on such groups whose supports have a fixed cardinality.

Gromov-Hausdorff Convergence of Spectral Truncations for Quantum Groups

2026-04-30T06:18:26Z

We study the quantum Gromov-Hausdorff convergence of spectral truncations for compact quantum groups. Using a proper length function, we define a Dirac operator and the associated spectral truncations. This work extends the previous convergence results for tori (Leimbach-van Suijlekom) to a broad class of quantum groups, and provides the first Gromov-Hausdorff convergence result for spectral truncations on quantum groups, encompassing both compact and discrete quantum groups. Our results are applicable to $SU(N)$,$SO(N)$ and discrete quantum groups with strong polynomial growth.

A class of Exel--Laca algebras reciprocal to Cuntz--Krieger algebras

2026-04-30T05:32:42Z

The reciprocality means a duality in Kirchberg algebras between K-theory groups and strong extension groups. In the paper, we will find a certain class of unital simple Exel--Laca algebras for which the reciprocal duals are simple Cuntz--Krieger algebras in terms of the underlying infinite matrices. In our procedure to obtain simple Cuntz--Krieger algebras from Exel--Laca algebras, we compute the strong extension groups for Exel--Laca algebras belonging to the class.

Study of Rota-Baxter Operators in Matrix $C^*$-Algebras Motivated by Toeplitz Structures, and Applications to Sliding Mode Control

2026-04-30T02:47:56Z

This paper studies Rota-Baxter operators on the matrix $C^*$-algebra $M_n(\mathbb{C})$, motivated by the discrete Toeplitz algebra (whose role is purely heuristic; see Remark~\ref{rem:toeplitz_scope}). We provide a structural classification of such operators compatible with the $C^*$-norm, analyze their induced Lie brackets, and apply them to deform system matrices in discrete-time delayed systems under sliding mode control. Lyapunov-based Bilinear Matrix Inequality conditions, together with a tractable linear reformulation via $Q=X^{-1}$, guarantee asymptotic stability on the sliding manifold and $\mathcal{L}_2$-gain stability. The effective gain from uncertainty $δ$ to state $x$ is $γ/\sqrtμ$ with $μ=λ_{\min}(-\mathcal{M})>0$ determined \emph{a posteriori}; minimizing $γ$ alone does not minimize this bound, which holds under zero extended initial conditions ($V_0=0$). We work under the standing assumption $m=n$ (square actuation); a supplementary non-degenerate example with $m=1$, $n=2$ illustrates LMI feasibility with $Π\neq0$. All algebraic results are proved directly in $M_n(\mathbb{C})$; no infinite-dimensional reduction is used.

Bimodule KMS Symmetric Quantum Markov Semigroups and Gradient Flows

2026-04-29T22:46:12Z

The bimodule KMS symmetry of a bimodule quantum Markov semigroup extends the classical KMS symmetry of a quantum Markov semigroup. Compared with (bimodule) GNS symmetry, the (bimodule) KMS symmetry retains significantly more of the underlying noncommutativity. In this paper, we study bimodule KMS symmetric quantum Markov semigroups and introduce directional matrices for such semigroups, which reduce to diagonal matrices in the GNS symmetric setting. Using these directional matrices, we establish a corresponding gradient-flow structure. As a consequence, we obtain both a modified logarithmic Sobolev inequality and a Talagrand inequality for bimodule KMS symmetric quantum Markov semigroups.

Operator-Valued Positivstellensätze on Matrix Convex Sets and Free Products of Finite Abelian Groups

2026-04-29T18:01:08Z

We prove a Positivstellensatz for operator-valued noncommutative polynomials that are positive on matrix convex sets. Specifically, let $p$ be an operator-valued polynomial in $B(H)\otimes C$ of degree at most $2d+1$, where $H$ is separable and infinite-dimensional. Let $L(x)=I+\sum_{j=1}^{g} A_j x_j$ be a monic linear operator pencil, and let $D_L=\{X: L(X) \geq 0\}$ be the associated matrix convex set. We show that $p$ is positive on $D_L$ if and only if $p=r^*r+q^*π(L)q$, where $q$ and $r$ have degree at most $d$, and $π$ is a unital completely positive map on the operator system generated by the coefficients of $L$. The proof combines a Hahn--Banach separation argument with a tailored GNS construction. The main challenge is that the separation occurs in the product ultraweak topology, so boundedness of the resulting GNS operators is not automatic. We first handle bounded matrix convex sets, using closedness of the cone of weighted squares in the product ultraweak topology as the key technical input, and then pass to the general unbounded case by an approximation argument. Finally, we apply this convex Positivstellensatz to prove an operator-valued noncommutative Fejer--Riesz theorem on free products of finite abelian groups. The key additional ingredients are the universal $*$-algebra povm(n) associated with POVMs, a perfect Positivstellensatz for povm(n), and Boca's theorem on free products of completely positive maps. As a consequence, every positive operator-valued trigonometric polynomial on a free product of finite abelian groups admits a sum-of-squares factorization with explicit complexity bounds.

Milnor meets Hopf and Toeplitz at the K-theory of quantum projective planes

2026-04-29T17:45:03Z

We explore applications of the celebrated construction of the Milnor connecting homomorphism from the odd to the even K-groups in the context of Hopf--Galois theory. For a finitely generated projective module associated to any piecewise cleft principal comodule algebra, we provide an explicit formula computing the clutching $K_1$-class in terms of the representation matrix defining the module. Thus, the module is determined by an explicit Milnor idempotent. We apply this new tool to the K-theory of quantum complex projective planes to determine their $K_0$-generators in terms of modules associated to noncommutative Hopf fibrations. On the other hand, using explicit homotopy between unitaries, we express the $K_0$-class of the Milnor idempotents in terms of elementary projections in the Toeplitz C*-algebra. This allows us to infer that all our generators are in the positive cone of the $K_0$-group, which is a purely quantum phenomenon absent in the classical case.

On a relationship between orthogonal projections and Toeplitz operators on poly-Bergman spaces of the upper half-plane: vertical symbols

2026-04-29T17:29:20Z

In the context of studying $C^*$-algebras generated by Toeplitz operators acting on the poly-Bergman space $\mathcal{A}^2_{n}(Π)$ of the upper half-plane $Π$, we introduce a system of all-but-one orthogonal projections in generic position. We show that the $C^*$-algebra generated by these orthoprojections is closely related to the $C^*$-algebra generated by all Toeplitz operators with vertical symbols satisfying boundary conditions. This result suggests a new approach in the study of Toeplitz operators acting on other reproducing kernel Hilbert spaces. Furthermore, the range of one of the orthoprojections herein has a reproducing kernel expressed in terms of the digamma and the Nielsen's beta functions. The harmonic function also emerges in this development.

Relation morphisms of directed graphs

2026-04-29T17:27:23Z

Associating graph algebras to directed graphs leads to both covariant and contravariant functors from suitable categories of graphs to the category k-Alg of algebras and algebra homomorphisms. As both functors are often used at the same time, finding a new category of graphs that allows a "common denominator" functor unifying the covariant and contravariant constructions is a fundamental problem. Herein, we solve this problem by first introducing the relation category of graphs RG, and then determining the concept of admissible graph relations that yields a subcategory of RG admitting a contravariant functor to k-Alg simultaneously generalizing the aforementioned covariant and contravariant functors. Although we focus on Leavitt path algebras and graph C*-algebras, on the way we unravel functors to k-Alg given by path algebras, Cohn path algebras and Toeplitz graph C*-algebras from suitable subcategories of RG. Better still, we illustrate relation morphisms of graphs by naturally occurring examples, including Cuntz algebras, quantum spheres and quantum balls.

The graph groupoid of a quantum sphere

2026-04-29T17:19:12Z

Quantum spheres are among the most studied examples of compact quantum spaces, described by C*-algebras which are Cuntz-Krieger algebras of a directed graph, as proved by Hong and Szymański in 2002. About five years earlier, in 1997, Sheu proved that the C*-algebra of a quantum sphere is a groupoid C*-algebra. Here we show that the path groupoid of the directed graph of Hong and Szymański is isomorphic to the groupoid discovered by Sheu.

A generalized infinite quantum Ramsey theorem for operator systems

2026-04-29T17:01:48Z

We prove a generalization of the infinite quantum Ramsey theorem of Kennedy et al. (arXiv:1711.09526), showing that it follows from an archetypical "selective" pattern satisfied by certain families of projections in an infinite-dimensional Hilbert space.

Rota-Baxter Operators on Dual Quaternion Algebra

2026-04-29T16:13:58Z

The purpose of this paper is to determine all Rota-Baxter operators on dual quaternion algebra $\mathcal{H}_d$ over the reals.