Quantum Symmetries of Graph C*-algebras Having Maximal Permutational Symmetry

2025-04-21T10:33:44Z

Quantum symmetry of a graph $C^{*}$-algebra $C^{*}(\Gamma)$ corresponding to a finite graph $\Gamma$ has been explored by several mathematicians within different categories in the past few years. In this article, we establish that there are exactly three families of compact matrix quantum groups, containing the symmetric group on the set of edges of the underlying graph $\Gamma$, that can be achieved as the quantum symmetries of graph $C^*$-algebras in the category introduced by Joardar and Mandal. Moreover, we demonstrate that there does not exist any graph $C^*$-algebra associated with a finite graph $\Gamma$ without isolated vertices having $A_{u^t}(F^{\Gamma})$ as the quantum automorphism group of $C^*(\Gamma)$ for a non-scalar matrix $F^{\Gamma}$.

Fixed-point permanence under actions by finite quantum groups

2025-04-20T11:51:15Z

Given an action by a finite quantum group $\mathbb{G}$ on a von Neumann algebra $M$, we prove that a number of familiar $W^*$ properties are equivalent for $M$ and the fixed-point algebra $M^{\mathbb{G}}$ (i.e. hold or not simultaneously for the two algebras); these include being hyperfinite, atomic, diffuse and of type $I$, $II$ or $III$. Moreover, in all cases the canonical central projections of $M$ and $M^{\mathbb{G}}$ cutting out the summand with the respective property coincide. The result generalizes its classical-$\mathbb{G}$ analogue due to Jones-Takesaki.

Primality and the ideal intersection property for reduced crossed products

2025-04-20T02:14:31Z

We consider the ideal structure of reduced crossed products over discrete groups. First, we completely characterize primality for reduced crossed products. Second, we characterize the ideal intersection property for reduced crossed products over FC-hypercentral groups. Both of these characterizations are intrinsic, in terms of conditions on the underlying dynamics. A key intermediate result is a complete characterization of the regular ideal intersection property for reduced crossed products. For C*-dynamical systems over groups with restrictive subgroup structure, these characterizations simplify even further, which we demonstrate with a number of examples.

Linear maps preserving product of involutions

2025-04-19T06:25:39Z

An element of the algebra $M_n(\mathbb{F})$ of $n \times n$ matrices over a field $\mathbb{F}$ is called an involution if its square equals the identity matrix. Gustafson, Halmos, and Radjavi proved that any product of involutions in $M_n(\mathbb{F})$ can be expressed as a product of at most four involutions. In this article, we investigate the bijective linear preservers of the sets of products of two, three, or four involutions in $M_n(\mathbb{F})$.

Interlacing Polynomial Method for Matrix Approximation via Generalized Column and Row Selection

2025-04-18T22:23:55Z

This paper delves into the spectral norm aspect of the Generalized Column and Row Subset Selection (GCRSS) problem. Given a target matrix $\mathbf{A}\in \mathbb{R}^{n\times d}$, the objective of GCRSS is to select a column submatrix $\mathbf{B}_{:,S}\in\mathbb{R}^{n\times k}$ from the source matrix $\mathbf{B}\in\mathbb{R}^{n\times d_B}$ and a row submatrix $\mathbf{C}_{R,:}\in\mathbb{R}^{r\times d}$ from the source matrix $\mathbf{C}\in\mathbb{R}^{n_C\times d}$, such that the residual matrix $(\mathbf{I}_n-\mathbf{B}_{:,S}\mathbf{B}_{:,S}^{\dagger})\mathbf{A}(\mathbf{I}_d-\mathbf{C}_{R,:}^{\dagger} \mathbf{C}_{R,:})$ has a small spectral norm. By employing the method of interlacing polynomials, we show that the smallest possible spectral norm of a residual matrix can be bounded by the largest root of a related expected characteristic polynomial. A deterministic polynomial time algorithm is provided for the spectral norm case of the GCRSS problem. We next focus on two specific GCRSS scenarios: the Generalized Column Subset Selection (GCSS) problem ($r=0$), and the submatrix selection problem ($\mathbf{B}=\mathbf{C}=\mathbf{I}_d$). In the GCSS scenario, we connect the expected characteristic polynomials to the convolution of multi-affine polynomials, leading to the derivation of the first provable reconstruction bound on the spectral norm of a residual matrix. In the submatrix selection scenario, we show that for any sufficiently small $\varepsilon>0$ and any square matrix $\mathbf{A}\in\mathbb{R}^{d\times d}$, there exist two subsets $S\subset [d]$ and $R\subset [d]$ of sizes $O(d\cdot \varepsilon^2)$ such that $\Vert\mathbf{A}_{S,R}\Vert_2\leq \varepsilon\cdot \Vert\mathbf{A}\Vert_2$.

The C$^*$-algebra of a composition reflection

2025-04-18T19:11:54Z

We study the C$^*$ algebra generated by the composition operator $C_a$ acting on the Hardy space $H^2$ of the unit disk, given by $C_af=f\circ\varphi_a$, where $$ \varphi_a(z)=\frac{a-z}{1-\bar{a}z}, $$ for $|a|<1$. Also several operators related to $C_a$ are examined.

Free Inhomogeneous Wreath Product of Compact Quantum Groups

2025-04-18T17:55:03Z

We introduce the free inhomogeneous wreath product of compact matrix quantum groups, which generalizes the free wreath product (Bichon 2004). We use this to present a general technique to determine quantum automorphism groups of connected graphs in terms of their maximal biconnected subgraphs, provided that we have sufficient information about their quantum automorphism groups. We show that this requirement is met for forests, outerplanar graphs, and block graphs leading to algorithms to compute the quantum automorphism groups of these graphs.

