{"id":"679f1416-0afb-4bb8-a6a2-961a635da359","arxiv_id":"2607.16827","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the 2D periodic Navier–Stokes equations, a single signed scalar velocity projection onto a resonant-regular or kernel-free direction field yields exponential synchronization in both L² and H¹.","lead":"This paper proves that, for the 2D Navier–Stokes equations on a torus, observing a single signed scalar projection of the velocity onto a spatially varying direction field is enough to make a model flow synchronize to the true flow exponentially fast. Two mechanisms are given — a nonlinear-transfer regime for fields with hidden currents, and a compactness regime for fields with none — and coarse, filtered observations are also handled.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the synchronization theorems are conditional, internally consistent, and the paper's own limitation statements match the true scope.","rationale":"The reader's weakest assumption correctly identifies the controlled adapted covering as the most fragile part of the resonant half, and the non-explicit C_eta as a practical limitation of the kernel-free half. However, neither is a correctness defect in the central claim: both are explicit hypotheses in the theorem statements, and the paper openly acknowledges that the resonant regime is not exhaustive. My independent check of the key identities and the differential-inequality chains found no internal inconsistency. The scope limitations affect significance and applicability, but not the validity of the theorems as stated. Therefore the reader's ACCEPT verdict stands unchanged. Agreement is partial because the reader treats the covering assumption as a load-bearing fragility, whereas I view it as an explicit, honestly disclosed condition that does not undermine the theorem's correctness.","tokens_in":21247,"tokens_out":52796,"duration_ms":470530,"concrete_test":"Independently re-derive Lemma 4.3 and the pullback argument in Lemma 4.4 for the explicit sinusoidal family of Example 3.7, checking the signs and cancellation of the r w V div(m) terms and the area-factor 1/d_Phi. If the expansion and the W^{1,infty} coefficient bounds reproduce (4.3)-(4.5), the resonant half is sound; the same test would also confirm that the shear defect is exactly as claimed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I read the full argument in good faith and find no load-bearing correctness defect in the central claim. The two synchronization mechanisms are exactly as stated: Theorem 5.2 holds under the controlled adapted covering (Def. 3.2) plus the viscous shear-defect absorbability (5.8); Theorem 6.2 holds under kernel-freeness K_m={0} with a non-explicit compact-observability constant C_eta. The weakest point is indeed the controlled adapted covering: it is a global structural hypothesis, and the paper openly concedes (§3.4, Example 3.6 note; §9) that not every small perturbation of a rational direction admits such a covering and that general resonant fields remain open. This is an honest scope limitation, not a hidden assumption or an internal inconsistency. I checked the most delicate steps: the moving-frame expansion (Lemma 4.3), the pullback of non-defect terms (Lemma 4.4), the logarithmic compatibility estimate (Theorem 4.6), the differential-inequality bookkeeping in Theorems 5.2, 6.2, 7.2, 7.4, and the H1 upgrade (Theorem 8.1). The constants are tracked loosely but consistently, and the enstrophy-cancellation identity (8.3) is correct. The non-explicit C_eta, like the non-explicit Km, makes the sufficient gain thresholds non-computable from the proof, but does not affect the truth of the existential statements. No circularity, no missing hypothesis in the stated theorems, and no undisclosed limitation that would change the verdict.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies continuous data assimilation for the 2D incompressible Navier–Stokes equations on the torus using a single signed scalar velocity projection u·m, where m is a prescribed spatially varying unit field. It proves exponential synchronization of the nudged system (2.8)/(2.10) to the reference solution in both L2 and H1 under two complementary structural regimes. In the regular resonant regime, Theorem 5.2 gives exponential synchronization (rate νλ1/2) for sufficiently large gain, provided m admits a controlled adapted covering (Def. 3.2) and the shear defect satisfies the viscous-absorbability condition (5.8); the proof uses the moving-frame expansion (Lemma 4.3) and logarithmic FLT-type estimates (Theorem 4.6). In the kernel-free regime, where K_m={0}, Theorem 6.2 gives exponential synchronization (rate νλ1) for every sufficiently large gain with no upper restriction, via compact observability with viscous leakage (Lemma 6.1). Theorems 7.2 and 7.4 extend the two mechanisms to Type-I coarse scalar observations under the gain–resolution condition μh²≲ν, and Theorem 8.1 upgrades all four L2 results to H1. The paper is explicit that the dichotomy is not exhaustive: general resonant fields without an adapted covering are left open, and this limitation is stated in §3.4 and §9.","tokens_in":21409,"tokens_out":23859,"duration_ms":203785,"significance":"If the results are correct, this is a substantial advance over the constant-direction one-component FLT mechanism: it applies to genuinely nonconstant projection fields and identifies a second, kernel-free mechanism based on qualitative injectivity and compactness rather than on nonlinear transfer. The theorems are conditional but very carefully stated, and the main structural hypothesis—controlled adapted coverings—is a real geometric condition whose limitations are honestly disclosed. I find no load-bearing internal inconsistency: the moving-frame expansion in Lemma 4.3 is the delicate point, and its algebra is sound; the compact-observability lemma, the logarithmic estimates, and the differential-inequality arguments are coherent. The non-explicit constants C_η and K_m are a limitation on quantitative applicability but not a defect in the stated existential results. The paper makes a valuable contribution to the CDA literature and its proofs are reproducible in the sense of being fully written out.","major_comments":[],"minor_comments":[{"comment":"Applying (4.7) with ε=ν/4 gives a coefficient 4K_m/ν in the second term, not K_m/ν as written in (4.9). The mismatch is only a constant-factor issue and does not affect the qualitative theorems, since K_m is existential and can be enlarged, but it should be reconciled explicitly (for instance by redefining K_m after Young's inequality).","section":"Section 4, Eqs. (4.7)–(4.9)"},{"comment":"The proof, after conditions (7.10)–(7.12), yields d/dt|e|² + (3νλ1/4)|e|² ≤ 0, which is stronger than the stated rate νλ1/2 in (7.13). The stated weaker rate is still true, but the authors may wish to note the stronger rate or adjust the text for consistency.","section":"Theorem 7.4"},{"comment":"The function q(t) is defined with a generic constant C that is not specified. Since the subsequent uniform-integrability argument depends on the exact expression for q, it would be helpful to state explicitly how C arises from Agmon's inequality and the feedback bound.","section":"Section 8, after Eq. (8.5)"},{"comment":"The notation C_Φ is used both for the quantitative geometric bound in Definition 3.2 and as a generic constant depending on the covering degree and that bound. This double use can confuse the reader; a different symbol for one of the two would improve readability.","section":"Section 3.3"}],"recommendation":"minor_revision","confidential_remarks":"The paper is honest about its scope and the central claims are defensible. The issues I found are local constant-bookkeeping and presentation points, not load-bearing errors. I support publication after a minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Stuart — quick read of arXiv:2607.16827. My take: this is a genuine step forward in the projectional CDA literature, and the paper is honestly scoped. The new thing is that the observation field m is allowed to be nonconstant, spatially varying. That's not a cosmetic generalization: the moving-frame expansion of the trilinear term (Lemma 4.3) is the load-bearing calculation, and I've verified it — the two ∇·m terms cancel, and the shear-defect term is exactly the leftover. The split into resonant and kernel-free regimes is a good organizer. In the resonant case, invisible currents exist; the paper shows that nonlinear transfer plus a geometric shear defect controls them via a FLT-type logarithmic estimate. In the kernel-free case, compactness gives observability with viscous leakage, which is then absorbed in the nonlinear term rather than the gain — that's a nice touch, and it's why there is no upper gain restriction. The Type-I coarse observation extension and the L2→H1 upgrade are both clean and honestly labeled.\n\nWhere are the soft spots? The main one is structural: the regular resonant theory requires a 'controlled adapted covering' — the transverse orbits have to close up on a finite cover. That's a strong global hypothesis, and the paper itself concedes (Section 3.4 and Section 9) that not every small perturbation of a rational direction admits such a covering, and general resonant fields remain open. So the resonant theorem is conditional in a somewhat hard-to-check way. That is a scope limitation, not a hidden assumption, but it means the theory does not yet cover generic nonconstant resonant fields. Second, the shear-defect absorbability condition (5.8) becomes more restrictive at larger Grashof number (Remark 5.4) — again, disclosed. Third, the kernel-free observability constant C_η is non-explicit, so the sufficient gain threshold can't be computed from the proof. That is normal for a compactness argument, but worth knowing if you want numbers.\n\nI checked the most delicate algebra and the differential-inequality bookkeeping; the constants are loose but consistent. No circularity, no fitting labeled as prediction, no load-bearing dependence on the author's own prior results. The citation pattern is clean: the FLT logarithmic estimate is from [2], independent authors, and the extension in Lemma 4.1 is proved in line.\n\nWho is this for? People working on data assimilation for NSE, observability of dissipative systems, and the FLT one-component lineage. It's a within-subfield contribution; if that's your area, it deserves serious attention. I would send it to a journal with full peer review. A referee should scrutinize the adapted-covering construction and the constant tracking in Theorem 8.1, but I don't see a load-bearing defect.","headline":"A careful, honest extension of one-component CDA to spatially varying projections; the resonant half is conditional on a global geometric hypothesis, but the paper says so and the main estimates check out.","tokens_in":22090,"tokens_out":5836,"would_cite":true,"duration_ms":46982,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","93C20","35B40","37L15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves exponential synchronization in L2 and H1 for the two-dimensional Navier-Stokes equations on the periodic torus from a single signed scalar velocity projection in a spatially varying direction, via two complementary mechani","keywords":["continuous data assimilation","two-dimensional Navier-Stokes","projectional nudging","one-component observations","exponential synchronization","resonant regime","kernel-free observability","periodic torus"],"falsifier":"Construct a resonant field with nonzero invisible currents whose transverse orbits do not close on any finite cover; the paper notes no controlled adapted covering exists, so both theorems fail to apply, and any observed exponential synchronization for such a field would require a new mechanism.","tokens_in":1672,"feed_emoji":"🌀","tokens_out":6628,"duration_ms":120636,"temperature":0.7,"pith_summary":"This paper proves that observing a single signed scalar projection of the velocity, u·m, in an arbitrary unit direction m can exponentially synchronize the two-dimensional Navier-Stokes equations on the periodic torus to a reference solution, in both L2 and H1. The proof splits into two complementary mechanisms. If m is 'regular resonant'—its transverse flow straightens into a periodic coordinate on a finite cover and a certain shear defect is absorbed by viscosity—then a moving-frame expansion leaves only logarithmic terms containing the observed scalar, and any sufficiently large nudging gain synchronizes. If instead the projection is 'kernel-free,' meaning no nonzero solenoidal field is invisible to it, compactness gives an observability estimate with arbitrarily small leakage, so every sufficiently large gain works without an upper restriction. The same mechanisms extend to coarse Type-I observations under the natural gain-resolution condition, and a parabolic argument upgrades all four L2 results to H1.","feed_headline":"One scalar velocity probe synchronizes 2D Navier-Stokes flows","feed_subtitle":"Two complementary mechanisms make one-component nudging exponential on the torus.","key_machinery":"The central object is the rank-one projection tensor M = m⊗m, giving the exact error identity (1/2)d/dt|e|² + ν||e||² + μ|r|² = −b(e,u,e), where r = e·m. In the resonant regime, a moving-frame expansion in the orthonormal frame (m, n=m⊥) shows that the only term without a factor of r is controlled by the shear-defect vector A_m = D_n n − (∇·n)n. A controlled adapted covering (∂_s Φ = q(n∘Φ) on a finite cover) converts the remaining terms into weighted logarithmic trilinear estimates, and viscous absorbability of A_m closes the estimate. In the kernel-free regime, the key mechanism is compact observability: if K_m = {0}, then for any η>0 there is C_η with |e|² ≤ C_η|e·m|² + η||e||²; applying","core_discovery":"The central claim is a pair of synchronization theorems. Theorem 5.2: if a unit field m in W^{2,∞} admits a controlled adapted covering and its shear defect is viscously absorbable, then every strong solution v of the nudged system with gain μ ≥ B*/2 satisfies |v(t)−u(t)|² ≤ exp(−(νλ₁/2)(t−t₀))|v(t₀)−u(t₀)|². Theorem 6.2: if the solenoidal kernel K_m = {0}, then for every μ ≥ Λ*C_η, with no upper gain restriction, the same decay holds with rate νλ₁. Type-I coarse observations synchronize under the gain–resolution condition μh² ≲ ν, and Theorem 8.1 upgrades all four L2 results to H1. The proof uses the exact error identity and decomposes the nonlinearity into observable logarithmic terms and","pith_inferences":["The non-exhaustive dichotomy suggests a hybrid route the paper leaves open: a field with both resonant and kernel-free components might synchronize by combining nonlinear transfer with compact observability on complementary components.","The non-explicit constant C_η in the kernel-free theorem may encode small-divisor geometry; a quantitative estimate for fixed irrational directions would make the existence result practically computable.","The shear-defect absorbability condition becomes stricter at larger Grashof number, so kernel-free directions may be the more practical choice for strongly forced flows—a comparison not drawn in the paper."],"forward_implications":["Any unit projection field satisfying the regular-resonant geometry or kernel-freeness yields exponential synchronization for 2D Navier-Stokes on the torus; the theorems give explicit sufficient gains for the resonant case.","Constant rational directions are a special case of the resonant theorem with zero shear defect, recovering the one-component mechanism; constant irrational directions are kernel-free and activate the large-gain theorem.","Coarse Type-I observations—low Fourier projections, local or mollified averages—synchronize under μh² ≲ ν, with the same mechanisms extended.","All four L2 synchronization results automatically upgrade to H1 synchronization with no additional observation hypotheses."],"fun_headline_variants":["Single scalar velocity probe synchronizes 2D flows exponentially","Two mechanisms: one scalar observation gives sync in L2 and H1","Kernel-free regime: no upper gain restriction for nudging sync","Resonant regime tames invisible currents with one projection","Type-I coarse observations also sync Navier-Stokes flows"],"cache_read_input_tokens":23168,"weakest_assumption_plain":"The resonant half rests on the global structural hypothesis that the transverse direction m⊥ can be straightened into a periodic coordinate on a finite controlled cover, and separately that the shear defect is small enough to be absorbed by viscosity; if either fails and the field is not kernel-free, neither theorem applies.","fun_headline_variants_meta":{"raw":{"variants":["Single scalar velocity probe synchronizes 2D flows exponentially","Two mechanisms: one scalar observation gives sync in L2 and H1","Kernel-free regime: no upper gain restriction for nudging sync","Resonant regime tames invisible currents with one projection","Type-I coarse observations also sync Navier-Stokes flows"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000294,"raw_usage":{"total_tokens":1556,"prompt_tokens":764,"completion_tokens":792,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":508,"completion_tokens_details":{"reasoning_tokens":706}},"tokens_in":508,"tokens_out":792,"duration_ms":7477,"temperature":1.0,"reasoning_tokens":706,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T19:52:11.519861+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a resonant field with nonzero invisible currents whose transverse orbits do not close on any finite cover; the paper notes no controlled adapted covering exists, so both theorems fail to apply, and any observed exponential synchronization for such a field would require a new mechanism.","supporting_citations":[],"review_version":1}