{"id":"7279c68b-d278-4369-8ae6-fea484b32e34","arxiv_id":"1908.02157","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Strichartz estimates hold for the radiation part of the 1D wave equation with a potential in hyperboloidal coordinates for odd data, giving asymptotic stability of a Yang-Mills connection on a wormhole.","lead":"This paper proves space-time decay estimates, called Strichartz estimates, for the one-dimensional wave equation with an added potential, formulated in coordinates that track outgoing radiation. Such estimates were previously considered impossible in one dimension, and they yield a new stability proof for a Yang-Mills field on a wormhole spacetime.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The main Strichartz theorem is conditional and internally coherent; the load-bearing soft spot is Lemma 2.1, whose deferred proof of Σ_V=∅ for V=−1 is what makes the Yang-Mills application go through.","rationale":"The reader's weakest assumption is the spectral hypothesis Σ_V ∩ iR = ∅, and its verification is weakest for V = −1, where the proof is deferred to an external reference. My stress-test confirms that this is the only load-bearing soft spot: the conditional theorem is proved within the manuscript, and the uses of the spectral assumption (Lemma 5.11, Lemma 5.13, Lemma 6.3) align with the stated hypotheses. No internal inconsistency or hidden circularity was found in the Green-function construction or the kernel estimates of Section 6. The omission of the proof of Lemma 2.1 is a genuine gap in self-containedness for the wormhole application, but it is not a defect in the main theorem, so the reader's ACCEPT verdict stands unchanged.","tokens_in":30611,"tokens_out":35731,"duration_ms":353364,"concrete_test":"Independently verify Lemma 2.1 by solving the ODE −(1−y²)f″ + 2(λ+1)y f′ + (λ(λ+1)−1)f = 0 for λ on the imaginary axis, with f odd and smooth at ±1. Concretely, reproduce the hypergeometric analysis from [1] under Definition 1.2, or run a numerical shooting/Evans-function computation for Im λ ∈ [−R,R] combined with the large-|λ| asymptotics u₁(0,λ) = 1 + O(1/|λ|) to rule out zeros of u₁(0,iβ). If u₁(0,iβ)=0 for some β, Theorem 2.3 fails; if none, the application is fully supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.3(4) and Theorem 4.15 are conditional on Σ_V ∩ iR = ∅, and the only nontrivial verification of that hypothesis used in the paper's application is not contained in the manuscript. Lemma 2.1 states that Σ_V = ∅ for V = −1 and defers the hypergeometric spectral computation to [1]. This lemma is load-bearing: it is exactly what converts Theorem 1.3(4) into the linear Strichartz input for the Yang-Mills fixed-point argument in Theorem 2.3 (used in Lemma 2.5 to bound S(s) acting on u(s′)³). If the spectral problem in [1] is not precisely equivalent to Definition 1.2 (same parameter λ, same oddness, same endpoint smoothness), or if the omitted computation contains a sign or parameter error, the wormhole stability theorem does not follow. The central Strichartz theorem itself appears internally consistent: the spectral hypothesis is used precisely where Lemma 5.11 needs |u₁(0,λ)| ≳ 1, and I did not find a circular step or hidden assumption in Sections 4–6. The parity restriction is explicit and necessary due to the constant solution u = 1, as the authors state in Section 2.1. Thus the concern is about certifiability of the application, not about the internal logic of the conditional theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the hyperboloidal initial value problem for the one-dimensional wave equation with a smooth even potential V. In these coordinates the free wave is non-dispersive, and the authors show that the evolution nevertheless decomposes into a finite-dimensional spectral part and an infinite-dimensional radiation part. Under the spectral assumption Σ_V∩iR=∅, the radiation part obeys Strichartz estimates in L^p_tL^q_y for all p∈[2,∞] and q∈[1,∞) (Theorem 1.3(4), Theorem 4.15). The proof proceeds through an explicit free solution formula, a semigroup formulation, a spectral decomposition of the generator L_V, an explicit Green function construction, and kernel estimates. As an application, the authors prove asymptotic stability of the Yang-Mills connection cosθτ3dφ on a wormhole spacetime under odd small-energy perturbations, reducing the problem to the semilinear equation with V=-1 and using the Strichartz estimates in a fixed-point argument. The main theorem is conditional: it assumes that L_V has no eigenvalues on the imaginary axis, and the only nontrivial verification of this condition in the paper's application is Lemma 2.1, whose proof is deferred to a previous paper by Bizoń and Mach.","tokens_in":30703,"tokens_out":7759,"duration_ms":132215,"significance":"If the results are correct, the paper makes a substantial contribution: it shows that Strichartz estimates can be recovered in one space dimension by choosing a hyperboloidal foliation, and it provides a clean spectral mechanism (finite-dimensional unstable part plus radiation part) that should be useful for nonlinear stability problems. The main proof is unusually explicit: the free solution is written down, the generator is analyzed through a semigroup setting, the Green function is constructed from a fundamental system, and the kernel estimates in Section 6 are concrete with no fitted constants. I found no circularity and no hidden tuning of constants. The main theorem is internally coherent, and the parity restriction is stated honestly in Section 2.1 and is in fact forced by the constant solution u=1. The principal weakness is the application: Theorem 2.3 rests on Lemma 2.1, which asserts Σ_V=∅ for V=-1 but defers the entire spectral computation to reference [1]. Because the spectral hypothesis is load-bearing for the Yang-Mills stability result, the manuscript as it stands is not fully self-contained at the point where the main advertised application depends on it.","major_comments":[{"comment":"Lemma 2.1 is load-bearing for Theorem 2.3: it is the only verification of the spectral hypothesis Σ_V∩iR=∅ used in the Yang-Mills application. The proof in the manuscript says only that the ODE can be solved in terms of hypergeometric functions and that 'no solution other than f=0 exists', referring to [1] for details. Since Definition 1.2 uses a specific spectral parameter λ, a specific parity condition, and C^∞ regularity on the closed interval, the authors should either include the full spectral computation or state the precise theorem in [1] and verify that its eigenvalue problem is exactly equivalent to Definition 1.2. Without this, Theorem 2.3 is not certified by the present manuscript.","section":"Section 2.2, Lemma 2.1"},{"comment":"The Strichartz estimates are conditional on the assumption that L_V has no eigenvalues on the imaginary axis, and this assumption is not verified for general V. This is not a flaw in the internal logic, but the abstract and introduction should perhaps state more explicitly that the main theorem is a conditional statement, with the only unconditional instance being the free case V=0 (Remark 3.9, itself stated without proof) and the application relying on the deferred computation in Lemma 2.1. I do not see a way to avoid the spectral condition within the present proof, because Lemma 5.11 needs |u1(0,λ)|≳1 on the imaginary axis strip, but the manuscript should make the conditional nature of the main result unmistakable for readers.","section":"Theorem 1.3(4) and Theorem 4.15"}],"minor_comments":[{"comment":"The proof establishes the endpoint cases p=∞ (via Lemma 3.3 and Lemma 3.4) and p=2 (via explicit estimates), and then states the full range p∈[2,∞]. The interpolation argument is not written out; it would be helpful to say explicitly that the Riesz-Thorin interpolation theorem applies to the family of operators involved.","section":"Section 3.2, Proposition 3.5"},{"comment":"Even if the deferred proof is acceptable, the one-line proof currently provides no indication of how the hypergeometric computation is set up, which endpoint conditions are imposed, or how the oddness condition is used. A short sketch with the relevant hypergeometric equation would greatly improve trust in the lemma.","section":"Section 2.2, Lemma 2.1"},{"comment":"The remark states σp(L0)={z∈C:Rez<0} and says the proof is omitted because the result is not needed. This is fine, but since it is a spectral statement about the same operator family, a one-sentence justification or a pointer to a standard reference would avoid the impression of an unproved auxiliary claim.","section":"Remark 3.9"},{"comment":"In the estimate of the Duhamel term, the notation ∥1[0,s](s')S(s-s')u(s',·)^3∥_{L^3_s(0,∞)L^6(-1,1)} is slightly abusive because the integrand depends on s' as well; the subsequent translation to S(s)u(s',·)^3 is correct, but a comment clarifying the change of variables would improve readability.","section":"Section 2.3, Lemma 2.5"},{"comment":"There are several typographical artifacts in the rendering of the paper, such as 'artanhy' and the use of OCR-like symbols like '/greaterorsimilar' and '/bracehtipupleft'. These should be cleaned up in the final version.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"My main reservation is the deferred spectral computation in Lemma 2.1. The central Strichartz theorem appears sound and is proved in detail, but the advertised application depends on a lemma whose proof is not in the manuscript. I would encourage the editor to require the authors to supply the proof or a precise quotation from [1] with full verification of the parameter matching. If they can do that, I would be happy to recommend acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe thing to know: this paper gets real Strichartz estimates for the one-dimensional wave equation by changing coordinates (hyperboloidal foliation) and working only with odd data. The obstruction is genuine—the traveling wave in standard coordinates kills L^p_t bounds—and recovering them in a modified setting is a new and worthwhile result. The main theorem is proved inside the manuscript: explicit free solution, semigroup well-posedness, spectral decomposition, Green function with symbol-type kernel bounds, and the Strichartz bound for the radiation part under the spectral assumption. The estimates are derived, not fitted; I do not see circularity.\n\nWhat it does well: the Green function analysis is the technical core and it is substantial. The reduction to the free evolution plus a difference operator T_eps is clean. The application to Yang-Mills on a wormhole spacetime gives the result its physics motivation and follows from the Strichartz estimates by a standard fixed point argument. The authors are explicit that the general (non-odd) case needs a different proof, and the constant solution u=1 explains why.\n\nSoft spots, in order of size. First, Lemma 2.1—the spectral computation for V=-1, which is what converts the conditional Theorem 1.3 into the linear input for the Yang-Mills application—is deferred to an earlier paper. That is load-bearing. If the spectral problem in [1] has a different normalization, or if the computation has an error, the wormhole stability theorem does not follow. I would want that computation reproduced or verified. Second, several technical bounds (derivative bounds in Proposition 5.2, expansions in Lemma 6.4) are justified at outline level; they look plausible and the structure is coherent, but a referee should check them line by line. Third, the spectral assumption is a genuine condition and not verified for general potentials. That is fine as a conditional theorem, but it means the unconditional statement is narrower than the title might suggest.\n\nBottom line: this is a serious paper by people who know the area. The conditional Strichartz theorem deserves to be in the literature. The application should either include the missing spectral proof or be stated conditionally. I would send it to a competent referee; if the deferred computation checks out, accept.","headline":"Genuine Strichartz estimates for 1D waves in hyperboloidal coordinates, conditional on a spectral assumption; the wormhole application depends on a deferred computation that should be supplied.","tokens_in":31420,"tokens_out":1938,"would_cite":true,"duration_ms":19686,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L05","35B40","35P05","81T13"],"pacs":[],"model":"deepseek-v4-flash","headline":"Moving the one-dimensional wave equation to hyperboloidal coordinates, this paper proves that the radiating part of every odd finite-energy solution satisfies Strichartz estimates whenever the generator has no imaginary-axis eigenvalues.","keywords":["hyperboloidal initial value problem","Strichartz estimates","one-dimensional wave equation","spectral decomposition","Yang-Mills fields on wormholes","semigroup theory","radiation part","fundamental solution"],"falsifier":"Compute, for a smooth even $V$, the curve $u_1(0,i\\omega)$ defined by the fundamental solution in Proposition 5.2. Any real $\\omega$ with $u_1(0,i\\omega)=0$ makes $i\\omega$ an eigenvalue of $L_V$ by Lemma 5.10; then the lower bound $|u_1(0,\\lambda)| \\gtrsim 1$ in Lemma 5.11 fails, the uniform kernel estimates of Section 6 break down, and the claimed $L^p_t L^q_x$ bounds for the radiation part cannot hold. A concrete test is the explicit case $V=-1$, where verifying the hypergeometric spectral condition stated in Lemma 2.1 would confirm or refute the wormhole application.","tokens_in":30228,"feed_emoji":"🌊","tokens_out":7390,"duration_ms":78974,"temperature":0.7,"pith_summary":"The paper's target is to show that one-dimensional waves, which normally do not disperse at all, regain spacetime decay estimates when the Cauchy problem is reformulated on hyperboloidal slices. It proves that the evolution of any odd finite-energy solution splits into a finite-dimensional spectral part and a radiating remainder, and the radiating part obeys Strichartz inequalities in every $L^p_t$ time scale, provided the linear generator has no imaginary-axis eigenvalues. That matters because such estimates are the standard tool for proving asymptotic stability of nonlinear model problems; here it yields the stability of a Yang-Mills connection on a wormhole spacetime.","feed_headline":"1D waves regain Strichartz decay on hyperboloidal slices","feed_subtitle":"Splitting off a finite spectral part leaves radiation that satisfies L^p_t L^q_x bounds, stabilizing a wormhole Yang-Mills field.","key_machinery":"The central object is the Green function $G_V(y,x,\\lambda)$ for the second-order ODE obtained from the spectral problem of the generator $L_V$; it encodes the resolvent of the semigroup generator. Its key identity is the Wronskian relation $W(u_0(\\cdot,\\lambda),u_1(\\cdot,\\lambda))(y) = 2\\lambda u_1(0,\\lambda)(1-y^2)^{-1-\\lambda}$, and the spectral assumption $\\Sigma_V \\cap i\\mathbb{R} = \\varnothing$ supplies the lower bound $|u_1(0,\\lambda)| \\gtrsim 1$ near the imaginary axis. The paper expands the difference between the perturbed and free resolvent kernels into four symbol-type pieces whose oscillatory integrals yield the kernel bound $|K_\\epsilon(s,y,x)| \\lesssim e^{\\epsilon s}\\langle\\log(1-y)\\rangle^3\\langle s+\\log(1-x)\\rangle^{-2}$. This kernel bound, together with the finite-rank spectral projection $P_V$ removing the unstable modes, converts free Strichartz estimates into estimates for the perturbed radiation part.","core_discovery":"For a smooth even potential $V$, the hyperboloidal initial value problem for the one-dimensional wave equation admits a decomposition $u_{f,g} = \\sum e^{\\lambda s} \\sum s^k \\varphi_{\\lambda,k} + \\tilde{u}_{f,g}$ into finitely many exponential modes and a radiation part. The central result is that, under the spectral condition $\\Sigma_V \\cap i\\mathbb{R} = \\varnothing$, the radiation part satisfies $\\|\\tilde{u}_{f,g}\\|_{L^p(0,\\infty)L^q(-1,1)} \\leq C_{p,q}\\|(f,g)\\|_H$ for all $p \\in [2,\\infty]$ and $q \\in [1,\\infty)$. This restores Strichartz-type decay for a problem that, in ordinary coordinates, has no dispersion at all.","pith_inferences":["The parity restriction is likely technical rather than essential: the obstruction is the constant solution $u=1$, and a modified argument that projects out constants might deliver estimates for general data.","The no-imaginary-eigenvalue condition behaves like a resonance-free condition; testing it for random smooth even potentials by computing the zeros of $u_1(0,i\\omega)$ could reveal whether it is generically satisfied.","The logarithmic kernel factor $\\langle\\log(1-y)\\rangle^3$ near the boundary suggests possible endpoint refinements; checking whether this factor is optimal could clarify the sharp integrability of the radiation field.","The same Green-function and kernel machinery could extend to other semilinear one-dimensional models, turning the obtained estimates into a general tool for nonlinear asymptotic stability on hyperboloidal foliations."],"forward_implications":["For any smooth even potential satisfying the spectral condition, the radiation part of the evolution satisfies Strichartz estimates for every $p \\in [2,\\infty]$ and $q \\in [1,\\infty)$, not just the classical admissible pairs.","The Yang-Mills connection $\\cos\\theta \\, \\tau_3 \\, d\\phi$ on the wormhole spacetime is asymptotically stable under odd small-energy perturbations, with the perturbed solution lying in $L^p((0,\\infty), L^6_{\\mathrm{odd}}(-1,1))$ for every $p \\in [3,\\infty]$.","The hyperboloidal split turns the non-dispersive one-dimensional wave equation into a problem with enough decay to run fixed-point arguments for cubic nonlinearities.","With the spectral assumption, the radiation energy remains bounded uniformly in time, so no secular growth remains after the finite spectral part is removed."],"supporting_citations":[{"why":"Supplies the hyperboloidal coordinate change, the Yang-Mills wormhole setup, and the spectral analysis of the case $V=-1$ used in the application.","marker":"[1]"},{"why":"Provides the technique of Strichartz estimates in hyperboloidal coordinates via Green functions and symbol-type bounds that the present proof adapts.","marker":"[2]"},{"why":"Extends the same Green-function and semigroup method to critical wave blowup, serving as a technical model for the kernel estimates.","marker":"[3]"},{"why":"Supplies the semigroup generation theorem, the growth-bound criteria, and the inverse Laplace representation used to pass from resolvent bounds to semigroup decay.","marker":"[5]"},{"why":"Provides the Volterra existence theorem used to construct the fundamental system for the Green function.","marker":"[10]"},{"why":"Supplies the analytic Fredholm theorem used to show that the unstable spectrum is finite and to define the spectral projection $P_V$.","marker":"[11]"}],"fun_headline_variants":["1D wave radiation obeys Strichartz bounds after spectral split","Hyperboloidal 1D wave: Strichartz decay for radiation part","Spectral split revives Strichartz estimates in 1D wave","Finite modes aside, 1D wave radiation gets Strichartz decay","Strichartz restored for 1D wave with potential"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The estimates are conditional on the generator having no eigenvalues on the imaginary axis, and they are proved only for odd initial data; if an imaginary eigenvalue appears, or if even data are allowed, the $L^p_t$ bounds in general fail.","fun_headline_variants_meta":{"raw":{"variants":["1D wave radiation obeys Strichartz bounds after spectral split","Hyperboloidal 1D wave: Strichartz decay for radiation part","Spectral split revives Strichartz estimates in 1D wave","Finite modes aside, 1D wave radiation gets Strichartz decay","Strichartz restored for 1D wave with potential"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00044,"raw_usage":{"total_tokens":2148,"prompt_tokens":775,"completion_tokens":1373,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":391,"completion_tokens_details":{"reasoning_tokens":1279}},"tokens_in":391,"tokens_out":1373,"duration_ms":10184,"temperature":1.0,"reasoning_tokens":1279,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:54:06.016938+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a smooth even $V$, the curve $u_1(0,i\\omega)$ defined by the fundamental solution in Proposition 5.2. Any real $\\omega$ with $u_1(0,i\\omega)=0$ makes $i\\omega$ an eigenvalue of $L_V$ by Lemma 5.10; then the lower bound $|u_1(0,\\lambda)| \\gtrsim 1$ in Lemma 5.11 fails, the uniform kernel estimates of Section 6 break down, and the claimed $L^p_t L^q_x$ bounds for the radiation part cannot hold. A concrete test is the explicit case $V=-1$, where verifying the hypergeometric spectral condition stated in Lemma 2.1 would confirm or refute the wormhole application.","supporting_citations":[{"cited_title":"Global dynamics of a Yang-Mills field on an asymptotically hyperbolic space","cited_arxiv_id":null,"evidence_quote":"Supplies the hyperboloidal coordinate change, the Yang-Mills wormhole setup, and the spectral analysis of the case $V=-1$ used in the application."},{"cited_title":"Strichartz estimates in similarity coordinates a nd stable blowup for the critical wave equation","cited_arxiv_id":null,"evidence_quote":"Provides the technique of Strichartz estimates in hyperboloidal coordinates via Green functions and symbol-type bounds that the present proof adapts."},{"cited_title":"Blowup stability at optimal regularity for the critical wave equation","cited_arxiv_id":"1811.08130","evidence_quote":"Extends the same Green-function and semigroup method to critical wave blowup, serving as a technical model for the kernel estimates."},{"cited_title":"One-parameter semigroups for linear evolution equations , volume 194 of Graduate Texts in Mathematics","cited_arxiv_id":null,"evidence_quote":"Supplies the semigroup generation theorem, the growth-bound criteria, and the inverse Laplace representation used to pass from resolvent bounds to semigroup decay."},{"cited_title":"Decay for the wave and Schr¨ odinger evolutions on manifolds with conical ends","cited_arxiv_id":null,"evidence_quote":"Provides the Volterra existence theorem used to construct the fundamental system for the Green function."},{"cited_title":"Operator theory","cited_arxiv_id":null,"evidence_quote":"Supplies the analytic Fredholm theorem used to show that the unstable spectrum is finite and to define the spectral projection $P_V$."}],"review_version":1}