REVIEW
Algebraic Proofs of Quantum Period--TBA Relations
High Energy Physics - Theory · Submitted 7 Oct 2026 · 34 references
Pith's verdict: The two formal period–TBA identities are proved with a sound algebraic method; just fix the ratio/product typo in (3.35) before this is citable as a proof.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Two conjectural identities tying quantum $A$-periods to TBA-like equations are proved as formal power series in $z$, with $q=e^{i\hbar}$ exact at every order.
The reading
What carries the argument
The load-bearing objects are the constant-term functional $\mathrm{CT}_X$ (the coefficient of $X^0$, equivalently $\mathrm{Res}_{X=0} f(X)/X$) and, for the higher-degree family, a cyclic trace $\tau$ on the quantum torus with $\hat a\hat b=q\,\hat b\hat a$ that is shown to be cyclic on formal power series. The quadratic proof runs through a $q$-difference Riccati equation for $\tilde V(X)$ and writes its solution as a backward-shifted product sum; the identity $\eta_s=1+2F$ identifies the TBA solution with that sum, while $\theta_z\log\tilde V$ is the oppositely shifted sum, and the two have equal constant terms. The higher-degree proof uses the factorization $1-t\hat H=(1-tq^{-m/2}\hat a^{-m}V_t(q\hat a)\hat b^{-1})V_t(\hat a)^{-1}(1-tV_t(\hat a)\hat b)$ to obtain $-\tau\log(1-t\hat H)=\Pi_m(t^{m+2})$, then the change of quantum variables $\hat U=q^{(m+2)/2}\hat a\hat b^{-1}$, $\hat Y=\hat a+\hat b$, which turns $\hat H$ into $\hat Y+P(\hat U)\hat Y^{-(m+1)}$ with $P$ the Laurent polynomial of (3.4). On a bi-infinite lattice $\hat U$ multiplies by $q^iX$ and $\hat Y$ shifts by one site, so the truncated matrix $\hat H_M$ has determinant equal to the partition function $Z_M$ of nonoverlapping rods of length $m+2$; the rod density satisfies the TBA-like equation (3.5), and a coefficientwise thermodynamic limit, equation (3.30), equates the per-site free energy with the quantum period.
Extended reading notes
Core claim
On its own terms, the paper establishes that two period–TBA identities hold as formal power series in $z$ with exact dependence on $q=e^{i\hbar}$: $\mathrm{CT}_X\,\eta_s(X)=1+2\theta_z\Pi_s(z)$ for the quadratic equation (2.5), and $\mathrm{CT}_X\,\eta_m(X)=1+(m+2)\theta_z\Pi_m(z)$ for the higher-degree family (3.1), where $\eta$ solves the TBA-like equation, $\Pi$ is the quantum-period correction with the classical logarithmic term removed, and $\mathrm{CT}_X$ extracts the coefficient of $X^0$. The two identities are proved by different mechanisms: the quadratic case compares constant terms of forward- and backward-shifted product sums, which agree because constant-term extraction is invariant under $X\mapsto q^{\ell}X$; the higher-degree case factorizes $1-t\hat H$ on the quantum torus, changes quantum variables, and identifies a finite band determinant with the partition function of nonoverlapping rods of length $m+2$, whose density equation is precisely the TBA-like equation. In the specialization where $s(X)$ matches the higher-degree family, the two different TBA functions give the same quantum-period correction even though the functions themselves differ. The proofs use only algebraic commutation relations and coefficientwise limits; no Hilbert-space representation of the quantum curve is assumed.
Load-bearing premise
The argument stands on the coefficientwise thermodynamic limit of Section 3.4, equation (3.30): the claim that for fixed $k$ and growing interval length $2M+1$, $\mathrm{CT}_X\,\mathrm{Tr}(\hat H_M^k)=(2M+1)\tau(\hat H^k)+O(1)$, since this is what licenses equating the rod free energy per site with the quantum period.
Editorial extensions
If this is right
- The two conjectured relations of [1], previously tested only in perturbative expansions, now hold to all orders in $z$ with $q$ kept exact and no expansion in $\hbar$.
- For the quadratic equation the identity holds for any Laurent series $s(X)$ with a finite lower bound on its powers, not only those from rational functions of the form (2.4); the TBA solution is explicitly $\eta_s(X)=1+2\sum_{k\ge1}\prod_{j=0}^{k-1}R(q^{-j}X)$.
- In the specialization (2.19) the two TBA descriptions give the same quantum-period correction $\Pi$, even though the TBA functions $\eta_s$ and $\eta_m$ are different objects.
- The factor $m+2$ is not a normalization accident: it is the rod length, and the TBA function is $1-(m+2)\rho$ with $\rho$ the rod-start density.
- The paper states explicitly that these formal identities do not by themselves give the physical spectral description: reaching the operator trace and Fredholm determinant of the actual inverse mirror-curve operator requires analytic continuation in $z$, Stokes data, and boundary conditions.
Reading between the lines
- The same route — factorize $1-t\hat H$, then simplify the shift structure by a quantum change of variables — is a natural blueprint for mirror curves with several monomials, where the exclusion model would need rods of several lengths; the paper lists that extension as open, and the rod-length rule found here predicts the form of the resulting density equations.
- Because every step is coefficientwise algebraic, the constructions are directly computable: for small $m$ one can generate both sides of (3.7) term by term and compare the rod-model series with logarithmic Gromov–Witten invariants for local $\mathbb{P}^2$ after the mirror-map transformation, giving a concrete numerical probe of the geometric meaning of the rods.
- The fact that two different TBA-like equations describe the same period suggests that one quantum period admits many TBA presentations, one per factorization of $1-t\hat H$; if so, the cyclic constant-term trace, not the TBA equation, is the primary object, and each TBA-like equation is a derived description.
Original abstract
We give algebraic proofs of two conjectural relations between quantum $A$-periods and thermodynamic Bethe ansatz (TBA)-like equations for quantum mirror curves. The quadratic relation follows from constant terms of shifted product expansions. For higher-degree relations, a cyclic quantum-torus trace and a finite matrix determinant identify the period with the free energy of nonoverlapping rods. Their density equation yields the TBA-like equation, with normalization fixed by the rod length. Both proofs hold as formal power series in the complex structure parameter, with exact dependence on $q=e^{i\hbar}$.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We give algebraic proofs of two conjectural relations between quantum $A$-periods and thermodynamic Bethe ansatz (TBA)-like equations for quantum mirror curves. The quadratic relation follows from constant terms of shifted product expansions. For higher-degree relations, a cyclic quantum-torus trace and a finite matrix determinant identify the period with the free energy of nonoverlapping rods. Their density equation yields the TBA-like equation, with normalization fixed by the rod length. Both proofs hold as formal power series in the complex structure parameter, with exact dependence on $q=e^{i\hbar}$.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We give algebraic proofs of two conjectural relations between quantum $A$-periods and thermodynamic Bethe ansatz (TBA)-like equations for quantum mirror curves. | contribution 1.00 | 0.96 | 0.86 | asserted 1.00 |
| s1 | The quadratic relation follows from constant terms of shifted product expansions. | method 0.79 | 0.88 | 0.13 | asserted 1.00 |
| s2 | For higher-degree relations, a cyclic quantum-torus trace and a finite matrix determinant identify the period with the free energy of nonoverlapping rods. | method 0.89 | 0.88 | 0.22 | asserted 1.00 |
| s3 | Their density equation yields the TBA-like equation, with normalization fixed by the rod length. | method 0.74 | 0.77 | 0.08 | asserted 1.00 |
| s4 | Both proofs hold as formal power series in the complex structure parameter, with exact dependence on $q=e^{i\hbar}$. | result 0.50 | 0.91 | 0.18 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.