论文标题
确切的比值可逆集成仪
An Exact Bitwise Reversible Integrator
论文作者
论文摘要
在基本层面上，大多数物理方程式都是时间可逆的。在本文中，我们提出了一个在离散计算级别保存此属性的集成商。我们的模拟可以向后和向后运行，并准确地追踪相同的路径。我们通过使用固定和浮点算术的混合来实现理论上可逆的集成仪来实现这一目标。我们的主要应用程序是在优化中使用的伴随方法中有效地实现反向步骤。我们的集成商在差异模拟和机器学习（反向传播）中具有应用。
At a fundamental level most physical equations are time reversible. In this paper we propose an integrator that preserves this property at the discrete computational level. Our simulations can be run forward and backwards and trace the same path exactly bitwise. We achieve this by implementing theoretically reversible integrators using a mix of fixed and floating point arithmetic. Our main application is in efficiently implementing the reverse step in the adjoint method used in optimization. Our integrator has applications in differential simulations and machine learning (backpropagation).
