QuTiE: Universal, Declarative, and Differentiable Physics Simulation

Abstract

As physical experiments and theories increasingly venture into regimes that are difficult to construct regularly, but nevertheless essential for scientific progress, a need is identified for a physics-focused domain-specific language (DSL) which can fully specify general physical systems, and translate the specification into efficient machine code to simulate the results of otherwise cost-prohibitive experimental setups. A novel, declarative language “QuTiE” for describing physical systems is presented. It is shown to be universal, by being able to simulate all quantum physics on an n-dimensional stratified manifolds, including quantum field theory and General Relativity. A reference implementation is also provided, which is able to simulate all quantum mechanical systems that previous simulators can, with the addition of automatically resizing spaces so that boundaries do not need to be known a priori and transparent, automatic multithreading which needs no intervention from the physicist.