@article{63557,
  abstract     = {{We discretise a recently proposed new Lagrangian approach to optimal control problems with dynamics described by force-controlled Euler-Lagrange equations (Konopik et al., in Nonlinearity 38:11, 2025). The resulting discretisations are in the form of discrete Lagrangians. We show that the discrete necessary conditions for optimality obtained provide variational integrators for the continuous problem, akin to Karush-Kuhn-Tucker (KKT) conditions for standard direct approaches. This approach paves the way for the use of variational error analysis to derive the order of convergence of the resulting numerical schemes for both state and costate variables and to apply discrete Noether’s theorem to compute conserved quantities, distinguishing itself from existing geometric approaches. We show for a family of low-order discretisations that the resulting numerical schemes are ‘doubly-symplectic’, meaning they yield forced symplectic integrators for the underlying controlled mechanical system and overall symplectic integrators in the state-adjoint space. Multi-body dynamics examples are solved numerically using the new approach. In addition, the new approach is compared to standard direct approaches in terms of computational performance and error convergence. The results highlight the advantages of the new approach, namely, better performance and convergence behaviour of state and costate variables consistent with variational error analysis and automatic preservation of certain first integrals.}},
  author       = {{Konopik, Michael and Leyendecker, Sigrid and Maslovskaya, Sofya and Ober-Blöbaum, Sina and Sato Martín de Almagro, Rodrigo T.}},
  issn         = {{1384-5640}},
  journal      = {{Multibody System Dynamics}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{On the variational discretisation of optimal control problems for unconstrained Lagrangian dynamics}}},
  doi          = {{10.1007/s11044-025-10138-1}},
  year         = {{2026}},
}

@article{59792,
  abstract     = {{<jats:title>Abstract</jats:title>
          <jats:p>Motivated by mechanical systems with symmetries, we focus on optimal control problems possessing certain symmetries. Following recent works (Faulwasser in Math Control Signals Syst 34:759–788 2022; Trélat in Math Control Signals Syst 35:685–739 2023), which generalized the classical concept of <jats:italic>static turnpike to manifold turnpike</jats:italic> we extend the <jats:italic>exponential turnpike property</jats:italic> to the <jats:italic>exponential trim turnpike</jats:italic> for control systems with symmetries induced by abelian or non-abelian groups. Our analysis is mainly based on the geometric reduction of control systems with symmetries. More concretely, we first reduce the control system on the quotient space and state the turnpike theorem for the reduced problem. Then we use the group properties to obtain the <jats:italic>trim turnpike theorem</jats:italic> for the full problem. Finally, we illustrate our results on the Kepler problem and the rigid body problem.
</jats:p>}},
  author       = {{Flaßkamp, Kathrin and Maslovskaya, Sofya and Ober-Blöbaum, Sina and Wembe Moafo, Boris Edgar}},
  issn         = {{0932-4194}},
  journal      = {{Mathematics of Control, Signals, and Systems}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Trim turnpikes for optimal control problems with symmetries}}},
  doi          = {{10.1007/s00498-025-00408-w}},
  year         = {{2025}},
}

@unpublished{58544,
  abstract     = {{We introduce a new classification of multimode states with a fixed number of photons. This classification is based on the factorizability of homogeneous multivariate polynomials and is invariant under unitary transformations. The classes physically correspond to field excitations in terms of single and multiple photons, each of which being in an arbitrary irreducible superposition of quantized modes. We further show how the transitions between classes are rendered possible by photon addition, photon subtraction, and photon-projection nonlinearities. We explicitly put forward a design for a multilayer interferometer in which the states for different classes can be generated with state-of-the-art experimental techniques. Limitations of the proposed designs are analyzed using the introduced classification, providing a benchmark for the robustness of certain states and classes. }},
  author       = {{Kopylov, Denis and Offen, Christian and Ares, Laura and Wembe Moafo, Boris Edgar and Ober-Blöbaum, Sina and Meier, Torsten and Sharapova, Polina and Sperling, Jan}},
  title        = {{{Multiphoton, multimode state classification for nonlinear optical circuits }}},
  year         = {{2025}},
}

