{"id":"d5780994-d21b-42c8-b3ab-7e7528bdb973","arxiv_id":"2507.14955","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Landau-de Gennes minimizers converge in L^p for 1<p<∞ with sharp ε^3 bulk-energy decay in the vanishing elasticity limit.","lead":"This paper proves sharp convergence rates for minimizers of the Landau-de Gennes liquid crystal model when elasticity tends to zero. The main result is an optimal ε^3 decay of the bulk energy and full L^p convergence, including limits with point defects.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2(2) relies on an unproved scale-invariant pointwise bound f(Qε)≤Cε^4r^-4, deferred to the unpublished [25, Lemma 3.3]; if the scaling is wrong, the ε^3 rate degrades.","rationale":"I read the paper in good faith. The Lp convergence part is credible and in fact follows from H1_loc strong convergence plus the L∞ bound (1.1), so it is not the delicate point. The L3,∞ gradient argument and the sharpness construction in Section 4 are plausible; Proposition 4.1's lower bound is internally sound. The only place where the claimed ε^3 rate could break is the pointwise estimate controlling f on the intermediate annuli A_j, exactly the estimate that the footnote sends to [25, Lemma 3.3]. This matches the reader's weakest_assumption. The concern is not an internal contradiction but a missing proof of a scale-invariant estimate; the quantity at stake is the sharp exponent in (1.3). I therefore keep the verdict at CONDITIONAL (no change from the reader), with a concrete check that would settle the matter: prove the estimate directly or verify that [25, Lemma 3.3] transfers to the quartic potential of (LdG).","tokens_in":14505,"tokens_out":9295,"duration_ms":94524,"concrete_test":"Obtain or independently prove the missing scale-invariant estimate: for a local minimizer Qε of (LdG) with r∈(Λε,1) and dist(Qε,N)<δ on B_r(x), establish sup_{B_{r/2}(x)} f(Qε) ≤ C(ε/r)^4, with C depending only on a,b,c,δ,M. Then recompute the summation in §3.2; if the exponent drops to 3 or 2, the ε^3 rate in Theorem 1.2(2) is false and the verdict should be REJECT.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The sharp bulk-energy rate (1.3) is established in §3.2 by partitioning B1 into a core ball, annuli A_j, and a regular set, and using in A_j the pointwise estimate f(Qε) ≤ C ε^4 ν^{-4(j+1)}. The paper attributes this to [20, Corollary 2], but the footnote on page 11 explicitly says [20, Corollary 2] is not in a scale-invariant form and refers to [25, Lemma 3.3] (an unpublished preprint of the same group, in a sextic-potential setting) for the needed modification. This estimate is neither stated nor proved here. The exponent -4 is quantitatively load-bearing: the volume of A_j is ∼ ν^{3j}, so each annulus contributes ≲ ε^4 ν^{-3j}; summing j=0,...,n(ε) with ν^{n(ε)}∼ε gives Cε^3. If the correct pointwise bound were Cε^3ν^{-3j} instead, the same sum would yield Cε^3 log(1/ε), and (1.3) would fail by a logarithmic factor; with exponent -2 it would yield only ε. Because the paper gives no proof of the scale-invariant estimate and the cited preprint may not cover the quartic potential of (LdG), the central rate result is conditional on an unverified external lemma.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the vanishing elasticity limit for local minimizers of the Landau-de Gennes energy (LdG) in three dimensions. Under a uniform bound on the total energy and the L∞ norm, the authors prove that along a subsequence the minimizers converge strongly in H1_loc to a local minimizer of the limiting Dirichlet energy (Dir), with values in the vacuum manifold N. They then establish two quantitative improvements: (1) L^p convergence for every p∈(1,∞) on compact subsets, and (2) a sharp rate for the bulk energy, ∫_K ε^{-2} f(Qε) dx ≤ C ε, equivalently ∫_K f(Qε) dx ≤ C ε^3. The proof uses a modified monotonicity formula, a partial regularity lemma distinguishing regular and bad scales, and a Naber–Valtorta-type iterative covering argument to control the measure of the bad set. The authors also give an example (boundary data equal to the hedgehog profile) showing that the ε^3 rate is optimal.","tokens_in":14864,"tokens_out":9880,"duration_ms":97888,"significance":"If correct, the results represent a genuine improvement over the earlier works of Majumdar–Zarnescu and Nguyen–Zarnescu, which required the limiting map to be regular, whereas the present theorem allows point singularities in the limit. The covering argument is well adapted from the harmonic-map setting and is likely to be useful in other singular perturbation problems. The sharpness example in Proposition 4.1 is clean and convincingly demonstrates that the ε^3 bulk-energy rate cannot be improved. The main caveat is that the proof of the central rate estimate (1.3) relies on a scale-invariant pointwise bound that is not proved in the paper and is deferred to an unpublished, same-group preprint [25]; this is a load-bearing gap that must be addressed.","major_comments":[{"comment":"The estimate f(Qε) ≤ C ε^4 ν^{-4(j+1)} on the annuli A_j is the quantitative crux of the proof of (1.3). The footnote on page 11 explicitly states that [20, Corollary 2] is not in scale-invariant form and refers to [25, Lemma 3.3] for the needed modification, but [25] is an unpublished preprint by members of the same group in a sextic-potential setting, and the lemma is neither stated nor proved in the present paper. This is load-bearing: if the pointwise bound had exponent -3 instead of -4, the summation in (3.5) would produce C ε^3 log(1/ε), and with exponent -2 it would produce only C ε, so the claimed sharp rate (1.3) depends quantitatively on the precise scaling. The authors must state and prove the scale-invariant estimate for the quartic potential (or give a fully self-contained derivation) before (1.3) can be considered established.","section":"§3.2, Eq. (3.5) and the following display"}],"minor_comments":[{"comment":"The sentence \"The convergence property in L^p(Ω,S0) follows directly from the interpolation L^{3,∞} ⊂ L^q with 1<q<3 and Sobolev embedding theorem\" is incomplete: this interpolation yields only q<3. The full range p∈(1,∞) follows from the already-established strong H^1 convergence (Proposition 2.3) together with the uniform L^∞ bound in (1.1); please correct the justification.","section":"§3.2, p. 10"},{"comment":"The footnote referring to [25, Lemma 3.3] should give the precise statement of the scale-invariant estimate used, or, preferably, the lemma should be stated and proved in the paper; the current reference to an unpublished preprint of the same group is not sufficient for a load-bearing estimate.","section":"p. 11, footnote"},{"comment":"In the contradiction argument, the claim \"eεi := ε_i/r_i → 0+\" in (2.6) is not justified by the negation of the lemma as written; one needs to choose the parameters Λ_i → ∞ in the counterexample sequence to ensure ε_i/r_i → 0. Please clarify this step.","section":"Lemma 2.5, proof"},{"comment":"The line \"Letting r = t^{-1}\" for the L^{3,∞} bound only makes sense for t>1 so that r<1; for t≤1 the desired inequality is trivial because L^3(B_1) is bounded and t^{-3} ≥ 1. Please mention this range split.","section":"§3.2, proof of (3.3)"},{"comment":"There are several typos, including \"V anishing\" in the title on page 1, \"eatimate\" in §1.4, and missing spacing in \"in B r 2 (x)\" in Lemma 2.8.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper presents a well-structured and largely credible application of Naber–Valtorta covering methods to the Landau–de Gennes vanishing elasticity limit. The main concern is the reliance on [25, Lemma 3.3], an unpublished preprint of the same group and in a different (sextic) potential setting, for the load-bearing scale-invariant pointwise estimate that produces the ε^3 rate. This is a fixable gap, but it must be resolved by including a full proof. The L^p justification issue is minor since the conclusion follows from H^1 convergence plus the L∞ bound. The sharpness example is convincing. I recommend major revision rather than rejection, conditional on the authors providing a self-contained proof of the missing estimate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe sharp ε^3 bulk-energy rate is the real news here, and the proof strategy is mostly credible. The L^{3,∞} gradient estimate via the Naber–Valtorta covering is a genuinely new tool for this problem, and Proposition 4.1's hedgehog sharpness example is clean and convincing. I agree with the reader that the main argument is not circular; the covering is independent, and the only load-bearing external citation is [25, Lemma 3.3].\n\nThe soft spot is exactly where the stress test points. In §3.2 the paper needs f(Qε) ≤ C ε^4 ν^{-4(j+1)} on each annulus A_j to sum the bulk energy to ε^3. The footnote admits [20, Corollary 2] is not scale-invariant and refers to an unpublished preprint from the same group. That exponent is load-bearing: with exponent -3 you would get ε^3 log(1/ε), with -2 you would only get ε. Since the lemma is neither stated nor proved, the sharp rate is conditional. This is a serious gap, but it is a gap in an auxiliary estimate, not a flaw in the covering strategy itself.\n\nI also agree that the L^p convergence for all p<∞ is oversold. Strong H^1 convergence plus a uniform L∞ bound gives L^p convergence for every p by interpolation; that part is not new. The new content is the Lorentz estimate and the rate. The abstract and Theorem 1.2 would read more honestly if they said so.\n\nMinor: the boundary estimate (3.7) in Corollary 1.6 also invokes [20, Corollary 2], and presumably inherits the same scaling issue. Worth checking.\n\nVerdict: this deserves a serious referee. The question for the referee is narrow: is [25, Lemma 3.3] true for the quartic potential, and does it give the stated scale-invariant bound? If yes, accept. If the authors can't supply the proof, the ε^3 rate should be downgraded to a conjecture. I would send it out, and I'd be surprised if the covering argument itself collapses.","headline":"The sharp ε^3 rate is conditional on an unproved scale-invariant estimate, but the covering strategy is credible and the paper deserves a serious referee.","tokens_in":15367,"tokens_out":2761,"would_cite":true,"duration_ms":27340,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B25","76A15","58E20","49J45"],"pacs":[],"model":"deepseek-v4-flash","headline":"Minimizers of the Landau–de Gennes energy converge strongly in every L^p space as elasticity vanishes, and the bulk energy concentrates at the optimal rate O(ε).","keywords":["Landau–de Gennes","Q-tensor","vanishing elasticity limit","convergence rates","harmonic maps","blow-up analysis","Lorentz spaces","nematic liquid crystals"],"falsifier":"Compute ∫_K $ε^{{-2}}$ f(Q_ε) for a family of minimizers containing a line of defects; if for some sequence the integral grows faster than ε, the rate is false. Or, inspect the deferred estimate [25, Lemma 3.3] at scales r comparable to ε and check whether the constant stays uniform; a constant that grows with $ε^{{-1}}$ would break the dyadic summation in Section 3.2.","tokens_in":14322,"feed_emoji":"🧊","tokens_out":9645,"duration_ms":102021,"temperature":0.7,"pith_summary":"The paper studies the vanishing-elasticity limit of the Landau–de Gennes model, in which the elastic parameter ε tends to zero and the Q-tensor order parameter is driven onto the uniaxial vacuum manifold. It establishes that, for local minimizers with uniformly bounded energy and sup-norm, a subsequence converges strongly in $H^{1}$_loc to a local minimizer of the limiting Dirichlet energy, and the convergence holds in L^p for every 1<p<∞, even when the limiting configuration has point singularities. The paper also proves that the normalized bulk energy concentrates at the sharp rate ∫_K $ε^{{-2}}$ f(Q_ε) dx ≤ C ε, and that this rate is optimal. These results improve earlier asymptotic analyses that either required a smooth limiting map or did not reach the full range of L^p exponents.","feed_headline":"Liquid-crystal minimizers converge in every L^p space","feed_subtitle":"The bulk ordering energy is O(ε), and the paper proves this is the sharpest possible rate.","key_machinery":"The argument is carried by a refined blow-up and covering analysis centered on a radially weighted monotonicity formula (Proposition 2.2), which controls the scale-invariant energy density Θ^φ_r(Q_ε,x). Using this formula, the paper defines a regular scale r(Q_ε,x) and a 'bad set' of points where the energy density or the distance to the vacuum manifold is large, then proves a pinching criterion (Proposition 2.10): inside any ball, the bad points are confined to a much smaller ball provided two consecutive scale-invariant densities are close. Iterating this covering structure yields a measure bound $L^{3}$(B_r(Bad∩B_1)) ≤ C $r^{3}$, which implies the gradient is uniformly bounded in the Lorentz space $L^{{3,∞}}$; this $L^{{3,∞}}$ bound is what upgrades $H^{1}$ convergence to L^p convergence for all finite p. The bulk-energy rate is obtained by a dyadic decomposition of the bad set together with a scale-invariant pointwise estimate for f(Q_ε) near the regular set.","core_discovery":"The central claim, Theorem 1.2, is that any sequence {Q_ε} of local minimizers of the Landau–de Gennes energy satisfying sup_ε (E_ε(Q_ε,Ω)+∥Q_ε∥_{L∞(Ω)}) ≤ M admits a subsequence ε_i→0 and a local minimizer Q_0 of the limiting Dirichlet energy ∫ |∇Q|^2 over the vacuum manifold such that Q_{ε_i}→Q_0 strongly in $H^{1}$_loc and in L^p(K) for every p∈(1,∞) on every compact K⊂Ω. In addition, the bulk term obeys ∫_K $ε_i^{{-2}}$ f(Q_{ε_i}) dx ≤ C ε_i, with C independent of the subsequence. The authors show both conclusions are optimal: the hedgehog example gives a limiting map x/|x| that is discontinuous at the origin, so no uniform convergence is possible there, and a lower bound of order $ε_i^{3}$ for ∫ f(Q_ε) matches the upper bound.","pith_inferences":["This result suggests that the L^{3,∞} gradient bound is a general mechanism for singular perturbation problems with a scalar bulk potential; the same covering strategy could give sharp rates for Allen–Cahn and Ginzburg–Landau type transition layers where the 'defect set' is the transition region.","Because the sharp rate rests on an imported estimate from a companion preprint, a self-contained proof of that scale-invariant pointwise bound would place the result on fully independent footing; the paper currently leaves a gap a reader cannot close from the text alone.","The constant C in the rate is not tracked; a quantitative version of the covering argument might show how it grows as the energy bound M increases or as the defect set acquires line segments.","A natural continuation is the profile of Q_ε inside the defect core at scales below ε, where the paper's L^p and energy-rate results stop at the outside-the-core picture."],"forward_implications":["For global minimizers with smooth nematic boundary data, the same L^p convergence and bulk-energy rate hold on the whole domain, including near the boundary (Corollary 1.6).","The gradient of the minimizers is uniformly bounded in the Lorentz space L^{3,∞}, which is the largest scale-invariant integrability class available in three dimensions; this is exactly what yields convergence in every L^p with p<∞.","The bulk energy rate ∫ ε^{-2} f(Q_ε) ≤ C ε means the actual bulk integrand integrates like ε^3, the scale set by the core of a point defect, and no better power is possible.","The method is expected to transfer to generalized Ginzburg–Landau functionals and to torus-like solutions of the Landau–de Gennes model, as stated in Remark 1.4."],"supporting_citations":[{"why":"Establishes the initial strong H^1 convergence of minimizers and the structure of the vacuum manifold; this paper's main result extends and sharpens that convergence.","marker":"[16]"},{"why":"Gives the refined pointwise control of the bulk potential on regular regions (its Corollary 2) that the dyadic summation uses to obtain the ε-rate.","marker":"[20]"},{"why":"Provides the pinching and covering strategy for approximate harmonic maps that the paper adapts to control the bad set of energy densities.","marker":"[19]"},{"why":"Supplies compactness and partial regularity tools for finite-energy minimizers, including the projection lemma used in the sharpness construction.","marker":"[3]"},{"why":"The interpolation result behind the strong H^1 compactness step toward a limiting Dirichlet minimizer.","marker":"[15]"},{"why":"Yields the hedgehog harmonic map x/|x|, which is the singular limiting configuration proving the sharpness of the L^p convergence and the lower bulk-energy bound.","marker":"[2]"},{"why":"Contains the scale-invariant pointwise estimate for f(Q_ε) on the regular set (Lemma 3.3) that the paper invokes without proof for the sharp bulk-energy rate.","marker":"[25]"},{"why":"Provides the refined profile of minimizers near point defects that motivates the improved convergence framework.","marker":"[12]"}],"fun_headline_variants":["Liquid crystals: sharp L^p convergence","Vanishing elasticity: optimal L^p convergence","Sharp L^p convergence for liquid crystals","All L^p convergence for liquid crystals","Liquid-crystal minimizers: all L^p convergence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The sharp ε-rate of the bulk energy depends on a scale-invariant pointwise estimate in the smooth region that is imported from a companion preprint; if that estimate's scaling is wrong, the claimed rate could degrade to a weaker power.","fun_headline_variants_meta":{"raw":{"variants":["Liquid crystals: sharp L^p convergence","Vanishing elasticity: optimal L^p convergence","Sharp L^p convergence for liquid crystals","All L^p convergence for liquid crystals","Liquid-crystal minimizers: all L^p convergence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002101,"raw_usage":{"total_tokens":8098,"prompt_tokens":811,"completion_tokens":7287,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":427,"completion_tokens_details":{"reasoning_tokens":7215}},"tokens_in":427,"tokens_out":7287,"duration_ms":59435,"temperature":1.0,"reasoning_tokens":7215,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T15:45:04.691692+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute ∫_K $ε^{{-2}}$ f(Q_ε) for a family of minimizers containing a line of defects; if for some sequence the integral grows faster than ε, the rate is false. Or, inspect the deferred estimate [25, Lemma 3.3] at scales r comparable to ε and check whether the constant stays uniform; a constant that grows with $ε^{{-1}}$ would break the dyadic summation in Section 3.2.","supporting_citations":[{"cited_title":"Majumdar and A","cited_arxiv_id":null,"evidence_quote":"Establishes the initial strong H^1 convergence of minimizers and the structure of the vacuum manifold; this paper's main result extends and sharpens that convergence."},{"cited_title":"Nguyen and A","cited_arxiv_id":null,"evidence_quote":"Gives the refined pointwise control of the bulk potential on regular regions (its Corollary 2) that the dyadic summation uses to obtain the ε-rate."},{"cited_title":"Naber and D","cited_arxiv_id":null,"evidence_quote":"Provides the pinching and covering strategy for approximate harmonic maps that the paper adapts to control the bad set of energy densities."},{"cited_title":"Canevari","cited_arxiv_id":null,"evidence_quote":"Supplies compactness and partial regularity tools for finite-energy minimizers, including the projection lemma used in the sharpness construction."},{"cited_title":"Partial H¨ older continuity for minima of certain energies among maps into a Riemannian manifold","cited_arxiv_id":null,"evidence_quote":"The interpolation result behind the strong H^1 compactness step toward a limiting Dirichlet minimizer."},{"cited_title":"Br´ ezis, J.-M","cited_arxiv_id":null,"evidence_quote":"Yields the hedgehog harmonic map x/|x|, which is the singular limiting configuration proving the sharpness of the L^p convergence and the lower bulk-energy bound."},{"cited_title":"Geng and A","cited_arxiv_id":null,"evidence_quote":"Provides the refined profile of minimizers near point defects that motivates the improved convergence framework."}],"review_version":1}