{"id":"554b5923-ae68-4c3c-a105-b5085ab633fd","arxiv_id":"2607.11702","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A potential-adapted geometric control condition is necessary and sufficient for uniform observability of the wave equation with large potentials on compact manifolds.","lead":"A modified geometric control condition is necessary and sufficient for the wave equation to remain uniformly observable under large time-independent potential perturbations. This characterizes when control costs stay bounded as the potential grows, with explicit examples and blow-up rates when it fails.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly identifies the smoothness of V as the main technical hypothesis, but this hypothesis is standard for the construction of the Hamiltonian flow of q and for the existence of second-microlocal defect measures; it does not undermine the equivalence. The proofs follow the classical Lebeau strategy with the necessary adaptations for the potential term, and every limit passage is justified by the equicontinuity lemmas and the Ascoli theorem. The geometric examples and the Agmon lower bound further corroborate the sharpness of the condition. Consequently the ACCEPT verdict with high confidence stands.","tokens_in":71909,"tokens_out":464,"duration_ms":4680,"concrete_test":"Verify the support statement of the second-microlocal measure in Proposition 3.12 for the half-wave operators L^±_h by direct application of the principal-symbol calculus of Corollary 2.4; if the support is not contained in {τ=±|ξ|_g}, the disintegration formulas (4.18) and the subsequent vanishing argument in Lemma 5.3 would fail.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 1.5) equates (GCC+_V) with uniform observability (UO) for the wave equation with potential λV. Both directions are proved by contradiction using standard semiclassical and second-microlocal defect measures (Sections 3–6), with the Hamiltonian flow of q=√(|ξ|^{2}_g+V) well-defined under the standing smoothness and positivity assumptions on V. The necessity construction via coherent states concentrating on a non-controlled bicharacteristic of q is classical and correctly adapted; the sufficiency argument correctly splits into the bounded-λ regime (classical GCC) and the semiclassical regime h=1/√λ, where the slice measures vanish by the geometric control condition. No hidden circularity, missing estimate, or unjustified passage to the limit appears. The smoothness hypothesis (1.6) is used exactly where the literature requires it and is not a soft spot for the claimed equivalence.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies the wave equation on a compact Riemannian manifold without boundary, with a large time-independent potential λV (λ≥1, V smooth, positive, ||V||_∞=1). It introduces the geometric control condition (GCC+_V), which requires that every bicharacteristic of both the free geodesic flow and the Hamiltonian flow of q=√(|ξ|^{2}_g+V) meets the observation set ω in time T. Theorem 1.5 asserts that (GCC+_V) is necessary and sufficient for the existence of an observability constant C_obs independent of λ. Sufficiency is proved by contradiction via semiclassical and second-microlocal defect measures (Sections 3–5); necessity is obtained by concentrating coherent states along a non-controlled bicharacteristic of q (Section 6). Geometric examples on the circle, torus and sphere are given, together with a lower bound of order T^{-1} exp(C√λ) for the optimal cost when (GCC_V) fails.","tokens_in":72172,"tokens_out":739,"duration_ms":6011,"significance":"The result gives a clean geometric characterization of uniform-in-λ controllability for the wave equation with large potential, extending the classical Bardos–Lebeau–Rauch–Taylor theorem and the exponential bounds of Laurent–Léautaud. The introduction of second-microlocal measures on the cosphere at infinity (Theorem 3.5) and the slice-disintegration theorem for half-wave solutions (Theorem 4.10) are technically solid and of independent interest for high-frequency analysis. The geometric examples and the matching lower bound of order exp(C√λ) make the necessity of (GCC+_V) concrete. The proofs are written out in full and rely only on standard tools of semiclassical analysis under the stated smoothness assumptions.","major_comments":[],"minor_comments":[{"comment":"The notation (GCC+_V) is introduced both as the conjunction of (GCC) and (GCC_V) and as the single condition on the flow of q; a short clarifying sentence after Definition 1.2 would avoid any momentary ambiguity.","section":null},{"comment":"In Section 3 the second-microlocal measure is defined via homogeneous symbols of degree 0; a brief remark that the construction extends routinely to symbols of any fixed order would help readers who wish to reuse the tool.","section":null},{"comment":"Figures 1–4 are helpful but the captions could explicitly recall which of (GCC), (GCC_V) or (GCC+_V) is illustrated, especially for the torus example of Lemma 1.9.","section":null},{"comment":"A few typographical slips appear (e.g., “observability cost” sometimes italicized inconsistently; “Half-wave equations” in the keywords). These are purely cosmetic.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technical, but the central equivalence is cleanly proved and the geometric content is substantial. It is a natural fit for a strong analysis journal; I see no reason to request a major rewrite."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The main result is clean: (GCC+_V) is necessary and sufficient for a uniform-in-λ observability constant for the wave equation with potential λ V. That settles a natural question left open by the earlier exponential bounds of Zuazua, DZZ and Laurent–Léautaud. The necessity construction (coherent states along a non-controlled bicharacteristic of q) and the sufficiency argument (classical GCC for bounded λ, then second-microlocal slice measures for h=1/√λ) both go through without gaps.\n\nWhat is new is the refined geometric condition itself and the systematic use of second-microlocal measures on the cosphere at infinity for the half-wave equation. The technical sections (3–4) carefully adapt Gérard / Fermanian-Kammerer / Anantharaman–Macià machinery; the support and equicontinuity lemmas are written out rather than waved away. The examples on the circle, torus and sphere are concrete and show that (GCC+_V) is strictly stronger than ordinary GCC in some cases and strictly weaker in others. The lower bound e^{C√λ} when the condition fails matches the 1-D upper bound of Zuazua, so the rate is sharp in that regime.\n\nSoft spots are minor. Smoothness and strict positivity of V are used exactly where the Hamiltonian flow of q and the second-microlocal calculus require them; the paper does not claim more. The blow-up upper bound under ordinary GCC remains the cruder e^{Cλ} of LL16, so there is still a gap between lower and upper rates when (GCC+_V) fails but GCC holds. That is left open, not hidden.\n\nThis is for people who work on geometric control or high-frequency analysis of waves. The math is solid, the citations are honest, and the result organizes several earlier partial results under one sharp condition. It deserves a serious referee and I would cite the equivalence and the examples.","headline":"Sharp geometric characterization of when large potentials destroy uniform wave observability; the equivalence is clean and the proofs hold up.","tokens_in":72744,"tokens_out":538,"would_cite":true,"duration_ms":8020,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L05","93B07","93B05","35F05","47F05"],"pacs":[],"model":"grok-4.5","headline":"Uniform observability of waves with large potential holds exactly when every ray of both the free geodesic flow and the V-modified Hamiltonian flow hits the observation set in time T.","keywords":["wave equation","observability","geometric control condition","large potential","semiclassical defect measures","second microlocalization","uniform controllability"],"falsifier":"Exhibit a smooth positive V and an open set ω such that every free geodesic of length T meets ω, yet some trajectory of the Hamiltonian q=√(|ξ|^{2}+V) never meets ω, and then check whether a sequence of solutions with energy 1 and observation norm o(1) still exists as λ\to∞; if no such sequence appears, the necessity claim fails.","tokens_in":72846,"feed_emoji":"🔊","tokens_out":962,"duration_ms":8566,"temperature":0.7,"pith_summary":"When a wave equation is perturbed by a large fixed potential λ V, the cost of observing (or controlling) the solution can explode with λ. The paper isolates a purely geometric condition, called GCC+_V, that decides whether this cost stays bounded independently of λ. GCC+_V requires that every free geodesic of length T meets the observation region and that every trajectory of the modified Hamiltonian √(|ξ|^{2}+V) also meets it. The authors prove the condition is necessary and sufficient for a uniform observability inequality, give concrete manifolds (circle, torus, sphere) where it holds for nontrivial observation sets, and produce an exponential lower bound of order exp(c√λ) whenever the modified flow has a trapped ray. The argument rests on semiclassical and second-microlocal defect measures that track high-frequency energy both at the usual frequency scale and at the larger scale induced by λ.","feed_headline":"Uniform wave control holds only for a stricter ray condition","feed_subtitle":"Free geodesics and V-modified rays must both hit the sensor; otherwise cost explodes with √λ","key_machinery":"GCC+_V (the simultaneous geometric control condition for the free geodesic flow and for the Hamiltonian flow of q=√(|ξ|^{2}_g+V)), proved necessary and sufficient by contradiction via semiclassical and second-microlocal defect measures that capture energy concentration along both families of rays.","core_discovery":"For the wave equation on a compact Riemannian manifold with potential λ V (λ≥1 large), a uniform-in-λ observability cost exists if and only if the pair (ω,T) satisfies the geometric control condition GCC+_V: every free geodesic of length T and every trajectory of the Hamiltonian q=√(|ξ|^{2}_g+V) both enter the observation set ω within time T.","pith_inferences":["The same geometric criterion should decide uniform observability for the Schrödinger equation with large potential, because the second-microlocal measures already encode the high-frequency dynamics shared by both operators.","The exponential lower bound exp(c√λ) is likely sharp on manifolds of revolution once the Agmon distance to the observation set is computed, matching the one-dimensional upper bound of Zuazua.","Relaxing smoothness of V to C^{1,α} would still allow the Hamiltonian flow to be defined, so the necessity half of the theorem may survive under weaker regularity."],"forward_implications":["Whenever GCC+_V holds, the control cost for the wave equation remains bounded independently of the size of the potential λ V.","If a critical point of V lies outside the observation set, the observability cost must blow up at least like exp(c√λ).","On the circle, uniform controllability is possible precisely when the observation set covers every critical point of V.","On the sphere or the flat torus, rotationally symmetric potentials admit nontrivial observation sets that still give uniform cost."],"fun_headline_variants":["Uniform wave control needs free geodesics and V-rays both observed","Stricter GCC+: free paths and potential rays must both hit the sensor","Wave observability stays uniform in λ iff both ray types enter ω","No uniform-in-λ control without free and V-modified trajectories controlled","Both free geodesics and V-Hamiltonian rays must hit sensor for uniform cost"],"cache_read_input_tokens":65664,"weakest_assumption_plain":"The potential V must be smooth, strictly positive and normalized to height one; this regularity is used both to define the modified Hamiltonian flow and to construct the second-microlocal measures that track energy at frequencies much larger than √λ.","fun_headline_variants_meta":{"raw":{"variants":["Uniform wave control needs free geodesics and V-rays both observed","Stricter GCC+: free paths and potential rays must both hit the sensor","Wave observability stays uniform in λ iff both ray types enter ω","No uniform-in-λ control without free and V-modified trajectories controlled","Both free geodesics and V-Hamiltonian rays must hit sensor for uniform cost"]},"model":"grok-4.5","effort":"low","cost_usd":0.00584,"raw_usage":{"total_tokens":1500,"prompt_tokens":694,"num_sources_used":0,"completion_tokens":100,"cost_in_usd_ticks":58400000,"prompt_tokens_details":{"text_tokens":694,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":706,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":694,"tokens_out":100,"duration_ms":5796,"temperature":1.0,"reasoning_tokens":706,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T03:44:58.015210+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a smooth positive V and an open set ω such that every free geodesic of length T meets ω, yet some trajectory of the Hamiltonian q=√(|ξ|^{2}+V) never meets ω, and then check whether a sequence of solutions with energy 1 and observation norm o(1) still exists as λ\to∞; if no such sequence appears, the necessity claim fails.","supporting_citations":[],"review_version":1}