Searcharxiv⌕ Search

arXiv subjects

Rui Okayasu

Publications and source records attributed to Rui Okayasu.

10 recordsLinked to original sources
arXiv2026

Operator-valued maximal $f$-divergences for completely positive maps

We introduce an operator-valued maximal f-divergence for completely positive (CP) maps between von Neumann algebras, associated with an operator convex function f on (0,+infinity). The construction takes values in the extended lower-semibounded self-adjoint part of the codomain von Neumann algebra. We prove independence of the common CP upper bound used in its computation, joint subadditivity, monotonicity under unital precomposition and normal postcomposition, a martingale convergence theorem for normal CP maps, and joint lower semicontinuity in the point-sigma-weak topology. For normal positive functionals, our construction recovers Hiai's maximal f-divergence. As a consequence, we establish its joint weak lower semicontinuity for arbitrary von Neumann algebras, answering a question left open by Hiai. For eta(t)=t log t, we obtain an operator-valued Belavkin--Staszewski (BS) relative entropy. Moreover, for normal channels with sigma-finite codomain, we prove that the BS channel divergence of Hollands and Ranallo coincides with the extended norm of our operator-valued divergence. Finally, we give finite-dimensional examples and obtain an explicit formula for a finite-index conditional expectation. In the BS case, this formula reduces to the logarithm of the Jones--Kosaki index.

math.OA↗
arXiv2026

Geometric mean and Lebesgue-type decomposition of completely positive maps

We introduce the geometric mean and the parallel sum of completely positive (CP) maps between von Neumann algebras, based on the Pusz--Woronowicz theory of positive sesquilinear forms. We provide a concrete characterization via a block matrix positivity condition and establish their fundamental properties, including the AM--GM--HM inequality with respect to the CP order. In finite-dimensional settings, our construction is compatible with the Choi--Jamiolkowski correspondence, under which the geometric mean of CP maps corresponds to the Kubo--Ando geometric mean of their Choi matrices. This yields a natural operator-theoretic framework for interpolating quantum channels. As an application, we obtain index-type inequalities for conditional expectations in subfactor theory. Finally, we establish a Lebesgue-type decomposition of CP maps via a parallel sum construction, thereby providing a unified framework that simultaneously generalizes Ando's decomposition of bounded positive operators and Kosaki's decomposition of normal positive functionals on von Neumann algebras.

math.OA↗
arXiv2021

A note on injective factors with trivial bicentralizer

We give an alternative proof that an injective factor on a Hilbert space with trivial bicentralizer is ITPFI. Our proof is given in parallel with each type of factors and it is based on the strategy of Haagerup. As a consequence, the uniqueness theorem of injective factors except type III$_0$ follows from Araki-Woods' result.

math.OA↗
arXiv2015

Haagerup approximation property via bimodules

The Haagerup approximation property (HAP) is defined for finite von Neumann algebras in such a way that the group von Neumann algebra of a discrete group has the HAP if and only if the group itself has the Haagerup property. The HAP has been studied extensively for finite von Neumann algebras and it is recently generalized for arbitrary von Neumann algebras by Caspers-Skalski and Okayasu-Tomatsu. One of the motivations behind the generalization is the fact that quantum group von Neumann algebras are often infinite even though the Haagerup property has been defined successfully for locally compact quantum groups by Daws-Fima-Skalski-White. In this paper, we partly fill this gap by proving that the von Neumann algebra of a locally compact quantum group with the Haagerup property has the HAP. This is new even for genuine locally compact groups.

math.OA↗
arXiv2014

Generalisations of the Haagerup approximation property to arbitrary von Neumann algebras

The notion of the Haagerup approximation property, originally introduced for von Neumann algebras equipped with a faithful normal tracial state, is generalized to arbitrary von Neumann algebras. We discuss two equivalent characterisations, one in terms of the standard form and the other in terms of the approximating maps with respect to a fixed faithful normal semifinite weight. Several stability properties, in particular regarding the crossed product construction are established and certain examples are introduced.

math.OA↗
arXiv2014

Haagerup approximation property and positive cones associated with a von Neumann algebra

We introduce the notion of the $\alpha$-Haagerup approximation property for $\alpha\in[0,1/2]$ using a one-parameter family of positive cones studied by Araki and show that the $\alpha$-Haagerup approximation property actually does not depend on a choice of $\alpha$. This gives us a direct proof of the fact that two characterizations of the Haagerup approximation property are equivalent, one in terms of the standard form and the other in terms of completely positive maps. We also discuss the $L^p$-Haagerup approximation property for a non-commutative $L^p$-spaces associated with a von Neumann algebra ($1<p<\infty$) and show the independency of the $L^p$-Haagerup approximation property on $p$.

math.OA↗
arXiv2012

Free group $C^*$-algebras associated with $\ell_p$

For every $p\geq 2$, we give a characterization of positive definite functions on a free group with finitely many generators, which can be extended to the positive linear functionals on the free group $C^*$-algebra associated with the ideal $\ell_p$. This is a generalization of Haagerup's characterization for the case of the reduced free group $C^*$-algebra. As a consequence, the associated $C^*$-algebras are mutually non-isomorphic, and they have a unique tracial state.

math.OA↗
arXiv2006

The ratio set of the harmonic measure of a random walk on a hyperbolic group

We consider the harmonic measure on the Gromov boundary of a nonamenable hyperbolic group defined by a finite range random walk on the group, and study the corresponding orbit equivalence relation on the boundary. It is known to be always amenable and of type III. We determine its ratio set by showing that it is generated by certain values of the Martin kernel. In particular, we show that the equivalence relation is never of type III_0.

math.DS↗
arXiv2000

Cuntz-Krieger-Pimsner Algebras Associated with Amalgamated Free Product Groups

We give a construction of a nuclear $C^\ast$-algebra associated with an amalgamated free product of groups, generalizing Spielberg's construction of a certain Cuntz-Krieger algebra associated with a finitely generated free product of cyclic groups. Our nuclear $C^\ast$-algebras can be identified with certain Cuntz-Krieger-Pimsner algebras. We will also show that our algebras can be obtained by the crossed product construction of the canonical actions on the hyperbolic boundaries, which proves a special case of Adams' result about amenability of the boundary action for hyperbolic groups. We will also give an explicit formula of the $K$-groups of our algebras. Finally we will investigate the relationship between the KMS states of the generalized gauge actions on our $C^\ast$ algebras and random walks on the groups.

math.OA↗