We introduce a web of strongly correlated interacting 3+1D topological superconductors/ insulators of 10 particular global symmetry groups of Cartan classes, realizable in electronic condensed matter systems, and their generalizations. The symmetries include SU(N), SU(2), U(1), fermion parity, time reversal and relate to each other through symmetry embeddings. We overview the lattice Hamiltonian formalism. We complete the list of bulk symmetry-protected topological invariants (SPT invariants/partition functions that exhibit boundary 't Hooft anomalies) via cobordism calculations, matching their full classification. We also present explicit 4-manifolds that detect these SPTs. On the other hand, once we dynamically gauge part of their global symmetries, we arrive in various new phases of $SU(N)$ Yang-Mills (YM) theories, realizable as quantum spin liquids with emergent gauge fields. We discuss how coupling YM theories to time reversal-SPTs affects the strongly coupled theories at low energy. For example, we point out a possibility of having two deconfined gapless time-reversal symmetric $SU(2)$ YM theories at $\theta=\pi$ as two distinct conformal field theories, which although are secretly indistinguishable by gapped SPT states nor by correlators of local operators on oriented spacetimes, can be distinguished on non-orientable spacetimes or potentially by correlators of extended operators.

In this paper, a brief introduction of the nonlinear filtering problems and a review of the quasi-implicit Euler method are presented. The major contribution of this paper is that we propose a nonnegativity-preserving algorithm of Yau-Yau method for solving high-dimensional nonlinear filtering problems by applying quasi-implicit Euler method with discrete sine transform. Furthermore, our algorithms are directly applicable on the compact difference schemes, so that the number of spatial points can be substantially reduced and retain the same accuracy. Numerical results indicate that the proposed algorithm is capable of solving up to six-dimensional nonlinear filtering problems efficiently and accurately.

For Laplacians defined by measures on a bounded domain in R^n, we prove analogs of the classical eigenvalue estimates for the standard Laplacian: lower bound of sums of eigenvalues by Li and Yau, and gaps of consecutive eigenvalues by Payne, Polya and Weinberger. This work is motivated by the study of spectral gaps for Laplacians on fractals.

Compactifications of symmetric spaces have been constructed by different methods for various applications. One application is to provide the so-called rational boundary components which can be used to compactify locally symmetric spaces. In this paper, we construct many compactifications of symmetric spaces using a uniform method, which is motivated by the Borel-Serre compact- ification of locally symmetric spaces. Besides unifying compactifications of both symmetric and locally symmetric spaces, this uniform construction allows one to compare and relate easily different compactifications, to extend the group action continuously to boundaries of compactifications, and to clarify the structure of the boundaries.

In this paper, we propose and analyze a mixed $H^1$-conforming finite element method for solving Maxwell's equations in terms of electric field and Lagrange multiplier, where the multiplier is introduced accounting for the divergence constraint. We mainly focus on the case that the physical domain is non-convex and its boundary includes reentrant corners or edges, which may lead the solution of Maxwell's equations to be a non-$H^1$ very weak function and thus causes many numerical difficulties. The proposed method is formulated in the stabilized form by adding an additional mesh-dependent stabilization term to the mixed variational formulation. A general framework of stability and error analysis is established. Specifically, a pair of $H^1$-conforming finite elements, namely the $CP_2$-$P_1$ elements, for electric field and multiplier is studied and its stability and error bounds are also derived. Numerical experiments for source problems as well as eigenvalue problems on the $L$-shaped and cracked domains are presented to illustrate the high performance of the proposed mixed $H^1$-conforming finite element method.