{"id":"fe3a4557-3fc3-4b3c-9f9a-6fc5c8fb4621","arxiv_id":"1908.09344","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The blow-up energy of super-Liouville systems on surfaces with conical boundary singularities is quantized: interior regular points contribute 4π, boundary regular points 2π, and conical points contribute 4π(1+α) or 2π(1+α).","lead":"This paper proves that solutions to a super-Liouville boundary value problem on surfaces with conical singularities obey an energy quantization law: when solutions blow up, their total energy can only take discrete values built from 4π and 2π, with corrections from the cone angles. The proof replaces conformal invariance, which is lost at the singularities, with the vanishing of a Pohozaev constant.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No-neck spinor energy in Theorem 1.4 rests on an omitted and partly mis-typed Claim 2; without a uniform annulus partition, (52) and hence Theorem 1.1 are not established.","rationale":"The reader's weakest assumption identifies exactly the omitted no-neck argument in Theorem 1.4; I agree. The claim is load-bearing because the global energy quantization in Theorem 1.1 is a sum of bubble energies only if the neck contributes no spinor energy. I also note Lemma 4.6 and Lemma 6.1 are stated without proof, and several formulas contain typos (e.g., '−4(1+π)' in Proposition 5.1, the undefined Λ in Claim 2, 'a_j' for 'α_j' in the Green function), but these are presentation-level defects rather than demonstrated mathematical errors. The omitted Claim 2 is more than presentation: the printed text does not define the threshold and does not justify the uniform N0. However, the claim is of a standard type and a greedy measure-exhaustion argument using (17) and Claim 1 very plausibly repairs it, so the appropriate verdict remains CONDITIONAL, not REJECT. No new check beyond a written proof of Claim 2 is needed to resolve the concern.","tokens_in":47985,"tokens_out":17434,"duration_ms":178682,"concrete_test":"Supply the missing proof of Claim 2: set ε0 = 1/(4C0²) with C0 from Lemma 6.1, and use the uniform energy bound (17) and Claim 1 to construct nested annuli A_k = D^+_{r_{k-1}} \\ D^+_{r_k} with ∫_{A_k}|x|^{2α}e^{2u_n} ≤ ε0 and N_k ≤ floor(C/ε0)+1 independent of n. Then redo the estimates (54)–(57) with explicit constants and verify that the final bound tends to 0 as ε→0. If the greedy partition requires N0 = N0(n), or if the leftover annulus cannot be absorbed, compute the extra factor in (57) and check whether (52) still holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.1 depends on the no-neck-energy identity (52), proved in Theorem 1.4. The proof of (52) hinges on Claim 1 and Claim 2. Claim 1 is argued at length, but Claim 2 is dismissed as 'standard' and omitted. This matters twice: the threshold '1/(4Λ²)' is not well-posed (Λ is not defined at that point; later Λ denotes a limit in Case II.2), and the subsequent summation (57) needs a uniform bound N_k ≤ N0 independent of n. If N0 can grow with n, the estimate (57) acquires a factor N0 ε^{1/4} that cannot be absorbed, so the neck energy need not vanish. The adaptation to the conical weight |x|^{2α} is exactly the delicate part, because the system lacks conformal invariance at conical points; importing the argument from [JWZZ1, JZZ1, Z1] verbatim is not automatic. Since Theorem 1.4 feeds into Theorem 1.5 (un → −∞ off Σ1), Theorem 1.6 (m(p) values), and the global quantization formula, this omitted claim is load-bearing. The gap is likely repairable, but it is an actual missing proof in the central argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the blow-up behavior and energy quantization for a super-Liouville type boundary value problem on a compact Riemann surface with conical singularities at the boundary, under chiral boundary conditions for the spinor. The main result, Theorem 1.1, asserts that for a sequence of solutions with uniform energy bounds, any nonzero limit of the total energy (interior term 2e^{2u} - e^u|ψ|^2 plus boundary term c e^u) must be a sum of quantized contributions: 4π for interior regular blow-up points, 2π for boundary regular blow-up points, and 4π(1+α_j), 2π(1+α_j) for interior and boundary conical singularities respectively. The proof strategy is to derive a local Pohozaev identity, prove a removability theorem for boundary singularities via the vanishing Pohozaev constant, establish an energy identity for the spinor by ruling out neck energy, and then compute the local blow-up values. The paper also includes a Brezis-Merle type concentration-compactness theorem and a global quantization argument using Green's functions.","tokens_in":48151,"tokens_out":8934,"duration_ms":84374,"significance":"If fully established, the result would be a substantial advance: it extends the quantization theory for super-Liouville equations to boundary value problems with conical points, where conformal invariance is lost, and it proposes a mechanism based on the Pohozaev constant in place of the Noether-current argument. The paper is valuable for its detailed Pohozaev identity (Proposition 4.1), the removability theorem (Theorem 4.5), and the global Green-function argument in Section 9. The logical structure of the proof is transparent and the main theorems are clearly stated. However, the current manuscript leaves two load-bearing analytic estimates unproved: Lemma 4.6 (spinor decay) and Claim 2 used in the no-neck energy argument of Theorem 1.4. The latter also contains an undefined threshold. Since these estimates feed directly into Theorems 1.5 and 1.6 and hence into Theorem 1.1, the gaps must be closed before the main quantization claim can be considered established.","major_comments":[{"comment":"Claim 2 in the proof of Theorem 1.4 is stated and then dismissed with the sentence 'the proof ... is now standard, so we omit it.' This is not a routine omission: the displayed inequality ∫_{A^+_k} |x|^{2α} e^{2u_n} ≤ 1/(4Λ²) involves a threshold Λ that is not defined in the claim. Elsewhere in Section 6, Λ denotes the limit t_n/ρ_n in Case II.2, which can be zero or infinity, so the threshold is not well posed in general. More importantly, the subsequent summation (57) requires a uniform upper bound N_k ≤ N_0 independent of n, and the proof of such a uniform bound is not given. If N_k grows with n, the factor N_0 ε^{1/4} in (57) cannot be absorbed, and the conclusion (52) that there is no neck energy for the spinor would not follow. Since (52) is used in Theorem 1.4 and again in the proofs of Theorems 1.5 and 1.6, this is a load-bearing gap. Because the conical weight |x|^{2α} destroys conformal invariance, importing the argument verbatim from [JWZZ1, JZZ1, Z1] is not automatic; the authors need to provide a complete proof of Claim 2 with uniform constants, or cite a precise result in those papers that covers the conical-weight case.","section":"Theorem 1.4 / Section 6, Claim 2"},{"comment":"Lemma 4.6 asserts the spinor decay estimates |φ(x)||x|^{1/2} + |∇φ(x)||x|^{3/2} ≤ C(∫_{B^+_{2|x|}} |φ|^4 dx)^{1/4} and the improved estimate (29) under the assumption e^{2v} = O(|x|^{-2(1+α)-ε}). The lemma is introduced with 'By using similar arguments, we can also get the following lemma for the general case' and no proof is given. This lemma is used in the proof of Theorem 4.5 to control the spinor near the boundary singularity and in Proposition 5.1 to derive the asymptotic behavior of ψ at infinity. Because the equation contains the conical factor |x|^{α}, the decay behavior is not a direct consequence of the α=0 case in [JZZ1]; a proof or a precise statement of the corresponding lemma in [JZZ3] or [JZZ1], together with an explanation of the modifications needed for the singular boundary problem, must be supplied.","section":"Section 4, Lemma 4.6"}],"minor_comments":[{"comment":"The notation 'N = {0,1,2,...,k}' is used multiplicatively in the formula '4πN + 2πN + ...'. This is ambiguous: the set N should not be multiplied by 4π and 2π; please clarify that the first two terms mean 4π n_1 + 2π n_2 with n_1, n_2 ranging over nonnegative integers, or introduce separate integer variables.","section":"Theorem 1.1"},{"comment":"Immediately after the equality d = 2π(1+α), the text states 'we can improve the estimate for e^{2u} to e^{2u} ≤ C|x|^{-4(1+π)}'. The exponent should be -4(1+α), not -4(1+π).","section":"Section 5, Proposition 5.1, Step 3"},{"comment":"Proposition 2.1 asserts conformal invariance of the functional EB under conformal diffeomorphisms preserving the divisor, but no proof is provided. Since the rescaling formulas (11) are used repeatedly in the blow-up analysis, a short verification or a precise reference should be included.","section":"Section 2, Proposition 2.1"},{"comment":"The definition 'p = q/(q−1) > 2' is confusingly written; it implies q ∈ (1,2). Please state explicitly that q is chosen in (1,2) so that p > 2, which is the condition needed for the Sobolev embedding into L∞.","section":"Proof of Theorem 1.1"},{"comment":"There are several typographical errors: 'funtional' (page 3), 'indenty' (Section 4 heading), 'Propostion' (e.g., in the proof of Theorem 1.4 and in Section 5), and 'Pohazaev' (in Theorem 4.5). These should be corrected.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper's main gap is localized to Section 6 and Section 4. If the authors supply a complete proof of Claim 2 (with a uniform partition and a well-defined threshold) and a proof of Lemma 4.6, the main theorems would likely be established. The paper builds heavily on the authors' earlier works [JZZ3] and [JZZ1]; the editor may wish to verify that the novelty for the boundary conical case is clearly delineated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real result, probably correct, but the proof has a few too many “standard and omitted” steps for comfort, including one that is load-bearing. I’d send it to a good referee, but I’d tell the referee to pin the authors down on the no-neck argument and Lemma 4.6.\n\nWhat’s new: the paper completes the energy quantization picture for the super-Liouville boundary problem by handling boundary conical singularities together with interior ones. The blow-up values at regular boundary points (2π) and boundary conical points (2π(1+α)) are identified under the oscillation bound, and the global quantization formula follows from the local analysis. The Pohozaev constant method is the right tool, and the paper gives a detailed Pohozaev identity for the boundary problem. I believe the main theorem is true.\n\nThe soft spots are real, though mostly presentation. Lemma 4.6 (spinor decay) is stated without proof. That is a gap, not a catastrophe—the argument presumably follows the α=0 case—but the authors should either prove it or give a precise pointer. Bigger: Claim 2 in the proof of Theorem 1.4, which partitions the neck domain into finitely many annuli with controlled ∫|x|^{2α}e^{2u_n}, is dismissed as standard. This claim feeds directly into the no-neck-energy estimate (52), which in turn is needed for Theorem 1.1. The threshold “1/(4Λ²)” is not well-posed because Λ is not defined at that point. The stress-test note is right: the conical weight destroys conformal invariance, so importing the argument from the smooth case verbatim is not automatic. Without a uniform bound on the number of annuli, the summation (57) gets a factor that does not go away. This looks repairable—the Pohozaev constant can likely control the neck—but it is a genuine missing proof in the central argument, not a cosmetic omission.\n\nThere are also typos in formulas (e.g., “4(1+π)” where it should be “4(1+α)”, and “Since α = 2π(1+α)” where it should be “d = 2π(1+α)”). Those are annoying but not deep.\n\nWho this is for: specialists in blow-up analysis for Liouville-type equations and geometric variational problems. They will read this as the natural completion of a research program. The paper deserves peer review. I’d condition acceptance on the authors supplying the omitted neck argument and cleaning up the typos.","headline":"A plausible completion of the energy quantization program for singular super-Liouville boundary problems, but the omitted neck-domain argument is load-bearing and needs to be supplied.","tokens_in":48757,"tokens_out":2653,"would_cite":true,"duration_ms":24806,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J60","35A20","35B44"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that blow-up energy for the singular super-Liouville boundary problem is quantized into prescribed multiples of $2\\pi$.","keywords":["Super-Liouville equation","Pohozaev constant","Conical singularity","Blow-up","Energy identity","Boundary value problem","Chiral boundary condition"],"falsifier":"Take a sequence of regular solutions to the local boundary system (4) with exactly one boundary conical blow-up point at $0$, rescale as in Section 6, and compute the neck integral $\\int_{A^+_{\\delta,R,n}} |\\Psi_n|^4\\,dv$ under $\\delta\\to 0$, $R\\to\\infty$, $n\\to\\infty$; if the limit is any positive number rather than $0$, equation (52) fails and the quantization theorem collapses. A concrete route is to check whether Claim 2's finite partition of the neck into annuli with $\\int_{A^+_k}|x|^{2\\alpha}e^{2u_n}\\le 1/(4\\Lambda^2)$ holds for a model sequence.","tokens_in":47708,"feed_emoji":"📐","tokens_out":11567,"duration_ms":93196,"temperature":0.7,"pith_summary":"This paper establishes an energy-quantization theorem for blowing-up solutions of the super-Liouville boundary value problem on Riemann surfaces whose metric has conical singularities, including at the boundary. The central claim is that the total energy lost at a blow-up point can only take discrete values: $4\\pi$ at a regular interior point, $4\\pi(1+\\alpha)$ at an interior conical point, $2\\pi$ at a regular boundary point, and $2\\pi(1+\\alpha)$ at a boundary corner of angle $\\pi(1+\\alpha)$. Because conical singularities destroy the conformal invariance that normally powers blow-up analysis, the proof replaces the Noether-current argument with the vanishing of a Pohozaev constant, which characterizes removability of isolated singularities. If the theorem is right, sequences of solutions either stay compact or concentrate only in these prescribed quanta, a prerequisite for variational existence results and refined Moser-Trudinger inequalities on singular surfaces.","feed_headline":"Blow-up energy on singular surfaces takes only 2π-quantized values","feed_subtitle":"A Pohozaev constant replaces conformal invariance and pins each blow-up mass to 4π, 2π, or 2π(1+α).","key_machinery":"The load-bearing object is the Pohozaev constant for the local singular boundary problem, a boundary-integral quantity derived from the Pohozaev identity. For a solution with an isolated singularity at a boundary point it takes the form $C_B(u,\\Psi)=\\gamma^2/(2\\pi)$, where $\\gamma$ is the logarithmic coefficient of $u$ at the singularity; the singularity is removable if and only if this constant vanishes. This constant replaces the holomorphic quadratic differential that conformal invariance would normally provide, and it does the same work: it controls the asymptotic profile near the singularity, forces the spinor decay needed to rule out energy loss on necks, and determines the local bubble mass $2\\pi(1+\\alpha)$ at a boundary corner.","core_discovery":"The central discovery is that for a sequence of regular solutions $(u_n,\\psi_n)$ of the singular super-Liouville boundary system with uniformly bounded weighted energies, the possible limits of $\\int_M (2e^{2u_n}-e^{u_n}|\\psi_n|^2)dv_g + \\int_{\\partial M} c e^{u_n}d\\sigma_g$ are exactly $4\\pi N + 2\\pi N + \\sum_j 4\\pi(1+\\alpha_j)\\{0,1\\} + \\sum_j 2\\pi(1+\\alpha_j)\\{0,1\\}$. More locally, under a mild oscillation bound on small circles around an isolated blow-up point $p$, the localized blow-up value $m(p)$ is $4\\pi$ for interior regular points, $2\\pi$ for boundary regular points, and $2\\pi(1+\\alpha)$ for boundary conical points. The proof also shows that the spinor field satisfies an energy identity across the neck regions, so no $L^4$ energy is lost between bubbles, and consequently $u_n$ tends to $-\\infty$ uniformly away from the blow-up set.","pith_inferences":["The same Pohozaev-constant mechanism should transfer to other non-conformally-invariant two-dimensional systems, such as Dirac-harmonic maps with conical boundary data, where an analogous $C_B=0$ removability criterion would yield the same type of quantization.","A testable consequence is that the local mass at a boundary conical point is independent of the conformal factor $V(x)$ and of the boundary constant $c>0$; explicit radial or self-similar solutions of the rescaled system (31) could be checked for the profile $u\\sim -2(1+\\alpha)\\log|x|$ at infinity.","The oscillation bound in Theorem 1.6 could be probed by constructing sequences where $\\max_{S^+_{\\delta_0}} u_n - \\min_{S^+_{\\delta_0}} u_n$ diverges while the total energy stays bounded; if the mass still quantizes, the condition is unnecessary for the local value.","The omitted Claim 2 in the proof of Theorem 1.4 is the most exposed step; a direct verification for a model annular sequence would either close the gap or reveal a missing hypothesis in the neck argument."],"forward_implications":["If Theorem 1.1 holds, any blowing-up sequence has total energy limit composed of finitely many $4\\pi$, $4\\pi(1+\\alpha)$, $2\\pi$, and $2\\pi(1+\\alpha)$ quanta, so the blow-up set can contain only finitely many points.","Combined with the Gauss-Bonnet formula, the quantization gives Theorem 1.2: below a critical topological and geometric threshold the blow-up set is empty, and at the threshold it contains at most one point.","The spinor energy identity (9) means that no $L^4$ energy is hidden in the neck domains between bubbles, which is exactly what makes the total energy additive over the bubble tree.","The removability criterion (Theorem 4.5) gives a clean dichotomy: at an isolated boundary singularity either the Pohozaev constant vanishes and the solution extends smoothly, or it does not and a quantized bubble is generated.","These results supply the analytic foundation the paper cites for existence proofs by refined Moser-Trudinger inequalities, since compactness and concentration behavior are the missing input for variational arguments."],"supporting_citations":[{"why":"It establishes the Pohozaev constant and removability criterion for interior conical singularities, the template the boundary case extends.","marker":"[JZZ3]"},{"why":"It supplies the energy identity and no-neck-energy argument for super-Liouville equations on closed surfaces, which Section 6 adapts to boundary blow-ups.","marker":"[JWZZ1]"},{"why":"It treats the smooth boundary value problem for the super-Liouville equation and provides the regularity, small-energy estimates, and chirality boundary setup used here.","marker":"[JWZZ2]"},{"why":"It gives the qualitative boundary behavior of blow-up solutions and the $2\\pi$ bubble energy on spherical caps used in the boundary rescaling cases.","marker":"[JZZ1]"},{"why":"It classifies entire solutions on the plane and supplies the $4\\pi$ bubble energy used in the interior rescaling cases.","marker":"[JWZ1]"},{"why":"It introduces the weighted-integrability trick that yields the needed $L^1$ bound on $u^+$ when $\\alpha>0$.","marker":"[BT]"},{"why":"It establishes quantization of the blow-up value for the Liouville equation with exponential Neumann boundary condition, the boundary result this paper generalizes to conical points.","marker":"[ZZZ]"},{"why":"It defines conical singularities and provides the Gauss-Bonnet formula used to translate local quantization into global restrictions on the blow-up set.","marker":"[T1]"},{"why":"It defines chirality boundary conditions and self-adjointness of the Dirac operator, which justify the boundary value problem and the spinor extension over the boundary.","marker":"[HMR]"}],"fun_headline_variants":["Super-Liouville blow-up energies snap to 2π lattice","Blow-up energy quantization survives conical singularities","Conical boundaries still quantize blow-up energy: 4π, 2π, 2π(1+α)","Pohozaev constant pins blow-up masses to 2π multiples","Singular super-Liouville energy quantizes to 2π multiples"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the global quantization rests on the claim that the spinor's $L^4$ energy on the thin annular neck regions between blow-up bubbles vanishes before any bubble energy is counted; if this no-neck-energy assertion fails, the total energy limit need not equal the sum of quantized bubble energies.","fun_headline_variants_meta":{"raw":{"variants":["Super-Liouville blow-up energies snap to 2π lattice","Blow-up energy quantization survives conical singularities","Conical boundaries still quantize blow-up energy: 4π, 2π, 2π(1+α)","Pohozaev constant pins blow-up masses to 2π multiples","Singular super-Liouville energy quantizes to 2π multiples"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000791,"raw_usage":{"total_tokens":3451,"prompt_tokens":878,"completion_tokens":2573,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":494,"completion_tokens_details":{"reasoning_tokens":2472}},"tokens_in":494,"tokens_out":2573,"duration_ms":16220,"temperature":1.0,"reasoning_tokens":2472,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:15:07.882967+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a sequence of regular solutions to the local boundary system (4) with exactly one boundary conical blow-up point at $0$, rescale as in Section 6, and compute the neck integral $\\int_{A^+_{\\delta,R,n}} |\\Psi_n|^4\\,dv$ under $\\delta\\to 0$, $R\\to\\infty$, $n\\to\\infty$; if the limit is any positive number rather than $0$, equation (52) fails and the quantization theorem collapses. A concrete route is to check whether Claim 2's finite partition of the neck into annuli with $\\int_{A^+_k}|x|^{2\\alpha}e^{2u_n}\\le 1/(4\\Lambda^2)$ holds for a model sequence.","supporting_citations":[],"review_version":1}