{"id":"71f172ae-36c0-4eaf-9e73-618c1ceaa3e9","arxiv_id":"2506.09635","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors establish microlocalized pointwise decay and Strichartz estimates for electromagnetic wave equations on n-dimensional product cones, with the admissible p-range restricted by the smallest eigenvalue of the angular operator.","lead":"This paper proves decay and Strichartz estimates for wave equations with large, scaling-critical electromagnetic potentials on conical spaces. It extends previous results from small, quickly decaying potentials to the critical Coulomb-decay case in all dimensions n≥3 for a class of cross-sections.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 4.3 proves only (1+|t|)^{-1/2} where (1.23) requires (1+|t|)^{-(n-1)/2}; the missing factor propagates via Proposition 5.2 into Theorem 1.2, so the central positive claim is unsupported.","rationale":"I read the paper as trying to establish pointwise decay for the microlocalized half-wave propagator on product cones and then convert it via Keel-Tao type arguments into Strichartz estimates. The reader's verdict is REJECT with moderate confidence, and the stated rationale identifies a load-bearing gap in Section 4.3: the proof of (1.23) appears to produce only (1+|t|)^{-1/2} rather than (1+|t|)^{-(n-1)/2}. My independent reading confirms that this gap is real and internal. The authors state the target (4.28) with exponent (n-1)/2, but the estimates they actually display, such as (4.35), (4.39), and the dyadic bounds (4.36), (4.40), terminate at (1+|t|)^{-1/2}. The z-cancellation is exact, and no lower bound on r2 is used to recover the missing factor. Since Proposition 5.2 and the subsequent proof of Theorem 1.2 depend on the full (n-1)/2 decay, the main positive result is not substantiated as written. I also checked whether Section 6 removes the problem: it estimates the endpoint/diffraction term I_GD with the correct rate, but the geometric propagation term I_G is explicitly estimated by the same argument as I_P in Section 4.3, so the same weakness persists. The negative direction, Proposition 5.5, appears convincing, and I found no circularity or fitted parameters. The non-focusing condition is a hypothesis, not an internal gap; Proposition 1.1 supplies natural examples, and the sharp boundary being open is not itself a flaw. My agreement with the reader is partial because the formal weakest_assumption field names NFC, whereas the decisive concern is the Section 4.3 exponent gap that the reader's rationale also identifies.","tokens_in":67129,"tokens_out":11496,"duration_ms":117230,"concrete_test":"Rerun the Case 1, β_J estimate of Section 4.3 with explicit r1 = |t|, r2 = M fixed large, z = r1r2/|t| = M, and dh ≤ C1 z^{-1/2}. Track r1, r2 instead of collapsing to z and verify whether the bound in (4.30)-(4.35) is C_M(1+|t|)^{-1/2} or C_M(1+|t|)^{-(n-1)/2}. Then check whether any unused factor such as the b±(ρ dh) decay in (2.20) or an integration by parts in ρ can supply the missing (1+|t|)^{-(n-3)/2}. If no such mechanism is found, the proof of (1.23) and hence of Theorem 1.2 is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The core issue is in Section 4.3, which claims to prove (4.28), i.e. the decay of the propagating contribution I_P is O((1+|t|)^{-(n-1)/2}). The displayed stationary-phase estimates in the critical region end at O((1+|t|)^{-1/2}): (4.35) for the β_J term, (4.36) for its dyadic summands, and the analogous Case 2 bounds (4.39)-(4.40). The z-powers cancel exactly: z^{-(n-2)/2} z^{-1/2} z^{(n-1)/2} = 1, so the prefactor (r1r2)^{-(n-2)/2} is not converted into |t|^{-(n-2)/2}. Concretely, take r1 = |t| and r2 = M fixed but large; the displayed estimates give only C_M(1+|t|)^{-1/2}, not C_M(1+|t|)^{-(n-1)/2}. This is not cosmetic: Proposition 5.2 uses the full (n-1)/2 exponent in (5.5)-(5.6), and that is what produces the admissible set Λ_{s,α}(ν0) in Theorem 1.2. Section 6's non-NREC treatment of I_GD does achieve the correct rate, but the I_G term is referred back to the Section 4.3 argument, so the gap is not repaired. The theorem may be repairable, but as written the central estimate is not established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the wave equation ∂_t^2 u + L_{A,a}u = 0 on n-dimensional product cones X=C(Y) with metric g=dr^2+r^2h, where the electromagnetic potentials have scaling-critical decay A=A(\\hat x)/r and V=a(\\hat x)/r^2. Under the non-focusing condition (NFC) on the geodesic flow of the cross-section Y and strict positivity of P_{A,a}=L_{A,a}+(n-2)^2/4, the authors prove frequency-localized pointwise decay estimates for the half-wave propagator (Theorem 1.1) and then use them through abstract Keel-Tao type estimates to prove global Strichartz estimates (Theorem 1.2) for the admissible set Λ_{s,α}(ν0), where α=ν0-(n-2)/2 and p<p(α). They also show by an explicit Hankel-transform counterexample that the restriction p<p(α) is necessary. The proof constructs the spectral measure of L_{A,a}, combines it with a Hadamard parametrix for cos(s√P) and Poisson-wave operators, and splits the kernel into propagating, residual, and diffractive contributions; Section 6 removes the auxiliary non-resonant endpoint condition (NREC).","tokens_in":67427,"tokens_out":35702,"duration_ms":355172,"significance":"If correct, this is the first higher-dimensional Strichartz estimate for wave equations with large scaling-critical electromagnetic potentials, closing the Euclidean gap left by Cuccagna-Schirmer and D'Ancona-Fanelli, and extending the authors' earlier Schrödinger results to wave equations on product cones. The paper is structured as a first-principles proof: the admissible-range restriction is derived from the bottom of the spectrum and is verified necessary by an explicit counterexample, with no fitted parameters. I checked the specific concern raised about Section 4.3: the displayed bounds (4.35)-(4.40) are indeed (1+|t|)^{-1/2} for the inner integral, but because z=r1r2/|t| and the original prefactor is (r1r2)^{-(n-2)/2}=z^{-(n-2)/2}|t|^{-(n-2)/2}, those bounds do imply the claimed (1+|t|)^{-(n-1)/2}. The stress-test concern about Section 4.3 therefore does not land. The main remaining risk is the deferred proof of the endpoint-cancellation identity in Section 6, which is load-bearing for the removal of NREC.","major_comments":[{"comment":"The identity (6.6) is load-bearing for the removal of the NREC assumption, yet no proof is supplied; the text says only 'See [49, Lemma 4.4] for details of the computation.' This is not a routine integration-by-parts identity: after 2m integrations by parts, boundary terms at s=π from the first integral and at s=0 from the second must cancel through the relation between |m_{π-u}| and |n_u|, and the argument must handle derivatives of W(t,·) as well as the amplitude matching in (2.31). Since [49] is an unpublished preprint treating a different (Schrödinger) problem, please include a self-contained proof of (6.6), or a precise statement of the contour-deformation and symbol-matching argument, before the non-NREC results can be considered established.","section":"Section 6, Lemma 6.1 and Proposition 6.1"}],"minor_comments":[{"comment":"To make the final exponent transparent, state explicitly that (r1r2)^{-(n-2)/2} = z^{-(n-2)/2}|t|^{-(n-2)/2}, so the displayed (1+|t|)^{-1/2} bounds for the inner integral yield (1+|t|)^{-(n-1)/2} for the full kernel.","section":"Section 4.3, after (4.40)"},{"comment":"In the dyadic estimates for d_h(\\hat x,\\hat y)≥C1z^{-1/2}, the text twice refers to 'the integral in (6.29)'; this should refer to the corresponding display in Section 4.3 (e.g., (4.40)), not to the later equation number.","section":"Section 4.3, Case 2"},{"comment":"The quantifier 'for 2≤q<q(σ)' does not match the estimate (5.18), which is an L^p norm in r1; it should presumably read 'for 2≤p<p(σ)'.","section":"Proposition 5.3"},{"comment":"The phrase 'positive square roof' should read 'positive square root'.","section":"Theorem 1.1"},{"comment":"The word 'Strihcartz' is a typo for 'Strichartz'.","section":"Abstract and keywords"},{"comment":"In the displayed estimate for ∥P∥, the Lebesgue exponents for the time and radial variables appear to be interchanged; the expression should likely be L^q_t([0,1/4];L^p_{rn-1dr}[ϵ,1]).","section":"Section 5.4"}],"recommendation":"major_revision","confidential_remarks":"The reported stress-test concern about Section 4.3 is not supported: the factorization z=r1r2/|t| supplies exactly the missing |t|^{-(n-2)/2}, so the alleged gap is not present. The main uncertainty is Section 6's Lemma 6.1, whose proof is deferred to an unpublished preprint and is essential for the full non-NREC theorem. If the authors supply a self-contained proof of that identity, I would view the paper as a significant contribution suitable for publication in a leading analysis journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper attacks a real open problem: Strichartz estimates for wave equations with scaling-critical magnetic potentials on cones, and it is the first higher-dimensional framework for this. The overall architecture is coherent, and the necessity counterexample is convincing. The new non-focusing condition is a natural and likely useful notion. No circularity or fitted parameters; the restriction p < p(α) is derived, not assumed. Credit where due: the spectral measure construction and the NREC removal in Section 6 are serious work. This is not a flimsy paper.\\n\\nBut the proof of the key localized decay estimate (1.23) has a load-bearing gap. In Section 4.3, the critical case |t| ~ |m_s|, the stationary phase estimates end at O((1+|t|)^{-1/2}). Equations (4.35), (4.36), and (4.39)-(4.40) all display that rate. I checked the powers of z: they cancel exactly, leaving no |t|^{-(n-2)/2} factor. Concretely, take r1 = |t| and r2 = M fixed but large; the displayed bounds give C_M(1+|t|)^{-1/2}, not the claimed C_M(1+|t|)^{-(n-1)/2}. This is not cosmetic: Proposition 5.2 uses the full exponent (n-1)/2 to obtain the admissible set in Theorem 1.2. Section 6's treatment of the I_GD term does achieve the correct rate, but the I_G term is referred back to the Section 4.3 argument, so the gap is not repaired. As written, the central positive claim is unsupported.\\n\\nThe paper is still worth engaging with. The gap looks repairable—maybe the dyadic sum over j, or a different split of the region, can produce the missing power—and the architecture is sound enough that a serious referee should not desk-reject it. I would send it to review with a clear request to fix the decay proof in Section 4.3, or to explicitly state a weaker result if that exponent is not available. For my own work, I would not cite the main Strichartz theorem until the proof is repaired, but I would read an updated version.\\n\\nBottom line: this is a significant claim with a real hole in the written proof. Future versions could well be correct and important; this one needs major revision before it can be believed.","headline":"Strong result, but the central decay estimate in Section 4.3 only gives (1+|t|)^{-1/2} where (1+|t|)^{-(n-1)/2} is claimed; the Strichartz theorems rest on that missing power.","tokens_in":68019,"tokens_out":3310,"would_cite":false,"duration_ms":35192,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42B37","35Q40","35Q41"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves decay and Strichartz estimates for the wave equation with large, scaling-critical electromagnetic potentials on conical manifolds, closing the gap left by earlier results when the cross-section is a sphere.","keywords":["wave equation","conic manifolds","scaling-critical electromagnetic potentials","Strichartz estimates","decay estimates","spectral measure","non-focusing condition","Coulomb-type potentials"],"falsifier":"Compute, for $Y=\\mathbb{S}^{n-1}$ with $0<\\nu_0<(n-2)/2$, the solution from initial data $f=\\psi_0(\\hat x)[H_{\\nu_0}\\chi](r)$ with $\\chi\\in C_c^\\infty([1,2])$ and test whether $\\|e^{it\\sqrt{L_{A,a}}}f\\|_{L^q(\\mathbb{R};L^p(X))}$ is finite at $p=p(\\alpha)=n/|\\alpha|$; the paper's Proposition 5.5 predicts divergence, so any finite value would disprove the necessity of $p<p(\\alpha)$. Alternatively, on a flat torus cross-section containing a closed geodesic of length $\\pi$, check whether the boundary cancellation between the $s=\\pi$ and $s=0$ terms in Lemma 6.1 yields the claimed $(1+|t|)^{-(n-1)/2}$ decay; failure there would mean the removal of the technical NREC assumption in Section 6 is not justified.","tokens_in":66871,"feed_emoji":"🌊","tokens_out":7455,"duration_ms":72676,"temperature":0.7,"pith_summary":"This paper establishes that the decay and Strichartz estimates for the wave equation survive when a magnetic potential with Coulomb-type decay (decaying like $1/r$) and an inverse-square electric potential are present on a conical manifold $X=C(Y)$ of dimension $n\\ge 3$, provided the cone's cross-section $Y$ has a non-focusing geodesic flow up to time $\\pi$. For the model case $Y=\\mathbb{S}^{n-1}$, this covers potentials that are large and only scaling critical, whereas previous results required small or faster-decaying potentials. The admissible integrability pairs are exactly those of the free wave equation, with a restriction $p<p(\\alpha)$ when the smallest angular eigenvalue of the perturbed Laplacian is small; the paper shows by an explicit example that this restriction is necessary. The proof constructs a localized spectral measure for the half-wave propagator and uses it to separate the contributions of conjugate point pairs on $Y$.","feed_headline":"Wave Strichartz estimates proven for Coulomb-type potentials on cones","feed_subtitle":"Decay and L^q L^p bounds hold on cones with non-focusing cross-sections, up to an explicit red line.","key_machinery":"The engine is a localized spectral measure for $\\sqrt{L_{A,a}}$. Theorem 3.1 writes the kernel as an oscillatory integral built from $\\cos(s\\sqrt P)$ and $\\sin(\\pi\\sqrt P)e^{-s\\sqrt P}$, where $P=P_{A,a}$ is the angular operator lifted to the cross-section; the Bessel-function expansion (3.37) supplies the leading terms. Hadamard parametrices from Lemma 2.2 and Lemma 2.3 express the wave and Poisson propagators on $Y$, and the non-focusing condition makes the sheets of the propagating Lagrangian project diffeomorphically onto $Y\\times Y$, so conjugate point pairs can be separated by a partition of unity. A dyadic stationary-phase analysis of the resulting kernels yields the pointwise decay, which feeds into an abstract Keel-Tao Strichartz argument.","core_discovery":"The central claim, Theorem 1.2, is that if $P_{A,a}=L_{A,a}+(n-2)^2/4$ is strictly positive with lowest eigenvalue root $\\nu_0$, then for every admissible pair $(q,p)\\in\\Lambda_{s,\\alpha}(\\nu_0)$ the solution of $\\partial_t^2 u + L_{A,a}u=0$ satisfies $\\|u\\|_{L^q(\\mathbb{R};L^p(X))} \\le C(\\|u_0\\|_{\\dot H^s_{A,a}(X)}+\\|u_1\\|_{\\dot H^{s-1}_{A,a}(X)})$, with the boundary $p(\\alpha)=\\infty$ if $\\alpha\\ge 0$ and $p(\\alpha)=n/|\\alpha|$ if $\\alpha=\\nu_0-(n-2)/2<0$. The companion estimate, Theorem 1.1, gives a pointwise $(1+2^k|t|)^{-(n-1)/2}$ decay bound for the frequency-localized half-wave kernel away from the cone tip. The paper also proves the inhomogeneous Strichartz estimates and shows that the condition $p<p(\\alpha)$ is necessary by exhibiting data whose $L^qL^p$ norm diverges at the boundary.","pith_inferences":["Extension the paper leaves implicit: if the non-focusing condition is the sharp criterion, then a cone over a cross-section with a conjugate pair within time $\\pi$ should fail the uniform decay estimate (1.23), which gives a concrete geometric test of the boundary.","The red line $p<p(\\alpha)$ should affect nonlinear applications: the threshold for global well-posedness of critical nonlinear wave equations on such cones will likely need to stay below this boundary, since the linear estimate controls the Duhamel term.","The spectral measure identity (3.5) is independent of the Strichartz framework and could be reused to derive resolvent bounds or to treat Klein-Gordon equations with the same potentials, by replacing the half-wave phase $e^{it\\lambda}$ with the appropriate dispersion relation."],"forward_implications":["For $Y=\\mathbb{S}^{n-1}$, the decay and Strichartz picture now covers large, scaling-critical electromagnetic potentials, extending the earlier results of [21] and [24] which required small or super-critical decay.","When $\\alpha\\ge 0$ (for instance when the electric potential is non-negative), the admissible set is the full wave-admissible set $\\Lambda_s$; when $\\alpha<0$ the range shrinks to $p<p(\\alpha)$.","The inhomogeneous Strichartz estimates (1.35) hold for dual pairs in $\\Lambda_{s,\\alpha}(\\nu_0)\\times\\Lambda_{1-s,\\alpha}(\\nu_0)$, including the endpoint case.","The restriction $p<p(\\alpha)$ is not an artifact of the proof: the counterexample in Proposition 5.5 shows the estimate fails for $p\\ge p(\\alpha)$ when $0<\\nu_0<(n-2)/2$."],"supporting_citations":[{"why":"gives the prior wave Strichartz result with sufficiently decaying and small magnetic potentials that this paper extends on Y=S^{n-1}.","marker":"[21]"},{"why":"established t^{-1} decay for the wave equation with a small magnetic potential, the baseline that the critical, large-potential case must beat.","marker":"[24]"},{"why":"supplies the Hadamard parametrix and Littlewood-Paley machinery adapted to conical spaces that the wave proof reuses.","marker":"[49]"},{"why":"introduced the spectral measure method for high-dimensional Schrödinger equations with critical electromagnetic potentials, the direct methodological predecessor.","marker":"[50]"},{"why":"provides the abstract Keel-Tao Strichartz criterion used in Section 5 to convert the pointwise decay into L^q L^p bounds.","marker":"[52]"},{"why":"gives the spectral analysis of the angular electromagnetic operator on the sphere, used for eigenfunction and Sobolev-norm estimates.","marker":"[37]"},{"why":"provides the Cheeger-Taylor diffraction analysis on conical singularities that underlies the representation of wave propagation near the cone tip.","marker":"[22, 23]"},{"why":"proved Strichartz estimates for inverse-square electric potentials, the scaling-critical electric baseline that the present magnetic case extends.","marker":"[11]"}],"fun_headline_variants":["Wave decay and Strichartz proven for large critical EM on cones","Cone wave equations: decay + Strichartz for critical Coulomb potentials","Sharp Strichartz estimates for wave with critical EM on conic spaces","Half-wave decay bounds yield Strichartz on cones with critical EM"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the cross-section $Y$ is non-focusing up to time $\\pi$: every pair of nearby points is joined by finitely many geodesics whose families project smoothly onto $Y\\times Y$; if this fails, the parametrix and the resulting estimates are not justified.","fun_headline_variants_meta":{"raw":{"variants":["Wave decay and Strichartz proven for large critical EM on cones","Cone wave equations: decay + Strichartz for critical Coulomb potentials","Sharp Strichartz estimates for wave with critical EM on conic spaces","Half-wave decay bounds yield Strichartz on cones with critical EM"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000219,"raw_usage":{"total_tokens":1468,"prompt_tokens":996,"completion_tokens":472,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":612,"completion_tokens_details":{"reasoning_tokens":395}},"tokens_in":612,"tokens_out":472,"duration_ms":5298,"temperature":1.0,"reasoning_tokens":395,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:46:01.420544+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for $Y=\\mathbb{S}^{n-1}$ with $0<\\nu_0<(n-2)/2$, the solution from initial data $f=\\psi_0(\\hat x)[H_{\\nu_0}\\chi](r)$ with $\\chi\\in C_c^\\infty([1,2])$ and test whether $\\|e^{it\\sqrt{L_{A,a}}}f\\|_{L^q(\\mathbb{R};L^p(X))}$ is finite at $p=p(\\alpha)=n/|\\alpha|$; the paper's Proposition 5.5 predicts divergence, so any finite value would disprove the necessity of $p<p(\\alpha)$. Alternatively, on a flat torus cross-section containing a closed geodesic of length $\\pi$, check whether the boundary cancellation between the $s=\\pi$ and $s=0$ terms in Lemma 6.1 yields the claimed $(1+|t|)^{-(n-1)/2}$ decay; failure there would mean the removal of the technical NREC assumption in Section 6 is not justified.","supporting_citations":[{"cited_title":"Cuccagna, and Schirmer, On the wave equation with a magnetic potential, Comm","cited_arxiv_id":null,"evidence_quote":"gives the prior wave Strichartz result with sufficiently decaying and small magnetic potentials that this paper extends on Y=S^{n-1}."},{"cited_title":"D’Ancona, and L","cited_arxiv_id":null,"evidence_quote":"established t^{-1} decay for the wave equation with a small magnetic potential, the baseline that the critical, large-potential case must beat."},{"cited_title":"Keel and T","cited_arxiv_id":null,"evidence_quote":"provides the abstract Keel-Tao Strichartz criterion used in Section 5 to convert the pointwise decay into L^q L^p bounds."},{"cited_title":"Felli, A","cited_arxiv_id":null,"evidence_quote":"gives the spectral analysis of the angular electromagnetic operator on the sphere, used for eigenfunction and Sobolev-norm estimates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"proved Strichartz estimates for inverse-square electric potentials, the scaling-critical electric baseline that the present magnetic case extends."}],"review_version":1}