The project had four main outcomes.
1. We have proved a singularity theorem for the classical Einstein-Klein-Gordon theory in which the SEC can be violated, thus preventing the use of Hawking's original theorem. We first derived lower bounds on local averages of the effective energy density (EED) for solutions to the Klein–Gordon equation, which were then used to prove a singularity theorem. This shows that all solutions of this theory with sufficient initial contraction at a compact Cauchy surface will be future timelike geodesically incomplete. The required initial contraction was calculated for cosmological applications. (Publication [1].)
2. We have derived a mathematically rigorous quantum strong energy inequality (QSEI) for nonminimally coupled scalar fields valid in general spacetimes. As had been anticipated, these QSEIs depend on the state of interest. The state-dependence of these bounds in Minkowski spacetime for thermal (KMS) states was analyzed, and it was shown that the lower bounds grow more slowly in magnitude than the EED itself as temperature increases. The lower bounds are therefore of lower energetic order than the EED, and qualify as nontrivial state-dependent QEIs. (Publication [2].)
3. We have developed a new method of proving singularity theorems with weakened energy conditions that avoids the Raychaudhuri equation but instead makes use of index form methods. These results improve over existing methods and can be applied to hypotheses inspired by QEIs. In that case, quantitative estimates of the initial conditions required for our singularity theorems to apply were made. (Reference [3]; currently under peer-review.)
4. Finally, we have made progress towards the first derivation of a semiclassical singularity theorem, combining the methods of part 3 with the QSEI bound of part 2. This joint work of the ER and the supervisor is expected to appear as a pre-print in the near future.
A short summary of parts 1, 2 and 4 has been produced as a conference proceedings article [4] for the Proceedings of the 15th Marcel Grossman meeting.
References:
[1] PJ Brown, CJ Fewster and E-A Kontou, A singularity theorem for Einstein-Klein-Gordon theory. General Relativity and Gravitation 50 (2018) 121 (24pp). DOI: 10.1007/s10714-018-2446-5. arXiv:1803.11094
[2] CJ Fewster and E-A Kontou, Quantum strong energy inequalities. Phys. Rev. D 99 (2019) 045001 (17pp). DOI: 10.1103/PhysRevD.99.045001 arXiv:1809.05047
[3] CJ Fewster and E-A Kontou, A new derivation of singularity theorems with weakened energy hypotheses (27pp). arXiv:1907.13604
[4] PJ Brown, CJ Fewster and E-A Kontou, Classical and quantum strong energy inequalities and the Hawking singularity theorem (6pp). arXiv:1904.00419