Related papers: $\mathrm{PGL}(3)$-invariant integrable systems fro…
We derive integrable equations starting from autonomous mappings with a general form inspired by the multiplicative systems associated to the affine Weyl group E$_8^{(1)}$. Five such systems are obtained, three of which turn out to be…
A systematic study of the discrete second order projective system is presented, complemented by the integrability analysis of the associated multilinear mapping. Moreover, we show how we can obtain third order integrable equations as the…
We investigate the local integrability and linearizability of a family of three-dimensional polynomial systems with the matrix of the linear approximation having the eigenvalues $1, \zeta, \zeta^2 $, where $\zeta$ is a primitive cubic root…
We consider the classical problem of invariant generation for programs with polynomial assignments and focus on synthesizing invariants that are a conjunction of strict polynomial inequalities. We present a sound and semi-complete method…
We introduce a general method to construct classes of dynamical systems invariant under generalizations of the Carroll and of the Galilei groups. The method consists in starting from a space-time in $D+1$ dimensions and partitioning it in…
We develop a general framework for numerically solving differential equations while preserving invariants. As in standard projection methods, we project an arbitrary base integrator onto an invariant-preserving manifold, however, our method…
In this paper, we develop the theoretical foundations of discrete Dirac mechanics, that is, discrete mechanics of degenerate Lagrangian/Hamiltonian systems with constraints. We first construct discrete analogues of Tulczyjew's triple and…
We provide a method for calculating anharmonic lattice dynamics, by building a surrogate model based on Gaussian Processes (GPs). Due to the underlying Gaussian form of a GP, the model is infinitely differentiable. This allows us to train…
Using the orbit method we attempt to reveal geometric and algebraic meaning of separation of variables for the integrable systems on coadjoint orbits in an $\mathfrak{sl}(3)$ loop algebra. We consider two types of generic orbits embedded…
We reveal the origin and structure of self-consistent source extensions of integrable equations from the perspective of binary Darboux transformations. They arise via a deformation of the potential that is central in this method. As…
Using an expansion method in the variables $ x_i$ that appear in the $(n-1)$-dimensional integrals representing the $n$-particle contribution to the Ising square lattice model susceptibility $\chi$, we generate a long series of coefficients…
In this paper we present methods for the synthesis of polynomial invariants for probabilistic transition systems. Our approach is based on martingale theory. We construct invariants in the form of polynomials over program variables, which…
In this paper a constructive method to determine and compute probabilistic reachable and invariant sets for linear discrete-time systems, excited by a stochastic disturbance, is presented. The samples of the disturbance signal are not…
We study a class of linear ordinary differential equations (ODE)s with distributional coefficients. These equations are defined using an {\it intrinsic} multiplicative product of Schwartz distributions which is an extension of the…
We first study the properties of the Fuchsian ordinary differential equations for the three and four-particle contributions $ \chi^{(3)}$ and $ \chi^{(4)}$ of the square lattice Ising model susceptibility. An analysis of some mathematical…
This article proposes a method for forming invariant stochastic differential systems, namely dynamic systems with trajectories belonging to a given smooth manifold. The It\^o or Stratonovich stochastic differential equations with the Wiener…
Advanced deep learning-based approaches have been actively applied to forecast the spatiotemporal physical dynamics governed by partial differential equations (PDEs), which acts as a critical procedure in tackling many science and…
We construct a continuous Lagrangian, strictly convex and superlinear in the third variable, such that the associated variational problem has a Lipschitz minimizer which is non-differentiable on a dense set. More precisely, the upper and…
We introduce the general polynomial algebras characterizing a class of higher order superintegrable systems that separate in Cartesian coordinates. The construction relies on underlying polynomial Heisenberg algebras and their defining…
This paper is an overview of our works which are related to investigations of the integrability of natural Hamiltonian systems with homogeneous potentials and Newton's equations with homogeneous velocity independent forces. The two types of…