Related papers: First order Regge calculus
We describe the supersymmetrization of two formulations of free noncommutative planar particles -- in coordinate space with higher order Lagrangian [1] and in the framework of Faddeev and Jackiw [2,3], with first order action. In…
We construct a first order Lagrangian formalism for bimetric theories with an interaction which is a general function of metrics and their derivatives, including non-analytic functions. The first-order actions are fully equivalent to the…
The Collins-Williams Regge calculus models of FLRW space-times and Brewin's subdivided models are applied to closed vacuum $\Lambda$-FLRW universes. In each case, we embed the Regge Cauchy surfaces into 3-spheres in $\mathbf{E}^4$ and…
We study the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions of those systems are modeled by data words, and specifications are given as…
The scalar field theory with higher derivatives is considered in the first order formalism. The field equation of the forth order describes scalar particles possessing two mass states. The first order relativistic wave equation in the…
Use of certain non-commuting variables is considered in first-order differential equations. Superspace variables are discussed within the setting of first-order ordinary differential equations and n-ary algebras. Results on quadratic…
We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…
We report a new internal gauge symmetry of the n-dimensional Palatini action with cosmological term (n>3) that is the generalization of three-dimensional local translations. This symmetry is obtained through the direct application of the…
Mixed finite element methods solve a PDE using two or more variables. The theory of Discrete Exterior Calculus explains why the degrees of freedom associated to the different variables should be stored on both primal and dual domain meshes…
The first and second order form of gauge theories are classically equivalent; we consider the consequence of quantizing the first order form using the Faddeev-Popov approach. Both the Yang-Mills and the Einstein-Hilbert actions are…
We consider a rational system of first order difference equations in the plane with four parameters such that all fractions have a common denominator. We study, for the different values of the parameters, the global and local properties of…
In this article we discuss the convergence of first order operators on a thickened graph (a graph-like space) towards a similar operator on the underlying metric graph. On the graph-like space, the first order operator is of the form…
In this paper we suggest gauge invariant discretization of Poincare quantum gravity. We generalize Regge calculus to the case of Riemann-Cartan space. The basic element of the constructed discretization is piecewize linear Riemann-Cartan…
We generalize Ehrhart's idea of counting lattice points in dilated rational polytopes: Given a rational simplex, that is, an n-dimensional polytope with n+1 rational vertices, we use its description as the intersection of n+1 halfspaces,…
The functional integral measure in the 4D Regge calculus normalised w.r.t. the DeWitt supermetric on the space of metrics is considered. The Faddeev-Popov factor in the measure is shown according to the previous author's work on the…
We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig's interpolation property. As a…
This paper is concerned with equilibrium configurations of one-dimensional particle system with non-convex nearest-neighbour and next-to-nearest-neighbour interactions and its passage to the continuum. The goal is to derive compactness…
Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possibility degree…
A new formulation of boundary value problems in gradient elasticity is presented in this work. The main outcome is the construction of partial differential systems of second order, which are typically equivalent with the well known fourth…
Differential calculus on discrete sets is developed in the spirit of noncommutative geometry. Any differential algebra on a discrete set can be regarded as a `reduction' of the `universal differential algebra' and this allows a systematic…