We introduce new boundary conditions for differential forms on symplectic manifolds with boundary. These boundary conditions, dependent on the symplectic structure, allows us to write down elliptic boundary value problems for both second-order and fourth-order symplectic Laplacians and establish Hodge theories for the cohomologies of primitive forms on manifolds with boundary. We further use these boundary conditions to define a relative version of the primitive cohomologies and to relate primitive cohomologies with Lefschetz maps on manifolds with boundary. As we show, these cohomologies of primitive forms can distinguish certain Kahler structures of Kahler manifolds with boundary.

We re-examine the constraints imposed by causality and unitarity on the low-energy effective field theory expansion of four-particle scattering amplitudes, exposing a hidden “totally positive” structure strikingly similar to the positive geometries associated with grassmannians and amplituhedra. This forces the infinite tower of higher-dimension operators to lie inside a new geometry we call the “EFT-hedron”. We initiate a systematic investigation of the boundary structure of the EFT-hedron, giving infinitely many linear and non-linear inequalities that must be satisfied by the EFT expansion in any theory. We illustrate the EFT-hedron geometry and constraints in a wide variety of examples, including new consistency conditions on the scattering amplitudes of photons and gravitons in the real world.

Wave propagation problems arise in a wide range of applications. The energy conserving property is one of the guiding principles for numerical algorithms, in order to minimize the phase or shape errors after long time integration. In this paper, we develop and analyze a local discontinuous Galerkin (LDG) method for solving the wave equation. We prove optimal error estimates, superconvergence toward a particular projection of the exact solution, and the energy conserving property for the semi-discrete formulation. The analysis is extended to the fully discrete LDG scheme, with the centered second-order time discretization (the leap-frog scheme). Our numerical experiments demonstrate optimal rates of convergence and superconvergence. We also show that the shape of the solution, after long time integration, is well preserved due to the energy conserving property.

No abstract uploaded!

We prove that for any free ergodic probability measure-preserving action $${\mathbb{F}_n \curvearrowright (X, \mu)}$$ of a free group on$n$generators $${\mathbb{F}_n, 2\leq n \leq \infty}$$ , the associated group measure space II_{1}factor $${L^\infty (X)\rtimes \mathbb{F}_n}$$ has$L$^{∞}($X$) as its unique Cartan subalgebra, up to unitary conjugacy. We deduce that group measure space II_{1}factors arising from actions of free groups with different number of generators are never isomorphic. We actually prove unique Cartan decomposition results for II_{1}factors arising from arbitrary actions of a much larger family of groups, including all free products of amenable groups and their direct products.