{"id":"618500f6-7399-4ad7-8450-b8e4a2898077","arxiv_id":"2411.13824","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Modified helicity-trace indices for charged sectors of AdS3/CFT2 produce the Cardy/Bekenstein-Hawking entropy, reproducing Larsen-Martinec in the T^4 case and resolving the earlier HS2 mismatch in half-integer winding sectors.","lead":"This paper builds modified counting formulas (supersymmetric indices) for black hole microstates carrying momentum or winding charges in two-dimensional CFTs dual to three-dimensional gravity. The formulas reproduce the expected black hole entropy in charged sectors and offer a partial explanation of a known factor-of-two discrepancy in an N=(2,2) example.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The N=(2,2) resolution rests on an unproven saddle-dominance claim: footnote 5 asserts the θ4 term in (6.23) dominates without showing the asymptotic analysis; if another term dominates, (6.41) need not follow.","rationale":"The reader's verdict is CONDITIONAL, and I agree with the specific weakest assumption identified there. The N=4 analysis in Sections 4–5 is explicit, follows from the published MMS and Larsen–Martinec logic, and is largely checkable; the centrally extended algebra in Section 6.1 is also presented in enough detail to be verified. The N=2 result, however, is obtained by discarding three of the four terms in (6.23), and the only support for that discard is a one-sentence footnote. Since the saddle-point integrand is linear in the partition-function terms through the DMVV logarithm, the discarded terms could contribute at the same exponential order, and the paper gives no computation that excludes this. The concrete test I propose—an S-transform comparison of the four contributions at the saddle—would settle the issue. If the θ4 term indeed dominates, the central claim is supported; if not, the entropy formula (6.41) would require modification. This does not impeach the N=4 part or the algebraic framework, but it leaves the N=2 resolution conditional on an unshown asymptotic analysis. Hence the verdict remains CONDITIONAL pending that check.","tokens_in":24947,"tokens_out":9982,"duration_ms":94803,"concrete_test":"For a fixed sector with w_i∈Z+1/2 and large A=Nm−Σm_iw_i−j²/4, use the modular S-transformation to write each of the four terms of (6.23) at τ=iβ, z=1/2−ijβ/2, β→0+. Expand the transformed Jacobi theta functions θ_b(z/τ,−1/τ) to leading order and compute Re(log contribution) for each of the four terms. Verify that the θ4 term gives leading exponent 2π√A and that the other three have strictly smaller real part for all admissible m_i,w_i. As a numerical cross-check, evaluate the analogue of the integral (6.40) for each of the four terms at A∼10³ and confirm that the θ4 term dominates the sum; if any other term contributes a comparable or larger exponent, the derivation of (6.41) fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central N=(2,2) result (6.41) is obtained by keeping only the term (6.24), namely 2|θ4(z,τ)/θ4(τ)|²|θ1(z,τ)/η³(τ)|² times the half-integer-shifted T² lattice, out of the four terms in the full HS2 partition function (6.23). The text says that for the BTZ saddle (c=1,d=0) 'the term in the second line of (6.23) ... will give the maximum growth in the Cardy limit τ→0', and footnote 5 states that all other terms are subleading, but no derivation is supplied. This selection is load-bearing: the entire resolution of the mismatch found in [13] is the replacement of the problematic term (1.4) by the counting function (6.27) from this single term. The other three terms of (6.23) have the same overall e^{-2πiz²/τ} modular phase and differ only by theta-function prefactors and lattice shifts; under the saddle z0=1/2−jτ0/2, τ0→0, they may contribute at the same exponential order or even dominate. If so, the entropy formula (6.41) would either acquire a different coefficient or require a sum over multiple saddle contributions. A further difficulty is that the asserted dominance is needed not merely for the seed partition function but for the DMVV multi-wrapping sum in the sector w_i∈Z+1/2 at the actual saddle, and footnote 5 does not distinguish these. Additionally, the term displayed in (6.24) is the third line of (6.23), not the second line as stated, which makes the missing check harder to follow.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops modified supersymmetric index techniques for BPS states carrying target-space momentum and winding in AdS3/CFT2. In the N=(4,4) case with seed T4, the authors derive a centrally extended SUSY algebra in the topological sectors, define a regulated helicity-trace index, pass to the symmetric orbifold via a DMVV formula with charges, and reproduce by saddle-point analysis the Larsen-Martinec entropy. In the N=(2,2) case with seed HS2=T4/Z2, they propose an analogous modified first helicity-trace index and claim that in sectors with half-integer winding w_i, one term of the HS2 partition function dominates and yields the full Cardy entropy, thereby resolving the mismatch found in earlier work. The paper's central result is Eq. (6.41), S_index = 2π sqrt(N m - Σ m_i w_i - j^2/4), obtained from the counting function (6.27).","tokens_in":25228,"tokens_out":9025,"duration_ms":87265,"significance":"If the technical gaps are filled, this is a valuable extension of the MMS index framework to topologically charged sectors and a controlled demonstration that bose-fermi cancellations in the neutral sector can be avoided by moving to half-integer winding sectors. The algebraic computations in Sections 2 and 6.1 are explicit and checkable, the index evaluations (4.11) and (6.27) follow directly from known partition functions, and the N=(4,4) saddle-point result (5.4) is a clean reproduction of Larsen-Martinec. The main obstacle is the unproven saddle-dominance assertion in the N=(2,2) case; until that is justified, the central resolution claim is not fully established. The paper nevertheless provides concrete, checkable formulas and makes its scope and limitations unusually clear.","major_comments":[{"comment":"The central N=(2,2) result (6.41) is obtained by keeping only the term (6.24) from the four terms in the HS2 partition function (6.23). The justification is the statement that 'for the BTZ saddle (c=1,d=0) the term in the second line of (6.23) ... will give the maximum growth in the Cardy limit τ→0', with footnote 5 asserting that all other terms are subleading. This is a load-bearing assertion and it is not demonstrated. The four terms in (6.23) share the same overall modular phase e^{-2πi z^2/τ} in the saddle regime and differ by theta-function prefactors and lattice shifts, so their relative exponential order is not obvious and must be computed. The needed statement is also stronger than a statement about the seed partition function: it must hold for the DMVV multi-wrapping sum restricted to w_i∈Z+1/2 at the actual saddle z0=1/2−jτ0/2, τ0→0. Moreover, the displayed term (6.24) is the third line of (6.23), not the second line as stated; this misidentification makes the missing check harder to audit. If another term dominates, or several terms contribute at the same exponential order, Eq. (6.41) would need to be replaced by a different or summed saddle-point result.","section":"Sec. 6.3, Eqs. (6.23)-(6.24), footnote 5"},{"comment":"The reduction of the DMVV sum to a single term with n=N and s=1 is made without an estimate of the remaining contributions. Section 4.2 says 'Focusing on the presumably dominant contribution from n=N', and Section 6.3 says 'we also take s=1 and n=N'. Since the claimed entropy is the logarithm of the Fourier coefficient, exponentially subleading corrections from n<N or s>1 would not alter the result; however, if those contributions are not exponentially suppressed, they could change the coefficient of the entropy or introduce additional saddles. The paper should provide a Cardy-limit estimate of the omitted terms in the topological sectors, especially because the regulator shift δ/(4N) and the half-integer winding condition are new ingredients not present in the standard DMVV application.","section":"Sec. 6.3, Eq. (6.35); Sec. 4.2, Eq. (4.23)"},{"comment":"The derivation of the centrally extended algebra computes the anticommutators for an unorbifolded scalar and then imposes wi∈Z+1/2 in the twisted sector. Since the BPS bound (6.19) and the shortening condition (6.18) are the foundation for the index (6.22), a direct derivation of the anticommutators in the Z2-twisted Hilbert space would be valuable. In particular, the zero-mode structure in the twisted sector can differ from the untwisted one, and the assertion that the index contribution takes the same form (6.27) in every topological sector depends on this identification. The authors should either provide the twisted-sector derivation or explicitly state the assumptions under which the untwisted computation carries over.","section":"Sec. 6.1, Eqs. (6.13)-(6.14), Eq. (6.15)"}],"minor_comments":[{"comment":"The square roots in (5.3) and (6.40) require the combination N m - Σ m_i w_i - j^2/4 to be positive; the paper should state the allowed charge regime or comment on the branch choice.","section":"Secs. 5 and 6.4, Eqs. (5.3), (6.40)"},{"comment":"The symbol m is used both for the energy level and for the momentum charges m_i; using a different letter for the level, for example n or 𝔪, would reduce confusion.","section":"Secs. 4.2 and 6.3, Eqs. (4.21), (4.24), (6.35)"},{"comment":"The sentence 'we have chosen to define of the quantum numbers m1,2, w1,2' contains a grammatical error and should be rephrased as, for example, 'we have chosen to define the quantum numbers m1,2, w1,2 with respect to C ⊂ T4'.","section":"Sec. 6.3, sentence after Eq. (6.22)"},{"comment":"The abstract's phrase 'resolve a previous mismatch' should be qualified: the Discussion correctly notes that the mismatch in the uncharged sector, and more generally in sectors with wi∈Z, remains to be explained. Clarifying this in the introduction would prevent over-reading of the claim.","section":"Abstract and Sec. 7"}],"recommendation":"major_revision","confidential_remarks":"The paper is within scope for JHEP and makes a serious, checkable contribution. The main obstacle is the unproven saddle-dominance assertion behind Eq. (6.24); the paper's own footnote 5 is not a derivation. The authors should either supply a detailed asymptotic analysis of all four terms in (6.23), including the DMVV sum in the half-integer winding sector, or substantially weaken the central claim. I do not see grounds for rejection: the algebraic derivations are explicit and the gap is fixable within the manuscript's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something genuinely new: it defines modified helicity-trace indices for momentum/winding sectors in AdS3/CFT2 using a central extension of the SUSY algebra, and applies them to both the N=(4,4) T4 case and the N=(2,2) HS2 case. The N=4 part cleanly reproduces Larsen-Martinec, which is a good sanity check. The N=2 part produces a concrete result: in sectors with wi in Z+1/2, the modified first helicity-trace index gives S = 2π√(Nm − Σ miwi − j²/4), matching the Cardy/Bekenstein-Hawking entropy. That is a real step beyond the earlier uncharged-sector mismatch, and the paper is honest that the uncharged sector still lacks a bulk explanation.\n\nThe algebra computations in Sections 2 and 6.1 are explicit and checkable, and the index evaluations follow directly from known partition functions. The DMVV extension with topological charges in Appendix A is useful and clearly presented. The central-extension viewpoint is a real conceptual contribution, not just a technical trick.\n\nThe main soft spot is the load-bearing dominance claim in Section 6.3. The paper asserts that for the BTZ saddle the term displayed in (6.24) gives the maximum growth, with footnote 5 saying all other terms are subleading, but no asymptotic analysis is shown. The stress-test correctly points out that the other three terms in (6.23) have the same overall modular phase and could compete at the same exponential order. The mislabeling is also real: the term in (6.24) is the third line of (6.23), not the second line as stated. If another term dominates, the entropy formula (6.41) could change. This is not a tiny gap; the N=2 resolution stands or falls on it. The sector selection (half-integer winding) is guided by the desired answer, which is a fair concern, though not disqualifying if the dominance can be shown and the sector can be physically justified.\n\nAlso minor: the relation to MMS in the N=4 part is a reorganization rather than a new result, but it is done carefully. The paper would benefit from a short derivation of the subleading analysis, even just a sketch.\n\nThis paper is for specialists in black hole microstate counting, 2d superconformal indices, or AdS3/CFT2. It deserves a serious referee: the core idea is good, the algebra is checkable, and the missing piece is a well-defined calculation rather than a vague worry. I would send it to review, but I would ask the authors to supply the subleading-term analysis or at least a more careful saddle-point treatment, and to fix the line labeling. My own verdict is conditional pending that calculation.","headline":"A useful, mostly checkable extension of index counting to momentum/winding sectors, with a real N=2 result that currently rests on an unproven saddle-dominance claim.","tokens_in":25900,"tokens_out":3088,"would_cite":true,"duration_ms":56204,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that in the N=(2,2) AdS3/CFT2 duality, a supersymmetric index defined in sectors with half-integer winding charges counts the Bekenstein-Hawking entropy of the dual BPS black holes, resolving a known mismatch in the…","keywords":["AdS3/CFT2","supersymmetric index","BPS microstates","black hole entropy","symmetric orbifold","topological charges","central extension of SUSY algebra","helicity trace"],"falsifier":"Evaluate the full contour integral (6.39) numerically with the complete seed index including all four terms of (6.23) for a range of N, m, j and half-integer w_i; if the extracted degeneracy does not scale as exp(2π√(Nm − Σ m_i w_i − $j^{2}$/4)) in the Cardy limit, the claimed resolution fails.","tokens_in":24606,"feed_emoji":"🕳️","tokens_out":6845,"duration_ms":59402,"temperature":0.7,"pith_summary":"Supersymmetric index techniques had not been applied to the momentum and winding sectors of the standard N=(4,4) AdS3/CFT2 with symmetric orbifold target $T^{4}$, nor of its N=(2,2) variant with seed $T^{4}$/Z2. The paper shows that the obstruction is a central extension of the supersymmetry algebra in those sectors, and defines modified helicity-trace indices adapted to that extension. Applied to the N=(4,4) duality, the modified index reproduces known microstate counting for charged black holes. Applied to the N=(2,2) duality, the index in sectors with half-integer winding gives an entropy S = 2π√(Nm − Σ m_i w_i − $j^{2}$/4), matching the Bekenstein-Hawking entropy and resolving the factor-of-two mismatch seen in the topologically trivial sector. The resolution singles out a particular twisted-sector term in the seed partition function as the dominant contribution in the Cardy limit.","feed_headline":"Half-integer windings fix a black hole entropy mismatch","feed_subtitle":"A modified index in the N=(2,2) duality matches Bekenstein-Hawking entropy where the neutral-sector index returned only half.","key_machinery":"The load-bearing object is the modified first or second helicity-trace index defined on momentum- and winding-charged sectors: $E_1^{{m_i,w_i}}$ = Tr_{m_i,w_i}(−1)^{2J_0−2J̄_0} 2J̄_0 $q^{{L_0−δ/4N}}$ $y^{{2J_0}}$ for the N=(2,2) case, and the analogous E_2 with (2J̄_0)^2 for the N=(4,4) case. The index is engineered to vanish on long representations of the centrally extended algebra and to count states that saturate the BPS bound L̄_0 = (1/4N)Σ $ū_i^{2}$. The companion piece is the symmetric-orbifold product formula that lifts the seed index to sym^N, tying the degeneracy of the long-string sector to the Fourier coefficients ĉ(Nm − Σ m_i w_i, j).","core_discovery":"The central claim is that BPS microstates of topologically charged black holes in AdS3/CFT2 are counted by modified helicity-trace indices built from a centrally extended N=(4,4) or N=(2,2) superconformal algebra. In the momentum and winding sectors the algebra acquires extra chiral-charge terms proportional to ū_i = m_i/R_i − w_i R_i, giving a BPS bound L̄_0 ≥ (1/4)Σ $ū_i^{2}$ for the seed and L̄_0 ≥ (1/4N)Σ $ū_i^{2}$ for the symmetric orbifold. The index soaks up target-space fermion zero modes by insertions of 2J̄_0 or (2J̄_0)^2 and removes the topological contribution to L_0. In the N=(2,2) case with seed $T^{4}$/Z2, the relevant term in the seed partition function is the twisted sector with a half-integer-shifted momentum lattice; the saddle-point analysis gives S_index = 2π√(Nm − Σ m_i w_i − $j^{2}$/4), equal to the Cardy entropy. This is presented as resolving the previous mismatch found in the topologically trivial sector, which had yielded half the Bekenstein-Hawking entropy.","pith_inferences":["Editorial inference: the central-extension mechanism suggests that index-based microstate counting for N=(2,2) orbifolds with k > 2 may succeed in the corresponding half-integer winding sectors with the same saddle-point form, though the paper only states this expectation qualitatively.","Editorial inference: the algebra diagonalization points to a general pattern—whenever a supersymmetry algebra is centrally extended by conserved charges, the BPS bound shifts by the norm of those charges and the index should be defined with the shifted L_0; this could transfer to other AdS/CFT pairs with momentum or winding sectors.","Editorial inference: a concrete testable extension is to compute the modified index of the HS2 symmetric orbifold at finite N and compare the exact degeneracies with the saddle-point formula, since the paper provides only the asymptotic Cardy-limit result."],"forward_implications":["If correct, the N=(2,2) mismatch is not a failure of black-hole thermodynamics but an artifact of working in the neutral sector: the true protected count lives in sectors with half-integer winding.","The modified indices provide protected counting of states with L̄_0 > 0, showing that supersymmetric indices can be adapted to BPS states whose nonzero right-moving energy comes from topological charges.","In the N=(4,4) case the charged-sector index reproduces the known Cardy/Bekenstein-Hawking entropy S = 2π√(Nm − Σ m_i w_i − j^2/4), giving an index-based derivation of earlier microstate counting.","The factor-of-two suppression seen in the N=(2,2) neutral sector is attributed to bose-fermi cancellations, and the paper expects analogous cancellations to explain the fractional mismatch in other Z_k orbifold variants."],"supporting_citations":[{"why":"Supplies the original second helicity-trace index for the T4 symmetric orbifold that the paper extends to charged sectors.","marker":"[7]"},{"why":"Establishes the N=(2,2) seed index and documents the factor-1/2 mismatch that the paper resolves.","marker":"[13]"},{"why":"Gives the earlier microstate counting of topologically charged black holes that the N=(4,4) analysis reproduces.","marker":"[16]"},{"why":"Provides the symmetric-orbifold product formula used to lift seed partition functions to sym^N.","marker":"[18]"},{"why":"Supplies the saddle-point evaluation method used for the contour integrals.","marker":"[28]"},{"why":"Motivates the central-extension analogy from 4d N=2 gauge theory that underlies the modified algebras.","marker":"[20]"}],"fun_headline_variants":["Winding sectors fix black hole entropy mismatch in AdS3/CFT2","Half-integer windings match Bekenstein-Hawking entropy","Modified index counts BPS microstates with momentum and winding","Centrally extended SUSY algebra enables BPS microstate counting"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything in the N=(2,2) entropy match hangs on the assertion that one particular twisted-sector term in the seed partition function—the term with a half-integer-shifted lattice and no group insertion—dominates the Cardy-limit saddle point; the paper states this was checked but does not display the comparison of the four terms.","fun_headline_variants_meta":{"raw":{"variants":["Winding sectors fix black hole entropy mismatch in AdS3/CFT2","Half-integer windings match Bekenstein-Hawking entropy","Modified index counts BPS microstates with momentum and winding","Centrally extended SUSY algebra enables BPS microstate counting"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000495,"raw_usage":{"total_tokens":2469,"prompt_tokens":1026,"completion_tokens":1443,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":642,"completion_tokens_details":{"reasoning_tokens":1368}},"tokens_in":642,"tokens_out":1443,"duration_ms":13244,"temperature":1.0,"reasoning_tokens":1368,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:52:15.527880+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the full contour integral (6.39) numerically with the complete seed index including all four terms of (6.23) for a range of N, m, j and half-integer w_i; if the extracted degeneracy does not scale as exp(2π√(Nm − Σ m_i w_i − $j^{2}$/4)) in the Cardy limit, the claimed resolution fails.","supporting_citations":[{"cited_title":"Modified supersymmetric indices in AdS$_3$/CFT$_2$","cited_arxiv_id":"2307.15037","evidence_quote":"Establishes the N=(2,2) seed index and documents the factor-1/2 mismatch that the paper resolves."}],"review_version":1}