Related papers: The Treatment of conformable systems with second c…
We study the satisfiability problem of symbolic finite automata and decompose it into the satisfiability problem of the theory of the input characters and the monadic second-order theory of the indices of accepted words. We use our…
The constrained Modified KP hierarchy is considered from the viewpoint of modification. It is shown that its second Poisson bracket, which has a rather complicated form, is associated to a vastly simpler bracket via Miura-type map. The…
A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…
In this paper we study the constraints imposed by conformal invariance on extended objects a.k.a defects in a conformal field theory. We identify a particularly nice class of defects that is closed under conformal transformations.…
Enforcing multiple constraints based on the concept of control barrier functions (CBFs) is a remaining challenge because each of the CBFs requires a condition on the control inputs to be satisfied which may easily lead to infeasibility…
We study the non-selfadjoint Dirac system on the line having an non-integrable regular singularity in an interior point with additional matching conditions at the singular point. Special fundamental systems of solutions are constructed with…
The reduction of nonholonomic systems is formulated in terms of Dirac reduction. An optimal reduction method for a class of nonholonomic systems is formulated. Several examples are studied in detail.
We consider a singularly perturbed reaction diffusion problem as a first order two-by-two system. Using piecewise discontinuous polynomials for the first component and $H_{div}$-conforming elements for the second component we provide a…
Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. The…
The second class constraints algebra of the abelian Chern-Simons theory is rigorously studied in terms of the Hamiltonian embedding in order to obtain the first class constraint system. The symplectic structure of fields due to the second…
I propound a non-linear generalization of the Poisson equation describing a "medium" in D dimensions with a "dielectric constant" proportional to the field strength to the power D-2. It is the only conformally invariant scalar theory that…
Quadratic Poisson brackets on a vector space equipped with a bilinear multiplication are studied. A notion of a bracket compatible with the multiplication is introduced and an effective criterion of such compatibility is given. Among…
For redundant second-class constraints the Dirac brackets cannot be defined and new brackets must be introduced. We prove here that the Jacobi identity for the new brackets must hold on the surface of the second-class constraints. In order…
In this work, we investigate a Lagrangian model describing a particle constrained to move along non-degenerate conic sections, parameterized by the orbital eccentricity \( e \). In the non-relativistic regime, we apply the Dirac--Bergmann…
The abelian Chern-Simons system is treated as a constrained system using the Hamilton-Jacobi approach. The equations of motion are obtained as total differential equations in many variables. It is shown that their simultaneous solutions…
Combinatorial problems stated as Constraint Satisfaction Problems (CSP) are examined. It is shown by example that any algorithm designed for the original CSP, and involving the AllDifferent constraint, has at least the same level of…
The idea of adaptive perturbation theory is to divide a Hamiltonian into a solvable part and a perturbation part. The solvable part contains the non-interacting sector and the diagonal elements of Fock space from the interacting terms. The…
This paper is concerned with necessary and sufficient second-order conditions for finite-dimensional and infinite-dimensional constrained optimization problems. Using a suitably defined directional curvature functional for the admissible…
In this work, we prove global existence of solutions for second order differential problems in a general framework. More precisely, we consider second order differential inclusions involving proximal normal cone to a set-valued map. This…
We present a pseudoclassical mechanics model which exhibits gauge symmetry and time-reparametrization invariance. As such, first- and second-class constraints restrict the phase space, and the Hamiltonian weakly vanishes. We show that the…