Related papers: The Treatment of conformable systems with second c…
The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures.…
The two-body Dirac equation with general local potential is reduced to the pair of ordinary second-order differential equations for radial components of a wave function. The class of linear + Coulomb potentials with complicated spin-angular…
In this article, we make a gauge theory from the Open p-brane system and map it into the Open 2-brane one. Due to the presence of second class constraints in this model, we encounter some problems during the procedure of quantization. In…
Perturbation theory with respect to the kinetic energy of the heavy component of a two-component quantum system is introduced. An effective Hamiltonian that is accurate to second order in the inverse heavy mass is derived. It contains a new…
In this paper, we study singular systems with complete sets of involutive constraints. The aim is to establish, within the Hamilton-Jacobi theory, the relationship between the Frobenius' theorem, the infinitesimal canonical transformations…
To describe two-place physical problems, many possible models named Alice-Bob (AB) systems are proposed. To find and to solve these systems, the Parity (P), time reversal (T), charge conjugation (C), shifted-parity ($P_s$, parity with a…
We study the theory of systems with constraints from the point of view of the formal theory of partial differential equations. For finite-dimensional systems we show that the Dirac algorithm completes the equations of motion to an…
The constraint satisfaction problem (CSP) of a first-order theory T is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of T. We study the computational complexity of CSP$(T_1…
The extended commutation relations for a generalized uncertainty principle have been based on the assumption of the minimal length in position. Instead of this assumption, we start with a constrained Hamiltonian system described by the…
We study 2x2 matrices A such that the corresponding TBA equations yield c[A] in the form of the effective central charge of a minimal Virasoro model. Certain properties of such matrices and the corresponding solutions of the TBA equations…
A potential problem with adiabatic switching in perturbation theory is that divergent terms appear in the series solution. An example of this was presented by C. Brouder et al [4] for a simple 2 state system where the evolution of system in…
We propose a systematic procedure that solves the Dirac bracket commutators. The method is based on the Gauge Unfixing formalism, a procedure that converts second class systems into first class ones without the enlargement of the original…
We discuss in detail the uniform discretization approach to the quantization of totally constrained theories. This approach allows to construct the continuum theory of interest as a well defined, controlled, limit of well behaved discrete…
The compactness of the closed string in the classical Type II string theory reveals the duality, whereas the compactness of the open string reveals that the end of the string is on the hypersurface which satisfies the Dirichlet boundary…
Self-consistent Hamiltonian formulation of scalar theory on the null plane is constructed following Dirac method. The theory contains also {\it constraint equations}. They would give, if solved, to a nonlinear and nonlocal Hamiltonian. The…
This paper presents a canonical d.c. (difference of canonical and convex functions) programming problem, which can be used to model general global optimization problems in complex systems. It shows that by using the canonical duality…
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…
It is shown that the Dirac approach to Hamiltonization of singular theories can be slightly modified in such a way that primary Dirac constraints do not appear in the process. According to the modified scheme, Hamiltonian formulation of…
We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…
In field theories one often works with the functionals which are integrals of some densities. These densities are defined up to divergence terms (boundary terms). A Poisson bracket of two functionals is also a functional, i.e., an integral…