We prove a formula which relates Euler characteristic of moduli spaces of stable pairs on local K3 surfaces to counting invariants of semistable sheaves on them. Our formula generalizes KawaiYoshioka’s formula for stable pairs with irreducible curve classes to arbitrary curve classes. We also propose a conjectural multiple cover formula of sheaf counting invariants which, combined with our main result, leads to an Euler characteristic version of KatzKlemm-Vafa conjecture for stable pairs.

In this paper, we develop bound-preserving modified exponential Runge-Kutta (RK) discontinuous Galerkin (DG) schemes to solve scalar hyperbolic equations with stiff source terms by extending the idea in Zhang and Shu \cite{ZhSh:10max}. Exponential strong stability preserving (SSP) high order time discretizations are constructed and then modified to overcome the stiffness and preserve the bound of the numerical solutions. It is also straightforward to extend the method to two dimensions on rectangular and triangular meshes. Even though we only discuss the bound-preserving limiter for DG schemes, it can also be applied to high order finite volume schemes, such as weighted essentially non-oscillatory (WENO) finite volume schemes as well.

Many discrete integrable systems exhibit the Laurent phenomenon. In this paper, we investigate three integrable systems: the Somos-4 recurrence, the Somos-5 recurrence, and a system related to so-called A_1 A_1-system, whose general solutions are derived in terms of Hankel determinant. As a result, we directly confirm that they satisfy the Laurent property. Additionally, it is shown that the Somos-5 recurrence can be viewed as a specified Backlund transformation of the Somos-4 recurrence. Related topics about Somos polynomials are also studied.

Surface based 3D shape analysis plays a fundamental role in computer vision and medical imaging. This work proposes to use optimal mass transport map for shape matching and comparison, focusing on two important applications including surface registration and shape space. The computation of the optimal mass transport map is based on Monge-Brenier theory, in comparison to the conventional method based on Monge-Kantorovich theory, this method significantly improves the efficiency by reducing computational complexity from O(n ² ) to O(n). For surface registration problem, one commonly used approach is to use conformal map to convert the shapes into some canonical space. Although conformal mappings have small angle distortions, they may introduce large area distortions which are likely to cause numerical instability thus resulting failures of shape analysis. This work proposes to compose the

No abstract uploaded!