# Operator Algebras (math.OA)

• We prove that every positive bounded invertible Wiener-Hopf operator admits triangular factorization. This answers the question posed by L.Sakhnovich in 1994.
• A locally compact group $G$ is called Hermitian if the spectrum ${\rm Sp}_{L^1(G)}(f)\subseteq\mathbb R$ for every $f\in L^1(G)$ satisfying $f=f^*$, and called quasi-Hermitian if ${\rm Sp}_{L^1(G)}(f)\subseteq\mathbb R$ for every $f\in C_c(G)$ satisfying $f=f^*$. We show that every quasi-Hermitian locally compact group is amenable. This, in particular, confirms the long-standing conjecture that every Hermitian locally compact group is amenable, a problem that has remained open since the 1960s. Our approach involves introducing the theory of "spectral interpolation of triple Banach $*$-algebras" and applying it to a family ${\rm PF}_p^*(G)$ ($1\leq p\leq \infty$) of Banach $*$-algebras related to convolution operators that lie between $L^1(G)$ and $C^*_r(G)$, the reduced group C$^*$-algebra of $G$. We show that if $G$ is quasi-Hermitian, then ${\rm PF}_p^*(G)$ and $C^*_r(G)$ have the same spectral radius on Hermitian elements in $C_c(G)$ for $p\in (1,\infty)$, and then deduce that $G$ must be amenable. When $G$ is a non-amenable group with either rapid decay or Kunze-Stein property, we prove the stronger statement that ${\rm PF}_p^*(G)$ is not "quasi-Hermitian relative to $C_c(G)$" unless $p=2$.
• Factorization in algebra is an important problem. In this paper, we first obtain a unique factorization in free Nijenhuis algebras. By using of this unique factorization, we then define a coproduct and a left counital bialgebraic structure on a free Nijenhuis algebra. Finally, we prove that this left counital bialgebra is connected and hence obtain a left counital Hopf algebra on a free Nijenhuis algebra.
• In this paper, we establish a precise connection between higher rho invariants and delocalized eta invariants. Given an element in a discrete group, if its conjugacy class has polynomial growth, there is natural trace map on the $K_0$-group of its group $C^\ast$-algebra. For each such trace map, we construct a determinant map on secondary higher invariants. We show that, under the evaluation of this determinant map, the image of a higher rho invariant is precisely the delocalized eta invariant of Lott. As a consequence, we show that if the Baum-Connes conjecture holds for the group, then delocalized eta invariants take values in algebraic numbers. We also generalize Lott's delocalized eta invariant even when the corresponding conjugacy class does not have polynomial growth, provided that the strong Novikov conjecture holds for the group.

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)