Related papers: A Uniqueness Theorem for Constraint Quantization

We establish the regularity theory for certain critical elliptic systems with an anti-symmetric structure under inhomogeneous Neumann and Dirichlet boundary constraints. As applications, we prove full regularity and smooth estimates at the…

A new, configuration-space picture of a formalism of group quantization, the GAQ formalism, is presented in the context of a previous, algebraic generalization. This presentation serves to make a comprehensive discussion in which other…

A finite difference scheme for the numerical treatment of the (3+1)D Dirac equation is presented. Its staggered-grid intertwined discretization treats space and time coordinates on equal footing, thereby avoiding the notorious fermion…

We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also happens to be idempotent. All of our proofs have been…

We start from the Barnes-Coleman slave-particle description, where the Hubbard operators $X$ are decomposed into a product of fermionic ($f_{\alpha}$) and bosonic ($b$) operators. The quantum mechanical constraint $b^{\dagger} b +…

For a given abelian group G, we classify the isomorphism classes of G-gradings on the simple restricted Lie algebras of types W(m;1) and S(m;1) (m>=2), in terms of numerical and group-theoretical invariants. Our main tool is automorphism…

Uniqueness of solution is proved for any ptychographic scheme with a random masks under a minimum overlap condition and local geometric convergence analysis is given for the alternating projection (AP) and Douglas-Rachford (DR) algorithms.…

In this paper we study finite groups which have Cayley isomorphism property with respect to Cayley maps, CIM-groups for a brief. We show that the structure of the CIM-groups is very restricted. It is described in Theorem~\ref{111015a} where…

The usual treatment of a (first order) classical field theory such as electromagnetism has a little drawback: It has a primary constraint submanifold that arise from the fact that the dynamics is governed by the antisymmetric part of the…

In this paper, we propose a novel algebraic and geometric description for the dissipative dynamics. Our formulation bears some similarity to the Poisson structure for non-dissipative systems. We develop a canonical description for…

Relevant physical models are described by singular Lagrangians, so that their Hamiltonian description is based on the Dirac theory of constraints. The qualitative aspects of this theory are now understood, in particular the role of the…

We define the relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs. We prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem for relative Cuntz-Krieger algebras.

We show, by introducing purely auxiliary gluinos and scalars, that the quantum path integral for a class of 3D interacting non-supersymmetric gauge theories localises. The theories in this class all admit a `Manin gauge theory' formulation,…

A new geometric procedure to construct symplectic methods for constrained mechanical systems is developed in this paper. The definition of a map coming from the notion of retraction maps allows to adapt the continuous problem to the…

We prove a version of the Chevalley Restriction Theorem for the action of a real reductive group G on a topological space X which locally embeds into a holomorphic representation. Assuming that there exists an appropriate quotient X//G for…

`Gluing' is a technique of constructing solutions to non-linear (elliptic) partial differential equations such as Yang--Mills equations, minimal surface equations and Einstein equations. Calibrated submanifolds are a certain class of…

In order to test the canonical quantization programme for general relativity we introduce a reduced model for a real sector of complexified Ashtekar gravity which captures important properties of the full theory. While it does not…

We review some aspects of the use of a technique known as group averaging, which provides a tool for the study of constrained systems. We focus our attention on the case where the gauge group is non-compact, and a `renormalized' group…

Counting logics with a bounded number of variables form one of the central concepts in descriptive complexity theory. Although they restrict the number of variables that a formula can contain, the variables can be nested within scopes of…

Dirac operators and Dirac cohomology for Lie superalgebras of Riemannian type, introduced by Huang and Pand\v{z}i\'{c}, provide an effective tool for the study of unitarizable supermodules. In this article, we study these objects for Lie…