Talks

Calculations in General Relativity inevitably involve tricky manipulations of tensor equations. In many cases, the tensor algebra involved is at best tedious and fraught with error, and at worst impossible. It is, however, ideally suited to implementation in a computer algebra system such as Mathematica. In this talk I will show how the xAct tensor algebra package can be used to make light work of difficult tensor calculations. I will illustrate its wide-reaching functionality using applications in my own research, with relevance to black hole perturbations, numerical relativity and quantum gravity.

Given a large landscape of vacua that statistically favors large values of the neutrino mass sum, $m_\nu$, I will present the probability distribution over $m_\nu$ obtained by weighting this prior by the amount of galaxies that are produced. Using Boltzmann codes to compute the smoothed density contrast on Mpc scales, we find that large dark matter halos form abundantly for $m_\nu \gtrsim 10$\,eV. However, in this regime structure forms late and is dominated by cluster scales, as in a top-down scenario. I will argue that this change of regime is catastrophic: baryonic gas will cool too slowly to form stars in an abundance comparable to our universe. Upon implementing this cooling boundary, the anthropic prediction for $m_\nu$ is consistent at better than $2\sigma$ with the entire range of values allowed by current experimental bounds, $58$\,meV $\leq m_\nu \lesssim 0.23$\,eV. A degenerate hierarchy is mildly preferred. Without a catastrophic boundary at or below $10$\,eV, the theoretical expectation would conflict strongly with the observed mass range. Thus the asserted cooling failure can be regarded as a prediction of the anthropic solution to the neutrino mass problem.

Surprisingly, several basic questions in classical and quantum gravity, which were resolved some 40-50 years ago for zero $\Lambda$, still remain open in the $\Lambda >0$ case. In particular, for $\Lambda >0$, we still do not have a satisfactory notion of gravitational radiation or Bondi 4-momentum in exact general relativity, nor a positive energy theorem. Similarly, the standard constructions of `in' and `out' Hilbert spaces that we routinely use (e.g. in the analysis of black hole evaporation) do not extend to the $\Lambda >0$ case. In this talk I will present some illustrative examples of these quandaries and introduce a systematic approach to resolve the open issues.