@unpublished{59794,
  abstract     = {{The depth of networks plays a crucial role in the effectiveness of deep learning. However, the memory requirement for backpropagation scales linearly with the number of layers, which leads to memory bottlenecks during training. Moreover, deep networks are often unable to handle time-series data appearing at irregular intervals. These issues can be resolved by considering continuous-depth networks based on the neural ODE framework in combination with reversible integration methods that allow for variable time-steps. Reversibility of the method ensures that the memory requirement for training is independent of network depth, while variable time-steps are required for assimilating time-series data on irregular intervals. However, at present, there are no known higher-order reversible methods with this property. High-order methods are especially important when a high level of accuracy in learning is required or when small time-steps are necessary due to large errors in time integration of neural ODEs, for instance in context of complex dynamical systems such as Kepler systems and molecular dynamics. The requirement of small time-steps when using a low-order method can significantly increase the computational cost of training as well as inference. In this work, we present an approach for constructing high-order reversible methods that allow adaptive time-stepping. Our numerical tests show the advantages in computational speed when applied to the task of learning dynamical systems.}},
  author       = {{Maslovskaya, Sofya and Ober-Blöbaum, Sina and Offen, Christian and Singh, Pranav and Wembe Moafo, Boris Edgar}},
  title        = {{{Adaptive higher order reversible integrators for memory efficient deep learning}}},
  year         = {{2025}},
}

@article{62980,
  abstract     = {{<jats:p>We introduce a new classification of multimode states with a fixed number of photons. This classification is based on the factorizability of homogeneous multivariate polynomials and is invariant under unitary transformations. The classes physically correspond to field excitations in terms of single and multiple photons, each of which is in an arbitrary irreducible superposition of quantized modes. We further show how the transitions between classes are rendered possible by photon addition, photon subtraction, and photon-projection nonlinearities. We explicitly put forward a design for a multilayer interferometer in which the states for different classes can be generated with state-of-the-art experimental techniques. Limitations of the proposed designs are analyzed using the introduced classification, providing a benchmark for the robustness of certain states and classes.</jats:p>}},
  author       = {{Kopylov, Denis A. and Offen, Christian and Ares, Laura and Wembe Moafo, Boris Edgar and Ober-Blöbaum, Sina and Meier, Torsten and Sharapova, Polina R. and Sperling, Jan}},
  issn         = {{2643-1564}},
  journal      = {{Physical Review Research}},
  number       = {{3}},
  publisher    = {{American Physical Society (APS)}},
  title        = {{{Multiphoton, multimode state classification for nonlinear optical circuits}}},
  doi          = {{10.1103/sv6z-v1gk}},
  volume       = {{7}},
  year         = {{2025}},
}

@unpublished{62979,
  abstract     = {{We introduce a new classification of multimode states with a fixed number of photons. This classification is based on the factorizability of homogeneous multivariate polynomials and is invariant under unitary transformations. The classes physically correspond to field excitations in terms of single and multiple photons, each of which being in an arbitrary irreducible superposition of quantized modes. We further show how the transitions between classes are rendered possible by photon addition, photon subtraction, and photon-projection nonlinearities. We explicitly put forward a design for a multilayer interferometer in which the states for different classes can be generated with state-of-the-art experimental techniques. Limitations of the proposed designs are analyzed using the introduced classification, providing a benchmark for the robustness of certain states and classes.}},
  author       = {{Meier, Torsten and Sharapova, Polina R. and Sperling, Jan and Ober-Blöbaum, Sina and Wembe Moafo, Boris Edgar and Offen, Christian}},
  title        = {{{Multiphoton, multimode state classification for nonlinear optical circuits}}},
  year         = {{2025}},
}

@article{59507,
  abstract     = {{Differential equations posed on quadratic matrix Lie groups arise in the context of classical mechanics and quantum dynamical systems. Lie group numerical integrators preserve the constants of motions defining the Lie group. Thus, they respect important physical laws of the dynamical system, such as unitarity and energy conservation in the context of quantum dynamical systems, for instance. In this article we develop a high-order commutator free Lie group integrator for non-autonomous differential equations evolving on quadratic Lie groups. Instead of matrix exponentials, which are expensive to evaluate and need to be approximated by appropriate rational functions in order to preserve the Lie group structure, the proposed method is obtained as a composition of Cayley transforms which naturally respect the structure of quadratic Lie groups while being computationally efficient to evaluate. Unlike Cayley-Magnus methods the method is also free from nested matrix commutators.}},
  author       = {{Wembe Moafo, Boris Edgar and Offen, Cristian  and Maslovskaya, Sofya and Ober-Blöbaum, Sina and Singh, Pranav}},
  journal      = {{J. Comput. Appl. Math}},
  number       = {{15}},
  title        = {{{Commutator-free Cayley methods}}},
  doi          = {{10.1016/j.cam.2025.117184}},
  volume       = {{477}},
  year         = {{2025}},
}

