A dynamically transversely trapping surface (DTTS) is a new concept of an extension of a photon sphere that appropriately represents a strong gravity region and has close analogy with a trapped surface. We study formation of a marginally DTTS in time-symmetric, conformally flat initial data with two black holes, with a spindle-shaped source, and with a ring-shaped source, and clarify that $\mathcal{C}\lesssim 6\pi GM$ describes the condition for the DTTS formation well, where $\mathcal{C}$ is the circumference and $M$ is the mass of the system. This indicates that an understanding analogous to the hoop conjecture for the horizon formation is possible. Exploring the ring system further, we find configurations where a marginally DTTS with the torus topology forms inside a marginally DTTS with the spherical topology, without being hidden by an apparent horizon. There also exist configurations where a marginally trapped surface with the torus topology forms inside a marginally trapped surface with the spherical topology, showing a further similarity between DTTSs and trapped surfaces.

We propose new concepts, a dynamically transversely trapping surface (DTTS) and a marginally DTTS, as indicators for a strong gravity region. A DTTS is defined as a two-dimensional closed surface on a spacelike hypersurface such that photons emitted from arbitrary points on it in transverse directions are acceleratedly contracted in time, and a marginally DTTS is reduced to the photon sphere in spherically symmetric cases. (Marginally) DTTSs have a close analogy with (marginally) trapped surfaces in many aspects. After preparing the method of solving for a marginally DTTS in the time-symmetric initial data and the momentarily stationary axisymmetric initial data, some examples of marginally DTTSs are numerically constructed for systems of two black holes in the Brill-Lindquist initial data and in the Majumdar-Papapetrou spacetimes. Furthermore, the area of a DTTS is proved to satisfy the Penrose-like inequality, $A_0\le 4\pi (3GM)^2$, under some assumptions. Differences and connections between a DTTS and the other two concepts proposed by us previously, a loosely trapped surface [arXiv:1701.00564] and a static/stationary transversely trapping surface [arXiv:1704.04637], are also discussed. A (marginally) DTTS provides us with a theoretical tool to significantly advance our understanding of strong gravity fields. Also, since DTTSs are located outside the event horizon, they could possibly be related with future observations of strong gravity regions in dynamical evolutions.

Time evolution of an optical image of a pressureless star under gravitational collapse is studied in the geometric optics approximation. The star surface is assumed to emit radiation obeying Lambert's cosine law but with an arbitrary spectral intensity in the comoving frame. We develop a formalism for predicting observable quantities by photon counting and by radiometry, in particular, spectral photon flux and spectral radiant flux. Then, this method is applied to the two cases: One is monochromatic radiation, and the other is blackbody radiation. The two kinds of spectral flux are calculated numerically for each case. It is reconfirmed that the redshift factor remains finite and the star becomes gradually invisible due to decay of the photon flux. We also develop an approximate method to present analytic formulas that describe the late time behavior. A possible connection of our study to observation of high-energy neutrinos is briefly discussed.

For asymptotically flat spacetimes, using the inverse mean curvature flow, we show that any compact $2$-surface, $S_0$, whose mean curvature and its derivative for outward direction are positive in spacelike hypersurface with non-negative Ricci scalar satisfies the inequality $A_0 \leq 4 \pi (3Gm)^2$, where $A_0$ is the area of $S_0$ and $m$ is the total mass. The upper bound is realized when $S_0$ is the photon sphere in a hypersurface isometric to $t=$const. slice of the Schwarzschild spacetime.

We report some new interesting features of the dynamics of a string axion field (i.e., a (pseudo-)scalar field with tiny mass with sine-Gordon-type self-interaction) around a rotating black hole in three respects. First, we revisit the calculation of the growth rate of superradiant instability, and show that in some cases, overtone modes have larger growth rates than the fundamental mode with the same angular quantum numbers when the black hole is rapidly rotating. Next, we study the dynamical evolution of the scalar field caused by the nonlinear self-interaction, taking attention to the dependence of the dynamical phenomena on the axion mass and the modes. The cases in which two superradiantly unstable modes are excited simultaneously are also studied. Finally, we report on our preliminary simulations for gravitational wave emission from the dynamical axion cloud in the Schwarzschild background approximation. Our result suggests that fairly strong gravitational wave burst is emitted during the bosenova, which could be detected by the ground-based detectors if it happens in Our Galaxy or nearby galaxies.

