Following the recent trend in explicit neural memory structures, we present a new design of an external memory, wherein memories are stored in an Euclidean key space \mathbb R^ n . An LSTM controller performs read and write via specialized read and write heads. It can move a head by either providing a new address in the key space (aka random access) or moving from its previous position via a Lie group action (aka Lie access). In this way, the" L" and" R" instructions of a traditional Turing Machine are generalized to arbitrary elements of a fixed Lie group action. For this reason, we name this new model the Lie Access Neural Turing Machine, or LANTM.

In this paper we consider the initial-boundary value problem to the one-dimensional compressible Navier{Stokes equations for ideal gases. Both the viscous and heat conductive coeffcients are assumed to be positive constants, and the initial density is allowed to have vacuum. Global existence and uniqueness of strong solutions is established for any H2 initial data, which generalizes the well-known result of Kazhikhov and Shelukhin [J. Appl. Math. Mech., 41 (1977), pp. 273{282] to the case that with nonnegative initial density. An observation to overcome the diculty caused by the lack of the positive lower bound of the density is that the ratio of the density to its initial value is inversely proportional to the time integral of the upper bound of the temperature along the trajectory.

No abstract uploaded!

We study generalized Hopf–Cole transformations motivated by the Schrödinger bridge problem, which can be seen as a boundary value Hamiltonian system on the Wasserstein space. We prove that generalized Hopf–Cole transformations are symplectic submersions in the Wasserstein symplectic geometry. Many examples, including a Hopf–Cole transformation for the shallow water equations, are given. Based on this transformation, energy splitting inequalities are provided.

Finding surface mappings with least distortion arises from many applications in various fields. Extremal Teichmüller maps are surface mappings with least conformality distortion. The existence and uniqueness of the extremal Teichmüller map between Riemann surfaces of finite type are theoretically guaranteed (see Fletcher and Markovic, Quasiconformal maps and Teichmüller theory, Oxford Graduate Texts in Math., vol. 11, Oxford University Press, Oxford, 2007). Recently, a simple iterative algorithm for computing the Teichmüller maps between connected Riemann surfaces with given boundary value was proposed by Lui, Lam, Yau, and Gu in Teichmüller extremal mapping and its applications to landmark matching registration, arXiv:1211.2569. Numerical results were reported in the paper to show the effectiveness of the algorithm. The method was successfully applied to landmarkmatching registration. The purpose of this paper is to prove the iterative algorithm proposed in loc. cit., indeed converges.