Noncommutative properties of 0-hyperbolic graphs

2025-04-18T17:24:24Z

We study several noncommutative properties of 0-hyperbolic graphs. In particular, we prove that 0-hyperbolicity is preserved under quantum isomorphism. We also compute the quantum automorphism groups of 0-hyperbolic graphs and characterise the ones with quantum symmetry.

Boundedness, compactness and Schatten class for Rhaly matrices

2025-04-18T17:01:31Z

In this article we present new proofs for the boundedness and the compactness on $\ell^2$ of the Rhaly matrices, also known as terraced matrices. We completely characterize when such matrices belong to the Schatten class $\mathcal{S}^q(\ell^2)$, for $1

Categories of abstract and noncommutative measurable spaces

2025-04-18T14:12:40Z

Gelfand duality is a fundamental result that justifies thinking of general unital $C^*$-algebras as noncommutative versions of compact Hausdorff spaces. Inspired by this perspective, we investigate what noncommutative measurable spaces should be. This leads us to consider categories of monotone $\sigma$-complete $C^*$-algebras as well as categories of Boolean $\sigma$-algebras, which can be thought of as abstract measurable spaces. Motivated by the search for a good notion of noncommutative measurable space, we provide a unified overview of these categories, alongside those of measurable spaces, and formalize their relationships through functors, adjunctions and equivalences. This includes an equivalence between Boolean $\sigma$-algebras and commutative monotone $\sigma$-complete $C^*$-algebras, as well as a Gelfand-type duality adjunction between the latter category and the category of measurable spaces. This duality restricts to two equivalences: one involving standard Borel spaces, which are widely used in probability theory, and another involving the more general Baire measurable spaces. Moreover, this result admits a probabilistic version, where the morphisms are $\sigma$-normal cpu maps and Markov kernels, respectively. We hope that these developments can also contribute to the ongoing search for a well-behaved Markov category for measure-theoretic probability beyond the standard Borel setting - an open problem in the current state of the art.

Metrics on $C^{\ast}$-algebras of Étale groupoids from length functions

2025-04-18T07:46:38Z

We show that for an \'etale groupoid with compact unit space, the natural Dirac type operator from a continuous length function produces a natural pseudo-metric on the state space of the corresponding reduced $C^{\ast}$-algebra. For a transformation groupoid with a continuous, proper length function with rapid decay, the state space decomposes into genuine metric spaces with a uniform finite diameter fibred over the state space of the compact unit space. Moreover, when the unit space of the transformation groupoid has finitely many points, the metric on each fibre metrizes the weak*-topology.

Hypoellipticit{é} de polyn{ô}mes de champs de vecteurs et conjectures de Helffer etNourrigat

2025-04-18T06:59:11Z

We study here the sub-Riemannian geometry on a manifold $M$ induced by a finite family $F$ of vector fields satisfying the H{\"o}rmander condition, as well as the differential operators obtained as polynomials in the elements of $F$. Such an operator $D$ is hypoelliptic if, for any smooth function $f$, the solutions $u$ of the equation $Du=f$ are also smooth. A more refined notion, that of maximal hypoelliptic operators, extends this property in terms of Sobolev regularity, offering a parallel in sub-Riemannian geometry to elliptic operators. In 1979, Helffer and Nourrigat proposed a conjecture characterizing maximal hypoellipticity, generalizing the main regularity theorem for elliptic operators. This conjecture has recently been confirmed using tools from non-commutative geometry. A central element of this work is a natural generalisation in sub-Riemannian geometry, introduced by Mohsen, of the Connes tangent groupoid, in which appear all the tangent cones, key ingredients in the work of Helffer and Nourrigat. In collaboration with Androulidakis and Yuncken, Mohsen developed a pseudodifferential calculus in this context, introducing in particular the notion of principal symbol. They obtained that the invertibility of this symbol is equivalent to maximal hypoellipticity, thus validating the conjecture. This talk will present the ingredients and broad outlines of these innovative advances.

On cleanness of AW*-algebras

2025-04-18T05:24:17Z

A ring is called clean if every element is the sum of an invertible element and an idempotent. This paper investigates the cleanness of AW*-algebras. We prove that all finite AW*-algebras are clean, affirmatively solving a question posed by Vas. We also prove that all countably decomposable infinite AW*-factors are clean. A *-ring is called almost *-clean if every element can be expressed as the sum of a non-zero-divisor and a projection. We show that an AW*-algebra is almost *-clean if and only if it is finite.

$B$-valued semi-circular system and the free Poincaré inequality

2025-04-18T00:11:14Z

We characterize $B$-valued semi-circular system in terms of $B$-valued free probabilistic analogue of Poincar\'{e} inequality. This is a $B$-valued generalization of Biane's theorem \cite[Theorem 5.1]{b03}. Moreover, we prove that Voiculescu's conjecture on $B$-valued free Poincar\'{e} inequality in \cite{aim06} is not in the affirmative as it is.

Negative resolution to the $C^*$-algebraic Tarski problem

2025-04-17T17:47:21Z

We compute the $K_1$-group of ultraproducts of unital, simple $C^*$-algebras with unique trace and strict comparison. As an application, we prove that the reduced free group $C^*$-algebras $C^*_r(F_m)$ and $C^*_r(F_n)$ are elementarily equivalent (i.e., have isomorphic ultrapowers) if and only if $m = n$. This settles in the negative the $C^*$-algebraic analogue of Tarski's 1945 problem for groups.