Showing 1–50 of 58 results for author: Ng, C

Duality for operator systems with generating cones

Authors: Yu-Shu Jia, Chi-Keung Ng

Abstract: Let $S$ be a complete operator system with a generating cone; i.e. $S_\sa = S_+ - S_+$. We show that there is a matrix norm on the dual space $S^*$, under which, and the usual dual matrix cone, $S^*$ becomes a dual operator system with a generating cone, denoted by $S^\rd$. The canonical complete order isomorphism $ι_{S^*}: S^* \to S^\rd$ is a dual Banach space isomorphism. Furthermore, we constru… ▽ More Let $S$ be a complete operator system with a generating cone; i.e. $S_\sa = S_+ - S_+$. We show that there is a matrix norm on the dual space $S^*$, under which, and the usual dual matrix cone, $S^*$ becomes a dual operator system with a generating cone, denoted by $S^\rd$. The canonical complete order isomorphism $ι_{S^*}: S^* \to S^\rd$ is a dual Banach space isomorphism. Furthermore, we construct a canonical completely contractive weak$^*$-homeomorphism $β_S: (S^\rd)^\rd\to S^{**}$, and verify that it is a complete order isomorphism. For a complete operator system $T$ with a generating cone and a completely positive complete contraction $\varphi:S\to T$, there is a weak$^*$-continuous completely positive complete contraction $\varphi^\rd:T^\rd \to S^\rd$ with $ι_{S^*}\circ \varphi^* = \varphi^\rd \circ ι_{T^*}$. This produces a faithful functor from the category of complete operator systems with generating cones (where morphisms are completely positive complete contractions) to the category of dual operator systems with generating cones (where morphisms are weak$^*$-continuous completely positive complete contractions). We define the notion of approximately unital operator systems, and verify that operator systems considered in \cite{CvS} and \cite{CvS2} are approximately unital. If $S$ is approximately unital, then $ι_{S^*}:S^* \to S^\rd$ is an operator space isomorphism and $β_S: (S^\rd)^\rd\to S^{**}$ is a complete isometry. We will also establish that the restriction of the faithful functor $(S,T,\varphi)\mapsto (T^\rd, S^\rd, \varphi^\rd)$ to the category of approximately unital complete operator systems is both full and injective on objects. △ Less

Submitted 8 April, 2025; originally announced April 2025.

K-theory of C*-algebras arising from commuting Hilbert bimodules and invariant ideals

Authors: Astrid an Huef, Abraham C. S. Ng, Aidan Sims

Abstract: We study the K-theory of the Cuntz-Nica-Pimsner C*-algebra of a rank-two product system that is an extension determined by an invariant ideal of the coefficient algebra. We use a construction of Deaconu and Fletcher that describes the Cuntz-Nica-Pimsner C*-algebra of the product system in terms of two iterations of Pimsner's original construction of a C*-algebra from a right-Hilbert bimodule. We a… ▽ More We study the K-theory of the Cuntz-Nica-Pimsner C*-algebra of a rank-two product system that is an extension determined by an invariant ideal of the coefficient algebra. We use a construction of Deaconu and Fletcher that describes the Cuntz-Nica-Pimsner C*-algebra of the product system in terms of two iterations of Pimsner's original construction of a C*-algebra from a right-Hilbert bimodule. We apply our results to the product system built from two commuting surjective local homeomorphisms of a totally disconnected space, where the Cuntz-Nica-Pimsner C*-algebra is isomorphic to the C*-algebra of the associated rank-two Deaconu--Renault groupoid. We then apply a theorem of Spielberg about stable finiteness of an extension to obtain sufficient conditions for stable finiteness of the C*-algebra of the Deaconu-Renault groupoid. △ Less

Submitted 31 March, 2025; originally announced April 2025.

Comments: 30 pages; diagrams prepared with tikzcd and some help from q.uiver

MSC Class: 46L05 (primary); 46L55; 46L80 (secondary)

Combinatorics of Hurwitz degenerations and tropical realizability

Authors: Mia Lam, Chi Kin Ng, Dhruv Ranganathan

Abstract: We investigate the realizability of balanced functions on tropical curves, establishing new sufficient criteria for superabundant functions on genus two curves, analogous to the well-spacedness condition in genus one. We find that realizability is sensitive to the precise locations of conjugate and Weierstrass points on the tropical curve. The key input is a combinatorial comparison of semistable… ▽ More We investigate the realizability of balanced functions on tropical curves, establishing new sufficient criteria for superabundant functions on genus two curves, analogous to the well-spacedness condition in genus one. We find that realizability is sensitive to the precise locations of conjugate and Weierstrass points on the tropical curve. The key input is a combinatorial comparison of semistable limit theorems for maps of curves. Amini-Baker-Brugallé-Rabinoff previously showed that realizability of functions is equivalent to ``modifiability'' to a tropical admissible cover. The resulting criteria are typically inexplicit; we develop combinatorial techniques to derive explicit, verifiable criteria from these. We then develop a dimensional reduction technique to deduce statements about maps to $\mathbb{R}^r$ from ones about maps to $\mathbb{R}$. By proving directly that modifiability and well-spacedness are equivalent in genus one, we obtain a new proof that well-spaced maps are realizable. Along the way, we explain how the modifiability criterion can be viewed as a comparison result for properness statements for moduli of relative maps and admissible covers. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Comments: 38 pages, 16 figures

Nuclear dimension of extensions of commutative C*-algebras by Kirchberg algebras

Authors: Samuel Evington, Abraham C. S. Ng, Aidan Sims, Stuart White

Abstract: We compute the nuclear dimension of extensions of C*-algebras involving commutative unital quotients and stable Kirchberg ideals. We identify the finite directed graphs whose C*-algebras are covered by this theorem. We compute the nuclear dimension of extensions of C*-algebras involving commutative unital quotients and stable Kirchberg ideals. We identify the finite directed graphs whose C*-algebras are covered by this theorem. △ Less

Submitted 12 May, 2025; v1 submitted 19 September, 2024; originally announced September 2024.

Comments: 30 pages; minor changes. This is the accepted version to appear in Math. Z

MSC Class: 46L05; 46L35

Claw-free minimal matching covered graphs

Authors: Yipei Zhang, Xiumei Wang, Jinjiang Yuan, C. T. Ng, T. C. E. Cheng

Abstract: A matching covered graph $G$ is minimal if for each edge $e$ of $G$, $G-e$ is not matching covered. An edge $e$ of a matching covered graph $G$ is removable if $G-e$ is also matching covered. Thus a matching covered graph is minimal if and only if it is free of removable edges. For bipartite graphs, Lovász and Plummer gave a characterization of bipartite minimal matching covered graphs. For bricks… ▽ More A matching covered graph $G$ is minimal if for each edge $e$ of $G$, $G-e$ is not matching covered. An edge $e$ of a matching covered graph $G$ is removable if $G-e$ is also matching covered. Thus a matching covered graph is minimal if and only if it is free of removable edges. For bipartite graphs, Lovász and Plummer gave a characterization of bipartite minimal matching covered graphs. For bricks, Lovász showed that the only bricks that are minimal matching covered are $K_4$ and $\overline{C_6}$. In this paper, we present a complete characterization of minimal matching covered graphs that are claw-free. Moreover, for cubic claw-free matching covered graphs that are not minimal matching covered, we obtain the number of their removable edges (with respect to their bricks), and then prove that they have at least 12 removable edges (the bound is sharp). △ Less

Submitted 27 May, 2024; originally announced May 2024.

MSC Class: 05C70; 05C75

A twist over a minimal étale groupoid that is topologically nontrivial over the interior of the isotropy

Authors: Becky Armstrong, Abraham C. S. Ng, Aidan Sims, Yumiao Zhou

