Crossing bridges with strong Szegő limit theorem

We develop a new technique for computing a class of four-point correlation functions of heavy half-BPS operators in planar N = 4 SYM theory which admit factorization into a product of two octagon form factors with an arbitrary bridge length. We show that the octagon can be expressed as the Fredholm determinant of the integrable Bessel operator and demonstrate that this representation is very efficient in finding the octagons both at weak and strong coupling. At weak coupling, in the limit when the four half-BPS operators become null separated in a sequential manner, the octagon obeys the Toda lattice equations and can be found in a closed form. At strong coupling, we exploit the strong Szegő limit theorem to derive the leading asymptotic behavior of the octagon and, then, apply the method of differential equations to determine the remaining subleading terms of the strong coupling expansion to any order in the inverse coupling. To achieve this goal, we generalize results available in the literature for the asymptotic behavior of the determinant of the Bessel operator. As a byproduct of our analysis, we formulate a Szegő-Akhiezer-Kac formula for the determinant of the Bessel operator with a Fisher-Hartwig singularity and develop a systematic approach to account for subleading power suppressed contributions.