1.2COMP-PHFeb 14, 2018
Metriplectic particle-in-cell integrators for the Landau collision operatorEero Hirvijoki, Michael Kraus, Joshua W. Burby
In this paper, we present a new framework for addressing the nonlinear Landau collision operator in terms of particle-in-cell methods. We employ the underlying metriplectic structure of the collision operator and, using a macro particle discretization for the distribution function, we transform the infinite-dimensional system into a finite-dimensional time-continuous metriplectic system for advancing the macro particle weights. Temporal discretization is accomplished using the concept of discrete gradients. The conservation of density, momentum, and energy, as well as the positive semi-definite production of entropy in both the time-continuous and the fully discrete system is demonstrated algebraically. The new algorithm is fully compatible with the existing particle-in-cell Poisson integrators for the Vlasov-Maxwell system.
1.2PLASM-PHApr 23, 2018
Energy-, momentum-, density-, and positivity-preserving spatio-temporal discretizations for the nonlinear Landau collision operator with exact H-theoremsEero Hirvijoki, Joshua W. Burby, Michael Kraus
This paper explores energy-, momentum-, density-, and positivity-preserving spatio-temporal discretizations for the nonlinear Landau collision operator. We discuss two approaches, namely direct Galerkin formulations and discretizations of the underlying infinite-dimensional metriplectic structure of the collision integral. The spatial discretizations are chosen to reproduce the time-continuous conservation laws that correspond to Casimir invariants and to guarantee the positivity of the distribution function. Both the direct and the metriplectic discretization are demonstrated to have exact H-theorems and unique, physically exact equilibrium states. Most importantly, the two approaches are shown to coincide, given the chosen Galerkin method. A temporal discretization, preserving all of the mentioned properties, is achieved with so-called discrete gradients. Hence the proposed algorithm successfully translates all properties of the infinite-dimensional time-continuous Landau collision operator to time- and space-discrete sparse-matrix equations suitable for numerical simulation.
Symplectic Autoencoders for Model Reduction of Hamiltonian SystemsBenedikt Brantner, Michael Kraus
Many applications, such as optimization, uncertainty quantification and inverse problems, require repeatedly performing simulations of large-dimensional physical systems for different choices of parameters. This can be prohibitively expensive. In order to save computational cost, one can construct surrogate models by expressing the system in a low-dimensional basis, obtained from training data. This is referred to as model reduction. Past investigations have shown that, when performing model reduction of Hamiltonian systems, it is crucial to preserve the symplectic structure associated with the system in order to ensure long-term numerical stability. Up to this point structure-preserving reductions have largely been limited to linear transformations. We propose a new neural network architecture in the spirit of autoencoders, which are established tools for dimension reduction and feature extraction in data science, to obtain more general mappings. In order to train the network, a non-standard gradient descent approach is applied that leverages the differential-geometric structure emerging from the network design. The new architecture is shown to significantly outperform existing designs in accuracy.
4.1LGOct 2, 2025
Neural non-canonical Hamiltonian dynamics for long-time simulationsClémentine Courtès, Emmanuel Franck, Michael Kraus et al.
This work focuses on learning non-canonical Hamiltonian dynamics from data, where long-term predictions require the preservation of structure both in the learned model and in numerical schemes. Previous research focused on either facet, respectively with a potential-based architecture and with degenerate variational integrators, but new issues arise when combining both. In experiments, the learnt model is sometimes numerically unstable due to the gauge dependency of the scheme, rendering long-time simulations impossible. In this paper, we identify this problem and propose two different training strategies to address it, either by directly learning the vector field or by learning a time-discrete dynamics through the scheme. Several numerical test cases assess the ability of the methods to learn complex physical dynamics, like the guiding center from gyrokinetic plasma physics.
Volume-Preserving Transformers for Learning Time Series Data with StructureBenedikt Brantner, Guillaume de Romemont, Michael Kraus et al.
Two of the many trends in neural network research of the past few years have been (i) the learning of dynamical systems, especially with recurrent neural networks such as long short-term memory networks (LSTMs) and (ii) the introduction of transformer neural networks for natural language processing (NLP) tasks. While some work has been performed on the intersection of these two trends, those efforts were largely limited to using the vanilla transformer directly without adjusting its architecture for the setting of a physical system. In this work we develop a transformer-inspired neural network and use it to learn a dynamical system. We (for the first time) change the activation function of the attention layer to imbue the transformer with structure-preserving properties to improve long-term stability. This is shown to be of great advantage when applying the neural network to learning the trajectory of a rigid body.
1.2NAAug 24, 2017
Projected Variational Integrators for Degenerate Lagrangian SystemsMichael Kraus
We propose and compare several projection methods applied to variational integrators for degenerate Lagrangian systems, whose Lagrangian is of the form $L = \vartheta(q) \cdot \dot{q} - H(q)$ and thus linear in velocities. While previous methods for such systems only work reliably in the case of $\vartheta$ being a linear function of $q$, our methods are long-time stable also for systems where $\vartheta$ is a nonlinear function of $q$. We analyse the properties of the resulting algorithms, in particular with respect to the conservation of energy, momentum maps and symplecticity. In numerical experiments, we verify the favourable properties of the projected integrators and demonstrate their excellent long-time fidelity. In particular, we consider a two-dimensional Lotka-Volterra system, planar point vortices with position-dependent circulation and guiding centre dynamics.
1.2NADec 5, 2014
Variational Integrators in Plasma PhysicsMichael Kraus
Variational integrators are a special kind of geometric discretisation methods applicable to any system of differential equations that obeys a Lagrangian formulation. In this thesis, variational integrators are developed for several important models of plasma physics: guiding centre dynamics (particle dynamics), the Vlasov-Poisson system (kinetic theory), and ideal magnetohydrodynamics (plasma fluid theory). Special attention is given to physical conservation laws like conservation of energy and momentum. Most systems in plasma physics do not possess a Lagrangian formulation to which the variational integrator methodology is directly applicable. Therefore the theory is extended towards nonvariational differential equations by linking it to Ibragimov's theory of integrating factors and adjoint equations. It allows us to find a Lagrangian for all ordinary and partial differential equations and systems thereof. Consequently, the applicability of variational integrators is extended to a much larger family of systems than envisaged in the original theory. This approach allows for the application of Noether's theorem to analyse the conservation properties of the system, both at the continuous and the discrete level. In numerical examples, the conservation properties of the derived schemes are analysed. In case of guiding centre dynamics, momentum in the toroidal direction of a tokamak is preserved exactly. The particle energy exhibits an error, but the absolute value of this error stays constant during the entire simulation. Therefore numerical dissipation is absent. In case of the kinetic theory, the total number of particles, total linear momentum and total energy are preserved exactly, i.e., up to machine accuracy. In case of magnetohydrodynamics, the total energy, cross helicity and the divergence of the magnetic field are preserved up to machine precision.