pith. sign in

arxiv: 2507.08551 · v3 · submitted 2025-07-11 · ✦ hep-th

Black Hole Quantum Mechanics and Generalized Error Functions

Boris Pioline , Rishi Raj This is my paper

Pith reviewed 2026-05-19 05:44 UTC · model grok-4.3

classification ✦ hep-th
keywords BPS indicesmock modular formsgeneralized error functionssupersymmetric quantum mechanicslocalizationindefinite theta seriesD4-D2-D0 black holesS-duality
0
0 comments X

The pith

The refined Witten index of n-center BPS quantum mechanics yields generalized error functions via localization.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper derives the non-holomorphic completion for generating series of BPS indices counting D4-D2-D0 black hole microstates in Type II string compactifications. It demonstrates that for any number of centers the refined Witten index, computed by localization, reduces to an integral over the relative positions of the centers in R^{3n-3}. The integral factors into one piece over the 2n-2 dimensional phase space of BPS ground states and another over n-1 transverse directions, producing the generalized error functions that complete indefinite theta series to mock modular forms of higher depth. The result supplies the physical origin of the required non-holomorphic terms as spectral asymmetry in the scattering continuum of n mutually non-local BPS dyons. A reader would care because the construction extends the known two-center error function to arbitrary n and thereby makes the S-duality predictions for these generating series explicit.

Core claim

By evaluating the refined Witten index of the supersymmetric quantum mechanics describing n BPS dyons with mutually non-local charges using localization, the index reduces to an integral over R^{3n-3} (the relative location of the centers), and splits into an integral over the 2n-2 dimensional phase space of BPS ground states times an integral over n-1 transverse directions, which ultimately produces the expected generalized error functions.

What carries the argument

Localization applied to the refined Witten index of the n-center supersymmetric quantum mechanics, which reduces the computation to an integral over relative center positions that separates into BPS phase-space and transverse contributions.

Load-bearing premise

Localization can be applied directly to the refined Witten index of the supersymmetric quantum mechanics without missing or extra contributions from the continuous spectrum.

What would settle it

An explicit evaluation for n=3 that produces a function differing from the generalized error function required to cancel the modular anomaly in the corresponding BPS index generating series.

read the original abstract

In Type II Calabi-Yau string compactifications, S-duality predicts that suitable generating series of BPS indices counting microstates of D4-D2-D0 black holes are in general mock modular forms of higher depth. The non-holomorphic contributions needed to cancel the anomaly under modular transformations involve certain indefinite theta series with kernels constructed from generalized error functions. Physically, these contributions are expected to arise from a spectral asymmetry in the continuum of scattering states of $n$ BPS dyons with mutually non-local charges. For $n=2$, the (standard, depth one) error function completion was derived long ago by explicitly computing the bosonic and fermionic density of states in the two-body supersymmetric quantum mechanics. Here we derive the general non-holomorphic completion for an arbitrary number of centers by evaluating the refined Witten index of the supersymmetric quantum mechanics using localization. In a nutshell, the index reduces to an integral over $\mathbb{R}^{3n-3}$ (the relative location of the centers), and splits into an integral over the $2n-2$ dimensional phase space of BPS ground states times an integral over $n-1$ transverse directions, which ultimately produces the expected generalized error functions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that the non-holomorphic completion of generating series of BPS indices for D4-D2-D0 black holes, predicted to involve generalized error functions by S-duality, arises from spectral asymmetry in the scattering continuum of n BPS dyons. By applying localization to the refined Witten index of the associated supersymmetric quantum mechanics, the index reduces to an integral over relative center positions in R^{3n-3} that factors into a 2n-2 dimensional phase-space integral over BPS ground states plus an n-1 dimensional transverse integral, yielding the expected generalized error functions and extending the known n=2 case.

Significance. If the central derivation holds, the work supplies a physical derivation of the generalized error functions from the quantum mechanics of mutually non-local dyons, providing a systematic localization-based route to the non-holomorphic terms required for modular invariance at arbitrary depth. This strengthens the link between black-hole microstate counting and mock modular forms. The explicit factorization into phase-space and transverse integrals is a clear strength that could be checked against the n=2 benchmark.

