Consider $N$ bosons in a finite box  $ \Lambda = [0,L]^3 \subset R^3$ interacting via a two-body smooth repulsive short range potential. We construct a variational state which gives the following upper bound on the ground state energy per particle $$ \bar{lim|_{\rho \to 0} \bar{lim|_{L \to \infty, N/L^3 \to \rho} ( \ frac{e_0 (\rho) - 4\pi a \rho }{ (4\pi a)^{5/2} (\rho)^{3/2} } ) \le \frac{16}{15 \pi ^2} , $$ where $a$ is the scattering length of the potential. Previously, an upper bound of the form $C16/15\pi^2$ for some constant $C >1$ was obtained in (Erdös et al. in Phys. Rev. A 78:053627, 2008). Our result proves the upper bound of the prediction by Lee and Yang (Phys. Rev. 105(3):1119–1120, 1957) and Lee et al. (Phys. Rev. 106(6):1135–1145, 1957).

In this paper we give a proposal for mirrors to (0,2) supersymmetric gauged linear sigma models (GLSMs), for those (0,2) GLSMs which are deformations of (2,2) GLSMs. Specifically, we propose a construction of (0,2) mirrors for (0,2) GLSMs with E terms that are linear and diagonal, reducing to both the Hori-Vafa prescription as well as a recent (2,2) nonabelian mirrors proposal on the (2,2) locus. For the special case of abelian (0,2) GLSMs, two of the authors have previously proposed a systematic construction, which is both simplified and generalized by the proposal here.

We study the effective Batalin-Vilkovisky quantization theory for chiral deformation of two dimensional conformal field theories. We establish an exact correspondence between renormalized quantum master equations for effective functionals and Maurer-Cartan equations for chiral vertex operators. The generating functions are proven to have modular property with mild holo- morphic anomaly. As an application, we construct an exact solution of quan- tum B-model (BCOV theory) in complex one dimension that solves the higher genus mirror symmetry conjecture on elliptic curves.

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.

We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of osp(1|2) and the N=1 super Virasoro algebra to categories of Virasoro algebra modules via certain cosets.