Related papers: Abelianization of First Class Constraints
We prove the following result: Let B be a smooth, irreducible, quasi-projective variety over the complex numbers and assume that B has a projective compactification \bar{B} such that \bar{B} - B is of codimension at least two in \bar{B}.…
The boundary conditions of a non-trivial string background are classified. To this end we need traces on various spaces of conformal blocks, for which generalizations of the Verlinde formula are presented.
This paper discusses a more general contractive condition for a class of extended cyclic self-mappings on the union of a finite number of subsets of a metric space which are allowed to have a finite number of successive images in the same…
The problem of algebraic dependence of solutions to (non-linear) first order autonomous equations over an algebraically closed field of characteristic zero is given a `complete' answer, obtained independently of model theoretic results on…
Symmetries occur naturally in CSP or SAT problems and are not very difficult to discover, but using them to prune the search space tends to be very challenging. Indeed, this usually requires finding specific elements in a group of…
The causal structure of Einstein's evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution…
We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional, algebraic, and semi-algebraic proof systems, the classical constructions of…
The collective coordinates expansion of the Skyrme soliton particle model gives rise to the second class constraints. We use the non-abelian BFFT formalism to convert this system into the one with only first class constraints. Choosing two…
The Dirac-Bergmann algorithm for the Hamiltonian analysis of constrained systems is a nice and powerful tool, widely used for quantization and non-perturbative counting of degrees of freedom. However, certain aspects of its application to…
Geometric modeling by constraints, whose applications are of interest to communities from various fields such as mechanical engineering, computer aided design, symbolic computation or molecular chemistry, is now integrated into standard…
The constraints proposed recently by Bershadsky to produce $W^l_n$ algebras are a mixture of first and second class constraints and are degenerate. We show that they admit a first-class subsystem from which they can be recovered by…
Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…
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…
Abstract algebra provides a large hierarchy of properties that a collection of objects can satisfy, such as forming an abelian group or a semiring. These classifications can arranged into a broad and typically acyclic directed graph. This…
We propose a single-step non-generational conjecture of all first class constraints,(involving only variables compatible with canonical Poisson brackets), for a realistic gauge singular field theory. We verify our proposal for the free…
Abelian Cayley digraphs can be constructed by using a generalization to $Z^n$ of the concept of congruence in $Z$. Here we use this approach to present a family of such digraphs, which, for every fixed value of the degree, have…
The general problem of obtaining reliable results from gauge-fixing and projection is discussed. It is shown that the usual form of the maximal abelian gauge gives poor results for the string tension in SU(3) lattice gauge theory. A…
We relativize the notion of a compact object in an abelian category with respect to a fixed subclass of objects. We show that the standard closure properties persist to hold in this case. Furthermore, we describe categorical and…
By arithmeticity and superrigidity, a commensurability class of lattices in a higher rank Lie group is defined by a unique algebraic group over a unique number subfield of $\mathbb{R}$ or $\mathbb{C}$. We prove an adelic version of…
We prove some results concerning Alcuin number of graphs. First, we classify graphs which have unique minimum vertex cover. Then we present two necessary conditions for a graph to be of class two and show why one of them (condition on…