SearcharxivSearch

arXiv subjects

Tomohiro Hayashi

Publications and source records attributed to Tomohiro Hayashi.

17 recordsLinked to original sources

On Conjugacy of Subalgebras in Graph $C^*$-Algebras. II

We apply a method inspired by Popa's intertwining-by-bimodules technique to investigate inner conjugacy of MASAs in graph $C^*$-algebras. First we give a new proof of non-inner conjugacy of the diagonal MASA ${\mathcal D}_n$ to its non-trivial image under a quasi-free automorphism, where $E$ is a finite transitive graph. Changing graphs representing the algebras, this result applies to some non quasi-free automorphisms as well. Then we exhibit a large class of MASAs in the Cuntz algebra ${\mathcal O}_n$ that are not inner conjugate to the diagonal ${\mathcal D}_n$.

math.OA

On the fixed point spaces of some completely positive maps

In this paper we generalize the results shown by Das and Peterson. Let $M$ be a ${\rm II}_1$-factor acting on $L^2(M)$. We consider certain unital normal completely positive maps on $B(L^2(M))$ which are identity on $M$. We investigate their fixed point spaces and obtain a rigidity result. As an application, we show some results of subfactors.

math.OA

On Conjugacy of Subalgebras of Graph C*-Algebras

The problem of inner vs outer conjugacy of subalgebras of certain graph C*-algebras is investigated. For a large class of finite graphs E, we show that whenever $α$ is a vertex-fixing quasi-free automorphism of the corresponding graph C*-algebra C*(E) such that α(\D_E)\neq\D_E, where \D_E is the canonical MASA in C*(E), then α(\D_E)\neq w\D_E w^* for all unitaries w\in C*(E). That is, the two MASAs \D_E and α(\D_E) of C*(E) are outer but not inner conjugate. Passing to an isomorphic C*-algebra by changing the underlying graph makes this result applicable to certain non quasi-free automorphisms as well. For the Cuntz algebras O_n, we find a criterion which guarantees that a polynomial automorphism moves the canonical UHF subalgebra to a non-inner conjugate UHF subalgebra. The criterion is phrased in terms of rescaling of trace on diagonal projections.

math.OA

On the List Decodability of Insertions and Deletions

In this work, we study the problem of list decoding of insertions and deletions. We present a Johnson-type upper bound on the maximum list size. The bound is meaningful only when insertions occur. Our bound implies that there are binary codes of rate $Ω(1)$ that are list-decodable from a $0.707$-fraction of insertions. For any $τ_\mathsf{I} \geq 0$ and $τ_\mathsf{D} \in [0,1)$, there exist $q$-ary codes of rate $Ω(1)$ that are list-decodable from a $τ_\mathsf{I}$-fraction of insertions and $τ_\mathsf{D}$-fraction of deletions, where $q$ depends only on $τ_\mathsf{I}$ and $τ_\mathsf{D}$. We also provide efficient encoding and decoding algorithms for list-decoding from $τ_\mathsf{I}$-fraction of insertions and $τ_\mathsf{D}$-fraction of deletions for any $τ_\mathsf{I} \geq 0$ and $τ_\mathsf{D} \in [0,1)$. Based on the Johnson-type bound, we derive a Plotkin-type upper bound on the code size in the Levenshtein metric.

cs.IT

On a norm inequality for a positive block-matrix

For a positive semidefinite matrix $H= \begin{bmatrix} A&X\\ X^{*}&B \end{bmatrix} $, we consider the norm inequality $ ||H||\leq ||A+B|| $. We show that this inequality holds under certain conditions. Some related topics are also investigated.

math.FA

On the conjecture of the norm Schwarz inequality

For any positive invertible matrix $A$ and any normal matrix $B$ in $M_{n}({\Bbb C})$, we investigate whether the inequality $ ||A\sharp (B^{*}A^{-1}B)||\geq ||B|| $ is true or not, where $\sharp$ denotes the geometric mean and $||\cdot||$ denotes the operator norm. We will solve this problem negatively. The related topics are also discussed.

math.FA

On Conjugacy of MASAs in Graph $C^*$-Algebras

