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

2026-03-19T14:03:48Z

Let $f \in C^n(\mathbb{R})$ be such that $\Vert f^{(n)} \Vert_\infty < \infty$. Let $f^{[n]} \in C(\mathbb{R}^{n+1})$ be the $n$th order divided difference. A special case of our main result states that for $1 < p < \infty$ we have \[\Vert T_{f^{[n]}}: S_{np} \times \ldots \times S_{np} \rightarrow S_{p} \Vert \lesssim p^\ast p^n \Vert f^{(n)} \Vert_\infty, \] where $p^\ast = p/(p-1)$ is the Hölder conjugate of $p$ and $T_{f^{[n]}}$ is the multilinear Schur multiplier with symbol $f^{[n]}$. In case of the generalized absolute value map $f(λ) = λ^{n-1} \vert λ\vert, λ\in \mathbb{R}$, we show that \[p^\ast p^{n} \lesssim \Vert T_{f^{[n]}}: S_{np} \times \ldots \times S_{np} \rightarrow S_{p} \Vert.\] This provides an alternative proof to one of the key theorems in the solution of Koplienko's problem on higher order spectral shift [Invent. Math. 193, No. 3, 501-538 (2013)], which is moreover sharp as $p \searrow 1$ and as $p \to\infty$ for any $n$.

Positivity is undecidable in tensor products of free algebras

2026-03-18T17:14:49Z

It is well known that an element of the algebra of noncommutative *-polynomials is positive in all *-representations if and only if it is a sum of squares. This provides an effective way to determine if a given *-polynomial is positive, by searching through sums of squares decompositions. We show that no such procedure exists for the tensor product of two noncommutative *-polynomial algebras: determining whether a *-polynomial of such an algebra is positive is coRE-hard. We also show that it is coRE-hard to determine whether a noncommutative *-polynomial is trace-positive. Our results hold if noncommutative *-polynomial algebras are replaced by other sufficiently free algebras such as group algebras of free groups or free products of cyclic groups.

Pseudodifferential operators and the Connes-Kasparov isomorphism

2026-03-18T12:31:47Z

We compute the K-theory of the C*-category generated by order zero, equivariant, properly supported, classical pseudodifferential operators acting on sections of homogeneous bundles over the symmetric space of a real reductive Lie group G. Our result uses the Connes-Kasparov isomorphism for G, and in fact is equivalent to the Connes-Kasparov isomorphism. We relate our computation to David Vogan's well-known parametrization of the tempered irreducible representations of G with real infinitesimal character. When the reductive group G has real rank one, we formulate and prove a Fourier isomorphism theorem for equivariant order zero pseudodifferential operators on the symmetric space, and use it to prove a K-theoretic version of Vogan's theorem.

On Bi-R-Diagonal Pairs of Operators

2026-03-18T09:07:45Z

We study the properties of the analogue of R-diagonal operators in the setting of bi-free probability. Products of bi-R-diagonal pairs of operators that are $*$-bi-free are studied and powers of such pairs are found to also be bi-R-diagonal. It is moreover shown that the joint $*$-distribution of a bi-R-diagonal pair of operators remains invariant under the multiplication by a $*$-bi-free bi-Haar unitary pair and equivalent characterizations of bi-R-diagonal pairs are developed.

Linear maps preserving product of involutions

2026-03-18T04:06:10Z

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})$.

Normal coactions extend to the C*-envelope

2026-03-17T23:55:47Z

We show that a normal coaction of a discrete group on an operator algebra extends to a normal coaction on the C*-envelope. This resolves an open problem attempted by several experts in the area, and provides a more direct proof of a prominent result of Sehnem. As an application, we resolve a question of X. Li, where we identify the C*-envelopes of the operator algebras of groupoid-embeddable categories and of cancellative right LCM monoids. This latter class includes many examples of monoids that are not group-embeddable.

Covariant quantum combinatorics with applications to zero-error communication

2026-03-17T20:41:10Z

We develop the theory of quantum (a.k.a. noncommutative) relations and quantum (a.k.a. noncommutative) graphs in the finite-dimensional covariant setting, where all systems (finite-dimensional $C^*$-algebras) carry an action of a compact quantum group $G$, and all channels (completely positive maps preserving the canonical $G$-invariant state) are covariant with respect to the $G$-actions. We motivate our definitions by applications to zero-error quantum communication theory with a symmetry constraint. Some key results are the following: 1) We give a necessary and sufficient condition for a covariant quantum relation to be the underlying relation of a covariant channel. 2) We show that every quantum confusability graph with a $G$-action (which we call a quantum $G$-graph) arises as the confusability graph of a covariant channel. 3) We show that a covariant channel is reversible precisely when its confusability $G$-graph is discrete. 4) When $G$ is quasitriangular (this includes all compact groups), we show that covariant zero-error source-channel coding schemes are classified by covariant homomorphisms between confusability $G$-graphs.

On the involutive Banach algebra associated to topologically free dynamical systems

2026-03-17T18:22:37Z

Given an action $G \curvearrowright X$ of a discrete and countable infinite group $G$ on a compact and Hausdorff space $X$, we regard $\ell^1(G\curvearrowright X)$ as the Banach *-algebra crossed product associated to the action. We characterize topological freeness of the action by showing that it is equivalent to every nontrivial closed ideal of $\ell^1(G\curvearrowright X)$ intersecting $C(X)$ nontrivially. Most surprisingly, we show that when $G$ is torsion-free and abelian, $\ell^1(G\curvearrowright X)$ can detect freeness of $G \curvearrowright X$: indeed, we show that $G\curvearrowright X$ is free if and only if every closed ideal of $\ell^1(G\curvearrowright X)$ is self-adjoint, a property that is automatic in $C^*$-algebras. We also show with an example that this result does not hold beyond the torsion-free abelian case.

