Every 2-quasitrace is a trace

2025-01-31T15:32:25Z

A heretofore longstanding open question of Kaplansky was, "Is every Type II_1 AW*-factor a von Neumann algebra?" In this paper, we answer this question in the affirmative. As a consequence, we establish that every 2-quasitrace on a unital C*-algebra is a trace.

The graph groupoid of a quantum sphere

2025-01-31T12:02:30Z

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\'nski 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\'nski is isomorphic to the groupoid discovered by Sheu.

A variant of Šemrl's preserver theorem for singular matrices

2025-01-30T22:00:00Z

For positive integers $1 \leq k \leq n$ let $M_n$ be the algebra of all $n \times n$ complex matrices and $M_n^{\le k}$ its subset consisting of all matrices of rank at most $k$. We first show that whenever $k>\frac{n}{2}$, any continuous spectrum-shrinking map $\phi : M_n^{\le k} \to M_n$ (i.e. $\mathrm{sp}(\phi(X)) \subseteq \mathrm{sp}(X)$ for all $X \in M_n^{\le k}$) either preserves characteristic polynomials or takes only nilpotent values. Moreover, for any $k$ there exists a real analytic embedding of $M_n^{\le k}$ into the space of $n\times n$ nilpotent matrices for all sufficiently large $n$. This phenomenon cannot occur when $\phi$ is injective and either $k > n - \sqrt{n}$ or the image of $\phi$ is contained in $M_n^{\le k}$. We then establish a main result of the paper -- a variant of \v{S}emrl's preserver theorem for $M_n^{\le k}$: if $n \geq 3$, any injective continuous map $\phi :M_n^{\le k} \to M_n^{\le k}$ that preserves commutativity and shrinks spectrum is of the form $\phi(\cdot)=T(\cdot)T^{-1}$ or $\phi(\cdot)=T(\cdot)^tT^{-1}$, for some invertible matrix $T\in M_n$. Moreover, when $k=n-1$, which corresponds to the set of singular $n\times n$ matrices, this result extends to maps $\phi$ which take values in $M_n$. Finally, we discuss the indispensability of assumptions in our main result.

Measure equivalence rigidity of the handlebody groups

2025-01-30T17:54:09Z

Let $V$ be a connected $3$-dimensional handlebody of finite genus at least $3$. We prove that the handlebody group $\mathrm{Mod}(V)$ is superrigid for measure equivalence, i.e. every countable group which is measure equivalent to $\mathrm{Mod}(V)$ is in fact virtually isomorphic to $\mathrm{Mod}(V)$. Applications include a rigidity theorem for lattice embeddings of $\mathrm{Mod}(V)$, an orbit equivalence rigidity theorem for free ergodic measure-preserving actions of $\mathrm{Mod}(V)$ on standard probability spaces, and a $W^*$-rigidity theorem among weakly compact group actions.

The Operator Algebras Mentor Network: Impact of Community-Based Mentoring

2025-01-30T17:04:49Z

This paper aims to determine if membership within the Operator Algebras Mentor Network (OAMN) is beneficial to its members. The OAMN is an international mentoring initiative that offers support in small groups to women and minority genders in the particularly male-dominated field of operator algebras (OA) in mathematics. Expected advantages of membership include raising awareness of the lack of gender diversity in this field, providing advice to mentees by mentors (e.g., pertaining to career or work/life balance), broadening one's network in OA, etc. A questionnaire was sent to OAMN members and a control group of non-members at similar institutions and similar positions to collect their experience with the mentoring initiative and perception of gender dynamics within the OA discipline, together with basic demographics. The initial analysis of the data collected shows that mentoring junior women and other minority genders in the area has a positive effect on mentees' networking ability, self-promotion, and raising awareness of gender issues within OA as a whole.

Measure equivalence rigidity among the Higman groups

2025-01-30T14:38:49Z

