Source author record

Ngai-Ching Wong

Ngai-Ching Wong appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2020arXiv

On a variant of Tingley's problem for some function spaces

Let $(Ω, \mathfrak{A}, μ)$ and $(Γ, \mathfrak{B}, ν)$ be two arbitrary measure spaces, and $p\in [1,\infty]$. Set $$L^p(μ)_+^\mathrm{sp}:= \{f\in L^p(μ): \|f\|_p =1; f\geq 0\ μ\text{-a.e.} \}$$ i.e., the positive part of the unit sphere of $L^p(μ)$. We show that every metric preserving bijection $Φ: L^p(μ)_+^\mathrm{sp} \to L^p(ν)_+^\mathrm{sp}$ can be extended (necessarily uniquely) to an isometric order isomorphism from $L^p(μ)$ onto $L^p(ν)$. A Lamperti form, i.e., a weighted composition like form, of $Φ$ is provided, when $(Γ, \mathfrak{B}, ν)$ is localizable (in particular, when it is $σ$-finite). On the other hand, we show that for compact Hausdorff spaces $X$ and $Y$, if $Φ$ is a metric preserving bijection from the positive part of the unit sphere of $C(X)$ to that of $C(Y)$, then there is a homeomorphism $τ:Y\to X$ satisfying $Φ(f)(y) = f(τ(y))$ ($f\in C(X)_+^\mathrm{sp}; y\in Y$).

preprint2016arXiv

A Murray-von Neumann type classification of $C^*$-algebras

We define type $\mathfrak{A}$, type $\mathfrak{B}$, type $\mathfrak{C}$ as well as C*-semi-finite C*-algebras. It is shown that a von Neumann algebra is a type $\mathfrak{A}$, type $\mathfrak{B}$, type $\mathfrak{C}$ or C*-semi-finite C*-algebra if and only if it is, respectively, a type I, type II, type III or semi-finite von Neumann algebra. Any type I C*-algebra is of type $\mathfrak{A}$ (actually, type $\mathfrak{A}$ coincides with the discreteness as defined by Peligrad and Zsido), and any type II C*-algebra (as defined by Cuntz and Pedersen) is of type $\mathfrak{B}$. Moreover, any type $\mathfrak{C}$ C*-algebra is of type III (in the sense of Cuntz and Pedersen). Furthermore, any purely infinite C*-algebra (in the sense of Kirchberg and Rordam) with real rank zero is of type $\mathfrak{C}$, and any separable purely infinite C*-algebra with stable rank one is also of type $\mathfrak{C}$. We also prove that type $\mathfrak{A}$, type $\mathfrak{B}$, type $\mathfrak{C}$ and C*-semi-finiteness are stable under taking hereditary C*-subalgebras, multiplier algebras and strong Morita equivalence. Furthermore, any C*-algebra $A$ contains a largest type $\mathfrak{A}$ closed ideal $J_\mathfrak{A}$, a largest type $\mathfrak{B}$ closed ideal $J_\mathfrak{B}$, a largest type $\mathfrak{C}$ closed ideal $J_\mathfrak{C}$ as well as a largest C*-semi-finite closed ideal $J_\mathfrak{sf}$. Among them, we have $J_\mathfrak{A} + J_\mathfrak{B}$ being an essential ideal of $J_\mathfrak{sf}$, and $J_\mathfrak{A} + J_\mathfrak{B} + J_\mathfrak{C}$ being an essential ideal of $A$. On the other hand, $A/J_\mathfrak{C}$ is always C*-semi-finite, and if $A$ is C*-semi-finite, then $A/J_\mathfrak{B}$ is of type $\mathfrak{A}$.

preprint2016arXiv

On the decomposition into Discrete, type II and type III $C^*$-algebras

