Cops and Robbers is EXPTIME-complete

We investigate the computational complexity of deciding whether k cops can capture a robber on a graph G. In 1995, Goldstein and Reingold conjectured that the problem is EXPTIME-complete when both G and k are part of the input; we prove this conjecture.Comment: v2: updated figures and slightly clarified some minor point

To catch a falling robber

We consider a Cops-and-Robber game played on the subsets of an $n$-set. The robber starts at the full set; the cops start at the empty set. On each turn, the robber moves down one level by discarding an element, and each cop moves up one level by gaining an element. The question is how many cops are needed to ensure catching the robber when the robber reaches the middle level. Aaron Hill posed the problem and provided a lower bound of $2^{n/2}$ for even $n$ and $\binom{n}{\lceil n/2 \rceil}2^{-\lfloor n/2 \rfloor}$ for odd $n$. We prove an upper bound (for all $n$) that is within a factor of $O(\ln n)$ times this lower bound.Comment: Minor revision

Static axisymmetric spacetimes with non-generic world-line SUSY

The conditions for the existence of Killing-Yano tensors, which are closely related to the appearance of non-generic world-line SUSY, are presented for static axisymmetric spacetimes. Imposing the vacuum Einstein equation, the set of solutions admitting Killing-Yano tensors is considered. In particular, it is shown that static, axisymmetric and asymptotically flat vacuum solutions admitting Killing-Yano tensors are only the Schwarzschild solution.Comment: 10 pages (RevTeX), TIT/HEP-253/COSMO-4

Uniformly accelerating black holes in a de Sitter universe

A class of exact solutions of Einstein's equations is analysed which describes uniformly accelerating charged black holes in an asymptotically de Sitter universe. This is a generalisation of the C-metric which includes a cosmological constant. The physical interpretation of the solutions is facilitated by the introduction of a new coordinate system for de Sitter space which is adapted to accelerating observers in this background. The solutions considered reduce to this form of the de Sitter metric when the mass and charge of the black holes vanish.Comment: 6 pages REVTeX, 3 figures, to appear in Phys. Rev. D. Figure 2 correcte

Behaviour of spin-1/2 particle around a charged black hole

Dirac equation is separable in curved space-time and its solution was found for both spherically and axially symmetric geometry. But most of the works were done without considering the charge of the black hole. Here we consider the spherically symmetric charged black hole background namely Reissner-Nordstrom black hole. Due to presence of the charge of black-hole charge-charge interaction will be important for the cases of incoming charged particle (e.g. electron, proton etc.). Therefore both gravitational and electromagnetic gauge fields should be introduced. Naturally behaviour of the particle will be changed from that in Schwarzschild geometry. We compare both the solutions. In the case of Reissner-Nordstrom black hole there is a possibility of super-radiance unlike Schwarzschild case. We also check this branch of the solution.Comment: 8 Latex pages and 4 Figures; RevTex.style; Accepted for Publication in Classical and Quantum Gravit

Monodromy-data parameterization of spaces of local solutions of integrable reductions of Einstein's field equations

For the fields depending on two of the four space-time coordinates only, the spaces of local solutions of various integrable reductions of Einstein's field equations are shown to be the subspaces of the spaces of local solutions of the ``null-curvature'' equations constricted by a requirement of a universal (i.e. solution independent) structures of the canonical Jordan forms of the unknown matrix variables. These spaces of solutions of the ``null-curvature'' equations can be parametrized by a finite sets of free functional parameters -- arbitrary holomorphic (in some local domains) functions of the spectral parameter which can be interpreted as the monodromy data on the spectral plane of the fundamental solutions of associated linear systems. Direct and inverse problems of such mapping (``monodromy transform''), i.e. the problem of finding of the monodromy data for any local solution of the ``null-curvature'' equations with given canonical forms, as well as the existence and uniqueness of such solution for arbitrarily chosen monodromy data are shown to be solvable unambiguously. The linear singular integral equations solving the inverse problems and the explicit forms of the monodromy data corresponding to the spaces of solutions of the symmetry reduced Einstein's field equations are derived.Comment: LaTeX, 33 pages, 1 figure. Typos, language and reference correction

Geroch--Kinnersley--Chitre group for Dilaton--Axion Gravity

Kinnersley--type representation is constructed for the four--dimensional Einstein--Maxwell--dilaton--axion system restricted to space--times possessing two non--null commuting Killing symmetries. New representation essentially uses the matrix--valued $SL(2,R)$ formulation and effectively reduces the construction of the Geroch group to the corresponding problem for the vacuum Einstein equations. An infinite hierarchy of potentials is introduced in terms of $2\times 2$ real symmetric matrices generalizing the scalar hierarchy of Kinnersley--Chitre known for the vacuum Einstein equations.Comment: Published in ``Quantum Field Theory under the Influence of External Conditions'', M. Bordag (Ed.) (Proc. of the International Workshop, Leipzig, Germany, 18--22 September 1995), B.G. Teubner Verlagsgessellschaft, Stuttgart--Leipzig, 1996, pp. 228-23

Twisted Self-Duality of Dimensionally Reduced Gravity and Vertex Operators

The Geroch group, isomorphic to the SL(2,R) affine Kac-Moody group, is an infinite dimensional solution generating group of Einstein's equations with two surface orthogonal commuting Killing vectors. We introduce another solution generating group for these equations, the dressing group, and discuss its connection with the Geroch group. We show that it acts transitively on a dense subset of moduli space. We use a new Lax pair expressing a twisted self-duality of this system and we study the dressing problem associated to it. We also describe how to use vertex operators to solve the reduced Einstein's equations. In particular this allows to find solutions by purely algebraic computations.Comment: 33 pages, LaTeX, Bonne Ann\'e