Abstract: We present an example of a twist over a minimal Hausdorff étale groupoid such that the restriction of the twist to the interior of the isotropy is not topologically trivial; that is, the restricted twist is not induced by a continuous 2-cocycle. We present an example of a twist over a minimal Hausdorff étale groupoid such that the restriction of the twist to the interior of the isotropy is not topologically trivial; that is, the restricted twist is not induced by a continuous 2-cocycle. △ Less

Submitted 13 May, 2025; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: This version matches the version in the Proceedings of the American Mathematical Society. 15 pages

MSC Class: 18B40 (primary); 22A22 (secondary)

Journal ref: Proc. Amer. Math. Soc. 153 (2025), 1849--1866

Properly colored even cycles in edge-colored complete balanced bipartite graphs

Authors: Shanshan Guo, Fei Huang, Jinjiang Yuan, C. T. Ng, T. C. E. Cheng

Abstract: Consider a complete balanced bipartite graph $K_{n,n}$ and let $K^c_{n,n}$ be an edge-colored version of $K_{n,n}$ that is obtained from $K_{n,n}$ by having each edge assigned a certain color. A subgraph $H$ of $K^c_{n,n}$ is called properly colored (PC) if every two adjacent edges of $H$ have distinct colors. $K_{n,n}^c$ is called properly vertex-even-pancyclic if for every vertex… ▽ More Consider a complete balanced bipartite graph $K_{n,n}$ and let $K^c_{n,n}$ be an edge-colored version of $K_{n,n}$ that is obtained from $K_{n,n}$ by having each edge assigned a certain color. A subgraph $H$ of $K^c_{n,n}$ is called properly colored (PC) if every two adjacent edges of $H$ have distinct colors. $K_{n,n}^c$ is called properly vertex-even-pancyclic if for every vertex $u\in V(K_{n,n}^c)$ and for every even integer $k$ with $4 \leq k \leq 2n$, there exists a PC $k$-cycle containing $u$. The minimum color degree $δ^c(K^c_{n,n})$ of $K^c_{n,n}$ is the largest integer $k$ such that for every vertex $v$, there are at least $k$ distinct colors on the edges incident to $v$. In this paper we study the existence of PC even cycles in $K_{n,n}^c$. We first show that, for every integer $t\geq 3$, every $K^c_{n,n}$ with $δ^c(K^c_{n,n})\geq \frac{2n}{3}+t$ contains a PC 2-factor $H$ such that every cycle of $H$ has a length of at least $t$. By using the probabilistic method and absorbing technique, we use the above result to further show that, for every $\varepsilon>0$, there exists an integer $n_0(\varepsilon)$ such that every $K^c_{n,n}$ with $n\geq n_0(\varepsilon)$ is properly vertex-even-pancyclic, provided that $δ^c(K^c_{n,n})\geq (\frac{2}{3}+\varepsilon)n$. △ Less

Submitted 7 October, 2023; originally announced October 2023.

Sufficient conditions for $k$-factors and spanning trees of graphs

Authors: Guoyan Ao, Ruifang Liu, Jinjiang Yuan, C. T. Ng, T. C. E. Cheng

Abstract: For any integer $k\geq1,$ a graph $G$ has a $k$-factor if it contains a $k$-regular spanning subgraph. In this paper we prove a sufficient condition in terms of the number of $r$-cliques to guarantee the existence of a $k$-factor in a graph with minimum degree at least $δ$, which improves the sufficient condition of O \cite{O2021} based on the number of edges. For any integer $k\geq2,$ a spanning… ▽ More For any integer $k\geq1,$ a graph $G$ has a $k$-factor if it contains a $k$-regular spanning subgraph. In this paper we prove a sufficient condition in terms of the number of $r$-cliques to guarantee the existence of a $k$-factor in a graph with minimum degree at least $δ$, which improves the sufficient condition of O \cite{O2021} based on the number of edges. For any integer $k\geq2,$ a spanning $k$-tree of a connected graph $G$ is a spanning tree in which every vertex has degree at most $k$. Motivated by the technique of Li and Ning \cite{Li2016}, we present a tight spectral condition for an $m$-connected graph to have a spanning $k$-tree, which extends the result of Fan, Goryainov, Huang and Lin \cite{Fan2021} from $m=1$ to general $m$. Let $T$ be a spanning tree of a connected graph. The leaf degree of $T$ is the maximum number of leaves adjacent to $v$ in $T$ for any $v\in V(T)$. We provide a tight spectral condition for the existence of a spanning tree with leaf degree at most $k$ in a connected graph with minimum degree $δ$, where $k\geq1$ is an integer. △ Less

Submitted 26 August, 2023; originally announced August 2023.

Comments: 17 pages, 3 figures

MSC Class: 05C50; 05C35

Modile as a conservative tail risk measurer: the solution of an optimisation problem with 0-1 loss function

Authors: Keming Yu, Rong Jiang, Chi Tim Ng

Abstract: Quantiles and expectiles, which are two important concepts and tools in tail risk measurements, can be regarded as an extension of median and mean, respectively. Both of these tail risk measurers can actually be embedded in a common framework of $L_p$ optimization with the absolute loss function ($p=1$) and quadratic loss function ($p=2$), respectively. When 0-1 loss function is frequently used in… ▽ More Quantiles and expectiles, which are two important concepts and tools in tail risk measurements, can be regarded as an extension of median and mean, respectively. Both of these tail risk measurers can actually be embedded in a common framework of $L_p$ optimization with the absolute loss function ($p=1$) and quadratic loss function ($p=2$), respectively. When 0-1 loss function is frequently used in statistics, machine learning and decision theory, this paper introduces an 0-1 loss function based $L_0$ optimisation problem for tail risk measure and names its solution as modile, which can be regarded as an extension of mode. Mode, as another measure of central tendency, is more robust than expectiles with outliers and easy to compute than quantiles. However, mode based extension for tail risk measure is new. This paper shows that the proposed modiles are not only more conservative than quantiles and expectiles for skewed and heavy-tailed distributions, but also providing or including the unique interpretation of these measures. Further, the modiles can be regarded as a type of generalized quantiles and doubly truncated tail measure whcih have recently attracted a lot of attention in the literature. The asymptotic properties of the corresponding sample-based estimators of modiles are provided, which, together with numerical analysis results, show that the proposed modiles are promising for tail measurement. △ Less

Submitted 21 June, 2023; originally announced June 2023.

Some Results On Spectrum And Energy Of Graphs With Loops

Authors: Saieed Akbari, Hussah Al Menderj, Miin Huey Ang, Johnny Lim, Zhen Chuan Ng

Abstract: Let $G_S$ be a graph with loops obtained from a graph $G$ of order $n$ and loops at $S \subseteq V(G)$. In this paper, we establish a neccesary and sufficient condition on the bipartititeness of a connected graph $G$ and the spectrum Spec($G_S$) and Spec($G_{V(G)\backslash S}$). We also prove that for every $S \subseteq V(G)$, $E(G_S) \geq E(G)$ when $G$ is bipartite. Moreover, we provide an ident… ▽ More Let $G_S$ be a graph with loops obtained from a graph $G$ of order $n$ and loops at $S \subseteq V(G)$. In this paper, we establish a neccesary and sufficient condition on the bipartititeness of a connected graph $G$ and the spectrum Spec($G_S$) and Spec($G_{V(G)\backslash S}$). We also prove that for every $S \subseteq V(G)$, $E(G_S) \geq E(G)$ when $G$ is bipartite. Moreover, we provide an identification of the spectrum of complete graphs $K_n$ and complete bipartite graphs $K_{m,n}$ with loops. We characterize any graphs with loops of order n whose eigenvalues are all positive or non-negative, and also any graphs with a few distinct eigenvalues. Finally, we provide some bounds related to $G_S$. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Comments: 16 pages, published version

MSC Class: 05C50; 05C90

Journal ref: Bulletin of the Malaysian Mathematical Sciences Society, 46(94) (2023)

Reconstruction of topological graphs and their Hilbert bimodules

