2025-11-24T17:16:18.050515

On the open TS/ST correspondence

François, Grassi
The topological string/spectral theory correspondence establishes a precise, non-perturbative duality between topological strings on local Calabi-Yau threefolds and the spectral theory of quantized mirror curves. While this duality has been rigorously formulated for the closed topological string sector, the open string sector remains less understood. Building on the results of [1-3], we make further progress in this direction by constructing entire, off-shell eigenfunctions for the quantized mirror curve from open topological string partition functions. We focus on local $\mathbb{F}_0$, whose mirror curve corresponds to the Baxter equation of the two-particle, relativistic Toda lattice. We then study the standard and dual four-dimensional limits, where the quantum mirror curve for local $\mathbb{F}_0$ degenerates into the modified Mathieu and McCoy-Tracy-Wu operators, respectively. In these limits, our framework provides a way to construct entire, off-shell eigenfunctions for the difference equations associated with these operators. Furthermore, we find a simple relation between the on-shell eigenfunctions of the modified Mathieu and McCoy-Tracy-Wu operators, leading to a functional relation between the operators themselves.
academic

On the open TS/ST correspondence

Basic Information

  • Paper ID: 2503.21762
  • Title: On the open TS/ST correspondence
  • Authors: Matijn François (Université de Genève), Alba Grassi (CERN)
  • Classification: hep-th math-ph math.MP math.SP
  • Publication Date: 2025 (Prepared for submission to Communications in Mathematical Physics)
  • Paper Link: https://arxiv.org/abs/2503.21762

Abstract

The topological string/spectral theory (TS/ST) correspondence establishes an exact non-perturbative duality between topological strings on local Calabi-Yau threefolds and the spectral theory of quantized mirror curves. While this duality has been rigorously formulated in the closed string sector, understanding of the open string sector remains limited. Building upon references 1-3, this paper makes progress in this direction by constructing entire function off-shell eigenfunctions of the quantized mirror curve from the open topological string partition function. The research focuses on local F0\mathbb{F}_0, whose mirror curve corresponds to the Baxter equation of the two-particle relativistic Toda lattice. Subsequently, the standard and dual four-dimensional limits are studied, where the quantum mirror curve of local F0\mathbb{F}_0 degenerates to the modified Mathieu operator and the McCoy-Tracy-Wu operator, respectively. In these limits, the framework provides a method for constructing entire function off-shell eigenfunctions of difference equations associated with these operators. Furthermore, a simple relationship between on-shell eigenfunctions of the modified Mathieu and McCoy-Tracy-Wu operators is discovered, leading to functional relations between the operators.

Research Background and Motivation

Problem Background

The topological string/spectral theory (TS/ST) correspondence is an important bridge connecting topological string theory and quantum integrable systems. The core of this correspondence is establishing exact relationships between the topological string partition function on local Calabi-Yau threefolds and the spectral properties of quantized mirror curves.

Key Issues

  1. Closed string sector resolved: The TS/ST correspondence in the closed string sector has been rigorously formulated, establishing the relationship between the spectral determinant and the topological string grand potential: det(1+κρ)=kZeJ(μ+i2πk,ξ,)\det(1 + \kappa\rho) = \sum_{k\in\mathbb{Z}} e^{J(\mu+i2\pi k,\xi,\hbar)}
  2. Open string sector incomplete: The correspondence in the open string sector remains incomplete, particularly lacking a background-independent non-perturbative formulation.
  3. Eigenfunction construction challenges: There is a need to construct eigenfunctions that satisfy difference equations while possessing correct analytic properties.

Research Motivation

  • Complete the theory of the open string sector of the TS/ST correspondence
  • Construct entire function off-shell eigenfunctions
  • Establish functional relationships between different quantum operators
  • Provide new solution methods for quantum integrable systems

Core Contributions

  1. Constructed the complete open string TS/ST correspondence for local F0\mathbb{F}_0, providing explicit expressions for eigenfunctions: ψ(x,κ)=kZ(eJ(x,μ+i2πk,ξ,)+eiπ22+πx+J(xiπ,μ+iπ+i2πk,ξ,))\psi(x,\kappa) = \sum_{k\in\mathbb{Z}}\left(e^{J(x,\mu+i2\pi k,\xi,\hbar)} + e^{i\frac{\pi^2}{2\hbar}+\frac{\pi x}{\hbar}+J(-x-i\pi,\mu+i\pi+i2\pi k,\xi,\hbar)}\right)
  2. Proved the entire function property of eigenfunctions: Even in the off-shell case, the constructed eigenfunctions are entire functions on the complex xx-plane.
  3. Established operator relationships in four-dimensional limits:
    • Standard four-dimensional limit: quantum mirror curve degenerates to the modified Mathieu operator
    • Dual four-dimensional limit: degenerates to the McCoy-Tracy-Wu operator
    • Discovered simple relationships between eigenfunctions of the two operators
  4. Provided matrix model representation: Through canonical transformation, eigenfunctions are expressed in the form of O(2) matrix models.

