{"id":"6c0d21f3-6162-448b-b438-5c0a710cd9ab","arxiv_id":"2608.11299","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New supergravity black string saddles reproduce the large-N topologically twisted index of 4d N=1 SCFTs on T^2 × Σ_g via the on-shell action I = -π i c/(12τ).","lead":"This paper finds new supergravity solutions describing rotating, electrically and magnetically charged black strings whose Euclidean versions match a known quantum field theory partition function. The match provides a gravitational derivation of the topologically twisted index on a torus times a Riemann surface.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central TTI match assumes generic complex supersymmetric saddles exist; only the almost-real sub-locus (τ purely imaginary) is numerically constructed, so eq. (5.38) is conditional on an unverified existence statement.","rationale":"The reader's weakest assumption identifies exactly the same point: the generic complex family is assumed to exist but is not directly constructed. I agree with that identification. I considered two other candidate concerns: the disclosed scheme dependence of the on-shell action (Section 3 footnote, Section 4.9 counterterm Θ) and the use of the Lorentzian timelike classification for complex Euclidean saddles. The scheme dependence is real but the paper explicitly declares the scheme it follows ([4,24]) and the final supersymmetric result is at least formally scheme-consistent; it is a secondary ambiguity rather than the primary obstacle. The classification gap is related to the complex-existence issue but is less concrete to test. The existence problem is the most load-bearing because eq. (5.38) and the identification 'complex black saddles provide the holographic dual' presuppose a saddle of the path integral. The on-shell action localization (4.30) shows boundary determination once a solution exists, but it cannot certify existence. The 10th-order perturbative matching in Sections 5.2–5.4 is suggestive but asymptotic matching does not guarantee smooth global solutions, especially for complex ODEs where the real shooting has only been run on a sub-locus. The 'almost real' sub-locus has real ω and therefore only covers τ on the imaginary axis; it does not test the generic τ dependence of the TTI. A targeted complex shooting test, as proposed, would settle whether the concern lands. In good faith, the paper is technically substantial and the analytic derivation of the action from IOMs is a strong independent element, but the missing existence proof for the generic complex saddle keeps the central claim conditional. My recommendation therefore leaves the reader's CONDITIONAL verdict unchanged.","tokens_in":56251,"tokens_out":7200,"duration_ms":67911,"concrete_test":"Shoot the complexified system from the IR expansion (5.43) with a generic complex τ, e.g. τ = (1+i)/2 (ω = π(-1+i)), and with complex ct, cφ, cΣ and ψH, ψ∞ chosen so that all supersymmetry constraints in Section 5.2, including (5.31), are satisfied. Integrate the complex ODEs (4.10) to large r, then check pointwise: (i) the Hamiltonian constraint (4.11) to at least O(10^-8); (ii) the five IOM identities (4.70); and (iii) that the read-off UV data matches the 10th-order supersymmetric expansion (5.41). If a one-parameter family of such complex saddles exists and reproduces I = -πic/(12τ), the existence gap is closed; if the complex shooter fails to find smooth asymptotically locally AdS5 solutions for generic τ, the central claim must be weakened to the real-ω sub-locus.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central identification in Sections 5.2–5.3, eq. (5.38), requires a smooth complex Euclidean black-saddle solution for generic torus modulus τ. The evidence for existence of this generic family is only a 10th-order match between the UV expansion (5.41) and IR expansion (5.43), plus analytic limits in Section 5.5. The numerical shooting in Section 5.4 is explicitly restricted to the 'almost real' sub-locus (5.46): ct, cφ, cΣ, β, ω, ℓΣ, Ω are real while ψH, ψ∞ are imaginary. On that locus ω is real, so τ = ω/(2πi) is purely imaginary; it does not sample generic complex τ, including the phase of the TTI. Since the non-supersymmetric localization formula (4.30) computes the action only for solutions of the EOMs, it cannot by itself establish existence of the complex saddle. The paper itself flags this: Section 5.4 notes the generic solution is complex and asks 'so how can we build a numerical shooter?', and Section 6 says numerical existence is established only for the almost-real sub-family. Thus the load-bearing premise is the existence of the generic complex interpolation; if that premise fails, the dual description of the TTI for generic τ is unsupported, and eq. (5.38) would hold only on the measure-zero real-ω sub-locus.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript constructs a new family of cohomogeneity-one, asymptotically locally AdS5 solutions of five-dimensional minimal gauged supergravity with R×S^1×Σ_g boundary in Lorentzian signature. In Euclidean signature these are smooth non-supersymmetric black saddles with T^2×Σ_g conformal boundary; the paper computes their regularized on-shell action, thermodynamic charges, quantum statistical relation, and Smarr relation using UV/IR series expansions, five radially conserved integrals of motion, and numerical shooting. It then imposes the supersymmetry constraints from the timelike class of [19] and shows that in the supersymmetric but non-extremal limit the on-shell action equals −π i c/(12τ) with c = 2πη_Σ ℓ_5^3/(3G_5), matching the universal topologically twisted index of 4d N=1 SCFTs at large N. Two analytic limits (extremal and BTZ×Σ) are also presented.","tokens_in":56507,"tokens_out":7517,"duration_ms":63731,"significance":"If the central claims hold, this is an important step: it provides a macroscopic, supergravity-side derivation of the TTI on T^2×Σ_g for the universal R-symmetry twist, in the same spirit as the black-saddle constructions for the superconformal index. The paper is unusually careful with Chern-Simons patching, gauge invariance, and holographic renormalization; it also exhibits a non-supersymmetric localization of the on-shell action to the UV and IR boundaries, and verifies the QSR and supersymmetric constraints numerically to high precision. The explicit 10th-order expansions and the analytic extremal/BTZ limits are non-trivial checks. The main caveat is that the generic complex supersymmetric saddles underlying the central match are not directly constructed; only their real sub-locus is integrated numerically.","major_comments":[{"comment":"The central TTI match in eq. (5.38) is conditional on the existence of smooth complex Euclidean supersymmetric saddles for generic torus modulus τ. The numerical construction in Section 5.4 is restricted to the 'almost real' sub-locus (5.46), where ct, cφ, cΣ, β, ω, ℓΣ, ΩH, Ω∞ are real and ψH, ψ∞ are imaginary, so ω is real and τ = ω/(2πi) is purely imaginary; generic complex τ is not sampled. The 10th-order UV/IR matching in Sections 5.2–5.3 and the real-locus numerics do not establish existence of the complex saddles because the localization formula (4.30) evaluates the action only on actual solutions of the equations of motion. The paper itself flags this gap: Section 5.4 asks 'so how can we build a numerical shooter?', and Section 6 states that numerical existence is established only for the almost-real sub-family. Please either construct the complex solutions numerically (for example by complex shooting or by analytic continuation in ω), provide an analytic existence argument, or explicitly restrict the claim of (5.38) to the real sub-locus and state the generic-τ result as conditional.","section":"§5.4, eq. (5.46); §§5.2–5.3, eq. (5.38)"},{"comment":"The gauge-invariant, Casimir-subtracted on-shell action used in the final supersymmetric result is defined after adding the local counterterm Θ in eq. (4.101). The paper leaves open whether Θ is compatible with supersymmetry ('It would be interesting to investigate whether this counterterm is compatible with supersymmetry'). Since the final match I = −π i c/(12τ) depends on this subtraction, and since the field-theory TTI is scheme-dependent (footnote 4), the agreement in (5.38) is established in a particular scheme. Please clarify whether the supersymmetric Ward identities fix Θ uniquely, or state more explicitly that the agreement is scheme-dependent in the same manner as the field-theory result, and that the chosen scheme coincides with that of [4,24].","section":"§4.9, eq. (4.101); §5.3, eq. (5.38)"}],"minor_comments":[{"comment":"The entropy expression displayed after 'S = πic/(6τ) ± 2πi/3 Q' is garbled: the right-hand side appears to be a product of two parenthetical expressions rather than the simplified result, which should reduce to S = 3πc/(2 ℓΣ^2ℓφ) (up to the branch signs). Please correct the typesetting and verify the consistency with the geometric entropy (4.61).","section":"§4.9, eq. (4.112)"},{"comment":"The relation cΣ^2 = C(ℓΣ)(ℓΣ^2 − 1/3) is presented as a numerical finding with C(ℓΣ) undetermined. Please clarify whether this is a numerical fit or an analytic result, and state explicitly how it is used to motivate the special limit ℓΣ = 1/√3 in Section 5.5.","section":"§5.4, eq. (5.52)"},{"comment":"The elimination of the (−+) and (−−) branches of the sign choices (sc0, sμt) is stated very briefly; please spell out the order at which the constraint (5.11) fails and the nature of the contradiction.","section":"§5.2"},{"comment":"The table captions refer to row colors matching the curves in Figures 1 and 2, but the printed version does not include a color legend; the reader cannot map the table rows to the plotted curves.","section":"Tables 1 and 2"}],"recommendation":"major_revision","confidential_remarks":"This is a strong paper with a transparent account of its methods and limitations. The main issue is not an internal inconsistency but a missing verification: the central claim (5.38) for generic complex τ rests on an assumption of existence of complex saddles that is not directly established. The authors themselves flag this in Sections 5.4 and 6. I recommend major revision rather than rejection because the gap is fillable by additional numerical work or by an explicit qualification of the claim, and the rest of the derivation is careful and convincing."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read this paper carefully. It is a serious, technically substantial piece of work, and the central claim holds up better than I expected. The authors construct a genuinely new family of non-extremal, rotating, dyonic black strings in 5d minimal gauged supergravity with S1×Sigma_g horizon topology and asymptotically locally AdS5 boundary. The five integrals of motion and the non-supersymmetric localization of the on-shell action are new and clever; they let the authors compute thermodynamics analytically even without an explicit closed-form metric. The payoff is real: in the supersymmetric, non-extremal limit the on-shell action comes out as -pi i c/(12 tau), matching the universal large-N topologically twisted index with the correct central charge c = 32/3 (g-1) a. The QSR and Smarr relations are derived rather than assumed, and the numerical checks to 1e-8 give confidence that the series expansions are consistent.\n\nThe soft spots are real, but not as large as the stress-test note suggests. The generic complex supersymmetric family for arbitrary torus modulus tau is not directly integrated; the numerical shooting is restricted to the almost-real sub-locus with imaginary Wilson line, which samples only purely imaginary tau. The paper is transparent about this: Section 5.4 asks explicitly how to build a numerical shooter for the complex case, and Section 6 admits the existence evidence is numerical for that sub-family. For the central identification (5.38) one therefore relies on a 10th-order UV/IR expansion match plus analytic limits, which is strong but not existence. A referee should ask the authors to either sharpen this existence argument (for instance by applying a complex-domain shooting method or a more rigorous continuation argument) or to state more explicitly which corners of the TTI match rest on an unproven assumption. The scheme dependence is a lesser concern: the authors deliberately adopt the same renormalization scheme as the field theory computation, and the result is universal enough that this is likely benign, but it is worth flagging in the review.\n\nWho is this for? Holographers working on black hole entropy and supersymmetric partition functions, and anyone interested in the cross-dimensional RG flow picture. It deserves a serious referee; it should not be desk-rejected. I would support sending it to review, with the expectation that the complex-saddle existence question is addressed or at least cleanly delineated as a conjecture.","headline":"The strongest current candidate for the gravitational origin of the TTI on T^2×Sigma_g; the core on-shell action derivation is solid, but the generic complex saddles are assumed to exist rather than directly constructed.","tokens_in":57068,"tokens_out":2154,"would_cite":true,"duration_ms":22980,"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":"The paper claims that the supersymmetric, non-extremal limit of new Euclidean black strings in five-dimensional minimal gauged supergravity is the holographic dual of the topologically twisted index of 4d N=1 SCFTs on T^2×Σ_g, with…","keywords":["topologically twisted index","black strings in AdS5","minimal gauged supergravity","Euclidean black saddles","holographic on-shell action","Chern-Simons terms","c-extremization","AdS5/CFT4"],"falsifier":"Numerically integrate the complex supersymmetric family for generic complex parameters, not just the almost-real sub-locus, and compare the directly renormalized on-shell action with −π i c/(12τ); a discrepancy, or an obstruction in the UV-IR interpolation beyond tenth order, would falsify the match.","tokens_in":56031,"feed_emoji":"🕳️","tokens_out":8725,"duration_ms":72023,"temperature":0.7,"pith_summary":"The paper sets out to find the five-dimensional gravitational origin of the topologically twisted index of 4d N=1 SCFTs on $T^{2}$×Σ_g. It constructs a family of Euclidean, asymptotically locally AdS5 black-string solutions of minimal gauged supergravity and argues that their supersymmetric, non-extremal limit is a complex black saddle whose renormalized on-shell action equals −log Z_TTI = −π i c/(12τ). The same family, continued to Lorentzian signature, describes finite-temperature rotating electrically and magnetically charged black strings with $S^{1}$×Σ_g horizon topology, and its extremal limit gives BPS strings with real entropy. The match is significant because it derives the universal index formula from the bulk without invoking the Cardy limit and without extremality, linking black-string thermodynamics to the microscopic index.","feed_headline":"Black string saddles reproduce the topologically twisted index","feed_subtitle":"Supersymmetric non-extremal solutions give −log Z_TTI = iπc/12τ with the universal central charge.","key_machinery":"The central object is a cohomogeneity-one ansatz for the five-dimensional metric and U(1) gauge field with an $S^{1}$×Σ_g factor, reducing the equations of motion to a system of ODEs. The argument is carried by five radially conserved integrals of motion (q, \\tilde q, j, μ_t, μ_s), which fix the asymptotic and near-horizon data, and by a localization identity expressing the on-shell Lagrangian as a radial derivative, so the action collapses to boundary terms. Supersymmetry is imposed through the timelike-class description of the classification of supersymmetric solutions of minimal gauged supergravity, which forces the topological twist p = ℓ5/3, the linear constraint Δ = −2πi/3, and vanishing of the holographic pressure coefficient, and yields the UV-IR relation used to evaluate the thermodynamics analytically.","core_discovery":"The paper's central claim is that the supersymmetric, non-extremal limit of its new Euclidean black strings is the holographic dual of the universal topologically twisted index, and that the regularized on-shell action in that limit is I = −π i c/(12τ), where c = 2πηΣ $ℓ5^{3}$/(3G5) = 32/3 (g−1)a. This reproduces the large-N field-theory answer log Z_TTI = iπ c_l/(12τ) for the universal twist with Δ = −2πi/3 and p = ℓ5/3. The saddles are smooth Euclidean geometries asymptotic to $T^{2}$×Σ_g; they are supersymmetric but generically complex, with real metric and imaginary Wilson line on a sub-locus, and they are neither extremal nor Cardy-limited. In the extremal limit they reduce to the known supersymmetric rotating black strings of the same theory.","pith_inferences":["If the leading-order match is not an accident of large N, adding four-derivative corrections should produce the first subleading term of the TTI; computing that correction would be a sharp test.","Replacing minimal supergravity by the STU model should yield the refined TTI with flavor fugacities, with R-symmetry extremization emerging from the bulk rather than being imposed.","The timelike-to-null class switching suggests that non-extremal timelike saddles could serve as a bridge to extremal BPS solutions, potentially making localization methods applicable to the null class.","The τ-dependence of the on-shell action points toward a modular or Farey-tail family of saddles; combining the explicit BTZ×Σ_g limit with SL(2,Z) transformations of the boundary torus may produce the full gravitational ensemble for the TTI."],"forward_implications":["The supergravity derivation of the index does not need the Cardy limit; the τ-dependence of the on-shell action matches at finite β, not only for a small thermal circle.","At extremality the supersymmetric family degenerates to the BPS rotating black strings previously studied, giving a geometric count of their entropy from the same central charge.","The non-supersymmetric thermal black strings provide a holographic setting for genuine finite-temperature physics of the twisted 2d theory, including Hawking-Page transitions and hydrodynamic questions.","The Chern-Simons localization to boundary terms works without supersymmetry and could apply to other cohomogeneity-one holographic flows.","The supersymmetric solutions lie in the timelike class and pass to the null class in the extremal limit, a class-switching mechanism that may be generic."],"supporting_citations":[{"why":"Establishes the strategy of taking a supersymmetric non-extremal limit of non-supersymmetric black holes to obtain the holographic dual of a supersymmetric index.","marker":"[1]"},{"why":"Provides the four-dimensional Euclidean black-saddle blueprint that the five-dimensional construction generalizes.","marker":"[2]"},{"why":"Gives the Cardy-limit formula log Z_TTI = iπ c_l/(12τ) that the supergravity on-shell action must reproduce.","marker":"[4]"},{"why":"Supplies c-extremization, the principle fixing the trial central charge of the effective 2d theory.","marker":"[6]"},{"why":"Underlies the conserved charges and Chern-Simons charge definitions used in the thermodynamics.","marker":"[17]"},{"why":"Provides the patch-wise treatment of Chern-Simons integrals that makes the on-shell action computation well defined.","marker":"[18]"},{"why":"Classification of supersymmetric solutions used to impose supersymmetry on the black-string ansatz via the timelike-class geometry.","marker":"[19]"},{"why":"Provides the analytic extremal black-string solutions to which the supersymmetric family reduces in the extremal limit.","marker":"[22]"},{"why":"Defines the near-horizon structure and Farey-tail context for the TTI saddles.","marker":"[23]"}],"fun_headline_variants":["Black strings reproduce topologically twisted index","Supersymmetric black strings yield twisted index","Holographic dual of twisted index from black strings","New Euclidean saddles match twisted index","Black string action matches topologically twisted index"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the full complex supersymmetric family exists as smooth Euclidean interpolations between the UV and IR expansions; the paper verifies the series to tenth order but constructs numerically only the almost-real sub-locus, leaving the complex saddles of the central match unintegrated.","fun_headline_variants_meta":{"raw":{"variants":["Black strings reproduce topologically twisted index","Supersymmetric black strings yield twisted index","Holographic dual of twisted index from black strings","New Euclidean saddles match twisted index","Black string action matches topologically twisted index"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00048,"raw_usage":{"total_tokens":2373,"prompt_tokens":940,"completion_tokens":1433,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":556,"completion_tokens_details":{"reasoning_tokens":1367}},"tokens_in":556,"tokens_out":1433,"duration_ms":13702,"temperature":1.0,"reasoning_tokens":1367,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:12:44.398820+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically integrate the complex supersymmetric family for generic complex parameters, not just the almost-real sub-locus, and compare the directly renormalized on-shell action with −π i c/(12τ); a discrepancy, or an obstruction in the UV-IR interpolation beyond tenth order, would falsify the match.","supporting_citations":[{"cited_title":"The topologically twisted index of $\\mathcal N=4$ SU($N$) Super-Yang-Mills theory and a black hole Farey tail","cited_arxiv_id":"2108.02355","evidence_quote":"Defines the near-horizon structure and Farey-tail context for the TTI saddles."},{"cited_title":"Black strings in AdS_5","cited_arxiv_id":"0708.2402","evidence_quote":"Provides the analytic extremal black-string solutions to which the supersymmetric family reduces in the extremal limit."}],"review_version":1}