Weyl asymptotic formulas in the nilpotent Lie group setting

2026-05-10T04:02:55Z

The asymptotic properties of negative order pseudo-differential operators have been an important part of the spectral theory since H.Weyl's classical results. In this paper, we derive a spectral asymptotic formula for the negative fractional powers of hypoelliptic operators on graded Lie groups. Such operators have anisotropically homogeneous principal symbols; for these, our results generalize known results of Birman and Solomyak from 1977. Additionally, our work implies a version of Connes' integration formula for hypoelliptic operators on graded Lie groups. Our methods allow us to extend results from constant-coefficient operators to those with smoothly varying coefficients. The principal technique is to adapt the singular value perturbation arguments of Birman and Solomyak to the setting of nilpotent Lie groups. The decomposing of graded Lie groups is inspired by Folland and Stein in their development of harmonic analysis on homogeneous groups.

Brownian motion on reflection quantum groups. Construction and cutoff

2026-05-09T23:31:47Z

T. In this study, we construct an analog of the Brownian motion on free reflection quantum groups and compute its cutoff profile.

Rapid Decay Subalgebras of C$^*$-Algebras

2026-05-09T14:43:22Z

We introduce a general scheme of constructing smooth subalgebras of C$^*$-algebras that are closed under the smooth calculus of self-adjoint elements. We illustrate the scheme with a number of examples.

Recoverable states on von-Neumann algebras

2026-05-09T09:33:39Z

Let $(\mathcal{M},τ)$ and $(\mathcal{N},τ^{\prime})$ be tracial von-Neumann algebras and let $φ:\mathcal{M}\to\mathcal{N}$ be a strictly completely positive, trace preserving map. Given a positive, invertible $B\in\mathcal{M}$ with $τ(B)=1$, a state on $\mathcal{M}$ given by a positive $A\in L^1(\mathcal{M}, τ)$ is said to be recoverable if $\mathcal{R}(φ(A))=A$ where $\mathcal{R}$ is the Petz recovery map corresponding to $B$ and $φ$. In this paper, we study recoverable states and show how an arbitrary state can be made close to a recoverable state via iterates of $\mathcal{R}\circφ$. We show that there exists a completely positive, trace preserving map $ψ:\mathcal{M}\to\mathcal{M}$ such that $ψ(A)$ is recoverable for all $A$ and $(\mathcal{R}\circφ)^n\toψ$ in norm as operators on $L^p(\mathcal{M},τ)$ for all $1\,\textless p\,\textless\infty$, and discuss potential applications to quantum information theory. We also show that this convergence holds strongly in $L^1$. Finally, we prove an interesting decomposition theorem for normal states on $\mathcal{M}$.

Quantum hypergroups arising from ergodic coactions

2026-05-08T20:26:59Z

Given a locally compact quantum group $\mathbb{G}$ and an ergodic, integrable action $L^\infty(\mathbb{X})\stackrelα\curvearrowleft \mathbb{G}$, the von Neumann algebra $L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}}):= L^\infty(\mathbb{X})\square \overline{L^\infty(\mathbb{X})}$ is shown to carry a natural normal ucp coassociative map $Δ_{\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}}}: L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}})\to L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}})\bar{\otimes} L^\infty(\mathbb{X}\times_{\mathbb{G}}\bar{\mathbb{X}})$. Restricting to the class of compact quantum groups, this provides a large class of new examples of (analytical) compact quantum hypergroups. We provide characterizations of coamenability for these compact quantum hypergroups, making use of the theory of equivariant correspondences.

Matrix-Test Duality: A Support-Function Characterization for $C^*$-Convex Families of CP Maps

2026-05-08T19:46:03Z

We develop a matrix-test dual framework for $C^*$-convex families of completely positive maps $\CP(\mathscr S,\mathscr T)$, where $\mathscr S$ is an operator system and $\mathscr T$ is a unital $C^*$-algebra. Matrix tests $(k,f,s)$ induce evaluation functionals $Φ\mapsto f(Φ_k(s))$ and generate a natural weak topology $τ=σ(\mathcal E,\mathcal F)$ on $\mathcal E=\mathrm{span}_{\mathbb C}(\CP(\mathscr S,\mathscr T))$. Our main result provides a support-function/separation characterization of the $τ$-closed $C^*$-convex hull $\overline{\cconv(\mathcal K)}^{\,τ}$ of a family $\mathcal K\subseteq \CP(\mathscr S,\mathscr T)$ in terms of matrix-test inequalities. A key technical tool is a finite-dimensional folding procedure that compresses finite linear combinations of test functionals into a single higher-level matrix test. As consequences, we obtain a single-test witness for non-membership, support-function criteria for inclusion and equality of $τ$-closed $C^*$-convex hulls, and, under $0\in\overline{\cconv(\mathcal K)}^{\,τ}$, an exact normalized bipolar-type reconstruction statement. We also show that $τ$ is already generated by level-$1$ tests, although higher matrix levels remain essential in the geometric test inequalities.

Functoriality of the KSGNS Construction for Intertwiners of Strict Positive $C^*$-Correspondences

2026-05-08T16:57:49Z

