{"id":"2351bcb6-df19-4ace-b8fd-ad379a26dd7b","arxiv_id":"2412.03697","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Near-BPS AdS4 Kerr-Newman black holes are described by an SU(1,1|1) super-Schwarzian theory, yielding a predicted mass gap of order N^{-3/2} and a continuous spectrum above it in ABJM.","lead":"This paper argues that quantum fluctuations of near-extremal rotating Kerr-Newman black holes in AdS4 are described by an N=2 super-Schwarzian theory with SU(1,1|1) symmetry. It then predicts a mass gap of order N^{-3/2} between the BPS ground states of ABJM and the lightest excited states, together with the shape of the spectrum above that gap.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Internal sign inconsistency in M_gap (Eq. 3.31) makes the claimed positive mass gap in Eq. 4.28 negative for all allowed BPS parameters; the omitted second-order coefficients prevent verifying which sign is correct.","rationale":"The reader's weakest assumption concerned the unproven reduction to the N=2 Schwarzian EFT and possible additional light fields. That is a valid concern, but it is broad and difficult to falsify from the paper alone. I instead identify a more concrete, internally checkable threat: the sign inconsistency between the two expressions for M_gap^{-1} in Eq. (3.31) and the resulting negative Δ_gap in Eq. (4.28). This directly targets the paper's central numerical claim and can be settled by computing the omitted second-order coefficients, which the authors state can be done with symbolic manipulation software. If the negative sign in (4.28) is real, the mass gap is negative, violating the BPS bound and invalidating the spectrum; if it is a typo, the fix is straightforward but must be verified. Since the paper explicitly leaves the second-order coefficients unreported, the reader cannot independently check this crucial step, and the verdict should remain conditional pending this check. The reader's original concern about the EFT reduction is not contradicted, but I do not think it is the single most load-bearing issue: even granting the full Schwarzian reduction, the extracted gap parameter must be positive and correctly computed for the claim to hold. My recommendation is UNCHANGED because the verdict was already CONDITIONAL; the condition is now sharpened to include this sign/coefficient check.","tokens_in":23592,"tokens_out":18950,"duration_ms":172348,"concrete_test":"Recompute the second-order low-temperature expansion of the on-shell action (2.15) with the mixed-ensemble boundary term (3.23), evaluating the omitted coefficients δr^{(2)}, δa^{(2)}, δq^{(2)} in the expansion (3.24) for a representative BPS parameter (e.g., coth δ* = 3/2). Verify the coefficient of 2π^2/β in Eq. (3.29), i.e., M_gap^{-1}; check whether it equals the positive first expression in (3.31), a_*^{3/2}/[(1-a_*)(1+6a_*+a_*^2)], or the negative second expression. Confirm that Δ_gap = M_gap/32 > 0 for all 1 < coth δ* < 2. This settles whether the displayed sign error is a typo or a genuine flaw in the extracted gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central prediction is the positive mass gap Δ_gap = M_gap/32 of order N^{-3/2} before a continuum. The value of M_gap comes from the low-temperature expansion of the on-shell action in §3.4, but the paper does not report the second-order expansion coefficients. As written, Eq. (3.31) gives two expressions for M_gap^{-1} that differ by a sign: with c = coth δ*, a_* = c - 1, the first expression is (c-1)^{3/2}/[(2-c)(c^2+4c-4)] while the second is (c-1)^{3/2}/[(2-c)(4-c(c+4))] = -(c-1)^{3/2}/[(2-c)(c^2+4c-4)]. For all BPS solutions in the allowed range 1 < c < 2, the first is positive and the second is negative. Eq. (4.28) then uses the second (negative) expression, so Δ_gap = M_gap/32 is negative. A negative gap would place the continuum below the BPS energy, violating the BPS bound Δ ≥ Δ_BPS and contradicting the paper's stated spectrum. This is not merely cosmetic: if the true coefficient in Eq. (3.29) is negative, the central claim fails; if the sign is a typo, the positive gap is recovered, but the missing second-order coefficients must still be provided to establish the result. Either way, the formula as written does not support the headline prediction.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the near-BPS limit of rotating, electrically charged Kerr-Newman black holes in AdS4 minimal gauged supergravity, viewed as a consistent truncation of 11-dimensional supergravity on S^7 dual to ABJM. The authors argue that the low-temperature gravitational path integral around the BPS solution is governed by an N=2 super-Schwarzian / JT theory with SU(1,1|1) symmetry, whose parameters S*, R*, and M_gap are fixed by a low-temperature expansion of the mixed-ensemble on-shell action in Sec. 3.4. Combining this with the exact N=2 JT partition function, they extract a density of supermultiplets in Eq. (4.29) consisting of e^{S*} BPS states at Δ_BPS, a gap Δ_gap = M_gap/32, and a continuum, and they provide the analogous non-BPS density in Eq. (4.33). The paper also checks consistency with the large-N superconformal index of ABJM and with the Bekenstein-Hawking entropy at large energies.","tokens_in":23956,"tokens_out":6145,"duration_ms":57960,"significance":"If correct, the paper gives a concrete, falsifiable prediction for the coarse-grained spectrum of ABJM near the BPS bound: a discrete BPS degeneracy, a mass gap of order N^{-3/2}, and a random-matrix-like continuum. The final density-of-states formulas are explicit and internally structured, and the recovery of the superconformal index from the Schwarzian partition function is a genuine consistency check. The identification of r=1 and ϑ=0 from ABJM data is also a useful step. The main weakness is that the reduction from the four-/eleven-dimensional theory to N=2 JT is assumed rather than derived; this is acknowledged in Sec. 1 and Sec. 3.3, but it remains the load-bearing premise. In addition, the sign inconsistency in Eq. (3.31) means that, as written, the headline gap is negative; this must be resolved before the physical claim can be evaluated.","major_comments":[{"comment":"The two expressions for M_gap^{-1} in Eq. (3.31) are not equivalent. Writing c = coth δ*, the first denominator is G(2-c)(c^2+4c-4), while the second is G(2-c)(4-c(c+4)) = -G(2-c)(c^2+4c-4). For the BPS range 1 < c < 2 both factors (2-c) and (c^2+4c-4) are positive, so the two expressions have opposite signs. Equation (4.28) then uses the second, negative form, giving Δ_gap = M_gap/32 < 0. A negative gap would place the continuum below the BPS energy Δ_BPS, violating the BPS bound and contradicting the stated spectrum. Since the second-order expansion coefficients that determine this coefficient are explicitly not reported, the reader cannot tell whether this is a typo or an actual sign error in the expansion. This must be corrected, and the missing coefficients supplied, before the central claim is supported.","section":"§3.4, Eq. (3.31); §4.2, Eq. (4.28)"},{"comment":"The paper's central premise is that the low-temperature dynamics of the full AdS4 × S^7 / ABJM system is exactly the boundary N=2 super-Schwarzian mode with r=1, ϑ=0, with all other light fields integrated out. This premise is not derived: Sec. 1 states that a dimensional reduction is technically unwieldy and that the authors instead use semiclassical thermodynamics and symmetries, and Sec. 3.3 explicitly sets aside the one-loop determinants of the higher-dimensional theory. The later use of the exact N=2 JT partition function in Eq. (3.22) does not by itself establish that no other modes contribute at leading order. This is a correctness risk rather than an internal inconsistency, but it is load-bearing: any additional light mode or a different U(1)_R bundle would change M_gap and the extracted density of states. A concrete check would be to compute the one-loop determinants of the gravitino and graviphoton in the near-horizon AdS2 × S^2 truncation, or to match the log T coefficient against an independent near-extremal calculation.","section":"§1 and §3.3"}],"minor_comments":[{"comment":"The sentence 'This behavior is displayed in in Fig 1' contains a duplicated 'in'; it should read 'displayed in Fig. 1'.","section":"Introduction, p. 6"},{"comment":"The phrase 'this strategy has a a few disadvantages' contains a duplicated article; it should read 'has a few disadvantages'.","section":"§3.3, p. 18"},{"comment":"The text says 'the later case indicates an anomaly'; this should be 'the latter case indicates an anomaly'.","section":"§3.3, p. 20"},{"comment":"Independently of the sign issue, Eq. (3.31) would benefit from an explicit statement of the allowed range of δ* (or c = coth δ*) for which the BPS solution exists and the gap is positive; Eq. (4.28) should likewise state this range.","section":"§3.4, Eq. (3.31)"},{"comment":"The integration constant is written as 'Z_{β→∞} δ_{ZSch,0}', which mixes a number with a Kronecker delta in a notation that is ambiguous; please clarify that the first term is the β → ∞ limit of the ZSch = 0 contribution.","section":"§4.1, Eq. (4.14)"},{"comment":"The statement 'We have already determined r=1 from the microscopic partition function' is stronger than the preceding discussion supports; the text only rules out fractional R-charges among elementary fields. A brief explanation of why this rules out fractional charges in the large-charge sector relevant to the black hole would be helpful.","section":"§3.3, p. 18"}],"recommendation":"major_revision","confidential_remarks":"The sign inconsistency in Eq. (3.31) is a concrete, load-bearing error, but it is local and likely fixable by supplying the correct expansion coefficients. The reduction assumption is shared with recent literature (e.g. refs. [5,13]) and is acceptable if framed as an assumption, but the authors should be explicit that the one-loop determinants are imported from N=2 JT rather than computed from the four-/eleven-dimensional theory. No concerns about novelty or citation practice."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a legitimate extension of the near-BPS Schwarzian program to AdS4 Kerr-Newman/ABJM, with a concrete new prediction (the N^{-3/2} mass gap and an explicit density of states). The central result is not settled as written: Eq. (3.31) contains a sign inconsistency that makes the gap in Eq. (4.28) negative for every allowed BPS parameter, and the omitted second-order coefficients are exactly what would resolve it.\n\nWhat is new: the paper fixes r=1 and ϑ=0 for the ABJM sector, computes M_gap from the on-shell action, and writes down the explicit density formulas (4.29)-(4.33). The N=2 JT/Schwarzian framework is imported from earlier work, but that is the right tool, and the authors are transparent about it. They also state clearly that the reduction from 11d/4d to N=2 JT is an argument based on symmetries and thermodynamics, not a derivation, and they set aside the higher-dimensional one-loop determinants. That is an acceptable starting point, provided the final formulas are internally consistent.\n\nThe problem is the stress-test note: it holds up. In Eq. (3.31), with c = coth δ*, the two displayed expressions for M_gap^{-1} are negatives of one another because 4 - c(c+4) = -(c^2+4c-4). For the allowed range 1<c<2, the first is positive and the second is negative. Eq. (4.28) uses the second form, so Δ_gap as printed is negative, which would place the continuum below the BPS bound and contradict the paper's own spectrum. This is likely a sign typo, and the first expression in (3.31) would restore the positive gap, but the authors explicitly do not report the second-order expansion coefficients in Sec. 3.4, so the reader cannot verify which sign is correct. The mass gap is the headline result; as written, the formula does not support it. The fix is straightforward — report the second-order coefficients and correct the sign — but it needs to be done.\n\nMinor: the word \"proof\" in the Discussion overstates the index consistency check. That check is a nontrivial consistency test of the Schwarzian model, not a proof of the spectrum.\n\nBottom line: the paper deserves a serious referee. The framework is sound, the new application is real, and the defect is identifiable and fixable. I would send it to review with instructions to verify the sign and the second-order expansion, but I would not cite it in its current form.","headline":"Solid extension of the near-BPS Schwarzian program to AdS4/ABJM with a genuine new prediction, but the printed sign of the mass gap is internally inconsistent and the missing second-order coefficients leave the central claim unverified.","tokens_in":24494,"tokens_out":5013,"would_cite":false,"duration_ms":43408,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.Dy","11.25.Tq"],"model":"deepseek-v4-flash","headline":"Near-BPS Kerr-Newman black holes in AdS4 reduce to an N=2 super-Schwarzian theory, fixing an N^{-3/2} gap in the ABJM spectrum.","keywords":["near-extremal black holes","Kerr-Newman AdS4","N=2 JT gravity","super-Schwarzian","ABJM","superconformal index","mass gap","AdS4/CFT3"],"falsifier":"Compute the one-loop determinant of 4d N=2 gauged supergravity around the near-horizon AdS2 throat of the Kerr-Newman solution: if any light mode contributes a temperature dependence different from the Schwarzian term in (3.32), or if the coefficient disagrees with $M_{\\mathrm{gap}}$ in (3.31), the extracted density of states and the $N^{-3/2}$ gap are invalid.","tokens_in":23387,"feed_emoji":"🕳️","tokens_out":11547,"duration_ms":103620,"temperature":0.7,"pith_summary":"The paper sets out to show that the low-temperature thermodynamics of a supersymmetric, rotating, electrically charged black hole in four-dimensional anti-de Sitter space is not described by naive semiclassical gravity: quantum fluctuations of the near-horizon AdS2 throat are strong and must be resummed. It argues that in a mixed grand-canonical/canonical ensemble the correct low-energy description is the N=2 super-Schwarzian theory with SU(1,1|1) symmetry, a two-dimensional boundary theory whose partition function is known exactly. Applied to ABJM, the dual three-dimensional superconformal theory of M2-branes, this predicts an exactly degenerate set of $e^{S_*}$ BPS states at the BPS scaling dimension, a mass gap of order $N^{-3/2}$, and a continuous density of states above the gap. Because the same calculation reproduces the large-$N$ superconformal index and the black hole area law at large energy, the proposal offers a way to compute the average spectrum of unprotected operators in a strongly coupled CFT at low temperature.","feed_headline":"The ABJM spectrum gains an N^{-3/2} mass gap above BPS states","feed_subtitle":"Quantum throat fluctuations fix the whole near-BPS spectrum: exponential BPS degeneracy, a gap, then a predicted continuum.","key_machinery":"The load-bearing object is the N=2 super-Schwarzian (equivalently N=2 JT) partition function, the boundary mode of the near-horizon AdS2 throat that survives as the soft gravitational fluctuation. Its exact form is $Z_{\\mathcal{N}=2\\,\\mathrm{JT}}(\\beta,\\alpha;r,\\vartheta)=\\sum_{m\\in\\frac{1}{r}\\mathbb{Z}} e^{ir\\vartheta m}\\frac{2\\cos(\\pi(\\alpha+m))}{\\pi(1-4(\\alpha+m)^2)}e^{S_0+\\frac{2\\pi^2}{\\beta M_{SU(1,1|1)}}(1-4(\\alpha+m)^2)}$, where the prefactor is the one-loop determinant and the exponential is the re-summed Gibbons-Hawking free energy. The paper fixes the effective field theory data not by a full dimensional reduction but by matching the low-temperature expansion of the AdS4 Kerr-Newman on-shell action to this form, yielding the mass scale $M_{\\mathrm{gap}}$, and by using ABJM charge quantization and anomaly arguments to fix $r=1$ and $\\vartheta=0$. This object is what turns the classical thermodynamics into a fully quantum partition function, from which the density of states is extracted by Laplace transform.","core_discovery":"The central claim is that the reduced gravitational path integral for the AdS4 Kerr-Newman black hole in the near-BPS regime is, up to non-universal corrections, the partition function of N=2 JT supergravity with SU(1,1|1) symmetry, Eq. (1.1), with the extremal entropy $S_*$ as $S_0$, a scale $M_{\\mathrm{gap}}$ playing the role of $M_{SU(1,1|1)}$, and the ABJM-specific discrete parameters $r=1$, $\\vartheta=0$. Expanding the black hole on-shell action around the BPS limit produces $I_{\\mathrm{ME}} = -S_* - 4\\pi i\\alpha R_* - \\frac{2\\pi^2}{\\beta M_{\\mathrm{gap}}}(1-4\\alpha^2)$, whose $\\alpha$-dependence fixes the holonomy spectrum of the $U(1)_R$ gauge field. The Laplace transform then yields the density of supermultiplets (4.29): for $R=R_*$ there is a Dirac delta of weight $e^{S_*}$ at $\\Delta=\\Delta_{\\mathrm{BPS}}$ followed by a $\\sinh$-shaped continuum starting at $\\Delta_{\\mathrm{BPS}}+\\Delta_{\\mathrm{gap}}$ with $\\Delta_{\\mathrm{gap}}=M_{\\mathrm{gap}}/32=O(N^{-3/2})$, while for $R\\neq R_*$ the density of states vanishes at zero temperature and the continuum starts at a per-charge gap. At $\\alpha=1/2$ the partition function reduces exactly to the large-$N$ superconformal index, $Z=(-1)^{2R_*}e^{S_*}$, so the BPS degeneracy is not an artifact of index cancellations.","pith_inferences":["If the Schwarzian sector is universal across M-theory compactifications, the same density formula should hold with $M_{\\mathrm{gap}}$ and $R_*$ computed per compactification, so the gap value but not its qualitative shape would change.","The $N^{-3/2}$ gap is parametrically larger than the exponentially small level spacing of non-BPS operators, so corrections from finite gauge coupling are unlikely to wash it out; a small-$N$ numerical computation of the ABJM supercharge spectrum could look for the start of the continuum at the predicted gap.","The paper implicitly identifies the non-BPS density (4.33) as the onset of random-matrix behavior; a direct check would be to compute the spectral form factor of the SU(1,1|1) ensemble and see whether its late-time plateaus match the BPS degeneracy $e^{S_*}$."],"forward_implications":["If the central claim is correct, the near-BPS spectrum of ABJM at fixed charge $R_*$ is fully determined: $e^{S_*}$ BPS states at $\\Delta_{\\mathrm{BPS}}$, no microstates inside a gap of width $\\Delta_{\\mathrm{gap}}=O(N^{-3/2})$, and a continuous sinh-shaped density above it.","For charge sectors with $R\\neq R_*$, the density of states starts at a finite energy and vanishes as $T\\to 0$, meaning there are no extremal black hole microstates in those sectors.","The large-$N$ superconformal index is recovered with no Bose-Fermi cancellations, so the BPS degeneracy is genuinely $e^{S_*}$ and the index does not hide a vanishing ground state count.","At large energies the same density of states reproduces the black hole area law, while at low energies it is consistent with the random-matrix statistics of the SU(1,1|1) ensemble, unifying thermodynamic and spectral descriptions."],"supporting_citations":[{"why":"Supplies the ABJM superconformal index conventions, charge quantization, and BPS phase structure that the near-BPS partition function must reproduce.","marker":"[30]"},{"why":"Gives the exact N=2 Schwarzian partition function and one-loop determinant used as the quantum-corrected answer.","marker":"[9]"},{"why":"Provides the bootstrap solution of the Schwarzian theory that fixes the same partition function.","marker":"[10]"},{"why":"Establishes the near-BPS statistical-mechanics framework and the fermion determinants that make the low-temperature spectrum supersymmetric.","marker":"[5]"},{"why":"Sets up the mixed-ensemble method and the AdS5 near-BPS analysis that this paper adapts to AdS4.","marker":"[13]"},{"why":"Fixes the near-extremal statistical-mechanics logic that identifies the Schwarzian sector from thermodynamic data.","marker":"[4]"},{"why":"Supports the vanishing of the 4d topological $\\vartheta$-term for the M-theory compactification, fixing $\\vartheta=0$ for ABJM.","marker":"[39]"}],"fun_headline_variants":["Near-BPS black holes reveal N^{-3/2} gap in ABJM spectrum","Super-Schwarzian fixes ABJM mass gap above BPS states","Black hole quantum throat yields ABJM BPS gap prediction","Kerr-Newman fluctuations set ABJM mass gap at N^{-3/2}","ABJM spectrum: gap of order N^{-3/2} above BPS states"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper assumes, without carrying out a full dimensional reduction, that the low-temperature sector of the full gravitational theory is exactly the N=2 super-Schwarzian mode with $r=1$ and $\\vartheta=0$ and that no other light fields contribute at leading order.","fun_headline_variants_meta":{"raw":{"variants":["Near-BPS black holes reveal N^{-3/2} gap in ABJM spectrum","Super-Schwarzian fixes ABJM mass gap above BPS states","Black hole quantum throat yields ABJM BPS gap prediction","Kerr-Newman fluctuations set ABJM mass gap at N^{-3/2}","ABJM spectrum: gap of order N^{-3/2} above BPS states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000728,"raw_usage":{"total_tokens":3378,"prompt_tokens":1179,"completion_tokens":2199,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":795,"completion_tokens_details":{"reasoning_tokens":2111}},"tokens_in":795,"tokens_out":2199,"duration_ms":15139,"temperature":1.0,"reasoning_tokens":2111,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T22:11:08.236016+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the one-loop determinant of 4d N=2 gauged supergravity around the near-horizon AdS2 throat of the Kerr-Newman solution: if any light mode contributes a temperature dependence different from the Schwarzian term in (3.32), or if the coefficient disagrees with $M_{\\mathrm{gap}}$ in (3.31), the extracted density of states and the $N^{-3/2}$ gap are invalid.","supporting_citations":[{"cited_title":"Wrapped $M5$-branes and complex saddle points","cited_arxiv_id":"2110.15955","evidence_quote":"Supports the vanishing of the 4d topological $\\vartheta$-term for the M-theory compactification, fixing $\\vartheta=0$ for ABJM."}],"review_version":1}