{"id":"1751715b-6ecd-4c37-8a68-6c750f46d095","arxiv_id":"2501.06858","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The one-loop M2 brane partition function in AdS4 x S7/Z_k reproduces B_1 = -(1/(2π k)) cot(2π/k), the localization value for the ABJM Bremsstrahlung function.","lead":"An M2 brane fluctuation calculation in eleven dimensions reproduces the non-planar correction to the ABJM Bremsstrahlung function that was previously known from localization. This supports the quantum M2 brane method for extracting finite-N corrections in holographic duals.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 3.2's universal fermion mass shift m → m + kn/2 is asserted rather than derived for the cusped M2 embedding, and the final cotangent coefficient depends on it; without an independent κ-symmetry derivation the central match is conditional.","rationale":"The paper is a long, mostly explicit one-loop computation. The bosonic sector is derived from the expansion of the M2 action in Section 3.1; the small-ε perturbation theory is documented; and the sums over ℓ and n are manifestly convergent once the towers are combined, which is strong support. The final value matches the localization target (1.10), and the k = 1,2 results are genuine predictions. The single step that is not derived is the fermionic spectrum: eq. (3.25) is imported from the AdS2 × S1 computation and asserted to extend to the cusped background on grounds of universality. Because the final cancellation of O(ε²) terms relies on the exact form of all 8 fermionic towers, this is the most load-bearing unproven input. The reader's weakest_assumption identifies the same point, and I agree with that identification. I do not see a deeper internal inconsistency: the product structure of the background makes a constant shift plausible, so the concern is about proof completeness rather than a demonstrated error. A direct κ-symmetry derivation, or a numerical solution of the Dirac equation at small ε, would settle it. If the shift survives, the paper's conclusion is unchanged; if it fails, the match to localization would not follow from the stated computation. Hence the CONDITIONAL verdict is exactly right, and no adjustment is needed.","tokens_in":28721,"tokens_out":8221,"duration_ms":90437,"concrete_test":"Derive the quadratic fermionic action for the β = 0 cusped M2 solution in AdS4 × S7/Z_k by fixing κ-symmetry with the standard projector used in [2,33], reducing on ϕ, and explicitly diagonalizing the resulting 8 × 8 mass matrix including all spin-connection and F4 terms to order ε². Verify that the 2d Dirac operators are exactly (4.7) with constant masses (3.25). As an independent numerical check, solve the full 3d Dirac equation on the elliptic background at small but finite ε for several n and compare the lowest frequencies with the perturbative prediction (4.38); any O(ε²) deviation in the fermionic mass shift invalidates the central result (4.57).","verdict_should_be":"UNCHANGED","load_bearing_attack":"At eq. (3.25) the fermionic fluctuation masses for the M2 brane are taken to be kn/2 ± 1 and kn/2, and Section 3.2 extends this to the cusped solution by asserting that the fermion operator 'depends just on the induced metric and the F4 background and thus should be universal' (text after (3.25)). The promised 'detailed form of the Dirac operator' is not a derivation: in Section 4 the Dirac equation (4.7) simply contains these masses. For the β = 0 cusp the induced metric is the σ-dependent elliptic metric (4.2), not the highly symmetric AdS2 × S1 used in [2], so the Kaluza-Klein reduction along the 11d circle is not automatically the flat-space momentum shift; spin-connection and flux terms could mix the ϕ momentum with σ-dependent contributions at order ε². For the α = 0 cusp, Section 5 goes further and postulates m = m0(σ) + kn/2 with the IIA function m0(σ) from [21] (eqs. (5.20)–(5.21)), plus the δm shifts in the table after (5.29). These fermionic towers are precisely what cancels the bosonic O(ε²) contributions to produce E = (π/2k)cot(2π/k)ε² in (4.57) and (5.35); if the shift is not exact for n ≠ 0, the result changes and the match to (1.10) fails. The citations to [3,6,34] concern other backgrounds, so this is an extrapolation rather than a proof. Sections 4 and 5 both use the same assumed shift, so their mutual agreement is an internal consistency check only, not an independent test.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper computes the one-loop correction to the cusp anomaly for an M2 brane in AdS4 x S7/Z_k ending on a small cusped Wilson line, and claims it matches the localization prediction B^(1) = -1/(2πk) cot(2π/k) for the ABJM Bremsstrahlung function. The authors consider two cusp channels: a geometric cusp in AdS4 (β=0, small α) and an internal cusp in CP3 (α=0, small β). In static gauge they expand the M2 fluctuation action to quadratic order, decompose fields in Fourier modes on the wrapped 11d circle, and reduce the problem to 2d massive fields on a σ-dependent elliptic background. Using first-order perturbation theory in the small cusp parameter ε, they compute the one-loop vacuum energy E as a sum over mode numbers n and ℓ, obtaining E = (π/(2k)) cot(2π/k) ε² + O(ε⁴). This yields (1.24) for k>2 and B^(1)=1/(4π²) for k=1,2. The computation is detailed and the final sums over n and ℓ are manifestly convergent without zeta-function regularization.","tokens_in":29056,"tokens_out":4938,"duration_ms":44667,"significance":"If the fermionic fluctuation spectrum is correct, this is a significant result: it extends the M2-brane derivation of non-planar corrections [2] from the circular Wilson loop to the cusped Bremsstrahlung function, confirming the conjecture in [4]. The calculation is honest about many technical steps, uses no fitted parameters, and the α and β channels agree with the expected BPS relation (1.5). The paper also produces explicit predictions for k=1,2, where localization results are currently unavailable. However, the result's status depends on an unproven assumption about the fermionic tower masses (Section 3.2), which is the main scientific risk.","major_comments":[{"comment":"The fermionic spectrum for the cusped M2 brane is obtained by the assertion that the IIA string masses shift by a universal amount kn/2, because the fermion operator 'depends just on the induced metric and the F4 background and thus should be universal.' The promised 'detailed form of the Dirac operator' in Section 4 is not a derivation: eq. (4.7) simply contains these masses. Since the induced metric (4.2) is σ-dependent and the reduction along the 11d circle is not a flat-space momentum decomposition, spin-connection and flux terms could in principle mix n with σ-dependent terms at O(ε²). The cancellations leading to (4.57) rely on these fermionic towers, so the central match is conditional. The citations to [3,6,34] concern other backgrounds and do not establish the shift here; a κ-symmetry or explicit Dirac-operator computation is needed.","section":"Section 3.2, eq. (3.25) and text after"},{"comment":"For the CP3 cusp the fermionic masses are taken as m0(σ)+kn/2, with m0(σ) borrowed from the IIA string computation [21] and with the δm shifts in the table after (5.29). This is again an assumption, not derived from the 11d action. The agreement between Sections 4 and 5 therefore tests internal consistency under the same assumption, not the assumption itself. Please derive or justify the σ-dependent shift, or demonstrate explicitly that the Dirac operator in the α=0 background reduces to (4.7) with these masses.","section":"Section 5, eqs. (5.20)-(5.21)"}],"minor_comments":[{"comment":"The word 'prove' is too strong given the assumption in Section 3.2; consider 'show' or 'argue'.","section":"Abstract"},{"comment":"'One can check that the same expression is found also for n<0' — please include the n<0 calculation or relegate it to an appendix, since the sign conventions for negative n are not immediate.","section":"After (4.53)"},{"comment":"The values E_{-1}=1/2 and E_{-2}=1/2 in (4.60) appear without explanation; state how they are obtained (e.g. from zeta-regularized sums).","section":"Section 4.4, k=1,2 cases"},{"comment":"'Brehmstrahlung' is misspelled, and 'Combing (4.55) and (4.56)' should read 'Combining'.","section":"Page 26, footnote 3 and eq. (4.56)"},{"comment":"The expression for E_{ϑ1}^n contains a stray superscript formatting; please clean up the notation.","section":"Eq. (4.46)"}],"recommendation":"major_revision","confidential_remarks":"The paper is well within the scope of a hep-th journal. The main concern is the unproved fermionic mass shift. The authors may be able to supply the missing derivation, in which case the result would be very solid. I would not reject on current evidence, but the manuscript should not be accepted until the fermionic spectrum is put on firmer ground."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: this is a serious, mostly explicit one-loop M2 brane calculation that reproduces the known localization cotangent term in the Bremsstrahlung function for both cusp channels, with no fitted parameters. The genuinely new piece is the n≠0 M2 towers in the cusped background, extending the circular-loop computation of [2]. The n=0 part is correctly imported from [21], and the k=1,2 values are real predictions.\n\nThe paper does well. The bosonic fluctuations are fully derived from the action. The mode sums are shown to be manifestly convergent once bosons and fermions are combined, so they do not hide a zeta-function divergence. The two channels—β=0 in AdS4 and α=0 in CP3—give the same cotangent coefficient with the expected sign in (1.5), which is a meaningful internal check. The calculation is long but laid out well enough to follow.\n\nThe soft spot is the fermionic spectrum. In §3.2 the M2 fermion masses are obtained from the IIA string values by the universal shift m → m + kn/2, with the justification that the fermion operator depends only on the induced metric and F4 and \"should be universal.\" That is plausible, and the citations to [3,6,34] show the pattern holds in other backgrounds, but for the cusp the induced metric is σ-dependent, so the Kaluza-Klein reduction along the 11d circle is not obviously the same as a flat momentum shift. The spin connection and flux terms could in principle mix the ϕ momentum with σ-dependent pieces at order ε². The final result in (4.57) and (5.35) depends on that shift, so the match to localization is conditional on it. The agreement of the two channels is reassuring but not an independent test, since both use the same assumption.\n\nI do not think this is circular: the localization value is used as a benchmark, not as an input, and the n=0 string result in [21] is prior literature, not the target. The stress-test note overstates slightly when it says Sections 4 and 5 use the same assumed shift; the CP3 case actually postulates m = m0(σ) + kn/2 with a σ-dependent m0, so it is a modest extension, but the same gap applies.\n\nBottom line: the paper deserves a serious referee. It is a solid, honest computation whose central result depends on a stated assumption rather than a derivation. The referee should press for an independent derivation of the Dirac spectrum, or at least a κ-symmetry argument. I would take it to reading group and would cite it if I worked on M2 brane quantization. Recommend peer review, with the fermionic mass shift as the focus.","headline":"Explicit one-loop M2 brane computation reproduces the cotangent term in the ABJM Bremsstrahlung function, but the fermionic spectrum rests on an asserted universality of the mass shift.","tokens_in":29641,"tokens_out":2254,"would_cite":true,"duration_ms":21286,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T30","81T60","81T13"],"pacs":["11.25.-w","11.15.-q","11.30.Pb"],"model":"deepseek-v4-flash","headline":"M2 brane quantization reproduces ABJM non-planar correction","keywords":["ABJM theory","Bremsstrahlung function","M2 brane","Wilson loop","AdS4/CFT3 correspondence","localization","cusp anomaly","one-loop partition function"],"falsifier":"Solve the fermionic spectral problem for the Dirac operator in (4.7) with the $\\sigma$-dependent mass (5.20) numerically for small but non-zero $\\varepsilon$ and check whether the leading $\\varepsilon^2$ shifts of the frequencies reproduce (4.38); a mismatch would falsify the universal mass shift for the cusp background.","tokens_in":28456,"feed_emoji":"⚛️","tokens_out":8144,"duration_ms":68579,"temperature":0.7,"pith_summary":"This paper claims that the leading non-planar (large-$N$, fixed-$k$) correction to the ABJM Bremsstrahlung function can be derived from first principles by quantizing an M2 brane in the eleven-dimensional background $\\mathrm{AdS}_4 \\times S^7/\\mathbb{Z}_k$. The M2 brane ends on a cusped Wilson line, generalizing the type IIA string solution, and its one-loop partition function yields the cusp anomaly $\\Gamma^{(1)}_{\\rm cusp} = \\frac{\\pi}{2k}\\cot\\frac{2\\pi}{k}\\,\\varepsilon^2 + O(\\varepsilon^4)$. From this the paper obtains the one-loop correction to the Bremsstrahlung function, $B^{(1)} = -\\frac{1}{2\\pi k}\\cot\\frac{2\\pi}{k}$ for $k>2$ and $B^{(1)}=\\frac{1}{4\\pi^2}$ for $k=1,2$, matching the localization result (1.10). The significance is that a quantum M2 brane, not just the planar string, reproduces a non-planar gauge-theory quantity.","feed_headline":"M2 brane quantization reproduces ABJM non-planar correction","feed_subtitle":"First-principles derivation of the cotangent term in the ABJM Bremsstrahlung function, matching localization for k>2 and predicting k=1,2.","key_machinery":"The central object is the one-loop vacuum energy formula $E = \\frac12 \\sum_I (-1)^{F_I} \\omega_I$ for the quadratic fluctuations of the M2 brane in static gauge, with world volume AdS$_2 \\times S^1$. The bosonic and fermionic fluctuation spectra are organized into towers of 2d fields labelled by the Fourier mode $n$ on the 11d circle: CP$^3$ scalars have masses $m_n^2 = \\frac14 k n (k n + 2)$, AdS$_4$ scalars have masses given by the eigenvalues of a $4\\times4$ matrix, and fermions have masses $m_n = \\frac12 k n \\pm 1$ and $\\frac12 k n$, obtained from the type IIA string masses by the universal shift $m \\to m + \\frac{kn}{2}$. The vacuum energy is evaluated by first-order perturbation theory in the small-cusp parameter $\\varepsilon$ using explicit AdS$_2$ eigenfunctions of Jacobi-polynomial type. The final sum over $n$ is manifestly convergent and yields the cotangent.","core_discovery":"The paper establishes that the one-loop correction to the M2 brane partition function for the cusped Wilson line background is finite and equals $E = \\frac{\\pi}{2k}\\cot\\frac{2\\pi}{k}\\,\\varepsilon^2 + O(\\varepsilon^4)$ after summing over all Fourier modes on the 11d circle. In the small-cusp limit, with $\\alpha = \\pi\\varepsilon + \\cdots$ for the AdS$_4$ cusp and $\\beta^2 = -\\pi^2\\varepsilon^2$ for the CP$^3$ cusp, the one-loop cusp anomaly takes the BPS form $\\Gamma_{\\rm cusp}^{(1)} = -(\\alpha^2 - \\beta^2) B^{(1)}$, with $B^{(1)} = -\\frac{1}{2\\pi k}\\cot\\frac{2\\pi}{k}$ for $k>2$ and $B^{(1)}=\\frac{1}{4\\pi^2}$ for $k=1,2$. The $k=1,2$ values are new predictions, as localization results for the Bremsstrahlung function are not yet available there. The computation is done by perturbing around the BPS straight-line background, where the fluctuation spectrum consists of towers of AdS$_2$ 2d fields labelled by the $S^1$ mode number $n$; the $n=0$ tower reduces to the known type IIA string result, and the non-trivial content is the sum over the $n\\neq0$ towers.","pith_inferences":["The universal fermionic mass shift $m \\to m + kn/2$ could be tested independently by computing the Dirac operator spectrum directly on the cusp M2 brane background; such a check would clarify whether the shift holds for arbitrary M2 brane embeddings, not just the AdS$_2 \\times S^1$ class.","The $k=1,2$ predictions could be checked by future mass-deformed localization or Fermi-gas matrix model computations, providing a non-trivial test of the M2 brane quantization at small level.","Pushing the perturbative method to the next order in $\\varepsilon^2$ would probe the subleading $1/\\sqrt{N}$ terms in (1.10), potentially connecting the two-loop M2 brane correction to the next Airy-function coefficient.","A natural extension is to apply the same tower sum to latitude Wilson loops, for which the localization result for finite angle is not yet available, potentially yielding new predictions from the M2 brane side."],"forward_implications":["If correct, the cotangent term in the localization formula for the ABJM Bremsstrahlung function is no longer an isolated matrix-model fact but follows from M-theory semiclassics, strengthening the AdS$_4$/CFT$_3$ duality beyond the planar limit.","The computation yields concrete predictions for $k=1$ and $k=2$, namely $B^{(1)} = \\frac{1}{4\\pi^2}$, whose localization counterparts are not currently known.","The expanded cotangent term encodes an infinite series of leading strong-coupling corrections at each string genus order, so the single one-loop M2 brane computation reproduces all of them at once.","The same small-cusp expansion works for the pure AdS$_4$ cusp ($\\beta=0$) and the pure CP$^3$ cusp ($\\alpha=0$), confirming the BPS structure $\\Gamma_{\\rm cusp} = -(\\alpha^2-\\beta^2) B$ at one loop.","Unlike the circular Wilson loop case where the sum over $n$ required $\\zeta$-function regularization, the cusped computation has a manifestly finite sum over $n$, suggesting a more direct regulator-free route to higher M2 brane corrections."],"supporting_citations":[{"why":"Supplies the M2 brane one-loop method—towers of 2d fluctuations on the 11d circle with the universal mass shift—that this paper adapts to the cusped Wilson line.","marker":"[2]"},{"why":"Conjectured that the localization cotangent term in the Bremsstrahlung function can be reproduced by quantizing the M2 brane; the present paper implements that suggestion.","marker":"[4]"},{"why":"Provides the type IIA string one-loop cusp-anomaly computation whose $n=0$ contribution $E_0 = \\varepsilon^2/4$ the M2 brane result must reduce to.","marker":"[21]"},{"why":"Gives the IIA string fluctuation spectrum and one-loop frequencies for the generalized cusp that serve as the string-level input for the M2 brane towers.","marker":"[20]"},{"why":"Provides the mass-deformed localization result that yields the target $B_1 = -\\frac{1}{2\\pi k}\\cot\\frac{2\\pi}{k}$.","marker":"[23]"},{"why":"Gives the $w$-fundamental Wilson loop localization expression whose derivative produces the expansion (1.10) being matched.","marker":"[24]"},{"why":"Documents the same universal fermionic mass shift pattern in other M2 brane backgrounds, cited to justify the $m \\to m + kn/2$ assumption.","marker":"[3]"}],"fun_headline_variants":["M2 brane one-loop cusp anomaly reproduces ABJM localization","First-principles ABJM non-planar term from M2 brane quantization","M2 brane cusp anomaly matches ABJM for k>2, predicts k=1,2","Quantum M2 brane derives ABJM Bremsstrahlung correction","New k=1,2 cusp anomaly predictions from M2 brane"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the M2 brane fermionic fluctuation masses follow from the type IIA string masses by the universal shift $m \\to m + kn/2$ for all backgrounds, asserted because the fermion operator depends only on the induced metric and the $F_4$ background; if this shift is wrong for the cusped background, the fermionic contribution to the vacuum energy changes and the cotangent coefficient is not reproduced.","fun_headline_variants_meta":{"raw":{"variants":["M2 brane one-loop cusp anomaly reproduces ABJM localization","First-principles ABJM non-planar term from M2 brane quantization","M2 brane cusp anomaly matches ABJM for k>2, predicts k=1,2","Quantum M2 brane derives ABJM Bremsstrahlung correction","New k=1,2 cusp anomaly predictions from M2 brane"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000871,"raw_usage":{"total_tokens":3878,"prompt_tokens":1160,"completion_tokens":2718,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":776,"completion_tokens_details":{"reasoning_tokens":2613}},"tokens_in":776,"tokens_out":2718,"duration_ms":17906,"temperature":1.0,"reasoning_tokens":2613,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:49:43.562420+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the fermionic spectral problem for the Dirac operator in (4.7) with the $\\sigma$-dependent mass (5.20) numerically for small but non-zero $\\varepsilon$ and check whether the leading $\\varepsilon^2$ shifts of the frequencies reproduce (4.38); a mismatch would falsify the universal mass shift for the cusp background.","supporting_citations":[],"review_version":1}