相关论文: BFFT quantization with nonlinear constraints
In this work, a method for solving the constraints of general relativity is presented, where first all geometrical objects are written in terms of a set of orthonormal triads and a flat Weitzenbock connection, which depends on the triads…
The suggestion of writing, for some problems, nonlinear state equations not as dx/dt = F(x,u,t), but as dx/dt = [A(t,x)]x + [B(t,x)]u(t), which is more "constructive", is considered supported by arguments related to: the axiomatization of…
Recent work has unveiled a theory for reasoning about the decisions made by binary classifiers: a classifier describes a Boolean function, and the reasons behind an instance being classified as positive are the prime-implicants of the…
The coordinate-free formulation of canonical quantization, achieved by a flat-space Brownian motion regularization of phase-space path integrals, is extended to a special class of closed first-class constrained systems that is broad enough…
We observe that a system of irreducible, fiber-linear, first class constraints on T*M is equivalent to the definition of a foliation Lie algebroid over M. The BFV formulation of the constrained system is given by the Hamiltonian lift of the…
If the $n-th$ order differential equation is not exact, under certain conditions, an integrating factor exists which transforms the differential equation into an exact one. Hence, its order can be reduced to the lower order. In this paper,…
Bayesian Knowledge Tracing (BKT) is a probabilistic model of a learner's state of mastery corresponding to a knowledge component. It considers the learner's state of mastery as a "hidden" or latent binary variable and updates this state…
In a classical Hamiltonian theory with second class constraints the phase space functions on the constraint surface are observables. We give general formulas for extended observables, which are expressions representing the observables in…
The ``classical BRST construction'' as developed by Batalin-Fradkin-Vilkovisky is a homological construction for the reduction of the Poisson algebra $P = C^\infty (W)$ of smooth functions on a Poisson manifold $W$ by the ideal $I$ of…
The relationship is established between the Fedosov deformation quantization of a general symplectic manifold and the BFV-BRST quantization of constrained dynamical systems. The original symplectic manifold $\mathcal M$ is presented as a…
For the case of nonlinear second-order differential equations with a constant coefficient of the first derivative term and polynomial nonlinearities, the factorization conditions of Rosu and Cornejo-Perez are approached in two ways: (i) by…
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized model-checking problems for various fragments of first-order…
We quantize the Friedberg-Lee-Pang-Ren (FLPR) model within the framework of Batalin-Fradkin-Vilkovisky (BFV) formalism. We construct the nilpotent Becchi-Rouet-Stora-Tyutin (BRST) charges using constraints and the fermionic gauge-fixing…
In many nonlinear field theories, relevant solutions may be found by reducing the order of the original Euler-Lagrange equations, e.g., to first order equations (Bogomolnyi equations, self-duality equations, etc.). Here we generalise,…
We show that the harmonic Becchi-Rouet-Stora-Tyutin method of quantizing bosonic systems with second-class constraints or first-class holomorphic constraints extends to systems having both bosonic and fermionic second-class or first-class…
We propose a modified Balitskii-Fadin-Kuraev-Lipatov equation from the viewpoint of the resummation technique, which satisfies the unitarity bound. The idea is to relax the strong rapidity ordering and to restrict phase space for real gluon…
We consider optimization problems with manifold-valued constraints. These generalize classical equality and inequality constraints to a setting in which both the domain and the codomain of the constraint mapping are smooth manifolds. We…
We perform a canonical analysis of the bimetric theory in the metric formulation, computing the constraints and their algebra explicitly. In particular, we compute a secondary constraint, that has been argued to exist earlier, and show that…
We initiate the study of a class of noncommutative domains of n-tuples of bounded linear operators on a Hilbert space, which is generated by certain positivity conditions on polynomials in n noncommutative indeterminates. We obtain Fatou…
We reconsider the $CP^{1}$ model with the Hopf term by using the Batalin-Fradkin-Tyutin (BFT) scheme, which is an improved version of the Dirac quantization method. We also perform a semi-classical quantization of the topological charge Q…