Differentiable Programming Tensor Networks

Differentiable programming is a fresh programming paradigm which composes parameterized algorithmic components and trains them using automatic differentiation (AD). The concept emerges from deep learning but is not only limited to training neural networks. We present theory and practice of programming tensor network algorithms in a fully differentiable way. By formulating the tensor network algorithm as a computation graph, one can compute higher order derivatives of the program accurately and efficiently using AD. We present essential techniques to differentiate through the tensor networks contractions, including stable AD for tensor decomposition and efficient backpropagation through fixed point iterations. As a demonstration, we compute the specific heat of the Ising model directly by taking the second order derivative of the free energy obtained in the tensor renormalization group calculation. Next, we perform gradient based variational optimization of infinite projected entangled pair states for quantum antiferromagnetic Heisenberg model and obtain start-of-the-art variational energy and magnetization with moderate efforts. Differentiable programming removes laborious human efforts in deriving and implementing analytical gradients for tensor network programs, which opens the door to more innovations in tensor network algorithms and applications.Comment: Typos corrected, discussion and refs added; revised version accepted for publication in PRX. Source code available at https://github.com/wangleiphy/tensorgra

A Generalized Cholera Model and Epidemic-Endemic Analysis

The transmission of cholera involves both human-to-human and environment-to-human pathways that complicate its dynamics. In this paper, we present a new and unified deterministic model that incorporates a general incidence rate and a general formulation of the pathogen concentration to analyse the dynamics of cholera. Particularly, this work unifies many existing cholera models proposed by different authors. We conduct equilibrium analysis to carefully study the complex epidemic and endemic behaviour of the disease. Our results show that despite the incorporation of the environmental component, there exists a forward transcritical bifurcation at R0 = 1 for the combined human-environment epidemiological model under biologically reasonable conditions