{"id":"8c54d7c1-7405-4a88-a99c-6ad844141c31","arxiv_id":"1908.02903","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a compactly supported measure potential of dimension above a sharp threshold, the Schrödinger semigroup obeys the full Strichartz inequalities after projecting away bound states.","lead":"This paper proves that the quantum Schrödinger equation still has its standard space-time decay estimates when the potential is a very singular object, like a surface measure on a hypersurface. Why read it: it extends a known three-dimensional result to all higher dimensions using recent sharp Fourier analysis, and covers physically relevant surface potentials.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.1's high-energy decay rests on an unproved sphere version of Du-Zhang's restriction estimate; an extra R^epsilon in (20) would break the negative exponent in (22).","rationale":"I read the paper as a conditional Strichartz theorem for a measure-valued potential, with the main novelty in the high-energy resolvent decay. The low-energy section, the self-adjointness discussion, and the Rodnianski-Schlag assembly are standard and appear sound. The single soft spot is the high-energy estimate, exactly where the reader located it. The proof of Theorem 4.1 depends on an unproved transfer of Du-Zhang's paraboloid restriction estimate to the sphere, and the derivative bound (21) is only sketched; both are load-bearing because they determine the sign of the exponent in (22). I do not see circularity, overfitting, or missing baselines. The concern is not that the theorem is false, but that the proof as written lacks a key lemma. Therefore I agree with the CONDITIONAL verdict and would keep it unless the proposed check resolves the transfer.","tokens_in":62,"tokens_out":17552,"duration_ms":891867,"concrete_test":"Independently derive the sphere dual restriction estimate (20) by covering S^{n-1} with caps of radius R^{-1/2}, mapping each cap onto the unit paraboloid, applying Du-Zhang's Theorem 2.3, and summing the resulting L^2(mu_R) bounds; track every power of R. If the summed bound has an extra factor R^c with c > 0, substitute c into (22) to check whether the exponent remains negative on the claimed alpha range. Separately verify (21) by applying (20) to the signed measures x_j mu and recomputing the scaling factors for the radial derivative.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 4, Theorem 4.1 (specifically (20)-(22)) uses the assertion that Du-Zhang's sharp L^2 restriction estimate for the paraboloid transfers to the unit sphere with the identical power R^{alpha/(2n)}. This is stated as 'well known' without proof or citation, and the derivative bound (21) is justified only by a brief comment. The issue is not cosmetic: the standard equivalence of restriction estimates for different curved hypersurfaces is usually proved for Lebesgue norms, and it is not automatic for the fractal measures mu_R, since passing from a sphere cap to the paraboloid requires a nonlinear change of variables that does not preserve the L^2(mu_R) norm. Even a loss of R^epsilon in (20) changes the exponent in (22) to n-2 - alpha(n-1)/n + epsilon; at the theorem's threshold alpha = n - (1 + 1/(n-1)) this equals -1 + 1/n + epsilon, so any epsilon > 1 - 1/n destroys the decay on which the high-energy resolvent bound, and hence Theorem 1.1, depend. The sketched derivative bound (21) is similarly load-bearing for the principal-value part (23), although this part appears repairable by applying (20) to the measures x_j mu.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves local decay and Strichartz estimates for the Schrödinger evolution generated by H = -Δ + μ in R^n, n ≥ 3, where μ is a compactly supported signed measure of dimension α > n - (1 + 1/(n-1)). Under the spectral assumption that H has no eigenvalues at nonnegative energies and no resonance at zero, Theorem 1.1 establishes the local decay bounds (4)-(5) and the Strichartz inequalities (6) for all admissible pairs with p > 2, with the endpoint (2, 2n/(n-2)) possibly excluded. The proof follows the Rodnianski-Schlag framework: self-adjointness and compactness of the inclusion of ẒH^1 into L^2(μ) are obtained via the KLMN theorem and a translation estimate (Section 2); low-energy resolvent bounds are proved by Fredholm theory and a bootstrapping argument (Section 3); high-energy decay of the free resolvent on L^2(μ) is derived from a fractal Fourier restriction estimate attributed to Du and Zhang, with a paraboloid-to-sphere transfer asserted as well known (Section 4).","tokens_in":12511,"tokens_out":14996,"duration_ms":169510,"significance":"If the high-energy restriction step is fully justified, this is a substantial contribution: it extends Strichartz estimates to singular measure-valued potentials in all dimensions n ≥ 3, including hypersurface-supported potentials in higher dimensions where L^1 → L^∞ dispersive estimates are known to fail. The self-adjointness argument via the KLMN theorem and the compact embedding of ẒH^1 into L^2(μ) are carefully presented, and the reduction of local decay to uniform resolvent bounds is standard and clearly explained. The main caveat is that the paper's central new input, the high-energy decay of the free resolvent, depends on an unproved transfer of the Du-Zhang estimate from the paraboloid to the sphere with the identical fractal-measure scaling; this is load-bearing and currently leaves Theorem 1.1 conditional. The manuscript otherwise appears coherent and the use of recent sharp restriction estimates is appropriate and innovative.","major_comments":[{"comment":"The assertion that the Du-Zhang L^2 restriction estimate for the paraboloid transfers to the unit sphere with the identical power R^{α/(2n)} is stated as 'well known' but is not automatic for the fractal measure μ_R. A nonlinear change of variables from a sphere cap to the paraboloid does not preserve L^2(μ_R), and the standard equivalence of restriction estimates for smooth surfaces is usually proved for Lebesgue norms. This is load-bearing: the exponent in (22) is n - 2 - α(n-1)/n, and the hypothesis α > n - (1 + 1/(n-1)) only makes this a small negative number when α is close to the threshold. A loss of even R^ε in (20) would make the exponent positive for α sufficiently close to the threshold and would destroy the high-energy decay on which Theorem 1.1 depends. Please provide a proof or a precise citation for the sphere version with identical scaling, or revise the argument accordingly.","section":"Section 4, Theorem 4.1, display (20)"},{"comment":"The bound on the outward normal gradient of \\widehat{μf} is justified only by a brief comment that compact support makes the L^2(μ) norm of (1+|x|)f comparable to that of f. As written this is not immediate, because differentiating \\widehat{μf} with respect to ξ produces the measure x_j μ, and one must verify that each x_j μ satisfies the α-dimensional bound with a constant uniform in j. The estimate is plausibly repairable by applying (20) to each x_j μ, but the details should be written out because (21) is used in the integration by parts controlling the principal-value part (23).","section":"Section 4, inequality (21)"}],"minor_comments":[{"comment":"Reference [5] lists the year as '2109'; this should be '2019'.","section":"References"},{"comment":"The phrase 'the T*T composition of the operator in (20)' should define the operator T explicitly before using T*T notation.","section":"Section 4, surface measure term"},{"comment":"The notation L^2(RS^{n-1}) should be defined as the L^2 space with respect to the induced surface measure on the sphere of radius R.","section":"Section 4, display (20)"},{"comment":"Lemma 3.1 assumes a 'real-valued measure' while Theorem 1.1 states 'signed measure'; if signed measures are understood to be real-valued by convention, this should be stated explicitly.","section":"Lemma 3.1"},{"comment":"The text says the results for R^n, n ≥ 4 are new, but Theorem 1.1 is stated for all n ≥ 3; the status of the n = 3 case relative to [10] and [15] should be clarified.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"The paper's central theorem is currently conditional on the unproved paraboloid-to-sphere transfer of the Du-Zhang estimate at the level of L^2(μ_R). I believe the authors can likely justify this transfer or cite a suitable result, in which case the manuscript would be a solid contribution. I recommend major revision rather than rejection: the issue is a missing proof or reference for a load-bearing estimate, not an evident fatal error. The citation patterns do not raise circularity concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two-line take: this paper proves Strichartz estimates for Schrödinger operators with α-dimensional measure-valued potentials in R^n, n≥3, under a spectral assumption. The n≥4 part is new, includes the hypersurface case α=n−1, and the high-energy argument via Du–Zhang's restriction estimate is a genuinely different tool that avoids the L^1→L^∞ dispersive estimates known to fail without smoothness. What's good: the self-adjointness and low-energy sections are careful. The compact embedding of H^1 into L^2(μ) for α>n−2 is proved cleanly; the KLMN form bound is handled properly. The low-energy resolvent invertibility uses a nice trick with mollification to rule out positive eigenvalues. The high-energy observation that μf is not a generic H^{−1} element, so the free resolvent actually decays on L^2(μ), is the heart of the paper and is rewarding. Now the soft spot. Section 4, Theorem 4.1, is load-bearing and under-proved. The bound (20) follows from Du–Zhang's paraboloid estimate by replacing the paraboloid with the sphere, stated as 'well known'. For Lebesgue measures on R^n that equivalence is standard, but here the target is the rescaled fractal measure μ_R, and a nonlinear change of variables on the frequency side does not obviously preserve the L^2(μ_R) norm of the extension. If the sphere estimate carried any R^ε loss, the exponent in (22) would become n−2 − α(n−1)/n + ε, which at the threshold α = n − (1 + 1/(n−1)) equals −1 + 1/n + ε; any ε > 1 − 1/n kills the decay. The derivative bound (21) is also only sketched. This is not obviously fatal: the transfer is plausible and likely repairable (Luca–Rogers may already contain it), and the rest of the proof would then go through. But as written it is a gap in the main estimate. Citation pattern is fine; self-citations are for the R^3 base case and a Helmholtz theorem. No circularity. Bottom line: this is a serious paper that deserves a serious referee. A referee should ask for a precise reference or proof of the sphere restriction estimate and a fuller derivation of (21). If those are supplied—or the theorem restated with a slightly smaller α range—the result stands. I'd send it to peer review without hesitation, and I'd cite it if I worked on singular potentials.","headline":"New Strichartz estimates for measure-valued potentials in n≥4, with a clean high-energy method that rests on one under-proved restriction-theoretic transfer.","tokens_in":789,"tokens_out":999,"would_cite":true,"duration_ms":86850,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q41","35P25","42B37"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that compactly supported measure potentials of dimension > n − (1 + 1/(n−1)) preserve Schrödinger Strichartz estimates, with the possible exception of the endpoint pair, provided the Hamiltonian has no zero resonance and…","keywords":["Strichartz estimates","measure-valued potentials","Schrödinger equation","local decay","resolvent estimates","Fourier restriction estimates","singular potentials","fractal measures"],"falsifier":"A concrete test is the spherical restriction bound used in Section 4: for $\\mu_R = R^\\alpha\\mu(\\cdot/R)$ and $g\\in L^2(S^{n-1})$, the estimate $\\|\\widehat{g}\\|_{L^2(\\mu_R)} \\lesssim R^{\\alpha/(2n)}\\|g\\|_2$ must hold with no extra power of $R$; finding any $g$ with growth $R^{\\alpha/(2n)+\\delta}$, $\\delta>0$, would make the exponent in (22) nonnegative and invalidate the proof. Independently, a compactly supported measure satisfying the spectral assumptions for which the local decay bound (5) fails would refute the theorem.","tokens_in":12036,"feed_emoji":"⚛️","tokens_out":13979,"duration_ms":133523,"temperature":0.7,"pith_summary":"The paper establishes that the full family of Strichartz inequalities for the Schrödinger equation survives when the free Hamiltonian $-\\Delta$ is perturbed by a compactly supported signed measure $\\mu$, provided the measure has dimension $\\alpha > n-(1+\\frac{1}{n-1})$ and the perturbed operator has no eigenvalues at $\\lambda\\ge 0$ and no resonance at zero. This covers potentials that are not functions at all, including the surface measure of a compact hypersurface in $\\mathbb{R}^n$, a regime where $L^1\\to L^\\infty$ dispersive estimates can fail even though Strichartz estimates still hold. The intermediate step is a local decay estimate in $L^2(\\mu)$: both the free evolution and the perturbed evolution, projected onto the continuous spectrum, have square-integrable-in-time $L^2(\\mu)$ norm. If the theorem is correct, the standard Strichartz toolbox applies to these rough potentials with only the endpoint pair $(2, 2n/(n-2))$ possibly excluded.","feed_headline":"Measure-valued potentials keep Schrödinger Strichartz bounds","feed_subtitle":"Potentials of dimension α > n − (1 + 1/(n−1)) preserve all admissible Strichartz pairs with p > 2.","key_machinery":"The load-bearing object is the family of free limiting resolvents $R_0^\\pm(\\lambda^2)\\mu$ acting on $L^2(\\mu)$. Uniform bounds on the difference $R_0^+(\\lambda^2)\\mu - R_0^-(\\lambda^2)\\mu$, and on the analogous difference for the perturbed resolvent, are equivalent to the local decay estimates by a standard spectral-theoretic argument; the Strichartz estimates then follow by writing the perturbed evolution in variation-of-parameters form and using the dual local decay bound together with the free Strichartz estimates. At low energy, the bounds come from compactness of $R_0^+(\\lambda^2)\\mu$ on $L^2(\\mu)$, obtained through the compact embedding of $\\dot H^1(\\mathbb{R}^n)$ into $L^2(\\mu)$. At high energy, the free resolvent is split into a sphere-restriction term, controlled by a sharp $L^2$ Fourier-restriction estimate scaled as $R^{\\alpha/(2n)}$, and a principal-value integral over the sphere radius, controlled by a single integration by parts; the necessary derivative bound for the spherical restriction follows from the compact support of $\\mu$.","core_discovery":"The central claim is Theorem 1.1: for $n\\ge 3$, if $\\mu$ is a compactly supported signed measure on $\\mathbb{R}^n$ of dimension $\\alpha > n-(1+\\frac{1}{n-1})$, and if $-\\Delta+\\mu$ has no resonance at zero and no eigenvalues at any $\\lambda\\ge 0$, then for every $f\\in L^2(\\mathbb{R}^n)$, $$ \\|e^{it\\$\\Delta$}f\\|_{$L^{2}$_t $L^{2}$(\\mu)} \\lesssim \\|f\\|$_2^{2}$, \\qquad \\|e^{it(-\\$\\Delta$+\\mu)}P_{ac}f\\|_{$L^{2}$_t $L^{2}$(\\mu)} \\lesssim \\|f\\|$_2^{2}$, $$ and the Strichartz inequalities $\\|e^{it(-\\Delta+\\mu)}P_{ac}f\\|_{L^p_t L^q_x}\\lesssim\\|f\\|_2$ hold for all admissible pairs with $2/p+n/q=n/2$ and $p>2$. The possible exception is the endpoint $(2, 2n/(n-2))$. The dimensional threshold is exactly what makes the high-energy resolvent exponent $n-2-\\alpha(n-1)/n$ negative, which is how the surface-measure case $\\alpha=n-1$ becomes admissible in every dimension $n\\ge 3$.","pith_inferences":["The proof's mechanism is scale-sensitive: the dimensional threshold is set by the $R^{\\alpha/(2n)}$ scaling in the restriction estimate, so any future improvement in that scaling would automatically lower the threshold, and a counterexample with a larger power would break this particular argument.","The same high-energy decomposition should work for other uniformly convex smooth surfaces in place of the sphere, since only the restriction estimate and the dimension-based integral bounds are used.","The endpoint Strichartz pair is left open, not ruled out; deciding whether a surface-measure potential can actually destroy the endpoint would require a separate argument or a counterexample."],"forward_implications":["In every dimension $n\\ge 3$, the surface measure of a compact hypersurface is an admissible potential, so Strichartz estimates with $p>2$ hold once the spectral assumptions are satisfied.","The local decay bounds hold in the strong form $\\|e^{itH}P_{ac}f\\|_{L^2_t L^2(\\mu)} \\lesssim \\|f\\|_2^2$ for both $H=-\\Delta$ and $H=-\\Delta+\\mu$.","The only admissible Strichartz pair that can be lost is the endpoint $(2, 2n/(n-2))$; all others are preserved.","The theorem extends the previously understood measure-potential dispersive theory from three dimensions to all $n\\ge 4$."],"supporting_citations":[{"why":"Supplies the sharp $L^2$ Fourier-restriction estimate for the paraboloid that the proof transfers to the unit sphere to control the spherical part of the free resolvent at high energy.","marker":"[5]"},{"why":"Provides the $L^2$ mapping result used to show that a null direction of $I+R_0^+(\\lambda_0^2)\\mu$ at positive energy is actually an $L^2$ eigenfunction.","marker":"[11]"},{"why":"Gives the equivalence between uniform resolvent bounds and local decay of the Schrödinger evolution, the bridge to estimates (4) and (5).","marker":"[14]"},{"why":"Supplies the free Strichartz inequalities, including the endpoint, used for the free term and for the inhomogeneous term in the variation-of-parameters formula.","marker":"[15]"},{"why":"Provides the form-bound argument proving the unique self-adjoint extension of $-\\Delta+\\mu$ used throughout.","marker":"[18]"},{"why":"Provides the summation argument converting the local decay bounds into Strichartz estimates for the perturbed evolution for $p>2$.","marker":"[19]"}],"fun_headline_variants":["Strichartz for Schrödinger with measure potentials above critical dim","Rough potentials meet Strichartz: sharp threshold found","Dimension threshold unlocks Strichartz for measure-valued potentials","Schrödinger Strichartz estimates with measure potentials: new condition"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the sharp $L^2$ Fourier-restriction estimate for the paraboloid transfers to the unit sphere with exactly the same $R^{\\alpha/(2n)}$ scaling; the paper states that this transfer is well known, but it gives no proof, and any additional power of $R$ would make the high-energy resolvent exponent $n-2-\\alpha(n-1)/n$ nonnegative and break the argument.","fun_headline_variants_meta":{"raw":{"variants":["Strichartz for Schrödinger with measure potentials above critical dim","Rough potentials meet Strichartz: sharp threshold found","Dimension threshold unlocks Strichartz for measure-valued potentials","Schrödinger Strichartz estimates with measure potentials: new condition"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000828,"raw_usage":{"total_tokens":3608,"prompt_tokens":925,"completion_tokens":2683,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":541,"completion_tokens_details":{"reasoning_tokens":2614}},"tokens_in":541,"tokens_out":2683,"duration_ms":20798,"temperature":1.0,"reasoning_tokens":2614,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:33:33.002394+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test is the spherical restriction bound used in Section 4: for $\\mu_R = R^\\alpha\\mu(\\cdot/R)$ and $g\\in L^2(S^{n-1})$, the estimate $\\|\\widehat{g}\\|_{L^2(\\mu_R)} \\lesssim R^{\\alpha/(2n)}\\|g\\|_2$ must hold with no extra power of $R$; finding any $g$ with growth $R^{\\alpha/(2n)+\\delta}$, $\\delta>0$, would make the exponent in (22) nonnegative and invalidate the proof. Independently, a compactly supported measure satisfying the spectral assumptions for which the local decay bound (5) fails would refute the theorem.","supporting_citations":[{"cited_title":"Du and R","cited_arxiv_id":null,"evidence_quote":"Supplies the sharp $L^2$ Fourier-restriction estimate for the paraboloid that the proof transfers to the unit sphere to control the spherical part of the free resolvent at high energy."},{"cited_title":"Goldberg, The Helmholtz equation with Lp data and Bochner-Riesz multipliers","cited_arxiv_id":null,"evidence_quote":"Provides the $L^2$ mapping result used to show that a null direction of $I+R_0^+(\\lambda_0^2)\\mu$ at positive energy is actually an $L^2$ eigenfunction."},{"cited_title":"Kato, Wave operators and similarity for some non-selfadjoint ope rators","cited_arxiv_id":null,"evidence_quote":"Gives the equivalence between uniform resolvent bounds and local decay of the Schrödinger evolution, the bridge to estimates (4) and (5)."},{"cited_title":"Keel, and T","cited_arxiv_id":null,"evidence_quote":"Supplies the free Strichartz inequalities, including the endpoint, used for the free term and for the inhomogeneous term in the variation-of-parameters formula."},{"cited_title":"Reed and B","cited_arxiv_id":null,"evidence_quote":"Provides the form-bound argument proving the unique self-adjoint extension of $-\\Delta+\\mu$ used throughout."},{"cited_title":"Rodnianski and W","cited_arxiv_id":null,"evidence_quote":"Provides the summation argument converting the local decay bounds into Strichartz estimates for the perturbed evolution for $p>2$."}],"review_version":1}