相关论文: BFT Embedding of Second-Class Systems

We consider the quantum mechanical analog of the nonlinear sigma model. There are difficulties to completely embed this theory by directly using the Batalin, Fradkin, Fradkina, and Tyutin (BFFT) formalism. We show in this paper how the BFFT…

The Spinning Particle Model for anyon is analysed in the Batalin-Tyutin scheme of quantisation in extended phase space. Here additional degrees of freedom are introduced in the phase space such that all the constraints in the theory are…

In this paper we show how the BRST quantization can be applied to systems possessing only second-class constraints through their conversion to some first-class ones starting with our method exposed in [Nucl.Phys. B456 (1995)473]. Thus, it…

We convert the second class Proca model into a first class theory by using the generalised prescription of Batalin, Fradkin and Tyutin. We then show how a basic set of gauge invariant fields in the embedded model can be identified with the…

We show that for a system containing a set of general second class constraints which are linear in the phase space variables, the Abelian conversion can be obtained in a closed form and that the first class constraints generate a…

We apply the Batalin-Tyutin Hamiltonian method to the Abelian Proca model in order to convert a second class constraint system into a first class one systematically by introducing the new fields. Then, according to the BFV formalism we…

We quantise the $O(N)$ nonlinear sigma model using the Batalin Tyutin (BT) approach of converting a second class system into first class. It is a {\it nontrivial} application of the BT method since the quantisation of this model by the…

I extend upon the paper by Batalin and Marnelius, in which they show how to construct and quantize a gauge theory from a Hamiltonian system with second class constraints. Among the avenues explored, their technique is analyzed in relation…

We newly apply the Batalin, Fradkin and Tyutin (BFT) formalism to the SU(3) flavor Skyrmion model to investigate the Weyl ordering correction to the structure of the hyperfine splittings of strange baryons. On the other hand, the Berry…

We newly apply the improved Batalin-Fradkin-Tyutin(BFT) Hamiltonian method to the O(3) nonlinear sigma model, and directly obtain the compact form of nontrivial first class Hamiltonian by introducing the BFT physical fields. Furthermore,…

The collective coordinates expansion of the Skyrme soliton particle model gives rise to the second class constraints. We use the non-abelian BFFT formalism to convert this system into the one with only first class constraints. Choosing two…

We quantize the self-dual massive theory by using the Batalin-Tyutin Hamiltonian method, which systematically embeds second class constraint system into first class one in the extended phase space by introducing the new fields. Through this…

The BRST quantization of the Abelian Proca model is performed using the Batalin-Fradkin-Tyutin and the Batalin-Fradkin-Vilkovisky formalism. First, the BFT Hamiltonian method is applied in order to systematically convert a second class…

We apply the Batalin-Fradkin-Tyutin (BFT) method to the SU(2) Skyrmion to study the full symmetry structure of the model at the first class Hamiltonian level. On the other hand, we also analyze the symmetry structure of the action having…

The bisimulation proof method can be enhanced by employing `bisimulations up-to' techniques. A comprehensive theory of such enhancements has been developed for first-order (i.e., CCS-like) labelled transition systems (LTSs) and…

Development of thermodynamic induction up to second order gives a dynamical bifurcation for thermodynamic variables and allows for the prediction and detailed explanation of nonequilibrium phase transitions with associated spontaneous…

The $CP^{N-1}$ model is quantised in the generalised canonical formalism of Batalin and Tyutin by converting the original second class system into first class. Operator ordering ambiguities present in the conventional quantisation scheme of…

A potentialist system is a first-order Kripke model based on embeddings. I define the notion of bisimulation for these systems, and provide a number of examples. Given a first-order theory $T$, the system $\mathrm{Mod}(T)$ consists of all…

A transduction provides us with a way of using the monadic second-order language of a structure to make statements about a derived structure. Any transduction induces a relation on the set of these structures. This article presents a…

We review recent progress in developing effective field theories (EFTs) for non-equilibrium processes at finite temperature, including a new formulation of fluctuating hydrodynamics, and a new proof of the second law of thermodynamics.…