The exact g-function of a two-dimensional integrable quantum field theory - the boundary contribution to the free energy, or equivalently the normalized overlap between an integrable boundary state and the finite-volume ground state - is known in closed form as a ratio of Fredholm determinants. Caetano and Komatsu (JHEP 09 (2020) 180) showed that in the sinh-Gordon model at the self-dual point these determinants satisfy functional equations that can be inverted, by the Tracy-Widom method, into nonlinear integral equations of thermodynamic-Bethe-ansatz type (the 'Tracy-Widom TBA') that are far more efficient numerically, and they asked whether this reformulation extends to the excited-state g-functions - the overlaps of the boundary state with excited multiparticle states, known only as generalized Fredholm determinants whose kernels contain both integrals and discrete sums - for instance through an analytic continuation of the new equations analogous to the Dorey-Tateo continuation of the standard TBA. This problem asks for that construction, together with its deformation/contour prescription and validation against the known determinant expressions. The question is open: excited-state g-functions are known only as generalized Fredholm determinant expressions, and no excited-state Tracy-Widom TBA is known.

Background

The gg-function measures the degrees of freedom carried by a boundary of a two-dimensional quantum field theory. It was introduced by Affleck and Ludwig as a universal boundary entropy in critical systems - a noninteger "ground-state degeneracy" of a boundary impurity - and it decreases monotonically along boundary renormalization-group flows (the g-theorem). In a massive integrable theory it is defined on a cylinder of circumference LL whose two ends are closed by the same integrable boundary state ∣B⟩|B\rangle: for a long cylinder of length RR the partition function behaves as Z∼e−REΩ(L)∣g∣2Z\sim e^{-RE_\Omega(L)}|g|^2, where EΩE_\Omega is the finite-volume ground-state energy, so that g=⟨B∣Ω⟩/⟨Ω∣Ω⟩g=\langle B|\Omega\rangle/\sqrt{\langle\Omega|\Omega\rangle} for the ground state ∣Ω⟩|\Omega\rangle. An integrable boundary is characterized by a reflection factor R(θ)R(\theta), the amplitude with which the single particle of rapidity θ\theta (the standard relativistic parametrization E=mcosh⁡θE=m\cosh\theta, p=msinh⁡θp=m\sinh\theta) reflects off the boundary; the corresponding boundary state is annihilated by all conserved charges odd under parity, which implies that only parity-symmetric bulk states have nonzero overlap with it.

For a diagonal-scattering theory (one particle species, factorized scattering described by a scalar function SS), the exact ground-state gg-function was conjectured by LeClair, Mussardo, Saleur and Skorik and proved by Dorey, Fioravanti, Rim and Tateo and by Pozsgay: it is an exponential integral term involving the reflection phase Θ\Theta plus one half of the logarithm of a ratio of Fredholm determinants,

log⁡g=∫0∞du2π Θ(u) log⁡ ⁣(1+e−ε(u))+12log⁡Det(1−G^)(Det(1−G^+))2 ,\log g=\int_0^\infty\frac{du}{2\pi}\,\Theta(u)\,\log\!\bigl(1+e^{-\varepsilon(u)}\bigr)+\frac12\log\frac{\mathrm{Det}(1-\hat G)}{\bigl(\mathrm{Det}(1-\hat G_+)\bigr)^2}\,,

where a Fredholm determinant Det(1−K^)\mathrm{Det}(1-\hat K) is the determinant of the identity minus an integral operator K^\hat K; the operators G^\hat G and G^±\hat G_\pm have kernels built from K±(u,v)=1i(∂ulog⁡S(u,v)±∂ulog⁡S(u,−v))K_\pm(u,v)=\frac{1}{i}\bigl(\partial_u\log S(u,v)\pm\partial_u\log S(u,-v)\bigr) and the factor (1+eε(v))−1(1+e^{\varepsilon(v)})^{-1} (conventions differ slightly between authors); and ε(u)\varepsilon(u) is the pseudo-energy solving the standard thermodynamic Bethe ansatz (TBA) equation of Zamolodchikov - the nonlinear integral equation for the finite-volume ground state. The two kernels whose Fredholm determinants form this ratio are denoted KsK_s (the kernel of the unsubscripted operator G^\hat G, built from the symmetric combination K++K−K_+ + K_-) and K+K_+ (the kernel of G^+\hat G_+). Kostov, Serban and Vu later rederived this formula from a matrix-tree graph expansion of the boundary partition function. Although exact, this expression is numerically expensive because of the determinants.