@article{59797,
  author       = {{Konopik, Michael and T. Sato Martín de Almagro, Rodrigo and Maslovskaya, Sofya and Ober-Blöbaum, Sina and Leyendecker, Sigrid}},
  journal      = {{Journal of Nonlinear Science}},
  number       = {{11}},
  title        = {{{Variational integrators for a new Lagrangian approach to control affine systems with a quadratic Lagrange term}}},
  doi          = {{10.1007/s00332-025-10229-5}},
  volume       = {{36}},
  year         = {{2025}},
}

@article{59799,
  author       = {{Konopik, Michael and Leyendecker, Sigrid and Maslovskaya, Sofya and Ober-Blöbaum, Sina and T. Sato Martín de Almagro, Rodrigo}},
  journal      = {{Nonlinearity}},
  number       = {{11}},
  title        = {{{A new Lagrangian approach to optimal control of second-order systems}}},
  doi          = {{10.1088/1361-6544/ae1d08}},
  volume       = {{38}},
  year         = {{2025}},
}

@article{53101,
  abstract     = {{In this work, we consider optimal control problems for mechanical systems with fixed initial and free final state and a quadratic Lagrange term. Specifically, the dynamics is described by a second order ODE containing an affine control term. Classically, Pontryagin's maximum principle gives necessary optimality conditions for the optimal control problem. For smooth problems, alternatively, a variational approach based on an augmented objective can be followed. Here, we propose a new Lagrangian approach leading to equivalent necessary optimality conditions in the form of Euler-Lagrange equations. Thus, the differential geometric structure (similar to classical Lagrangian dynamics) can be exploited in the framework of optimal control problems. In particular, the formulation enables the symplectic discretisation of the optimal control problem via variational integrators in a straightforward way.}},
  author       = {{Leyendecker, Sigrid and Maslovskaya, Sofya and Ober-Blöbaum, Sina and Almagro, Rodrigo T. Sato Martín de and Szemenyei, Flóra Orsolya}},
  issn         = {{2158-2491}},
  journal      = {{Journal of Computational Dynamics}},
  keywords     = {{Optimal control problem, Lagrangian system, Hamiltonian system, Variations, Pontryagin's maximum principle.}},
  pages        = {{0--0}},
  publisher    = {{American Institute of Mathematical Sciences (AIMS)}},
  title        = {{{A new Lagrangian approach to control affine systems with a quadratic Lagrange term}}},
  doi          = {{10.3934/jcd.2024017}},
  year         = {{2024}},
}

@article{46469,
  abstract     = {{We show how to learn discrete field theories from observational data of fields on a space-time lattice. For this, we train a neural network model of a discrete Lagrangian density such that the discrete Euler--Lagrange equations are consistent with the given training data. We, thus, obtain a structure-preserving machine learning architecture. Lagrangian densities are not uniquely defined by the solutions of a field theory. We introduce a technique to derive regularisers for the training process which optimise numerical regularity of the discrete field theory. Minimisation of the regularisers guarantees that close to the training data the discrete field theory behaves robust and efficient when used in numerical simulations. Further, we show how to identify structurally simple solutions of the underlying continuous field theory such as travelling waves. This is possible even when travelling waves are not present in the training data. This is compared to data-driven model order reduction based approaches, which struggle to identify suitable latent spaces containing structurally simple solutions when these are not present in the training data. Ideas are demonstrated on examples based on the wave equation and the Schrödinger equation. }},
  author       = {{Offen, Christian and Ober-Blöbaum, Sina}},
  issn         = {{1054-1500}},
  journal      = {{Chaos}},
  number       = {{1}},
  publisher    = {{AIP Publishing}},
  title        = {{{Learning of discrete models of variational PDEs from data}}},
  doi          = {{10.1063/5.0172287}},
  volume       = {{34}},
  year         = {{2024}},
}

@inproceedings{59791,
  author       = {{Maslovskaya, Sofya and Ober-Blöbaum, Sina}},
  booktitle    = {{IFAC-PapersOnLine}},
  issn         = {{2405-8963}},
  number       = {{17}},
  pages        = {{85--90}},
  publisher    = {{Elsevier BV}},
  title        = {{{Symplectic Methods in Deep Learning}}},
  doi          = {{10.1016/j.ifacol.2024.10.118}},
  volume       = {{58}},
  year         = {{2024}},
}

@inproceedings{34135,
  abstract     = {{By one of the most fundamental principles in physics, a dynamical system will exhibit those motions which extremise an action functional. This leads to the formation of the Euler-Lagrange equations, which serve as a model of how the system will behave in time. If the dynamics exhibit additional symmetries, then the motion fulfils additional conservation laws, such as conservation of energy (time invariance), momentum (translation invariance), or angular momentum (rotational invariance). To learn a system representation, one could learn the discrete Euler-Lagrange equations, or alternatively, learn the discrete Lagrangian function Ld which defines them. Based on ideas from Lie group theory, in this work we introduce a framework to learn a discrete Lagrangian along with its symmetry group from discrete observations of motions and, therefore, identify conserved quantities. The learning process does not restrict the form of the Lagrangian, does not require velocity or momentum observations or predictions and incorporates a cost term which safeguards against unwanted solutions and against potential numerical issues in forward simulations. The learnt discrete quantities are related to their continuous analogues using variational backward error analysis and numerical results demonstrate the improvement such models can have both qualitatively and quantitatively even in the presence of noise.}},
  author       = {{Lishkova, Yana and Scherer, Paul and Ridderbusch, Steffen and Jamnik, Mateja and Liò, Pietro and Ober-Blöbaum, Sina and Offen, Christian}},
  booktitle    = {{IFAC-PapersOnLine}},
  location     = {{ Yokohama, Japan}},
  number       = {{2}},
  pages        = {{3203--3210}},
  publisher    = {{Elsevier}},
  title        = {{{Discrete Lagrangian Neural Networks with Automatic Symmetry Discovery}}},
  doi          = {{10.1016/j.ifacol.2023.10.1457}},
  volume       = {{56}},
  year         = {{2023}},
}

@inproceedings{42163,
  abstract     = {{The article shows how to learn models of dynamical systems from data which are governed by an unknown variational PDE. Rather than employing reduction techniques, we learn a discrete field theory governed by a discrete Lagrangian density $L_d$ that is modelled as a neural network. Careful regularisation of the loss function for training $L_d$ is necessary to obtain a field theory that is suitable for numerical computations: we derive a regularisation term which optimises the solvability of the discrete Euler--Lagrange equations. Secondly, we develop a method to find solutions to machine learned discrete field theories which constitute travelling waves of the underlying continuous PDE.}},
  author       = {{Offen, Christian and Ober-Blöbaum, Sina}},
  booktitle    = {{Geometric Science of Information}},
  editor       = {{Nielsen, F and Barbaresco, F}},
  keywords     = {{System identification, discrete Lagrangians, travelling waves}},
  location     = {{Saint-Malo, Palais du Grand Large, France}},
  pages        = {{569--579}},
  publisher    = {{Springer, Cham.}},
  title        = {{{Learning discrete Lagrangians for variational PDEs from data and detection of travelling waves}}},
  doi          = {{10.1007/978-3-031-38271-0_57}},
  volume       = {{14071}},
  year         = {{2023}},
}

@article{29240,
  abstract     = {{The principle of least action is one of the most fundamental physical principle. It says that among all possible motions connecting two points in a phase space, the system will exhibit those motions which extremise an action functional. Many qualitative features of dynamical systems, such as the presence of conservation laws and energy balance equations, are related to the existence of an action functional. Incorporating variational structure into learning algorithms for dynamical systems is, therefore, crucial in order to make sure that the learned model shares important features with the exact physical system. In this paper we show how to incorporate variational principles into trajectory predictions of learned dynamical systems. The novelty of this work is that (1) our technique relies only on discrete position data of observed trajectories. Velocities or conjugate momenta do not need to be observed or approximated and no prior knowledge about the form of the variational principle is assumed. Instead, they are recovered using backward error analysis. (2) Moreover, our technique compensates discretisation errors when trajectories are computed from the learned system. This is important when moderate to large step-sizes are used and high accuracy is required. For this,
we introduce and rigorously analyse the concept of inverse modified Lagrangians by developing an inverse version of variational backward error analysis. (3) Finally, we introduce a method to perform system identification from position observations only, based on variational backward error analysis.}},
  author       = {{Ober-Blöbaum, Sina and Offen, Christian}},
  issn         = {{0377-0427}},
  journal      = {{Journal of Computational and Applied Mathematics}},
  keywords     = {{Lagrangian learning, variational backward error analysis, modified Lagrangian, variational integrators, physics informed learning}},
  pages        = {{114780}},
  publisher    = {{Elsevier}},
  title        = {{{Variational Learning of Euler–Lagrange Dynamics from Data}}},
  doi          = {{10.1016/j.cam.2022.114780}},
  volume       = {{421}},
  year         = {{2023}},
}

@article{37654,
  abstract     = {{Recently, Hamiltonian neural networks (HNN) have been introduced to incorporate prior physical knowledge when
learning the dynamical equations of Hamiltonian systems. Hereby, the symplectic system structure is preserved despite
the data-driven modeling approach. However, preserving symmetries requires additional attention. In this research, we
enhance the HNN with a Lie algebra framework to detect and embed symmetries in the neural network. This approach
allows to simultaneously learn the symmetry group action and the total energy of the system. As illustrating examples,
a pendulum on a cart and a two-body problem from astrodynamics are considered.}},
  author       = {{Dierkes, Eva and Offen, Christian and Ober-Blöbaum, Sina and Flaßkamp, Kathrin}},
  issn         = {{1054-1500}},
  journal      = {{Chaos}},
  number       = {{6}},
  publisher    = {{AIP Publishing}},
  title        = {{{Hamiltonian Neural Networks with Automatic Symmetry Detection}}},
  doi          = {{10.1063/5.0142969}},
  volume       = {{33}},
  year         = {{2023}},
}

@article{21600,
  abstract     = {{Many problems in science and engineering require an efficient numerical approximation of integrals or solutions to differential equations. For systems with rapidly changing dynamics, an equidistant discretization is often inadvisable as it results in prohibitively large errors or computational effort. To this end, adaptive schemes, such as solvers based on Runge–Kutta pairs, have been developed which adapt the step size based on local error estimations at each step. While the classical schemes apply very generally and are highly efficient on regular systems, they can behave suboptimally when an inefficient step rejection mechanism is triggered by structurally complex systems such as chaotic systems. To overcome these issues, we propose a method to tailor numerical schemes to the problem class at hand. This is achieved by combining simple, classical quadrature rules or ODE solvers with data-driven time-stepping controllers. Compared with learning solution operators to ODEs directly, it generalizes better to unseen initial data as our approach employs classical numerical schemes as base methods. At the same time it can make use of identified structures of a problem class and, therefore, outperforms state-of-the-art adaptive schemes. Several examples demonstrate superior efficiency. Source code is available at https://github.com/lueckem/quadrature-ML.}},
  author       = {{Dellnitz, Michael and Hüllermeier, Eyke and Lücke, Marvin and Ober-Blöbaum, Sina and Offen, Christian and Peitz, Sebastian and Pfannschmidt, Karlson}},
  journal      = {{SIAM Journal on Scientific Computing}},
  number       = {{2}},
  pages        = {{A579--A595}},
  title        = {{{Efficient time stepping for numerical integration using reinforcement  learning}}},
  doi          = {{10.1137/21M1412682}},
  volume       = {{45}},
  year         = {{2023}},
}

@techreport{47147,
  author       = {{Lishkova, Yana and Ober-Blöbaum, Sina and Leyendecker, Sigrid}},
  publisher    = {{Invited Mathematical Magazine Article}},
  title        = {{{Multirate Discrete Mechanics and Optimal Control for a Flexible Satelite Model }}},
  year         = {{2023}},
}

@inproceedings{47148,
  author       = {{Lishkova, Y. and Bando, M. and Ober-Blöbaum, Sina}},
  publisher    = {{Accepted for the 74th International Astronautical Concress (IAC)}},
  title        = {{{Variational approach for modelling and optimal control of electrodynamic tether motion}}},
  year         = {{2023}},
}

@article{30490,
  author       = {{Cresson, Jacky and Jiménez, Fernando and Ober-Blöbaum, Sina}},
  journal      = {{AIMS}},
  pages        = {{57--89}},
  title        = {{{Continuous and discrete Noether's fractional conserved quantities for restricted calculus of variations}}},
  volume       = {{14(1)}},
  year         = {{2022}},
}

