arXiv research

This paper studies Hamilton-Jacobi equations for magnetic systems with constraints.

Study discretizes Dirac and port-Hamiltonian systems using manifolds.

Develops theory of contact systems with nonholonomic constraints.

The constraint reaction force of ideal nonholonomic constraints in time-dependent mechanics on a configuration bundle $Q\to R$ is obtained. Using the vertical extension of Hamiltonian formalism to the vertical tangent bundle $VQ$ of $Q\to R$, the Hamiltonian of a nonholonomic constrained system is constructed.

Study magnetic Hamiltonian systems with constraints, deriving Hamilton-Jacobi equations.

In this paper, for a variety of nonholonomic (reducible) Hamiltonian systems, we first give to various distributional Hamiltonian systems, by analyzing carefully the dynamics and structures of the nonholonomic Hamiltonian systems. Secondly, we derive precisely the geometric constraint conditions of the induced distribu…

Generalizes Hamiltonian theory for variational problems, applied to first order gravity.

We analyse the definition of quasi-local energy in GR based on a Hamiltonian analysis of the Einstein-Hilbert action initiated by Brown-York. The role of the constraint equations, in particular the Hamiltonian constraint on the timelike boundary, neglected in previous studies, is emphasized here. We argue that a consis…

This paper extends the evolution operator to contact mechanics, linking Lagrangian and Hamiltonian formulations.

Simplifies neural network models by explicitly enforcing constraints in Cartesian coordinates.

This paper studies nonholonomic constraints in Hamiltonian systems, deriving equations and theorems.

We establish new existence and non-existence results for positive solutions of the Einstein-scalar field Lichnerowicz equation on compact manifolds. This equation arises from the Hamiltonian constraint equation for the Einstein-scalar field system in general relativity. Our analysis introduces variational techniques, i…

Survey of recent developments in symmetric reductions and controls for Hamiltonian systems.