Two classic results define the open problem. First, in the standard TBA, excited-state energies are obtained by analytic continuation of the ground-state equations (Dorey and Tateo): singularities u~k\tilde u_k at zeros of 1+Y(u~k)1+Y(\tilde u_k), with Y=e−εY=e^{-\varepsilon}, cross the integration contour and add discrete source terms, thereby selecting a specific excited state. Second, for Fredholm determinants of integrable kernels it was observed by Zamolodchikov and proved by Tracy and Widom that the determinants, as functions of a spectral parameter, satisfy functional equations that can be inverted by Fourier transformation inside an analyticity strip into TBA-type nonlinear integral equations; this "Tracy-Widom TBA" was exploited for spectral determinants of quantized mirror curves (objects encoding topological-string partition functions) by Okuyama and Zakany. Caetano and Komatsu applied this machinery to the gg-function of the sinh-Gordon model (a single massive boson with S(θ)=sinh⁡θ−isin⁡πpsinh⁡θ+isin⁡πpS(\theta)=\frac{\sinh\theta-i\sin\pi p}{\sinh\theta+i\sin\pi p}, p=b2/(1+b2)p=b^2/(1+b^2)) at the self-dual point b=1b=1: they derived functional equations for the Fredholm determinants of the kernels KsK_s and K+K_+ that enter the gg-function ratio, and inverted them by Fourier transformation into nonlinear integral equations whose iteration is far more efficient than evaluating the determinant series. The structure is double-layered: one first solves the standard TBA for ε\varepsilon, which then enters the Tracy-Widom layer through the factors (1+eε)−1(1+e^{\varepsilon})^{-1}. As by-products they conjectured a separation-of-variables (SoV) multiple-integral representation of the universal part of the gg-function with an undetermined normalization constant N\mathcal N, and compared numerically with Liouville boundary data in the ultraviolet, finding only qualitative agreement near zero Liouville momentum.

Excited-state gg-functions are the analogous normalized overlaps ⟨B∣ψ⟩/⟨ψ∣ψ⟩\langle B|\psi\rangle/\sqrt{\langle\psi|\psi\rangle} with excited multiparticle states ∣ψ⟩|\psi\rangle. They were first studied through the annulus partition function (Dorey, Pocklington, Tateo and Watts) and by truncated conformal space approach (TCSA - a Hamiltonian truncation of the conformal Hilbert space) computations (Takács and Watts), routes based on partition functions and considered cumbersome. The complete finite-volume form was obtained by Jiang, Komatsu and Vescovi, motivated by planar N=4\mathcal N=4 super Yang-Mills theory, where these overlaps are a class of exact three-point functions (structure constants of two determinant operators dual to giant gravitons and one single-trace operator - the "worldsheet gg-function"): analytic continuation deforms the Fredholm kernels into operators with both a continuous integral part and discrete terms (in the conventions of Jiang, Komatsu and Vescovi),

(G^±∙f)(u)=∑kiK±(u,u~k)∂ulog⁡Y(u~k) f(u~k)+∫0∞dv2π K±(u,v)1+1/Y(v) f(v) ,(\hat G^\bullet_\pm f)(u)=\sum_k\frac{iK_\pm(u,\tilde u_k)}{\partial_u\log Y(\tilde u_k)}\,f(\tilde u_k)+\int_0^\infty\frac{dv}{2\pi}\,\frac{K_\pm(u,v)}{1+1/Y(v)}\,f(v)\,,

and the excited-state gg-function is the ratio of determinants of these generalized kernels times explicit asymptotic-overlap factors; this corrects an incomplete proposal of Kostov, Serban and Vu. Bajnok and Tompa re-derived these expressions by analytic continuation and verified them numerically against a new TCSA overlap method in the scaling Lee-Yang and thermally perturbed Ising models. In the non-diagonal sine-Gordon model the exact ground-state gg-function has been computed from a lattice regularization by a nonlinear-integral-equation (NLIE) method (He and Jiang). In all existing work the generalized determinants are evaluated directly by discretization; no functional-equation reformulation of them is known, and this is the open problem.

Problem Statement