Authors: Rodrigo Frausino, Abraham C. S. Ng, Aidan Sims

Abstract: We show that the Hilbert bimodule associated to a compact topological graph can be recovered from the C*-algebraic triple consisting of the Toeplitz algebra of the graph, its gauge action and the commutative subalgebra of functions on the vertex space of the graph. We discuss connections with work of Davidson-Katsoulis and of Davidson-Roydor on local conjugacy of topological graphs and isomorphism… ▽ More We show that the Hilbert bimodule associated to a compact topological graph can be recovered from the C*-algebraic triple consisting of the Toeplitz algebra of the graph, its gauge action and the commutative subalgebra of functions on the vertex space of the graph. We discuss connections with work of Davidson-Katsoulis and of Davidson-Roydor on local conjugacy of topological graphs and isomorphism of their tensor algebras. In particular, we give a direct proof that a compact topological graph can be recovered up to local conjugacy from its Hilbert bimodule, present an example of nonisomorphic locally conjugate compact topological graphs with isomorphic Hilbert bimodules. We also give an elementary proof that for compact topological graphs with totally disconnected vertex space the notions of local conjugacy, Hilbert bimodule isomorphism, isomorphism of C*-algebraic triples, and isomorphism all coincide. △ Less

Submitted 22 August, 2023; v1 submitted 18 December, 2022; originally announced December 2022.

Comments: V2: 24 pages. Added references to earlier work, especially of Davidson-Katsoulis, Davidson-Roydor for the origin of local conjugacy of topological graphs and related results/examples, and of Bruce-Takeishi on reconstruction of discrete graphs; apologies for our oversight. Thanks to Adam Dor-On and an anonymous referee for alerting us, and Davidson and Katsoulis for helpful discussions

MSC Class: 46L05

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 155 (2025) 514-539

Non-unital operator systems that are dual spaces

Authors: Yu-Shu Jia, Chi-Keung Ng

Abstract: We will give an abstract characterization of an arbitrary self-adjoint weak$^*$-closed subspace of $\mathcal{L}(H)$ (equipped with the induced matrix norm, the induced matrix cone and the induced weak$^*$-topology). In order to do this, we obtain a matrix analogues of a result of Bonsall for $^*$-operator spaces equipped with closed matrix cones. On our way, we observe that for a $^*$-vector $X$ e… ▽ More We will give an abstract characterization of an arbitrary self-adjoint weak$^*$-closed subspace of $\mathcal{L}(H)$ (equipped with the induced matrix norm, the induced matrix cone and the induced weak$^*$-topology). In order to do this, we obtain a matrix analogues of a result of Bonsall for $^*$-operator spaces equipped with closed matrix cones. On our way, we observe that for a $^*$-vector $X$ equipped with a matrix cone (in particular, when $X$ is an operator system or the dual space of an operator system), a linear map $φ:X\to M_n$ is completely positive if and only if linear functional $[x_{i,j}]_{i,j}\mapsto \sum_{i,j=1}^n φ(x_{i,j})_{i,j}$ on $M_n(X)$ is positive. △ Less

Submitted 9 June, 2022; originally announced June 2022.

Comments: It is a pre-refereed version of a paper that will appear in Lin. Alg. Appl. The proof of Lemma 5 are removed in the published version. Some equation numbers and some statement numbers are also altered in the published version

MSC Class: 46L07; 47L07; 47L25; 47L50

Stably finite extensions of rank-two graph C*-algebras

Authors: Astrid an Huef, Abraham C. S. Ng, Aidan Sims

Abstract: We study stable finiteness of extensions of 2-graph C*-algebras determined by saturated hereditary sets of vertices. We use two iterations of the Pimsner-Voiculescu sequence to calculate the map in K-theory induced by the inclusion of a hereditary subgraph into the larger 2-graph it lives in. We then apply a theorem of Spielberg about stable finiteness of extensions to provide a sufficient conditi… ▽ More We study stable finiteness of extensions of 2-graph C*-algebras determined by saturated hereditary sets of vertices. We use two iterations of the Pimsner-Voiculescu sequence to calculate the map in K-theory induced by the inclusion of a hereditary subgraph into the larger 2-graph it lives in. We then apply a theorem of Spielberg about stable finiteness of extensions to provide a sufficient condition for the C*-algebra of the larger 2-graph to be stably finite. We illustrate our results with examples. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 35 pages. Figures prepared using TikZcd

MSC Class: 46L05

Quantum sets and Gelfand spectra (Ortho-sets and Gelfand spectra)

Authors: Chun Ding, Chi-Keung Ng

Abstract: Motivated by quantum states with zero transition probability, we introduce the notion of ortho-set which is a set equipped with a relation $\neq_\mathrm{q}$ satisfying: $x\neq_\mathrm{q} y$ implies both $x\neq y$ and $y \neq_\mathrm{q} x$. For an ortho-set, a canonical complete ortholattice is constructed. Conversely, every complete ortholattice comes from an ortho-set in this way. Hence, the theo… ▽ More Motivated by quantum states with zero transition probability, we introduce the notion of ortho-set which is a set equipped with a relation $\neq_\mathrm{q}$ satisfying: $x\neq_\mathrm{q} y$ implies both $x\neq y$ and $y \neq_\mathrm{q} x$. For an ortho-set, a canonical complete ortholattice is constructed. Conversely, every complete ortholattice comes from an ortho-set in this way. Hence, the theory of ortho-sets captures almost everything about quantum logics. For a quantum system modeled by the self-adjoint part $B_\mathrm{sa}$ of a $C^*$-algebra $B$, we also introduce a "semi-classical object" called the Gelfand spectrum. It is the ortho-set, $P(B)$, of pure states of $B$ equipped with an "ortho-topology", which is a collection of subsets of $P(B)$, defined via a hull-kernel construction with respects to closed left ideals of $B$. We establish a generalization of the Gelfand theorem by showing that a bijection between the Gelfand spectra of two quantum systems that preserves the respective ortho-topologies is induced by a Jordan isomorphism between the self-adjoint parts of the underlying $C^*$-algebras (i.e. an isomorphism of the quantum systems), when the underlying $C^*$-algebras satisfy a mild condition. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Comments: It is the preprint (before peer review) version of a paper to appear in J. Phys. A. The names for some terminologies are changed in the publised version; in particular, "quantum sets" are now called "ortho-sets" to avoid confusion with existing terminologies

Dual spaces of operator systems

Authors: Chi-Keung Ng

Abstract: This article is to give an infinite dimensional analogue of a result of Choi and Effros. We say that an (not necessarily unital) operator system $T$ is \emph{dualizable} if one can find an equivalent dual matrix norm on the dual space $T^*$ such that under this dual matrix norm and the canonical dual matrix cone, $T^*$ becomes a dual operator system. We show that "a complete" operator system… ▽ More This article is to give an infinite dimensional analogue of a result of Choi and Effros. We say that an (not necessarily unital) operator system $T$ is \emph{dualizable} if one can find an equivalent dual matrix norm on the dual space $T^*$ such that under this dual matrix norm and the canonical dual matrix cone, $T^*$ becomes a dual operator system. We show that "a complete" operator system $T$ is dualizable if and only if $M_\infty(T)^\mathrm{sa}$ satisfies a bounded decomposition property. In this case, $$\|f\|^\mathrm{d}:= \sup \big\{\big\|[f_{i,j}(x_{k,l})]\big\|: x\in M_n(T)^+; \|x\|\leq 1; n\in \mathbb{N}\big\},$$ is the largest dual matrix norm that is equivalent to and dominated by the original dual matrix norm on $T^*$ that turns it into a dual operator system, denoted by $T^\mathrm{d}$. $T^\mathrm{d}$ is again dualizable. For every completely positive completely bounded map $φ:S\to T$ between dualizable operator systems, there is a unique weak-$^*$-continuous completely positive completely bounded map $φ^\mathrm{d}:T^\mathrm{d} \to S^\mathrm{d}$ which is compatible with the dual map $φ^*$. This gives a full and faithful functor from the category of dualizable operator systems to that of dualizable dual operator systems. Moreover, we will verify that that if $S$ is either a $C^*$-algebra or a unital operator system, then $S$ is dualizable and the canonical weak-$^*$-homeomorphism from the unital operator system $S^{**}$ to the operator system $(S^\mathrm{d})^\mathrm{d}$ is a completely isometric complete order isomorphism. Furthermore, the category of $C^*$-algebras and that of unital "complete" operator systems can be regarded as full subcategories of the category of dual operator systems. △ Less