Detailed Methodology

Problem Formulation

Construct eigenfunctions of the quantum mirror curve of local F0\mathbb{F}_0, corresponding to the operator: O=ey^+ey^+e2ξ(ex^+ex^),[x^,y^]=iO = e^{\hat{y}} + e^{-\hat{y}} + e^{2\xi}(e^{\hat{x}} + e^{-\hat{x}}), \quad [\hat{x},\hat{y}] = i\hbar

The eigenvalue equation is: ψ(x+i,κ)+ψ(xi,κ)+2e2ξcosh(x)ψ(x,κ)+κψ(x,κ)=0\psi(x+i\hbar,\kappa) + \psi(x-i\hbar,\kappa) + 2e^{2\xi}\cosh(x)\psi(x,\kappa) + \kappa\psi(x,\kappa) = 0

Core Methodological Framework

1. Topological String Grand Potential Construction

Define the complete grand potential: J(x,μ,ξ,)=J(μ,ξ,)+Jopen(x,μ,ξ,)J(x,\mu,\xi,\hbar) = J(\mu,\xi,\hbar) + J^{\text{open}}(x,\mu,\xi,\hbar)

where the closed string part includes:

  • Constant map contribution A(ξ,)A(\xi,\hbar)
  • Polynomial part Jp(μ,ξ,)J_p(\mu,\xi,\hbar)
  • One-loop part J1loop(μ,ξ,)J_{1-\text{loop}}(\mu,\xi,\hbar)
  • Instanton part Jinst(μ,ξ,)J_{\text{inst}}(\mu,\xi,\hbar)

The open string part includes:

  • Polynomial part: Jpopen(x,ξ,)=i2ξxix22+12(2π1)xJ^{\text{open}}_p(x,\xi,\hbar) = -\frac{i}{\hbar}2\xi x - \frac{i}{\hbar}\frac{x^2}{2} + \frac{1}{2}\left(\frac{2\pi}{\hbar}-1\right)x
  • One-loop part: involving the Faddeev quantum dilogarithm
  • Instanton part: combination of NS and GV phases

2. Symmetry Structure Discovery

The key observation is that the eigenfunction possesses a two-term symmetric structure: ψ(x,κ)=ω(x,κ)+exp(iπ22+πx)ω(xiπ,κ)\psi(x,\kappa) = \omega(x,\kappa) + \exp\left(\frac{i\pi^2}{2\hbar} + \frac{\pi x}{\hbar}\right)\omega(-x-i\pi,-\kappa)

This structure ensures:

  • Mutual cancellation of poles
  • Preservation of entire function property
  • Correct asymptotic behavior

3. Matrix Model Coordinate Transformation

Through the transformation: x=12(q+p)+ξ,y=12(q+p)+ξx = \frac{1}{\sqrt{2}}(q+p) + \xi, \quad y = \frac{1}{\sqrt{2}}(-q+p) + \xi

the problem is transformed into matrix model form, and the eigenfunction can be expressed as: ψ(x,κ)=RdqU(x,q)Ξ(q,κ)\psi(x,\kappa) = \int_{\mathbb{R}} dq\, U(x,q)\Xi(q,\kappa)

where U(x,q)U(x,q) is the unitary transformation kernel and Ξ(q,κ)\Xi(q,\kappa) is given by the O(2) matrix model.

Technical Innovations

  1. Non-perturbative completion: Through special combinations of NS and GV phases, poles are eliminated, yielding functions well-defined for all R>0\hbar\in\mathbb{R}_{>0}.
  2. Entire function property: The carefully designed two-term structure ensures that even though individual terms have poles, their sum remains an entire function.
  3. Background independence: Summation over kk smooths all singularities of the closed string moduli space, while summation over σ\sigma (two-term structure) smooths singularities of the open string moduli space.

Experimental Setup

Numerical Verification Methods

  1. Spectral problem numerical solution: Diagonalize the quantum mirror curve operator in the harmonic oscillator basis
  2. Eigenfunction comparison: Compare analytic constructions with numerical results
  3. Convergence testing: Verify convergence of the instanton expansion