Construct the excited-state generalization of the Tracy-Widom TBA of Caetano and Komatsu: functional equations, and their inversion by Fourier transformation with a controlled contour prescription, computing the excited-state gg-functions of the sinh-Gordon model at the self-dual point b=1b=1 on a circle of circumference LL with an integrable boundary described by a reflection factor Ra(θ)R_a(\theta).

The object to be computed is the excited-state gg-function ga({nk},L)=⟨Ba∣ψ⟩/⟨ψ∣ψ⟩g_a(\{n_k\},L)=\langle B_a|\psi\rangle/\sqrt{\langle\psi|\psi\rangle} for excited multiparticle states, whose currently known closed form is the ratio of generalized Fredholm determinants det⁡(1−G^−∙)/det⁡(1−G^+∙)\det(1-\hat G^\bullet_-)/\det(1-\hat G^\bullet_+) - with kernels containing both the continuous integral and discrete terms at the analytically continued rapidities u~k\tilde u_k (zeros of 1+Y(u~k)1+Y(\tilde u_k)) - multiplied by explicit asymptotic-overlap factors. Answering the question requires: (i) functional equations for these generalized determinants, generalizing the ground-state functional equations for the determinants of the kernels KsK_s and K+K_+; (ii) their inversion into nonlinear integral equations solvable by iteration, with the analytic-continuation/deformation prescription stated explicitly - which singularities cross which contours under which quantization conditions - so that the new equations are to the ground-state Tracy-Widom TBA what the Dorey-Tateo continuation is to the standard TBA; and (iii) evidence that the solutions reproduce the known excited-state gg-functions, either by derivation from the generalized determinant expressions or by numerical comparison with them (or with TCSA or lattice data) at stated parameters, volumes, and excited-state rapidity patterns.

The question extends naturally to general diagonal integrable quantum field theories and to theories with bound states or internal degrees of freedom; the self-dual sinh-Gordon case is the setting in which the source poses it. A resolution may alternatively consist of a precise, demonstrated obstruction showing that no analytic continuation of the Tracy-Widom TBA reproduces the excited-state determinants, with the analyticity or L2L^2 properties on which the ground-state inversion relies identified as the point of failure.