Submitted 8 February, 2022; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: The completeness assumption is missing from some statements in the published version. This completeness assumption is necessary because preduals of dual SMOS are assumed to be complete. We changed some statements in this revision. However, no change in the proof was made. All changes are marked in the color "magenta"

Coarse metric and uniform metric

Authors: Chi-Keung Ng

Abstract: We introduce the notion of coarse metric. Every coarse metric induces a coarse structure on the underlying set. Conversely, we observe that all coarse spaces come from a particular type of coarse metric in a unique way. In the case when the coarse structure $\mathcal{E}$ on a set $X$ is defined by a coarse metric that takes values in a meet-complete totally ordered set, we define the associated Ha… ▽ More We introduce the notion of coarse metric. Every coarse metric induces a coarse structure on the underlying set. Conversely, we observe that all coarse spaces come from a particular type of coarse metric in a unique way. In the case when the coarse structure $\mathcal{E}$ on a set $X$ is defined by a coarse metric that takes values in a meet-complete totally ordered set, we define the associated Hausdorff coarse metric on the set $\mathcal{P}_0(X)$ of non-empty subsets of $X$ and show that it induces the Hausdorff coarse structure on $\mathcal{P}_0(X)$. On the other hand, we define the notion of pseudo uniform metric. Each pseudo uniform metric induces a uniform structure on the underlying space. In the reverse direction, we show that a uniform structure $\mathcal{U}$ on a set $X$ is induced by a map $d$ from $X\times X$ to a partially ordered set (with no requirement on $d$) if and only if $\mathcal{U}$ admits a base $\mathcal{B}$ such that $\mathcal{B}\cup \{\bigcap \mathcal{U}\}$ is closed under arbitrary intersections. In this case, $\mathcal{U}$ is actually defined by a pseudo uniform metric. We also show that a uniform structures $\mathcal{U}$ comes from a pseudo uniform metric that takes values in a totally ordered set if and only if $\mathcal{U}$ admits a totally ordered base. Finally, a valuation ring will produce an example of a coarse and pseudo uniform metric that take values in a totally ordered set. △ Less

Submitted 14 December, 2020; originally announced December 2020.

Comments: This version contains the following minor corrections to the published version: (1). The word "increasing" is added in Definition 2(c). (2). In part (a) of Theorem 5, as well as parts (c) and (e) of Proposition 8, we need to assume that the coarse metric take values in a meet complete directed set. The corrections and changes are marked in red

Journal ref: Topology Appl. 260 (2019), 1-12

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

Authors: Chi-Wai Leung, Chi-Keung Ng, Ngai-Ching Wong

Abstract: 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 isometr… ▽ More 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$). △ Less

Submitted 16 June, 2020; originally announced June 2020.

MSC Class: 46B04; 46E15; 46E30; 46G12; 47B33; 47B49; 47B65

A categorical approach to operator semigroups

Authors: Abraham C. S. Ng

Abstract: The aim of this paper is to exploit the structure of strongly continuous operator semigroups in order to formulate a categorical framework in which a fresh perspective can be applied to past operator theoretic results. In particular, we investigate the inverse-producing Arens extension for Banach algebras (Trans. Amer. Math. Soc. 88:536-548, 1958) adapted for operators and operator semigroups by B… ▽ More The aim of this paper is to exploit the structure of strongly continuous operator semigroups in order to formulate a categorical framework in which a fresh perspective can be applied to past operator theoretic results. In particular, we investigate the inverse-producing Arens extension for Banach algebras (Trans. Amer. Math. Soc. 88:536-548, 1958) adapted for operators and operator semigroups by Batty and Geyer (J. Operator Theory 78(2):473-500, 2017) in this new framework, asking and answering questions using categorical language. We demonstrate that the Arens extension defines an extension functor in this setting and that it forms an adjunction with the suitably defined forgetful functor. As a by-product of this categorical framework, we also revisit the work on Banach direct sums by Lachowicz and Moszyński (Semigroup Forum 93(1):34-70, 2016). This paper can be considered as a brief exploration of the triple interface between operator semigroups, Banach algebras, and category theory. △ Less

Submitted 25 November, 2020; v1 submitted 13 March, 2020; originally announced March 2020.

Comments: Current, revised version accepted for publication at the Semigroup Forum, 20 pages

MSC Class: 18A05; 18A40; 47D03; 47D06

Optimal rates of decay in the Katznelson-Tzafriri theorem for operators on Hilbert spaces

Authors: Abraham C. S. Ng, David Seifert

Abstract: The Katznelson-Tzafriri theorem is a central result in the asymptotic theory of discrete operator semigroups. It states that for a power-bounded operator $T$ on a Banach space we have $||T^n(I-T)\|\to0$ if and only if $σ(T)\cap\mathbb{T}\subseteq\{1\}$. The main result of the present paper gives a sharp estimate for the rate at which this decay occurs for operators on Hilbert space, assuming the g… ▽ More The Katznelson-Tzafriri theorem is a central result in the asymptotic theory of discrete operator semigroups. It states that for a power-bounded operator $T$ on a Banach space we have $||T^n(I-T)\|\to0$ if and only if $σ(T)\cap\mathbb{T}\subseteq\{1\}$. The main result of the present paper gives a sharp estimate for the rate at which this decay occurs for operators on Hilbert space, assuming the growth of the resolvent norms $\|R(e^{iθ},T)\|$ as $|θ|\to0$ satisfies a mild regularity condition. This significantly extends an earlier result by the second author, which covered the important case of polynomial resolvent growth. We further show that, under a natural additional assumption, our condition on the resolvent growth is not only sufficient but also necessary for the conclusion of our main result to hold. By considering a suitable class of Toeplitz operators we show that our theory has natural applications even beyond the setting of normal operators, for which we in addition obtain a more general result. △ Less

Submitted 24 September, 2020; v1 submitted 14 February, 2020; originally announced February 2020.

Comments: Accepted for publication in the Journal of Functional Analysis

Journal ref: Journal of Functional Analysis, vol. 279(12), 2020, Article 108799

Analytic bundle structure on the idempotent manifold

Authors: Chi-Wai Leung, Chi-Keung Ng

Abstract: 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… ▽ More 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. △ Less

Submitted 7 January, 2020; originally announced January 2020.

Comments: Any comment is welcome, especially information on whether the representation results of the tangent bundle of the Grassmannian in Theorem 2 is known in the finite dimensional case

Direct integrals of strongly continuous operator semigroups

Authors: Abraham C. S. Ng

Abstract: The goal of this article is to develop a theory for direct integrals of $C_0$-semigroups on Hilbert spaces parallel to the recent approach by Lachowicz and Moszyński for direct sums of Banach spaces, diagonal operators, and semigroups. In it we deal with the existence and characterisation of semigroups, asymptotic rates, and questions of decomposability. The goal of this article is to develop a theory for direct integrals of $C_0$-semigroups on Hilbert spaces parallel to the recent approach by Lachowicz and Moszyński for direct sums of Banach spaces, diagonal operators, and semigroups. In it we deal with the existence and characterisation of semigroups, asymptotic rates, and questions of decomposability. △ Less

Submitted 21 April, 2020; v1 submitted 6 December, 2019; originally announced December 2019.

