We will show that for any noncompact arithmetic hyperbolic m-manifold with m>3, and any compact arithmetic hyperbolic m-manifold with m > 4 that is not a 7-dimensional one defined by octonions, its fundamental group is not locally extended residually finite (LERF). The main ingredient in the proof is a study on abelian amalgamations of hyperbolic 3-manifold groups. We will also show that a compact orientable irreducible 3-manifold with empty or tori boundary supports a geometric structure if and only if its fundamental group is LERF.

Diffusion, a fundamental internal mechanism emerging in many physical processes, describes the interaction among different objects. In many learning tasks with limited training samples, the diffusion connects the labeled and unlabeled data points and is a critical component for achieving high classification accuracy. Many existing deep learning approaches directly impose the fusion loss when training neural networks. In this work, inspired by the convection-diffusion ordinary differential equations (ODEs), we propose a novel diffusion residual network (Diff-ResNet), internally introduces diffusion into the architectures of neural networks. Under the structured data assumption, it is proved that the proposed diffusion block can increase the distance-diameter ratio that improves the separability of inter-class points and reduces the distance among local intra-class points. Moreover, this property can be easily adopted by the residual networks for constructing the separable hyperplanes. Extensive experiments of synthetic binary classification, semi-supervised graph node classification and few-shot image classification in various datasets validate the effectiveness of the proposed method.

In this paper, we construct the bilinear identities for the wave functions of an extended Kadomtsev-Petviashvili (KP) hierarchy, which is the KP hierarchy with particular extended flows. By introducing an auxiliary parameter, whose flow corresponds to the so-called squared eigenfunction symmetry of KP hierarchy, we find the tau-function for this extended KP hierarchy. It is shown that the bilinear identities will generate all the Hirota's bilinear equations for the zero-curvature forms of the extended KP hierarchy, which includes two types of KP equation with self-consistent sources (KPSCS). It seems that the Hirota's bilinear equations obtained in this paper for KPSCS are in a simpler form by comparing with the results by X.B. Hu and H.Y. Wang.

This article is a continuation of our work on the classification of holomorphic framed vertex operator algebras of central charge 24. We show that a holomorphic framed VOA of central charge 24 is uniquely determined by the Lie algebra structure of its weight one subspace. As a consequence, we completely classify all holomorphic framed vertex operator algebras of central charge 24 and show that there exist exactly 56 such vertex operator algebras, up to isomorphism.

The inflow problem of full compressible NavierStokes equations is considered on the half-line (0,+\infty). First, we give the existence (or nonexistence) of the boundary layer solution to the inflow problem when the right end state (0,+\infty) belongs to the subsonic, transonic, and supersonic regions, respectively. Then the asymptotic stability of not only the single contact wave but also the superposition of the subsonic boundary layer solution, the contact wave, and the rarefaction wave to the inflow problem are investigated under some smallness conditions. Note that the amplitude of the rarefaction wave is not necessarily small. The proofs are given by the elementary energy method.