References

  1. J. Caetano and S. Komatsu, 'Functional Equations and Separation of Variables for Exact g-Function', JHEP 09 (2020) 180. DOI: 10.1007/JHEP09(2020)180, arXiv:2004.05071, https://arxiv.org/abs/2004.05071
  2. I. Affleck and A. W. W. Ludwig, 'Universal noninteger "ground state degeneracy" in critical quantum systems', Phys. Rev. Lett. 67 (1991) 161. DOI: 10.1103/PhysRevLett.67.161, https://doi.org/10.1103/PhysRevLett.67.161
  3. A. LeClair, G. Mussardo, H. Saleur and S. Skorik, 'Boundary energy and boundary states in integrable quantum field theories', Nucl. Phys. B 453 (1995) 581. DOI: 10.1016/0550-3213(95)00435-U, arXiv:hep-th/9503227, https://arxiv.org/abs/hep-th/9503227
  4. P. Dorey, D. Fioravanti, C. Rim and R. Tateo, 'Integrable quantum field theory with boundaries: the exact g function', Nucl. Phys. B 696 (2004) 445. DOI: 10.1016/j.nuclphysb.2004.06.045, arXiv:hep-th/0404014, https://arxiv.org/abs/hep-th/0404014
  5. B. Pozsgay, 'On O(1) contributions to the free energy in Bethe Ansatz systems: the exact g-function', JHEP 08 (2010) 090. DOI: 10.1007/JHEP08(2010)090, arXiv:1003.5542, https://arxiv.org/abs/1003.5542
  6. I. Kostov, D. Serban and D.-L. Vu, 'Boundary TBA, trees and loops', Nucl. Phys. B 949 (2019) 114817. DOI: 10.1016/j.nuclphysb.2019.114817, arXiv:1809.05705, https://arxiv.org/abs/1809.05705
  7. A. B. Zamolodchikov, 'Thermodynamic Bethe Ansatz in Relativistic Models: Scaling Three State Potts and Lee-Yang Models', Nucl. Phys. B 342 (1990) 695. DOI: 10.1016/0550-3213(90)90333-9, https://doi.org/10.1016/0550-3213(90)90333-9
  8. P. Dorey and R. Tateo, 'Excited states by analytic continuation of TBA equations', Nucl. Phys. B 482 (1996) 639. DOI: 10.1016/S0550-3213(96)00516-0, arXiv:hep-th/9607167, https://arxiv.org/abs/hep-th/9607167
  9. C. A. Tracy and H. Widom, 'Proofs of two conjectures related to the thermodynamic Bethe ansatz', Commun. Math. Phys. 179 (1996) 667. DOI: 10.1007/BF02100102, arXiv:solv-int/9509003, https://arxiv.org/abs/solv-int/9509003
  10. K. Okuyama and S. Zakany, 'TBA-like integral equations from quantized mirror curves', JHEP 03 (2016) 101. DOI: 10.1007/JHEP03(2016)101, arXiv:1512.06904, https://arxiv.org/abs/1512.06904
  11. Y. Jiang, S. Komatsu and E. Vescovi, 'Structure constants in N=4 SYM at finite coupling as worldsheet g-function', JHEP 07 (2020) 037. DOI: 10.1007/JHEP07(2020)037, arXiv:1906.07733, https://arxiv.org/abs/1906.07733
  12. Y. Jiang, S. Komatsu and E. Vescovi, 'Exact Three-Point Functions of Determinant Operators in Planar N=4 Supersymmetric Yang-Mills Theory', Phys. Rev. Lett. 123 (2019) 191601. DOI: 10.1103/PhysRevLett.123.191601, arXiv:1907.11242, https://arxiv.org/abs/1907.11242
  13. Z. Bajnok and T. L. Tompa, 'TCSA and the finite volume boundary state', Nucl. Phys. B 964 (2021) 115330. DOI: 10.1016/j.nuclphysb.2021.115330, arXiv:2008.01979, https://arxiv.org/abs/2008.01979
  14. P. Dorey, A. Pocklington, R. Tateo and G. Watts, 'TBA and TCSA with boundaries and excited states', Nucl. Phys. B 525 (1998) 641. DOI: 10.1016/S0550-3213(98)00339-3, arXiv:hep-th/9712197, https://arxiv.org/abs/hep-th/9712197
  15. G. Takács and G. M. T. Watts, 'Excited State G-Functions from the Truncated Conformal Space', JHEP 02 (2012) 082. DOI: 10.1007/JHEP02(2012)082, arXiv:1112.2906, https://arxiv.org/abs/1112.2906
  16. Y.-J. He and Y. Jiang, 'Exact g-function without strings', arXiv:2412.12869 (2024), https://arxiv.org/abs/2412.12869
  17. J. Caetano and S. Komatsu, 'Crosscap States in Integrable Field Theories and Spin Chains', J. Stat. Phys. 187 (2022) 30. DOI: 10.1007/s10955-022-02914-6, arXiv:2111.09901, https://arxiv.org/abs/2111.09901
  18. D.-L. Vu, I. Kostov and D. Serban, 'Boundary entropy of integrable perturbed SU(2)_k WZNW', JHEP 08 (2019) 154. DOI: 10.1007/JHEP08(2019)154, arXiv:1906.01909, https://arxiv.org/abs/1906.01909
  19. A. Cavaglià, N. Gromov and F. Levkovich-Maslyuk, 'Separation of variables in AdS/CFT: functional approach for the fishnet CFT', JHEP 06 (2021) 131. DOI: 10.1007/JHEP06(2021)131, arXiv:2103.15800, https://arxiv.org/abs/2103.15800
  20. S. Ekhammar, N. Gromov and P. Ryan, 'Boundary overlaps from functional separation of variables', JHEP 05 (2024) 268. DOI: 10.1007/JHEP05(2024)268, arXiv:2312.11612, https://arxiv.org/abs/2312.11612
  21. C. Bercini, A. Homrich and P. Vieira, 'Structure constants in N=4 supersymmetric Yang-Mills theory and separation of variables', Phys. Rev. D 110 (2024) L121901. DOI: 10.1103/PhysRevD.110.L121901, arXiv:2210.04923, https://arxiv.org/abs/2210.04923
  22. N. Brizio, T. Morone and R. Tateo, 'A note on T Tbar deformations and boundaries', in '2024 MATRIX Annals, Part II', MATRIX Book Series (Springer, 2026), pp. 13-29. DOI: 10.1007/978-3-032-16206-9_2, arXiv:2410.20947, https://arxiv.org/abs/2410.20947