# Operator Algebras (math.OA)

• 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.
• 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.
• 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.

Marco Piani Jan 28 2018 11:21 UTC

Hi Mizanur,

thanks to you for taking into account my comment. I am not sure of the jargon and nomenclature in mathematics; are/were the maps that are completely positive and also completely co-positive known as PPT maps? What I was pointing out is that in the quantum information community the nam

...(continued)
Mizanur Rahaman Jan 27 2018 19:06 UTC

Hi Marco, thanks for pointing out the possible confusion. I will make it clear in the revised version. I think in this context what I should clearly state is that I am considering linear maps
which are completely positive and co-completely positive, that is, the map \Phi and \Phi\circleT
are compl

...(continued)
Marco Piani Jan 24 2018 03:34 UTC

Great work! One thing that might potentially confuse readers is the use of "PPT channel" to indicate that the partial action of the channel produces a PPT state. There might be some ambiguity in literature, but many call "PPT channels" those channels that act jointly on two parties, and that preserv

...(continued)
Mizanur Rahaman Jan 23 2018 23:20 UTC

Thanks for the comment. I was not aware of the "entanglement breaking index" paper.
I will include it in a revised version. I will make a remark about the other deduction as well.
Thanks.

Ludovico Lami Jan 19 2018 00:08 UTC

Very nice work, congratulations! I just want to point out that the "index of separability" had already been defined in arXiv:1411.2517, where it was called "entanglement-breaking index" and studied in some detail. The channels that have a finite index of separability had been dubbed "entanglement-sa

...(continued)
Jalex Stark Apr 06 2017 22:46 UTC

However, one should note that I_3322 may be able to do something that this paper doesn't. William's work leaves open the question of whether there are games with infinite-dimensional tensor product strategies but no finite-dimensional ones. Some of us might expect that I_3322 has this property.

Laura Mančinska Mar 28 2017 13:09 UTC

Great result!

For those familiar with I_3322, William here gives an example of a nonlocal game exhibiting a behaviour that many of us suspected (but couldn't prove) to be possessed by I_3322.

Marco Piani Mar 07 2014 14:46 UTC

The author writes "My ideas towards the proof of these results in this paper originates from the observations made by Carlen in [13]". Actually, the first main result is a direct corollary of theorem 2.3 of [13], in the sense of directly applying theorem 2.3 of [13], which regards monotonicity of re

...(continued)