A simple quantum test for smooth horizons

We develop a new test that provides a necessary condition for a quantum state to be smooth in the vicinity of a null surface: near-horizon modes that can be defined locally near any patch of the null surface must be correctly entangled with each other and with their counterparts across the surface. This test is considerably simpler to implement than a full computation of the renormalized stress-energy tensor. We apply this test to Reissner-Nordstrom black holes in asymptotically anti-de Sitter space and provide numerical evidence that the inner horizon of such black holes is singular in the Hartle-Hawking state. We then consider BTZ black holes, where we show that our criterion for smoothness is satisfied as one approaches the inner horizon from outside. This results from a remarkable conspiracy between the properties of mode-functions outside the outer horizon and between the inner and outer horizon. Moreover, we consider the extension of spacetime across the inner horizon of BTZ black holes and show that it is possible to define modes behind the inner horizon that are correctly entangled with modes in front of the inner horizon. Although this provides additional suggestions for the failure of strong cosmic censorship, we lay out several puzzles that must be resolved before concluding that the inner horizon will be traversable.