major comments (2)
  1. [Localization argument (integral reduction over R^{3n-3})] The localization procedure applied to the refined Witten index on the non-compact space R^{3n-3}: the claim that the Q-exact deformation produces no boundary contributions from the asymptotic scattering states of the mutually non-local dyons is load-bearing for the factorization into the 2n-2 dimensional BPS phase-space integral and the n-1 dimensional transverse integral. Without explicit control over fall-off conditions or an explicit verification that reproduces the known n=2 error-function result, the transverse integral yielding the generalized error functions remains insufficiently justified.
  2. [Factorization into phase-space and transverse integrals] The splitting of the integral and the emergence of the generalized error functions from the transverse directions: the manuscript sketches the factorization but does not supply the detailed evaluation of the n-1 dimensional integral or error analysis that would confirm it produces the expected indefinite theta-series kernels.
minor comments (2)
  1. [Abstract] The abstract would be strengthened by a single sentence stating the precise dimension of the transverse integral (n-1) and noting that the result reproduces the standard error function for n=2.
  2. [Setup of the supersymmetric quantum mechanics] Notation for the refined Witten index and the charge vectors should be introduced with a short table or explicit definition in the setup section to improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable feedback on our manuscript. We address each major comment below and have updated the paper accordingly to improve the clarity and rigor of the localization argument.

read point-by-point responses

  1. Referee: The localization procedure applied to the refined Witten index on the non-compact space R^{3n-3}: the claim that the Q-exact deformation produces no boundary contributions from the asymptotic scattering states of the mutually non-local dyons is load-bearing for the factorization into the 2n-2 dimensional BPS phase-space integral and the n-1 dimensional transverse integral. Without explicit control over fall-off conditions or an explicit verification that reproduces the known n=2 error-function result, the transverse integral yielding the generalized error functions remains insufficiently justified.

    Authors: We acknowledge that the absence of boundary contributions is crucial and that more explicit justification would strengthen the argument. In the revised manuscript, we have added a detailed discussion of the fall-off conditions for the integrand in the asymptotic regions of R^{3n-3}. We show that the supersymmetric localization ensures the boundary terms vanish due to the exponential decay of the wavefunctions associated with the scattering states. Additionally, we have included an explicit verification for the n=2 case in a new appendix, where the localization reduces precisely to the known two-body error function computation, matching the results from the literature. revision: yes

  2. Referee: The splitting of the integral and the emergence of the generalized error functions from the transverse directions: the manuscript sketches the factorization but does not supply the detailed evaluation of the n-1 dimensional integral or error analysis that would confirm it produces the expected indefinite theta-series kernels.

    Authors: We agree that a more detailed evaluation of the transverse integral is necessary for full rigor. We have expanded Section 3 of the manuscript to provide the complete step-by-step computation of the n-1 dimensional integral over the transverse directions. This includes the explicit integration that yields the generalized error functions, along with an analysis of the convergence and the identification with the kernels of the indefinite theta series. We have also added remarks on potential error terms and their suppression in the relevant limits. revision: yes

Circularity Check

0 steps flagged

Localization-based derivation of generalized error functions is self-contained and independent of fitted inputs or self-referential definitions

full rationale

The paper starts from the standard definition of the refined Witten index for the supersymmetric quantum mechanics of n mutually non-local BPS dyons and applies localization to reduce it to an integral over relative center positions in R^{3n-3}. This integral is then factored into a 2n-2 dimensional phase-space integral over BPS ground states plus an n-1 dimensional transverse integral that produces the generalized error functions. The steps rely on the Q-exact deformation and the physical expectation of spectral asymmetry in the scattering continuum, without any parameter fitting, renaming of known results, or load-bearing self-citation that reduces the output to the input by construction. Prior n=2 results are cited only for motivation, and the general case follows directly from the integral evaluation. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard domain assumptions from string theory and supersymmetric quantum mechanics with no free parameters or new entities introduced in the abstract description.

axioms (2)
  • domain assumption S-duality in Type II Calabi-Yau string compactifications predicts that BPS index generating series are mock modular forms of higher depth
    Invoked in the opening sentence of the abstract as the starting physical prediction.
  • domain assumption Non-holomorphic contributions arise from spectral asymmetry in the continuum of scattering states of n BPS dyons
    Stated as the physical expectation that the mathematical completion should match.

