No abstract uploaded!

Fundamental group is one of the most important topological invariants for general manifolds, which can be directly used as manifolds classification. In this work, we provide a series of practical and efficient algorithms to compute fundamental groups for general 3-manifolds based on CW cell decomposition. The input is a tetrahedral mesh, while the output is symbolic representation of its first fundamental group. We further simplify the fundamental group representation using computational algebraic method. We present the theoretical arguments of our algorithms, elaborate the algorithms with a number of examples, and give the analysis of their computational complexity.

In this paper we prove several formulae that enable one to capture the singular portion of the measure derivative of a function of bounded variation as a limit of non-local functionals. One special case shows that rescalings of the fractional Laplacian of a function $u \in SBV$ converge strictly to the singular portion of $Du$.

The traditional kaleidoscope uses the prism as a basic unit. Through the reflections of the mirrors on the inner surfaces of a prism, we can see many symmetric axles and patterns. However, traditional kaleidoscope only presents two-dimensional images. The three-dimensional kaleidoscope we designed uses the pyramid as a basic unit. We can see three-dimensional images via mirror faces on the inner surfaces of the pyramid. Our examination shows that not all pyramids are able to show three-dimensional images but only pyramids with specific angles do. The kaleidoscope we designed differs from the traditional kaleidoscope in the following ways: ①Our three-dimensional kaleidoscope not only shows three-dimensional space, but also shows it through two-dimensional planes. ②Our three-dimensional kaleidoscope is based on three kinds of pyramid: three-sided pyramid (tetrahedron), four-sided pyramid (square pyramid) and five-sided pyramid (pentagonal pyramid). Each kind of pyramid has its own charm in showing its reflected images. ③Each kind of pyramid is separated from its entire geometry. However, it can present the whole view of the geometry after mirrored. Our exploration shows that two dimensional and three dimensional worlds can change into one another under specific conditions. Perhaps before long we can discover more dimensions and explain the relationships between each kind of dimension. This treatise mainly involves the principles of Euclidean Geometry and Projective Geometry.

We review the existence results of traveling wave solutions to the reaction-diffusion equations with periodic diffusion (convection) coefficients and combustion (bistable) nonlinearities. We prove that whenever traveling waves exist, the solutions of the initial value problem with either frontlike or pulselike data propagate with the constant effective speeds of traveling waves in all suitable directions. In the case of bistable nonlinearity and one space dimension, we give an example of nonexistence of traveling waves which causes quenching (localization) of wavefront propagation. Quenching (localization) only occurs when the variations of the media from their constant mean values are large enough. Our related numerical results also provide evidence for this phenomenon in the parameter regimes not covered by the analytical example. Finally, we comment on the role of the effective wave speeds in