{"id":"0fbd3938-502f-4b1f-8aa2-8065b2dd2d65","arxiv_id":"2411.17520","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For any approximating integrand satisfying a concavity and finite-vortex-energy condition, the renormalised energy of planar maps into a manifold is the same universal quantity.","lead":"This paper proves that the renormalised energy for two-dimensional maps into a compact manifold is universal across a broad family of variational approximations, including p-energy, area-type, and truncated Dirichlet functionals. The result means the singular and renormalised energies from harmonic map theory do not depend on which approximating functional is used.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uniform concavity (Dec)^c_2 is load-bearing for the second-order expansion (Thm 1.2); the paper proves it sufficient but not necessary, and Remark 6.5 only recovers first-order, so the stronger universality claim is conditional.","rationale":"The reader's weakest assumption correctly identifies the load-bearing point. The proof of Theorem 1.2 genuinely relies on the stronger concavity condition (Dec)^c_2 through Lemma 2.13 and Proposition 4.1, while Theorem 1.1 is robust because Remark 6.5 gives a first-order reduction to the concave case. I checked the main structural steps of the argument: the ball-merging construction in Proposition 4.7, the lower bound in Proposition 4.10, the compactness theorem 5.1, and the asymptotic uniform convexity in Proposition 6.2 all appear internally consistent. There are small notational and sign typos, for instance in Lemma 4.8 the monotonicity direction is stated incorrectly although the displayed inequality is then used consistently, and in Lemma 4.2 the displayed equality appears to have a missing sign before the integral; these do not affect the conclusions because the final displayed formulas elsewhere are correct. The central mathematical argument is credible and the stated theorems follow from the stated assumptions. The only substantive caveat is that second-order universality is asserted only under (Dec)^c_2, and no necessity result is given. This is a limitation, not a fatal flaw, and the paper is transparent about it in Remark 6.5. The proposed concrete test would settle whether the stronger condition is truly needed or merely a proof device. Therefore the reader's conditional acceptance remains appropriate, and I do not recommend changing the verdict.","tokens_in":50,"tokens_out":34927,"duration_ms":482259,"concrete_test":"Compute, for the non-concave family f_p from Example 2.7 and a fixed renormalisable map with nonzero renormalised energy, the limit in (1.9). A convenient choice is u(r, theta) = exp(i(theta + phi(r))) on the unit ball with phi in C_c^infty((0,1)), so E_ren(u) > 0 and the singularity is at 0. Perform the computation analytically or numerically for several small p-2 values and compare lim_{p -> 2} [∫_B f_p(|Du|) dx - V(f_p) pi] with E_ren(u) + H([u, 0]). If the difference does not vanish, (Dec)^c_2 is necessary for Theorem 1.2; if it vanishes for all such phi, the concavity assumption can likely be relaxed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The condition t -> f_n(sqrt t) concave on [t0, infinity) (Definition 2.1(a), equivalently (Dec)^c_2 in (2.1)) is used in Lemma 2.13 to control f_n(sigma) - f_n(rho) by a quadratic difference plus an additive constant, and then in Proposition 4.1 via (4.7) and (4.12) to obtain the exact constant H([u, a_i]) in the second-order expansion (1.9). Without this concavity the upper-bound argument for the second-order term has no replacement. Remark 6.5 explicitly states that only the first-order statement Theorem 1.1 is recovered under the weaker condition (Dec)^n_2, and that Theorem 1.2 is not extended. Thus there is no internal inconsistency in the paper, but the stronger second-order universality is conditional on an assumption that is not shown to be necessary. The paper's own Example 2.7 constructs a family satisfying (Dec)^n_2, (vInt), and pointwise convergence to t^2/2, while failing (Dec)^c_2 for every t0; this is the natural test family for deciding whether the concavity condition is an artifact of the proof or a genuine requirement for second-order universality.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a general variational framework for approximating the Dirichlet energy of maps from a planar domain into a compact manifold by functionals ∫_Ω f_n(|Du|) dx. It introduces a class of approximating integrands (Definition 2.1) satisfying finite vortex energy, pointwise convergence to t^2/2, and the uniform concavity condition that t ↦ f_n(√t) is concave on [t_0,∞). The main results are Theorem 1.1, giving first-order asymptotics of the minimal energy in terms of the universal singular energy E_sg^{1,2}; Theorem 1.2, giving the second-order expansion and strong W^{1,1} convergence of almost minimisers to a renormalisable map u_* whose singularities form a minimal topological resolution; and Theorem 1.3, showing in the disk/circle case that the full sequence converges to the vortex map x/|x|. The proofs are built on a Jerrard–Sandier ball-merging construction for general convex integrands, a compactness theorem under renormalised energy bounds, and an asymptotic uniform-convexity argument. The paper also includes a detailed treatment of the assumptions, with examples covering p-energy, rescaled area, truncated Dirichlet, and L log^{-2} L integrands, and with counterexamples clarifying the relations among the decay conditions.","tokens_in":53461,"tokens_out":15127,"duration_ms":135272,"significance":"If the proof issues identified below are repaired, this is a substantial contribution. It unifies several previously separate approximation schemes, including the p-harmonic approximation p↗2, area-type functionals, truncated Dirichlet energies, and L log^{-2} L energies, and identifies the renormalised energy as a universal limit object that is independent of the approximating sequence. The paper is carefully structured, with explicit estimates and a transparent account of the role of the concavity condition (Dec)^c_2; the authors honestly record in Example 2.7 and Remark 6.5 that their second-order theorem is not extended to the weaker condition (Dec)^n_2. The main derivation is not circular, since the singular and renormalised energies are defined from geodesic lengths and Dirichlet energies away from singularities, not from the approximating sequence. The conditional character of the second-order universality is a limitation, but it is explicitly acknowledged rather than hidden.","major_comments":[{"comment":"The proof states: “since E ↦ E Λ_f(σ/E) is non-increasing by Lemma 4.5 (with ρ=0)”, and derives (4.26) from this. Lemma 4.5 actually gives that E ↦ EΛ_f(σ/E) is non-decreasing in E; the function s ↦ Λ_f(s)/s is non-increasing. As written, the monotonicity direction is wrong and the displayed derivation of (4.26) does not follow. The inequality claimed in (4.25) is nevertheless true, but the proof must be rewritten with the correct monotonicity statement.","section":"§4.2, Lemma 4.8"},{"comment":"The application of Lemma 4.8 to the merged ball is not justified as written. The balls B_i^F satisfy r(B_i^F) ≥ E_i t_j (4.36), which violates the hypothesis σ_i ≤ E_i T of Lemma 4.8; the inequality in (4.39) is then attributed to (4.37), but (4.37) has the opposite direction. A correct argument should apply Lemma 4.8 to the sub-collection {tilde B_i^F} ∪ {B_i^G}, for which the radius bounds (4.37) and (4.38) do satisfy the lemma’s hypotheses, and then use the monotonicity of E ↦ EΛ(σ/E) together with subadditivity (3.4) to pass from the sum of the energies to E_sg^{1,2}(tr_{∂B} u). This is a load-bearing step in the ball-merging lower bound, so the proof needs to be corrected.","section":"§4.2, Proposition 4.7, Step 3, equations (4.36)–(4.40)"}],"minor_comments":[{"comment":"In the paragraph beginning “For each B ∈ BTop_n(η_n)”, the symbol η_n has not been defined; the argument appears to be for a fixed η, and the notation should be adjusted.","section":"§5.4, Step 2"},{"comment":"The lemma is stated for “a ∈ R”, but the proof treats a as an element of R^d; the statement should be corrected to a ∈ R^d.","section":"§6.2, Lemma 6.4"},{"comment":"The proof cites “Proposition 6.3” for the almost-everywhere convergence of gradients; the reference should be to Lemma 6.3.","section":"§6.2, proof of Proposition 6.2"},{"comment":"In the displayed computation for Theorem 6.1(iii), the first integrand is written as f(|Du_*|); it should be f_n(|Du_*|), since the limit passage uses the dominated convergence theorem for f_n.","section":"§6.3, equation (6.14)"},{"comment":"The constant H([u,a_i])^κ_{i=1} is written with κ although u is said to have k distinct singularities; the notation should be made consistent.","section":"§4.1, Proposition 4.1"},{"comment":"The intermediate inequality omits a factor 1/2 in the coefficient of the integral, although the final bound in (4.12) is correct; aligning the intermediate line with Lemma 2.13 would prevent confusion.","section":"§4.1, equation (4.12)"}],"recommendation":"major_revision","confidential_remarks":"The paper is likely correct in its main conceptual claims and appears suitable for publication after a careful revision. The two issues in the ball-merging argument are local and fixable without changing the statement of the theorems, but they are load-bearing and must be addressed. I do not see grounds for rejection, and I would not require the authors to prove necessity of (Dec)^c_2 for Theorem 1.2; however, they should make the conditional status of the second-order universality explicit in the introduction, not only in Remark 6.5."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my honest read. This is a serious paper. Irving and Van Vaerenbergh extend the renormalised-energy framework for planar maps into manifolds from the p-energy and Ginzburg-Landau settings to a broad class of subquadratic polar convex integrands: p-energy with p→2, rescaled area, truncated Dirichlet, and L log^-2 L. The main results are first-order universality (Thm 1.1), second-order expansion and strong convergence of almost minimisers (Thm 1.2), and vortex-map universality in the circle case (Thm 1.3). The proofs are detailed, and the ball-merging construction in Prop 4.7 is a genuine generalization of Jerrard-Sandier. I read the central argument as correct: the upper and lower bounds match, and the compactness machinery in Thm 5.1 is substantial. The paper is also honest about its assumptions.\n\nThe soft spot is exactly the one the reader flags. The uniform concavity condition (Dec)^c_2, meaning t→f_n(sqrt t) concave on [t0,∞) uniformly in n, is load-bearing for the second-order expansion. The paper shows it is strictly stronger than (Dec)^n_2, gives an example satisfying the weaker condition but not the stronger one, and Remark 6.5 only recovers first-order without it. So the second-order universality claim is genuinely conditional: sufficient, not shown necessary. That is not a flaw in the proofs, but a limitation that deserves more prominence. The reader's monotonicity-direction concern in Lemma 4.8 is a minor proof-level typo, not a substantive gap.\n\nI disagree mildly with the conditional verdict. I would not require a necessity result before sending this to review. The first-order theorem alone is already valuable, and the second-order theorem is proved under an explicit hypothesis with the authors telling you exactly where it is used. That is the right level of honesty for a paper of this kind.\n\nMy recommendation: engage with it. Send it to a serious referee. The referee should spend time on Prop 4.7 and Thm 5.1, and should ask whether (Dec)^c_2 can be weakened for second-order; but that is a research question, not grounds for rejection.","headline":"Solid, detailed universality result for renormalised energies under a strong but explicit concavity assumption; deserves refereeing, with the second-order claim flagged as conditional.","tokens_in":53970,"tokens_out":2486,"would_cite":true,"duration_ms":23642,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58E20","49J45"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the renormalised energy of singular harmonic maps in two dimensions is universal across a broad class of convex approximating integrands.","keywords":["renormalised energy","singular harmonic maps","vortex map","universality","convex integrands","p-harmonic approximation","Gamma-convergence","Sobolev maps"],"falsifier":"Construct a sequence of Young functions that converges pointwise to $t^2/2$, has finite vortex energy, satisfies the weaker natural decay condition but not eventual concavity of $t\\mapsto f(\\sqrt{t})$, and compute the limit of $V(f_n)^{-1}\\inf\\int_\\Omega f_n(|Dv|)\\,dx$; if it differs from $E^{1,2}_{sg}([g])$, the concavity assumption is necessary. The paper's Example 2.7 provides exactly such integrands, so the calculation is a concrete check.","tokens_in":52991,"feed_emoji":"🌀","tokens_out":10273,"duration_ms":84789,"temperature":0.7,"pith_summary":"The paper establishes that the renormalised energy of singular harmonic maps in two dimensions is universal: the leading-order cost of resolving a topologically obstructed boundary datum is the same for every approximating functional in a broad class. In particular, for any sequence of convex integrands converging to $|z|^2/2$ — p-energy with $p\\nearrow 2$, rescaled area, truncated Dirichlet, and $L\\log^{-2}L$ — the normalised infimum $V(f_n)^{-1}\\inf\\int_\\Omega f_n(|Dv|)\\,dx$ converges to the singular energy $E^{1,2}_{sg}([g])$, a homotopy invariant that depends only on the boundary datum. The paper also proves a second-order statement: asymptotically minimising sequences converge strongly in $W^{1,1}$ to a renormalisable singular harmonic map whose refined energy is $E^{1,2}_{ren}(u_*)+H([u_*,a_i])$, and in the model case of the unit disc with circle target the full sequence converges to the vortex map. The result matters because it shows the limiting object is intrinsic to the mapping problem rather than an artifact of a chosen approximation, and it suggests defining manifold-constrained harmonic extensions by minimising the renormalised energy.","feed_headline":"One singular energy rules all convex vortex approximations","feed_subtitle":"Boundary data that cannot be resolved smoothly still produce a unique asymptotic energy, independent of the functional.","key_machinery":"The engine is the merging-ball lower bound of Proposition 4.7: a finite-collection construction that starts from the energy carried by the singularities and produces disjoint balls of prescribed total radius while preserving a uniform lower bound in terms of $\\Lambda_f(t)=\\frac{1}{2\\,\\mathrm{sys}(N)^2}\\int_0^t f(2/(\\mathrm{sys}(N)s))s\\,ds$. This is what transfers localised energy estimates into the asymptotic lower bound that matches the singular energy. The companion ingredient is the controlled decay condition that $t\\mapsto f(\\sqrt{t})$ be eventually concave, which is used in Lemma 2.13 to compare $f(\\sigma)-f(\\rho)$ by $\\sigma^2-\\rho^2$ and yields the upper bound Proposition 4.1. Together the two bounds produce the $\\Gamma$-convergence-type limit and, through the asymptotic uniform convexity of the limiting $L^2$ scale, the strong convergence of gradients.","core_discovery":"The paper's central claim is that for any approximating family of Young functions satisfying the controlled subquadratic decay condition, finite vortex energy, and pointwise convergence to $t^2/2$, the variational limit of $V(f_n)^{-1}\\inf\\int_\\Omega f_n(|Dv|)\\,dx$ equals the singular energy $E^{1,2}_{sg}([g])$. Along asymptotically minimising sequences this is upgraded to compactness and convergence: a subsequence converges strongly in $W^{1,1}$ to a map $u_*$ with finitely many point singularities forming a minimal topological resolution of the boundary datum; $u_*$ is $W^{1,2}$-regular and harmonic away from its singularities; and the second-order expansion $\\lim_n[\\int_\\Omega f_n(|Du_n|)-V(f_n)E^{1,2}_{sg}(g)]=E^{1,2}_{ren}(u_*)+\\sum_i\\frac{\\lambda([u_*,a_i])^2}{4\\pi}\\log\\frac{2\\pi}{\\lambda([u_*,a_i])}$ holds. In the unit ball with $N=S^1$ and identity boundary datum, the whole sequence converges to the vortex map $x/|x|$.","pith_inferences":["Editorial extension: the first-order universality probably extends beyond the concavity class, since the paper sketches a route under the weaker natural decay condition; a natural test is whether the singular-energy limit persists for all subquadratic Young functions with finite vortex energy.","Editorial extension: because the result covers area-type and truncated integrands, the same limiting object should arise from discrete or mesh-based approximations; checking universality numerically against a discretisation would give a practical route to renormalised harmonic extensions.","Editorial extension: the concavity assumption's role in the second-order expansion is the main frontier; finding a non-concave family where the first-order limit holds but the second-order constant changes would show exactly where universality breaks."],"forward_implications":["For $p$-harmonic functionals the result recovers the known limit $(2-p)\\inf\\int_\\Omega |Dv|^p/p\\to E^{1,2}_{sg}([g])$ as $p\\nearrow 2$.","For rescaled area functionals, $(1/\\log(1/\\delta))\\inf\\int_\\Omega(\\sqrt{1+\\delta^2|Dv|^2}-1)/\\delta^2\\to E^{1,2}_{sg}([g])$ as $\\delta\\searrow 0$.","Almost minimisers have equi-integrable gradients converging strongly in $L^1$ to $Du_*$, and $f_n(|Du_*-Du_n|)\\to 0$ away from a finite set of point singularities.","In the unit-disc/circle case with winding-one boundary datum, the full sequence of almost minimisers converges to the vortex map, not merely a subsequence.","The second-order expansion identifies the singular harmonic extension as the minimiser of $E^{1,2}_{ren}+H$ over renormalisable maps with the given boundary datum."],"supporting_citations":[{"why":"Supplies the classical merging-ball lower-bound method adapted in Proposition 4.7.","marker":"[22]"},{"why":"Supplies the complementary merging-ball construction used to disjointify the ball collection.","marker":"[36]"},{"why":"Defines renormalisable maps and renormalised energies that Theorem 1.2 builds on.","marker":"[29]"},{"why":"Established the p-harmonic asymptotic expansion that the universal class generalises.","marker":"[40]"},{"why":"Treated the analogous extrinsic relaxation whose limit contains a non-universal term.","marker":"[28]"},{"why":"Provides the L^p harmonic-map approximation baseline for the circle case.","marker":"[20]"},{"why":"Gives the BV relaxation formula used for existence with linearly growing integrands.","marker":"[17]"},{"why":"Provides an L^{2,\\infty} trace extension used to ensure the admissible class is non-empty.","marker":"[13]"}],"fun_headline_variants":["One energy limit for every convex vortex model","Universal energy for all convex vortex maps","All convex integrands yield one vortex energy","Same limit: every convex functional's singular energy","Vortex maps: convex energy functionals converge to one limit"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the approximating integrands are uniformly concave after the change of variables $t\\mapsto\\sqrt{t}$; if that concavity fails, even with finite vortex energy and pointwise convergence to $t^2/2$, the paper's upper-bound argument and its second-order convergence can break down.","fun_headline_variants_meta":{"raw":{"variants":["One energy limit for every convex vortex model","Universal energy for all convex vortex maps","All convex integrands yield one vortex energy","Same limit: every convex functional's singular energy","Vortex maps: convex energy functionals converge to one limit"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000288,"raw_usage":{"total_tokens":1704,"prompt_tokens":975,"completion_tokens":729,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":591,"completion_tokens_details":{"reasoning_tokens":659}},"tokens_in":591,"tokens_out":729,"duration_ms":7564,"temperature":1.0,"reasoning_tokens":659,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:01:51.995803+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a sequence of Young functions that converges pointwise to $t^2/2$, has finite vortex energy, satisfies the weaker natural decay condition but not eventual concavity of $t\\mapsto f(\\sqrt{t})$, and compute the limit of $V(f_n)^{-1}\\inf\\int_\\Omega f_n(|Dv|)\\,dx$; if it differs from $E^{1,2}_{sg}([g])$, the concavity assumption is necessary. The paper's Example 2.7 provides exactly such integrands, so the calculation is a concrete check.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the classical merging-ball lower-bound method adapted in Proposition 4.7."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the complementary merging-ball construction used to disjointify the ball collection."},{"cited_title":"Monteil, R","cited_arxiv_id":null,"evidence_quote":"Defines renormalisable maps and renormalised energies that Theorem 1.2 builds on."},{"cited_title":"Van Schaftingen and B","cited_arxiv_id":null,"evidence_quote":"Established the p-harmonic asymptotic expansion that the universal class generalises."},{"cited_title":"Monteil, R","cited_arxiv_id":null,"evidence_quote":"Treated the analogous extrinsic relaxation whose limit contains a non-universal term."},{"cited_title":"Goffman and J","cited_arxiv_id":null,"evidence_quote":"Gives the BV relaxation formula used for existence with linearly growing integrands."},{"cited_title":"Bulanyi and J","cited_arxiv_id":null,"evidence_quote":"Provides an L^{2,\\infty} trace extension used to ensure the admissible class is non-empty."}],"review_version":1}