We obtained a "decomposition scheme" of C*-algebras. We show that the classes of discrete C*-algebras (as defined by Peligard and Zsido), type II C*-algebras and type III C*-algebras (both defined by Cuntz and Pedersen) form a good framework to "classify" C*-algebras. In particular, we found that these classes are closed under strong Morita equivalence, hereditary C*-subalgebras as well as taking "essential extension" and "normal quotient". Furthermore, there exist the largest discrete finite ideal $A_{d,1}$, the largest discrete essentially infinite ideal $A_{d,\infty}$, the largest type II finite ideal $A_{II,1}$, the largest type II essentially infinite ideal $A_{II,\infty}$, and the largest type III ideal $A_{III}$ of any C*-algebra $A$ such that $A_{d,1} + A_{d,\infty} + A_{II,1} + A_{II,\infty} + A_{III}$ is an essential ideal of $A$. This "decomposition" extends the corresponding one for $W^*$-algebras. We also give a closer look at C*-algebras with Hausdorff primitive spectrum, AW*-algebras as well as local multiplier algebras of C*-algebras. We find that these algebras can be decomposed into continuous fields of prime C*-algebras over a locally compact Hausdorff space, with each fiber being non-zero and of one of the five types mentioned above.

preprint2015arXiv

Transition probabilities of normal states determine the Jordan structure of a quantum system

Let $Φ:\mathfrak{S}(M_1)\to \mathfrak{S}(M_2)$ be a bijection (not assumed affine nor continuous) between the sets of normal states of two quantum systems, modelled on the self-adjoint parts of von Neumann algebras $M_1$ and $M_2$, respectively. This paper concerns with the situation when $Φ$ preserves (or partially preserves) one of the following three notions of "transition probability" on the normal state spaces: the Uhlmann transition probability $P_U$, the Raggio transition probability $P_B$ and an "asymmetric transition probability" $P_0$ as defined in this article. It is shown that the two systems are isomorphic, i.e. $M_1$ and $M_2$ are Jordan $^*$-isomorphic, if $Φ$ preserves all pairs with zero Uhlmann (respectively, Raggio or asymmetric) transition probability, i.e., for any normal states $μ$ and $ν$, we have $$ P\big(Φ(μ),Φ(ν)\big) = 0 \quad \text{if and only if} \quad P(μ,ν)=0, $$ where $P$ stands for $P_U$ (respectively, $P_R$ or $P_0$). Furthermore, as an extension of Wigner's theorem, it is shown that there is a Jordan $^*$-isomorphism $Θ:M_2\to M_1$ with $$Φ= Θ^*|_{\mathfrak{S}(M_1)}$$ if and only if $Φ$ preserves the "asymmetric transition probability". This is also equivalent to $Φ$ preserving the Raggio transition probability. Consequently, if $Φ$ preserves the Raggio transition probability, it will preserve the Uhlmann transition probability as well. As another application, the sets of normal states equipped with either the usual metric, the Bures metric or "the metric induced by the self-dual cone" are complete Jordan $^*$-invariants for the underlying von Neumann algebras.

preprint2014arXiv

Inner products and module maps of Hilbert C*-modules

Let $E$ and $F$ be two Hilbert $C^*$-modules over $C^*$-algebras $A$ and $B$, respectively. Let $T$ be a surjective linear isometry from $E$ onto $F$ and $φ$ a map from $A$ into $B$. We will prove in this paper that if the $C^*$-algebras $A$ and $B$ are commutative, then $T$ preserves the inner products and $T$ is a module map, i.e., there exists a $*$-isomorphism $φ$ between the $C^*$-algebras such that $$ \langle Tx,Ty\rangle=φ(\langle x,y\rangle), $$ and $$ T(xa)=T(x)φ(a). $$ In case $A$ or $B$ is noncommutative $C^*$-algebra, $T$ may not satisfy the equations above in general. We will also give some condition such that $T$ preserves the inner products and $T$ is a module map.

preprint2014arXiv

Isometric embeddings of Banach bundles

We show in this paper that every bijective linear isometry between the continuous section spaces of two non-square Banach bundles gives rise to a Banach bundle isomorphism. This is to support our expectation that the geometric structure of the continuous section space of a Banach bundle determines completely its bundle structures. We also describe the structure of an \emph{into} isometry from a continuous section space into an other. However, we demonstrate by an example that a non-surjective linear isometry can be far away from a subbundle embedding.

