Alexander Alexandrov,Boris Bychkov,Petr Dunin-Barkowski,Maxim Kazarian,Sergey Shadrin
Abstract:We prove a recent conjecture of Borot et al. that a particular universal closed algebraic formula recovers the correlation differentials of topological recursion after the swap of $x$ and $y$ in the input data. We also show that this universal formula can be drastically simplified (as it was already done by Hock).
As an application of this general $x-y$ swap result, we prove an explicit closed formula for the topological recursion differentials for the case of any spectral curve with unramified $y$ and arbitrary rational $x$.
Mathematical Physics,High Energy Physics - Theory,Algebraic Geometry,Combinatorics
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove a conjecture proposed by Borot et al., that is, there exists a specific universal closed algebraic formula to recover the relevant differentials of topological recursion by exchanging \(x\) and \(y\) in the input data. Specifically, the main contributions of the paper include:
1. **Proof of the Conjecture**: The paper proves the conjecture proposed by Borot et al., that is, through a specific universal closed algebraic formula, the relevant differentials of topological recursion can be recovered after exchanging \(x\) and \(y\).
2. **Simplification of the Formula**: The paper also shows that this universal formula can be greatly simplified, just as the work already done by Hock.
3. **Application**: As an application of this general \(x - y\) exchange result, the paper provides an explicit closed formula for calculating the topological recursion differentials of any spectral curve with unbranched \(y\) and arbitrary rational \(x\).
### Specific Problem Analysis
#### 1. Topological Recursion
Topological recursion is a method for generating a series of symmetric meromorphic differentials \(\omega_{g}^{m,0}\) from given input data (including a compact Riemann surface \(S\), two meromorphic functions \(x\) and \(y\), and a symmetric bidifferential \(B\)). These differentials are called relevant differentials.
#### 2. \(x - y\) Exchange
In topological recursion, the roles of \(x\) and \(y\) are not symmetric. However, if \(y\) satisfies the same properties as \(x\), that is, all critical points are simple, and \(x\) is regular at these critical points and its derivative is not zero, then the roles of \(x\) and \(y\) can be exchanged, thus generating a new recursive system and a series of new symmetric meromorphic differentials \(\omega_{g}^{0,n}\).
#### 3. Conjecture and Proof
Borot et al. proposed a conjecture that there exists a universal algebraic formula that can recover the relevant differentials of topological recursion by exchanging \(x\) and \(y\). The main objective of the paper is to prove this conjecture and give a specific formula.
#### 4. Explicit Formula
The paper gives an explicit formula for calculating the new differentials \(\omega_{g}^{0,n}\) after exchanging \(x\) and \(y\). This formula is a product of finite difference operators, applied to the original differential \(\omega_{\tilde{g}}^{m,0}\).
### Formula Presentation
#### Universal Formula
\[ \omega_{g}^{0,n}(z/\llbracket n \rrbracket) = \left( -1 \right)^n \left[ \hbar^{2g} \right] \sum_{\Gamma} \frac{\hbar^{2g(\Gamma)}}{|\text{Aut}(\Gamma)|} \prod_{i = 1}^n \sum_{k_i = 0}^{\infty} \partial_y^{k_i} \left[ w_i^{k_i} \right] \frac{dx_i}{dy_i} \]
where:
- \(\Gamma\) is the set of all connected graphs, each graph has \(n\) labeled vertices (labels from 1 to \(n\)) and multi - edge indices \(\geq 2\).
- \(g(\Gamma)\) is the first Betti number of the graph \(\Gamma\).
- \(|\text{Aut}(\Gamma)|\) is the number of automorphisms of the graph \(\Gamma\).
- \([w_i^{k_i}]\) means extracting the coefficient of the corresponding term.
- \(\left[ \hbar^{2g} \right]\) means extracting the coefficient of the \(\hbar^{2g}\) term.
#### Simplified Formula
\[ \omega_{g}^{0,n}(z/\llbracket n \rrbracket) \prod_{i = 1}^n \fr