{"id":"93d71a3b-03f6-4dc5-86eb-2e256389ba24","arxiv_id":"2608.08456","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Minimizers of the Landau-de Gennes functional in the Lyuksyutov regime converge to an S^4-valued limit smoothly, at rate O(mu^{-1}) to the unit sphere.","lead":"This mathematics paper proves that minimizers of the Landau-de Gennes energy for liquid crystals converge smoothly to a limiting S^4-valued map as the Lyuksyutov parameter mu tends to infinity, with an explicit O(1/mu) rate of approach to the unit sphere. The result sharpens earlier convergence theorems and may matter for understanding defect-free biaxiality transitions in nematic liquid crystals.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof invokes Propositions 3.1 and 4.1 before establishing their hypothesis |Q|≥1/2; this is circular and not implied by small energy, so the regularity bootstrap cannot start as written.","rationale":"The central theorem is plausible and the overall strategy—small-energy partial regularity plus smooth limiting map—is standard. The reader's conditional assessment is appropriate, but the weakest point is not primarily the external smoothness of Q_λ. Even granting that smoothness, the proof applies Propositions 3.1 and 4.1 before verifying their common hypothesis |Q|≥1/2. H^1 convergence cannot provide this uniform lower bound, and small energy alone does not rule out a tiny isotropic bubble of radius μ^{-1/2}, whose energy cost is O(μ^{-1/2}) and hence compatible with the small-energy condition at any fixed scale. The text obtains |Q|≥1/2 only after the uniform energy-density bound, which is the output of the very propositions that require the lower bound: a circularity. The same issue affects Proposition 4.2 and therefore the O(μ^{-1}) rate. This is fixable by adding a separate no-hole or lower-bound lemma for minimizers, but without it the proof as written is incomplete. Since the gap is likely repairable and the theorem may well be true, the verdict should remain conditional; the paper should be revised to add the missing argument or to show that small energy plus minimality excludes such bubbles.","tokens_in":16633,"tokens_out":53844,"duration_ms":556277,"concrete_test":"Prove or disprove the missing lemma: if Q solves (1.7), |Q|≤1 and Θ_{λ,μ}(Q;x,r)≤δ, then |Q|≥1/2 on B_{r/2} for δ independent of μ. A direct disproof is to construct, in a ball of radius R, a family Q_μ=f_μ(r)M with M a fixed S^4 matrix, f_μ solving the radial equation -f''-(2/r)f'=μ(1-f²)f with f_μ(0)=0, f_μ(R)=1 and a transition at radius μ^{-1/2}; its energy is O(μ^{-1/2}), so for fixed r0 the small-energy condition holds while |Q_μ(0)|=0. If such a family exists, the argument in Section 5 is invalid as written; if it does not, verify the lemma and insert it before the invocation of Propositions 3.1 and 4.1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Propositions 3.1 and 4.1, the only tools that produce the uniform bound on e_{λ,μ}, both assume as a hypothesis that |Q|∈[1/2,1] on the relevant ball (Prop. 3.1) or |Q|∈(1−δ,1] (Prop. 4.1). In Section 5 these propositions are applied directly after the H^1 convergence and the smoothness of Q_λ; the text first concludes ∥e_{λ,μ}∥_{L∞}≤C, and only then states \"for sufficiently large μ, |Q|≥1/2\". Thus the lower bound needed to enter the partial-regularity argument is derived from its own conclusion. H^1 convergence plus smoothness of Q_λ does not supply a uniform L∞ lower bound: the small-energy condition Θ<δ is compatible with an isotropic bubble Q≈0 in a ball of radius ρ≈μ^{-1/2}, whose energy is O(μ^{-1/2}) and therefore satisfies the small-energy test at any fixed r0 for large μ. Consequently, without an additional \"no-hole\" lemma (or a maximum-principle/minimality argument proving |Q|≥1/2 before Proposition 3.1), the partial-regularity step cannot be started, and the O(μ^{-1}) estimate of Theorem 1.1(2) — which also relies on Proposition 4.2 with the same lower-bound hypothesis — is not established by the present argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies global minimizers Q_{λ,μ} of the Landau–de Gennes functional F_{λ,μ} in the Lyuksyutov regime, where λ>0 is fixed and μ→∞, on a bounded C^3 domain with S^4-valued boundary data. Theorem 1.1 claims three facts: (1) H^1 convergence to a minimizer Q_λ of the limiting S^4-valued energy E_λ (attributed to [8]), (2) the quantitative estimate limsup_{μ→∞} μ(1-|Q_{λ,μ}|) ≤ C, and (3) convergence in C^∞_{loc}(Ω,S0) ∩ C^{1,α}(Ω,S0). The proof follows the strategy of Majumdar–Zarnescu and Nguyen–Zarnescu: a monotonicity formula, a Bochner-type inequality with an error term, interior and boundary partial regularity propositions (Propositions 3.1 and 4.1), and a bootstrap (Propositions 3.3 and 4.2) to upgrade to smooth convergence. The central new input is that the limiting map Q_λ is smooth, so the small-energy condition (1.8) can be used at small scales without a defect analysis.","tokens_in":16845,"tokens_out":23732,"duration_ms":238466,"significance":"If the proof were complete, this would be a substantial improvement: the known H^1 convergence of [8] would be upgraded to smooth convergence with a sharp O(μ^{-1}) rate of approach to the unit sphere, and the C^{1,α} convergence up to the boundary would be new. The paper is honest about relying on [8] for existence, H^1 convergence, and smoothness of the limiting map; there are no fitted parameters or invented entities. The claimed estimates are specific and falsifiable. However, the main proof as written contains a circular step: the lower bound |Q|≥1/2 is both a hypothesis of the partial regularity propositions and a conclusion drawn after they are applied. Because this gap blocks the derivation of Theorem 1.1(2) and (3), the manuscript in its current form does not establish the central claim.","major_comments":[{"comment":"The proof applies Propositions 3.1 and 4.1 before establishing their lower-bound hypotheses. Proposition 3.1 requires |Q|∈[1/2,1] on B_{2r}(x), and Proposition 4.1 requires |Q|∈(1−δ,1] on U_{2r}(x_0). The text first concludes ∥e_{λ,μ}∥_{L∞(Ω)} ≤ C from these propositions and only then states 'for sufficiently large μ, |Q|≥1/2 in Ω'. This is circular. The small-energy condition (1/r0)∫ e < 2δ does not imply the lower bound: a configuration with an isotropic 'hole' of radius ρ ≈ μ^{-1/2} and |Q|≈0 inside has energy ≈ μ ρ^3 = O(μ^{-1/2}) in that ball, so it satisfies the small-energy test at any fixed r0 for large μ while violating |Q|≥1/2 on every fixed ball containing the hole. Consequently, the partial-regularity bootstrap cannot start as written. A separate no-hole lemma (for instance, a minimality-based argument showing that minimizers cannot contain such bubbles) is needed before Propositions 3.1 and 4.1 can be invoked. Without it, Theorem 1.1(2) and the C^∞_{loc} claim are not established.","section":"Section 5, paragraph 'By Propositions 3.1 and 4.1...'"},{"comment":"Even if the circularity of the lower bound were resolved, the step from ∥e_{λ,μ}∥_{L∞} ≤ C to the claimed O(μ^{-1}) estimate is not justified. From the L∞ bound on e one obtains μ(1−|Q|^2)^2 ≤ C, hence only 1−|Q| ≤ C μ^{-1/2}, not limsup μ(1−|Q|) ≤ C. To get the stronger O(μ^{-1}) rate one must use the equation for u = 1−|Q|^2, e.g. (2.4), at an interior maximum of u: since |∇Q| and λ are bounded after the partial regularity step and |Q|≥1/2, the inequality −Δu ≤ C − 2μ|Q|^2u forces u ≤ C/μ. This maximum-principle argument is not given in the manuscript. The missing bound is also required for the hypothesis of Proposition 3.3, whose condition (3.6) demands a uniform L∞ bound on μ(1−|Q|^2), not merely on μ(1−|Q|^2)^2. Thus the application of Proposition 3.3 at the end of Section 5 is currently unsupported.","section":"Section 5, derivation of Theorem 1.1(2); Section 4.3, Proposition 4.2"},{"comment":"Lemma 4.5 is stated without proof (the text says 'We omit the proof for simplicity'), but it is a load-bearing boundary estimate: Proposition 4.2 uses it to control u = (1−|Q|^2)^2 near the boundary, and Proposition 4.2 is in turn used for the C^{1,α}(Ω) boundary convergence in Theorem 1.1(3). The lemma is a boundary version of Lemma 3.5 with a distance weight, and its proof is not a trivial repetition of the interior case because the boundary condition and the geometry of ∂U must be handled. A central lemma cannot be left with only a reference to '[22, Lemma 6]' and a statement; the proof or a precise derivation from [22, Lemma 6] should be included.","section":"Section 4.3, Lemma 4.5"}],"minor_comments":[{"comment":"The hypothesis E_μ < δ in Proposition 4.1 requires smallness of Θ at all scales 0<ρ<2r, while Section 5 only establishes the small-energy condition at the fixed scale r0. The reduction to smaller scales via the monotonicity formula (Proposition 2.1) is not written out; for boundary balls the additive term C(R−r) in Proposition 2.1(2) must be absorbed by choosing r0 small. This is likely routine, but it should be stated explicitly.","section":"Section 4.1, Proposition 4.1, and Section 5"},{"comment":"The numbering is inconsistent: the main theorem is Theorem 1.1, but Remark 1.3 refers to 'Theorem 1.2(1)' and 'Theorem 1.2(2)&(3)'. These should be Theorem 1.1.","section":"Remark 1.3"},{"comment":"In the iteration leading to (3.7), the displayed sum omits the factor (ρ_{ℓ+1}−ρ_ℓ)^{-1} inside the sum; when this factor is restored, the terms combine with δ^ℓ to give 3(t−s)^{-1}Σ(3/4)^ℓ, which converges. The argument is therefore valid, but the presentation should include this computation for clarity.","section":"Section 3.2, proof of Proposition 3.3"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a natural and likely correct extension of [8], and the main assertions are plausible. However, the proof as written contains a genuine circularity in the partial-regularity bootstrap: the lower bound |Q|≥1/2 is used before it is proved, and the small-energy condition alone does not provide it. The missing no-hole argument is nontrivial and must be supplied. If the authors can add such a lemma (or cite one), the paper would be publishable. I also noted that Lemma 4.5 is unproved and that the derivation of the O(μ^{-1}) rate from the L∞ bound is absent; these are fixable with additional presentation. Given the gap in the central proof, major revision is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper claims a sharp upgrade of the Dipasquale–Millot–Pisante H1 convergence: in the Lyuksyutov regime, minimizers converge smoothly and the distance to S^4 decays like 1/μ. If true, that is a useful and non-obvious sharpening, and the authors show real command of the known machinery. The modified Bochner inequality with the λ^2 error is a legitimate technical novelty, and the boundary estimates in Section 4 are carefully done, modulo one omitted lemma.\n\nBut the proof as written does not close. In Section 5, Propositions 3.1 and 4.1—the only tools that produce the uniform L∞ bound on the energy density—are invoked before the hypothesis |Q|≥1/2 is established. The text first concludes ∥e∥∞≤C and only afterwards asserts that |Q|≥1/2 for large μ. That is circular: the propositions require the lower bound to even apply. The small-energy condition alone cannot supply it, since a tiny isotropic core of radius ρ≪μ^{-1/2} has scale-invariant energy O(μρ^2), which can be small while |Q|≈0. Monotonicity rules out large holes but not arbitrarily small ones. This needs a separate ‘no-hole’ lemma or a maximum-principle argument that runs before Proposition 3.1.\n\nThere is a second issue with Theorem 1.1(2). A uniform bound on e gives only μ(1-|Q|^2)^2≤C, hence 1-|Q|≤Cμ^{-1/2}, not the claimed O(μ^{-1}). To get O(μ^{-1}) you need to use the equation for u=1-|Q|^2 and the fact |Q|≥1/2 to obtain a strong comparison bound. That argument is absent, so even granting the propositions, the rate does not follow from what is written.\n\nThe bootstrap in Proposition 3.3 also appears to drop a term μ^{-1/2}(t-s)^{-1} in the step leading to (3.12); for tiny t-s this is not absorbed into the δΦ term. This may be fixable by arranging the dyadic scales relative to μ^{-1/2}, but it is not in the text. Lemma 4.5 is stated without proof, which is a minor but real gap.\n\nNet: the core idea is sound and the likely fix is to prove the lower bound first, then run the partial-regularity and bootstrap. As written, the central theorem is not established. This deserves full peer review, not a desk reject, because the result is significant and the gaps are identifiable and probably repairable. I would send it to a good referee with the instruction to focus on Section 5.","headline":"The result is plausible and worth engaging, but the proof of the main theorem has a circular step and the claimed O(1/μ) rate is not derived as written.","tokens_in":17516,"tokens_out":8948,"would_cite":false,"duration_ms":86485,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B65","35J47","49J45","82D30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Global minimizers of the Landau–de Gennes energy in the Lyuksyutov regime converge smoothly, not just in H^1, to an S^4-valued minimizer, with the distance to the unit sphere bounded by C/µ.","keywords":["Landau-de Gennes","Lyuksyutov regime","liquid crystals","Q-tensor","smooth convergence","singular perturbation","regularity theory","partial regularity"],"falsifier":"Compute, numerically or analytically, the quantity µ(1 − |Q_{λ,µ}|) for a simple domain such as the unit ball with constant boundary data in $S^{4}$, for a fixed λ and increasing µ; if the limsup of µ(1 − |Q_{λ,µ}|) is unbounded, or the local C^∞ convergence fails at some interior point, then the theorem would be false. Equivalently, any construction of an E_λ-minimizer with an interior singularity, of the kind that occurs in other Landau–de Gennes regimes, would contradict the smooth-limit premise on which the small-energy condition rests.","tokens_in":16329,"feed_emoji":"🌀","tokens_out":7541,"duration_ms":75078,"temperature":0.7,"pith_summary":"This paper studies minimizers of a Landau–de Gennes energy for nematic liquid crystals in the Lyuksyutov regime, where a large parameter µ drives the tensor order parameter Q onto the unit sphere $S^{4}$ inside the space of traceless symmetric matrices. Its central claim is that, for each fixed λ > 0, these minimizers converge as µ → ∞ to a minimizer of a limiting $S^{4}$-valued energy not only in energy norm, as previously known, but smoothly: locally in C^∞ and up to the boundary in $C^{{1,α}}$, with the distance 1 − |Q| bounded by C/µ. This matters because it upgrades a compactness result into a sharp quantitative description of how the constraint |Q| = 1 is approached, and it rules out the development of interior singularities in this regime.","feed_headline":"Nematic minimizers converge smoothly to S^4 limit","feed_subtitle":"In the Lyuksyutov regime, distance to the sphere shrinks as O(1/µ), upgrading energy-norm convergence to full smoothness.","key_machinery":"The central mechanism is the small-energy regularity scheme for the Euler–Lagrange equation (1.7). The key objects are the scaled energy density e_{λ,µ}(Q) = ½|∇Q|² + f_{λ,µ}(Q), the monotonicity formula giving Θ_{λ,µ}(Q; x, r) monotone in r, and the Bochner-type inequality −∆e_{λ,µ}(Q) ≤ C(e_{λ,µ}(Q)² + λ²), which replaces the cleaner inequality without the λ² term. The λ² error is handled by rescaling, and the smoothness of the limiting map supplies the small-energy condition (1.8) at arbitrarily small scales. A boundary version of the same machinery, using a Harnack inequality and estimates for Poisson’s equation near a curved boundary, yields the up-to-the-boundary $C^{{1,α}}$ convergence.","core_discovery":"Theorem 1.1 asserts that for a bounded $C^{3}$ domain with $C^{2}$ boundary data taking values in $S^{4}$, any family of global minimizers Q_{λ,µ} of F_{λ,µ} admits a subsequence converging in C^∞_{loc}(Ω,S_0) ∩ $C^{{1,α}}$(Ω,S_0) to a minimizer Q_λ of the limiting energy E_λ, together with the sharp estimate limsup_{µ→∞} µ(1 − |Q_{λ,µ}|) ≤ C. The previously established $H^{1}$ convergence is the starting point; the new content is uniform regularity independent of µ and the first-order rate at which the configurations approach the unit sphere. The proof obtains this by combining a small-energy condition inherited from the smoothness of the limit with monotonicity, a Bochner-type inequality with a controlled $λ^{2}$ error, and a bootstrap that upgrades bounded energy density to bounds on all derivatives.","pith_inferences":["We infer that the O(µ^{-1}) distance-to-S^4 rate is the natural first-order penalty rate for this type of singular perturbation, analogous to the normal-direction gap in Ginzburg–Landau-type problems; the same proof structure may extend to other bulk potentials whose zero set is a smooth submanifold of S₀.","Because the interior and boundary regularity propositions are stated for any smooth solution of (1.7) with small energy, the method likely applies to critical points with uniformly bounded energy, not only global minimizers, whenever the small-energy condition holds.","The theorem establishes convergence of a subsequence; a natural testable strengthening would be convergence of the full family without subsequence extraction in situations where the limiting minimizer is known to be unique."],"forward_implications":["For every fixed λ, all derivatives of the minimizers are uniformly bounded away from the boundary and independent of µ, so the family is precompact in every local C^k norm.","The distance to the unit sphere shrinks at the sharp rate O(1/µ), so the Lyuksyutov constraint |Q| = 1 is approached with controlled first-order error rather than merely asymptotically.","No interior singularities can appear in the limiting map in this regime, and convergence is global up to the boundary in C^{1,α} for every α ∈ (0,1).","The uniform energy-density bound and the O(1/µ) estimate give quantitative control on how well near-minimizers of F_{λ,µ} approximate minimizers of the S^4-valued energy E_λ."],"supporting_citations":[{"why":"Supplies the earlier H^1 convergence and, crucially, the smoothness of the limiting map Q_λ, which is the starting point for the small-energy condition in Section 5.","marker":"[8]"},{"why":"Provides the partial-regularity strategy and energy-density arguments that the present paper adapts to the Lyuksyutov regime.","marker":"[20]"},{"why":"Supplies the higher-order regularity and boundary estimates used in Sections 3 and 4 for the bootstrap.","marker":"[22]"},{"why":"Contains the interior gradient estimate (Lemma A.1) used in the derivative bootstrap.","marker":"[2]"},{"why":"Provides the Harnack-type inequality used in the interior and boundary partial-regularity arguments.","marker":"[15]"},{"why":"Supplies the finite-energy S^4 extension theorem used to obtain uniform energy bounds and existence of minimizers.","marker":"[16]"}],"fun_headline_variants":["Smooth S^4 limit for nematic minimizers","Nematic minimizers converge smoothly to S^4","O(1/µ) rate for Landau-de Gennes minimizers","Smooth convergence with O(1/µ) error to S^4","Lyuksyutov minimizers smoothly approach S^4"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that for each fixed λ the limiting map Q_λ is smooth everywhere in the domain; this is taken from earlier work, and if that limit could form a singularity, the small-energy condition on arbitrarily small balls that starts the whole argument would fail.","fun_headline_variants_meta":{"raw":{"variants":["Smooth S^4 limit for nematic minimizers","Nematic minimizers converge smoothly to S^4","O(1/µ) rate for Landau-de Gennes minimizers","Smooth convergence with O(1/µ) error to S^4","Lyuksyutov minimizers smoothly approach S^4"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001427,"raw_usage":{"total_tokens":5704,"prompt_tokens":838,"completion_tokens":4866,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":454,"completion_tokens_details":{"reasoning_tokens":4776}},"tokens_in":454,"tokens_out":4866,"duration_ms":35223,"temperature":1.0,"reasoning_tokens":4776,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:36:39.909634+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, numerically or analytically, the quantity µ(1 − |Q_{λ,µ}|) for a simple domain such as the unit ball with constant boundary data in $S^{4}$, for a fixed λ and increasing µ; if the limsup of µ(1 − |Q_{λ,µ}|) is unbounded, or the local C^∞ convergence fails at some interior point, then the theorem would be false. Equivalently, any construction of an E_λ-minimizer with an interior singularity, of the kind that occurs in other Landau–de Gennes regimes, would contradict the smooth-limit premise on which the small-energy condition rests.","supporting_citations":[{"cited_title":"Dipasquale, V","cited_arxiv_id":null,"evidence_quote":"Supplies the earlier H^1 convergence and, crucially, the smoothness of the limiting map Q_λ, which is the starting point for the small-energy condition in Section 5."},{"cited_title":"Majumdar and A","cited_arxiv_id":null,"evidence_quote":"Provides the partial-regularity strategy and energy-density arguments that the present paper adapts to the Lyuksyutov regime."},{"cited_title":"Han and F","cited_arxiv_id":null,"evidence_quote":"Provides the Harnack-type inequality used in the interior and boundary partial-regularity arguments."},{"cited_title":"Hardt and F","cited_arxiv_id":null,"evidence_quote":"Supplies the finite-energy S^4 extension theorem used to obtain uniform energy bounds and existence of minimizers."}],"review_version":1}