Related papers: First class models from linear and nonlinear secon…
We review the Batalin-Tyutin approach of quantising second class systems which consists in enlarging the phase space to convert such systems into first class. The quantisation of first class systems, it may be mentioned, is already well…
In this paper we present a rigorous derivation of the Boltzmann equation in a compact domain with diffuse reflection boundary conditions. We consider a system of $N$ hard spheres of diameter $\epsilon$ in a box $\Lambda := [0, 1] \times…
A highly accurate, single-pass, unbiased frictional contact algorithm for higher-order elements based on the concept of midplane is presented. Higher-order elements offer a lucrative choice for contact problems as they can better represent…
The non-relativistic interacting electron gas in an external field of positively charged massive cores is dealt with in the scheme of second quantization. Ladder operators that change between stationary states of contiguous energy…
A Dirac Hamiltonian formulation of d-dimensional Einstein-Hilbert action in first order form, has shown that as well as secondary first class constraints, tertiary first class constraints also arise, with an unusual nonlocal Poisson bracket…
How can one fully harness the power of physics encoded in relativistic $N$-body phase space? Topologically, phase space is isomorphic to the product space of a simplex and a hypersphere and can be equipped with explicit coordinates and a…
Motivated by the problem of solving the Einstein equations, we discuss high order finite difference discretizations of first order in time, second order in space hyperbolic systems.Particular attention is paid to the case when first order…
The physical phase space of the relativistic top, as defined by Hanson and Regge, is expressed in terms of canonical coordinates of the Poincar\'e group manifold. The system is described in the Hamiltonian formalism by the mass shell…
Noncommutative gravity, based on a twist-deformation of the differential geometry of spacetime and a first-order formulation of the dynamics, requires additional gravitational degrees of freedom as well as an enlargement of the gauge group…
We show that an unambiguous and correct quantization of the second-class constrained system of a free particle on a sphere in $D$ dimensions is possible only by converting the constraints to abelian gauge constraints, which are of first…
A parameterised Boolean equation system (PBES) is a set of equations that defines sets satisfying the equations as the least and/or greatest fixed-points. Thus this system is regarded as a declarative program defining predicates, where a…
We analyse the problem of defining a Poisson bracket structure on the space of solutions of the equations of motions of first order Hamiltonian field theories. The cases of Hamiltonian mechanical point systems (as a (0 + 1)-dimensional…
Working directly with a general Hamiltonian for the spacetime metric with the $3+1$ decomposition and keeping only the spatial covariance, we investigate the possibility of reducing the number of degrees of freedom by introducing an…
Fermions are coupled to the Einstein-Cartan system in the canonical formulation, including the cosmological, the Barbero-Immirzi, and the non-minimal coupling constants. The resulting ten first-class constraints generate gauge…
Motivated by group-theoretical questions that arise in the context of asymptotic symmetries in gravity, we study model spaces and their quantization from the viewpoint of constrained Hamiltonian systems. More precisely, we propose that a…
In this paper we find new integrable one-dimensional lattice models of electrons. We classify all such nearest-neighbour integrable models with su(2)xsu(2) symmetry following the procedure first introduced in arXiv:1904.12005. We find 12…
In [1], the non-linear space-time Hasegawa-Mima plasma equation is formulated as a coupled system of two linear PDE's, a solution of which is a pair (u, w). The first equation is of hyperbolic type and the second of elliptic type.…
We consider uniformly strongly elliptic systems of the second order with bounded coefficients. First, sufficient conditions for the invariance of convex bodies obtained for linear systems without zero order term in bounded domains and…
Sufficiently accurate finite state models, also called symbolic models or discrete abstractions, allow one to apply fully automated methods, originally developed for purely discrete systems, to formally reason about continuous and hybrid…
Elastomeric mechanical metamaterials exhibit unconventional behaviour, emerging from their microstructures often deforming in a highly nonlinear and unstable manner. Such microstructural pattern transformations lead to non-local behaviour…