SearcharxivSearch

arXiv subjects

Yoshimichi Ueda

Publications and source records attributed to Yoshimichi Ueda.

At least 19 recordsLinked to original sources

Matrix liberation process III: Unitary Brownian motion and martingale analysis

We investigate the rate functions that emerge in our previous works towards large deviation principle for the matrix liberation process driven by the unitary Brownian motion as well as the unitary Brownian motion itself. Our approach is grounded in the viewpoint of the martingale problem. Specifically, we formulate and solve a "free martingale problem" within this framework, which provides a new perspective on the underlying stochastic structure.

math.PR

A remark on non-commutative $L^p$-spaces

We explicitly describe the Haagerup and the Kosaki non-commutative $L^p$-spaces associated with a tensor product von Neumann algebra $M_1\bar{\otimes}M_2$ in terms of those associated with $M_i$ and usual tensor products of unbounded operators. The descriptions are then shown to be useful in the quantum information theory based on operator algebras.

math.OA

Lebesgue decomposition for positive operators revisited

We explain how Pusz--Woronowicz's idea of their functional calculus fits the theory of Lebesgue decomposition for positive operators on Hilbert spaces initially developed by Ando. In this way, we reconstruct the essential and fundamental part of the theory.

math.FA

Spherical Representations of $C^*$-Flows II: Representation System and Quantum Group Setup

This paper is a sequel to our previous study of spherical representations in the operator algebra setup. We first introduce possible analogs of dimension groups in the present context by utilizing the notion of operator systems and their relatives. We then apply our study to inductive limits of compact quantum groups, and establish an analogue of Olshanski's notion of spherical unitary representations of infinite-dimensional Gelfand pairs of the form $G < G\times G$ (via the diagonal embedding) in the quantum group setup. This, in particular, justifies Ryosuke Sato's approach to asymptotic representation theory for quantum groups.

math.OA

Pusz--Woronowicz's functional calculus revisited

This note is a complement to Pusz--Woronowicz's works on functional calculus for two positive forms from the viewpoint of operator theory. Based on an elementary, self-contained and purely Hilbert space operator explanation of their functional calculus, we show that any operator connection type operations (including any operator perspectives) are captured by their functional calculus.

math.FA

Pusz--Woronowicz functional calculus and extended operator convex perspectives

In this article, we first study, in the framework of operator theory, Pusz and Woronowicz's functional calculus for pairs of bounded positive operators on Hilbert spaces associated with a homogeneous two-variable function on $[0,\infty)^2$. Our construction has special features that functions on $[0,\infty)^2$ are assumed only locally bounded from below and that the functional calculus is allowed to take extended semibounded self-adjoint operators. To analyze convexity properties of the functional calculus, we extend the notion of operator convexity for real functions to that for functions with values in $(-\infty,\infty]$. Based on the first part, we generalize the concept of operator convex perspectives to pairs of (not necessarily invertible) bounded positive operators associated with any operator convex function on $(0,\infty)$. We then develop theory of such operator convex perspectives, regarded as an operator convex counterpart of Kubo and Ando's theory of operator means. Among other results, integral expressions and axiomatization are discussed for our operator perspectives.

math.FA

Spherical representations of $C^*$-flows I

We propose an abstract framework of a kind of representation theory for $C^*$-flows, i.e., $C^*$-algebras equipped with one-parameter automorphism groups, as a proper generalization of Olshanski's formalism of unitary representation theory for infinite-dimensional groups such as the infinite-dimensional unitary group $\mathrm{U}(\infty)$. The present framework, in particular, clarifies some overlaps and/or similarities between a certain unitary representation theory of infinite-dimensional groups and existing works in operator algebras, and captures arbitrary projective chains arising from links.

math.OA

Matrix liberation process II: Relation to orbital free entropy

We investigate the concept of orbital free entropy from the viewpoint of matrix liberation process. We will show that many basic questions around the definition of orbital free entropy are reduced to the question of full large deviation principle for the matrix liberation process. We will also obtain a large deviation upper bound for a certain family of random matrices that is an essential ingredient to define the orbital free entropy. The resulting rate function is made up into a new approach to free mutual information.

