In this note we show that if a projective manifold admits a Khler metric with negative holomorphic sectional curvature then the canonical bundle of the manifold is ample. This confirms a conjecture of the second author.

In geometric modeling and processing, computer graphics and computer vision, smooth surfaces are approximated by discrete triangular meshes reconstructed from sample points on the surfaces. A fundamental problem is to design rigorous algorithms to guarantee the geometric approximation accuracy by controlling the sampling density. This paper gives explicit formulae to the bounds of Hausdorff distance, normal distance and Riemannian metric distortion between the smooth surface and the discrete mesh in terms of principle curvature and the radii of geodesic circum-circle of the triangles. These formulae can be directly applied to design sampling density for data acquisitions and surface reconstructions. Furthermore, we prove that the meshes induced from the Delaunay triangulations of the dense samples on a smooth surface are convergent to the smooth surface under both Hausdorff distance and normal

Randomness often plays an important role in the spatial and temporal dynamics of biological systems. General stochastic simulation methods may lead to excessive computational cost for a system in which a large number of molecules involved. Therefore, multi-scale hybrid simulation methods become important for stochastic simulations. Here we build a spatially hybrid method which couples two approaches: discrete stochastic simulation and continuous stochastic differential equations. In our method, the locations of the interfaces between the two approaches are changing according to the distribution of molecules in a one-dimensional domain. To balance the accuracy and efficiency, the time step of the numerical method for the continuous stochastic differential equations is adapted to the dynamics of the molecules near the adaptive interfaces. The simulation results for a linear system and two nonlinear biological systems in different one-dimensional domains demonstrate the effectiveness and advantage of our new hybrid method with the adaptive time step control.

Let A be an abelian category and B be the Happel-Reiten-Smalo tilt of A with respect to a torsion pair. We give necessary and sufficient conditions for the existence of a derived equivalence between A and B, which is compatible with the inclusion of B into the derived category of A. As applications, we obtain new derived equivalences related to splitting torsion pairs, TTF-triples and two-term silting subcategories, respectively. We prove that for the realization functor of any bounded t-structure, its denseness implies its fully-faithfulness.

Given a hyperbolic surface with geodesic boundary S, the lengths of a maximal system of disjoint simple geodesic arcs on S that start and end at @S perpendicularly are coordinates on the Teichm¨uller space T (S). We express the Weil-Petersson Poisson structure of T (S) in this system of coordinates, and we prove that it limits pointwise to the piecewise-linear Poisson structure defined by Kontsevich on the arc complex of S. At the same time, we obtain a formula for the first-order variation of the distance between two closed geodesics under Fenchel-Nielsen deformation.