Xianfeng David Gu
SUNY Empire Innovation Professor
Department of Computer Science
Department of Applied Mathematics
Stony Brook University
Room 147 New Computer Science Building
State University of New York at Stony Brook
Stony Brook, New York 11794-2424
Phone: (631) 632-1828 (Office)
Fax: (631) 632-8334
gu at cs.stonybrook.edu
Director of 3D Scanning Laboratory
Statistical learning aims at learning probability distributions defined on low dimensional data manifolds embedded in high dimensional ambient spaces. Therefore the central tasks include learning the manifold structure and the probability distrubitions. The second task can be accomplished using optimal transportation.
Explainable AI The fundamental principle for deep learning is to perform optimization in the space consisting all probability measures (the Wasserstein space). Optimal transportation theory assigns a natural Riemannian metric to the Wasserstein space, such that the variational optimization can be carried out using the covariant calulus. Hence optimal transportation has been broadly applied in deep learning, such as generative models.
Geometric Variational Algorithm The optimal transportation map is the gradient map of the Brenier potential. Fundamentally, the Brenier theorem in optimal transportation is equivalent to the Alexandrov theorem in convex geometry, both of them are governed by the Monge-Ampere equation. The Brenier potential (Alexandrov polyhedron) can be computed by optimizing the Monge transportation cost, or equivalently the volume, using geometric variational algorithm.
Spherical Optimal Transportation Algorithm The spherical optimal transportation map can be solved using the geometric variational approach as well. The spherical OT map algorithm can be applied to solve the Minkowski problem, which determines the shape from the Gaussian curvature, and the otpical design problems. The spherical optimal transportation algorithm is based on convex optimization.
Explainable AI Optimal transportation lays down the theoretic foundation of deep learning, it can be applied to explain fundamental problems in deep learning, such as mode collapse. Depending on the supports of the probability measures, the optimal transportation maps may have singuarlities, where the map is discontinous. In general, deep neural nets can only represent continuous maps. This cause the mode collapsing issue in deep learning. Therefore, by considering the regularity issue of the optimal transportation maps, we can design generative models to eliminate mode collapse, such as geometric GAN model.
The geometric surfaces are processed with algorithms based on conformal geometry and optimal transportation, including parameterization, remeshing, registration, comparison and so on. The Ricci flow method and the optimal transportation map based on geometric variational method are directly applied.
In mathematics, conformal means "angle preserving". Conformal structure is a specail atlas of the surface, such that angles among tangent vectors can be coherently defined on different local coordinate systems. Furthermore, concepts in complex anylasis can be defined on the surface via conformal structure. Conformal geometry is the intersection of algebraic geometry, differential geometry, complex anylasis and algebraic topology.
In engineering, conformal structure is between topological structure and geometric structure, which is more rigid than topology and more flexible than geometry. Therefore, conformal structure leads to canonical non-rigid deformation, which is important for engineering applications, especially for shape anylasis, classification and registration.
The goal of computational conformal geometry is to convert concepts and theorems from Riemann surface theory to practical algorithms, and implement them for engineering applications.
A surface with a conformal structure is called a Riemann surface. All metric surfaces are Riemann surfaces. The image illustrates the conformal structure using isothermal coordinates. The algorithm is based on computing holomorphic differentials on Riemann surfaces.
Surface uniformization means that all metric surfaces can be conformally mapped to one of the three canonical domains, the sphere, the plane and the hyperbolic space. The figures show the uniformization for surfaces with various topologies. Unformization converts general 3D geometric problems to 2D problems in these canonical domains. Ricci flow is a powerful geometric analytic tool, which has been applied to prove Poincare conjecture. Ricci flow is a parabolic system of partial differential equations which acts like the heat equation to spread the curvature of a Riemannian metric evenly over the surface to produce a metric of constant curvature. Computational discrete Ricci flow is the practical method to compute surface uniformization, it has many important applications in many engineering fields.
The followings are books summarizing my research: