Related papers: Testing the Master Constraint Programme for Loop Q…
In this thesis special emphasis is put on the quantization of the spherically reduced Einstein-massless-Klein-Gordon model using a first order approach for geometric quantities, because phenomenologically it is probably the most relevant of…
We study approximation of embeddings between finite dimensional L_p spaces in the quantum model of computation. For the quantum query complexity of this problem matching (up to logarithmic factors) upper and lower bounds are obtained. The…
In this thesis we review some results on the generalization of the gauge/gravity duality to new cases by using T-duality and by including fundamental matter, finding applications to condensed matter physics. First, we construct new…
Quantum mechanics in Hilbert spaces of finite dimension $N$ is reviewed from the number theoretic point of view. For composite numbers $N$ possible quantum kinematics are classified on the basis of Mackey's Imprimitivity Theorem for finite…
In the investigation and resolution of the cosmological constant problem the inclusion of the dynamics of quantum gravity can be a crucial step. In this work we suggest that the quantum constraints in a canonical theory of gravity can…
We discuss a weak constraint qualification for conic linear programs and its applications for a few classes of cones. This constraint qualification is used to give a solution to a problem proposed by Shapiro and Z\v{a}linescu and show that…
In this paper, we study some bounds for nonconvex quadratically constrained quadratic programs. We propose two types of bounds for quadratically constrained quadratic programs, quadratic and cubic bounds. For quadratic bounds, we use affine…
The Hamiltonian analysis for the linearized $\lambda R$ gravity plus a Chern-Simons term is performed. The first-class and second-class constraints for arbitrary values of $\lambda$ are presented, and one physical degree of freedom is…
A conic program is the problem of optimizing a linear function over a closed convex cone intersected with an affine preimage of another cone. We analyse three constraint qualifications, namely a Closedness CQ, Slater CQ, and Boundedness CQ…
We provide a detailed comparison of the different approaches available for the quantization of a totally constrained system with a constraint algebra generating the non-compact $SL(2,\mathbb{R})$ group. In particular, we consider three…
A new framework for deriving equations of motion for constrained quantum systems is introduced, and a procedure for its implementation is outlined. In special cases the framework reduces to a quantum analogue of the Dirac theory of…
Proving program termination is typically done by finding a well-founded ranking function for the program states. Existing termination provers typically find ranking functions using either linear algebra or templates. As such they are often…
Euclidean gravity provides an interesting test system for an analysis of cosmological perturbations in an effective Hamiltonian constraint with holonomy modifications from loop quantum gravity. This paper presents a discussion of scalar…
In this paper we develop two axiomatic tests for the controllability of subsystem codes embedded in decoherence-free subspaces of open quantum systems. The tests expand on existing control theory by considering quantum subsystems where a…
This paper deals with the finite-time stabilization of a class of nonlinear infinite-dimensional systems. First, we consider a bounded matched perturbation in its linear form. It is shown that by using a set-valued function, both the…
A systematic Hamiltonian formulation of the Einstein-Cartan system, based on the Hilbert-Palatini action with the Barbero-Immirzi and cosmological constants, is performed using the traditional ADM decomposition and without fixing the time…
Multiparametric quantum deformations of $gl(2)$ are studied through a complete classification of $gl(2)$ Lie bialgebra structures. From them, the non-relativistic limit leading to harmonic oscillator Lie bialgebras is implemented by means…
Loop quantum gravity and cosmology are reviewed with an emphasis on evaluating the dynamics, rather than constructing it. The three crucial parts of such an analysis are (i) deriving effective equations, (ii) controlling the theory's…
Recent results in the construction of anomaly-free models of loop quantum gravity have shown obstacles when local physical degrees of freedom are present. Here, a set of no-go properties is derived in polarized Gowdy models, raising the…
In these lectures we report recent work on the exact quantization of dimensionally reduced gravity, i.e. 2d non-linear (G/H)-coset space sigma-models coupled to gravity and a dilaton. Using methods developed in the context of flat space…