preprint2014arXiv

Orthogonally additive and orthogonally multiplicative holomorphic functions of matrices

Let $H:M_m\to M_m$ be a holomorphic function of the algebra $M_m$ of complex $m\times m$ matrices. Suppose that $H$ is orthogonally additive and orthogonally multiplicative on self-adjoint elements. We show that either the range of $H$ consists of zero trace elements, or there is a scalar sequence $\{λ_n\}$ and an invertible $S$ in $M_m$ such that $$ H(x) =\sum_{n\geq 1} λ_n S^{-1}x^nS, \quad\forall x \in M_m,%\eqno{(‡)} $$ or $$ H(x) =\sum_{n\geq 1} λ_n S^{-1}(x^t)^nS, \quad\forall x \in M_m. $$ Here, $x^t$ is the transpose of the matrix $x$. In the latter case, we always have the first representation form when $H$ also preserves zero products. We also discuss the cases where the domain and the range carry different dimensions.

preprint2014arXiv

The spectrum of the product of operators, and the product of their numerical ranges

We show that a compact operator $A$ is a multiple of a positive semi-definite operator if and only if $$ σ(AB) \subseteq \overline{W(A)W(B)}, \quad\text{for all (rank one) operators $B$}. $$ An example of a normal operator is given to show that the equivalence conditions may fail in general. We then obtain conditions to identify other classes of operators $A$ so that equivalence conditions hold.

preprint2010arXiv

"Maps preserving the spectrum of generalized Jordan product of operators", and its "Addendum"

In the paper "Maps preserving the spectrum of generalized Jordan product of operators", we define a generalized Jordan products on standard operator algebras $A_1, A_2$ on complex Banach spaces $X_1, X_2$, respectively. This includes the usual Jordan product $A_1 \circ A_2 = A_1 A_2 + A_2 A_1$, and the triple $\{A_1,A_2,A_3\} = A_1 A_2 A_3 + A_3 A_2 A_1$. Let a map $Φ: A_1 \to A_2$ prserving the spectra of the products $$ σ(Φ(A_1) \circ ... \circ Φ(A_k)) = σ(A_1\circ ... \circ A_k) $$ whenever any one of $A_1, ..., A_k$ has rank at most one. It is shown in this paper that if the range of $Φ$ contains all operators of rank at most three, then $Φ$ must be a Jordan isomorphism multiplied by an $m$th root of unity. Similar results for maps between self-adjoint operators acting on Hilbert spaces are also obtained. After our paper "Maps preserving the spectrum of generalized Jordan product of operators" was published in Linear Algebra Appl. 432 (2010), 1049-1069, Jianlian Cui pointed out that some arguments in the proof of Theorem 3.1 are not entirely clear and accurate. Here we supply some details in the "Addendum".

preprint2010arXiv

Automatic continuity and $C_0(Ω)$-linearity of linear maps between $C_0(Ω)$-modules

Let $Ω$ be a locally compact Hausdorff space. We show that any local $\mathbb{C}$-linear map (where "local" is a weaker notion than $C_0(Ω)$-linearity) between Banach $C_0(Ω)$-modules are "nearly $C_0(Ω)$-linear" and "nearly bounded". As an application, a local $\mathbb{C}$-linear map $θ$ between Hilbert $C_0(Ω)$-modules is automatically $C_0(Ω)$-linear. If, in addition, $Ω$ contains no isolated point, then any $C_0(Ω)$-linear map between Hilbert $C_0(Ω)$-modules is automatically bounded. Another application is that if a sequence of maps $\{θ_n\}$ between two Banach spaces "preserve $c_0$-sequences" (or "preserve ultra-$c_0$-sequences"), then $θ_n$ is bounded for large enough $n$ and they have a common bound. Moreover, we will show that if $θ$ is a bijective "biseparating" linear map from a "full" essential Banach $C_0(Ω)$-module $E$ into a "full" Hilbert $C_0(Δ)$-module $F$ (where $Δ$ is another locally compact Hausdorff space), then $θ$ is "nearly bounded" (in fact, it is automatically bounded if $Δ$ or $Ω$ contains no isolated point) and there exists a homeomorphism $σ: Δ\rightarrow Ω$ such that $θ(e\cdot φ) = θ(e)\cdot φ\circ σ$ ($e\in E, φ\in C_0(Ω)$).