Parameter Settings

  • Test various values of ξR\xi \in \mathbb{R}
  • Consider rational cases πQ>0\hbar \in \pi\mathbb{Q}_{>0}
  • Verify generic case R>0\hbar \in \mathbb{R}_{>0}

Analytic Verification

  • Utilize quasi-periodicity properties of the Faddeev quantum dilogarithm
  • Apply residue theorem for integral calculations
  • Verify satisfaction of difference equations

Experimental Results

Main Numerical Results

  1. High-precision matching: Analytic eigenfunctions agree completely with numerical results within test precision
  2. Entire function verification: Numerically confirmed that constructed functions have no poles in the complex plane
  3. Convergence confirmation: Instanton series exhibits compact convergence properties

Specific Case Analysis

The paper provides detailed figures for multiple parameter combinations:

  • ξ=16/53,=8π/3\xi = -16/53, \hbar = 8\pi/3: Demonstrates on-shell and off-shell eigenfunctions
  • ξ=ln(3)/3,=2π/3\xi = -\ln(3)/3, \hbar = 2\pi/3: Verifies rational \hbar case
  • Systematic testing of various ξ\xi and \hbar combinations

Four-Dimensional Limit Verification

  1. Standard four-dimensional limit: Successfully recovers known eigenfunctions of the modified Mathieu operator
  2. Dual four-dimensional limit: Consistent with McCoy-Tracy-Wu operator results
  3. Operator relationships: Numerically verifies equivalence of eigenfunctions of the two operators

TS/ST Correspondence Development

  • Grassi-Hatsuda-Mariño (2016): Established closed string TS/ST correspondence
  • Mariño-Zakany (2017,2019): Initial open string sector research, focusing on self-dual points
  • François-Grassi (2024): Strong coupling study of Painlevé kernels and surface defects

Quantum Integrable Systems

  • Relativistic Toda lattice: Corresponds to Baxter equation of two-particle case
  • Elliptic Ruijsenaars-Schneider system: More general integrable system framework
  • Cluster integrable systems: Geometric connections with mirror curves

Four-Dimensional Gauge Theory

  • AGT correspondence: Connects 4D gauge theory with conformal field theory
  • Nekrasov partition function: Exact calculations of NS and GV phases
  • Surface defects: Interactions of 2d/4d systems

Conclusions and Discussion

Main Conclusions

  1. Complete open string TS/ST correspondence: Establishes complete non-perturbative correspondence for local F0\mathbb{F}_0
  2. Entire function eigenfunctions: Constructs eigenfunctions that maintain entire function property even off-shell
  3. Operator relationships: Discovers deep connections between modified Mathieu and McCoy-Tracy-Wu operators

Limitations

  1. Geometry specificity: Current results are specific to local F0\mathbb{F}_0 geometry
  2. Geometric meaning of second term: Geometric interpretation of the second term in the two-term structure remains unclear
  3. Rigorous mathematical proofs: Key properties such as entire function property lack complete mathematical proofs

Future Directions

  1. Generalization to other geometries: Extension to all toric Calabi-Yau threefolds
  2. Recurrence relation analysis: Understanding non-perturbative effects from recurrence relation perspective
  3. q-isomonodromic τ-functions: Exploring connections with quantum isomonodromic deformations
  4. Fiber-base duality: Investigating invariance under tBtFt_B \leftrightarrow t_F exchange

In-Depth Evaluation

Strengths

  1. Theoretical completeness: First complete open string TS/ST correspondence for local F0\mathbb{F}_0
  2. Technical innovation: Discovery of two-term symmetric structure is an important technical breakthrough
  3. Multiple verifications: Verification from analytic, numerical, and four-dimensional limit perspectives
  4. Deep connections: Reveals unexpected relationships between different quantum operators

Weaknesses

  1. Geometric limitations: Universality of the method remains to be verified
  2. Incomplete proofs: Certain key properties lack rigorous proofs
  3. Computational complexity: Practical calculations involve complex special functions

Impact

  1. Theoretical contribution: Provides new tools for topological string theory and quantum integrable systems
  2. Methodological significance: Non-perturbative completion method has broad applicability
  3. Cross-disciplinary impact: Connects multiple fields including string theory, mathematical physics, and integrable systems

Applicable Scenarios

  • Exact solution of quantum integrable systems
  • Non-perturbative research in topological string theory
  • Study of correspondence relationships between 4D gauge theory and 2D systems
  • Theory of special functions and orthogonal polynomials

References

This paper cites 105 relevant references, covering important works in topological string theory, quantum integrable systems, mathematical physics and other fields, particularly the pioneering contributions of Mariño, Grassi, Kashaev and others in the TS/ST correspondence.