Related papers: A Local Resolution of the Problem of Time. VII. Co…
We introduce nine further local facets of the classical Problem of Time, and underlying Background Independence aspects, the previous two Articles having covered one further facet-and-aspect each for a total of eleven. I.e. 1) Constraint…
A local resolution of the Problem of Time has recently been given, alongside reformulation as a local theory of Background Independence. The classical part of this requires just Lie's Mathematics, much of which is basic: i) Lie derivatives…
In a major advance and simplification of this field, we show that A Local Resolution of the Problem of Time - also viewable as A Local Theory of Background Independence - can at the classical level be described solely by of Lie's…
As we have known comprehensively since the early 1990's works of Isham and Kucha\v{r}, The Problem of Time mostly concerns interferences between its many facets. Having introduced the local facets in Articles I to IV, we now show how…
Dirac algorithm allows to construct Hamiltonian systems for singular systems, and so contributing to its successful quantization. A drawback of this method is that the resulting quantized theory does not have manifest Lorentz invariance.…
We provide a simultaneous derivation of the Dirac bracket and of the equations of motion for second-class constrained systems when the constraints are time-dependent. The necessity of time-dependent gauge-fixing conditions is shown in the…
The effective approach to quantum dynamics allows a reformulation of the Dirac quantization procedure for constrained systems in terms of an infinite-dimensional constrained system of classical type. For semiclassical approximations, the…
The way of finding all the constraints in the Hamiltonian formulation of singular (in particular, gauge) theories is called the Dirac procedure. The constraints are naturally classified according to the correspondig stages of this…
When a Hamiltonian system is subject to constraints which depend explicitly on time, difficulties can arise in attempting to reduce the system to its physical phase space. Specifically, it is non-trivial to restrict the system in such a way…
We next combine Temporal and Configurational Relationalism's resolution for Field Theory, including in particular for GR. The current Article also provides the finite-and-field theory portmanteau notation, by which the rest of this series'…
The Dirac method of canonical quantization of theories with second class constraints has to be modified if the constraints depend on time explicitly. A solution of the problem was given by Gitman and Tyutin. In the present work we propose…
In this final piecemeal treatment of local Problem of Time facets, and underlying Background Independence aspects, we first reconsider the ten local facets and aspects considered so far at the quantum level. This is essential both to…
The jet bundle description of time-dependent mechanics is revisited. The constraint algorithm for singular Lagrangians is discussed and an exhaustive description of the constraint functions is given. By means of auxiliary connections we…
The Lie claw digraph controls Background Independence and thus the Problem of Time and indeed the Fundamental Nature of Physical Law. This has been established in the realms of Flat and Differential Geometry with varying amounts of extra…
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…
Time boundary terms usually added to action principles are systematically handled in the framework of Dirac's canonical analysis. The procedure begins with the introduction of the boundary term into the integral Hamiltonian action and then…
We study the theory of systems with constraints from the point of view of the formal theory of partial differential equations. For finite-dimensional systems we show that the Dirac algorithm completes the equations of motion to an…
We perform the Hamiltonian analysis for a nonprojectable Horava model whose potential is composed of R and R^2 terms. We show that Dirac's algorithm for the preservation of the constraints can be done in a closed way, hence the algebra of…
We study the complexity of constraint satisfaction problems involving global constraints, i.e., special-purpose constraints provided by a solver and represented implicitly by a parametrised algorithm. Such constraints are widely used;…
This paper focuses on the application of time domain decomposition to solve partial differential equations constrained optimization problems and controllability problems. After clarifying the link between these two types of problems, we…