Comments: 23 pages

MSC Class: 34K30; 35B40; 47D06; (47D07)

Optimal energy decay in a one-dimensional wave-heat-wave system

Authors: Abraham C. S. Ng

Abstract: Harnessing the abstract power of the celebrated result due to Borichev and Tomilov (Math.\ Ann.\ 347:455--478, 2010, no.\ 2), we study the energy decay in a one-dimensional coupled wave-heat-wave system. We obtain a sharp estimate for the rate of energy decay of classical solutions by first proving a growth bound for the resolvent of the semigroup generator and then applying the asymptotic theory… ▽ More Harnessing the abstract power of the celebrated result due to Borichev and Tomilov (Math.\ Ann.\ 347:455--478, 2010, no.\ 2), we study the energy decay in a one-dimensional coupled wave-heat-wave system. We obtain a sharp estimate for the rate of energy decay of classical solutions by first proving a growth bound for the resolvent of the semigroup generator and then applying the asymptotic theory of $C_0$-semigroups. The present article can be naturally thought of as an extension of a recent paper by Batty, Paunonen, and Seifert (J.\ Evol.\ Equ.\ 16:649--664, 2016) which studied a similar wave-heat system via the same theoretical framework. △ Less

Submitted 2 September, 2019; originally announced September 2019.

Comments: 19 pages

MSC Class: 35M33; 35B40; 47D06 (34K30)

Optimal energy decay in a one-dimensional wave-heat system with infinite heat part

Authors: Abraham C. S. Ng, David Seifert

Abstract: Using recent results in the theory of $C_0$-semigroups due to Batty, Chill and Tomilov (J. Eur. Math. Soc. 18(4):853-929, 2016) we study energy decay in a one-dimensional coupled wave-heat system with finite wave part and infinite heat part. Our main result provides a sharp estimate for the rate of energy decay of a certain class of classical solutions. The present paper can be thought of as a nat… ▽ More Using recent results in the theory of $C_0$-semigroups due to Batty, Chill and Tomilov (J. Eur. Math. Soc. 18(4):853-929, 2016) we study energy decay in a one-dimensional coupled wave-heat system with finite wave part and infinite heat part. Our main result provides a sharp estimate for the rate of energy decay of a certain class of classical solutions. The present paper can be thought of as a natural sequel to a recent work by Batty, Paunonen and Seifert (J. Evol. Equ. 16:649-664, 2016), which studied a similar wave-heat system with finite wave and heat parts using a celebrated result due to Borichev and Tomilov. △ Less

Submitted 6 October, 2019; v1 submitted 9 March, 2019; originally announced March 2019.

Comments: To appear in the Journal of Mathematical Analysis and Applications

Journal ref: Journal of Mathematical Analysis and Applications, vol. 482(2), 2020, Article 123563

Parikh Word Representability of Bipartite Permutation Graphs

Authors: Wen Chean Teh, Zhen Chuan Ng, Muhammad Javaid, Zi Jing Chern

Abstract: The class of Parikh word representable graphs were recently introduced. In this work, we further develop its general theory beyond the binary alphabet. Our main result shows that this class is equivalent to the class of bipartite permutation graphs. Furthermore, we study certain graph theoretic properties of these graphs in terms of the arity of the representing word. The class of Parikh word representable graphs were recently introduced. In this work, we further develop its general theory beyond the binary alphabet. Our main result shows that this class is equivalent to the class of bipartite permutation graphs. Furthermore, we study certain graph theoretic properties of these graphs in terms of the arity of the representing word. △ Less

Submitted 26 December, 2018; originally announced December 2018.

Comments: Preprint, 20 pages

MSC Class: 68R15; 05C75; 68R10

Property (T) for locally compact groups and C*-algebras

Authors: Bachir Bekka, Chi-Keung Ng

Abstract: Let $G$ be a locally compact group and let $C^*(G)$ and $C^*_r(G)$ be the full group $C^*$-algebra and the reduced group $C^*$-algebra of $G$. We investigate the relationship between Property $(T)$ for $G$ and Property $(T)$ as well as its strong version for $C^*(G)$ and $C^*_r(G)$. We show that $G$ has Property $(T)$ if (and only if) $C^*(G)$ has Property $(T)$. In the case where $G$ is a locally… ▽ More Let $G$ be a locally compact group and let $C^*(G)$ and $C^*_r(G)$ be the full group $C^*$-algebra and the reduced group $C^*$-algebra of $G$. We investigate the relationship between Property $(T)$ for $G$ and Property $(T)$ as well as its strong version for $C^*(G)$ and $C^*_r(G)$. We show that $G$ has Property $(T)$ if (and only if) $C^*(G)$ has Property $(T)$. In the case where $G$ is a locally compact IN-group, we prove that $G$ has Property $(T)$ if and only if $C^*_r(G)$ has strong Property $(T)$. We also show that $C^*_r(G)$ has strong Property $(T)$ for every non-amenable locally compact group $G$ for which $C^*_r(G)$ is nuclear. Some of these groups (as for instance $G=SL_2(\mathbf{R})$) do not have Property $T$. △ Less

Submitted 29 March, 2018; originally announced March 2018.

Comments: 9 pages

A new probability model with support on unit interval: Structural properties, regression of bounded response and applications

Authors: S. Chakraborty, S. H. Ong, C. M. Ng

Abstract: A new distribution on (0, 1), generalized Log-Lindley distribution, is proposed by extending the Log-Lindley distribution. This new distribution is shown to be a weighted Log-Lindley distribution. Important probabilistic and statistical properties have been derived. An interesting characterization of the weighted distribution in terms of Kullback-Liebler distance and weighted entropy has also been… ▽ More A new distribution on (0, 1), generalized Log-Lindley distribution, is proposed by extending the Log-Lindley distribution. This new distribution is shown to be a weighted Log-Lindley distribution. Important probabilistic and statistical properties have been derived. An interesting characterization of the weighted distribution in terms of Kullback-Liebler distance and weighted entropy has also been obtained. A useful result in insurance for the distorted premium principal is presented and verified with numerical calculations. New regression models for bounded responses based on this distribution and their application is illustrated by considering modeling a real life data on risk management and another data set on outpatient health expenditure in comparison with beta regression and Log-Lindley regression models. Much better fits for both data sets justify the relevance of the new distribution in statistical modeling and analysis. Furthermore this generalization, apart from adding flexibility for modelling, retains the compactness and tractability of statistical quantities required for statistical analysis, which is a feature of the Log-Lindley distribution. Thus, the generalized Log-Lindley distribution should be a useful addition to statistical models for practitioners. △ Less

Submitted 6 February, 2020; v1 submitted 17 September, 2017; originally announced September 2017.

Comments: 37 pages; 2 Figures, 3 Table, Pre-print Version-4.0

The topology on Berkovich affine lines over complete valuation rings

Authors: Chi-Wai Leung, Chi-Keung Ng

Abstract: In this article, we give a full description of the topology of the one dimensional affine analytic space $\mathbb{A}_R^1$ over a complete valuation ring $R$ (i.e. a valuation ring with "real valued valuation" which is complete under the induced metric), when its field of fractions $K$ is algebraically closed. In particular, we show that $\mathbb{A}_R^1$ is both connected and locally path connected… ▽ More In this article, we give a full description of the topology of the one dimensional affine analytic space $\mathbb{A}_R^1$ over a complete valuation ring $R$ (i.e. a valuation ring with "real valued valuation" which is complete under the induced metric), when its field of fractions $K$ is algebraically closed. In particular, we show that $\mathbb{A}_R^1$ is both connected and locally path connected. Furthermore, $\mathbb{A}_R^1$ is the completion of $K\times (1,\infty)$ under a canonical uniform structure. As an application, we describe the Berkovich spectrum $\mathfrak{M}(\mathbb{Z}_p[G])$ of the Banach group ring $\mathbb{Z}_p[G]$ of a cyclic $p$-group $G$ over the ring $\mathbb{Z}_p$ of $p$-adic integers. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: 14 pages; to appear in Quarterly Journal of Mathematics