A note on Pisier's method in interpolation of abstract Hardy spaces

2026-03-17T17:03:26Z

In his approach to Jones theorem on the interpolation of Hardy spaces on the torus, Pisier introduced an original method allowing the computation of complex interpolation spaces by means of real interpolation techniques. This approach has been successfully extended to noncommutative analytic Hardy spaces arising from subdiagonal algebras. In this paper, we formulate and prove an abstract version of Pisier s method in a more general setting. The method is then applied in the study of noncommutative martingale transforms.

On free actions of discrete quantum groups

2026-03-17T15:57:09Z

R. Ellis showed in 1960 that every discrete group acts freely on its Stone-Cech compactification. We extend this result to discrete quantum groups with low duals. The method of proof is different from the earlier proofs in the classical case, using the definition of freeness given by D. A. Ellwood in the setting of noncommutative geometry.

Quadratic & additive mappings on operator commuting elements in JBW*-algebras

2026-03-17T15:45:33Z

Let $\mathfrak{A}$ and $\mathfrak{B}$ be JBW$^*$-algebras whose sets of unitaries are denoted by $\mathcal{U}(\mathfrak{A})$ and $\mathcal{U}(\mathfrak{B})$, respectively. We show that $\mathcal{U}(\mathfrak{A})$ is closed for Jordan products of operator commuting pairs inside itself. Assuming that $\mathfrak{A}$ and $\mathfrak{B}$ are JBW$^*$-algebras without direct summands of type $I_1$ or $I_2$, we prove that for each bicontinuous bijection $Φ: \mathcal{U}(\mathfrak{A}) \rightarrow \mathcal{U}(\mathfrak{B})$ satisfying $Φ(u \circ v) = Φ(u)\circ Φ(v),$ whenever $u$ and $v$ are operator commuting unitaries in $\mathfrak{A}$, there exist a linear Jordan $^*$-isomorphism $θ: \mathfrak{A} \rightarrow \mathfrak{B}$, a real linear mapping $β: \mathfrak{A_{sa}}\rightarrow Z(\mathfrak{B}_{sa})$, and an invertible central element $c \in \mathfrak{B}_{sa}$ such that $$ Φ(e^{i a}) = e^{i β(a)}\circ e^{i c\circθ(a)} = e^{i β(a)} \circ θ\left( e^{i θ^{-1}( c )\circ a}\right),$$ for all $a\in \mathfrak{A}_{sa}$. The conclusion improves when $\mathfrak{A}$ is a JBW$^*$-algebra factor not of type $I_2$.

On dense subalgebras of the singular ideal in groupoid C*-algebras

2026-03-17T01:27:32Z

We prove that ideals in amenable second-countable non-Hausdorff étale groupoid $C^*$-algebras are determined by their isotropy fibres. As an application, we characterise when the singular functions in Connes' algebra are dense in the singular ideal in terms of a property of explicit ideals in the isotropy group $C^*$-algebras. We then show this density property holds for all $C^*$-algebras of groupoids with finite-by-nilpotent isotropy groups.

Quantum isometry groups of log-Laplacians on Cuntz--Krieger algebras

2026-03-16T18:23:06Z

We compute the quantum isometry groups of Cuntz--Krieger algebras endowed with the spectral triples coming from the Ahlfors regular structure of the underlying topological Markov chain. This allows us to exhibit a new family of compact quantum groups, mixing features from quantum automorphism groups of graphs and easy quantum groups. Contrary to the classical isometry groups, whose actions on the Cuntz--Krieger algebras are never ergodic, the quantum isometry group acts ergodically in the case of the Cuntz algebra. This also leads to the construction of a (genuinely quantum) ergodic action of a compact matrix quantum group on the Cantor space.

Orbit misbehavior, isotropy discontinuity, and large isotypic components

2026-03-16T14:16:56Z

Let $\mathbb{G}$ be a compact Hausdorff group acting on a compact Hausdorff space $X$, $α$ an irreducible $\mathbb{G}$-representation, and $C(X)$ the $C^*$-algebra of complex-valued continuous functions on $X$. We prove that the isotypic component $C(X)_α$ is finitely generated as a module over the invariant subalgebra $C(X/\mathbb{G})\subseteq C(X)$ precisely when the map sending $x\in X$ to the dimension of the space of vectors in $α$ invariant under the isotropy group $\mathbb{G}_x$ is locally constant. This (a) specializes back to an observation of De Commer-Yamashita equating the finite generation of all $C(X)_α$ with the Vietoris continuity of $x\mapsto \mathbb{G}_x$, and (b) recovers and extends Watatani's examples of infinite-index expectations resulting from non-free finite-group actions. We also show that the action of a compact group $\mathbb{G}$ on the maximal equivariant compactification on the disjoint union of its Lie-group quotients has tubes about all orbits precisely when $\mathbb{G}$ is Lie. This is the converse (via a canonical construction) of the well-known fact that actions of compact Lie groups on Tychonoff spaces admit tubes.

Empirical bounds for commuting dilations of free unitaries and the universal commuting dilation constant

2026-03-16T13:46:01Z

For a tuple $T$ of Hilbert space operators, the 'commuting dilation constant' is the smallest number $c$ such that the operators of $T$ are a simultaneous compression of commuting normal operators of norm at most $c$. We present numerical experiments giving a strong indication that the commuting dilation constant of a pair of independent random $N{\times}N$ unitary matrices converges to $\sqrt2$ as $N \to \infty$ almost surely. Under the assumption that this is the case, we prove that the commuting dilation constant of an arbitrary pair of contractions is strictly smaller than $2$. Our experiments are based on a simple algorithm that we introduce for the purpose of computing dilation constants between tuples of matrices.