相关论文: The Treatment of conformable systems with second c…

The adiabatic connection formalism, usually based on the first-order perturbation theory, has been generalized to an arbitrary order. The generalization stems from the observation that the formalism can be derived from a properly arranged…

In the study of alternative or extended theories of gravity, Dirac's Hamiltonian constraint algorithm is invaluable for enumerating the propagating modes and gauge symmetries. For gravity, this canonical approach is frequently applied as a…

In the paper "Constraint Quantization of Open String in Background $B$ field and Noncommutative D-brane", it is claimed that the boundary conditions lead to an infinite set of secondary constraints and Dirac brackets result in a…

Generalized Dilaton Theories in two dimensions coupled to Dirac fermions are subjected to constraint analysis. Three first class secondary constraints are found, corresponding to one local Lorentz symmetry and two diffeomorphisms. Moreover,…

Central issues of the Dirac constraint formalism are discussed in relation to the algorithmic methods of commutative algebra based on the Groebner basis techniques. For a wide class of finite dimensional polynomial degenerate Lagrangian…

We establish the unique solvability of a coupling problem for entire functions which arises in inverse spectral theory for singular second order ordinary differential equations/two-dimensional first order systems and is also of relevance…

For a first-order theory $T$, the Constraint Satisfaction Problem of $T$ is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of $T$. In this article we develop sufficient…

In this paper we explore the idea of looking at the Dirac quantisation conditions as $\hbar$-dependent constraints on the tangent bundle to phase-space. Starting from the path-integral version of classical mechanics and using the natural…

Higher order conformal perturbation theory is studied for theories with and without boundaries. We identify systematically the universal quantities in the beta function equations, and we give explicit formulae for the universal coefficients…

In this paper a class of conformal field theories with nonabelian and discrete group of symmetry is investigated. These theories are realized in terms of free scalar fields starting from the simple $b-c$ systems and scalar fields on…

The problem of exactly differentiating a signal with bounded second derivative is considered. A class of differentiators is proposed, which converge to the derivative of such a signal within a fixed, i.e., a finite and uniformly bounded…

The constraint satisfaction problem (CSP) involves deciding, given a set of variables and a set of constraints on the variables, whether or not there is an assignment to the variables satisfying all of the constraints. One formulation of…

We consider optical systems where propagation of light can be described by a Dirac-like equation with $PT$-symmetric Hamiltonian. In order to construct exactly solvable configurations, we extend the confluent Crum-Darboux transformation for…

After substantial progress over the last 15 years, the "algebraic CSP-dichotomy conjecture" reduces to the following: every local constraint satisfaction problem (CSP) associated with a finite idempotent algebra is tractable if and only if…

We discuss the structure of 2D conformal field theories (CFT) at central charge c=0 describing critical disordered systems, polymers and percolation. We construct a novel extension of the c=0 Virasoro algebra, characterized by a number b…

Let $T$ be a (first order complete) dependent theory, ${\mathfrak{C}}$ a $\bar\kappa$-saturated model of $T$ and $G$ a definable subgroup which is abelian. Among subgroups of bounded index which are the union of $<\bar\kappa$ type definable…

A counting constraint satisfaction problem (#CSP) asks for the number of ways to satisfy a given list of constraints, drawn from a fixed constraint language \Gamma. We study how hard it is to evaluate this number approximately. There is an…

We present a generalization of Dirac constraint theory based on the theory of Poisson-Dirac submanifolds. The theory is formulated in a coordinate-free manner while simultaneously relaxing the invertibility condition as seen in standard…

Many natural decision problems can be formulated as constraint satisfaction problems for reducts $\mathbb{A}$ of finitely bounded homogeneous structures. This class of problems is a large generalisation of the class of CSPs over finite…

In this paper, we investigate the hybrid tractability of binary Quantified Constraint Satisfaction Problems (QCSPs). First, a basic tractable class of binary QCSPs is identified by using the broken-triangle property. In this class, the…