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 hypothesize a new and more complete set of anomalies of certain quantum field theories (QFTs) and then give an eclectic proof. First, we propose a set of 't Hooft anomalies of 2d $\mathbb{CP}^{\mathrm{N}-1}$-sigma models at $\theta=\pi$, with N $=2,3,4$ and others, by enlisting all possible 3d cobordism invariants and selecting the matched terms. Second, we propose a set of 't Hooft higher anomalies of 4d time-reversal symmetric SU(N)-Yang-Mills (YM) gauge theory at $\theta=\pi$, via 5d cobordism invariants (higher symmetry-protected topological states) such that compactifying YM theory on a 2-torus matches the constrained 3d cobordism invariants from sigma models. Based on algebraic/geometric topology, QFT analysis, manifold generator dimensional reduction, condensed matter inputs and additional physics criteria, we derive a correspondence between 5d and 3d new invariants, thus broadly prove a more complete anomaly-matching between 4d YM and 2d $\mathbb{CP}^{\mathrm{N}-1}$ models via a twisted 2-torus reduction, done by taking the Poincar\'e dual of specific cohomology class with $\mathbb{Z}_2$ coefficients. We formulate a higher-symmetry analog of "Lieb-Schultz-Mattis theorem" to constrain the low-energy dynamics.

For a gerbe Y over a smooth proper Deligne-Mumford stack B banded by a finite group G, we prove a structure result on the Gromov-Witten theory of Y, expressing Gromov-Witten invariants of Y in terms of Gromov-Witten invariants of B twisted by various flat U(1)-gerbes on B. This is interpreted as a Leray-Hirsch type of result for Gromov-Witten theory of gerbes.

No abstract uploaded!