We prove that the KSGNS construction can be viewed as an endofunctor on a category whose objects are positive $C^*$-correspondences from a fixed $C^*$-algebra and morphisms are given by intertwiners which account for automorphisms of the fixed $C^*$-algebra. Using this perspective, we provide a functorial perspective for strict positive equivariant $C^*$-correspondences of $C^*$-dynamical systems and show every strict positive equivariant $C^*$-correspondence of $C^*$-dynamical systems unitarily uniquely dilates under the KSGNS construction to an equivariant $C^*$-correspondence of the dynamical systems.

The real and stable rank of tracially complete C*-algebras

2026-05-08T14:09:51Z

We prove that a factorial tracially complete C*-algebra with CPoU has real rank zero and stable rank one. This leads to an essentially complete description of the Cuntz semigroup of these algebras. In particular, the results of this paper hold for the uniform tracial completions of $\mathcal{Z}$-stable C*-algebras.

Schur bounded patterns and submajorisation

2026-05-08T10:36:18Z

We characterise the Schur bounded patterns of ideals of compact operators that are not closed under submajorisation, in particular the Schatten ideals $\mathcal{C}_p$ with $0

Sections and cones

2026-05-08T08:02:57Z

By Bartle-Graves theorem every surjective map between C*-algebras has a continuous section, and Loring proved that that there exists a continuous section of norm arbitrary close to 1. Here we prove that there exists a continuous section of norm exactly 1. This result is used in the second part of the paper which is devoted to properties of cone C*-algebras. It is proved that any $\ast$-homomorphism from the cone over a separable C*-algebra to a quotient C*-algebra always lifts to a contractive asymptotic homomorphism. As an application we give a short proof and strengthen the result of Forough-Gardella-Thomsen that states that any cpc (order zero) map has an asymptotically cpc (order zero, respectively) lift. As another application we give unified proofs of Voiculescu's result that cones are quasidiagonal and Brown-Carrion-White's result that all amenable traces on cones are quasidiagonal. We also prove that all hyperlinear traces on cones are MF.

Homotopy lifting, asymptotic homomorphisms, and traces

2026-05-08T07:55:06Z

The following homotopy lifting theorem is proved: Let $φ, ψ: B \to D/I$ be homotopic $\ast$-homomorphisms and suppose $ψ$ lifts to a (discrete) asymptotic homomorphism. Then $φ$ lifts to a (discrete) asymptotic homomorphism. Moreover the whole homotopy lifts. We also prove a cp version of this theorem and a version where $φ$ is replaced by an asymptotic homomorphism. We obtain a lifting characterization of several important properties of C*-algebras and use them together with the lifting theorem to get the following applications: 1) MF-property is homotopy invariant; 2) If either $A$ or $B$ is exact, $A$ is homotopy dominated by $B$ and all amenable traces on $B$ are quasidiagonal, then all amenable traces on $A$ are quasidiagonal; 3) If a C*-algebra $A$ is homotopy dominated by a nuclear C*-algebra $B$ and all (hyperlinear) traces on $B$ are MF, then all hyperlinear traces on $A$ are MF. 4) Some of the extension groups introduced by Manuilov and Thomsen coincide. 5) The C*-algebra $qA$ from Cuntz's picture of KK-theory is always quasidiagonal.

Nuclear C*-algebras: 99 problems

2026-05-08T00:44:03Z

We present a collection of questions related to the structure and classification of nuclear C*-algebras.

Real decomposable maps on operator systems

2026-05-07T22:49:48Z

We initiate and study the theory of ``real decomposable maps" between real operator systems. Formally, this is new even in the complex case, which hitherto has restricted itself to the case where the systems are complex C*-algebras. We investigate how our definition interacts with the existing theory (which it generalizes) and with the complexification. In particular, a surprising term appears in the `Jordan decomposition' of real decomposable maps. This term constitutes a new class of completely bounded maps, a class that also showed up in disguised form in our recent study of real noncommutative (nc) convexity, and whose theory is likely to have applications in that subject. We also check the real case of many important known results related to decomposability, for example results about the weak expectation property or injectivity of von Neumann algebras.

The Quasi-linearity problem for Jordan-Banach algebras: a topological characterization

2026-05-07T12:29:48Z

Let $\mathfrak{J}$ be a JB$^*$-algebra with no quotients isomorphic to $S_2(\mathbb{C})$. Let $μ$ be a local quasi-linear Jordan functional on $\mathfrak{J}_{sa}$. We show that $μ$ is a linear functional on $\mathfrak{J}_{sa}$ if and only if the restriction of $μ$ to the closed unit ball of $\mathfrak{J}_{sa}$ is uniformly weakly continuous.

Geometric Means and Lebesgue-type Decomposition of Completely Positive Maps

2026-05-07T11:14:32Z

We introduce the geometric mean and the parallel sum of completely positive (CP) maps on von Neumann algebras, based on the Pusz--Woronowicz theory of positive sesquilinear forms. We provide a concrete characterization via a block matrix positivity condition and establish their fundamental properties, including the AM--GM--HM inequality with respect to the CP order. In finite-dimensional settings, our construction is compatible with the Choi--Jamiolkowski correspondence, under which the geometric mean of CP maps corresponds to the Kubo--Ando geometric mean of their Choi matrices. This yields a natural operator-theoretic framework for interpolating quantum channels. As an application, we obtain index-type inequalities for conditional expectations in subfactor theory. Finally, we establish a Lebesgue-type decomposition of CP maps via a parallel sum construction, thereby providing a unified framework that simultaneously generalizes Ando's decomposition of bounded positive operators and Kosaki's decomposition of normal positive functionals on von Neumann algebras.