preprint2010arXiv

Linear orthogonality preservers of Hilbert $C^*$-modules over general $C^*$-algebras

As a partial generalisation of the Uhlhorn theorem to Hilbert $C^*$-modules, we show in this article that the module structure and the orthogonality structure of a Hilbert $C^*$-module determine its Hilbert $C^*$-module structure. In fact, we have a more general result as follows. Let $A$ be a $C^*$-algebra, $E$ and $F$ be Hilbert $A$-modules, and $I_E$ be the ideal of $A$ generated by $\{\langle x,y\rangle_A: x,y\in E\}$. If $Φ: E\to F$ is an $A$-module map, not assumed to be bounded but satisfying $$ \langle Φ(x),Φ(y)\rangle_A\ =\ 0\quad\text{whenever}\quad\langle x,y\rangle_A\ =\ 0, $$ then there exists a unique central positive multiplier $u\in M(I_E)$ such that $$ \langle Φ(x), Φ(y)\rangle_A\ =\ u \langle x, y\rangle_A\qquad (x,y\in E). $$ As a consequence, $Φ$ is automatically bounded, the induced map $Φ_0: E\to \overline{Φ(E)}$ is adjointable, and $\overline{Eu^{1/2}}$ is isomorphic to $\overline{Φ(E)}$ as Hilbert $A$-modules. If, in addition, $Φ$ is bijective, then $E$ is isomorphic to $F$.

preprint2010arXiv

Linear orthogonality preservers of Hilbert bundles

Due to the corresponding fact concerning Hilbert spaces, it is natural to ask if the linearity and the orthogonality structure of a Hilbert $C^*$-module determine its $C^*$-algebra-valued inner product. We verify this in the case when the $C^*$-algebra is commutative (or equivalently, we consider a Hilbert bundle over a locally compact Hausdorff space). More precisely, a $\mathbb{C}$-linear map $θ$ (not assumed to be bounded) between two Hilbert $C^*$-modules is said to be "orthogonality preserving" if $\left<θ(x),θ(y)\right> =0$ whenever $\left<x,y\right> =0$. We prove that if $θ$ is an orthogonality preserving map from a full Hilbert $C_0(Ω)$-module $E$ into another Hilbert $C_0(Ω)$-module $F$ that satisfies a weaker notion of $C_0(Ω)$-linearity (known as "localness"), then $θ$ is bounded and there exists $ϕ\in C_b(Ω)_+$ such that $$ \left<θ(x),θ(y)\right>\ =\ ϕ\cdot\left<x,y\right>, \quad \forall x,y \in E. $$ On the other hand, if $F$ is a full Hilbert $C^*$-module over another commutative $C^*$-algebra $C_0(Δ)$, we show that a "bi-orthogonality preserving" bijective map $θ$ with some "local-type property" will be bounded and satisfy $$ \left<θ(x),θ(y)\right>\ =\ ϕ\cdot\left<x,y\right>\circσ, \quad \forall x,y \in E $$ where $ϕ\in C_b(Ω)_+$ and $σ: Δ\rightarrow Ω$ is a homeomorphism.

preprint2007arXiv

Property (T) for non-unital C*-algebras

Inspired by the recent work of Bekka, we study two reasonable analogues of property (T) for not necessarily unital C*-algebras. The stronger one of the two is called ``property (T)'' and the weaker one is called ``property (T_{e})''. It is shown that all non-unital C*-algebras do not have property (T) (neither do their unitalizations). Moreover, all non-unital $σ$-unital C*-algebras do not have property (T_e).