math.OA

On Arveson's Boundary Theorem

This short note aims to give an insight to Arveson's boundary theorem by means of non-commutative Poisson boundaries and its applications.

math.OA

A remark on orbital free entropy

A lower estimate of the orbital free entropy $χ_\mathrm{orb}$ under unitary conjugation is proved, and it together with Voiculescu's observation shows that the conjectural exact formula relating $χ_\mathrm{orb}$ to the free entropy $χ$ breaks in general in contrast to the case when given random multi-variables are all hyperfinite.

math.OA

Matrix liberation process I: Large deviation upper bound and almost sure convergence

We introduce the concept of matrix liberation process, a random matrix counterpart of the liberation process in free probability, and prove a large deviation upper bound for its empirical distribution with several properties on its rate function. As a simple consequence we obtain the almost sure convergence of the empirical distribution of the matrix liberation process to that of the corresponding liberation process as continuous processes in large $N$ limit.

math.PR

Free products in AQFT

We apply the free product construction to various local algebras in algebraic quantum field theory. If we take the free product of infinitely many identical half-sided modular inclusions with ergodic canonical endomorphism, we obtain a half-sided modular inclusion with ergodic canonical endomorphism and trivial relative commutant. On the other hand, if we take Möbius covariant nets with trace class property, we are able to construct an inclusion of free product von Neumann algebras with large relative commutant, by considering either a finite family of identical inclusions or an infinite family of inequivalent inclusions. In two dimensional spacetime, we construct Borchers triples with trivial relative commutant by taking free products of infinitely many, identical Borchers triples. Free products of finitely many Borchers triples are possibly associated with Haag-Kastler net having S-matrix which is nontrivial and non asymptotically complete, yet the nontriviality of double cone algebras remains open.

math-ph

Rigidity of free product von Neumann algebras

Let $I$ be any nonempty set and $(M_i, φ_i)_{i \in I}$ any family of nonamenable factors, endowed with arbitrary faithful normal states, that belong to a large class $\mathcal C_{\rm anti-free}$ of (possibly type III) von Neumann algebras including all nonprime factors, all nonfull factors and all factors possessing a Cartan subalgebra. For the free product $(M, φ) = \ast_{i \in I} (M_i, φ_i)$, we show that the free product von Neumann algebra $M$ retains the cardinality $|I|$ and each nonamenable factor $M_i$ up to stably inner conjugacy, after permutation of the indices. Our main theorem unifies all previous Kurosh-type rigidity results for free product type II$_1$ factors and is new for free product type III factors. It moreover provides new rigidity phenomena for type III factors.

math.OA

Asymptotic structure of free product von Neumann algebras

Let $(M, φ) = (M_1, φ_1) \ast (M_2, φ_2)$ be the free product of any $σ$-finite von Neumann algebras endowed with any faithful normal states. We show that whenever $Q \subset M$ is a von Neumann subalgebra with separable predual such that both $Q$ and $Q \cap M_1$ are the ranges of faithful normal conditional expectations and such that both the intersection $Q \cap M_1$ and the central sequence algebra $Q' \cap M^ω$ are diffuse (e.g. $Q$ is amenable), then $Q$ must sit inside $M_1$. This result generalizes the previous results of the first named author in [Ho14] and moreover completely settles the questions of maximal amenability and maximal property Gamma of the inclusion $M_1 \subset M$ in arbitrary free product von Neumann algebras.

math.OA

A characterization of fullness of continuous cores of type III$_1$ free product factors

We prove that, for any type III$_1$ free product factor, its continuous core is full if and only if its $τ$-invariant is the usual topology on the real line. This trivially implies, as a particular case, the same result for free Araki--Woods factors. Moreover, our method shows the same result for full (generalized) Bernoulli crossed product factors of type III$_1$.

math.OA

Orbital free entropy, revisited

We give another definition of orbital free entropy introduced by Hiai, Miyamoto and us, which does not need the hyperfiniteness assumption for each given random multi-variable. The present definition is somehow related to one of its several recent `generalizations' due to Biane and Dabrowski, but completely agrees with the original definition and much closer to the original approach.

math.OA