Related papers: Constrained Hamiltonian Systems and Groebner Bases
In this paper, we present a detailed review/analysis of the Dirac quantisation of Hamiltonian systems with constraints. To this end, we use, as a guide, the physical example provided by the dynamics of a solid ball rolling, without…
An algorithm and its first implementation in C# are presented for assembling arbitrary quantum circuits on the base of Hadamard and Toffoli gates and for constructing multivariate polynomial systems over the finite field Z_2 arising when…
An extension of the Legendre transform to non-convex functions with vanishing Hessian as a mix of envelope and general solutions of the Clairaut equation is proposed. Applying this to systems with constraints, the procedure of finding a…
After recalling standard nonlinear port-Hamiltonian systems and their algebraic constraint equations, called here Dirac algebraic constraints, an extended class of port-Hamiltonian systems is introduced. This is based on replacing the…
For many quantum systems of interest, the classical computational cost of simulating their time evolution scales exponentially in the system size. At the same time, quantum computers have been shown to allow for simulations of some of these…
It is shown that when the gauge algebra is with root system the canonical Hamiltonian commutes with the constraints. Two other simple propositions concerning gauge fixing are proved too.
The holonomic gradient method gives an algorithm to efficiently and accurately evaluate normalizing constants and their derivatives. We apply the holonomic gradient method in the case of the conditional Poisson or multinomial distribution…
In this paper we present an algorithm for computing Groebner bases of linear ideals in a difference polynomial ring over a ground difference field. The input difference polynomials generating the ideal are also assumed to be linear. The…
These are pedagogical notes on the Hamiltonian formulation of constrained dynamical systems. All the examples are finite dimensional, field theories are not covered, and the notes could be used by students for a preliminary study before the…
D-dimensional constrained systems are studied with stochastic Lagrangian and\break Hamiltonian. It is shown that stochastic consistency conditions are second class constraints and Lagrange multiplier fields can be determined in…
Potential algebras can be used effectively in the analysis of the quantum systems. In the article, we focus on the systems described by a separable, 2x2 matrix Hamiltonian of the first order in derivatives. We find integrals of motion of…
We develop a systematic Hamiltonian formulation for a gravitating topological matter system in three-dimensional spacetime, coupling a scalar gauge field and a rank-2 antisymmetric gauge field to Einstein--Cartan gravity. We perform the…
We use the characteristic polynomial of the Coxeter matrix of an algebra to complete the combinatorial classification of piecewise hereditary algebras which Happel gave in terms of the trace of the Coxeter matrix. We also give a…
We derive the Hamilton equations of motion for a constrained system in the form given by Dirac, by a limiting procedure, starting from the Lagrangean for an unconstrained system. We thereby ellucidate the role played by the primary…
In this paper, we consider parametric ideals and introduce a notion of comprehensive involutive system. This notion plays the same role in theory of involutive bases as the notion of comprehensive Groebner system in theory of Groebner…
Recently the Hamilton-Jacobi formulation for first order constrained systems has been developed. In such formalism the equations of motion are written as total differential equations in many variables. We generalize the Hamilton-Jacobi…
In this paper we show how to compute algorithmically the full set of algebraically independent constraints for singular mechanical and field-theoretical models with polynomial Lagrangians. If a model under consideration is not singular as a…
An accurate method to compute enclosures of Abelian integrals is developed. This allows for an accurate description of the phase portraits of planar polynomial systems that are perturbations of Hamiltonian systems. As an example, it is…
We present the Dirac Hamiltonian formalism for a pair of $1$-form fields with a topological-like potential coupled to first-order gravity in three-dimensional spacetime. By considering the complete phase space, we derive the full structure…
In this paper we introduce a working generalization of the theory of Gr\"obner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation for systems of linear or non-linear…