{"id":"643c25e2-0f52-4919-8307-3956941af65f","arxiv_id":"2508.20663","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The single-sum giant graviton expansion of ADHM Higgs indices is proposed to encode, in two fugacity limits, the vacuum characters of the affine Kac-Moody algebras \\ hat su(l)_1^{\\ times m} and \\ hat su(l)_m.","lead":"This paper extracts the M5-brane giant graviton corrections to the counting index of 3d N=4 U(N) ADHM theories with l flavors. In special fugacity limits, these corrections match vacuum characters of affine Kac-Moody algebras of type A, pointing to hidden symmetry in the M5-brane spectrum.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Kac-Moody identity (5.17) rests on the unproven ansatz (3.1)-(3.3); in the q-limit the q^j coefficient equals exactly the top-degree polynomial coefficient f_m,j;mj, and high-m stabilization is largely built into the saturation rule (3.3c), leaving only low-order, partly…","rationale":"The reader's weakest assumption is the same as the one I find most load-bearing: the factorized ansatz (3.1)-(3.3) and its saturation pattern. My analysis sharpens the issue by identifying that Eq (5.17) is exactly an equality between the top-degree coefficients f_{m,j;mj} and the affine character coefficients, and that the high-m stabilization visible in the tables is inherited from (3.3c) rather than independently established. The remaining evidence is still a genuine low-order series match: the l=2,3,4 data reproduce distinct level-m characters for small m and j, and the inverse-expansion consistency checks give some independent support. This does not overturn the conditional verdict; it reinforces it. The proposed computation of the q^7 coefficient for l=2,m=2 without the inverse expansion is a direct, feasible test of the most extrapolated entry. If it passes, the concern is substantially reduced; if it fails, Eq (5.17) should not be treated as established.","tokens_in":70220,"tokens_out":12483,"duration_ms":119939,"concrete_test":"Recompute F_2^{(2)}(1;x1,x2) to O(x2^7) directly from the ratio I_H^{U(N) ADHM-[2]}/I_H^infty for N=16 and N=18 using only the sequential N-saturation method of Sec. 3, without invoking the inverse giant graviton expansion (4.36) or the saturation rule (3.3c). Then take the x1->0, x1 x2=q limit and compare the q^7 coefficient with 153, the value quoted for chi_{su(2)_2}(1;q) in Table 2. If it differs, the match is an artifact of the inverse expansion; if it agrees, the most extrapolated entry in the Kac-Moody identity is independently supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3's structural ansatz, eqs (3.1)-(3.3), is the load-bearing premise. Expanding (3.12) shows that in the limit x1->0, x2->infinity with q=x1 x2 fixed, the coefficient of q^j in F_m^{(l)} is exactly f_{m,j;mj}(y_alpha), the top-degree coefficient of the polynomial f_{m,j} in (3.2): all other terms in f and all nontrivial contributions from the q-Pochhammer factor carry an extra positive power of x1 and cannot contribute to the pure (x1 x2)^j monomial. Eq (5.17) is therefore a statement about these top coefficients. The saturation rule (3.3c) with a=0 forces f_{m,j;mj}=f_{m-1,j;(m-1)j} for m>=j+1, so the eventual m-independence of the affine character coefficients is put in by hand rather than derived. The genuinely nontrivial content is the low-m matching, and part of that content is obtained only with the inverse giant graviton expansion assumption (4.32)/(5.23): for example l=2,m=2 at q^7 and l=4,m>=3 at q^3 exceed j_max(A) in Table 1. The paper itself states in Sec. 1.1 that further mathematical verification is highly desirable; the ansatz is exactly the unproven input that needs it.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the single-sum giant graviton expansion of the 3d N=4 U(N) ADHM Higgs index with l fundamental flavors. From the expansion coefficients Fhat_m^{(l)} the authors define M5-brane giant graviton indices F_m^{(l)} via a change of variables and observe two special fugacity limits: at x1=1 the index reduces to a product of m vacuum characters of the affine algebra \\hat su(l)_1 (Eq. (5.16)), while in the limit x1 -> 0, x2 -> infinity with x1 x2 = q fixed it reduces to the vacuum character of \\hat su(l)_m (Eq. (5.17)). The paper also proposes a large-m formula F_infty^{(l)} and verifies that the inverse giant graviton expansion, built from that formula, reproduces the original Higgs indices. All Kac-Moody identifications are explicitly labeled as conjectures, and the supporting evidence consists of low-order series checks against standard affine characters.","tokens_in":70625,"tokens_out":3789,"duration_ms":37822,"significance":"If correct, the paper establishes a concrete and striking bridge between the BPS data of a 3d gauge theory and affine Kac-Moody characters at arbitrary level: the vacuum characters of \\hat su(l)_m would literally appear as coefficients in the M5-brane giant graviton expansion of the ADHM Higgs index. The paper is careful and honest: the main identities are stated as conjectures, the matching is performed against independent standard characters, the explicit Appendix A data are reproducible, and the inverse-expansion consistency check is a genuine non-trivial constraint. The interpretation through I-brane cosets and level-rank duality is physically coherent and extends earlier work by the same authors. The main weakness is that the structural ansatz in Section 3 is assumed rather than derived, and some of the low-order checks rely on the inverse giant graviton expansion; the evidence for the central identity (5.17) is therefore suggestive but not yet conclusive.","major_comments":[{"comment":"The saturation rule (3.3c) is the load-bearing premise for the claimed stabilization of the Kac-Moody coefficients. Expanding the ansatz (3.1)-(3.2) in the limit x1 -> 0, x2 -> infinity with q = x1 x2 fixed, the coefficient of q^j is exactly the top-degree coefficient f_{m,j;mj}(y_alpha), because all other terms in f_{m,j} and all non-unit contributions from the q-Pochhammer product carry positive extra powers of x1. Equation (5.17) is therefore a statement about these top coefficients. For a=0, condition (3.3c) reads f_{m,j;mj} = f_{m-1,j;(m-1)j} for m >= j+1, which puts the eventual m-independence of the affine character coefficients into the ansatz by hand. Consequently, the stabilization visible in Tables 2 and 3 (for example the row m>=7 in the l=2 unflavored table) is not an independent check of the level-m character; the genuinely nontrivial content of (5.17) is the low-m matching. The authors should state this limitation explicitly and, ideally, provide an independent derivation or a test of the saturation rule for larger m or higher l.","section":"Section 3, Eq. (3.3c); Section 5, Eq. (5.17)"},{"comment":"Some coefficients used as evidence for (5.17) are obtained only after assuming the inverse giant graviton expansion, not from the direct extraction of Section 3. For example, Table 1 gives j_max(A)=6, j_max(B)=9 for l=2, m=2, so the q^7, q^8 and q^9 terms in Table 2 for m=2 are determined using the inverse expansion (4.32); similarly, for l=4, m>=3, Table 1 gives j_max(A)=2 and j_max(B)=3, so the q^3 term in Table 3 uses the inverse expansion. While the inverse expansion is internally consistency-checked on overlapping orders, using those extended data as independent confirmation of (5.17) is circular in a weak sense. The authors should clearly separate, for each coefficient entering Tables 2 and 3, whether it comes from method A or method B, and should present the Kac-Moody match separately for the two data sets.","section":"Table 1; Sections 4.3 and 5.3"},{"comment":"The paper itself states that further mathematical verification is highly desirable, and the structural ansatz (3.1)-(3.3) is exactly the unproven input that requires such verification. The ansatz is used not only to organize the series but also to extend the extracted coefficients beyond the order at which finite-N data directly saturate. The manuscript would be strengthened by a discussion of the evidence for the ansatz itself, such as checks of (3.3) at values of m and j beyond those needed for the present identities, or a derivation of the ansatz from known properties of the Higgs index (for instance through the instanton recursion relations mentioned in Section 1.1). Without such support, the central conjecture remains a well-motivated but incompletely verified observation.","section":"Section 1.1 and Section 3"}],"minor_comments":[{"comment":"The text contains the typo 'Kac-Mooday' for 'Kac-Moody' in the sentence introducing chi_{\\hat su(2)_k}.","section":"Section 4.2.2, around Eq. (4.26)"},{"comment":"In Eq. (2.10) the formula is written for the unflavored vacuum character of \\hat su(l)_1, but the sentence immediately before refers to \\hat su(2)_1; please adjust the wording so that the l-dependence is unambiguous.","section":"Eq. (2.10) and surrounding text"},{"comment":"The floor function in (3.3b) is easy to miss because of the typesetting; please use an explicit \\lfloor j/2 \\rfloor symbol.","section":"Section 3, Eq. (3.3b)"},{"comment":"The sentence 'where we have denoted y_1 = y^{-1}_2 as y' is slightly confusing; it would be clearer to state that for l=2 the flavor fugacities are (y, y^{-1}).","section":"Appendix A.1, preamble"},{"comment":"It would be helpful to mark in Tables 2 and 3 which rows and which coefficients are obtained with the inverse giant graviton expansion, since this distinction is relevant to the independence of the checks.","section":"Tables 1-3"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of JHEP and the general line of the authors' previous work on M2-M5 giant graviton expansions. The main conjecture (5.17) is plausible and the low-order checks are genuine, but the load-bearing structural ansatz of Section 3 is assumed, and the independence of part of the numerical evidence is weaker than the presentation suggests. The revision should either provide additional support for the ansatz or substantially soften the claimed confirmation, clearly separating direct and inverse-expansion data."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something real: it extracts the M5-brane giant graviton indices from the ADHM Higgs index and shows that, in a specific fugacity limit, they match the vacuum character of \\hat su(l)_m. The limit in eq. (5.17) is checked for l=2,3,4 and m up to 8 against independent Kac-Moody characters. The l=1 case was already in [12,13]; the new content is the multi-wrapping m>1 generalization and the identification with level-m characters. The inverse giant graviton expansion is also shown to reproduce the Higgs indices, which is a nice consistency check.\n\nWhat I like: the paper is transparent. The ansatz in Section 3 is stated as an observed pattern, not derived; the claims are explicitly conjectures; and the appendix lists a great deal of explicit series, so the results are reproducible. The physical interpretation via I-brane fermions and cosets is plausible and useful.\n\nThe soft spot is exactly that ansatz. Eq. (3.1)-(3.3) factorizes the coefficients and imposes a saturation pattern. In the q-limit, the q^j coefficient of the M5-brane index becomes precisely the top-degree coefficient f_{m,j;mj}, and the saturation rule (3.3c) forces f_{m,j;mj} = f_{m-1,j;(m-1)j} for m >= j+1. That means the high-m stabilization of the affine character coefficients is partly built in, not derived. What remains genuinely nontrivial is the low-m matching; some of that, for l=2 at q^7 and l=4 at q^3, uses the inverse giant graviton expansion to go beyond the direct data. So the central identification is not an independently calculated prediction; it is an ansatz-constrained match, honestly labeled as a conjecture.\n\nThat said, this is not a fatal flaw. The paper earns a serious referee. The right referee will want the ansatz either proven (perhaps via the blowup recursion relations, which the authors mention in section 1.1) or tested at higher l and higher order, and will want the inverse-expansion-dependent coefficients flagged more carefully. But the paper is coherent, explicit, and a genuine continuation of the program.\n\nWho is this for? People working on giant graviton expansions, supersymmetric indices, and M5-brane physics. It deserves peer review, and I would send it forward with the ansatz as the main point to scrutinize.","headline":"Useful, honest conjecture that M5-giant indices yield affine Kac-Moody characters at level m; the main caveat is that the underlying ansatz carries much of the load.","tokens_in":71112,"tokens_out":4204,"would_cite":true,"duration_ms":39129,"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 M5-brane giant graviton index of the ADHM theory reproduces affine Kac-Moody vacuum characters in a precise fugacity limit, for l=2,3,4 and m up to 8.","keywords":["giant graviton expansion","ADHM theory","Higgs index","affine Kac-Moody algebra","M5-brane index","I-brane","level-rank duality","vacuum character"],"falsifier":"Compute the M5-brane index $F_9^{(2)}$ (or $F_5^{(4)}$) to one higher order in $x_2$ from exact Higgs indices with $N=15$ (or $N=5$) without assuming the inverse expansion, and test whether the limit $x_1\\to 0$, $x_2\\to\\infty$ with $x_1x_2=q$ fixed matches the Kac-Weyl character $\\chi_{\\widehat{su}(l)_m}$ at the first new order. A mismatch — or a violation of the saturation conditions (3.3a)-(3.3d) at $m=9$ — would refute the conjectural identity (5.17).","tokens_in":70038,"feed_emoji":"🧮","tokens_out":6139,"duration_ms":54184,"temperature":0.7,"pith_summary":"The paper claims that the BPS data of the 3d $\\mathcal{N}=4$ $U(N)$ ADHM gauge theory with $l$ fundamental hypermultiplets contains, in a precise fugacity limit, the vacuum characters of affine Kac-Moody algebras. Analyzing the giant graviton expansion of the Higgs index, the authors extract indices for stacks of $m$ M5-brane giant gravitons. They find that after factoring out a universal 1/4-BPS prefactor, the remaining index reduces to a product of $m$ level-one $\\widehat{su}(l)$ characters when one fugacity is set to 1, and to a single level-$m$ $\\widehat{su}(l)$ vacuum character in the limit $x_1\\to 0$, $x_2\\to\\infty$ with $x_1x_2=q$ fixed. Evidence is presented for $l=2,3,4$ and $m$ up to 8, with inverse giant graviton expansions reproducing the original Higgs indices. If correct, finite-$N$ ADHM counting directly encodes affine current-algebra representation theory.","feed_headline":"M5-brane giants yield affine Kac-Moody characters","feed_subtitle":"In a fugacity limit, ADHM Higgs-index data reproduce level-m su(l) vacuum characters for m up to 8.","key_machinery":"The load-bearing object is the single-sum giant graviton expansion (2.7), written in terms of coefficients $\\widehat{F}_m^{(l)}(y_\\alpha;x_1;x_2)$. The authors posit the factorized ansatz (3.1) with polynomial corrections $f_{m,j}^{(l)}(y_\\alpha;x_1)$ of degree $mj$, and use the saturation pattern (3.3a)-(3.3d) to determine these coefficients from finite-$N$ Higgs indices with $N\\le 14$. After the change of variables in (3.12), the M5-brane index splits as in (5.9) into a universal 1/4-BPS factor $\\prod_{n=1}^m (x_1^n;x_1x_2)_\\infty^{-1}$ (the $W(\\mathfrak{gl}(m))$ vacuum character in the twisted limit) and a reduced index $\\mathcal{F}_m^{(l)}(y_\\alpha;x_1;x_2)$ that captures the I-brane excitations. The special fugacity limit $x_1\\to 0$, $x_2\\to\\infty$ with $q=x_1x_2$ fixed selects the monomials $(x_1x_2)^j$ and turns $\\mathcal{F}_m^{(l)}$ into the Kac-Weyl character (5.18).","core_discovery":"The central discovery is Eq. (5.17): for $l=2,3,4$ and $m$ up to 8, the M5-brane giant graviton index $F_m^{(l)}(y_\\alpha;x_1;x_2)$ satisfies $\\lim_{x_1\\to 0,\\, x_2\\to\\infty,\\, x_1x_2=q} F_m^{(l)}(y_\\alpha;x_1;x_2)=\\chi_{\\widehat{su}(l)_m}(y_\\alpha;q)$, where the right-hand side is the Kac-Weyl vacuum character of the affine Kac-Moody algebra $\\widehat{su}(l)$ at level $m$. Together with Eq. (5.16), which says $F_m^{(l)}(y_\\alpha;1;x_2)=\\chi_{\\widehat{su}(l)_1}(y_\\alpha;x_2)^m$, the M5-brane indices realize both the separated-brane picture (a product of $m$ independent level-one current algebras) and the coincident-brane picture (a single level-$m$ current algebra). The same data also satisfy an inverse giant graviton expansion, so the M5-brane indices and the original Higgs indices determine each other.","pith_inferences":["A natural testable extension is to push the saturation analysis to $l=5$ or to $m=9$; if the pattern holds, the same fugacity limit should produce the $\\widehat{su}(5)_m$ or $\\widehat{su}(2)_9$ characters, providing a sharp check beyond the fitted range.","Because the Higgs index coincides with the $N$-instanton partition function of 5d $SU(l)$ Yang-Mills theory, the Kac-Moody limit might be derivable from the blowup recursion relations on instanton counting, giving an analytic proof the paper leaves open.","The plateau behavior of the flavored coefficients suggests the finite-$m$ indices approach $F_\\infty^{(l)}$ rapidly; if true, low-$N$ data may suffice to extract the large-$m$ character in closed form through the inverse expansion.","The same fugacity-limit mechanism may apply to other M2-brane SCFTs whose holographic duals have orbifold singularities, where D-brane or M5-brane giant gravitons intersect along I-brane defects."],"forward_implications":["The Higgs indices of the $U(N)$ ADHM theory with $l$ flavors determine, through the giant graviton expansion, the vacuum characters of $\\widehat{su}(l)_m$ for $m$ up to 8 and $l=2,3,4$.","The M5-brane index contains two algebraic structures: the universal prefactor is the vacuum character of the W-algebra $W(\\mathfrak{gl}(m))$, while the reduced factor describes the I-brane current algebra.","The inverse giant graviton expansion is consistent: M5-brane indices at wrapping number $m$ reproduce the original Higgs indices, supporting a duality between the two sets of data.","The level-$m$ character arises from the full M5-brane index in a specific fugacity limit, giving a concrete realization of the proposal that $m$ M5-branes on $\\mathbb{C}^2/\\mathbb{Z}_l$ carry an affine $\\widehat{su}(l)_m$ symmetry.","For unflavored fugacities the character coefficients stabilize as $m$ grows, so the large-$m$ limit of the M5-brane index converges to the universal expression $F_\\infty^{(l)}$ given in (5.21)."],"supporting_citations":[{"why":"Establishes the single-M5-brane index (2.9) that the present paper generalizes to multiple M5-branes.","marker":"[13]"},{"why":"Introduces the giant graviton expansion and single-sum expansion formalism used throughout.","marker":"[12]"},{"why":"Provides the I-brane dynamics and current-algebra splitting that motivate the coset interpretation of the reduced index.","marker":"[22]"},{"why":"Proposes that $m$ M5-branes on $\\mathbb{C}^2/\\mathbb{Z}_l$ with $\\Omega$-deformation carry an affine $\\widehat{su}(l)_m$ algebra, which Eq. (5.17) realizes in a fugacity limit.","marker":"[32]"},{"why":"Supplies the 6d $(2,0)$ tensor-multiplet index that becomes the universal 1/4-BPS prefactor in the factorization.","marker":"[65]"},{"why":"Provides the level-rank duality used to express the character as a graded $U(m)_{-l}$ Chern-Simons character.","marker":"[72]"},{"why":"Gives the supersymmetric localization formula for the ADHM index from which the Higgs index is derived.","marker":"[58, 59]"}],"fun_headline_variants":["Affine Kac-Moody from M5-brane giants","M5 giants yield affine su(l) vacuum characters","M5-brane giants realize affine Kac-Moody characters","Giant gravitons on M5 produce affine Kac-Moody"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The structural ansatz of Section 3 — that the single-sum coefficients take the factorized polynomial form (3.1) with the saturation pattern (3.3) — is load-bearing; coefficients for $m$ up to 8 are extracted from data with $N\\le 14$ using this saturation, and if it fails at higher wrapping numbers or higher $l$, the Kac-Moody identifications would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Affine Kac-Moody from M5-brane giants","M5 giants yield affine su(l) vacuum characters","M5-brane giants realize affine Kac-Moody characters","Giant gravitons on M5 produce affine Kac-Moody"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000812,"raw_usage":{"total_tokens":3547,"prompt_tokens":915,"completion_tokens":2632,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":531,"completion_tokens_details":{"reasoning_tokens":2558}},"tokens_in":531,"tokens_out":2632,"duration_ms":18158,"temperature":1.0,"reasoning_tokens":2558,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:41:26.900494+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the M5-brane index $F_9^{(2)}$ (or $F_5^{(4)}$) to one higher order in $x_2$ from exact Higgs indices with $N=15$ (or $N=5$) without assuming the inverse expansion, and test whether the limit $x_1\\to 0$, $x_2\\to\\infty$ with $x_1x_2=q$ fixed matches the Kac-Weyl character $\\chi_{\\widehat{su}(l)_m}$ at the first new order. A mismatch — or a violation of the saturation conditions (3.3a)-(3.3d) at $m=9$ — would refute the conjectural identity (5.17).","supporting_citations":[{"cited_title":"Para-Liouville/Toda central charges from M5-branes","cited_arxiv_id":"1106.1172","evidence_quote":"Proposes that $m$ M5-branes on $\\mathbb{C}^2/\\mathbb{Z}_l$ with $\\Omega$-deformation carry an affine $\\widehat{su}(l)_m$ algebra, which Eq. (5.17) realizes in a fugacity limit."}],"review_version":2}