Related papers: BFFT quantization with nonlinear constraints
The Lagrangian formulation of classical field theories and in particular general relativity leads to a coordinate-free, fully covariant analysis of these constrained systems. This paper applies multisymplectic techniques to obtain the…
The problem of constant-speed ballistics is studied under the umbrella of non-linear non-holonomic constrained systems. The Newtonian approach is shown to be equivalent to the use of Chetaev's rule to incorporate the constraint within the…
An FFT-based algorithm is developed to simulate the propagation of elastic waves in heterogeneous $d$-dimensional rectangular shape domains. The method allows one to prescribe the displacement as a function of time in a subregion of the…
We introduce first order alternating automata, a generalization of boolean alternating automata, in which transition rules are described by multisorted first order formulae, with states and internal variables given by uninterpreted…
In this paper, we are concerned with the BFV-reduction of first class constraints in classsical Hamiltonian mechanics and deformation quantization. As a result, we obtain continuous star products for certain singular reduced symplectic…
We perform, in a manifestly $SO(n-1,1)$ [$SO(n)$] covariant fashion, the Hamiltonian analysis of general relativity in $n$ dimensions written as a constrained $BF$ theory. We solve the constraint on the $B$ field in a way naturally adapted…
A first-order gauge invariant formulation for the two-dimensional quantum rigid rotor is long known in the theoretical physics community as an isolated peculiar model. Parallel to that fact, the longstanding constraints abelianization…
Some fractional Newton methods have been proposed in order to find roots of nonlinear equations using fractional derivatives. In this paper we introduce a fractional Newton method with order $\alpha+1$ and compare with another fractional…
We introduce a class of first-order methods for smooth constrained optimization that are based on an analogy to non-smooth dynamical systems. Two distinctive features of our approach are that (i) projections or optimizations over the entire…
The general conditions under which the quadratic, uniform and monotonic convergence in the quasilinearization method of solving nonlinear ordinary differential equations could be proved are formulated and elaborated. The generalization of…
The linearization of the classical Boussinesq system is solved explicitly in the case of nonzero boundary conditions on the half-line. The analysis relies on the unified transform method of Fokas and is performed in two different…
The first passage time (FPT) problem is studied for superstatistical models assuming that the mesoscopic system dynamics is described by a Fokker-Planck equation. We show that all moments of the random intensive parameter associated to the…
The first-order (FO) model checking problem asks, given an FO sentence $\phi$ and a graph $G$, whether $G$ is a model of $\phi$. This problem is known to be $\mathsf{AW[*]}$-hard when parameterized by the quantifier rank of the formula. A…
Constrained hamiltonian structure of noncommutative gauge theory for the gauge group U(1) is discussed. Constraints are shown to be first class, although, they do not give an Abelian algebra in terms of Poisson brackets. The related…
In this paper we give some prescriptions in order to remove the Wess Zumino fields of the BFFT formalism and, consequently, we derive a gauge invariant system written only in terms of the original second class phase space variables. Here,…
A careful reexamination of the quantization of systems with first- and second-class constraints from the point of view of coherent-state phase-space path integration reveals several significant distinctions from more conventional…
The status of the usual statement of the Fradkin-Vilkovisky theorem, claiming complete independence of the Batalin-Fradkin-Vilkovisky path integral on the gauge fixing "fermion" even within a nonperturbative context, is critically…
We study the first-passage time (FPT) problem for widespread recurrent processes in confined though large systems and present a comprehensive framework for characterizing the FPT distribution over many time scales. We find that the FPT…
In this paper we present a quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination procedure, but by case splitting we are able to reduce the…
Starting from an associated reparametrization-invariant action, the generalization of the BRST-BFV method for the case of nonstationary systems is constructed. The extension of the Batalin-Tyutin conversional approach is also considered in…