Delaunay meshes (DM) are a special type of manifold triangle meshes --- where the local Delaunay condition holds everywhere --- and find important applications in digital geometry processing. This paper addresses the \yongjin{general} DM simplification problem: given an arbitrary manifold triangle mesh M with n vertices and the user-specified resolution m(< n), compute a Delaunay mesh M* with m vertices that has the least Hausdorff distance to M. To solve the problem, we abstract the simplification process using a 2D Cartesian grid model, in which each grid point corresponds to triangle meshes with a certain number of vertices and a simplification process is a monotonic path on the grid. We develop a novel differential-evolution-based method to compute a low-cost path, which leads to a high quality Delaunay mesh. Extensive evaluation shows that our method consistently outperforms the existing methods in terms of approximation error. In particular, our method is highly effective for small-scale CAD models and man-made objects with sharp features but less details. Moreover, our method is fully automatic and can preserve sharp features well and deal with models with multiple components, whereas the existing methods often fail.

In this paper, we develop high-order bound-preserving (BP) discontinuous Galerkin (DG) methods for the coupled system of compressible miscible displacements on triangular meshes. We consider the problem with multi-component fluid mixture and the (volumetric) concentration of the $j$th component, $c_j$, should be between 0 and 1. There are three main difficulties. Firstly, $c_j$ does not satisfy a maximum-principle. Therefore, the numerical techniques introduced in (X. Zhang and C.-W. Shu, Journal of Computational Physics, 229 (2010), 3091-3120) cannot be applied directly. The main idea is to apply the positivity-preserving techniques to all $c_j's$ and enforce $\sum_jc_j=1$ simultaneously to obtain physically relevant approximations. By doing so, we have to treat the time derivative of the pressure $dp/dt$ as a source in the concentration equation and choose suitable fluxes in the pressure and concentration equations. Secondly, it is not easy to construct first-order numerical fluxes for interior penalty DG methods on triangular meshes. One of the key points in the high-order BP technique applied in this paper is the combination of high-order and lower-order numerical fluxes. We will construct second-order BP schemes and use the second-order numerical fluxes as the lower-order one. Finally, the classical slope limiter cannot be applied to $c_j$. To construct the BP technique, we will not approximate $c_j$ directly. Therefore, a new limiter will be introduced. Numerical experiments will be given to demonstrate the high-order accuracy and good performance of the numerical technique.

Let g be the Witt algebra or the positive Witt algebra. It is well known that the enveloping algebra U(g) has intermediate growth and thus infinite Gelfand–Kirillov (GK-) dimension. We prove that the GK-dimension of U(g) is just infinite in the sense that any proper quotient of U(g) has polynomial growth. This proves a conjecture of Petukhov and the second named author for the positive Witt algebra. We also establish the corresponding results for quotients of the symmetric algebra S(g) by proper Poisson ideals. In fact, we prove more generally that any central quotient of the universal enveloping algebra of the Virasoro algebra has just infinite GK-dimension. We give several applications. In particular, we easily compute the annihilators of Verma modules over the Virasoro algebra.

Let Y be a closed and oriented 3-manifold. We define different versions of unfolded Seiberg-Witten Floer spectra for Y. These invariants generalize Manolescu's Seiberg-Witten Floer spectrum for rational homology 3-spheres. We also compute some examples when Y is a Seifert space.

Consider an N-Boson system interacting via a two-body repulsive short-range potential $V$ in a three dimensional box  of side length $L$. We take the $limit N,L \to \infty $ while keeping the density $\rho = N/L^3 fixed and small. We prove a new lower bound for its ground state energy per particle $$ \frac{E(N,\Lambda)}{N} \ge 4 \pi a \rho [1- O(\rho^{1/3} | log \rho |^3) ] $$ as $\rho \to 0$, where $a$ is the scattering length of $V$.