THE MAIN PURPOSE of this paper is to give a simple and unified new proof of the Witten rigidity theorems, which were conjectured by Witten and first proved by Taubes [25], Bott-Taubes [S], Hirzebruch Cl23 and Krichever [15]. Our proof shows that the modular invariance, which is the intrinsic symmetry of elliptic genera, actually implies their rigidity. Some new properties of elliptic genera and their relationships with theta-functions are also discussed. We remark that our proof makes essential uses of the new feature of loop groups and loop spaces, the modular invariance. We note that, with the help of the modular group, we can catch the topological information on loop space by simply working on finite-dimensional manifold. By developing this idea further, in [21] we have proved the rigidity of the Dirac operator on loop space twisted by higher-level loop group representations, while the Witten ridigity theorems are the special cases of level 1. Many topological vanishing theorems are also derived in [21] by refining the argument in this paper, especially an &-vanishing theorem for loop space. In [19] modular invariance is used again to establish a general miraculous cancellation formula, relating the Hirzebruch L-form to certain twisted &-forms, which has many interesting topological results as consequences. These results were announced in [20].

G-equations are popular front propagation models in combustion literature and describe the front motion law of normal velocity equal to a constant plus the normal projection of fluid velocity. G-equations are Hamilton-Jacobi equations with convex but non-coercive Hamiltonians. We prove homogenization of the inviscid G-equation for space periodic incompressible flows. This extends a two space dimensional result in" Periodic homogenization of G-equations and viscosity effects," Nonlinearity, to appear. We construct approximate correctors to bypass the lack of compactness due to the non-coercive Hamiltonian. The existence of approximate correctors rely on a local reachability property of the controlled flow trajectory as well as incompressibility of the flow. Homogenization then follows from the comparison principle and the perturbed test function method. The effective Hamiltonian is convex and homogeneous of

Mesh parameterization is a fundamental technique in computer graphics. The major goals during mesh parameterization are to minimize both the angle distortion and the area distortion. Angle distortion can be eliminated by the use of conformal mapping, in principle. Our paper focuses on solving the problem of finding the best discrete conformal mapping that also minimizes area distortion. First, we deduce an exact analytical differential formula to represent area distortion by curvature change in the discrete conformal mapping, giving a dynamic Poisson equation. On a mesh, the vertex curvature is related to edge lengths by the curvature map. Our result shows the map is invertible, i.e., the edge lengths can be computed from the curvature (by integration). Furthermore, we give the explicit Jacobi matrix of the inverse curvature map. Second, we formulate the task of computing conformal parameterizations with least area distortions as a constrained nonlinear optimization problem in curvature space. We deduce explicit conditions for the optima. Third, we give an energy form to measure the area distortions, and show that it has a unique global minimum. We use this to design an efficient algorithm, called free boundary curvature diffusion, which is guaranteed to converge to the global minimum; it has a natural physical interpretation. This result proves the common belief that optimal parameterization with least area distortion has a unique solution and can be achieved by free boundary conformal mapping. Major theoretical results and practical algorithms are presented for optimal parameterization based on the inverse curvature map. Comparisons are conducted with existing methods and using different energies. Novel parameterization applications are also introduced. The theoretical framework of the inverse curvature map can be applied to further study discrete conformal mappings.

This article is concerned with feature screening and variable selection for varying coefficient models with ultrahigh-dimensional covariates. We propose a new feature screening procedure for these models based on conditional correlation coefficient. We systematically study the theoretical properties of the proposed procedure, and establish their sure screening property and the ranking consistency. To enhance the finite sample performance of the proposed procedure, we further develop an iterative feature screening procedure. Monte Carlo simulation studies were conducted to examine the performance of the proposed procedures. In practice, we advocate a two-stage approach for varying coefficient models. The two-stage approach consists of (a) reducing the ultrahigh dimensionality by using the proposed procedure and (b) applying regularization methods for dimension-reduced varying coefficient models to make statistical inferences on the coefficient functions. We illustrate the proposed two-stage approach by a real data example. Supplementary materials for this article are available online.

In this paper, we continue our study of the canonical metrics on the moduli space of curves. We first prove the bounded geometry of the Ricci and perturbed Ricci metrics. By carefully choosing the pertubation constant and by studying the asymptotics, we show that the Ricci and holomorphic sectional curvatures of the perturbed Ricci metric are bounded from above and below by negative constants. Based on our understanding of the KhlerEinstein metric, we show that the logarithmic cotangent bundle over the DeligneMumford moduli space is stable with respect to the canonical polarization. Finally, in the last section, we prove the strongly bounded geometry of the KhlerEinstein metric by using the KhlerRicci flow and a priori estimates of the complex Monge-Ampere equation.