We prove that all (generalized) Higman groups on at least $5$ generators are superrigid for measure equivalence. More precisely, let $k\ge 5$, and let $H$ be a group with generators $a_1,\dots,a_k$, and Baumslag-Solitar relations given by $a_ia_{i+1}^{m_i}a_i^{-1}=a_i^{n_i}$, with $i$ varying in $\mathbb{Z}/k\mathbb{Z}$ and nonzero integers $|m_i|\neq |n_i|$ for each $i$. We prove that every countable group which is measure equivalent to $H$, is in fact virtually isomorphic to $H$. A key ingredient in the proof is a general statement providing measured group theoretic invariants for groups acting acylindrically on $\mathrm{CAT}(-1)$ polyhedral complexes with control on vertex and edge stabilizers. Among consequences of our work, we obtain rigidity theorems for generalized Higman groups with respect to lattice embeddings and automorphisms of their Cayley graphs. We also derive an orbit equivalence and $W^*$-superrigidity theorem for all free, ergodic, probability measure-preserving actions of generalized Higman groups.

Even the vague specification property implies density of ergodic measures

2025-01-29T18:13:52Z

We prove that if a topological dynamical system $(X,T)$ is surjective and has the vague specification property, then its ergodic measures are dense in the space of all invariant measures. The vague specification property generalises Bowen's classical specification property and encompasses the majority of the extensions of the specification property introduced so far. The proof proceeds by first considering the natural extension $X_T$ of $(X,T)$ as a subsystem of the shift action on the space $X^\mathbb{Z}$ of $X$-valued biinfinite sequences. We then construct a sequence of subsystems of $X^\mathbb{Z}$ that approximate $X_T$ in the Hausdorff metric induced by a metric compatible with the product topology on $X^\mathbb{Z}$. The approximating subsystems consist of $\delta$-chains for $\delta$ decreasing to $0$. We show that chain mixing implies that each approximating system possesses the classical periodic specification property. Furthermore, we use vague specification to prove that our approximating subsystems of $X^\mathbb{Z}$ converge to $X_T$ in the Hausdorff metric induced the Besicovitch pseudometric. It follows that the simplices of invariant measures of these subsystems of $\delta$-chains converge to the simplex of invariant measures of $X_T$ with respect to a generalised version of Ornstein's $\bar{d}$ metric. What is more, the density of ergodic measures is preserved in the limit. The proof concludes by observing that the simplices of invariant measures for $X_T$ and $(X,T)$ coincide. The approximation technique developed in this paper appears to be of independent interest.

Weyl groups of groupoid C*-algebras

2025-01-29T16:10:13Z

In the theory of C*-algebras, the Weyl groups were defined for the Cuntz algebras and graph algebras by Cuntz and Conti et al. respectively. In this paper, we introduce and investigate the Weyl groups of groupoid C*-algebras as a natural generalization of the existing Weyl groups. Then we analyse several groups of automorphisms on groupoid C*-algebras. Finally, we apply our results to Cuntz algebras, graph algebras and C*-algebras associated with Deaconu-Renault systems.

Equivariant isomorphism of Quantum Lens Spaces of low dimension

2025-01-29T11:58:29Z

The quantum lens spaces form a natural and well-studied class of noncommutative spaces which can be subjected to classification using algebraic invariants by drawing on the fully developed classification theory of unital graph $C^*$-algebras. We introduce the problem of deciding when two quantum lens spaces are equivariantly isomorphic, and solve it in certain basic cases. As opposed to classification up to isomorphism, we can not appeal to a complete general classification theory in the equivariant case, but by combining existing partial results with an ad hoc analysis we can solve the case with dimension 3 completely, and the case with dimension 5 in the prime case. Our results can be formulated directly in terms of the parameters defining the quantum lens spaces, and here occasionally take on a rather complicated form which convinces us that there is a deep underlying explanation for our findings. We complement the fully established partial results with computer experiments that may indicate the way forward.

On the best constants of Schur multipliers of second order divided difference functions

2025-01-28T11:43:04Z

We give a new proof of the boundedness of bilinear Schur multipliers of second order divided difference functions, as obtained earlier by Potapov, Skripka and Sukochev in their proof of Koplienko's conjecture on the existence of higher order spectral shift functions. Our proof is based on recent methods involving bilinear transference and the H\"ormander-Mikhlin-Schur multiplier theorem. Our approach provides a significant sharpening of the known asymptotic bounds of bilinear Schur multipliers of second order divided difference functions. Furthermore, we give a new lower bound of these bilinear Schur multipliers, giving again a fundamental improvement on the best known bounds obtained by Coine, Le Merdy, Potapov, Sukochev and Tomskova. More precisely, we prove that for $f \in C^2(\mathbb{R})$ and $1 < p, p_1, p_2 < \infty$ with $\frac{1}{p} = \frac{1}{p_1} + \frac{1}{p_2}$ we have \[ \Vert M_{f^{[2]}}: S_{p_1} \times S_{p_2} \rightarrow S_p \Vert \lesssim \Vert f'' \Vert_\infty D(p, p_1, p_2), \] where the constant $D(p, p_1, p_2)$ is specified in Theorem 7.1 and $D(p, 2p, 2p) \approx p^4 p^\ast$ with $p^\ast$ the H\"older conjugate of $p$. We further show that for $f(\lambda) = \lambda \vert \lambda \vert$, $\lambda \in \mathbb{R}$, for every $1 < p < \infty$ we have \[ p^2 p^\ast \lesssim \Vert M_{f^{[2]}}: S_{2p} \times S_{2p} \rightarrow S_p \Vert. \] Here $f^{[2]}$ is the second order divided difference function of $f$ with $M_{f^{[2]}}$ the associated Schur multiplier. In particular it follows that our estimate $D(p, 2p, 2p)$ is optimal for $p \searrow 1$.

Trace of Multi-variable Matrix Functions and its Application to Functions of Graph Spectrum

2025-01-28T02:35:50Z

Matrix extension of a scalar function of a single variable is well-studied in literature. Of particular interest is the trace of such functions. It is known that for diagonalizable matrices, $M$, the function $g(M) = \text{Tr}(f(M)) = \sum_{j=1}^n f(\mu_j)$ (where $\{\mu_j\}_{j=1,2,\cdots,n}$ are the eigenvalues of $M$) inherits the monotonocity and convexity properties of $f$ (i.e., for $g$ to be convex, $f$ need not be operator convex -- convexity is sufficient). In this paper we formalize the idea of matrix extension of a function of multiple variables, study the monotonicity and convexity properties of the trace, and thus show that a function of form $g(M) = \sum_{j_1=1}^n \sum_{j_2=1}^n \cdots \sum_{j_m=1}^n f(\mu_{j_1}, \mu_{j_2},\cdots, \mu_{j_m})$ also inherits the monotonocity and convexity properties of the multi-variable function, $f$. We apply these results to functions of the spectrum of the weighted Laplacian matrix of undirected, simple graphs.

Separation properties for positive-definite functions on locally compact quantum groups and for associated von Neumann algebras

2025-01-27T08:50:58Z

Using Godement mean on the Fourier-Stieltjes algebra of a locally compact quantum group we obtain strong separation results for quantum positive-definite functions associated to a subclass of representations, strengthening for example the known relationship between amenability of a discrete quantum group and existence of a net of finitely supported quantum positive-definite functions converging pointwise to $I$. We apply these results to show that von Neumann algebras of unimodular discrete quantum groups enjoy a strong form of non-$w^*$-CPAP, which we call the matrix $\epsilon$-separation property.

K-closedness results in noncommutative Lebesgue spaces with filtrations

2025-01-26T23:17:34Z

In this paper, we establish a new general $K$-closedness result in the context of real interpolation of noncommutative Lebesgue spaces involving filtrations. As an application, we derive $K$-closedness results for various classes of noncommutative martingale Hardy spaces, addressing a problem raised by Randrianantoanina. The proof of this general result adapts Bourgain's approach to the real interpolation of classical Hardy spaces on the disk within the framework of noncommutative martingales.

The continuous functional calculus in Lean

2025-01-26T18:51:39Z

The continuous functional calculus is perhaps the most fundamental construction in the theory of operator algebras, especially $C^{*}$-algebras. Here we document our formalization of the continuous functional calculus in Lean, which constitutes the first such formalization in any proof assistant. Our implementation is already merged into Lean's mathematical library, Mathlib. We provide a brief introduction to the mathematical theory for those unfamiliar with the subject, and then highlight the design decisions in our formalization which proved to be important for usability. Our exposition is aimed at a general mathematical audience and provides a glimpse into the world of formalization by laying bare the discovery process.

More examples of additivity violation of the regularized minimum output entropy in the commuting-operator setup

2025-01-26T09:26:18Z

We generalize recent results of Collins and Youn (2022), presenting new classes of quantum channels violating the additivity of the regularized minimum output entropy in the commuting-operator setup.