Rigorous bounds on irrelevant operators in the 3d Ising model CFT

Abstract

We use the recently developed navigator method to obtain rigorous upper and lower bounds on new OPE data in the 3d Ising CFT. For example, assuming that there are only two ℤ2-even scalar operators ϵ and ϵ′ with a dimension below 6 we find a narrow allowed interval for ∆ϵ′, λσσϵ′ and λϵϵϵ′. With similar assumptions in the ℤ2-even spin-2 and the ℤ2-odd scalar sectors we are also able to constrain: the central charge cT; the OPE data ∆T′, λϵϵT′ and λσσT′ of the second spin-2 operator; and the OPE data ∆σ′ and λσϵσ′ of the second ℤ2-odd scalar. We compare the rigorous bounds we find with estimates that have been previously obtained using the extremal functional method (EFM) and find a good match. This both validates the EFM and shows the navigator-search method to be a feasible and more rigorous alternative for estimating a large part of the low-dimensional operator spectrum. We also investigate the effect of imposing sparseness conditions on all sectors at once. We find that the island does not greatly reduce in size under these assumptions. We efficiently find islands and determine their size in high-dimensional parameter spaces (up to 13 parameters). This shows that using the navigator method the numerical conformal bootstrap is no longer constrained to the exploration of small parameter spaces.