Related papers: Comparative Theory of Background Independence
We study how the problem of observables is fully resolved for background independent theories defined on finite graphs. We argue the correct analogue of coordinate independence is the invariance under changes of graph labels, a kind of…
We study Cayley configuration spaces of a class of 1 degree-of-freedom linkages (graphs with specified edge lengths), obtained by dropping an edge from a tree-decomposable graph. The class includes well-known mechanisms based on the…
We implement the method developed in [1] to construct the most general parametrised action for linear cosmological perturbations of bimetric theories of gravity. Specifically, we consider perturbations around a homogeneous and isotropic…
Assuming Temporal and Configurational Relationalism, GR as Geometrodynamic's DeWitt supermetric alongside local Lorentzian Relativity with its universal finite maximum propagation speed arises as one of very few options from Feeding…
Milner's bigraphs are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the pi-calculus and the Ambient calculus. This paper is only concerned with…
Dirac's theorem (1952) is a classical result of graph theory, stating that an $n$-vertex graph ($n \geq 3$) is Hamiltonian if every vertex has degree at least $n/2$. Both the value $n/2$ and the requirement for every vertex to have high…
We use holography to examine the response of interacting quantum fields to the appearance of closed timelike curves in a dynamically evolving background that initially does not contain them. For this purpose, we study a family of…
The problem of the gauge hierarchy is brought up in a hypercomplex scheme for a U(1) field theory; in such a scheme a compact gauge group is deformed through a \gamma-parameter that varies along a non-compact internal direction, transverse…
We present the Dirac Hamiltonian formalism for a pair of $1$-form fields with a topological-like potential coupled to first-order gravity in three-dimensional spacetime. By considering the complete phase space, we derive the full structure…
We consider intersection graphs of disks of radius $r$ in the hyperbolic plane. Unlike the Euclidean setting, these graph classes are different for different values of $r$, where very small $r$ corresponds to an almost-Euclidean setting and…
Lagrangian multiforms provide a variational framework for describing integrable hierarchies. This thesis presents two approaches for systematically constructing Lagrangian one-forms, which cover the case of finite-dimensional integrable…
One of the many conceptual difficulties in the development of quantum gravity is the role of a background geometry for the structure of quantum field theory. To some extent the problem can be solved by the principle of local covariance. The…
Applications of algebras in physics are related to the connection of measurable observables to relevant elements of the algebras, usually the generators. However, in the determination of the generators in Lie algebras there is place for…
(abridged)The achievements of the present work include: a) A clarification of the multiple definition given by Bergmann of the concept of {\it (Bergmann) observable. This clarification leads to the proposal of a {\it main conjecture}…
Bidimensionality is the most common technique to design subexponential-time parameterized algorithms on special classes of graphs, particularly planar graphs. The core engine behind it is a combinatorial lemma of Robertson, Seymour and…
Unfortunately, the Hamiltonian mechanics of degenerate Lagrangian systems is usually presented as a mere recipe of Dirac, with no explanation as to how it works. Then it comes to discussing conjectures of whether all primary constraints…
The "coquecigrue" problem for Leibniz algebras is that of finding an appropriate generalization of Lie's third theorem, that is, of finding a generalization of the notion of group such that Leibniz algebras are the corresponding tangent…
Diffeomorphism invariance is sometimes taken to be a criterion of background independence. This claim is commonly accompanied by a second, that the genuine physical magnitudes (the "observables") of background-independent theories and those…
In many instances of holographic correspondences between a d dimensional boundary theory and a d+1 dimensional bulk, a direct argument in the boundary theory implies that there must exist a simple and precise relation between the Euclidean…
We present a unified approach to constrained implicit Lagrangian and Hamiltonian systems based on the introduced concept of Dirac algebroid. The latter is a certain almost Dirac structure associated with the Courant algebroid on the dual…