We observe that a system of irreducible, fiber-linear, first class constraints on T*M is equivalent to the definition of a foliation Lie algebroid over M. The BFV formulation of the constrained system is given by the Hamiltonian lift of the Vaintrob description (E[1],Q) of the Lie algebroid to its cotangent bundle T*E[…

This paper considers systems subject to nonholonomic constraints which are not uniform on the whole configuration manifold. When the constraints change, the system undergoes a transition in order to comply with the new imposed conditions. Building on previous work on the Hamiltonian theory of impact, we tackle the prob…

A new GP method enforces physical constraints in probabilistic terms.

Consider an effective Hamiltonian torus action $T\times M \to M$ on a topologically twisted,generalized complex manifold $M$ of dimension $2n$. We prove that the $rank(T) \leq n-2$ and that the topological twisting survives Hamiltonian reduction. We then construct a large new class of such actions satisfying $rank(T) =…

Although conservative Hamiltonian systems with constraints can be formulated in terms of Dirac structures, a more general framework is necessary to cover also dissipative systems such as gradient and metriplectic systems with constraints. We define Leibniz-Dirac structures which lead to a natural generalization of Dira…

Paper extends port-Hamiltonian model to include internal energy for compressible and incompressible flow.

We study the Hamiltonian formalisms of the second order degenerate Clèment and Sarıoğlu-Tekin Lagrangians. The Dirac-Bergmann constraint algorithm is employed while arriving at the total Hamiltonian functions and the Hamilton's equations on the associated momemtum phase spaces whereas the Gotay-Nester-Hinds algorithm i…

The study finds a continuous map achieving minmax area under Legendrian constraints.

We show how to view the equations for a cohomogeneity one Ricci soliton as a Hamiltonian system with a constraint. We investigate conserved quantities and superpotentials, and use this to find some explicit formulae for Ricci solitons not of Kähler type in five dimensions.

We formalize geometrically the idea that the (de Donder) Hamiltonian formulation of a higher derivative Lagrangian field theory can be constructed understanding the latter as a first derivative theory subjected to constraints.

When the vacuum Einstein equations are cast in the form of hamiltonian evolution equations, the initial data lie in the cotangent bundle of the manifold MΣ of riemannian metrics on a Cauchy hypersurface Σ. As in every lagrangian field theory with symmetries, the initial data must satisfy constraints. But, unlike those …

Hybrid quantum algorithm tackles binary optimization problems with multiple constraints.

A scalable framework optimizes multi-asset portfolios with constraints.

We present a unified approach to constrained implicit Lagrangian and Hamiltonian systems based on the introduced concept of Dirac algebroid. The latter is a certain almost Dirac structure associated with the Courant algebroid on the dual $E^\ast$ to a vector bundle $E$. If this almost Dirac structure is integrable (Dir…

A new Dirac algebroid approach for nonholonomic systems.

Defines new canonical lifts for field theories, analyzing Klein-Gordon, Polyakov string, and Einstein-Cartan gravity.

The Rusk-Skinner formalism was developed in order to give a geometrical unified formalism for describing mechanical systems. It incorporates all the characteristics of Lagrangian and Hamiltonian descriptions of these systems (including dynamical equations and solutions, constraints, Legendre map, evolution operators, e…

Based on the theory of Poisson vertex algebras we calculate skew-symmetry conditions and Jacobi identities for a class of third-order nonlocal operators of differential-geometric type. Hamiltonian operators within this class are defined by a Monge metric and a skew-symmetric two-form satisfying a number of differential…

The jet bundle description of time-dependent mechanics is revisited. The constraint algorithm for singular Lagrangians is discussed and an exhaustive description of the constraint functions is given. By means of auxiliary connections we give a basis of constraint functions in the Lagrangian and Hamiltonian sides. An ad…

Alternative discrete Dirac mechanics using Dirac structures.

In this paper we show that the Hamiltonian Monte Carlo method for compact Lie groups constructed in \cite{kennedy88b} using a symplectic structure can be recovered from canonical geometric mechanics with a bi-invariant metric. Hence we obtain the correspondence between the various formulations of Hamiltonian mechanics …

This paper introduces equivariant hamiltonian flows, a method for learning expressive densities that are invariant with respect to a known Lie-algebra of local symmetry transformations while providing an equivariant representation of the data. We provide proof of principle demonstrations of how such flows can be learnt…

In the present article the geometry of semi-Riemannian manifolds with nonholonomic constraints is studied. These manifolds can be considered as analogues to the sub-Riemannian manifolds, where the positively definite metric is substituted by a nondegenerate metric. To study properties of the exponential map the Christo…

In most sampling algorithms, including Hamiltonian Monte Carlo, transition rates between states correspond to the probability of making a transition in a single time step, and are constrained to be less than or equal to 1. We derive a Hamiltonian Monte Carlo algorithm using a continuous time Markov jump process, and ar…

Clean intersections of Lagrangian knots in 3D are impossible.

New MMM captures hierarchical marketing effects and sign restrictions.

Recent work on Bayesian optimization has shown its effectiveness in global optimization of difficult black-box objective functions. Many real-world optimization problems of interest also have constraints which are unknown a priori. In this paper, we study Bayesian optimization for constrained problems in the general ca…

New method improves sampling efficiency for complex distributions.

The dynamics of an ideal fluid or plasma is constrained by topological invariants such as the circulation of (canonical) momentum or, equivalently, the flux of the vorticity or magnetic fields. In the Hamiltonian formalism, topological invariants restrict the orbits to submanifolds of the phase space. While the coadjoi…

First order Hamiltonian operators of differential-geometric type were introduced by Dubrovin and Novikov in 1983, and thoroughly investigated by Mokhov. In 2D, they are generated by a pair of compatible flat metrics $g$ and $\tilde g$ which satisfy a set of additional constraints coming from the skew-symmetry condition…

We investigate $n$-component systems of conservation laws that possess third-order Hamiltonian structures of differential-geometric type. The classification of such systems is reduced to the projective classification of linear congruences of lines in $\mathbb{P}^{n+2}$ satisfying additional geometric constraints. Algeb…

One has not any conventional energy-momentum conservation law in Lagrangian field theory, but relations involving different stress-energy-momentum tensors associated with different connections. It is not obvious how to choose the true energy-momentum tensor. This problem is solved in the framework of the multimomentum …

We review the geometric formulation of the second Noether's theorem in time-dependent mechanics. The commutation relations between the dynamics on the final constraint manifold and the infinitesimal generator of a symmetry are studied. We show an algorithm for determining a gauge symmetry which is closely related to th…

New method improves HMC for sampling on manifolds.

In this paper we explore the idea of looking at the Dirac quantisation conditions as $\hbar$-dependent constraints on the tangent bundle to phase-space. Starting from the path-integral version of classical mechanics and using the natural Poisson brackets structure present in the cotangent bundle to the tangent bundle o…