Amenability of locally compact quantum groups and their unitary co-representations

Authors: Chi-Keung Ng, Ami Viselter

Abstract: We prove that amenability of a unitary co-representation $U$ of a locally compact quantum group passes to unitary co-representations that weakly contain $U$. This generalizes a result of Bekka, and answers affirmatively a question of Bédos, Conti and Tuset. As a corollary, we extend to locally compact quantum groups a result of the first-named author, which characterizes amenability of a locally c… ▽ More We prove that amenability of a unitary co-representation $U$ of a locally compact quantum group passes to unitary co-representations that weakly contain $U$. This generalizes a result of Bekka, and answers affirmatively a question of Bédos, Conti and Tuset. As a corollary, we extend to locally compact quantum groups a result of the first-named author, which characterizes amenability of a locally compact group $G$ by nuclearity of the reduced group $C^{*}$-algebra $C_{r}^{*}(G)$ and an additional condition. △ Less

Submitted 20 February, 2017; v1 submitted 28 September, 2016; originally announced September 2016.

Comments: 9 pages; a new co-author; added to Theorem 3.2 a second part about the case of a trivial scaling group, and gave an alternative proof of one of the implications; to appear in the Bulletin of the London Mathematical Society

MSC Class: 20G42 (Primary); 22D25; 46L89 (Secondary)

Journal ref: Bull. Lond. Math. Soc. 49 (2017), no. 3, 491-498

Property $T$ of reduced $C^*$-crossed products by discrete groups

Authors: Baojie Jiang, Chi-Keung Ng

Abstract: We generalize the main result of Kamalov and show that if $G$ is an amenable discrete group with an action $α$ on a finite nuclear unital $C^*$-algebra $A$ such that the reduced crossed product $A\rtimes_{α,r} G$ has property $T$, then $G$ is finite and $A$ is finite dimensional. As an application, an infinite discrete group $H$ is non-amenable if and only if the uniform Roe algebra $C^*_u(H)$ has… ▽ More We generalize the main result of Kamalov and show that if $G$ is an amenable discrete group with an action $α$ on a finite nuclear unital $C^*$-algebra $A$ such that the reduced crossed product $A\rtimes_{α,r} G$ has property $T$, then $G$ is finite and $A$ is finite dimensional. As an application, an infinite discrete group $H$ is non-amenable if and only if the uniform Roe algebra $C^*_u(H)$ has property $T$. △ Less

Submitted 11 November, 2015; originally announced November 2015.

Journal ref: Ann. Funct. Anal. 7, no. 3 (2016), 381-385

The positive contractive part of a Noncommutative $L^p$-space is a complete Jordan invariant

Authors: Chi-Wai Leung, Chi-Keung Ng, Ngai-Ching Wong

Abstract: Let $1\leq p \leq +\infty$. We show that the positive part of the closed unit ball of a non-commmutative $L^p$-space, as a metric space, is a complete Jordan $^*$-invariant for the underlying von Neumann algebra. Let $1\leq p \leq +\infty$. We show that the positive part of the closed unit ball of a non-commmutative $L^p$-space, as a metric space, is a complete Jordan $^*$-invariant for the underlying von Neumann algebra. △ Less

Submitted 4 November, 2015; originally announced November 2015.

Comments: 8 pages

MSC Class: 46L10; 46L52

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

Authors: Chi-Wai Leung, Chi-Keung Ng, Ngai-Ching Wong

Abstract: 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 n… ▽ More 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. △ Less

Submitted 6 October, 2015; originally announced October 2015.

Comments: 17 pages

Property $T$ for general locally compact quantum groups

Authors: Xiao Chen, Chi-Keung Ng

