{"id":"3d4e55cd-270f-4838-bac7-48e5c340c2ae","arxiv_id":"2608.04356","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A membrane-minimal-surface calculation in AdS7 predicts a first-order Gross-Ooguri phase transition between two fundamental spherical Wilson surfaces at separation L*/R_b ≈ 0.5843.","lead":"Using AdS/CFT, the author computes the interaction of two spherical Wilson surfaces in the six-dimensional (2,0) theory and finds a first-order phase transition when their separation reaches about 0.584 times their radius. This is the first such prediction for fundamental Wilson surfaces in this theory, extending a known transition for circular Wilson loops in four dimensions.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed critical L*/Rb rests on an unverified reduction to the SO(3)-symmetric Nambu-Goto saddle; Wess-Zumino or symmetry-breaking contributions would change VE and the transition point.","rationale":"The reader identified the spherically symmetric Nambu-Goto truncation as the load-bearing premise, and I agree. The paper's own Section 5 admits the missing proof of smoothness/unimodality of F(xi), but the more decisive uncertainty is whether the Euler solution computed in Section 2.2 is actually the dominant connected saddle of the membrane theory. If the Wess-Zumino term contributes, equation (2.73) is not the correct on-shell action. If a non-symmetric extremum has lower regularized volume, the volume comparison in Section 4 does not describe the actual phase transition. Both possibilities directly change the critical separation L*, so the central quantitative claim is not yet established. The existence of a first-order transition may survive in broad outline, but the specific value L*/Rb approx 0.5843 and the interpretation as the Gross-Ooguri transition depend on this saddle being the correct one. The proposed test, a linearized stability analysis including the Wess-Zumino term, would settle whether the Euler solution is at least locally stable and whether the NG-only action is complete. Thus the conditional verdict is appropriate, and no shift in the reader's recommendation is needed.","tokens_in":12833,"tokens_out":25217,"duration_ms":246913,"concrete_test":"Compute the second variation of the full M2-brane action (Nambu-Goto plus Wess-Zumino) around the explicit Euler solution (2.47)-(2.50), focusing on the first non-symmetric spherical-harmonic mode. If the Wess-Zumino pullback is nonzero, the on-shell action must be recomputed; if any perturbation mode has negative eigenvalue, the symmetric Euler saddle is not the dominant connected extremum and the reported xi* and L* are invalid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result, VE=VG at xi* approx 1.2604 (L*/Rb approx 0.5843), is obtained by extremizing only the Nambu-Goto part of the M2 action (2.1) within the SO(3)-symmetric ansatz (2.4). No argument establishes that the Wess-Zumino term, which is generically present in AdS7 x S4, has vanishing pullback on this embedding; if it is nonzero, the on-shell action (2.73) and the volume difference (3.4) are incomplete and the critical separation will shift. Likewise, the paper never checks whether a non-symmetric extremum with smaller regularized volume exists; boundary data and action are SO(3)-invariant, so a symmetric saddle is plausible but not guaranteed. Section 5 explicitly concedes that F(xi) is not proven smooth or unimodal, which further undermines the two-branch picture, but the more fundamental gap is the saddle itself: without justifying the NG truncation and the ansatz, the phase-transition point is a property of an assumed solution class, not of the actual membrane theory.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the AdS/CFT dual of the correlator of two spherical Wilson surfaces in the fundamental representation of SU(N) in the large-N (2,0) theory. It constructs two competing membrane saddles in AdS7: the connected 'AdS-Euler' surface and the disconnected 'AdS-Goldschmidt' pair, minimizes the Nambu-Goto action under a spherically symmetric ansatz, and computes their regularized volume difference. The central claim is a first-order Gross-Ooguri phase transition at critical separation L*/Rb ≈ 0.5843, where the volumes cross at ξ* ≈ 1.2604, with the Euler branch dominating at smaller separations and the Goldschmidt branch at larger ones. The paper derives explicit integral representations, asymptotic behaviors, and a relation between the maxima of F(ξ) and the Euler volume, and supplements the calculation with numerical plots.","tokens_in":13106,"tokens_out":8284,"duration_ms":80912,"significance":"If the assumptions of the calculation hold, the paper provides the first quantitative extension of the Gross-Ooguri transition to Wilson surfaces in the fundamental-fundamental case, with a concrete critical ratio L*/Rb. The integral setup is explicit and the asymptotic analysis is coherent; the derivation of VE and VG is transparent and the cancellation of divergences is verified. The paper also produces a nontrivial hypergeometric identity as a byproduct. The main significance is therefore conditional on the validity of the saddle-point ansatz and the truncation to Nambu-Goto, which the paper does not establish.","major_comments":[{"comment":"The reduction to the Nambu-Goto action and the spherically symmetric ansatz are not justified, and this is load-bearing for the central quantitative claim. For the on-shell action to be given by the Nambu-Goto part alone, the pullback of the Wess-Zumino term to the membrane must vanish; the paper does not show this for the embedding in AdS7 × S4. Similarly, the boundary data and action are SO(3)-invariant, but it is not proven that the minimizing saddle respects this symmetry; a non-symmetric extremum with smaller regularized volume would change the critical separation L*. Please add an argument that the WZ pullback vanishes for embeddings with no S4 components, and discuss why the ansatz (2.4) captures the relevant saddle, e.g., by a symmetrization argument or a perturbation analysis around the symmetric solution.","section":"Section 2, Eqs. (2.1) and (2.4)"},{"comment":"The paper explicitly states that F(ξ) is not proven smooth or unimodal on the half-line ξ > 0. This is load-bearing for the two-branch picture: the existence of exactly one stable and one unstable Euler branch for each L < Lmax, and the identification of the transition at L*, depend on unimodality. The numerical plot is suggestive but not a proof. Please either provide a proof of unimodality or state clearly that the phase-transition claim is conditional on this property, and assess how robust the quoted L* is if F has additional stationary points or non-smooth behavior.","section":"Section 5"},{"comment":"The critical values ξ* ≈ 1.2604 and L*/Rb ≈ 0.5843 are quoted to four significant figures without error estimates or a description of the numerical integration and root-finding methods. Since the phase-transition point is the central result, please provide the numerical procedure (e.g., quadrature scheme, tolerance) and an estimate of the numerical error. This would also support the asymptotic matching in Section 6.","section":"Section 4, Eq. (3.4)"}],"minor_comments":[{"comment":"The integration limits in Eq. (2.71) appear inconsistent: ∫_{0}^{-L/2} should presumably be ∫_{-L/2}^{0} (or the sign adjusted); please correct.","section":"Eq. (2.71)"},{"comment":"The claimed hypergeometric identity should be checked numerically; please provide the numerical value of 2F1(4/3,1,5/3;-1) to support the matching in Eq. (6.6).","section":"Section 6, Eq. (6.6)"},{"comment":"The abelian discussion in Eqs. (1.1)-(1.6) is not used in the rest of the paper; consider shortening or moving it to a footnote.","section":"Section 1"},{"comment":"The text says 'continous change in the volume' at a first-order transition; this wording is imprecise because the first-order character refers to a discontinuous change in the dominant saddle, not in the volume itself.","section":"Section 4"},{"comment":"There are typos: 'monotous' should be 'monotone', and in Section 4 'approximatly' should be 'approximately'.","section":"Section 2.2"}],"recommendation":"major_revision","confidential_remarks":"The paper fits the journal's scope and presents a technically explicit computation, but the central claim rests on two unproven assumptions: the Nambu-Goto truncation (with vanishing WZ pullback) and the spherically symmetric ansatz. Both are standard in the literature, and the symmetries make them plausible, so a major revision asking for a clear justification or a conditional statement is appropriate. The numerical part would also benefit from reproducibility details."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: this isn't a repackaging. The two-fundamental spherical Wilson surface correlator is a genuinely new case, and the computation yields a concrete prediction: L*/R_b ≈ 0.5843. If the saddle assumption holds, this is a real result. The paper deserves a serious referee.\n\nWhat it does well: the volume-difference logic is transparent. V_E and V_G are computed from explicit integrals; no free parameters; the asymptotics match independent derivations, and the author derives a nontrivial hypergeometric identity as a consistency check. It also openly admits the missing smoothness proof for F(ξ) (Section 5) — that's honest.\n\nWhere it wobbles. The big one: the entire Euler branch relies on the spherically symmetric ansatz (2.4) and on dropping all but the Nambu-Goto part of the M2 action. Neither is justified. The Wess-Zumino term could in principle contribute to the classical on-shell action on this embedding; the paper simply asserts it doesn't. And a non-symmetric extremum with smaller volume would change the transition point. That's not a pedantic objection — it's the difference between a prediction and a property of an assumed solution class. The numerical values ξ* ≈ 1.2604 and L* ≈ 0.5843 come without code or error bars; I'd want the integrals specified precisely enough to reproduce. Minor: there's a sign typo somewhere near the branch labeling, and the stable/unstable branches in the L plot need clearer labels.\n\nThe author flags the smoothness gap, but not the ansatz/truncation gap. That should be the referee's focus.\n\nBottom line: for people working on Wilson surfaces in AdS/CFT, this is worth a careful look. It needs revision before acceptance — at minimum an explicit statement that the Nambu-Goto truncation and symmetric ansatz are assumptions, plus reproducible numerics. I'd send it to peer review rather than desk reject.","headline":"A plausible new Wilson-surface transition, but the critical separation is only as trustworthy as the unproven spherical ansatz and Nambu-Goto truncation.","tokens_in":13602,"tokens_out":2543,"would_cite":true,"duration_ms":25778,"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 claims that two spherical Wilson surfaces in the (2,0) theory undergo a first-order Gross-Ooguri phase transition at L*/R_b ≈ 0.5843.","keywords":["Wilson surface","Gross-Ooguri phase transition","AdS/CFT correspondence","(2,0) superconformal theory","M2-brane","minimal hypersurface","elliptic integral","large-N limit"],"falsifier":"Compute the on-shell membrane action with the Wess-Zumino term included for the same two-sphere boundary, or run a numerical minimization that relaxes spherical symmetry; if the regularized volume difference $V_E - V_G$ changes sign at a different $\\xi$ or a smaller-volume connected saddle appears, the predicted transition at $L_*/R_b \\approx 0.5843$ is falsified.","tokens_in":12590,"feed_emoji":"🌀","tokens_out":16163,"duration_ms":132100,"temperature":0.7,"pith_summary":"Using the AdS/CFT correspondence, this paper establishes that the correlation function of two fundamental spherical Wilson surfaces—the surface counterparts of Wilson loops—in the six-dimensional $(2,0)$ theory undergoes a first-order Gross-Ooguri phase transition as their separation grows. The correlator is dominated by whichever of two membrane saddles in AdS$_7$ has the smaller regularized volume: a connected AdS-Euler membrane or a disconnected AdS-Goldschmidt pair. The paper computes both volumes and finds them equal at $L_*/R_b \\approx 0.5843$, with the connected saddle winning at short separation and the disconnected pair winning beyond the transition. The result matters because it carries a phase transition known for circular Wilson loops in four-dimensional maximally supersymmetric Yang-Mills theory over to the less understood $(2,0)$ theory, where the holographic probe is a membrane rather than a string.","feed_headline":"Two spherical Wilson surfaces swap dominance at L* = 0.584 R","feed_subtitle":"In the (2,0) theory at large N, connected and disconnected membrane saddles trade off at a critical separation.","key_machinery":"The machinery is the competition between two extremal hypersurfaces in AdS$_7$: the AdS-Euler membrane (the connected, spherically symmetric saddle whose boundary is the two spheres) and the AdS-Goldschmidt membrane (two disconnected copies of the single-sphere solution). The analytical core is the relation $L = 2R_b \\sinh F(\\xi)$, which ties the boundary separation to the function $F(\\xi) = \\xi \\int_0^{\\theta_0} d\\theta \\, \\sin^3\\theta / \\sqrt{\\cos^4\\theta - \\xi^2 \\sin^6\\theta}$, together with the regularized volume-difference integral $I(\\xi)$. The volume difference $V_E - V_G$ is computed as a continuous function of $\\xi$ with positive small-$\\xi$ asymptotic behavior and negative large-$\\xi$ behavior, and the phase transition is located by its zero. The relation $dV_E/d\\xi = 8\\pi\\xi\\, dF/d\\xi$ proves that the maximum of $V_E$ and the maximum of $F$ sit at the same $\\xi$, which explains the cusp in the volume difference at $L_{\\max}$.","core_discovery":"The central claim is that in the large-$N$ limit of the $(2,0)$ theory, the correlator of two Wilson surfaces both in the fundamental representation of $SU(N)$ is a sum over extremal membrane saddles in AdS$_7$, and the two leading saddles exchange dominance at a critical separation. The AdS-Goldschmidt saddle consists of two disconnected copies of the single-sphere minimal hypersurface, while the AdS-Euler saddle is a connected, spherically symmetric membrane analogous to Euler's catenoid; the paper derives its shape from an incomplete elliptic integral defined through the function $F(\\xi)$. Regularizing volumes by cutting off at $z=\\varepsilon$, the paper finds $V_E - V_G$ positive at small separation, negative at large separation, and zero at $\\xi_* \\approx 1.2604$, which corresponds to $L_*/R_b = 2\\sinh F(\\xi_*) \\approx 0.5843$. Because the volume difference is continuous and the saddle with smaller volume dominates the large-$N$ partition function, this crossing is a first-order phase transition, and the connected saddle has essentially zero probability of surviving past $L_*$. The same computation produces an upper bound $L_{\\max}/R_b \\approx 0.6213$ beyond which no connected Euler solution, stable or unstable, exists.","pith_inferences":["The same Euler-versus-Goldschmidt competition should govern Wilson surface correlators wherever the holographic dual is a membrane, and the critical ratio may be expressible in terms of the elliptic parameter $\\xi$ alone, suggesting a degree of universality across dimensions.","Because the bulk description omits Wess-Zumino terms, a natural test is to include them; if their classical contribution is non-negligible, the effective transition point could shift even though the qualitative first-order picture survives.","A non-symmetric connected saddle, if found numerically, would change both $V_E$ and $L_*$; the paper's ansatz (2.4) implicitly assumes such a saddle does not exist or is subleading.","At finite $N$, $1/N$ corrections may allow the Euler branch to persist metastably beyond $L_*$, smoothing the sharp transition; a lattice or bootstrap computation of the $(2,0)$ correlator could test this."],"forward_implications":["Below $L_*/R_b \\approx 0.5843$, the connected AdS-Euler membrane dominates the correlator, and the interaction between the two Wilson surfaces is encoded in a connected saddle with $V_E < V_G$.","At $L_*$ the transition is first order: the volume is continuous, the derivative jumps, and in the $N \\to \\infty$ limit the connected saddle cannot survive past the transition, while the disconnected Goldschmidt pair dominates for all larger separations.","No AdS-Euler solution exists beyond $L_{\\max}/R_b \\approx 0.6213$, so for very large separations the correlator is determined entirely by the disconnected saddle at leading order in $1/N$.","The asymptotics of the volume difference give explicit formulas near coincidence: $V_E - V_G \\approx -16\\pi R_b^2 C^3 / L^2$ for large $\\xi$ (small separation), and a positive $L^3$ branch for the unstable solution at small $\\xi$.","Matching the asymptotics produces exact identities, such as ${}_2F_1(4/3,1,5/3;-1)=1-\\sqrt{\\pi}\\,\\Gamma(2/3)/\\Gamma(1/6)$, connecting the transition to a beta-function integral."],"supporting_citations":[{"why":"Conjectured the first-order Gross-Ooguri transition for circular Wilson loops, the phenomenon this paper generalizes to spherical Wilson surfaces.","marker":"[1]"},{"why":"Demonstrated the Wilson-loop transition in AdS/CFT with a partially analytic, partially numerical minimal-surface analysis, the method adapted here to membranes.","marker":"[2]"},{"why":"Extended the Wilson-loop phase-transition analysis and supports the Euler-Goldschmidt competition picture.","marker":"[3]"},{"why":"Provided an exact analytic relation for the circular Wilson-loop case that motivates the analogous $F(\\xi)$ relation used for surfaces.","marker":"[4]"},{"why":"Studied a Wilson surface correlator in AdS7/CFT6 with a five-brane and a high-rank representation, the setup this paper simplifies to two fundamental surfaces.","marker":"[5]"},{"why":"Supplied the single-sphere minimal hypersurface and its regularized volume, used here for the AdS-Goldschmidt saddle and the boundary conditions of the Euler saddle.","marker":"[6]"}],"fun_headline_variants":["Critical distance L* = 0.584 R marks Wilson surface phase transition","First-order phase transition for spherical Wilson surfaces in AdS/CFT","Wilson surfaces swap dominance at L* = 0.584 R in (2,0) theory","AdS/CFT: Gross-Ooguri transition for two Wilson spheres at large N"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The critical separation is computed under the assumptions that the dominant saddle is the spherically symmetric ansatz (2.4), that only the Nambu-Goto part of the membrane action contributes on shell, and that the function $F(\\xi)$ is smooth and single-peaked so that the two-branch picture holds; if any of these fails, the computed value of $L_*$ and even the existence of the transition could change.","fun_headline_variants_meta":{"raw":{"variants":["Critical distance L* = 0.584 R marks Wilson surface phase transition","First-order phase transition for spherical Wilson surfaces in AdS/CFT","Wilson surfaces swap dominance at L* = 0.584 R in (2,0) theory","AdS/CFT: Gross-Ooguri transition for two Wilson spheres at large N"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000212,"raw_usage":{"total_tokens":1379,"prompt_tokens":870,"completion_tokens":509,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":486,"completion_tokens_details":{"reasoning_tokens":419}},"tokens_in":486,"tokens_out":509,"duration_ms":5323,"temperature":1.0,"reasoning_tokens":419,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T19:08:56.513580+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the on-shell membrane action with the Wess-Zumino term included for the same two-sphere boundary, or run a numerical minimization that relaxes spherical symmetry; if the regularized volume difference $V_E - V_G$ changes sign at a different $\\xi$ or a smaller-volume connected saddle appears, the predicted transition at $L_*/R_b \\approx 0.5843$ is falsified.","supporting_citations":[{"cited_title":"Gross-Ooguri Phase Transition at Zero and Finite Temperature: Two Circular Wilson Loop Case","cited_arxiv_id":"hep-th/0101235","evidence_quote":"Provided an exact analytic relation for the circular Wilson-loop case that motivates the analogous $F(\\xi)$ relation used for surfaces."},{"cited_title":"Wilson surface correlator in theAdS 7/CF T6 correspondence,","cited_arxiv_id":null,"evidence_quote":"Studied a Wilson surface correlator in AdS7/CFT6 with a five-brane and a high-rank representation, the setup this paper simplifies to two fundamental surfaces."}],"review_version":1}