{"id":"2d6cae6b-2b63-44b2-89c4-28a3b1868bc7","arxiv_id":"2412.15048","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors give a combinatorial partition function for A-type little string theories with a full-type surface defect and argue that two NS-limit regularizations are both regular due to a recursive pole-cancellation identity.","lead":"This paper derives an exact combinatorial formula for the partition function of A-type little string theories with a full-type surface defect, including a new generalization to orbifolded M>1 theories. It also analyzes the Nekrasov-Shatashvili limit and identifies a recursive structure that makes two proposed regularizations finite.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"NS-limit regularity rests on a conjectured pole-cancellation identity (2.74)/(3.35), tested only to |mu|+|nu|<=12; a higher-order counterexample would invalidate the central regularity claim.","rationale":"The paper is technically careful: the M=1 defect partition function is benchmarked against Shiraishi's vertex-operator result, and the M>1 formula follows a systematic ADHM character computation. The weak point is not the combinatorial expression itself but the use of an unproven recursive identity to establish the NS-limit regularity, which is one of the paper's advertised results. The authors explicitly flag this limitation, so the concern is not manufactured. The proposed numerical test is cheap and decisive: if the identity fails at modestly higher order, the regularity argument collapses; if it survives, confidence in the conditional acceptance increases substantially. The same test would also provide the first evidence for generic M>1, where no verification is currently reported. Therefore I agree with the reader's conditional assessment and recommend no change to the verdict.","tokens_in":36425,"tokens_out":6645,"duration_ms":62277,"concrete_test":"Using exact series arithmetic in epsilon_2 with generic q1, Q_a, Q_S, evaluate both sides of (2.74) for all mu,nu with |mu|+|nu| <= 20 in the N=2 case, and test (3.35) for N=2,M=2 with |lambda| <= 20 and for N=2,M=3 with |lambda| <= 10. If any difference contains a nonzero negative power of epsilon_2, the recursive pole-cancellation mechanism is false and the NS-limit claim fails. As an analytical cross-check, compute the leading-pole term of Z[mu,nu] from the content formula (2.48) and verify that it equals the sum over nonempty bulk subpartitions; this would upgrade the conjecture to a proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing assumption is the recursive identity (2.74), generalized in (2.100)-(2.101) and (3.35), which is the sole mechanism proving that both the bulk-normalized and Shiraishi-normalized defect partition functions are O(epsilon_2^0) in the NS limit. The derivation of (2.85) and its M>1 analogues uses (2.74) to build the Bell-polynomial recursion (2.82)-(2.84); without (2.74), the claimed pole cancellations in the normalized sums do not follow. The paper itself states in Section 2.6.1 that this relation is 'for now conjectured' and has been tested only for |mu|+|nu|<=12 in the N=2 case; the M>1 generalization (3.35) is tested only for N=M=2 with |lambda|<=12, and for generic M>1 no test is reported. This is not a cosmetic gap: the singular part of Z[mu,nu] is governed by the diagonal Nekrasov factors N^{(0|N)}_{lambda,lambda}(1), and (2.74) asserts that all poles are removed exactly by subtracting the convolution over nonempty bulk subpartitions. A failure at higher order would leave negative powers of epsilon_2 in the 'regularized' quantities, so the headline NS-limit claim would fail even though the combinatorial partition function (3.18) itself could remain correct.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs surface defects in A-type little string theories (bA_{M-1} LSTs) by a Z_N orbifold that breaks U(N) to U(1)^N, and derives combinatorial expressions for the non-perturbative BPS partition function. For M=1 the result is eq. (2.46), and for general M it is eq. (3.18), which the authors claim is the first explicit defect partition function for these LSTs. The paper then studies non-perturbative symmetries inherited from the parent LSTs, the Nekrasov-Shatashvili (NS) limit with two proposed normalizations, and the bulk decoupling limit that connects to elliptic hypergeometric functions and integrable systems. The main technical engine for the NS-limit claims is a recursively conjectured pole-cancellation identity, eqs. (2.74), (2.100), and (3.35).","tokens_in":36722,"tokens_out":8184,"duration_ms":72129,"significance":"If correct, the paper provides a substantial new result: explicit combinatorial BPS partition functions for A-type LSTs with a full-type surface defect, including the previously unavailable M>1 case. The derivation follows a standard ADHM plus Jeffrey-Kirwan residue procedure rather than being fitted to a target, and the M=1 formula is checked against the vertex-operator result of Shiraishi in the 5d limit. The finite-order tests of the recursive pole-cancellation identity (|μ|+|ν|≤12 for N=2, and |λ|≤12 for N=M=2) are a useful check, but they are not a proof. The paper also gives a concrete framework for studying NS limits and integrable-system connections, which is likely to be of interest to the hep-th community.","major_comments":[{"comment":"The central claim that both the bulk and Shiraishi normalizations yield regular NS limits is conditional on the conjectured recursive identity (2.74) and its generalizations (2.100) and (3.35). As the authors state in §2.6.1, (2.74) is 'for now conjectured' and tested only for |μ|+|ν|≤12; §3.5 reports tests only for N=M=2 with |λ|≤12 and no test for generic M>1. Since eq. (2.85) and the corresponding arguments for M>1 are derived from this identity, a higher-order counterexample would leave uncancelled ε_2 poles and invalidate the claim that both normalizations are O(ε_2^0). The abstract and the summary of results currently present the NS-limit regularity as an established result; the paper should either supply a proof of the pole-cancellation identity or explicitly reclassify the NS-limit regularity as a conjecture throughout, including the abstract and §1.2.","section":"§1.2, §2.5, §3.4"},{"comment":"See previous comment.","section":"§3.4 and §1.2, item 5"}],"minor_comments":[{"comment":"This is a typographical issue, but it affects the statement of the main conjectured identity for generic M,N.","section":"§3.5, Eq. (3.35)"},{"comment":"This typo should be corrected.","section":"§2.7.1, Eq. (2.104)"},{"comment":"Minor wording issue.","section":"§3.1"},{"comment":"Presentation issue.","section":"§2.6.1"}],"recommendation":"major_revision","confidential_remarks":"The paper's own statements in §2.6.1 and §3.5 are honest about the conjectural nature of the pole-cancellation identity, which is the load-bearing element for the NS-limit claims. The combinatorial partition function itself appears sound and is a contribution; the main issue is that the abstract and summary present the NS-limit regularity as established. A revision that either proves the identity or systematically reframes the regularity claim as a conjecture, together with correction of the index typos in (3.34)–(3.35) and (2.104), would make the paper acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing you should know first: this paper gives the first explicit combinatorial expression for the non-perturbative defect partition function of A-type little string theories with M>1, and it does so through a careful ADHM/Jeffrey-Kirwan computation. The M=1 case matches Shiraishi's earlier vertex-operator result, which is a useful check rather than a weakness. The genuinely new content is the M>1 expression, eq. (3.18), plus the claim that both the bulk-normalized and Shiraishi-normalized versions are regular in the NS limit. The derivation follows a standard and credible path: partial orbifold, character computation, LMNS integral, residue prescription. The paper is honest about what is proven and what is conjectured. The appendix gives an independent vertex-operator re-derivation for M=1, which adds confidence. The non-perturbative symmetries are imported from earlier work by the same group, but they are used as consistency checks on a freshly derived formula, not as input assumptions; I do not see a circularity problem.\n\nThe main soft spot is exactly where the stress-test note points: the regularity of the NS limit rests on the recursive pole-cancellation identities (2.74), (2.100), and (3.35). These are explicitly conjectural, tested only for |mu|+|nu|<=12 in the N=2 case and for N=M=2 with |lambda|<=12. The paper itself says so in Section 2.6.1. If a higher-order counterexample exists, the claimed O(epsilon_2^0) behavior of the normalized defect partition function would fail, even though the combinatorial expression (3.18) might still be correct. That is a real gap, but it is localized: the statement should be reframed as a conjecture with strong evidence, not as an established theorem. The derivation for M>1 is also condensed; a referee should ask for more intermediate steps in Section 3, especially around the charge assignments and the orbifold index shifts.\n\nWho is this for? People working on little string theory, surface defects, and the gauge-theory/quantum-integrable-system correspondence. The paper is worth a serious referee: the new M>1 expression is a substantive result, the NS-limit analysis resolves something previously only checked to low order, and the limitations are stated honestly rather than hidden. I would send it to peer review with the recommendation that the recursive identity either be proven, tested to substantially higher order, or clearly labeled as a conjecture whose failure would not invalidate the partition function itself. My own verdict is conditional acceptance: the main formula is likely right, but the NS-limit claim is not yet established at the level the paper sometimes suggests.","headline":"Solid, technically dense paper: the M>1 defect partition function is genuinely new, but the headline NS-limit regularity rests on a conjectured recursive identity that has only been checked to low order.","tokens_in":37256,"tokens_out":1333,"would_cite":true,"duration_ms":14003,"reading_group":"maybe","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 gives the first explicit combinatorial BPS partition function for full-type surface defects in A-type little string theories, and shows that two natural normalizations remain finite in the NS limit.","keywords":["little string theory","surface defect","instanton partition function","Nekrasov-Shatashvili limit","fractional Nekrasov subfunctions","ADHM quiver","orbifold","double elliptic integrable system"],"falsifier":"Evaluate the left side of the recursive identity (2.74) for an $N=2$ configuration with total box number 14; if the result is not $O(\\epsilon_2^0)$ — that is, if any negative power of $\\epsilon_2$ remains — then the claimed regularity of both NS-limit normalizations is false.","tokens_in":36204,"feed_emoji":"🧮","tokens_out":9467,"duration_ms":58334,"temperature":0.7,"pith_summary":"This paper aims to make surface defects in A-type little string theories tractable by writing their non-perturbative BPS partition function as an explicit combinatorial sum. The defect is a full-type surface defect induced by a $\\mathbb{Z}_N$ orbifold that breaks each $U(N)$ gauge node to $U(1)^N$; for the $\\widehat{A}_{M-1}$ orbifold theories the sum runs over $NM$-tuples of partitions and is, by the authors' statement, the first explicit expression. With this formula, the paper argues that the known non-perturbative symmetries of the undefected theories survive the defect, and it analyzes the NS limit (one $\\Omega$-background parameter vanishing), where the raw partition function is singular. Two literature normalizations — the bulk normalization and an equal-charge normalizer — are shown to give a finite limit, governed by a conjectured recursive pole-cancellation identity. The concrete payoff would be that these defect partition functions serve as eigenfunctions of elliptic integrable systems such as the double-elliptic DELL system.","feed_headline":"Defect BPS counts for orbifolded little strings now explicit","feed_subtitle":"Exact BPS sums stay finite in the NS limit, opening defects to elliptic integrable systems.","key_machinery":"The load-bearing object is the fractional Nekrasov subfunction $\\mathcal{N}^{(p|N)}_{\\mu\\nu}(x,Q_\\rho;q_1,\\tilde q_2)$, a product of $\\theta$ functions $\\vartheta(x q_1^{-a_\\nu(2)-1} q_2^{l_\\mu(2)}; Q_\\rho)$ over boxes whose arm and leg lengths lie in a prescribed congruence class modulo $N$, together with the projection $\\omega_{p|N}$ that selects Laurent-series terms of degree $p$ mod $N$ in the orbifold expansion. The mechanism that makes the NS limit finite is the conjectured recursive identity (2.74), generalized in (2.100) and (3.35): each tuple of partitions is decomposed into a bulk part, whose boxes group vertically in stacks of $N$, plus a seed part satisfying a strict-decrease condition, and subtracting the singular bulk sub-tuples recursively leaves an $O(\\epsilon_2^0)$ remainder. Resumming the recursion with complete Bell polynomials shows that the bulk instanton partition function is the minimal normalizer, and that any normalizer built from the bulk sum plus seed-sector completions is also regular. This structure is what ties the combinatorial formula to the claimed finiteness of the two NS-limit prescriptions.","core_discovery":"The central claim is that the full non-perturbative BPS partition function of the $\\widehat{A}_{M-1}$ little string theory with a full-type surface defect is $$$Z^{{\\mathrm{inst}}$,(N,M)}_{\\mathrm{def}} = \\sum_{\\boldsymbol{\\$\\lambda$}} \\prod_{i,j} q_{i,j}^{k^j_i(\\boldsymbol{\\$\\lambda$})} \\prod_{l=1}^M \\prod_{1\\leq i,j\\leq N} \\frac{\\mathcal{N}^{(j-i|N)}_{\\$lambda^{{(i,l-1)}}$\\$lambda^{{(j,l)}}$}(Q_{\\hat S} $Q^{{a^l_j}}$/$Q^{{a^{l-1}}$_i},Q_\\rho;q_1,\\tilde q_2)}{\\mathcal{N}^{(j-i|N)}_{\\$lambda^{{(i,l)}}$\\$lambda^{{(j,l)}}$}($Q^{{a^l_j}}$/$Q^{{a^l_i}}$,Q_\\rho;q_1,\\tilde q_2)},$$ with $\\mathcal{N}^{(p|N)}_{\\mu\\nu}$ the fractional Nekrasov subfunctions built from $\\theta$ functions over arm and leg lengths in fixed congruence classes modulo $N$. For $M=1$ the formula reduces to an $N$-tuple expression that matches a vertex-operator computation; for $M>1$ the expression is new. From this formula the paper derives that the defect partition function inherits the cyclic, flop, and quasi-periodic non-perturbative symmetries of the parent little string theory. In the NS limit, the raw sum is singular because boxes with equal arm and leg length produce poles in $\\epsilon_2$; the paper shows that after dividing by the bulk partition function or by an equal-charge normalizer, the limit is $O(\\epsilon_2^0)$, and that this regularity follows from a recursive subtraction identity that is conjectured and tested on configurations with up to twelve boxes.","pith_inferences":["If the conjectured recursive identity holds at all orders, the explicit defect partition functions would give ready-made wavefunctions for spin generalizations of the DELL system, whose Hamiltonians the paper does not construct.","The zeros of the surface factor in the NS limit suggest that the limit-shape configurations of the bulk theory are modified by the defect; this could yield new universal statistics for random partitions, but the paper only notes the possibility.","The same orbifold technology should extend to partial defects with fewer than $N$ sectors and to other A-type nodes, which would let one probe the transition from full to partial breaking and compare with class-$S_k$ constructions.","A direct high-order check of the conjectured identity, or a proof via the blow-up equation, would strengthen the finite-NS-limit claim; until then, the regularity rests on checks up to twelve boxes."],"forward_implications":["The defect partition function for every $\\widehat{A}_{M-1}$ little string theory can be expanded order by order in the fractional instanton couplings $q_{i,j}$, giving explicit numbers that any dual construction must reproduce.","The cyclic, flop, and quasi-periodicity symmetries of the parent little string theory become symmetries of the defect theory, so dualities of the parent theory are expected to survive the defect.","Both the bulk-normalized and the equal-charge-normalized defect partition functions have a finite NS limit; moreover, infinitely many other normalizers built from bulk plus seed sectors are equally regular.","In the bulk-decoupling limit the $N=2$ defect partition function becomes an elliptic hypergeometric function annihilated by an explicit elliptic difference operator, matching the elliptic lift of the known MacDonald-function representation.","The recursive pole-cancellation structure is conjecturally related to blow-up equations, which would tie the NS-limit regularity to a broader class of gauge-theory identities."],"supporting_citations":[{"why":"Provides the chain-saw quiver ADHM construction and pole structure that the defect partition function is built from.","marker":"[38]"},{"why":"Gives the vertex-operator derivation of the 5d defect partition function and the equal-charge normalizer; the paper's expression matches it in the 5d limit.","marker":"[55]"},{"why":"Introduces the quantum DELL system and the conjecture that the NS-limit defect function is its eigenfunction, which motivates the NS analysis.","marker":"[58]"},{"why":"Argues that the defect partition function factorizes in the NS limit and supplies the bulk-normalization prescription.","marker":"[39]"},{"why":"Provides the elliptic lift of the Shiraishi function that the bulk-decoupling vortex partition function is compared with.","marker":"[61]"},{"why":"Classifies the non-perturbative symmetries of A-type little strings that the paper extends to the defect.","marker":"[26]"},{"why":"Gives the parametrization and symmetry transformations of the little string moduli space used to build the defect symmetries.","marker":"[35]"},{"why":"Supplies the double quiver gauge theory formalism used for the $\\mathbb{Z}_N \\times \\mathbb{Z}_M$ character computation.","marker":"[33]"}],"fun_headline_variants":["Explicit BPS sums for little strings with surface defects","Defect BPS partition function now explicit for A-type LSTs","Orbifold defects in little strings yield exact BPS counts","NS limit made finite for defect little string theories","New combinatorics for defect BPS states in LSTs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the conjectured recursive pole-cancellation identity holds at all orders; it has been tested only up to twelve boxes in the simplest cases, and if it fails at higher order the finite NS-limit claim is unsupported.","fun_headline_variants_meta":{"raw":{"variants":["Explicit BPS sums for little strings with surface defects","Defect BPS partition function now explicit for A-type LSTs","Orbifold defects in little strings yield exact BPS counts","NS limit made finite for defect little string theories","New combinatorics for defect BPS states in LSTs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00055,"raw_usage":{"total_tokens":2774,"prompt_tokens":1242,"completion_tokens":1532,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":858,"completion_tokens_details":{"reasoning_tokens":1449}},"tokens_in":858,"tokens_out":1532,"duration_ms":7381,"temperature":1.0,"reasoning_tokens":1449,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:40:20.342106+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the left side of the recursive identity (2.74) for an $N=2$ configuration with total box number 14; if the result is not $O(\\epsilon_2^0)$ — that is, if any negative power of $\\epsilon_2$ remains — then the claimed regularity of both NS-limit normalizations is false.","supporting_citations":[{"cited_title":"Dihedral Symmetries of Gauge Theories from Dual Calabi-Yau Threefolds","cited_arxiv_id":"1811.03387","evidence_quote":"Classifies the non-perturbative symmetries of A-type little strings that the paper extends to the defect."},{"cited_title":"Non-perturbative Symmetries of Little Strings and Affine Quiver Algebras","cited_arxiv_id":"2311.03858","evidence_quote":"Gives the parametrization and symmetry transformations of the little string moduli space used to build the defect symmetries."}],"review_version":1}