# Operator Algebras (math.OA)

• We show that if A_1,A_2,..., A_n are either unitary or self-adjoint matrices that almost commute with respect to the rank metric, then one can find commuting matrices B_1,B_2,..., B_n that are close to the matrices A_i in the rank metric.
• In this article, the notion of bi-monotonic independence is introduced as an extension of monotonic independence to the two-faced framework for a family of pairs of algebras in a non-commutative probability space. Moreover, the associated cumulants are defined and a moment-cumulant formula is derived in the bi-monotonic setting. In addition, a bi-monotonic analogue of the Lévy-Hinčin formula is presented in terms of continuous one-parameter additive bi-monotonic convolution semigroups of planar Borel probability measures.
• We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, considerations on the number of components of a random meandric system of order $n$ translate into considerations about the distance between two random partitions in $NC(n)$. We focus on a class of couples $(\pi,\rho)\in NC(n)^2$ -- namely the ones where $\pi$ is conditioned to be an interval partition -- for which it turns out to be tractable to study distances in the Hasse diagram. As a consequence, we observe a non-trivial class of meanders (i.e. connected meandric systems), which we call "meanders with shallow top", and which can be explicitly enumerated. Moreover, the expected number of components for a random "meandric system with shallow top", is asymptotically $(9n+28)/27$. A variation of the methods used in the shallow-top case yields non-trivial bounds on the expected number of components of a general (unconditioned) random meandric system of order $n$. We show this expected number falls inside $(0.17n,0.51n)$ for large enough $n$. Our calculations here are related to the idea of taking the derivative at $t=1$ in a semigroup for the operation $\boxplus$ of free probability (but the underlying considerations are presented in a self-contained way). Another variation of these methods goes by fixing a "base-point" $\lambda_{n}$, where $\lambda_{n}$ is an interval partition in $NC(n)$, and by focusing on distances in the Hasse diagram of $NC(n)$ which are measured from $\lambda_{n}$. We illustrate this by determining precise formulas for the average distance to $\lambda_{n}$ and for the cardinality of $\{\rho\in NC(n)\mid\rho$ at maximal distance from $\lambda_{n}\}$ in the case when $n$ is even and $\lambda_{n}$ is the partition with blocks $\{1,2\},\{3,4\},\ldots,\{n-1,n\}$.
• A simple Steinberg algebra associated to an ample Hausdorff groupoid is algebraically purely infinite if and only if the characteristic functions of compact open subsets of the unit space are infinite idempotents. If a simple Steinberg algebra of the groupoid is algebraically purely infinite, then the reduced groupoid $C^*$-algebra is simple and purely infinite. We apply our results to the algebras of higher-rank graphs.

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)