pith-pipeline@v0.9.0 · 5739 in / 1411 out tokens · 52173 ms · 2026-05-19T05:44:18.945434+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

51 extracted references · 51 canonical work pages · 29 internal anchors

  1. [1]

    Microscopic Origin of the Bekenstein-Hawking Entropy

    A. Strominger and C. Vafa,Microscopic origin of the Bekenstein-Hawking entropy,Phys. Lett.B379 (1996) 99 [hep-th/9601029]

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  2. [2]

    Black Hole Entropy in M-Theory

    J.M. Maldacena, A. Strominger and E. Witten,Black hole entropy in M-theory,JHEP12(1997) 002 [hep-th/9711053]

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  3. [3]

    Multiple D3-instantons and mock modular forms I,

    S. Alexandrov, S. Banerjee, J. Manschot and B. Pioline,Multiple D3-instantons and mock modular forms I,Commun. Math. Phys.353(2017) 379 [1605.05945]

    work page arXiv 2017

  4. [4]

    Alexandrov, S

    S. Alexandrov, S. Banerjee, J. Manschot and B. Pioline,Multiple D3-instantons and mock modular forms II,Commun. Math. Phys.359(2018) 297 [1702.05497]

    work page arXiv 2018

  5. [5]

    Black holes and higher depth mock modular forms,

    S. Alexandrov and B. Pioline,Black holes and higher depth mock modular forms,Commun. Math. Phys. 374(2019) 549 [1808.08479]

    work page arXiv 2019

  6. [6]

    Alexandrov, J

    S. Alexandrov, J. Manschot and B. Pioline,S-duality and refined BPS indices,Commun. Math. Phys. 380(2020) 755 [1910.03098]

    work page arXiv 2020

  7. [7]

    Mock Modularity at Work, or Black Holes in a Forest,

    S. Alexandrov,Mock Modularity at Work, or Black Holes in a Forest,Entropy27(2025) 719 [2505.02572]

    work page arXiv 2025

  8. [8]

    Quantum Black Holes, Wall Crossing, and Mock Modular Forms

    A. Dabholkar, S. Murthy and D. Zagier,Quantum Black Holes, Wall Crossing, and Mock Modular Forms,1208.4074

    work page internal anchor Pith review Pith/arXiv arXiv

  9. [9]

    Mock theta functions

    S. Zwegers, “Mock theta functions.” PhD dissertation, Utrecht University, 2002

    work page 2002

  10. [10]

    Zagier,Ramanujan’s mock theta functions and their applications (after Zwegers and Ono-Bringmann),Astérisque(2009) Exp

    D. Zagier,Ramanujan’s mock theta functions and their applications (after Zwegers and Ono-Bringmann),Astérisque(2009) Exp. No. 986, vii

    work page 2009

  11. [11]

    Vignéras,Séries thêta des formes quadratiques indéfinies,Springer Lecture Notes627(1977) 227

    M.-F. Vignéras,Séries thêta des formes quadratiques indéfinies,Springer Lecture Notes627(1977) 227

    work page 1977

  12. [12]

    Wall-crossing made smooth

    B. Pioline,Wall-crossing made smooth,JHEP04(2015) 092 [1501.01643]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  13. [13]

    Mock modularity from black hole scattering states

    S. Murthy and B. Pioline,Mock modularity from black hole scattering states,JHEP12(2018) 119 [1808.05606]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  14. [14]

    The non-compact elliptic genus: mock or modular

    J. Troost,The non-compact elliptic genus: mock or modular,JHEP06(2010) 104 [1004.3649]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  15. [15]

    Non-holomorphic Modular Forms and SL(2,R)/U(1) Superconformal Field Theory

    T. Eguchi and Y. Sugawara,Non-holomorphic Modular Forms and SL(2,R)/U(1) Superconformal Field Theory,JHEP03(2011) 107 [1012.5721]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  16. [16]

    A Twisted Non-compact Elliptic Genus

    S.K. Ashok and J. Troost,A Twisted Non-compact Elliptic Genus,JHEP03(2011) 067 [1101.1059]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  17. [17]

    A holomorphic anomaly in the elliptic genus

    S. Murthy,A holomorphic anomaly in the elliptic genus,JHEP06(2014) 165 [1311.0918]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  18. [18]

    Localization and real Jacobi forms

    S.K. Ashok, N. Doroud and J. Troost,Localization and real Jacobi forms,JHEP04(2014) 119 [1311.1110]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  19. [19]

    Elliptic genera of ALE and ALF manifolds from gauged linear sigma models

    J.A. Harvey, S. Lee and S. Murthy,Elliptic genera of ALE and ALF manifolds from gauged linear sigma models,JHEP02(2015) 110 [1406.6342]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  20. [20]

    Squashed toric sigma models and mock modular forms

    R.K. Gupta and S. Murthy,Squashed toric sigma models and mock modular forms,1705.00649

    work page internal anchor Pith review Pith/arXiv arXiv

  21. [21]

    Squashed Toric Manifolds and Higher Depth Mock Modular Forms

    R. Kumar Gupta, S. Murthy and C. Nazaroglu,Squashed Toric Manifolds and Higher Depth Mock Modular Forms,JHEP02(2019) 064 [1808.00012]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  22. [22]

    Mock modularity and a secondary elliptic genus

    D. Gaiotto and T. Johnson-Freyd,Mock modularity and a secondary elliptic genus,JHEP08(2023) 094 [1904.05788]

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  23. [23]

    Alexandrov, S

    S. Alexandrov, S. Banerjee, J. Manschot and B. Pioline,Indefinite theta series and generalized error functions,Selecta Mathematica24(2018) 3927 [1606.05495]

    work page arXiv 2018

  24. [24]

    $r$-Tuple Error Functions and Indefinite Theta Series of Higher-Depth

    C. Nazaroglu,r-Tuple Error Functions and Indefinite Theta Series of Higher-Depth,Commun. Num. Theor. Phys.12(2018) 581 [1609.01224]. – 30 –

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  25. [25]

    A Strong Coupling Test of S-Duality

    C. Vafa and E. Witten,A Strong coupling test of S duality,Nucl.Phys.B431(1994) 3 [hep-th/9408074]

    work page internal anchor Pith review Pith/arXiv arXiv 1994

  26. [26]

    Göttsche and M

    L. Göttsche and M. Kool,RefinedSU(3)Vafa-Witten invariants and modularity,Pure and Applied Mathematics Quarterly14(2019) 467 [1808.03245]

    work page arXiv 2019

  27. [27]

    Thomas,EquivariantK-Theory and Refined Vafa-Witten Invariants,Commun

    R.P. Thomas,EquivariantK-Theory and Refined Vafa-Witten Invariants,Commun. Math. Phys.378 (2020) 1451 [1810.00078]

    work page arXiv 2020

  28. [28]

    From sheaves on P2 to a generalization of the Rademacher expansion

    K. Bringmann and J. Manschot,From sheaves onP2 to a generalization of the Rademacher expansion, Am. J. of Math.135(2013) 1039 [1006.0915]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  29. [29]

    Vafa-Witten theory and iterated integrals of modular forms

    J. Manschot,Vafa-Witten Theory and Iterated Integrals of Modular Forms,Commun. Math. Phys.371 (2019) 787 [1709.10098]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  30. [30]

    Alexandrov,Vafa–Witten invariants from modular anomaly,Commun

    S. Alexandrov,Vafa–Witten invariants from modular anomaly,Commun. Num. Theor. Phys.15(2021) 149 [2005.03680]

    work page arXiv 2021

  31. [31]

    Alexandrov,RankNVafa–Witten invariants, modularity and blow-up,Adv

    S. Alexandrov,RankNVafa–Witten invariants, modularity and blow-up,Adv. Theor. Math. Phys.25 (2021) 275 [2006.10074]

    work page arXiv 2021

  32. [32]

    Alexandrov and K

    S. Alexandrov and K. Bendriss,Modular anomaly of BPS black holes,JHEP12(2024) 180 [2408.16819]

    work page arXiv 2024

  33. [33]

    $R^3$ index for four-dimensional $N=2$ field theories

    S. Alexandrov, G.W. Moore, A. Neitzke and B. Pioline,R3 Index for Four-DimensionalN= 2Field Theories,Phys. Rev. Lett.114(2015) 121601 [1406.2360]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  34. [34]

    Stability and duality in N=2 supergravity

    J. Manschot,Stability and duality in N=2 supergravity,Commun. Math. Phys.299(2010) 651 [0906.1767]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  35. [35]

    Quantum Quivers and Hall/Hole Halos

    F. Denef,Quantum quivers and Hall/hole halos,JHEP10(2002) 023 [hep-th/0206072]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  36. [36]

    Framed BPS States, Moduli Dynamics, and Wall-Crossing

    S. Lee and P. Yi,Framed BPS States, Moduli Dynamics, and Wall-Crossing,JHEP04(2011) 098 [1102.1729]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  37. [37]

    H. Kim, J. Park, Z. Wang and P. Yi,Ab Initio Wall-Crossing,JHEP09(2011) 079 [1107.0723]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  38. [38]

    Quantizing N=2 Multicenter Solutions

    J. de Boer, S. El-Showk, I. Messamah and D. Van den Bleeken,Quantizing N=2 Multicenter Solutions, JHEP05(2009) 002 [0807.4556]

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  39. [39]

    I. Bena, M. Berkooz, J. de Boer, S. El-Showk and D. Van den Bleeken,Scaling BPS Solutions and pure-Higgs States,JHEP1211(2012) 171 [1205.5023]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  40. [40]

    Descombes and B

    P. Descombes and B. Pioline,On the Existence of Scaling Multi-Centered Black Holes,Annales Henri Poincare23(2022) 3633 [2110.06652]

    work page arXiv 2022

  41. [41]

    Wall-Crossing from Boltzmann Black Hole Halos

    J. Manschot, B. Pioline and A. Sen,Wall Crossing from Boltzmann Black Hole Halos,JHEP1107 (2011) 059 [1011.1258]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  42. [42]

    A fixed point formula for the index of multi-centered N=2 black holes

    J. Manschot, B. Pioline and A. Sen,A Fixed point formula for the index of multi-centered N=2 black holes,JHEP1105(2011) 057 [1103.1887]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  43. [43]

    Alexandrov and B

    S. Alexandrov and B. Pioline,Attractor flow trees, BPS indices and quivers,Adv. Theor. Math. Phys.23 (2019) 627 [1804.06928]

    work page arXiv 2019

  44. [44]

    Girardello, C

    L. Girardello, C. Imbimbo and S. Mukhi,On Constant Configurations and the Evaluation of the Witten Index,Phys. Lett. B132(1983) 69

    work page 1983

  45. [45]

    Imbimbo and S

    C. Imbimbo and S. Mukhi,Topological Invariance in Supersymmetric Theories With a Continuous Spectrum,Nucl. Phys. B242(1984) 81

    work page 1984

  46. [46]

    Beaujard, J

    G. Beaujard, J. Manschot and B. Pioline,Vafa–Witten Invariants from Exceptional Collections, Commun. Math. Phys.385(2021) 101 [2004.14466]

    work page arXiv 2021

  47. [47]

    Dabholkar, P

    A. Dabholkar, P. Putrov and E. Witten,Duality and Mock Modularity,SciPost Phys.9(2020) 072 [2004.14387]. – 31 –

    work page arXiv 2020

  48. [48]

    Göttsche,The Betti numbers of the Hilbert scheme of points on a smooth projective surface,Math

    L. Göttsche,The Betti numbers of the Hilbert scheme of points on a smooth projective surface,Math. Ann.286(1990) 193

    work page 1990

  49. [49]

    Chattopadhyaya, J

    A. Chattopadhyaya, J. Manschot and S. Mondal,Scaling black holes and modularity,JHEP03(2022) 001 [2110.05504]

    work page arXiv 2022

  50. [50]

    On the Coulomb and Higgs branch formulae for multi-centered black holes and quiver invariants

    J. Manschot, B. Pioline and A. Sen,On the Coulomb and Higgs branch formulae for multi-centered black holes and quiver invariants,JHEP05(2013) 166 [1302.5498]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  51. [51]

    K. Hori, H. Kim and P. Yi,Witten Index and Wall Crossing,JHEP01(2015) 124 [1407.2567]. – 32 –

    work page internal anchor Pith review Pith/arXiv arXiv 2015