Abstract: In this short article, we obtained some equivalent formulations of property $T$ for a general locally compact quantum group $\mathbb{G}$, in terms of the full quantum group $C^*$-algebras $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ and the $*$-representation of $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ associated with the trivial unitary corepresentation (that generalize the corresponding results for loca… ▽ More In this short article, we obtained some equivalent formulations of property $T$ for a general locally compact quantum group $\mathbb{G}$, in terms of the full quantum group $C^*$-algebras $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ and the $*$-representation of $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ associated with the trivial unitary corepresentation (that generalize the corresponding results for locally compact groups). Moreover, if $\mathbb{G}$ is of Kac type, we show that $\mathbb{G}$ has property $T$ if and only if every finite dimensional irreducible $*$-representation of $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ is an isolated point in the spectrum of $C_0^\mathrm{u}(\widehat{\mathbb{G}})$ (this also generalizes the corresponding locally compact group result). In addition, we give a way to construct property $T$ discrete quantum groups using bicrossed products. △ Less

Submitted 8 September, 2015; originally announced September 2015.

Comments: 12 pages; accepted for publication in Int. J. Math

MSC Class: Primary 20G42; 46L89 Secondary 22D25

A property for locally convex $^*$-algebras related to Property $(T)$ and character amenability

Authors: Xiao Chen, Anthony To-Ming Lau, Chi-Keung Ng

Abstract: For a locally convex $^*$-algebra $A$ equipped with a fixed continuous $^*$-character $\varepsilon$, we define a cohomological property, called property $(FH)$, which is similar to character amenability. Let $C_c(G)$ be the space of continuous functions on a second countable locally compact group $G$ with compact supports, equipped with the convolution $^*$-algebra structure and a certain inductiv… ▽ More For a locally convex $^*$-algebra $A$ equipped with a fixed continuous $^*$-character $\varepsilon$, we define a cohomological property, called property $(FH)$, which is similar to character amenability. Let $C_c(G)$ be the space of continuous functions on a second countable locally compact group $G$ with compact supports, equipped with the convolution $^*$-algebra structure and a certain inductive topology. We show that $(C_c(G), \varepsilon_G)$ has property $(FH)$ if and only if $G$ has property $(T)$. On the other hand, many Banach algebras equipped with canonical characters have property $(FH)$ (e.g., those defined by a nice locally compact quantum group). Furthermore, through our studies on both property $(FH)$ and character amenablility, we obtain characterizations of property $(T)$, amenability and compactness of $G$ in terms of the vanishing of one-sided cohomology of certain topological algebras, as well as in terms of fixed point properties. These characterizations can be regarded as analogues of one another. Moreover, we show that $G$ is compact if and only if the normed algebra $\big\{f\in C_c(G): \int_G f(t)dt =0\big\}$ (under $\|\cdot\|_{L^1(G)}$) admits a bounded approximate identity with the supports of all its elements being contained in a common compact set. △ Less

Submitted 7 September, 2015; originally announced September 2015.

Comments: 24 pages, accepted for publication in Studia Mathematica

MSC Class: Primary 22D15; 22D20; 46K10; Secondary 22D10; 22D12; 16E40; 43A07; 46H15

Berkovich spectra of elements in Banach Rings

Authors: Chi-Wai Leung, Chi-Keung Ng

Abstract: 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 com… ▽ More 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$. △ Less

Submitted 21 October, 2014; originally announced October 2014.

Comments: 28pages; 1 figures; any comment is welcome

MSC Class: 46H99

Model comparison with composite likelihood information criteria

Authors: Chi Tim Ng, Harry Joe

Abstract: Comparisons are made for the amount of agreement of the composite likelihood information criteria and their full likelihood counterparts when making decisions among the fits of different models, and some properties of penalty term for composite likelihood information criteria are obtained. Asymptotic theory is given for the case when a simpler model is nested within a bigger model, and the bigger… ▽ More Comparisons are made for the amount of agreement of the composite likelihood information criteria and their full likelihood counterparts when making decisions among the fits of different models, and some properties of penalty term for composite likelihood information criteria are obtained. Asymptotic theory is given for the case when a simpler model is nested within a bigger model, and the bigger model approaches the simpler model under a sequence of local alternatives. Composite likelihood can more or less frequently choose the bigger model, depending on the direction of local alternatives; in the former case, composite likelihood has more "power" to choose the bigger model. The behaviors of the information criteria are illustrated via theory and simulation examples of the Gaussian linear mixed-effects model. △ Less

Submitted 16 October, 2014; originally announced October 2014.

Comments: Published in at http://dx.doi.org/10.3150/13-BEJ539 the Bernoulli (http://isi.cbs.nl/bernoulli/) by the International Statistical Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm)

Report number: IMS-BEJ-BEJ539

Journal ref: Bernoulli 2014, Vol. 20, No. 4, 1738-1764

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

Authors: Chi-Keung Ng, Ngai-Ching Wong

Abstract: 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… ▽ More 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. △ Less

Submitted 27 September, 2016; v1 submitted 21 October, 2013; originally announced October 2013.

Comments: 41 pages; we added a lot of details and some new results

MSC Class: 46L05; 46L35

Spectral gap actions and invariant states

Authors: Han Li, Chi-Keung Ng

Abstract: We define spectral gap actions of discrete groups on von Neumann algebras and study their relations with invariant states. We will show that a finitely generated ICC group $Γ$ is inner amenable if and only if there exist more than one inner invariant states on the group von Neumann algebra $L(Γ)$. Moreover, a countable discrete group $Γ$ has property $(T)$ if and only if for any action $α$ of $Γ$… ▽ More We define spectral gap actions of discrete groups on von Neumann algebras and study their relations with invariant states. We will show that a finitely generated ICC group $Γ$ is inner amenable if and only if there exist more than one inner invariant states on the group von Neumann algebra $L(Γ)$. Moreover, a countable discrete group $Γ$ has property $(T)$ if and only if for any action $α$ of $Γ$ on a von Neumann algebra $N$, every $α$-invariant state on $N$ is a weak-$^*$-limit of a net of normal $α$-invariant states. △ Less

Submitted 25 April, 2013; originally announced April 2013.

Comments: 10 pages; to appear in Int. Math. Res. Notices

MSC Class: 46L55; 22A10; 43A65

On genuine infinite algebraic tensor products

Authors: Chi-Keung Ng

Abstract: A genuine infinite tensor product of complex vector spaces is a vector space ${\bigotimes}_{i\in I} X_i$ whose linear maps coincide with multilinear maps on an infinite family $\{X_i\}_{i\in I}$ of vector spaces. We give a direct sum decomposition of ${\bigotimes}_{i\in I} X_i$ over a set $Ω_{I;X}$, through which we obtain a more concrete description and some properties of… ▽ More A genuine infinite tensor product of complex vector spaces is a vector space ${\bigotimes}_{i\in I} X_i$ whose linear maps coincide with multilinear maps on an infinite family $\{X_i\}_{i\in I}$ of vector spaces. We give a direct sum decomposition of ${\bigotimes}_{i\in I} X_i$ over a set $Ω_{I;X}$, through which we obtain a more concrete description and some properties of ${\bigotimes}_{i\in I} X_i$. If $\{A_i\}_{i\in I}$ is a family of unital $^*$-algebras, we define, through a subgroup $Ω^{\rm ut}_{I;A}\subseteq Ω_{I;A}$, an interesting subalgebra ${\bigotimes}_{i\in I}^{\rm ut} A_i$. Moreover, it is shown that ${\bigotimes}_{i\in I}^{\rm ut} \mathbb{C}$ is the group algebra of $Ω^{\rm ut}_{I;\mathbb{C}}$. In general, ${\bigotimes}_{i\in I}^{\rm ut} A_i$ can be identified with the algebraic crossed product of a cocycle twisted action of $Ω^{\rm ut}_{I;A}$. If $\{H_i\}_{i\in I}$ is a family of inner-product spaces, we define a Hilbert $C^*(Ω^{\rm ut}_{I;\mathbb{C}})$-module $\bar\bigotimes^{\rm mod}_{i\in I} H_i$, which is the completion of a subspace ${\bigotimes}_{i\in I}^{\rm unit} H_i$ of ${\bigotimes}_{i\in I} H_i$. If $χ_{Ω^{\rm ut}_{I;\mathbb{C}}}$ is the canonical tracial state on $C^*(Ω^{\rm ut}_{I;\mathbb{C}})$, then $\bar\bigotimes^{\rm mod}_{i\in I} H_i\otimes_{χ_{Ω^{\rm ut}_{I;\mathbb{C}}}}\mathbb{C}$ is a natural dilation of the infinite direct product $\prod {{\otimes}_{i\in I}} H_i$ as defined by J. von Neumann. We will show that the canonical representation of ${\bigotimes}_{i\in I}^{\rm ut} \mathcal{L}(H_i)$ on $\bar\bigotimes^{φ_1}_{i\in I} H_i$ is injective. We will also show that if $\{A_i\}_{i\in I}$ is a family of unital Hilbert algebras, then so is ${\bigotimes}_{i\in I}^{\rm ut} A_i$. △ Less

Submitted 14 December, 2011; originally announced December 2011.

Comments: 23 pages, to appear in Rev. Mat. Iber

MSC Class: 15A69; 46M05 (Primary) 16G99; 16S35; 20C07; 46C05; 46L99; 47A80 (Secondary)

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

Authors: Chi-Keung Ng, Ngai-Ching Wong

Abstract: 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}$ (act… ▽ More 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}$. △ Less

Submitted 27 September, 2016; v1 submitted 6 December, 2011; originally announced December 2011.

Comments: 28 pages. The appendix in the original version of this paper was removed, and was then expanded to another paper (in Chinese). The current version of this paper is appeared in the proceedings of the conference: "Operator Semigroups Meet Complex Analysis, Harmonic Analysis and Mathematical Physics", took place in Herrnhut, Germany, in honor of Charles Batty for his 60th birthday

MSC Class: 46L35

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

Authors: Chi-Wai Leung, Chi-Keung Ng, Ngai-Ching Wong

Abstract: 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… ▽ More 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$. △ Less

Submitted 26 July, 2010; originally announced July 2010.

Comments: 15 pages

MSC Class: 46L08

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

Authors: Chi-Wai Leung, Chi-Keung Ng, Ngai-Ching Wong

Abstract: 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 p… ▽ More 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 \varphi) = θ(e)\cdot \varphi\circ σ$ ($e\in E, \varphi\in C_0(Ω)$). △ Less

Submitted 25 May, 2010; originally announced May 2010.

MSC Class: 46H40; 46L08; 46H25

Linear orthogonality preservers of Hilbert bundles

Authors: Chi-Wai Leung, Chi-Keung Ng, Ngai-Ching Wong

Abstract: 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… ▽ More 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. △ Less

Submitted 25 May, 2010; originally announced May 2010.

MSC Class: 46L08; 46M20; 46H40; 46E40

Linear orthogonality preservers of Hilbert $C^*$-modules over $C^*$-algebras with real rank zero

Authors: C. W. Leung, C. K. Ng, N. C. Wong

Abstract: Let $A$ be a $C^*$-algebra. Let $E$ and $F$ be Hilbert $A$-modules with $E$ being full. Suppose that $θ: E\to F$ is a linear map preserving orthogonality, i.e., $<θ(x), θ(y) > = 0$ whenever $<x, y > = 0$. We show in this article that if, in addition, $A$ has real rank zero, and $θ$ is an $A$-module map (not assumed to be bounded), then there exists a central positive multiplier $u\in M(A)$ such… ▽ More Let $A$ be a $C^*$-algebra. Let $E$ and $F$ be Hilbert $A$-modules with $E$ being full. Suppose that $θ: E\to F$ is a linear map preserving orthogonality, i.e., $<θ(x), θ(y) > = 0$ whenever $<x, y > = 0$. We show in this article that if, in addition, $A$ has real rank zero, and $θ$ is an $A$-module map (not assumed to be bounded), then there exists a central positive multiplier $u\in M(A)$ such that $<θ(x), θ(y) > = u < x, y>$ ($x,y\in E$). In the case when $A$ is a standard $C^*$-algebra, or when $A$ is a $W^*$-algebra containing no finite type II direct summand, we also obtain the same conclusion with the assumption of $θ$ being an $A$-module map weakened to being a local map. △ Less

