Source author record

Pokman Cheung

Pokman Cheung appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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

Published work

5 published item(s)

preprint2023arXiv

Intrinsic Gaussian Process on Unknown Manifolds with Probabilistic Metrics

This article presents a novel approach to construct Intrinsic Gaussian Processes for regression on unknown manifolds with probabilistic metrics (GPUM) in point clouds. In many real world applications, one often encounters high dimensional data (e.g. point cloud data) centred around some lower dimensional unknown manifolds. The geometry of manifold is in general different from the usual Euclidean geometry. Naively applying traditional smoothing methods such as Euclidean Gaussian Processes (GPs) to manifold valued data and so ignoring the geometry of the space can potentially lead to highly misleading predictions and inferences. A manifold embedded in a high dimensional Euclidean space can be well described by a probabilistic mapping function and the corresponding latent space. We investigate the geometrical structure of the unknown manifolds using the Bayesian Gaussian Processes latent variable models(BGPLVM) and Riemannian geometry. The distribution of the metric tensor is learned using BGPLVM. The boundary of the resulting manifold is defined based on the uncertainty quantification of the mapping. We use the the probabilistic metric tensor to simulate Brownian Motion paths on the unknown manifold. The heat kernel is estimated as the transition density of Brownian Motion and used as the covariance functions of GPUM. The applications of GPUM are illustrated in the simulation studies on the Swiss roll, high dimensional real datasets of WiFi signals and image data examples. Its performance is compared with the Graph Laplacian GP, Graph Matern GP and Euclidean GP.

preprint2022arXiv

Extrinsic Bayesian Optimizations on Manifolds

We propose an extrinsic Bayesian optimization (eBO) framework for general optimization problems on manifolds. Bayesian optimization algorithms build a surrogate of the objective function by employing Gaussian processes and quantify the uncertainty in that surrogate by deriving an acquisition function. This acquisition function represents the probability of improvement based on the kernel of the Gaussian process, which guides the search in the optimization process. The critical challenge for designing Bayesian optimization algorithms on manifolds lies in the difficulty of constructing valid covariance kernels for Gaussian processes on general manifolds. Our approach is to employ extrinsic Gaussian processes by first embedding the manifold onto some higher dimensional Euclidean space via equivariant embeddings and then constructing a valid covariance kernel on the image manifold after the embedding. This leads to efficient and scalable algorithms for optimization over complex manifolds. Simulation study and real data analysis are carried out to demonstrate the utilities of our eBO framework by applying the eBO to various optimization problems over manifolds such as the sphere, the Grassmannian, and the manifold of positive definite matrices.

preprint2013arXiv

Chiral differential operators: formal loop group actions and associated modules

Chiral differential operators (CDOs) are closely related to string geometry and the quantum theory of two-dimensional sigma models. This paper investigates two topics about CDOs on smooth manifolds. In the first half, we study how a Lie group action on a smooth manifold can be lifted to a `formal loop group action' on an algebra of CDOs; this turns out to be a condition on the equivariant first Pontrjagin class. The case of a principal bundle receives particular attention and gives rise to a type of vertex algebras of great interest. In the second half, we introduce a construction of modules over CDOs using the said `formal loop group actions' and semi-infinite cohomology. Intuitively, these modules should have a geometric meaning in terms of `formal loop spaces'. The first example we study leads to a new conceptual construction of an arbitrary algebra of CDOs. The other example, called the spinor module, may be useful for a geometric theory of the Witten genus.

preprint2011arXiv

Chiral differential operators on supermanifolds

The first part of this paper provides a new formulation of chiral differential operators (CDOs) in terms of global geometric quantities. The main result is a recipe to define all sheaves of CDOs on a smooth cs-manifold; its ingredients consist of an affine connection and an even 3-form that trivializes the first Pontrjagin form. With the connection fixed, two suitable 3-forms define isomorphic sheaves of CDOs if and only if their difference is exact. Moreover, conformal structures are in one-to-one correspondence with even 1-forms that trivialize the first Chern form. Applying our work in the first part, we construct what may be called "chiral Dolbeault complexes" of a complex manifold M, and analyze conditions under which these differential vertex superalgebras admit compatible conformal structures or extra gradings (fermion numbers). When M is compact, their cohomology computes (in various cases) the Witten genus, the two-variable elliptic genus and a spin-c version of the Witten genus. This part contains some new results as well as provides a geometric formulation of certain known facts from the study of holomorphic CDOs and sigma models.

preprint2010arXiv

The Witten genus and vertex algebras

This article is the first report of an ongoing project aimed at finding a geometric interpretation of the Witten genus and other tmf classes. Section 2 reviews the sheaves of chiral differential operators (CDOs) over a complex manifold, including their construction, obstructions and relation with the Witten genus. In section 3, the structure of each sheaf of CDOs is reorganized in terms of modules over the sheaf of holomorphic functions. This invokes the notion of a differential graded vertex algebroid. The construction of sheaves of CDOs is due to Gorbounov, Malikov and Schechtman, and so is the notion of a vertex algebroid; the differential graded version is first introduced here. Section 4 contains the main result, namely the construction of a sheaf of differential graded conformal vertex algebras that provides a fine resolution of a sheaf of CDOs. This `infinite dimensional Dolbeault complex' plays a role for the Witten genus similar to that of the Dolbeault complex for the Todd genus.