Canonical Formulation of Gravitational Teleparallelism in 2+1 Dimensions in Schwinger's Time Gauge

We consider the most general class of teleparallel gravitational {}{}theories quadratic in the torsion tensor, in three space-time dimensions, and carry out a detailed investigation of its Hamiltonian formulation in Schwinger's time gauge. This general class is given by a family of three-parameter theories. A consistent implementation of the Legendre transform reduces the original theory to a one-parameter family of theories. By calculating Poisson brackets we show explicitly that the constraints of the theory constitute a first-class set. Therefore the resulting theory is well defined with regard to time evolution. The structure of the Hamiltonian theory rules out the existence of the Newtonian limit.Comment: 17 pages, Latex file, no figures; a numerical coefficient has been corrected and a different result is achieve

Black Holes in 2+1 Teleparallel Theories of Gravity

We apply the Hamiltonian formulation of teleparallel theories of gravity in 2+1 dimensions to a circularly symmetric geometry. We find a family of one-parameter black hole solutions. The BTZ solution fixes the unique free parameter of the theory. The resulting field equations coincide with the teleparallel equivalent of Einstein's three-dimensional equations. We calculate the gravitational energy of the black holes by means of the simple expression that arises in the Hamiltonian formulation and conclude that the resulting value is identical to that calculated by means of the Brown-York method.Comment: 20 pages, Latex file, no figure

Heuristic Backtracking Algorithms for SAT

In recent years backtrack search SAT solvers have been the subject of dramatic improvements. These improvements allowed SAT solvers to successfully replace BDDs in many areas of formal verification, and also motivated the development of many new challenging problem instances, many of which too hard for the current generation of SAT solvers. As a result, further improvements to SAT technology are expected to have key consequences in formal verification. The objective of this paper is to propose heuristic approaches to the backtrack step of backtrack search SAT solvers, with the goal of increasing the ability of the SAT solver to search different parts of the search space. The proposed heuristics to the backtrack step are inspired by the heuristics proposed in recent years for the branching step of SAT solvers, namely VSIDS and some of its improvements. The preliminary experimental results are promising, and motivate the integration of heuristic backtracking in state-of-the-art SAT solvers. 1

Energy in an Expanding Universe in the Teleparallel Geometry

The main purpose of this paper is to explicitly verify the consistency of the energy-momentum and angular momentum tensor of the gravitational field established in the Hamiltonian structure of the Teleparallel Equivalent of General Relativity (TEGR). In order to reach these objectives, we obtained the total energy and angular momentum (matter plus gravitational field) of the closed universe of the Friedmann-Lemaitre-Robertson-Walker (FLRW). The result is compared with those obtained from the pseudotensors of Einstein and Landau-Lifshitz. We also applied the field equations (TEGR) in an expanding FLRW universe. Considering the stress energy-momentum tensor for a perfect fluid, we found a teleparallel equivalent of Friedmann equations of General Relativity (GR).Comment: 19 pages, no figures. Revised in view of Referee's comments. Version to appear in the Brazilian Journal of Physic