Related papers: First order Regge calculus
We study the ground state wave function for a universe which is topologically a lens space within the Regge calculus approach. By restricting the four dimensional simplicial complex to be a cone over the boundary lens space, described by a…
Reasoning semantically in first-order logic is notoriously a challenge. This paper surveys a selection of semantically-guided or model-based methods that aim at meeting aspects of this challenge. For first-order logic we touch upon…
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
We introduce variants of Regge finite element metrics with enhanced properties of the trace. In particular the trace operator is surjective to a finite element space of continuous functions. Multiplying these scalar functions by the…
We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The proposed framework is the first order extension of the logic of…
We introduce a new form of Lagrangian and propose a simple first-order algorithm for nonconvex optimization with nonlinear equality constraints. We show the algorithm generates bounded dual iterates, and establish the convergence to KKT…
A variational principle is suggested within Riemannnian geometry, in which an auxiliary metric and the Levi Civita connection are varied independently. The auxiliary metric plays the role of a Lagrange multiplier and introduces non-minimal…
We study the field equations of modified theories of gravity in which the lagrangian is a general function of the Ricci scalar and Ricci-squared terms in Palatini formalism. We show that the independent connection can be expressed as the…
Theory of Riemann Extensions of the spaces with constant affine connection for the studying of the properties of nonlinear the first order systems of differential equations is proposed. Quadratic planar system of equations and the Lorenz…
In this paper we work out the explicit form of the change of variables that reproduces an arbitrary change of gauge in a higher-order Lagrangian formalism.
A detailed program is proposed in the Lagrangian formalism to investigate the dynamical behavior of a theory with singular Lagrangian. This program goes on, at different levels, parallel to the Hamiltonian analysis. In particular, we…
We study more general variational problems on time scales. Previous results are generalized by proving necessary optimality conditions for (i) variational problems involving delta derivatives of more than the first order, and (ii) problems…
The Dirac constraint formalism is applied to the d(d>2) dimensional Einstein-Hilbert action when written in first order form, using the metric density and affine connection as independent fields. Field equations not involving time…
We assume that every element of a matrix has a small, individual error, and model it by an external number, which is the sum of a nonstandard real number and a neutrix, the latter being a convex (external) set having the group property. The…
In this review we consider first order gravity in four dimensions. In particular, we focus our attention in formulations where the fundamental variables are a tetrad $e_a^I$ and a SO(3,1) connection ${\omega_{aI}}^J$. We study the most…
We study two general approaches how to describe spin one particles, using vector and antisymmetric tensor fields within RChT. In this paper we focus on the question of an equivalence of both ways. The appearing problems lead us to the…
We present a method for solving the first-order field equations in a post-Newtonian (PN) expansion. Our calculations generalize work of Bini and Damour and subsequently Kavanagh et al., to consider eccentric orbits on a Schwarzschild…
A new description of free massless superfields of arbitrary superspin $Y$ ($Y>1/2$) is proposed. Following the first-order philosophy, we relax some of the properties (reality, gauge redundancy) of the unconstrained higher spin…
Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…
A model for quantum gravity in one (time) dimension is discussed, based on Regge's discrete formulation of gravity. The nature of exact continuous lattice diffeomorphisms and the implications for a regularized gravitational measure are…