Surface flow phenomena, such as rain water flowing down a tree trunk and progressive water front in a shower room, are common in real life. However, compared with the 3D spatial fluid flow, these surface flow problems have been much less studied in the graphics community. To tackle this research gap, we present an efficient, robust and high-fidelity simulation approach based on the shallow-water equations. Specifically, the standard shallow-water flow model is extended to general triangle meshes with a feature-based bottom friction model, and a series of coherent mathematical formulations are derived to represent the full range of physical effects that are important for real-world surface flow phenomena. In addition, by achieving compatibility with existing 3D fluid simulators and by supporting physically realistic interactions with multiple fluids and solid surfaces, the new model is flexible and readily extensible for coupled phenomena. A wide range of simulation examples are presented to demonstrate the performance of the new approach.

No abstract uploaded!

We study the space of Killing fields on the four dimensional AdS spacetime AdS 3,1 . Two subsets S and O are identified: S (the spinor Killing fields) is constructed from imaginary Killing spinors, and O (the observer Killing fields) consists of all hypersurface orthogonal, future timelike unit Killing fields. When the cosmology constant vanishes, or in the Minkowski spacetime case, these two subsets have the same convex hull in the space of Killing fields. In presence of the cosmology constant, the convex hull of O is properly contained in that of S . This leads to two different notions of energy for an asymptotically AdS spacetime, the spinor energy and the observer energy. In [10], Chru\'sciel, Maerten and Tod proved the positivity of the spinor energy and derived important consequences among the related conserved quantities. We show that the positivity of the observer energy follows from the positivity of the spinor energy. A new notion called the "rest mass" of an asymptotically AdS spacetime is then defined by minimizing the observer energy, and is shown to be evaluated in terms of the adjoint representation of the Lie algebra of Killing fields. It is proved that the rest mass has the desirable rigidity property that characterizes the AdS spacetime.

Surface registration is widely used in machine vision and medical imaging, where 1-1 correspondences between surfaces are computed to study their variations. Surface maps are usually stored as the 3D coordinates each vertex is mapped to, which often requires lots of storage memory. This causes inconvenience in data transmission and data storage, especially when a large set of surfaces are analyzed. To tackle this problem, we propose a novel representation of surface diffeomorphisms using Beltrami coefficients, which are complex-valued functions defined on surfaces with supreme norm less than 1. Fixing any 3 points on a pair of surfaces, there is a 1-1 correspondence between the set of surface diffeomorphisms between them and the set of Beltrami coefficients on the source domain. Hence, every bijective surface map can be represented by a unique Beltrami coefficient. Conversely, given a Beltrami coefficient, we can reconstruct the unique surface map associated to it using the Beltrami Holomorphic flow (BHF) method introduced in this paper. Using this representation, 1/3 of the storage space is saved. We can further reduce the storage requirement by 90% by compressing the Beltrami coefficients using Fourier approximations. We test our algorithm on synthetic data, real human brain and hippocampal surfaces. Our results show high accuracy in the reconstructed data, while the amount of storage is greatly reduced. Our approach is compared with the Fourier compression of the coordinate functions using the same amount of data. The latter approach often shows jaggy results and cannot guarantee to preserve diffeomorphisms.

We study different classes of Jensen measures for plurisubharmonic functions, in particular the relation between Jensen measures for continuous functions and Jensen measures for upper bounded functions. We prove an approximation theorem for plurisubharmonic functions in$B$-regular domain. This theorem implies that the two classes of Jensen measures coincide in$B$-regular domains. Conversely we show that if Jensen measures for continuous functions are the same as Jensen measures for upper bounded functions and the domain is hyperconvex, the domain satisfies the same approximation theorem as above.