{"id":"9851dd78-5891-489e-a757-8f1622a33de4","arxiv_id":"2506.05152","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"R-boundedness of the resolvent solution operators for the Q-tensor liquid crystal model in the half-space is established in a neighborhood of the zero resolvent parameter.","lead":"The paper proves a technical estimate for the linearized equations of flowing nematic liquid crystals in a half-space, covering the previously missing case where the frequency parameter is near zero. This closes a gap needed to show that the full nonlinear flow model has solutions that exist for all time.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.4(1) is load-bearing and its proof is incomplete: Lemma 4.3's pointwise asymptotics is used uniformly for A→0, where the remainder is not controlled.","rationale":"The reader's weakest assumption identifies exactly the load-bearing gap: Lemma 4.4(1) needs a uniform lower bound on λCa in a regime where A may tend to 0 together with λ, and Lemma 4.3 provides only a pointwise asymptotic. This gap matters because Lemma 5.6 and Corollary 5.7 depend on |Ca| ≥ C/|λ| to place λ^{-1}Ca^{-1} in the correct multiplier class, and Lemma 5.15 uses those classes throughout the velocity proof. My independent reading found no more serious flaw: the high-frequency expansion in Section 4.2.1 is uniform in the stated range, Lemma 4.4(2) is internally consistent, and the overall structure of the R-boundedness reduction in Section 5 is coherent. The suggested test on the scaling A~|λ|^{1/2} would either confirm that the lower bound is true despite the missing uniformity or falsify Lemma 4.4(1); either outcome directly determines whether the conditional verdict remains appropriate. I therefore keep the reader's CONDITIONAL verdict unchanged.","tokens_in":45864,"tokens_out":14165,"duration_ms":118963,"concrete_test":"Take β=1, a=1, and λ=εe^{iθ} with θ fixed in Σ_{ϵ,c0}. For A=c√ε with c>0, compute the sharp leading-order expansion of λCa(λ,ξ') from (4.1)-(4.2), and compare it with Lemma 4.3's claimed limit -a²/[2βA(√(a+A²)-A)]. If the coefficient of ε^{-1/2} is nonzero and |λCa| has no path to 0 as ε→0, Lemma 4.4(1)'s bound survives and the gap is a proof repair; if a path has |λCa|→0, the lemma is false. This can be settled numerically by evaluating |λCa| at ε=10^{-8}, 10^{-10}, 10^{-12} for several c, and symbolically by tracking the remainder terms in the derivation of Lemma 4.3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 4.4(1) is the pivotal estimate: it supplies |Ca(λ,ξ')| ≥ C/|λ| for all λ∈Σ_{ϵ,c0} and ξ'≠0, and through Lemma 5.6 and Corollary 5.7 it controls the multiplier class of λ^{-1}Ca^{-1}, which is used repeatedly in the proof of the velocity R-boundedness (Lemma 5.15). The proof splits only at A²=(c0+a)/r. For A²≤(c0+a)/r, it invokes Lemma 4.3, whose statement is a pointwise asymptotic as |λ|→0 for a fixed A. The 'o(1)' error is then treated as O(|λ|) with a constant independent of A. This uniformity is not demonstrated. The problematic region is the intermediate annulus |λ|/R ≤ A² ≤ R|λ| with R large but fixed: here A can tend to 0 together with λ, and the expansion L1 = A + z1/(2A)+... implicit in Lemma 4.3 has radius of validity |z1|/A² ≤ δ, which fails. Lemma 4.4(2) covers only A² ≤ |λ|/R, so it does not repair the annulus. On the scaling A = c|λ|^{1/2}, the leading term of λCa is proportional to |λ|^{-1/2} with a coefficient that differs from the expression claimed in Lemma 4.3, so the asymptotic formula is not uniform; whether the lower bound still holds in this regime is therefore not established. No counterexample is offered here, but the proof as written has a genuine gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the linearized resolvent problem for the Beris-Edwards Q-tensor model of nematic liquid crystals in the half-space R^N_+, with resolvent parameter λ in a small sector Σ_{ϵ,c0} near the origin. The main theorem (Theorem 2.3) asserts the existence of holomorphic solution-operator families A(λ), B(λ) for the coupled velocity/order-parameter system, and R-boundedness of the corresponding S_λA(λ) and T_λB(λ) families. This is then used to derive resolvent estimates (Corollary 2.5) and homogeneous-space estimates (Corollary 2.6). The proof follows the standard Fourier-multiplier strategy: the whole-space resolvent is obtained from previous work [12] and [2]; the half-space boundary contribution is controlled through lower bounds on the quantities C_a(λ,ξ') and A_a(λ,ξ'); and the solution symbols are shown to belong to the multiplier classes M_{s,1}, M_{s,2}, eM_{s,1}, eM_{s,2}, whose R-boundedness is established via known operator lemmas.","tokens_in":46182,"tokens_out":10039,"duration_ms":110647,"significance":"If the main theorem is correct, the paper fills a genuine and important gap in the maximal L_p-L_q regularity program for the Q-tensor model: the case |λ| near 0, which is essential for passing from exponential to uniform time weights in the associated evolution problem. The paper is technically substantial: it gives explicit solution formulas, systematic multiplier estimates, and a careful decomposition of boundary contributions. The sector condition and the smallness of c0 are hypotheses rather than fitted quantities, and the base case |λ| ≥ r is imported from the published independent result [2] in a legitimate way. These are real strengths. However, one load-bearing lower-bound estimate, Lemma 4.4(1), is not proved as it stands because a pointwise asymptotic is used uniformly where it has not been justified. The central claim is defensible and likely repairable, but the present proof is incomplete.","major_comments":[{"comment":"The proof of the uniform lower bound |C_a(λ,ξ')| ≥ C/|λ| is not complete. Lemma 4.3 is stated as a pointwise asymptotic as |λ|→0 with ξ' fixed, but Lemma 4.4(1) applies it in the whole region A^2 ≤ (c0+a)/r, which includes A = |ξ'| → 0. The remainder term o(1) in Lemma 4.3 is then treated as O(|λ|) with a constant independent of A, and no such uniformity is demonstrated. The intermediate annulus |λ|/R ≤ A^2 ≤ R|λ| is not covered by Lemma 4.4(2), which assumes A^2 ≤ |λ|/R, nor by Subsection 4.2.1, which assumes A^2 ≥ (c0+a)/r. On the scaling A ~ c|λ|^{1/2}, one has |z1(λ)|/A^2 = O(1), so the Taylor expansions L1 = A + z1/(2A) + ... implicit in Lemma 4.3 are not uniformly controlled. Because Lemma 5.6(1) and Corollary 5.7 rely directly on (4.30) to place λ^{-1}C_a^{-1} in M_{0,2}, and Lemma 5.15 uses that multiplier class for the velocity solution operator, the R-boundedness of the velocity operator is not established as the proof currently stands. This is a load-bearing gap; it requires a genuinely new uniform estimate in the intermediate-frequency annulus or a different proof of (4.30).","section":"Lemma 4.4(1), Section 4.3"}],"minor_comments":[{"comment":"In the statement of Lemma 5.10, the symbol m6 is listed both in M_{2,2} and in eM_{1,1}; this is inconsistent as written and probably a typographical error, but it should be corrected because the subsequent estimates in Lemma 5.15 use the membership of m6 in eM_{1,1}.","section":"Lemma 5.10"},{"comment":"The phrase 'let c0 is a small constant' should read 'let c0 be a small constant'; the same grammatical issue occurs in Corollaries 2.5 and 2.6.","section":"Theorem 2.3"},{"comment":"The small constant r is introduced in Subsection 4.2.1 and then used in Lemma 4.4(1) in the threshold (c0+a)/r, but its role and the order in which r and c0 are chosen are not stated explicitly in Lemma 4.4; a sentence clarifying this dependency would help the reader.","section":"Lemma 4.2 and Lemma 4.4"},{"comment":"The middle-frequency lower bound for A_a in the set U is imported from [2] via the statement 'Thanks to [2], A_a(λ,ξ') ≠ 0'; since this is a load-bearing step for Lemma 4.5, the precise reference or a short self-contained argument should be provided.","section":"Section 4.4.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically serious and the main theorem is likely correct, but the gap in Lemma 4.4(1) is load-bearing and cannot be dismissed as a presentation issue. I recommend major revision with a request that the authors either prove the uniform lower bound for C_a in the intermediate annulus or restructure the proof so that this case is handled by a direct estimate. The use of [2] as a base case is appropriate, and I see no novelty or attribution concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The near-zero case is genuinely new and worth refereeing, but Lemma 4.4(1) has a real gap and should be repaired before the R-boundedness result is considered established.\n\nWhat the paper does well: it attacks the case |λ|≤c0 for the half-space resolvent problem, which was left open in the authors' own [2] (|λ|≥r) and in [12] (whole space, |λ|≥1). The main theorem and Corollaries 2.5–2.6 are the right statements for maximal Lp-Lq regularity with γ0=0. The Lopatinski determinant analysis in Section 4 and the Fourier multiplier machinery in Section 5 form a long but coherent argument. The multiplier classes are handled in a standard way, and the R-boundedness argument, conditional on Lemma 4.4, is plausible.\n\nThe soft spot is real. Lemma 4.4(1) uses Lemma 4.3, which is a pointwise asymptotic for fixed A=|ξ'|, and then treats the o(1) as if it were uniform over the whole set A²≤(c0+a)/r, including A→0. It is not. In the annulus where A² is comparable to |λ|, L1 does not tend to A; for instance with A=c|λ|^{1/2}, L1=√(A²+O(λ)) is of size |λ|^{1/2}, and (L1-A)/(Ba²-L2²) is O(|λ|^{-1/2}), not finite. Lemma 4.4(2) covers only A²≤|λ|/R and does not fill this annulus. My own rough computation suggests the claimed lower bound may still hold in this regime—the leading term is actually larger there—so this is likely repairable with an additional case split or a uniform version of Lemma 4.3. But as written, the proof of the load-bearing estimate is incomplete.\n\nOther issues are minor. Importing solution formulas from [2] is legitimate since [2] is published; choosing c0 small enough to absorb error terms is standard, not circular. No invented entities, no fitting.\n\nThis paper is for specialists in maximal Lp-Lq regularity for Q-tensor models. A serious referee in that area should read it. Send it to peer review, and instruct the referee to focus on Lemma 4.4(1) and the intermediate frequency regime.","headline":"Genuinely new near-zero resolvent result with a repairable gap in the key Lopatinski lower bound—worth refereeing.","tokens_in":46785,"tokens_out":8392,"would_cite":false,"duration_ms":100038,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","76A15","35B65"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the solution operators for the Q-tensor resolvent problem in the half-space are R-bounded on a small sector around λ=0, giving uniform resolvent estimates that support maximal regularity with zero growth constant.","keywords":["R-boundedness","Q-tensor model","nematic liquid crystals","resolvent problem","half-space","Lopatinski determinant","Fourier multipliers","maximal Lp-Lq regularity"],"falsifier":"Evaluate the explicit formula for $C_a(\\lambda,\\xi')$ from Section 4 along a sequence with $\\lambda \\to 0$ in the sector and $|\\xi'|^2$ comparable to $|\\lambda|$, and check whether $|\\lambda C_a(\\lambda,\\xi')|$ stays above a positive constant; if $|\\lambda C_a| \\to 0$ along such a sequence, then Lemma 4.4(1) fails as stated and the velocity part of the proof would need the separate low-frequency estimate to be folded into the main splitting.","tokens_in":45610,"feed_emoji":"🔬","tokens_out":10886,"duration_ms":112810,"temperature":0.7,"pith_summary":"The paper studies the resolvent problem obtained by linearizing the $Q$-tensor model for nematic liquid-crystal flows in the half-space, allowing the resolvent parameter $\\lambda$ to approach $0$. Its goal is to show that the solution operator families sending the data $(f,G,h,H)$ to the velocity $u$ and the order-parameter tensor $Q$ are $\\mathcal{R}$-bounded on a small sector $\\Sigma_{\\epsilon,c_0}$ around $\\lambda=0$; $\\mathcal{R}$-boundedness is a strong form of uniform boundedness that controls Rademacher averages of operator families. If correct, this yields resolvent estimates (2.1)--(2.2) with a constant independent of $\\lambda$, which is exactly the input needed to run maximal $L_p$--$L_q$ regularity arguments with the exponential weight constant $\\gamma_0=0$. That removes a barrier that forced earlier whole-space treatments to stay away from $\\lambda=0$ and opens the route to global well-posedness for the nonlinear $Q$-tensor system in the half-space.","feed_headline":"Q-tensor resolvent operators stay R-bounded as λ nears zero","feed_subtitle":"The bound unlocks maximal regularity and a path to global well-posedness for half-space liquid-crystal flows.","key_machinery":"The argument is carried by a tangential Fourier multiplier calculus on the half-space. After Fourier transform in $x'$, the characteristic roots of the linearized system are $-A$, $-B_a$, $-L_1$, $-L_2$, where $A=|\\xi'|$ and $L_j=(z_j(\\lambda)+A^2)^{1/2}$ for explicitly defined $z_j(\\lambda)$. The velocity solution is assembled from integral operators with kernels built from the exponentials $e^{-Ax_N}$, $e^{-L_1x_N}$, $e^{-L_2x_N}$ and their difference quotients $M(L_1,A;x_N)$, $M(L_2,L_1;x_N)$; $\\mathcal{R}$-boundedness is proved by showing the symbols belong to the multiplier classes $M_{s,1}$, $M_{s,2}$, $\\widetilde M_{s,1}$, $\\widetilde M_{s,2}$. The load-bearing estimates are the lower bounds $|C_a(\\lambda,\\xi')| \\ge C/|\\lambda|$ (Lemma 4.4) and $|A_a(\\lambda,\\xi')|\\ge C(|\\lambda|+1)^2$ (Lemma 4.5), obtained by asymptotic expansion of the characteristic quantities as $|\\lambda|\\to 0$ and by case splits according to the size of $A^2$ relative to $|\\lambda|$.","core_discovery":"The central claim is Theorem 2.3: for each $\\lambda$ in the small sector $\\Sigma_{\\epsilon,c_0}$, whose opening is fixed by the condition $\\tan\\epsilon_0 \\ge |\\beta|/\\sqrt{2}$, the resolvent problem has a unique solution $(u,Q) = (A(\\lambda)F_X, B(\\lambda)F_Y)$ with $A(\\lambda)$ and $B(\\lambda)$ holomorphic operator-valued functions, and the families $\\{S_\\lambda A(\\lambda)\\}$ and $\\{T_\\lambda B(\\lambda)\\}$ are $\\mathcal{R}$-bounded with a bound independent of $\\lambda$, where $S_\\lambda=(\\nabla^2,\\lambda^{1/2}\\nabla,\\lambda)$ and $T_\\lambda=(\\nabla^2,\\lambda^{1/2}\\nabla,\\lambda,\\lambda^{1/2},\\nabla)$. The proof reduces the inhomogeneous problem to the boundary problem, solves the boundary problem by Fourier multiplier analysis in the tangential variable, and verifies the multiplier estimates through lower bounds on the symbols $C_a$ and $A_a$ appearing in the Lopatinski determinant. Corollaries 2.5 and 2.6 state the resulting resolvent estimates in $L_q$ and in homogeneous Sobolev spaces.","pith_inferences":["A direct numerical check of $|\\lambda C_a(\\lambda,\\xi')|$ near the boundary $|\\xi'|^2 \\asymp |\\lambda|$ would test whether the proof's uniformity assumption can be verified; if the bound fails there, the velocity part of the theorem would still survive with a modified low-frequency split, since the separate estimate in Lemma 4.4(2) already covers a neighborhood of that regime.","The multiplier-class technique and the lower-bound lemmas are written for the two-way coupling of $u$ and $Q$, but the same structure — a quadratic characteristic polynomial with roots expanding like $\\lambda$ and $\\lambda+a$, plus a Lopatinski symbol — recurs in other liquid-crystal and viscoelastic models, so the approach is likely transferable.","The paper stops at the resolvent estimates; the step from those estimates to a global-in-time existence theorem for the nonlinear $Q$-tensor system is not carried out here, and a reader aiming at that theorem would combine Corollary 2.6 with a contraction-mapping or energy argument."],"forward_implications":["The resolvent estimates (2.1)--(2.2) hold uniformly on the small sector near $\\lambda=0$, which is the range needed to obtain maximal $L_p$--$L_q$ regularity with a constant that does not grow as the exponential weight constant $\\gamma_0$ tends to $0$.","The homogeneous-boundary statement (Corollary 2.6) gives the clean a priori bound $\\|(|\\lambda|,|\\lambda|^{1/2}\\nabla,\\nabla^2)(u,Q)\\|_{L_q \\times \\dot H^1_q} + \\|\\nabla p\\|_{L_q} \\le C\\|(f,\\nabla G)\\|_{L_q}$, the form most directly usable in a global well-posedness argument.","The sector condition $\\tan\\epsilon_0 \\ge |\\beta|/\\sqrt{2}$ shows that the admissible opening of the resolvent sector is fixed by the coupling coefficient $\\beta$, matching the characteristic roots of the whole-space system.","The operator families are holomorphic in $\\lambda$ and remain $\\mathcal{R}$-bounded after applying $\\tau\\partial_\\tau$ (the derivative with respect to the imaginary part of $\\lambda$), so the same families work uniformly across the sector rather than pointwise."],"supporting_citations":[{"why":"Supplies the half-space solution formula and the boundary-value framework reused throughout Section 5.","marker":"[2]"},{"why":"Supplies the original Q-tensor flow model whose linearization gives the resolvent problem.","marker":"[3]"},{"why":"Supplies the abstract R-boundedness and Fourier multiplier theory used to pass from symbol estimates to operator families.","marker":"[5]"},{"why":"Supplies the R-sectoriality theorem used for the heat-block operator on the order parameter.","marker":"[6]"},{"why":"Establishes the whole-space R-boundedness away from the origin that Section 3 extends down to lambda=0.","marker":"[12]"},{"why":"Supplies the multiplier classes and the R-bounded operator lemmas for the kernel estimates used in the half-space problem.","marker":"[15]"}],"fun_headline_variants":["R-bounded resolvents for Q-tensor flows in half-space","Q-tensor model: solution operator families stay R-bounded","Uniform R-bounds for liquid crystal resolvent operators","Half-space Q-tensor: resolvent R-boundedness shown","R-boundedness of Q-tensor operators near origin"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that a certain symbol built from the characteristic roots of the system, the quantity $\\lambda C_a(\\lambda,\\xi')$, stays bounded away from zero uniformly as $\\lambda$ approaches $0$ and the tangential frequency also approaches $0$; if that uniformity fails, the velocity $\\mathcal{R}$-boundedness estimate is not established.","fun_headline_variants_meta":{"raw":{"variants":["R-bounded resolvents for Q-tensor flows in half-space","Q-tensor model: solution operator families stay R-bounded","Uniform R-bounds for liquid crystal resolvent operators","Half-space Q-tensor: resolvent R-boundedness shown","R-boundedness of Q-tensor operators near origin"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000207,"raw_usage":{"total_tokens":1372,"prompt_tokens":890,"completion_tokens":482,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":506,"completion_tokens_details":{"reasoning_tokens":397}},"tokens_in":506,"tokens_out":482,"duration_ms":4768,"temperature":1.0,"reasoning_tokens":397,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:24:08.587244+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the explicit formula for $C_a(\\lambda,\\xi')$ from Section 4 along a sequence with $\\lambda \\to 0$ in the sector and $|\\xi'|^2$ comparable to $|\\lambda|$, and check whether $|\\lambda C_a(\\lambda,\\xi')|$ stays above a positive constant; if $|\\lambda C_a| \\to 0$ along such a sequence, then Lemma 4.4(1) fails as stated and the velocity part of the proof would need the separate low-frequency estimate to be folded into the main splitting.","supporting_citations":[{"cited_title":"Barbera and M","cited_arxiv_id":null,"evidence_quote":"Supplies the half-space solution formula and the boundary-value framework reused throughout Section 5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the original Q-tensor flow model whose linearization gives the resolvent problem."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the abstract R-boundedness and Fourier multiplier theory used to pass from symbol estimates to operator families."},{"cited_title":"Enomoto and Y","cited_arxiv_id":null,"evidence_quote":"Supplies the R-sectoriality theorem used for the heat-block operator on the order parameter."},{"cited_title":"Murata and Y","cited_arxiv_id":null,"evidence_quote":"Establishes the whole-space R-boundedness away from the origin that Section 3 extends down to lambda=0."},{"cited_title":"Shibata and S","cited_arxiv_id":null,"evidence_quote":"Supplies the multiplier classes and the R-bounded operator lemmas for the kernel estimates used in the half-space problem."}],"review_version":1}