HEXAGONbeta

Algebraicity of rank-two scattering wall functions

A mix of human-written and AI-generated textHuman understanding: some partsmath.CO — Combinatoricsmath.RT — Representation Theory

Contributed by Qiyue Tang ↗

Version 1 / Oct 29, 2026 / CC BY 4.0

Abstract

We prove that every wall function in the rank-two scattering factorization determined by two polynomial initial walls over a field of characteristic zero is algebraic. This resolves the algebraicity question posed by Kontsevich and recorded by Gross and Pandharipande, and its cluster-scattering formulation in the work of Burcroff, Lee, Mou, Musiker, and Reineke.

Provenance statement

The main results and their proof were developed during a two-hour research conversation with ChatGPT-6-Pro. The research materials were subsequently subjected to an adversarial AI review in Codex. The manuscript also passed review by Rethlas-OSV, using OSVerify.

References

  1. D. Auroux, Notes on M. Kontsevich's lecture Algebraicity and integrality for DT series , Conference on Homological Mirror Symmetry, Miami, 30 January 2013, 4 pp., pp. 2--3. Available from https://people.math.harvard.edu/~auroux/miami2013-notes/.link
  2. N. Bonichon, M. Bousquet-Mélou, P. Dorbec, and C. Pennarun, On the number of planar Eulerian orientations , arXiv:1610.09837v2 (2016), Section 5.3. https://arxiv.org/abs/1610.09837v2.arXiv
  3. A. Burcroff, K. Lee, and L. Mou, Scattering diagrams, tight gradings, and generalized positivity , Proc. Natl. Acad. Sci. USA 122 (2025), no. 18, e2422893122. doi:10.1073/pnas.2422893122 (https://doi.org/10.1073/pnas.2422893122).DOI
  4. A. Burcroff, K. Lee, and L. Mou, Positivity of generalized cluster scattering diagrams , arXiv:2503.03719v1 (2025). https://arxiv.org/abs/2503.03719v1.arXiv
  5. A. Burcroff, K. Lee, L. Mou, G. Musiker, and M. Reineke, Cluster scattering diagrams via quiver moduli and tight gradings , J. London Math. Soc. (2) 114 (2026), no. 2, e70642. doi:10.1112/jlms.70642 (https://doi.org/10.1112/jlms.70642).DOI
  6. D. Galakhov, P. Longhi, T. Mainiero, G. W. Moore, and A. Neitzke, Wild wall crossing and BPS giants (https://doi.org/10.1007/JHEP11(2013)046), J. High Energy Phys. (2013), no. 11, 046.DOI
  7. M. Gross, P. Hacking, S. Keel, and M. Kontsevich, Canonical bases for cluster algebras , J. Amer. Math. Soc. 31 (2018), no. 2, 497--608. doi:10.1090/jams/890 (https://doi.org/10.1090/jams/890).DOI
  8. M. Gross and R. Pandharipande, Quivers, curves, and the tropical vertex , Port. Math. 67 (2010), no. 2, 211--259. doi:10.4171/PM/1865 (https://doi.org/10.4171/PM/1865).DOI
  9. M. Gross, R. Pandharipande, and B. Siebert, The tropical vertex , Duke Math. J. 153 (2010), no. 2, 297--362. doi:10.1215/00127094-2010-025 (https://doi.org/10.1215/00127094-2010-025).DOI
  10. M. Kontsevich, Algebraicity and integrality , handwritten lecture notes, Conference on Homological Mirror Symmetry, Miami, 30 January 2013, 11 pp., pp. 5--7. Available from https://people.math.harvard.edu/~auroux/miami2013-notes/, file marked M.K.link
Show all 21 referencesShow fewer references
  1. M. Kontsevich and Y. Soibelman, Affine structures and non-Archimedean analytic spaces , in The Unity of Mathematics , Progr. Math. 244 , Birkhäuser, Boston, 2006, 321--385. https://arxiv.org/abs/math/0406564.link
  2. M. Kontsevich and Y. Soibelman, Stability structures, motivic Donaldson--Thomas invariants and cluster transformations , arXiv:0811.2435 (2008). https://arxiv.org/abs/0811.2435.arXiv
  3. M. Kontsevich and Y. Soibelman, Analyticity and resurgence in wall-crossing formulas , Lett. Math. Phys. 112 (2022), Paper No. 32. doi:10.1007/s11005-022-01529-y (https://doi.org/10.1007/s11005-022-01529-y).DOI
  4. T. Mainiero, Algebraicity and asymptotics: An explosion of BPS indices from algebraic generating series , arXiv:1606.02693v1 (2016). https://arxiv.org/abs/1606.02693v1.arXiv
  5. L. Mou, Scattering diagrams for generalized cluster algebras , Algebra Number Theory 18 (2024), no. 12, 2179--2246. doi:10.2140/ant.2024.18.2179 (https://doi.org/10.2140/ant.2024.18.2179).DOI
  6. H. Notarantonio and S. Yurkevich, Systems of discrete differential equations, constructive algebraicity of the solutions , Combinatorial Theory 5 (2025), no. 2, Paper No. 1, 34 pp. doi:10.5070/C65265403 (https://doi.org/10.5070/C65265403).DOI
  7. F. Nie, H. Ye, S. Liu, Z. Wang, S. Ermon, and J. Zou, One-Sided Verification Under Limited Expert Review , arXiv:2610.18089v2 (2026). https://arxiv.org/abs/2610.18089v2.arXiv
  8. OSVerify contributors, Rethlas-OSV , software repository (2026). https://github.com/OSVerify/Rethlas-OSV.link
  9. D. Popescu, General Néron desingularization and approximation , Nagoya Math. J. 104 (1986), 85--115. doi:10.1017/S0027763000022698 (https://doi.org/10.1017/S0027763000022698).DOI
  10. M. Reineke, Cohomology of quiver moduli, functional equations, and integrality of Donaldson--Thomas type invariants (https://doi.org/10.1112/S0010437X1000521X), Compos. Math. 147 (2011), no. 3, 943--964.DOI
  11. M. Reineke and T. Weist, Refined GW/Kronecker correspondence , Math. Ann. 355 (2013), no. 1, 17--56. https://arxiv.org/abs/1103.5283.link

Version history

  1. v1Submitted by Qiyue TangInitial depositCurrentOct 29, 2026