We provide a description of the annular representation category of the free product of two rigid C*-tensor categories.

If $\sigma$ is a symmetric mean and $f$ is an operator monotone function on $[0, \infty)$, then $$f(2(A^-1+B^-1)^-1)\le f(A\sigma B)\le f((A+B)/2).$$ Conversely, Ando and Hiai showed that if $f$ is a function that satisfies either one of these inequalities for all positive operators $A$ and $B$ and a symmetric mean different than the arithmetic and the harmonic mean, then the function is operator monotone. In this paper, we show that the arithmetic and the harmonic means can be replaced by the geometric mean to obtain similar characterizations. Moreover, we give characterizations of operator monotone functions using self-adjoint means and general means subject to a constraint due to Kubo and Ando.

In this paper we develop the calculus of pseudo-differential operators corresponding to the quantizations of the form $$ Au(x)=\int_\mathbbR^n\int_\mathbbR^ne^i(x-y)⋅\xi\sigma(x+\tau(y-x),\xi)u(y)dyd\xi, $$ where $\tau:\mathbb{R}^n\to\mathbb{R}^n$ is a general function. In particular, for the linear choices $\tau(x)=0$, $\tau(x)=x$, and $\tau(x)=\frac{x}{2}$ this covers the well-known Kohn-Nirenberg, anti-Kohn-Nirenberg, and Weyl quantizations, respectively. Quantizations of such type appear naturally in the analysis on nilpotent Lie groups for polynomial functions $\tau$ and here we investigate the corresponding calculus in the model case of $\mathbb{R}^n$. We also give examples of nonlinear $\tau$ appearing on the polarised and non-polarised Heisenberg groups, inspired by the recent joint work with Marius Mantoiu.

From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Solér's theorem. The said lattice eventually coincides with the lattice of all orthogonal projectors on a separable Hilbert space over R, C, or over the algebra of quaternions H. Quantum states are $\sigma$-additive probability measures on that non-Boolean lattice. Gleason's theorem proves that, if the Hilbert space is separable with dimension >2 and the Hilbert space is either real or complex, then states are one-to-one with standard density matrices (self-adjoint, positive, unit-trace, trace-class operators). The extension of this result to quaternionic Hilbert spaces was obtained by Varadarajan in 1968. Unfortunately, even if the hard part of the proof is correct, the formulation of this extension is mathematically incorrect. This is due to some peculiarities of the notion of trace in quaternionic Hilbert spaces, e.g., basis dependence, making the theory of trace-class operators in quaternionic Hilbert spaces different from the standard theory in real and complex Hilbert spaces. A minor issue also affects Varadarajan's statement for real Hilbert space formulation. This paper is mainly devoted to present Gleason-Varadarajan's theorem into a technically correct form valid for the three types of Hilbert spaces. After having develped part of the general mathematical technology of trace-class operators in (generally non-separable) quaternionic Hilbert spaces, we prove that only the \em real part of the trace enters the formalism of quantum theories (also dealing with unbounded observables and symmetries) and it can be safely used to formulate and prove a common statement of Gleason's theorem.

Mar 20 2018

math.OA arXiv:1803.06692v1

We give a characterisation of radial Schur multipliers on finite products of trees. The equivalent condition is that a certain generalised Hankel matrix involving the discrete derivatives of the radial function is a trace class operator. This extends Haagerup, Steenstrup and Szwarc's result for trees. The same condition can be expressed in terms of Besov spaces on the torus. We also prove a similar result for products of hyperbolic graphs and provide a sufficient condition for a function to define a radial Schur multiplier on a finite dimensional CAT(0) cube complex.

We show that in order to prove that every second countable locally compact groups with exact reduced group C*-algebra is exact in the dynamical sense (i.e. KW-exact) it suffices to show this for totally disconnected groups.

Mar 20 2018

math.OA arXiv:1803.06601v1

The modular Gromov-Hausdorff propinquity is a distance on classes of modules endowed with quantum metric information, in the form of a metric form of a connection and a left Hilbert module structure. This paper proves that the family of Heisenberg modules over quantum two tori, when endowed with their canonical connections, form a continuous family for the modular propinquity.