14,839 research outputs found
The omega-inequality problem for concatenation hierarchies of star-free languages
The problem considered in this paper is whether an inequality of omega-terms
is valid in a given level of a concatenation hierarchy of star-free languages.
The main result shows that this problem is decidable for all (integer and half)
levels of the Straubing-Th\'erien hierarchy
Topological gravity localization on a delta-function like Brane
Besides the String Theory context, the quantum General Relativity can be
studied by the use of constrained topological field theories. In the celebrated
Plebanski formalism, the constraints connecting topological field theories and
gravity are imposed in space-times with trivial topology. In the braneworld
context there are two distinct regions of the space-time, namely, the bulk and
the braneworld volume. In this work we show how to construct topological
gravity in a scenario containing one extra dimension and a delta-function like
3-brane which naturally emerges from a spontaneously broken discrete symmetry.
Starting from a D=5 theory we obtain the action for General Relativity in the
Palatini form in the bulk as well as in the braneworld volume. This result is
important for future insights about quantum gravity in brane scenarios.Comment: 4 page
- …