BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Chi-Wai Leung

Chi-Wai Leung appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.OAmath-phmath.MPmath.ACmath.DGmath.GTmath.NTmath.RAmath.SP

Catalog footprint

What is connected

9works
10topics
2close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

9 published item(s)

preprint2020arXiv

Analytic bundle structure on the idempotent manifold

Let $X$ be a (real or complex) Banach space, and $\mathcal{I}(X)$ be the set of all (non-zero and non-identity) idempotents; i.e., bounded linear operators on $X$ whose squares equal themselves. We show that the Banach submanifold $\mathcal{I}(X)$ of $\mathcal{L}(X)$ is a locally trivial analytic affine-Banach bundle over the Grassmann manifold $\mathscr{G}(X)$, via the map $κ$ that sends $Q\in \mathcal{I}(X)$ to $Q(X)$, such that the affine-Banach space structure on each fiber is the one induced from $\mathcal{L}(X)$ (in particular, every fiber is an affine-Banach subspace of $\mathcal{L}(X)$). Using this, we show that if $K$ is a real Hilbert space, then the assignment $$(E,T)\mapsto T^*\circ P_{E^\bot} + P_{E}, \quad \text{ where } E\in \mathscr{G}(K)\text{ and } T\in \mathcal{L}(E,E^\bot),$$ induces a bi-analytic bijection from the total space of the tangent bundle, $\mathbf{T}(\mathscr{G}(K))$, of $\mathscr{G}(K)$ onto $\mathcal{I}(K)$ (here, $E^\bot$ is the orthogonal complement of $E$, $P_E\in \mathcal{L}(K)$ is the orthogonal projection onto $E$, and $T^*$ is the adjoint of $T$). Notice that this bi-analytic bijection is an affine map on each tangent plane.

0 citations0 reviewsNo code linkedOpen access
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$).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Berkovich spectra of elements in Banach Rings

Adapting the notion of the spectrum $Σ_a$ for an element $a$ in an ultrametric Banach algebra (as defined by Berkovich), we introduce and briefly study the Berkovich spectrum $σ^{Ber}_R(u)$ of an element $u$ in a Banach ring $R$. This spectrum is a compact subset of the affine analytic space $A_Z^1$ over $Z$, and the later can be identified with the "equivalence classes" of all elements in all complete valuation fields. If $R$ is generated by $u$ as a unital Banach ring, then $σ^{Ber}_R(u)$ coincides with the spectrum of $R$ (as defined by Berkovich). If $R$ is a unital complex Banach algebra, then $σ^{Ber}_R(u)$ is the "folding up" of the usual spectrum $σ_B(u)$ alone the real axis. For a non-Archimedean complete valuation field $k$ and an infinite dimensional ultrametric $k$-Banach space $E$ with an orthogonal base, if $u\in L(E)$ is a completely continuous operator, we show that many different ways to define the spectrum of $u$ give the same compact set $σ^{Ber}_{L(E)}(u)$. As an application, we give a lower bound for the valuations of the zeros of the Fredholm determinant $\det(1- t\cdot u)$ (as defined by Serre) in complete valuation field extensions of $k$. Using this, we give a concrete example of a completely continuous operator whose Fredholm determinant does not have any zero in any complete valuation field extension of $k$.

0 citations0 reviewsNo code linkedOpen access
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(Ω)$).

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access