Motivated by possible existence of stringy axions with ultralight mass, we study the behavior of an axion field around a rapidly rotating black hole (BH) obeying the sine-Gordon equation by numerical simulations. Due to superradiant instability, the axion field extracts the rotational energy of the BH and the nonlinear self-interaction becomes important as the field grows larger. We present clear numerical evidences that the nonlinear effect leads to a collapse of the axion cloud and a subsequent explosive phenomena, which is analogous to the "bosenova" observed in experiments of Bose-Einstein condensate. The criterion for the onset of the bosenova collapse is given. We also discuss the reason why the bosenova happens by constructing an effective theory of a wavepacket model under the nonrelativistic approximation.

String theory/M-theory generally predicts that axionic fields with a broad mass spectrum extending below 10^{-10}eV are produced after compactification to four dimensions. These axions/fields provoke a rich variety of cosmophysical phenomena on different scales depending on their masses and provide us new windows to probe the ultimate theory. In this article, after overviewing this axiverse idea, I take up the black hole instability as the most fascinating one among such axionic phenomena and explain its physical mechanism and astrophysical predictions.

We present the plane-symmetric solitonlike solutions of magnetostatic equilibria by solving the nonlinear Grad-Shafranov (GS) equation numerically. The solutions have solitonlike and periodic structures in the $x$ and $y$ directions, respectively, and $z$ is the direction of plane symmetry. Although such solutions are unstable against the numerical iteration, we give the procedure to realize the sufficient convergence. Our result provides the definite answer for the existence of the solitonlike solutions that was questioned in recent years. The method developed in this paper will make it possible to study the axisymmetric solitonlike solutions of the nonlinear GS equation, which could model astrophysical jets with knotty structures.

It is expected that matter composed of a perfect fluid cannot be at rest outside of a black hole if the spacetime is asymptotically flat and static (non-rotating). However, there has not been a rigorous proof for this expectation without assuming spheical symmetry. In this paper, we provide a proof of non-existence of matter composed of a perfect fluid in static black hole spacetimes under certain conditions, which can be interpreted as a relation between the stellar mass and the black hole mass.

We study the holographic representation of the entanglement entropy, recently proposed by Ryu and Takayanagi, in a braneworld context. The holographic entanglement entropy of a de Sitter brane embedded in an anti-de Sitter (AdS) spacetime is evaluated using geometric quantities, and it is compared with two kinds of de Sitter entropy: a quarter of the area of the cosmological horizon on the brane and entropy calculated from the Euclidean path integral. We show that the three entropies coincide with each other in a certain limit. Remarkably, the entropy obtained from the Euclidean path integral is in precise agreement with the holographic entanglement entropy in all dimensions. We also comment on the case of a five-dimensional braneworld model with the Gauss-Bonnet term in the bulk.

We derive an effective theory on the orbifold branes of the Randall-Sundrum 1 (RS1) braneworld scenario in the presence of a bulk brane. We concentrate on the regime where the three branes are close and consider a scenario where the bulk brane collides with one of the orbifold branes. This theory allows us to understand the corrections to a low-energy approach due to the presence of higher velocity terms, coming from the Kaluza-Klein modes. We consider the evolution of gravitational waves on a cosmological background and find that, within the large velocity limit, the boundary branes recover a purely four-dimensional behavior.

We study the gravitational collapse in five-dimensional de Sitter (dS) spacetime and discuss the existence of the conformal boundaries at future timelike infinity from the perspective of the dS/CFT correspondence. We investigate the motion of a spherical dust shell and the black hole area bounds. The latter includes the analysis of the trapping horizon and the initial data with spindle-shaped matter distribution. In all above analyses we find the evidences that guarantee the existence of the conformal boundaries at future timelike infinity which are essential to apply the dS/CFT correspondence.