-
Limit of iteration of the induced Aluthge transformations of centered operators
Authors:
Hiroyuki Osaka,
Takeaki Yamazaki
Abstract:
Aluthge transform is a well-known mapping defined on bounded linear operators. Especially, the convergence property of its iteration has been studied by many authors. In this paper, we discuss the problem for the induced Aluthge transforms which is a generalization of the Aluthge transform defined in 2021. We give the polar decomposition of the induced Aluthge transformations of centered operators…
▽ More
Aluthge transform is a well-known mapping defined on bounded linear operators. Especially, the convergence property of its iteration has been studied by many authors. In this paper, we discuss the problem for the induced Aluthge transforms which is a generalization of the Aluthge transform defined in 2021. We give the polar decomposition of the induced Aluthge transformations of centered operators and show its iteration converges to a normal operator. In particular, if $T$ is an invertible centered matrix, then iteration of any induced Aluthge transformations converges. Using the canonical standard form of matrix algebras we show that the iteration of any induced Aluthge transformations with respect to the weighted arithmetic mean and the power mean converge. Those observation are extended to the $C^*$-algebra of compact operators on an infinite dimensional Hilbert space, and as an application we show the stability of $\mathcal{AN}$ and $\mathcal{AM}$ properties under the iteration of the induced Aluthge transformations. We also provide concrete forms of their limit points for centered matrices and several examples. Moreover, we discuss the limit point of the induced Aluthge transformation with respect to the power mean in the injective $II_1$-factor $\mathcal{M}$ and determine the form of its limit for some centered operators in $\mathcal{M}$.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
Examples of inclusions of unital $C\sp*$-algebras of index-finite type with the Rokhlin property
Authors:
H. Lee,
H. Osaka,
T. Teruya
Abstract:
In this note, we provide several examples of inclusions of unital $C\sp*$-algebras of index finite-type with the Rokhlin property lacking in literature and more importantly we construct the example which does not belong to the fixed point algebra model which means that for the inclusion $P \subset A$ there is neither finite group action $ G \curvearrowright A$ such that $P=A^{G}$ nor finite dimens…
▽ More
In this note, we provide several examples of inclusions of unital $C\sp*$-algebras of index finite-type with the Rokhlin property lacking in literature and more importantly we construct the example which does not belong to the fixed point algebra model which means that for the inclusion $P \subset A$ there is neither finite group action $ G \curvearrowright A$ such that $P=A^{G}$ nor finite dimensional $C\sp*$- Hopf algebra action $H \curvearrowright A$ such that $P=A^{H}$.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
A new estimation of the quantum Chernoff bound
Authors:
Mohsen Kian,
Trung Hoa Dinh,
Mohammad Sal Moslehian,
Hiroyuki Osaka
Abstract:
Relating to finding possible upper bounds for the probability of error for discriminating between two quantum states, it is well-known that \begin{align*}
\mathrm{tr}(A+B) - \mathrm{tr}|A-B|\leq 2\, \mathrm{tr}\big(f(A)g(B)\big) \end{align*} holds for every positive-valued matrix monotone function $f$, where $g(x)=x/f(x)$, and all positive definite matrices $A$ and $B$.
In this paper, we intro…
▽ More
Relating to finding possible upper bounds for the probability of error for discriminating between two quantum states, it is well-known that \begin{align*}
\mathrm{tr}(A+B) - \mathrm{tr}|A-B|\leq 2\, \mathrm{tr}\big(f(A)g(B)\big) \end{align*} holds for every positive-valued matrix monotone function $f$, where $g(x)=x/f(x)$, and all positive definite matrices $A$ and $B$.
In this paper, we introduce a new class of functions that satisfy the above inequality. As a consequence, we derive a novel estimation of the quantum Chernoff bound. Additionally, we characterize matrix decreasing functions and establish matrix Powers-Störmer type inequalities for perspective functions.
△ Less
Submitted 27 March, 2025; v1 submitted 15 February, 2023;
originally announced February 2023.
-
Stable rank for inclusions of Banach algebras
Authors:
Masaru Nagisa,
Hiroyuki Osaka,
Raisei Tomita
Abstract:
We give a formula for the stable rank of inclusions of unital Banach algebras in the sense of finite Watatani index. As an application we show that the stable rank of $\ell^1$-algebras of Disk algebras by any action of finite groups is 2.
We give a formula for the stable rank of inclusions of unital Banach algebras in the sense of finite Watatani index. As an application we show that the stable rank of $\ell^1$-algebras of Disk algebras by any action of finite groups is 2.
△ Less
Submitted 23 October, 2021; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Functions preserving operator means
Authors:
Trung Hoa Dinh,
Hiroyuki Osaka,
Shuhei Wada
Abstract:
Let $σ$ be a non-trivial operator mean in the sense of Kubo and Ando, and let $OM_+^1$ the set of normalized positive operator monotone functions on $(0, \infty)$. In this paper, we study class of $σ$-subpreserving functions $f\in OM_+^1$ satisfying $$f(AσB) \le f(A)σf(B)$$ for all positive operators $A$ and $B$. We provide some criteria for $f$ to be trivial, i.e., $f(t)=1$ or $f(t)=t$. We also e…
▽ More
Let $σ$ be a non-trivial operator mean in the sense of Kubo and Ando, and let $OM_+^1$ the set of normalized positive operator monotone functions on $(0, \infty)$. In this paper, we study class of $σ$-subpreserving functions $f\in OM_+^1$ satisfying $$f(AσB) \le f(A)σf(B)$$ for all positive operators $A$ and $B$. We provide some criteria for $f$ to be trivial, i.e., $f(t)=1$ or $f(t)=t$. We also establish characterizations of $σ$-preserving functions $f$ satisfying $$f(AσB) = f(A)σf(B)$$ for all positive operators $A$ and $B$. In particular, when $\lim_{t\rightarrow 0} (1σt) =0$, the function $f$ preserves $σ$ if and only if $f$ and $1σt$ are representing functions for weighted harmonic means.
△ Less
Submitted 21 December, 2019;
originally announced December 2019.
-
A factorization property of positive maps on $C^*$-algebras
Authors:
B. V. Rajarma Bhat,
Hiroyuki Osaka
Abstract:
The purpose of this short note is to clarify and present a general version of an interesting observation by Piani and Mora (Physic. Rev. A 75, 012305 (2007)), linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations.
Let $A_i$, $C_i$ be unital C*-algebras and let $α_i$ be positive linear maps from $A_i$ to $C_i,$ $i=1,2$. We obtain conditions under wh…
▽ More
The purpose of this short note is to clarify and present a general version of an interesting observation by Piani and Mora (Physic. Rev. A 75, 012305 (2007)), linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations.
Let $A_i$, $C_i$ be unital C*-algebras and let $α_i$ be positive linear maps from $A_i$ to $C_i,$ $i=1,2$. We obtain conditions under which any positive map $β$ from the minimal C*-tensor product $A_1 \otimes_{min} A_2$ to $C_1 \otimes_{min} C_2$, such that $ α_1 \otimes α_2 \geq β$, factorizes as $β= γ\otimes α_2$ for some positive map $γ$. In particular we show that when $α_i \colon A_i \rightarrow B(\mathcal H_i)$ are completely positive (CP) maps for some Hilbert spaces $\mathcal H_i$ $(i=1,2)$, and $α_2$ is a pure CP map and $β$ is a CP map so that $α_1 \otimes α_2 - β$ is also CP, then $β= γ\otimes α_2$ for some CP map $γ$. We show that a similar result holds in the context of positive linear maps when $A_2 = C_2 = B(\mathcal H)$ and $α_2 = id$. As an application we extend \cite[IX Theorem]{PM}( revisited recently by Huber et al in \cite{HLLM}) to show that for any linear map $τ$ from a unital C*-algebra $A$ to a C*-algebra $C$, if $τ\otimes id_k$ is decomposable for some $k \geq 2$, where $id_k$ is the identity map on the algebra $M_k(\mathbb {C} )$ of $k\times k$ matrices, then $τ$ is completely positive.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
The order-$n$ minors of certain $(n+k) \times n$ matrices
Authors:
Priyabrata Bag,
Santanu Dey,
Masaru Nagisa,
Hiroyuki Osaka
Abstract:
We determine sufficient conditions for certain classes of $(n+k) \times n$ matrices $E$ to have all order-$n$ minors to be nonzero. For a special class of $(n+1) \times n$ matrices $E,$ we give the formula for the order-$n$ minors. As an application we construct subspaces of $\C^m \otimes \C^n$ of maximal dimension, which does not contain any vector of Schmidt rank less than $k$ and which has a ba…
▽ More
We determine sufficient conditions for certain classes of $(n+k) \times n$ matrices $E$ to have all order-$n$ minors to be nonzero. For a special class of $(n+1) \times n$ matrices $E,$ we give the formula for the order-$n$ minors. As an application we construct subspaces of $\C^m \otimes \C^n$ of maximal dimension, which does not contain any vector of Schmidt rank less than $k$ and which has a basis of Schmidt rank $k$ for $k=2,3,4$.
△ Less
Submitted 10 August, 2020; v1 submitted 23 June, 2019;
originally announced June 2019.
-
Tracially sequentially-split ${}^*$-homomorphisms between $C^*$-algebras II
Authors:
Hyun Ho Lee,
Hiroyuki Osaka
Abstract:
We study a pair of $C^*$-algebras by associating a $*$-homomorphism from $A$ to $B$ allowing an approximate left-inverse to the sequence algebra of $A$ in a manner reminiscent of several tracial approximation properties. We are particularly interested how regularity properties in the Elliott classification program pass from $B$ to $A$. Among them, we show that the strict comparison property and…
▽ More
We study a pair of $C^*$-algebras by associating a $*$-homomorphism from $A$ to $B$ allowing an approximate left-inverse to the sequence algebra of $A$ in a manner reminiscent of several tracial approximation properties. We are particularly interested how regularity properties in the Elliott classification program pass from $B$ to $A$. Among them, we show that the strict comparison property and $\mathcal{Z}$-stability pass from $B$ to $A$ in our setting.
△ Less
Submitted 5 July, 2022; v1 submitted 17 June, 2019;
originally announced June 2019.
-
The tracial Rokhlin property for an inclusion of unital $C^*$-algebras
Authors:
Hyun Ho Lee,
Hiroyuki Osaka
Abstract:
We introduce and study a notion of Rokhlin property for an inclusion of unital $C^*$-algebras which could have no projections like the Jiang-Su algebra. We also introduce a notion of approximate representability and show a duality between them. We demonstrate the importance of these notions by showing the permanence of the tracial $\mathcal{Z}$-absorbingness and the strict comparison property.
We introduce and study a notion of Rokhlin property for an inclusion of unital $C^*$-algebras which could have no projections like the Jiang-Su algebra. We also introduce a notion of approximate representability and show a duality between them. We demonstrate the importance of these notions by showing the permanence of the tracial $\mathcal{Z}$-absorbingness and the strict comparison property.
△ Less
Submitted 4 January, 2023; v1 submitted 4 May, 2018;
originally announced May 2018.
-
The Rokhlin property for inclusions of C*-algebras
Authors:
Hiroyuki Osaka,
Tamotsu Teruya
Abstract:
Let $P \subset A$ be an inclusion of $σ$-unital C*-algebras with a finite index in the sense of Izumi. Then we introduce the Rokhlin property for a conditional expectation $E$ from $A$ onto $P$ and show that if $A$ is simple and satisfies any of the property $(1) \sim (12)$ listed in the below, and $E$ has the Rokhlin property, then so does $P$.
(1) Simplicity;(2) Nuclearity;(3) C*-algebras that…
▽ More
Let $P \subset A$ be an inclusion of $σ$-unital C*-algebras with a finite index in the sense of Izumi. Then we introduce the Rokhlin property for a conditional expectation $E$ from $A$ onto $P$ and show that if $A$ is simple and satisfies any of the property $(1) \sim (12)$ listed in the below, and $E$ has the Rokhlin property, then so does $P$.
(1) Simplicity;(2) Nuclearity;(3) C*-algebras that absorb a given strongly self-absorbing C*-algebra $\mathcal{D}$; (4)C*-algebras of stable rank one; (5) C*-algebras of real rank zero;(6) C*-algebras of nuclear dimension at most $n$, where $n \in Z^+$; (7)C*-algebras of decomposition rank at most $n$, where $n \in Z^+$; (8) Separable simple C*-algebras that are stably isomorphic to AF algebras; (9) Separable simple C*-algebras that are stably isomorphic to AI algebras; (10) Separable simple C*-algebras that are stably isomorphic to AT algebras; (11) Separable simple C*-algebras that are stably isomorphic to sequential direct limits of one dimensional NCCW complexes; (12) Separable C*-algebras with strict comparison of positive elements. In particular, when $α: G \rightarrow \rm{Aut}(A)$ is an action of a finite group $G$ on $A$ with the Rokhlin property in the sense of Nawata, the properties $(1) \sim (12)$ are inherited to the fixed point algebra $A^α$ and the crossed product algebra $A \rtimes_αG$ from $A$.
△ Less
Submitted 22 March, 2018;
originally announced March 2018.
-
On dualities of actions and inclusions
Authors:
Hyun Ho Lee,
Hiroyuki Osaka
Abstract:
Following the results known in the case of a finite abelian group action on $C\sp*$-algebras we prove the following two theorems; 1. an inclusion $P\subset A$ of (Watatani) index-finite type has the Rokhlin property (is approximately representable) if and only if the dual inclusion is approximately representable (has the Rokhlin property). 2. an inclusion $P\subset A$ of (Watatani) index-finite ty…
▽ More
Following the results known in the case of a finite abelian group action on $C\sp*$-algebras we prove the following two theorems; 1. an inclusion $P\subset A$ of (Watatani) index-finite type has the Rokhlin property (is approximately representable) if and only if the dual inclusion is approximately representable (has the Rokhlin property). 2. an inclusion $P\subset A$ of (Watatani) index-finite type has the tracial Rokhlin property (is tracially approximately representable) if and only if the dual inclusion is tracially approximately representable (has the tracial Rokhlin property).
Moreover, we provide an alternate proof of Phillips' theorem about the relations between tracial Rokhlin action and tracially approximate representable dual action using a new conceptual framework suggested by authors.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
Stable rank for crossed products by actions of finite groups on C*-algebras
Authors:
Hiroyuki Osaka
Abstract:
Let $G$ be a finite group, $A$ a unital separable finite simple nuclear C*-algebra, and $α$ an action of $G$ on $A$. Assume that $A$ absorbs the Jiang-Su algebra $\mathcal{Z}$, the extremal boundary of the trace space of $A$ is compact and finite dimensional and that $α$ fixes any tracial state of $A$. Then tsr$(A \rtimes_αG) = 1$. In particular, when $A$ has a unique tracial state, we conclude it…
▽ More
Let $G$ be a finite group, $A$ a unital separable finite simple nuclear C*-algebra, and $α$ an action of $G$ on $A$. Assume that $A$ absorbs the Jiang-Su algebra $\mathcal{Z}$, the extremal boundary of the trace space of $A$ is compact and finite dimensional and that $α$ fixes any tracial state of $A$. Then tsr$(A \rtimes_αG) = 1$. In particular, when $A$ has a unique tracial state, we conclude it without above conditons on a tracial state space of $A$.
△ Less
Submitted 8 August, 2017;
originally announced August 2017.
-
Tracially sequentially-split ${}^*$-homomorphisms between $C^*$-algebras
Authors:
Hyun Ho Lee,
Hiroyuki Osaka
Abstract:
We define a tracial analogue of the sequentially split $*$-homomorphism between $C^*$-algebras of Barlak and Szabó and show that several important approximation properties related to the classification theory of $C^*$-algebras pass from the target algebra to the domain algebra. Then we show that the tracial Rokhlin property of the finite group $G$ action on a $C^*$-algebra $A$ gives rise to a trac…
▽ More
We define a tracial analogue of the sequentially split $*$-homomorphism between $C^*$-algebras of Barlak and Szabó and show that several important approximation properties related to the classification theory of $C^*$-algebras pass from the target algebra to the domain algebra. Then we show that the tracial Rokhlin property of the finite group $G$ action on a $C^*$-algebra $A$ gives rise to a tracial version of sequentially split $*$-homomorphism from $A\rtimes_αG$ to $M_{|G|}(A)$ and the tracial Rokhlin property of an inclusion $C^*$-algebras $A\subset P$ with a conditional expectation $E:A \to P$ of a finite Watatani index generates a tracial version of sequentially split map. By doing so, we provide a unified approach to permanence properties related to tracial Rokhlin property of operator algebras.
△ Less
Submitted 18 March, 2020; v1 submitted 23 July, 2017;
originally announced July 2017.
-
Rokhlin Property for Group Actions on Hilbert $C^*$-modules
Authors:
Santanu Dey,
Hiroyuki Osaka,
Harsh Trivedi
Abstract:
We introduce Rokhlin properties for certain discrete group actions on $C^*$-correspondences as well as on Hilbert bimodules and analyze them. It turns out that the group actions on any $C^*$-correspondence $E$ with Rokhlin property induces group actions on the associated $C^*$-algebra $\mathcal O_E$ with Rokhlin property and the group actions on any Hilbert bimodule with Rokhlin property induces g…
▽ More
We introduce Rokhlin properties for certain discrete group actions on $C^*$-correspondences as well as on Hilbert bimodules and analyze them. It turns out that the group actions on any $C^*$-correspondence $E$ with Rokhlin property induces group actions on the associated $C^*$-algebra $\mathcal O_E$ with Rokhlin property and the group actions on any Hilbert bimodule with Rokhlin property induces group actions on the linking algebra with Rokhlin property. Permanence properties of several notions such as nuclear dimension and $\mathcal D$-absorbing property with respect to crossed product of Hilbert $C^*$-modules with groups, where group actions have Rokhlin property, are studied. We also investigate a notion of outerness for Hilbert bimodules.
△ Less
Submitted 19 May, 2016;
originally announced May 2016.
-
The Jiang-Su absorption for inclusions of unital C*-algebras
Authors:
Hiroyuki Osaka,
Tamotsu Teruya
Abstract:
In this paper we will introduce the tracial Rokhlin property for an inclusion of separable simple unital C*-algebras $P \subset A$ with finite index in the sense of Watatani, and prove theorems of the following type. Suppose that $A$ belongs to a class of C*-algebras characterized by some structural property, such as tracial rank zero in the sense of Lin. Then $P$ belongs to the same class. The cl…
▽ More
In this paper we will introduce the tracial Rokhlin property for an inclusion of separable simple unital C*-algebras $P \subset A$ with finite index in the sense of Watatani, and prove theorems of the following type. Suppose that $A$ belongs to a class of C*-algebras characterized by some structural property, such as tracial rank zero in the sense of Lin. Then $P$ belongs to the same class. The classes we consider include:(1) Simple C*-algebras with real rank zero or stable rank one, (2) Simple C*-algebras with tracial rank zero or tracial rank less than or equal to one, (3) Simple C*-algebras with the Jiang-Su algebra $\mathcal{Z}$ absorption, (4) Simple C*-algebras for which the order on projections is determined by traces, (5) Simple C*-algebras with the strict comparison property for the Cuntz semigroup. The conditions (3) and (5) are important properties related to Toms and Winter's conjecture, that is, the properties of strict comparison, finite nuclear dimension, and Z-absorption are equivalent for separable simple infinite-dimensional nuclear unital C*-algebras. We show that an action $α$ from a finite group $G$ on a simple unital C*-algebra $A$ has the tracial Rokhlin property in the sense of Phillips if and only if the canonical conditional expectation $E\colon A \rightarrow A^G$ has the tracial Rokhlin property for an inclusion $A^G \subset A$.
△ Less
Submitted 30 April, 2014;
originally announced April 2014.
-
The linear span of projections in AH algebras and for inclusions of C*-algebras
Authors:
Dinh Trung Hoa,
Toan Minh Ho,
Hiroyuki Osaka
Abstract:
A $C^*$-algebra is said to have the LP property if the linear span of projections is dense in a given algebra. In the first part of this paper, we show that an AH algebra $A = \underrightarrow{\lim}(A_i,φ_i)$ has the LP property if and only if every real-valued continuous function on the spectrum of $A_i$ (as an element of $A_i$ via the non-unital embedding) belongs to the closure of the linear sp…
▽ More
A $C^*$-algebra is said to have the LP property if the linear span of projections is dense in a given algebra. In the first part of this paper, we show that an AH algebra $A = \underrightarrow{\lim}(A_i,φ_i)$ has the LP property if and only if every real-valued continuous function on the spectrum of $A_i$ (as an element of $A_i$ via the non-unital embedding) belongs to the closure of the linear span of projections in $A$. As a consequence, a diagonal AH-algebra has the LP property if it has small eigenvalue variation. The second contribution of this paper is that for an inclusion of unital $C^*$-algebras $P \subset A$ with a finite Watatani Index, if a faithful conditional expectation $E\colon A \rightarrow P$ has the Rokhlin property in the sense of Osaka and Teruya, then $P$ has the LP property under the condition $A$ has the LP property. As an application, let $A$ be a simple unital $C^*$-algebra with the LP property, $G$ a finite group and $α$ an action of $G$ onto $\mathrm{Aut}(A)$. If $α$ has the Rokhlin property in the sense of Izumi, then the fixed point algebra $A^G$ and the crossed product algebra $A \rtimes_αG$ have the LP property. We also point out that there is a symmetry on CAR algebra, which is constructed by Elliott, such that its fixed point algebra does not have the LP property.
△ Less
Submitted 19 October, 2012;
originally announced October 2012.
-
Characterization of the monotonicity by the inequality
Authors:
Dinh Trung Hoa,
Hiroyuki Osaka,
Jun Tomiyama
Abstract:
Let $\varphi$ be a normal state on the algebra $B(H)$ of all bounded operators on a Hilbert space $H$, $f$ a strictly positive, continuous function on $(0, \infty)$, and let $g$ be a function on $(0, \infty)$ defined by $g(t) = \frac{t}{f(t)}$. We will give characterizations of matrix and operator monotonicity by the following generalized Powers-St\ormer inequality:…
▽ More
Let $\varphi$ be a normal state on the algebra $B(H)$ of all bounded operators on a Hilbert space $H$, $f$ a strictly positive, continuous function on $(0, \infty)$, and let $g$ be a function on $(0, \infty)$ defined by $g(t) = \frac{t}{f(t)}$. We will give characterizations of matrix and operator monotonicity by the following generalized Powers-St\ormer inequality:
$$ \varphi(A + B) - \varphi(|A - B|) \leq 2\varphi(f(A)^1/2g(B)f(A)^1/2), $$ whenever $A, B$ are positive invertible operators in $B(H).$
△ Less
Submitted 22 July, 2012;
originally announced July 2012.
-
On generalized Powers-St$ø$rmer's Inequality
Authors:
Dinh Trung Hoa,
Hiroyuki Osaka,
Ho Minh Toan
Abstract:
A generalization of Powers-St$ø$rmer's inequality for operator monotone functions on $[0, +\infty)$ and for positive linear functional on general $C^*$-algebras will be proved. It also will be shown that the generalized Powers-St$ø$rmer inequality characterizes the tracial functionals on $C^*$-algebras.
A generalization of Powers-St$ø$rmer's inequality for operator monotone functions on $[0, +\infty)$ and for positive linear functional on general $C^*$-algebras will be proved. It also will be shown that the generalized Powers-St$ø$rmer inequality characterizes the tracial functionals on $C^*$-algebras.
△ Less
Submitted 30 April, 2012;
originally announced April 2012.
-
Classification of bi-qutrit positive partial transpose entangled edge states by their ranks
Authors:
Seung-Hyeok Kye,
Hiroyuki Osaka
Abstract:
We construct $3\otimes 3$ PPT entangled edge states with maximal ranks, to complete the classification of $3\otimes 3$ PPT entangled edge states by their types. The ranks of the states and their partial transposes are 8 and 6, respectively. These examples also disprove claims in the literature.
We construct $3\otimes 3$ PPT entangled edge states with maximal ranks, to complete the classification of $3\otimes 3$ PPT entangled edge states by their types. The ranks of the states and their partial transposes are 8 and 6, respectively. These examples also disprove claims in the literature.
△ Less
Submitted 30 May, 2012; v1 submitted 8 February, 2012;
originally announced February 2012.
-
Nuclear dimension for an inclusion of unital C*-algebras
Authors:
Hiroyuki Osaka,
Tamotsu Teruya
Abstract:
Let $P \subset A$ be an inclusion of separable unital C*-algebras with finite Watatani index. Suppose that $E \colon A \rightarrow P$ has the Rokhlin property, that is, there is a projection $e \in A' \cap A^\infty$ such that $E^\infty(e) = ({\rm Index}E)^{-1}1$. We show that if $A$ has nuclear dimension $n$, then $P$ has nuclear dimension less than or equal to $n$. In particular, if an action…
▽ More
Let $P \subset A$ be an inclusion of separable unital C*-algebras with finite Watatani index. Suppose that $E \colon A \rightarrow P$ has the Rokhlin property, that is, there is a projection $e \in A' \cap A^\infty$ such that $E^\infty(e) = ({\rm Index}E)^{-1}1$. We show that if $A$ has nuclear dimension $n$, then $P$ has nuclear dimension less than or equal to $n$. In particular, if an action $α$ of a finite group $G$ on $A$ has the Rokhlin property, then the nuclear dimension of the crossed product algebra $A \rtimes_αG$ is less than or equal to that of $A$.
△ Less
Submitted 8 November, 2011;
originally announced November 2011.
-
Double piling structure of matrix monotone functions and of matrix convex functions II
Authors:
Hiroyuki Osaka,
Jun Tomiyama
Abstract:
We continue the analysis in [H. Osaka and J. Tomiyama, Double piling structure of matrix monotone functions and of matrix convex functions, Linear and its Applications 431(2009), 1825 - 1832] in which the followings three assertions at each label $n$ are discussed: (1)$f(0) \leq 0$ and $f$ is $n$-convex in $[0, α)$. (2)For each matrix $a$ with its spectrum in $[0, α)$ and a contraction $c$ in the…
▽ More
We continue the analysis in [H. Osaka and J. Tomiyama, Double piling structure of matrix monotone functions and of matrix convex functions, Linear and its Applications 431(2009), 1825 - 1832] in which the followings three assertions at each label $n$ are discussed: (1)$f(0) \leq 0$ and $f$ is $n$-convex in $[0, α)$. (2)For each matrix $a$ with its spectrum in $[0, α)$ and a contraction $c$ in the matrix algebra $M_n$, $f(c^*ac) \leq c^*f(a)c$. (3)The function $f(t)/t$ $(= g(t))$ is $n$-monotone in $(0, α)$. We know that two conditions $(2)$ and $(3)$ are equivalent and if $f$ with $f(0) \leq 0$ is $n$-convex, then $g$ is $(n -1)$-monotone. In this note we consider several extra conditions on $g$ to conclude that the implication from $(3)$ to $(1)$ is true. In particular, we study a class $Q_n([0, α))$ of functions with conditional positive Lowner matrix which contains the class of matrix $n$-monotone functions and show that if $f \in Q_{n+1}([0, α))$ with $f(0) = 0$ and $g$ is $n$-monotone, then $f$ is $n$-convex. We also discuss about the local property of $n$-convexity.
△ Less
Submitted 17 April, 2011;
originally announced April 2011.
-
Strongly self-absorbing property for inclusions of $C^*$-algebras with a finite Watatani index
Authors:
Hiroyuki Osaka,
Tamotsu Teruya
Abstract:
Let $P \subset A$ be a inclusion of unital C*-algebras and $E\colon A \to P$ be a conditional expectation of index finite type. We introduce a Rokhlin property for $E$ and discuss about $\mathcal{D}$-absorbing proeprty, where $\mathcal{D}$ is a separable, unital, strongly self-absorbing C*-algebra. In this paper we consider permanent properties for strongly self-absorbing property under inclusio…
▽ More
Let $P \subset A$ be a inclusion of unital C*-algebras and $E\colon A \to P$ be a conditional expectation of index finite type. We introduce a Rokhlin property for $E$ and discuss about $\mathcal{D}$-absorbing proeprty, where $\mathcal{D}$ is a separable, unital, strongly self-absorbing C*-algebra. In this paper we consider permanent properties for strongly self-absorbing property under inclusions of unital C*-algebras with a finite Watatani index.
△ Less
Submitted 22 February, 2010;
originally announced February 2010.
-
The Rohlin property for inclusions of $C^*$-algebras with a finite Watatani index
Authors:
Hiroyuki Osaka,
Kazunori Kodaka,
Tamotsu Teruya
Abstract:
We introduce notions of the Rohlin property and the approximate representability for inclusions of unital $C^*$-algebras. We investigate a dual relation between the Rohlin property and the approximate representability. We prove that a number of classes of unital $C^*$-algebras are closed under inclusions with the Rohlin property, including:
AF algebras, AI algebras, AT algebras, and related cl…
▽ More
We introduce notions of the Rohlin property and the approximate representability for inclusions of unital $C^*$-algebras. We investigate a dual relation between the Rohlin property and the approximate representability. We prove that a number of classes of unital $C^*$-algebras are closed under inclusions with the Rohlin property, including:
AF algebras, AI algebras, AT algebras, and related classes characterized by direct limit decomposition using semiprojective building blocks. $C^*$-algebras with stable rank one. $C^*$-algebras with real rank zero.
△ Less
Submitted 25 January, 2010;
originally announced January 2010.
-
Structure of the spaces of matrix monotone functions and of matrix convex functions and Jensen's type inequality for operators
Authors:
Hiroyuki Osaka,
Jun Tomiyama
Abstract:
Let $n \in \N$ and $M_n$ be the algebra of $n \times n$ matrices. We call a function $f$ matrix monotone of order $n$ or $n$-monotone in short whenever the inequality $f(a) \leq f(b)$ holds for every pair of selfadjoint matrices $a, b \in M_n$ such that $a \leq b$ and all eigenvalues of $a$ and $b$ are contained in $I$. Matrix convex (concave) functions on $I$ are similarily defined. The spaces…
▽ More
Let $n \in \N$ and $M_n$ be the algebra of $n \times n$ matrices. We call a function $f$ matrix monotone of order $n$ or $n$-monotone in short whenever the inequality $f(a) \leq f(b)$ holds for every pair of selfadjoint matrices $a, b \in M_n$ such that $a \leq b$ and all eigenvalues of $a$ and $b$ are contained in $I$. Matrix convex (concave) functions on $I$ are similarily defined. The spaces for $n$-monotone functions and $n$-convex functions are written as $P_n(I)$ and $K_n(I)$. In this note we discuss several assertions at each leven $n$ for which we regard themas the problems of double piling structure of those sequences $\{P_n(I)\}_{n\in\N}$ and $\{K_n(I)\}_{n\in\N}$. In order to see clear insight of the aspect of the problems, however, we choose the following three main assertions among them and discuss their mutual dependence:
\begin{enumerate} \item[(i)] $f(0)\leq 0$ and $f$ is $n$-convex in $[0,α)$, \item[(ii)] For each matrix $a$ with its spectrum in $[0,α)$ and a contraction $c$ in the matrix algebra $M_n$,
\[ f(c^{\star}a c)\leq c^{\star}f(a)c, \] \item[(iii)] The functon $g(t)/t$ is $n$-monotone in $(0,α)$. \end{enumerate}
In particular, we show that for any $n \in \N$ two conditions $(ii)$ and $(iii)$ are equivalent.
△ Less
Submitted 14 May, 2008;
originally announced May 2008.
-
Stable rank for inclusions of C*-algebras
Authors:
Hiroyuki Osaka
Abstract:
When a unital \ca $A$ has topological stable rank one (write $\tsr(A) = 1$), we know that $\tsr(pAp) \leq 1$ for a non-zero projection $p \in A$. When, however, $\tsr(A) \geq 2$, it is generally faluse. We prove that if a unital C*-algebra $A$ has a simple unital C*-subalgebra $D$ of $A$ with common unit such that $D$ has \PSP and $\sup_{p\in P(D)}\tsr(pAp) < \infty$, then $\tsr(A) \leq 2.$ As a…
▽ More
When a unital \ca $A$ has topological stable rank one (write $\tsr(A) = 1$), we know that $\tsr(pAp) \leq 1$ for a non-zero projection $p \in A$. When, however, $\tsr(A) \geq 2$, it is generally faluse. We prove that if a unital C*-algebra $A$ has a simple unital C*-subalgebra $D$ of $A$ with common unit such that $D$ has \PSP and $\sup_{p\in P(D)}\tsr(pAp) < \infty$, then $\tsr(A) \leq 2.$ As an application let $A$ be a simple unital \ca with $\tsr(A) = 1$ and \PSP, $\{G_k\}_{k=1}^n$ finite groups, $\af_k$ actions from $G_k$ to ${\rm Aut}((...((A\times_{\af_1}G_1)\times_{\af_2} G_2)...)\times_{\af_{k-1}}G_{k-1}).$ $(G_0 = \{1\})$ Then $$ \tsr((... ((A\times_{\af_1}G_1)\times_{\af_2} G_2)...)\times_{\af_n}G_n) \leq 2. $$
△ Less
Submitted 29 August, 2007;
originally announced August 2007.
-
Crossed products by finite group actions with the Rokhlin property
Authors:
Hiroyuki Osaka,
N. Christopher Phillips
Abstract:
We prove that a number of classes of separable unital C*-algebras are closed under crossed products by finite group actions with the Rokhlin property, including:
(1) AI algebras, AT algebras, and related classes characterized by direct limit decompositions using semiprojective building blocks.
(2) Simple unital AH algebras with slow dimension growth and real rank zero.
(3) C*-algebras with…
▽ More
We prove that a number of classes of separable unital C*-algebras are closed under crossed products by finite group actions with the Rokhlin property, including:
(1) AI algebras, AT algebras, and related classes characterized by direct limit decompositions using semiprojective building blocks.
(2) Simple unital AH algebras with slow dimension growth and real rank zero.
(3) C*-algebras with real rank zero or stable rank one.
(4) C*-algebras whose quotients all satisfy the Universal Coefficient Theorem.
Along the way, we give a systematic treatment of the derivation of direct limit decompositions from local approximation conditions by homomorphic images which are not necessarily injective.
△ Less
Submitted 6 February, 2009; v1 submitted 27 April, 2007;
originally announced April 2007.
-
Cancellation for inclusions of C*-algebras of finite depth
Authors:
Ja A Jeong,
Hiroyuki Osaka,
N. Christopher Phillips,
Tamotsu Teruya
Abstract:
Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies \tsr (B) \leq \tsr (A) + n - 1. As an application, we show that if a unital inclusion A \subset B of C*-algebras has index-finite type and finite depth, and A is simple with stable rank on…
▽ More
Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies \tsr (B) \leq \tsr (A) + n - 1. As an application, we show that if a unital inclusion A \subset B of C*-algebras has index-finite type and finite depth, and A is simple with stable rank one and Property (SP), then B has cancellation. In particular, if A is a simple unital C*-algebra with stable rank one and Property (SP), and a finite group G acts on A, then the crossed product has cancellation. Separately, if the group is the integers, we obtain cancellation under the additional hypotheses that the group action is outer and is trivial on K_0 (A).
△ Less
Submitted 26 April, 2007;
originally announced April 2007.
-
Monotone operator functions, gaps and power moment problem
Authors:
Hiroyuki Osaka,
Sergei Silvestrov,
Jun Tomiyama
Abstract:
The article is devoted to investigation of the classes of functions belonging to the gaps between classes $P_{n+1}(I)$ and $P_{n}(I)$ of matrix monotone functions for full matrix algebras of successive dimensions. In this paper we address the problem of characterizing polynomials belonging to the gaps $P_{n}(I) \setminus P_{n+1}(I)$ for bounded intervals $I$. We show that solution of this proble…
▽ More
The article is devoted to investigation of the classes of functions belonging to the gaps between classes $P_{n+1}(I)$ and $P_{n}(I)$ of matrix monotone functions for full matrix algebras of successive dimensions. In this paper we address the problem of characterizing polynomials belonging to the gaps $P_{n}(I) \setminus P_{n+1}(I)$ for bounded intervals $I$. We show that solution of this problem is closely linked to solution of truncated moment problems, Hankel matrices and Hankel extensions. Namely, we show that using the solutions to truncated moment problems we can construct continuum many polynomials in the gaps. We also provide via several examples some first insights into the further problem of description of polynomials in the gaps that are not coming from the truncated moment problem. Also, in this article, we deepen further in another way into the structure of the classes of matrix monotone functions and of the gaps between them by considering the problem of position in the gaps of certain interesting subclasses of matrix monotone functions that appeared in connection to interpolation of spaces and in a prove of the L{ö}wner theorem on integral representation of operator monotone functions.
△ Less
Submitted 17 June, 2006;
originally announced June 2006.
-
Stable rank of inclusion of C*-algebras of depth 2
Authors:
Hiroyuki Osaka,
Tamotsu Teruya
Abstract:
Let $1 \in A \subset B$ be an inclusion of unital C*-algebras of index-finite type and depth 2. Suppose that $A$ is infinite dimensional simple with $tsr(A) = 1$ and SP-property. Then $tsr(B) \leq 2$. As a corollary when $A$ is a simple C*-algebra with $\tsr(A) = 1$ and SP-property and $α$ an action of a finite group $G$ on $\Aut(A)$, $\tsr(A \rtimes_αG) \leq 2$.
Let $1 \in A \subset B$ be an inclusion of unital C*-algebras of index-finite type and depth 2. Suppose that $A$ is infinite dimensional simple with $tsr(A) = 1$ and SP-property. Then $tsr(B) \leq 2$. As a corollary when $A$ is a simple C*-algebra with $\tsr(A) = 1$ and SP-property and $α$ an action of a finite group $G$ on $\Aut(A)$, $\tsr(A \rtimes_αG) \leq 2$.
△ Less
Submitted 26 February, 2006;
originally announced February 2006.
-
Tracial Rokhlin property for automorphisms on simple $A{\mathbb T}$-algebras
Authors:
Huaxin Lin,
Hiroyuki Osaka
Abstract:
Let $A$ be a unital simple $A\T$-algebra of real rank zero. Given an isomorphism $γ_1: K_1(A)\to K_1(A),$ we show that there is an automorphism $\af: A\to A$ such that $\af_{*1}=γ_1$ which has the tracial Rokhlin property. Consequently, the crossed product $A\rtimes_{\af}\Z$ is a simple unital AH-algebra with real rank zero. We also show that automorphism with Rokhlin property can be constructed…
▽ More
Let $A$ be a unital simple $A\T$-algebra of real rank zero. Given an isomorphism $γ_1: K_1(A)\to K_1(A),$ we show that there is an automorphism $\af: A\to A$ such that $\af_{*1}=γ_1$ which has the tracial Rokhlin property. Consequently, the crossed product $A\rtimes_{\af}\Z$ is a simple unital AH-algebra with real rank zero. We also show that automorphism with Rokhlin property can be constructed from minimal homeomorphisms on a connected compact metric space.
△ Less
Submitted 20 January, 2006;
originally announced January 2006.
-
Furstenberg transformations on irrational rotation algebras
Authors:
Hiroyuki Osaka,
N. Christopher Phillips
Abstract:
We introduce a general class of automorphisms of rotation algebras, the noncommutative Furstenberg transformations. We prove that fully irrational noncommutative Furstenberg transformations have the tracial Rokhlin property, which is a strong form of outerness. We conclude that crossed products by these automorphisms have stable rank one, real rank zero, and order on projections determined by tr…
▽ More
We introduce a general class of automorphisms of rotation algebras, the noncommutative Furstenberg transformations. We prove that fully irrational noncommutative Furstenberg transformations have the tracial Rokhlin property, which is a strong form of outerness. We conclude that crossed products by these automorphisms have stable rank one, real rank zero, and order on projections determined by traces (Blackadar's Second Fundamental Comparability Question).
We also prove that several classes of simple quotients of the C*-algebras of discrete subgroups of five dimensional nilpotent Lie groups, considered by Milnes and Walters, are crossed products of simple C*-algebras (C*-algebras of minimal ordinary Furstenberg transformations) by automorphisms which have the tracial Rokhlin property. It follows that these algebras also have stable rank one, real rank zero, and order on projections determined by traces.
△ Less
Submitted 9 September, 2004;
originally announced September 2004.
-
Stable and real rank for crossed products by automorphisms with the tracial Rokhlin property
Authors:
Hiroyuki Osaka,
N. Christopher Phillips
Abstract:
We introduce the tracial Rokhlin property for automorphisms of stably finite simple unital C*-algebras containing enough projections. This property is formally weaker than the various Rokhlin properties considered by Herman and Ocneanu, Kishimoto, and Izumi. Our main results are as follows. Consider a stably finite simple unital C*-algebra, and an automorphism of it which has the tracial Rokhlin…
▽ More
We introduce the tracial Rokhlin property for automorphisms of stably finite simple unital C*-algebras containing enough projections. This property is formally weaker than the various Rokhlin properties considered by Herman and Ocneanu, Kishimoto, and Izumi. Our main results are as follows. Consider a stably finite simple unital C*-algebra, and an automorphism of it which has the tracial Rokhlin property. Suppose the algebra has real rank zero and stable rank one, and suppose that the order on projections over the algebra is determined by traces. Then the crossed product by the automorphism also has these three properties.
We also present examples of C*-algebras and automorphisms which satisfy the above assumptions, but such that crossed product algebras do not have tracial rank zero.
△ Less
Submitted 9 September, 2004;
originally announced September 2004.
-
The Rokhlin property and the tracial topological rank
Authors:
Huaxin Lin,
Hiroyuki Osaka
Abstract:
Let $A$ be a unital separable simple \CA with $\tr(A)\le 1$ and $α$ be an automorphism. We show that if $α$ satisfies the tracially cyclic Rokhlin property then $\tr(A\rtimes_α\Z)\le 1.$ We also show that whenever $A$ has a unique tracial state and $α^m$ is uniformly outer for each $m (\not= 0)$ and $α^r$ is approximately inner for some $r>0,$ $α$ satisfies the tracial cyclic Rokhlin property. B…
▽ More
Let $A$ be a unital separable simple \CA with $\tr(A)\le 1$ and $α$ be an automorphism. We show that if $α$ satisfies the tracially cyclic Rokhlin property then $\tr(A\rtimes_α\Z)\le 1.$ We also show that whenever $A$ has a unique tracial state and $α^m$ is uniformly outer for each $m (\not= 0)$ and $α^r$ is approximately inner for some $r>0,$ $α$ satisfies the tracial cyclic Rokhlin property. By applying the classification theory of nuclear \CA s, we use the above result to prove a conjecture of Kishimoto: if $A$ is a unital simple $A{\mathbb T}$-algebra of real rank zero and $α\in \Aut(A)$ which is approximately inner and if $α$ satisfies some Rokhlin property, then the crossed product $A\rtimes_α\Z$ is again an $A{\mathbb T}$ -algebra of real rank zero. As a by-product, we find that one can construct a large class of simple \CA s with tracial rank one (and zero) from crossed products.
△ Less
Submitted 8 March, 2004; v1 submitted 6 February, 2004;
originally announced February 2004.
-
Topological stable rank of inclusions of unital C*-algebras
Authors:
Hiroyuki Osaka,
Tamotsu Teruya
Abstract:
Let $1 \in A \subset B$ be an inclusion of C*-algebras of C*-index-finite type with depth 2. We try to compute topological stable rank of $B$ ($= \tsr(B)$) when $A$ has topological stable rank one. We show that $\tsr(B) \leq 2$ when $A$ is a tsr boundedly divisible algebra, in particular, $A$ is a C*-minimal tensor product $UHF \otimes
D$ with $\tsr(D) = 1$. When $G$ is a finite group and $α$ i…
▽ More
Let $1 \in A \subset B$ be an inclusion of C*-algebras of C*-index-finite type with depth 2. We try to compute topological stable rank of $B$ ($= \tsr(B)$) when $A$ has topological stable rank one. We show that $\tsr(B) \leq 2$ when $A$ is a tsr boundedly divisible algebra, in particular, $A$ is a C*-minimal tensor product $UHF \otimes
D$ with $\tsr(D) = 1$. When $G$ is a finite group and $α$ is an action of $G$ on UHF, we know that a crossed product algebra $UHF \rtimes_αG$ has topological stable rank less than or equal to two.
These results are affirmative datum to a generalization of a question by B. Blackadar in 1988.
△ Less
Submitted 25 November, 2003;
originally announced November 2003.
-
Monotone operator functions on $C^*$-algebra
Authors:
Hiroyuki Osaka,
Sergei D. Silvestrov,
Jun Tomiyama
Abstract:
The article is devoted to investigation of classes of functions monotone as functions on general $C^*$-algebras that are not necessarily the $C^*$-algebras of all bounded linear operators on a Hilbert space as it is in classical case of matrix and operator monotone functions. We show that for general $C^*$-algebras the classes of monotone functions coincide with the standard classes of matrix an…
▽ More
The article is devoted to investigation of classes of functions monotone as functions on general $C^*$-algebras that are not necessarily the $C^*$-algebras of all bounded linear operators on a Hilbert space as it is in classical case of matrix and operator monotone functions. We show that for general $C^*$-algebras the classes of monotone functions coincide with the standard classes of matrix and operator monotone functions. For every class we give exact characterization of $C^*$-algebras that have this class of monotone functions, providing at the same time a monotonicity characterization of subhomogeneous $C^*$-algebras. We use this characterization to generalize one function based monotonicity conditions for commutativity of a $C^*$-algebra, to one function based monotonicity conditions for subhomogeneity. As a $C^*$-algebraic counterpart of standard matrix and operator monotone scaling, we investigate, by means of projective $C^*$-algebras and relation lifting, the existence of $C^*$-subalgebras of a given monotonicity class.
△ Less
Submitted 5 November, 2003;
originally announced November 2003.
