Related papers: On Abelianization of First Class Constraints
We present a framework for constructing a first-order hyperbolic system whose solution approximates that of a desired higher-order evolution equation. Constructions of this kind have received increasing interest in recent years, and are…
We implement the Hamiltonian treatment of a nonAbelian noncommutative gauge theory, considering with some detail the algebraic structure of the noncommutative symmetry group. The first class constraints and Hamiltonian are obtained and…
Let $k$ be a differential field of characteristic zero with an algebraically closed field of constants. In this article, we provide a classification of first order differential equations over $k$ and study the algebraic dependence of…
This paper mainly investigates the analytic solutions for the approximation of $p$-Laplacian problem. Through an approximation mechanism, we convert the nonlinear partial differential equation with Dirichlet boundary into a sequence of…
This paper is an attempt to remedy the problem of slow convergence for first-order numerical algorithms by proposing an adaptive conditioning heuristic. First, we propose a parallelizable numerical algorithm that is capable of solving…
This work is dedicated to the quantization of the light-front Yukawa model in D=1+3 dimensions with higher order derivatives of the scalar field. The problem of the computing Dirac brackets and the (anti-) commutator algebra of interacting…
We use the implicitization procedure to generate polynomial equality constraints on the set of distributions induced by local interventions on variables governed by a causal Bayesian network with hidden variables. We show how we may reduce…
Results of research of possibility of transformation of a difference equation into a system of the first-order difference equation are presented. In contrast to the method used previously, an unknown grid function is split into two new…
A canonical transformation is performed on the phase space of a number of homogeneous cosmologies to simplify the form of the scalar (or, Hamiltonian) constraint. Using the new canonical coordinates, it is then easy to obtain explicit…
In this paper, the compact linearization approach originally proposed for binary quadratic programs with assignment constraints is generalized to such programs with arbitrary linear equations and inequalities that have positive coefficients…
We present an algorithm which allows to solve analytically linear systems of differential equations which factorize to first order. The solution is given in terms of iterated integrals over an alphabet where its structure is implied by the…
The main difficulty in solving the discrete constrained problem is its poor and even ill condition. In this paper, we transform the discrete constrained problems on de Rham complex to Laplace-like problems. This transformation not only make…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
This work is concerned with the numerical solution of large-scale symmetric positive definite matrix equations of the form $A_1XB_1^\top + A_2XB_2^\top + \dots + A_\ell X B_\ell^\top = F$, as they arise from discretized partial differential…
Following the symplectic approach we show how to embed the Abelian Proca model into a first-class system by extending the configuration space to include an additional pair of scalar fields, and compare it with the improved Dirac scheme. We…
The purpose of this work is to study an optimal control problem for a semilinear elliptic partial differential equation with a linear combination of Dirac measures as a forcing term; the control variable corresponds to the amplitude of such…
Given any elliptic system with $t$-independent coefficients in the upper-half space, we obtain representation and trace for the conormal gradient of solutions in the natural classes for the boundary value problems of Dirichlet and Neumann…
This paper addresses an investigation on a factorization method for difference equations. It is proved that some classes of second order linear difference operators, acting in Hilbert spaces, can be factorized using a pair of mutually…
First-order probabilistic models combine representational power of first-order logic with graphical models. There is an ongoing effort to design lifted inference algorithms for first-order probabilistic models. We analyze lifted inference…
From the point of view of canonical quantum gravity, it has become imperative to find a framework for quantization which provides a {\em general} prescription to find the physical inner product, and is flexible enough to accommodate…