For a large class of finite graphs $E$, we show that whenever $α$ is a vertex-fixing quasi-free automorphism of the corresponding graph $C^*$-algebra $C^*(E)$ such that $α({\mathcal D}_E) \neq{\mathcal D}_E$, where ${\mathcal D}_E$ is the canonical MASA in $C^*(E)$, then $α({\mathcal D}_E)\neq w{\mathcal D}_E w^*$ for all unitaries $w\in C^*(E)$. That is, the two MASAs ${\mathcal D}_E$ and $α({\mathcal D}_E)$ of $C^*(E)$ are outer but not inner conjugate. Passing to an isomorphic $C^*$-algebra by changing the underlying graph makes this result applicable to certain non quasi-free automorphisms as well.

math.OA

On Endomorphisms of the Cuntz Algebra which Preserve the Canonical UHF-Subalgebra, II

It was shown recently by Conti, Rørdam and Szymański that there exist endomorphisms $λ_u$ of the Cuntz algebra $\mathcal{O}_n$ such that $λ_u (\mathcal{F}_n)\subseteq\mathcal{F}_n$ but $u\not\in\mathcal{F}_n$, and a question was raised if for such a $u$ there must always exist a unitary $v\in\mathcal{F}_n$ with $λ_u|_{\mathcal{F}_n} = λ_v|_{\mathcal{F}_n}$. In the present paper, we answer this question to the negative. To this end, we analyze the structure of such endomorphisms $λ_u$ for which the relative commutant $λ_u(\mathcal{F}_n)'\cap\mathcal{F}_n$ is finite dimensional.

math.OA

A note on the Jensen inequality for self-adjoint operators. II

This is a continuation of our previous paper. We consider a certain order-like relation for positive operators on a Hilbert space. This relation is defined by using the Jensen inequality with respect to the square-root function. We show that this relation is antisymmetric if the operators are invertible.

math.FA

On normalizers of $C^{*}$-subalgebras in the Cuntz algebra $\mathcal{O}_{n}$

In this paper we investigate the normalizer $\mathcal{N}_{\mathcal{O}_{n}}(A)$ of a $C^{*}$-subalgebra $A\subset \mathcal{F}_{n}$ where $\mathcal{F}_{n}$ is the canonical UHF-subalgebra of type $n^{\infty}$ in the Cuntz algebra $\mathcal{O}_{n}$. Under the assumption that the relative commutant $A'\cap \mathcal{F}_{n}$ is finite-dimensional, we show several facts for normalizers of $A$. In particular it is shown that the automorphism group $\{{\rm Ad}u|_{A}\ \ |\ u\in \mathcal{N}_{\mathcal{F}_{n}}(A)\}$ has a finite index in $\{{\rm Ad}U|_{A}\ \ |\ U\in \mathcal{N}_{\mathcal{O}_{n}}(A)\}$.

math.OA

A note on Jensen inequality for self-adjoint operators

In this paper we consider the order-like relation for self-adjoint operators on some Hilbert space. This relation is defined by using Jensen inequality. We will show that under some assumptions this relation is antisymmetric.

math.FA

Non-commutative A-G mean inequality

In this paper we consider non-commutative analogue for the arithmeticgeometric mean inequality $$a^{r}b^{1-r}+(r-1)b\geq ra$$ for two positive numbers $a,b$ and $r> 1$. We show that under some assumptions the non-commutative analogue for $a^{r}b^{1-r}$ which satisfies this inequality is unique and equal to $r$-mean. The case $0<r<1$ is also considered. In particular, we give a new characterization of the geometric mean.

math.FA

A note on rigidity for crossed product von Neumann algebras

In this note, we will point out, as a corollary of Popa's rigidity theory, that the crossed product von Neumann algebras for Bernoulli shifts cannot have relative property T. This is an operator algebra analogue of the theorem shown by Neuhauser and Cherix-Martin-Valette for discrete groups. Our proof is different from that for groups.

math.OA

A characterization of The operator-valued triangle equality

We will show that for any two bounded linear operators $X,Y$ on a Hilbert space ${\frak H}$, if they satisfy the triangle equality $|X+Y|=|X|+|Y|$, there exists a partial isometry $U$ on ${\frak H}$ such that $X=U|X|$ and $Y=U|Y|$. This is a generalization of Thompson's theorem to the matrix case proved by using a trace.

math.OA