Submitted 13 October, 2009; originally announced October 2009.

Comments: 9 pages

MSC Class: 46L08; 46H40

Property $(T)$ and strong Property $(T)$ for unital $C^*$-algebras

Authors: Chi-Wai Leung, Chi-Keung Ng

Abstract: In this paper, we will give a thorough study of the notion of Property $(T)$ for $C^*$-algebras (as introduced by M.B. Bekka in \cite{Bek-T}) as well as a slight stronger version of it, called "strong property $(T)$" (which is also an analogue of the corresponding concept in the case of discrete groups and type $\rm II_1$-factors). More precisely, we will give some interesting equivalent formula… ▽ More In this paper, we will give a thorough study of the notion of Property $(T)$ for $C^*$-algebras (as introduced by M.B. Bekka in \cite{Bek-T}) as well as a slight stronger version of it, called "strong property $(T)$" (which is also an analogue of the corresponding concept in the case of discrete groups and type $\rm II_1$-factors). More precisely, we will give some interesting equivalent formulations as well as some permanence properties for both property $(T)$ and strong property $(T)$. We will also relate them to certain $(T)$-type properties of the unitary group of the underlying $C^*$-algebra. △ Less

Submitted 14 January, 2009; originally announced January 2009.

MSC Class: 46L05; 22D25

An abstract characterization of unital operator spaces

Authors: Xu-Jian Huang, Chi-Keung Ng

Abstract: In this article, we give an abstract characterization of the ``identity'' of an operator space $V$ by looking at a quantity $n_{cb}(V,u)$ which is defined in analogue to a well-known quantity in Banach space theory. More precisely, we show that there exists a complete isometry from $V$ to some $\mathcal{L}(H)$ sending $u$ to ${\rm id}_H$ if and only if $n_{cb}(V,u) =1$. We will use it to give an… ▽ More In this article, we give an abstract characterization of the ``identity'' of an operator space $V$ by looking at a quantity $n_{cb}(V,u)$ which is defined in analogue to a well-known quantity in Banach space theory. More precisely, we show that there exists a complete isometry from $V$ to some $\mathcal{L}(H)$ sending $u$ to ${\rm id}_H$ if and only if $n_{cb}(V,u) =1$. We will use it to give an abstract characterization of operator systems. Moreover, we will show that if $V$ is a unital operator space and $W$ is a proper complete $M$-ideal, then $V/W$ is also a unital operator space. As a consequece, the quotient of an operator system by a proper complete $M$-ideal is again an operator system. In the appendix, we will also give an abstract characterisation of ``non-unital operator systems'' using an idea arose from the definition of $n_{cb}(V,u)$. △ Less

Submitted 27 May, 2008; v1 submitted 16 May, 2008; originally announced May 2008.

Comments: Some remarks were added

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

Authors: Chi-Wai Leung, Chi-Keung Ng, Ngai-Ching Wong

Abstract: 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… ▽ More 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). △ Less

Submitted 30 October, 2007; originally announced October 2007.

Comments: 7 pages; to appear in J. Math. Anal. Appl

MSC Class: 46L

Some remarks on groupoids and small categories

Authors: Chi-Keung Ng

Abstract: This unpublished note contains some materials taken from my old study note on groupoids and small categories. It contains a proof for the fact that any groupoid is a group bundle over an equivalence relation. Moreover, the action of a category $G$ on a category $H$ as well as the resulting semi-direct product category $H\times_αG$ will be defined (when either $G$ is a groupoid or… ▽ More This unpublished note contains some materials taken from my old study note on groupoids and small categories. It contains a proof for the fact that any groupoid is a group bundle over an equivalence relation. Moreover, the action of a category $G$ on a category $H$ as well as the resulting semi-direct product category $H\times_αG$ will be defined (when either $G$ is a groupoid or $H^{(0)} = G^{(0)}$). If both $G$ and $H$ are groupoids, then $H\times_αG$ is also a groupoid. The reason of producing this note is for people who want to check some details in a recent work of Li. △ Less

Submitted 17 October, 2007; originally announced October 2007.

Comments: 6 pages, unpublished note

Fractional constant elasticity of variance model

Authors: Ngai Hang Chan, Chi Tim Ng

Abstract: This paper develops a European option pricing formula for fractional market models. Although there exist option pricing results for a fractional Black-Scholes model, they are established without accounting for stochastic volatility. In this paper, a fractional version of the Constant Elasticity of Variance (CEV) model is developed. European option pricing formula similar to that of the classical… ▽ More This paper develops a European option pricing formula for fractional market models. Although there exist option pricing results for a fractional Black-Scholes model, they are established without accounting for stochastic volatility. In this paper, a fractional version of the Constant Elasticity of Variance (CEV) model is developed. European option pricing formula similar to that of the classical CEV model is obtained and a volatility skew pattern is revealed. △ Less

Submitted 27 February, 2007; originally announced February 2007.

Comments: Published at http://dx.doi.org/10.1214/074921706000001012 in the IMS Lecture Notes Monograph Series (http://www.imstat.org/publications/lecnotes.htm) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-LNMS52-LNMS5210 MSC Class: 91B28; 91B70 (Primary) 60H15; 60H40 (Secondary)

Journal ref: IMS Lecture Notes Monograph Series 2006, Vol. 52, 149-164

On quaternionic functional analysis

Authors: Chi-Keung Ng

Abstract: In this article, we will show that the category of quaternion vector spaces, the category of (both one-sided and two sided) quaternion Hilbert spaces and the category of quaternion $B^*$-algebras are equivalent to the category of real vector spaces, the category of real Hilbert spaces and the category of real $C^*$-algebras respectively. We will also give a Riesz representation theorem for quate… ▽ More In this article, we will show that the category of quaternion vector spaces, the category of (both one-sided and two sided) quaternion Hilbert spaces and the category of quaternion $B^*$-algebras are equivalent to the category of real vector spaces, the category of real Hilbert spaces and the category of real $C^*$-algebras respectively. We will also give a Riesz representation theorem for quaternion Hilbert spaces and will extend two results of Kulkarni (namely, we will give the full versions of the Gelfand-Naimark theorem and the Gelfand theorem for quaternion $B^*$-algebras). On our way to these results, we compare, clarify and unify the term "quaternion Hilbert spaces" in the literatures. △ Less

Submitted 5 September, 2006; originally announced September 2006.

Comments: to appear in the Mathematical Proceedings of the Cambridge Philosophical Society

MSC Class: 16D20; 46B04; 46C05; 46L05; 81S99

Regular normed bimodules

Authors: Chi-Keung Ng

Abstract: In this article, we will give a characterization of Banach bimodules over $C^*$-algebras of compact operators that arises from operator spaces as well as a characterization of (F)-Banach bundles amongst all (H)-Banach bundles over a hyper-Stonian space. These two characterizations are concerned with whether certain natural map from a Banach bimodule to its canonical bidual is isometric (we call… ▽ More In this article, we will give a characterization of Banach bimodules over $C^*$-algebras of compact operators that arises from operator spaces as well as a characterization of (F)-Banach bundles amongst all (H)-Banach bundles over a hyper-Stonian space. These two characterizations are concerned with whether certain natural map from a Banach bimodule to its canonical bidual is isometric (we call such bimodule \emph{regular}). △ Less

Submitted 5 September, 2006; originally announced September 2006.

Comments: to appear in Journal of Operator Theory

MSC Class: 46H25; 46L07