We derive a long distance effective action for space-time coordinates from a IIB matrix model. It provides us an effective tool to study the structures of space-time. We prove the finiteness of the theory for finite $N$ to all orders of the perturbation theory. Space-time is shown to be inseparable and its dimensionality is dynamically determined. The IIB matrix model contains a mechanism to ensure the vanishing cosmological constant which does not rely on the manifest supersymmetry. We discuss possible mechanisms to obtain realistic dimensionality and gauge groups from the IIB matrix model.
The origin of our four-dimensional space-time has been pursued through the dynamical aspects of the IIB matrix model via the improved mean field approximation. Former works have been focused on the specific choice of configurations as ansatz which preserve SO(d) rotational symmetry. In this report, an extended ansatz is proposed and examined up to 3rd order of approximation which includes both SO(4) ansatz and SO(7) ansatz in their respective limits. From the solutions of self-consistency condition represented by the extrema of free energy of the system, it is found that a part of solutions found in SO(4) or SO(7) ansatz disappear in the extended ansatz. It implies that the extension of ansatz works as a device to distinguish the stable solutions from the unstable ones. It is also found that there is a non-trivial accumulation of extrema including the SO(4)-preserving solution, which may lead to the formation of plateau.
We have analyzed IIB matrix model based on the improved mean field approximation (IMFA) and have obtained a clue that the four-dimensional space-time appears as its most stable vacuum. This method is a systematic way to give an improved perturbation series and was first applied to IIB matrix model by Nishimura and Sugino. In our previous paper we reformed this method and proposed a criterion for convergence of the improved series, that is, the appearance of the ``plateau. In this paper, we perform higher order calculations, and find that our improved free energy tends to have a plateau, which shows that IMFA works well in IIB matrix model.
We review our proposal for a constructive definition of superstring, type IIB matrix model. The IIB matrix model is a manifestly covariant model for space-time and matter which possesses N=2 supersymmetry in ten dimensions. We refine our arguments to reproduce string perturbation theory based on the loop equations. We emphasize that the space-time is dynamically determined from the eigenvalue distributions of the matrices. We also explain how matter, gauge fields and gravitation appear as fluctuations around dynamically determined space-time.
For the purpose of analyzing non-perturbative dynamics of string theory, Nishimura and Sugino have applied an improved mean field approximation (IMFA) to IIB matrix model. We have extracted the essence of the IMFA and obtained a general scheme, an improved Taylor expansion, that can be applied to a wide class of series which is not necessarily convergent. This approximation scheme with the help of the 2PI free energy enables us to perform higher order calculations. We have shown that the value of the free energy is stable at higher orders, which supports the validity of the approximation. Moreover, the ratio between the extent of ``our space-time and that of the internal space is found to increase rapidly as we take the higher orders into account. Our results suggest that the four dimensional space-time emerges spontaneously in IIB matrix model.
The Lorentzian type IIB matrix model has been studied as a promising candidate for a nonperturbative formulation of superstring theory. In particular, the emergence of (3+1)D expanding space-time was observed by Monte Carlo studies of this model. It has been found recently, however, that the matrix configurations generated by the simulation is singular in that the submatrices representing the expanding 3D space have only two large eigenvalues associated with the Pauli matrices. This problem has been attributed to the approximation used to avoid the sign problem in simulating the model. Here we investigate the model using the complex Langevin method to overcome the sign problem instead of using the approximation. Our results indicate a clear departure from the Pauli-matrix structure, while the (3+1)D expanding behavior is kept intact.