Sub-leading Structures in Superconformal Indices: Subdominant Saddles and Logarithmic Contributions

TL;DR

This work analyzes sub-leading structures in the superconformal index of ${\cal N}=4$ SYM with SU(${N}$) and generalizes to ${\cal N}=1$ toric SCFTs. By comparing a Cardy-like saddle-point analysis of an elliptic gamma-function matrix-model with a Bethe-Ansatz formulation, the authors show that the dominant saddle reproduces the BA result, while a universal logarithmic correction $\log N$ appears in both frameworks. A key finding is the emergence of a matrix-model description governed by SU(${N}$) Chern-Simons theory in the high-temperature/small-$\tau$ regime, with no sub-leading $\tau$-corrections beyond exponentially suppressed terms. The results establish a robust UV signature for asymptotically AdS$_5$ black holes and hint at a universal mechanism across a wide class of 4d SCFTs, with potential tests in IIB supergravity. Overall, the paper demonstrates concordance between two distinct approximation schemes and highlights a universal $\log N$ structure as a stringent check of holographic entropy counting.

Abstract

We systematically study various sub-leading structures in the superconformal index of ${\cal N}=4$ supersymmetric Yang-Mills theory with SU($N$) gauge group. We concentrate in the superconformal index description as a matrix model of elliptic gamma functions and in the Bethe-Ansatz presentation. Our saddle-point approximation goes beyond the Cardy-like limit and we uncover various saddles governed by a matrix model corresponding to SU($N$) Chern-Simons theory. The dominant saddle, however, leads to perfect agreement with the Bethe-Ansatz approach. We also determine the logarithmic correction to the superconformal index to be $\log N$, finding precise agreement between the saddle-point and Bethe-Ansatz approaches in their respective approximations. We generalize the two approaches to cover a large class of 4d ${\cal N}=1$ superconformal theories. We find that also in this case both approximations agree all the way down to a universal contribution of the form $\log N$. The universality of this last result constitutes a robust signature of this ultraviolet description of asymptotically AdS$_5$ black holes and could be tested by low-energy IIB supergravity.

Figures (9)

• Figure 1: This figure shows the two complex domains for the holonomies related through the map $z = e^{ 2 \pi i u}$. The $z$ plane is represented such that the unit circle over which the integration is originally performed is the boundary between the gray and white regions. The complex variable $u$ lives on a cylinder. The unit circle on the $z$ plane is mapped to the circle in the middle of the cylinder (both represented in blue) where Re$(u) \in [0,1]$ and $0 \sim 1$.
• Figure 2: The figure shows the pairs of contours added and subtracted in order to obtain the final form of integration contour and the integrand for the SCI using the BA approach. The final integration contour is simply $\mathcal{C}\bigcup \mathcal{C}^1$.
• Figure 3: Numerical leading saddle points (blue dots) discussed in Appendix \ref{['App:saddle:compare']} with $N=30$ and $\tau=\frac{ie^{\pi i/6}}{\pi}$. There must be $N=30$ distinct sets of holonomies in the above figure but here only 5 copies of them are shown for presentation. Orange crosses denote $\pm\tau+\frac{m}{N}~(m=2,8,14,20,26)$ and therefore it is straightforward to see that each set of holonomies collapses to $\frac{m}{N}$ as $|\tau|\to0$.
• Figure 4: In the left hand side, blue dots represent numerical values of the real part of the Jacobian contribution $\Re\log H(\hat{u};\Delta,\tau)$ and an orange line shows the first two leading terms read from (\ref{['eq:H']}), namely $N\log N-(N-1)\log|\tau|$. The figure in the right hand side shows numerical values of $\Re\log\text{det}(I_{N-1}+\tilde{H})$, obtained by subtracting an orange line from blue dots in the left hand side. It converges to a certain finite value and therefore we can conclude it is of order $\mathcal{O}(N^0)$.
• Figure 5: Orange (red) crosses are branch points and green (blue) lines are branch cuts of $h_+(x)$ and $h_-(x)$, respectively. Here we chose $\epsilon={1}/{10}$ for presentation.