相关论文: BFFT quantization with nonlinear constraints

Using the general notions of Batalin, Fradkin, Fradkina and Tyutin to convert second class systems into first class ones, we present a gauge invariant formulation of the massive Yang-Mills theory by embedding it in an extended phase space.…

The similarity between classical and quantum physics is large enough to make an investigation of quantization methods a worthwhile endeavour. As history has shown, Dirac's canonical quantization method works reasonably well in the case of…

In a nonlinear theory, such as General Relativity, linearized field equations around an exact solution are necessary but not sufficient conditions for linearized solutions. Therefore, the linearized field equations can have some solutions…

A Pseudo-Boolean (PB) constraint is a linear arithmetic constraint over Boolean variables. PB constraints are convenient and widely used in expressing NP-complete problems. We introduce a new, two step, method for transforming PB…

Based on the results of a recent reexamination of the quantization of systems with first-class and second-class constraints from the point of view of coherent-state phase-space path integration, we give additional examples of the…

One of the virtues of the Ashtekar variables is the simplification of the initial value constraints for gravity. In the case of self-dual variables this entails a complexification of the phase space which comes at the expense of having to…

Following systematically the generalized Hamiltonian approach of Batalin, Fradkin and Tyutin (BFT), we embed the second-class non-abelian SU(2) Higgs model in the unitary gauge into a gauge invariant theory. The strongly involutive…

The first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Fr\"uhwirth, we consider an extension of this theory with an additional…

The Batalin-Fradkin-Tyutin (BFT) scheme, which is an improved version of Dirac quantization, is applied to the $CP^1$ model, and the compact form of a nontrivial first-class Hamiltonian is directly obtained by introducing the BFT physical…

This study introduces a procedure to obtain general expressions, $y = f(x)$, subject to linear constraints on the function and its derivatives defined at specified values. These constrained expressions can be used describe functions with…

We propose a new BRST-like quantization procedure which is applicable to dynamical systems containing both first and second class constraints. It requires no explicit separation into first and second class constraints and therefore no…

In this paper we consider the problem of approximating function evaluations $f(\boldsymbol x_j)$ at given nonequispaced points $\boldsymbol x_j$, $j=1,\dots N$, of a bandlimited function from given values $\hat{f}(\boldsymbol k)$,…

In this paper, we consider the problem of solving a constrained system of nonlinear equations. We propose an algorithm based on a combination of the Newton and conditional gradient methods, and establish its local convergence analysis. Our…

We study the deformation quantisation (Moyal quantisation) of general constrained Hamiltonian systems. It is shown how second class constraints can be turned into first class quantum constraints. This is illustrated by the O(N) non-linear…

We show that the massive noncommutative U(1) can be embedded in a gauge theory by using the BFFT Hamiltonian formalism. By virtue of the peculiar non-Abelian algebraic structure of the noncommutative massive U(1) theory, several specific…

We perform the Hamiltonian analysis of non-linear massive gravity action studied recently in arXiv:1106.3344 [hep-th]. We show that the Hamiltonian constraint is the second class constraint. As a result the theory possesses an odd number of…

Generalised quantifiers, which include Henkin's branching quantifiers, have been introduced by Mostowski and Lindstr\"om and developed as a substantial topic application of logic, especially model theory, to linguistics with work by…

Using his formulation of the potential theoretic notion of balayage and his deep results about this idea, Beurling gave sufficient conditions for Fourier frames in terms of balayage. The analysis makes use of spectral synthesis, due to…

Quadratic gravity in two dimensions can be formulated as a Background Field (BF) theory plus an interaction term which is polynomial in both, the gauge and Background fields. This formulation is similar to the one given by Freidel and…

Blocked clauses provide the basis for powerful reasoning techniques used in SAT, QBF, and DQBF solving. Their definition, which relies on a simple syntactic criterion, guarantees that they are both redundant and easy to find. In this paper,…