{"id":"93256dff-9eee-40f6-b57a-f9f852d36a8a","arxiv_id":"2511.04596","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A universal one-loop holographic computation predicts the subleading large-N behavior of 1/2-BPS Wilson loops in two families of 3d N=2 Chern-Simons-matter theories, including an Airy-function completion for M-theory duals.","lead":"The paper computes one-loop quantum corrections to holographic Wilson loops for two large families of 3d Chern-Simons-matter theories, yielding universal prefactors for the large-N behavior. This turns a case-by-case holographic problem into geometric formulas and gives new, testable predictions for subleading corrections.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Family B's one-loop prefactor (5.25) rests on an unverified UV cutoff replacement; without a matrix-model cross-check the universal prediction could shift by a scheme-dependent constant.","rationale":"The reader's weakest assumption — grand-canonical one-loop exactness behind the Airy ratio — is real, but it is explicitly labeled a conjecture and does not affect the core one-loop prefactors; moreover the Airy formula already matches ABJM and ADHM. The family B result is a new, central prediction with no cross-check. Its prefactor is fully determined by the UV regularization scheme borrowed from [36]. Since the massive IIA background has non-trivial dilaton and Romans mass, the string path-integral measure could differ; a constant error in the scheme changes the N-scaling of the prefactor through ℓ/ℓ_s. Thus this is more load-bearing than the Airy speculation. The verdict remains CONDITIONAL: the calculation is coherent and self-consistent, but this specific finite part should be validated before the formula is treated as a precision prediction.","tokens_in":39071,"tokens_out":14676,"duration_ms":141795,"concrete_test":"Compute the 1/2-BPS Wilson loop in a concrete family B theory, e.g. the SU(N)_k CS-matter theory dual to the AdS4×S(SE5=S^5) massive IIA solution [3], directly from the localization matrix model at next-to-leading order in 1/N (or by finite-N numerical evaluation fitted to the N^{1/3} exponent and the prefactor). Compare the extracted prefactor with (5.25). If it matches, the cutoff replacement in §5.1 is correct; if not, the finite part of the one-loop string partition function must be re-derived.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing point is the finite part of the F1 one-loop determinant in family B, eq. (5.24)-(5.25). The divergence structure is universal (b2,tot = R^(2), χ=1, Appendix B), but the finite result requires replacing the UV cutoff Λ by ℓ/(2πℓ_s) (Section 5.1, after (5.23), citing [36]). This is a scheme choice, not a derivation. In ABJM/CP3 the analogous replacement was validated against localization, but for the massive IIA backgrounds there is no such anchor: no independent matrix-model result exists for any family B Wilson loop. If the correct scheme replaces log Λ by, e.g., log(1/ℓ_s) or includes an extra constant, the prefactor in (5.25)/(1.1) changes by a power of N (since ℓ/ℓ_s ~ L/ℓ_s e^{φ0/4}) and the claimed universal prediction fails in its N-scaling, not just its O(1) coefficient. The paper's consistency check with the V5,2 n=0 string spectrum fixes the mass spectrum, not the path-integral measure. The text itself acknowledges that no field-theory answer exists for family B (Section 5.1 and Conclusions).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the large-N vacuum expectation value of 1/2-BPS Wilson loops in two families of three-dimensional N=2 Chern-Simons-matter theories. For family A, dual to AdS4 x SE7 in M-theory, the authors compute the one-loop partition function of a probe M2-brane wrapping AdS2 x S^1_M and obtain a universal prefactor depending on the M-theory-circle radius c and three charges q_l, Eqs. (3.23)-(3.26). They then conjecture a full perturbative completion as a ratio of Airy functions, Eq. (3.31), following the ensemble proposal of [14]. For family B, dual to massive type IIA backgrounds AdS4 x S(SE5), they compute the one-loop partition function of a fundamental string, Eq. (5.24), and obtain a universal Wilson-loop prediction, Eq. (5.25), depending only on N, n, and vol(SE5). The ABJM and ADHM examples reproduce known matrix-model results, and several further examples are worked out.","tokens_in":39412,"tokens_out":6802,"duration_ms":73090,"significance":"If the one-loop results are correct, the paper provides genuinely universal, parameter-free prefactors for Wilson loops in a broad class of holographic SCFTs. The ABJM and ADHM comparisons are strong external checks and demonstrate that the heat-kernel and determinant-sum machinery is implemented correctly. The family-B result, Eq. (5.25), is the first subleading prediction for that class and is falsifiable once matrix-model techniques reach this order. The Airy completion (3.31) is clearly labeled as speculative, but it is the basis for the advertised full perturbative completion. The paper is careful about geometric data and openly acknowledges missing B parameters and the absence of a field-theory check for family B; these strengths and caveats are appropriately balanced. The main unresolved issues are the scheme-dependence of the family-B cutoff replacement and the reliance on the ensemble/one-loop-exactness assumption from [14] for the all-orders formula.","major_comments":[{"comment":"The finite part of the F1 one-loop determinant, and therefore the prefactor in (5.25), is obtained by replacing the UV cutoff Λ with ℓ/(2πℓ_s) after (5.23), following [36]. In the ABJM/CP3 context this replacement was validated against localization, but for the massive IIA backgrounds there is no independent matrix-model anchor. The logarithmic divergence is universal (b2,tot=R^(2), χ=1, Appendix B), but the finite part is scheme-dependent. Since ℓ/ℓ_s behaves as a positive power of N/n, a different scheme — e.g. log Λ ~ log(1/ℓ_s) or an added O(1) constant — would change the prefactor in (5.25) by a power of N or by an O(1) factor, altering the N-scaling of the prediction. The V5,2 zero-mode comparison fixes the mass spectrum, not the path-integral measure. This is load-bearing for the paper's main new family-B claim and should be stated as an assumption or supported by an independent c","section":"Section 5.1, Eqs. (5.23)-(5.25)"},{"comment":"The passage from the one-loop M2-brane result (3.26) to the all-orders Airy ratio (3.31) assumes both one-loop exactness of the M2-brane partition function and a grand-canonical-to-canonical Laplace transform, following [14]. The text explicitly calls this speculative, but (3.31) is then used for the advertised full perturbative completion and for several family-A examples. Since [14] is a recent companion proposal and the ABJM/ADHM checks were already obtainable by other methods, the all-orders formula is not yet independently tested. I recommend separating the one-loop prediction, which is on firmer ground, from the Airy completion, and stating clearly that the latter is contingent on the ensemble/exactness proposal.","section":"Section 3.3, Eqs. (3.29)-(3.31)"}],"minor_comments":[{"comment":"The match with [15] is quoted 'up to a factor of 1/2 due to a different normalization convention.' Please specify the exact normalization convention so that future comparisons do not inherit an ambiguity.","section":"Section 4.1, Eq. (4.15)"},{"comment":"Several entries have unknown B parameters, so formulas such as (4.48) and (4.57) contain an undetermined shift. This is acknowledged, but it would help to mark these explicitly as predictions up to B rather than complete closed forms.","section":"Table 1 and Sections 4.3.2, 4.4.2, 4.5"},{"comment":"The notation λ for family A and \\tilde λ for family B is easy to confuse; define them side by side. The scaling argument from (5.27) to (5.31) is heuristic and should not be presented as a check of the O(1) coefficient in (5.25).","section":"Section 5.1, Eqs. (5.26)-(5.32)"},{"comment":"The result e^{-Γ_M2}=2k is surprising because it suggests the k≫1 string-theory limit is exact. A short comment on the physical interpretation, or a check of the next correction, would strengthen this example.","section":"Section 4.3.2, Eq. (4.34)"},{"comment":"The abstract says 'we conjecture the full perturbative completion', while the text says 'we speculate'; aligning the wording and summarizing the two assumptions behind the Airy formula would improve clarity.","section":"Abstract and Section 3.3"}],"recommendation":"major_revision","confidential_remarks":"The central one-loop machinery appears sound, and the ABJM/ADHM reproductions are a genuine strength. However, the two most novel claims rest on assumptions that are not fully established: the family-B cutoff replacement has no independent anchor, and the Airy completion relies on the authors' own companion proposal [14]. These are not fatal errors, but they are load-bearing. A major revision that clearly separates established one-loop results from conjectural completions, and that either justifies or softens the family-B scheme choice, would be appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I think this is a genuinely useful paper, and the main result is real. The authors show that the one-loop partition function of the M2-brane dual to the Wilson loop in AdS4×SE7 depends only on the M-theory circle radius c and three charges q_l, and they compute it for arbitrary SE7. They also do the first one-loop string calculation for the massive IIA family B. The ABJM and ADHM checks reproduce known answers, which gives confidence that the machinery is right. The new examples (Q111, V5,2, M3,2) are predictions, not checks.\n\nThe family A Airy ratio (3.31) is a conjecture, and the authors say so. It relies on the grand-canonical one-loop-exactness assumption from [14]. That's a real soft spot, but it's clearly flagged and doesn't affect the one-loop prefactor itself.\n\nThe bigger soft spot is family B. The mass spectrum is derived cleanly and is universal, but the finite part of the one-loop determinant (5.24) requires replacing a UV cutoff log Λ by log(ℓ/2πℓ_s), citing [36]. That is a scheme choice. It worked for AdS4×CP3 where localization could check it, but for massive IIA there is no independent matrix-model result. If the correct scheme differs by a constant, the prefactor changes by an O(1) factor; if it differs in the log of the AdS scale, the N-scaling changes. The stress-test note claims the latter is possible, and I think that's a fair concern. The authors note the lack of a field-theory anchor themselves, so I don't see it as an error, just an unvalidated assumption in the only genuinely new numerical prediction.\n\nWhat the paper does well: the universal spectra are carefully derived, the heat-kernel sums are explicit, and the reduction to type IIA is sensible. The writing is clear and honest about what is conjecture and what is computation.\n\nWho should read it: anyone doing precision holography in AdS4/CFT3, or working on quantum string/M2 partition functions. I would send it to a serious referee. The referee should focus on Section 5.1 and the Airy step, not on the overall method.\n\nMy own bottom line: the one-loop computations are probably correct; the family B prefactor is a plausible prediction but not yet a tested one. It deserves to be published after the usual scrutiny.","headline":"Universal one-loop M2 and string Wilson-loop calculation that checks out for ABJM/ADHM and makes new predictions; the family B prefactor is plausible but rests on a regularization scheme that still needs an independent anchor.","tokens_in":39861,"tokens_out":5134,"would_cite":true,"duration_ms":51397,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.25.Tq","04.65.+e"],"model":"deepseek-v4-flash","headline":"This paper derives universal one-loop predictions for the vacuum expectation values of half-BPS Wilson loops in two large families of three-dimensional superconformal Chern-Simons-matter theories, using only the geometry of their holographi","keywords":["AdS4/CFT3","Wilson loops","M2-brane","one-loop quantization","Sasaki-Einstein geometry","Chern-Simons-matter theories","massive type IIA","Airy function"],"falsifier":"Carry out the next-to-leading-order matrix-model computation of the 1/2-BPS Wilson loop for a family B gauge theory (e.g., SU(N)_k Chern-Simons-matter with a single level) and compare the coefficient of N^{1/3} in the exponent and the prefactor with (5.25). Any discrepancy in the prefactor would falsify the universal one-loop string determinant; for family A, a numerical evaluation of the Airy ratio (3.31) for V^{5,2}/Z_{N_f} against the matrix model would test the one-loop exactness and ensemble conjecture.","tokens_in":38959,"feed_emoji":"🎯","tokens_out":6964,"duration_ms":65739,"temperature":0.7,"pith_summary":"The authors establish a universal one-loop expression for the vacuum expectation value of half-BPS Wilson loops in two large families of N=2 Chern-Simons-matter SCFTs. For theories with M-theory duals (family A), the M2-brane partition function at one loop depends only on the radius c of the M-theory circle and three charges q_l read off from the SE7 metric; for theories with massive type IIA duals (family B), the string one-loop partition function depends only on N, the sum n of Chern-Simons levels, and the volume of the SE5 base. Combining the one-loop prefactor with a conjectured Airy completion yields a closed-form, perturbatively exact prediction for family A. The authors test against known ABJM, ADHM and Q^{1,1,1} results and provide new predictions for V^{5,2} and M^{3,2} and for all family B models.","feed_headline":"Universal one-loop formula predicts holographic Wilson loops","feed_subtitle":"A single geometric number — the M-theory circle radius or SE5 volume — sets the subleading correction.","key_machinery":"The engine of the computation is the quadratic fluctuation action around the classical brane: an M2-brane wrapping a calibrated circle S^1_M inside SE7, or a fundamental string at α=0 in the sine-cone geometry. Using Sasaki-Einstein geometry — specifically the relation R_{0a0b}=δ_ab for the curvature along the Reeb direction and the vanishing of extrinsic curvature — the fluctuation spectrum reduces to massive Klein-Gordon and Dirac operators on AdS2, with masses set by c and the charges q_l (eigenvalues of the spin connection pullback). The same spectrum is obtained for the string after the mass matrix is shown to be universal. The one-loop determinants are evaluated with heat-kernel/zeta r","core_discovery":"At the paper's core is a universal statement about the semiclassical quantization of the holographic duals of 1/2-BPS Wilson loops in three-dimensional superconformal Chern-Simons-matter theories. For family A — the theories with AdS4 x SE7 M-theory duals — the one-loop M2-brane effective action is a function only of c, the radius of the M-theory circle, and three charges q_l; the authors conjecture that after a Laplace transform from the grand canonical to the canonical ensemble, the full perturbative Wilson loop is the ratio of Airy functions (3.31). For family B — the massive type IIA duals on warped AdS4 x S(SE5) — the one-loop string determinant is independent of the detailed Sasaki-Ein","pith_inferences":["Inference: If the one-loop exactness/ensemble assumption holds for family A, the same method could be applied to other M2-brane observables, such as worldsheet instanton prefactors, giving a general framework for precision holography in AdS4.","Inference: The universal string spectrum for family B suggests a similar universality for the four-dimensional parent theories, where the a-central charge and volumes appear; the 3d result might be obtainable from a topological string or free-energy extremization in the parent.","Inference: The dependence of the M2 result only on c and q_l hints that these quantities may map to simple field-theoretic data (R-charges/levels), allowing the Airy B parameter to be fixed without a full matrix-model computation in cases like V^{5,2}/Z_k and M^{3,2}/Z_k.","Inference: A testable extension is to compute the O(e^{-#√N}) non-perturbative corrections to (3.31) by including membrane instantons and compare with the known ABJM instanton series; this would test whether the Laplace-transform completion captures the full trans-series."],"forward_implications":["For every SCFT in family A with a known SE7 dual, the one-loop M2-brane partition function is given by (3.23)-(3.25), and the perturbatively exact Wilson loop VEV is the Airy ratio (3.31), with no free parameters.","The ABJM, ADHM and Q^{1,1,1}/Z_{N_f} results reproduce known matrix-model answers, confirming the universality of the one-loop prefactor.","For family B, the Wilson loop VEV at next-to-leading order is (5.25), scaling as N^{1/3} exp(...), with prefactor fixed by Γ(2/3)^3 and the SE5 volume; this is a new prediction to be tested by matrix models.","The string-theory expansion coefficients a_p in (3.36) can be extracted from Γ_M2; for ABJM, ADHM and Q^{1,1,1} they take a universal trigonometric form, while V^{5,2} is more involved.","The results imply that the leading exponential is fixed by geometry and the prefactor by one-loop determinants, so no per-theory fitting is needed."],"fun_headline_variants":["Airy ratio conjectured for Wilson loops in Chern-Simons","One-loop formula unifies Wilson loops across M-theory and IIA","Single geometric number sets Wilson loop corrections","Universal M2-brane quantization predicts Wilson loops","One-loop string and M2-brane fix holographic Wilson loops"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The M2-brane partition function is assumed to be one-loop exact and to compute the Wilson loop in the grand canonical (fixed chemical potential) ensemble; if this fails, the Airy ratio (3.31) is not the correct all-orders completion, though the one-loop prefactor would survive.","fun_headline_variants_meta":{"raw":{"variants":["Airy ratio conjectured for Wilson loops in Chern-Simons","One-loop formula unifies Wilson loops across M-theory and IIA","Single geometric number sets Wilson loop corrections","Universal M2-brane quantization predicts Wilson loops","One-loop string and M2-brane fix holographic Wilson loops"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001147,"raw_usage":{"total_tokens":4569,"prompt_tokens":694,"completion_tokens":3875,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":438,"completion_tokens_details":{"reasoning_tokens":3793}},"tokens_in":438,"tokens_out":3875,"duration_ms":23665,"temperature":1.0,"reasoning_tokens":3793,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T23:38:00.279377+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Carry out the next-to-leading-order matrix-model computation of the 1/2-BPS Wilson loop for a family B gauge theory (e.g., SU(N)_k Chern-Simons-matter with a single level) and compare the coefficient of N^{1/3} in the exponent and the prefactor with (5.25). Any discrepancy in the prefactor would falsify the universal one-loop string determinant; for family A, a numerical evaluation of the Airy ratio (3.31) for V^{5,2}/Z_{N_f} against the matrix model would test the one-loop exactness and ensemble conjecture.","supporting_citations":[],"review_version":1}