The first part of this paper describes some important underlying themes in the mathematical theory of continuum mechanics that are distinct from formulating and analyzing governing equations. The main part of this paper is devoted to a survey of some concrete, conceptually simple, pretty problems that help illuminate the underlying themes. The paper concludes with a discussion of the crucial role of invariant constitutive equations in computation.

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.

In this paper we give quantitative local test vectors for Waldspurger's period integral (i.e., a toric period on GL_2) in new cases with joint ramifications. The construction involves minimal vectors, rather than newforms and their variants. This paper gives a uniform treatment for the matrix algebra and division algebra cases under mild assumptions, and establishes an explicit relation between the size of the local integral and the finite conductor C(π×π_{χ^{−1}}). As an application, we combine the test vector results with the relative trace formula, and prove a hybrid type subconvexity bound which can be as strong as the Weyl bound in proper range.

Heavy Snow will turn to a natural disaster, and will bring big economic losses. The authors hope to establish a mathematic model and a plan to illustrate how to sweep off the snow on main roads in a city so as to ensure the smooth flow of traffic. The research will become a basis on which the government can workout some plans against the snow disasters. Firstly we made some assumptions, then studied the working process of snow-sweepers and derived a snow sweeping model. Based on this model, the relationship between working speed of snow-sweeper and snow thickness, a working model of snow-sweeper, and minimum sets of snow-sweeper needed were established. A deep-searching model and a model of snow-sweeping tree, and a computer program in PASCAL to determine the minimum number of snow-sweeper and the snow sweeping plans on main roads were obtained. We tried several solutions to deal with this problem, such as using piecewise curve fitting to transform a formula h~ vc relating to a cubic equation operation to formula vc~ h ,using trial and error method to determine the minimum number of snow sweepers, using deep searching and tree structure in one-stroke processing in a complicated two-way road system, and also a matrix to deal with the deep searching.

We study the isoperimetric structure of asymptotically flat Riemannian 3-manifolds (M, g) that are C0-asymptotic to Schwarzschild of mass m > 0. Refining an argument due to H. Bray, we obtain an effective volume comparison theorem in Schwarzschild. We use it to show that isoperimetric regions exist in (M, g) for all sufficiently large volumes, and that they are close to centered coordinate spheres. This implies that the volume-preserving stable constant mean curvature spheres constructed by G. Huisken and S.-T. Yau as well as R. Ye as perturbations of large centered coordinate spheres minimize area among all competing surfaces that enclose the same volume. This confirms a conjecture of H. Bray. Our results are consistent with the uniqueness results for volumepreserving stable constant mean curvature surfaces in initial data sets obtained by G. Huisken and S.-T. Yau and strengthened by J. Qing and G. Tian. The additional hypotheses that the surfaces be spherical and far out in the asymptotic region in their results are not necessary in our work.