{"id":"4f7a2003-a467-4957-a471-13785845ae3a","arxiv_id":"1908.03808","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For any K0 < 0 and any slowly growing h, there exist asymptotically hyperbolic manifolds with |Krad-K0| = O(h(r)/(1+r)) whose Laplacian has nonempty singular continuous spectrum embedded in its essential spectrum.","lead":"This paper constructs smooth, simply connected hyperbolic-like Riemannian manifolds whose Laplacian has singular continuous spectrum sitting inside its absolutely continuous spectrum. It is the first explicit construction of embedded singular continuous spectrum for Laplace-Beltrami operators on manifolds.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.1 is the load-bearing step and its proof is only sketched; the smoothing of Kiselev's piecewise construction is not justified, and the central construction depends on this gap.","rationale":"The reader's verdict is CONDITIONAL, and our stress-test identifies the same load-bearing concern: Theorem 3.1 is asserted rather than proved. The rest of the paper is substantially more detailed: the spectral decomposition, the generalized eigenfunction expansion (Theorem 2.1), the Riccati reduction, and the comparison lemma are all written out, and we found no internal inconsistency in those parts. The one place where the argument depends on an unproved external construction is Theorem 3.1. Since the authors themselves state that the proof 'closely follows' [16] and 'we skip the details,' the gap is real and material. A careful referee should request a full proof of Theorem 3.1 or a precise citation of a theorem in [16] that covers the modified initial condition and the smoothing step. We therefore keep the verdict CONDITIONAL. The concern is about a missing derivation, not about the authors' ability or integrity.","tokens_in":13846,"tokens_out":9083,"duration_ms":91857,"concrete_test":"Write out a complete proof of Theorem 3.1 following the adaptation of [16, Theorem 1.1]. Specifically, verify that the C∞ smoothing of each piece can be performed so that the Prufer phase θ at the end of the piece changes by O(ε_k) with ε_k arbitrarily small, and that the inductive estimates in [16] continue to hold when the Bessel-type initial condition √r J_ν(√λ r) is used in place of Kiselev's initial phase. A minimal check: reproduce the first step of Kiselev's induction with V(r)=(ν^2−1/4)/r^2 for r≤1, smooth the potential around r=1, and confirm that the spectral measure on [τ^2,∞) still has a singular continuous part; if the phase shift at the first smoothing cannot be controlled, Theorem 3.1 fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 1.2 rests on Theorem 3.1, which asserts the existence of a C∞ potential V on (0,∞) that matches a prescribed Bessel-type singularity near 0, decays to τ^2 at the rate h(r)/(1+r), and produces non-empty singular continuous spectrum for −D^2+V. The proof of Theorem 3.1 is not written out: the authors state that it 'closely follows' Kiselev's construction [16, Theorem 1.1], list three bullet-point modifications, and remark that the non-smooth potential of [16] can be smoothed 'piece by piece.' This is precisely the point where the adaptation could fail. Kiselev's construction is delicate: singular continuous spectrum is produced by an inductive scheme that controls the Prufer phase θ (equations (39)–(40)) at the start of each step. Smoothing the potential within a step changes θ at the end of that step by an amount that is not estimated; if the cumulative phase error exceeds the tolerances of the induction, the spectral conclusion is lost. Moreover, Kiselev's initial condition at 0 is replaced by the Bessel-type solution √r J_ν(√λ r), and the authors invoke Lemma 2.4 in place of [16, Lemma 2.1] without showing that the phase control required at the first step is preserved. Since Theorem 3.1 is the bridge between the 1D Schrödinger result and the manifold construction, and since the rest of the paper (the spectral decomposition, the generalized eigenfunction expansion, the Riccati comparison, and Lemma 4.1) is detailed and appears sound, the overall claim is conditional on this gap. The paper itself flags the issue by saying 'we skip the details.'","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to construct smooth, simply connected, complete, noncompact Riemannian manifolds of dimension n≥2 whose radial curvature K_rad(r) satisfies |K_rad(r)-K0| = O(h(r)/(1+r)) for K0<0 and any positive function h(r)→∞, and whose Laplace-Beltrami operator has nonempty singular continuous spectrum embedded in the absolutely continuous essential spectrum [|K0|(n-1)^2/4,∞). The proof reduces the problem via separation of variables to a one-dimensional Schrödinger operator with a Bessel-type singularity at r=0, develops a generalized eigenfunction expansion for such operators in Section 2, and then invokes an adaptation of Kiselev's construction of decaying potentials with embedded singular continuous spectrum (Theorem 3.1). The remaining step is a Riccati equation analysis (Lemma 4.1) showing that the 1D potential can be realized by a rotationally symmetric metric with the desired curvature decay.","tokens_in":14223,"tokens_out":12175,"duration_ms":126986,"significance":"If the pivotal Theorem 3.1 is fully established, the result is significant: it provides the first explicit constructions of Riemannian manifolds with singular continuous spectrum embedded in the absolutely continuous spectrum, and it matches the curvature-decay threshold O(1/(1+r)) conjecturally analogous to the 1D Schrödinger threshold of Kiselev. The paper's reduction to 1D spectral theory is clean, the generalized eigenfunction expansion in Section 2 is carefully developed, and the Riccati/comparison argument in Lemma 4.1 is convincing. However, the main construction rests on Theorem 3.1, whose proof is only sketched; this is the primary obstacle to accepting the main theorem.","major_comments":[{"comment":"Theorem 3.1 is the load-bearing step of the whole construction, but its proof is not written out. The statement that the proof 'closely follows' Kiselev's construction [16, Theorem 1.1] with three bullet-point modifications is not sufficient. In particular, the proposed smoothing of the piecewise potential changes the modified Prüfer phase θ defined in (39)-(40) at the end of the current piece, and no estimate is supplied for this phase error. Kiselev's induction controls θ at the beginning of each step, so an uncontrolled phase shift can exceed the induction tolerance and destroy the singular continuous spectrum. Moreover, the replacement of [16, Lemma 2.1] by Lemma 2.4 is not justified: one must verify that the initial solution √r J_ν(√λ r) satisfies the phase and amplitude estimates required at the first step of the induction. Since the rest of the paper, including the proof of Theorem 1.2 in Section 4, depends entirely on Theorem 3.1, this gap must be filled before the main theorem can be accepted.","section":"Section 3, Theorem 3.1"}],"minor_comments":[{"comment":"There are numerous typographical errors, e.g., 'continuou s spectrum' in the abstract and 'eigenvalues' / 'spe ctrum' elsewhere; these should be corrected in a revision.","section":"Abstract and throughout"},{"comment":"The 'Without loss of generality' reduction requiring h(r) ≤ 1+r^{1/10} is not justified in the text. The reduction is correct (replace h by min(h, 1+r^{1/10})), but it should be stated explicitly because it is used to ensure V-τ^2 ∈ L^2 for the cited absolutely continuous spectrum results.","section":"Section 3, after Lemma 3.2"},{"comment":"In the last sentence of the proof, '(60) follows from (55) and (56)' should read '(57) follows from (55) and (56)'.","section":"Section 4, Lemma 4.1"},{"comment":"The domain 'ℑ z ≥ 0' in (33) should exclude the zeros of J_ν(√z), where M_-(z) has poles; the subsequent local boundedness argument does address this, but the formula as written is imprecise.","section":"Section 2, equation (33)"},{"comment":"In the second bullet, 'I and III follow from Theorem 1.1 in [16]' is confusing: condition I (matching on (0,b-δ]) is by construction, not from [16]. The authors should clarify which conditions follow from Kiselev's theorem and which are imposed.","section":"Section 3, proof of Theorem 3.1"},{"comment":"The notation for the extended eigenfunction is inconsistent: J~_ν(r,z) in (15) but J~_ν(z,r) after (16); standardize the argument order.","section":"Section 2, equations (15)-(16)"}],"recommendation":"major_revision","confidential_remarks":"The paper is the first in a planned series and the authors mention the flat case as forthcoming. The gap in Theorem 3.1 is substantial but appears fixable by writing out the adaptation of Kiselev's construction, including the smoothing estimates and the verification of the initial-phase condition. If the authors can supply these details, the construction would be a strong contribution to spectral geometry."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you my read on Jitomirskaya–Liu, arXiv:1908.03808. The headline: this is the first construction of a noncompact Riemannian manifold whose Laplacian has singular continuous spectrum embedded in the absolutely continuous spectrum, with curvature decay |Krad - K0| = O(h(r)/(1+r)), sharp up to the h factor. The route is clever: separate variables on a rotationally symmetric metric, reduce to a one-dimensional Schrödinger operator with a Bessel-type singularity at r=0, and use Kiselev's sharp 1D construction for the potential. That is genuinely new in this context. Section 2's generalized eigenfunction expansion for Bessel-type operators is written out carefully, based on Titchmarsh–Weyl theory, and appears sound. Lemma 3.2 and Lemma 4.1, the Riccati comparison and the bounds on the metric function f, are also detailed and look correct to me.\n\nThe soft spot is exactly where the stress-test note points: Theorem 3.1, the existence of a smooth potential V that matches the Bessel singularity near 0, decays to τ^2 with rate h(r)/(1+r), and yields singular continuous spectrum. The proof is not given. The authors say it 'closely follows' Kiselev's Theorem 1.1 and list three bullet modifications, including smoothing Kiselev's piecewise-defined potential. This is where the adaptation could fail. Kiselev's inductive scheme controls the Prüfer phase at the start of each step; smoothing the potential inside a step changes the phase by an unestimated amount. Replacing his left-endpoint condition with the Bessel solution √r J_ν(√λ r) also requires Lemma 2.4 to substitute for his Lemma 2.1, but the needed phase control at the first step is not demonstrated. The gap is real and load-bearing, though not necessarily fatal.\n\nThe rest of the paper — the spectral decomposition, the direct-sum reduction, the ODE estimates — is explicit and checkable. I do not see other serious problems. The citation pattern looks fair, and the authors flag the missing details themselves, which speaks to their honesty. My verdict is conditional: the result is likely true, but Theorem 3.1 is not proven in this preprint. A serious referee should get this paper and push the authors to write out the smoothing argument quantitatively. I would not cite the theorem as established until that gap is closed, but I would send it out.","headline":"A genuine first construction in spectral geometry whose main 1D building block (Theorem 3.1) is delegated to Kiselev with an unverified smoothing step; the rest of the paper is solid and the gap is fixable but real.","tokens_in":14709,"tokens_out":2696,"would_cite":false,"duration_ms":30586,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58J50","35P05","81Q10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Asymptotically hyperbolic manifolds can have singular continuous spectrum embedded in the absolutely continuous essential spectrum of the Laplacian.","keywords":["singular continuous spectrum","Laplace-Beltrami operator","asymptotically hyperbolic","rotationally symmetric metric","embedded spectrum","radial curvature","one-dimensional Schrödinger operator","generalized eigenfunction expansion"],"falsifier":"Work out the missing adaptation of the one-dimensional construction: exhibit a case where the smoothing step cannot keep both the decay bound $|V-\\tau^2|\\le h(r)/(1+r)$ and the presence of singular continuous spectrum; such a counterexample would remove the input needed for the manifold construction.","tokens_in":13658,"feed_emoji":"","tokens_out":11993,"duration_ms":116686,"temperature":0.7,"pith_summary":"The paper proves that on noncompact complete Riemannian manifolds one can have singular continuous spectrum of the Laplace--Beltrami operator sitting inside the absolutely continuous essential spectrum, while the manifold remains asymptotically hyperbolic with prescribed slow decay of the radial curvature to a negative constant $K_0<0$. Concretely, for any function $h(r)\\to\\infty$, Theorem 1.2 constructs smooth simply connected manifolds with $|K_{rad}(r)-K_0|=O(h(r)/(1+r))$, with $\\sigma_{\\mathrm{ess}}(-\\Delta)=\\sigma_{\\mathrm{ac}}(-\\Delta)=[|K_0|(n-1)^2/4,\\infty)$, and with $\\sigma_{\\mathrm{sc}}(-\\Delta)\\neq\\emptyset$. The manifolds are rotationally symmetric, and the geometry is engineered so that one component of the Laplacian is unitarily equivalent to a one-dimensional Schrödinger-type operator with singular continuous spectrum. This shows that embedded singular continuous spectrum can coexist with a purely absolutely continuous essential spectrum under slowly decaying curvature bounds.","feed_headline":"Manifolds can embed singular continuous spectrum in essential spectrum","feed_subtitle":"For any slow curvature decay, these manifolds keep absolutely continuous spectrum while adding a singular component.","key_machinery":"The central machinery is the rotationally symmetric ansatz $g=dr^2+f_1^2(r)g_{S^{n-1}}$ together with the unitary rescaling that sends the angular-radius Laplacian component to a one-dimensional Schrödinger-type operator $L_i=-D^2+V_i$ with $V_i=\\frac{(n-1)(n-3)}4(\\frac{f_1'}{f_1})^2+\\frac{n-1}{2}\\frac{f_1''}{f_1}+\\frac{\\lambda_i}{f_1^2}$, and the curvature identity $K_{rad}=-f_1''/f_1$. Writing $f_1(r)=\\exp\\int_2^r(\\sqrt{|K_0|}+f(x))dx$ converts the curvature bound into a nonlinear ordinary differential equation for $f$, whose long-range decay $|f(r)|+|f'(r)|=O(h(r)/(1+r))$ is obtained from a comparison lemma. A generalized eigenfunction expansion built from Bessel functions handles the singular point at the origin, while the one-dimensional potential with singular continuous spectrum supplies the spectral input.","core_discovery":"On the paper's own terms, the discovery is Theorem 1.2: for every $K_0<0$ and every $h(r)>0$ with $h(r)\\to\\infty$, there exists a smooth simply connected complete Riemannian manifold $(M^n,g)$ such that the radial curvature satisfies $|K_{rad}(r)-K_0|\\le C h(r)/(1+r)$, the essential and absolutely continuous spectra of $-\\Delta$ are exactly $[|K_0|(n-1)^2/4,\\infty)$, and the singular continuous spectrum is nonempty. The metric is $dr^2+f_1(r)^2g_{S^{n-1}}$; the radial function $f_1$ is built by solving a nonlinear ordinary differential equation, and the curvature identity $K_{rad}=-f_1''/f_1$ turns the curvature bound into a decay statement on the solution. Separation of variables writes $-\\Delta$ as a direct sum of one-dimensional Schrödinger-type operators, one of which carries the singular continuous spectrum, while the absolutely continuous spectrum is preserved by the slow decay.","pith_inferences":["Editorial extension: the same ansatz should work for the flat case $K_0=0$, but the authors state that the one-dimensional potential construction must be modified rather than used as a black box; the flat case is promised in a follow-up paper.","Editorial extension: if the paper's conjectured threshold is correct, then curvature decay with $|K_{rad}(r)-K_0|\\le C/(1+r)$ should force the essential spectrum to be purely absolutely continuous, making $(1+r)^{-1}$ the exact critical rate for embedded singular continuous spectrum.","Editorial extension: the Bessel-type generalized eigenfunction expansion may be reusable to embed other spectral features, such as dense pure point components, by swapping in different one-dimensional potentials while keeping the same geometric reduction."],"forward_implications":["On each constructed manifold, $\\sigma_{\\mathrm{ess}}(-\\Delta)=\\sigma_{\\mathrm{ac}}(-\\Delta)=[|K_0|(n-1)^2/4,\\infty)$ and $\\sigma_{\\mathrm{sc}}(-\\Delta)\\neq\\emptyset$, so singular continuous spectrum is embedded inside the absolutely continuous essential spectrum.","The same essential-spectrum interval appears for every choice of $h(r)\\to\\infty$, so the slowly decaying curvature perturbation does not move or destroy the absolutely continuous spectrum.","The manifolds are smooth and simply connected in every dimension $n\\ge2$, so the phenomenon is not a topological or low-dimensional artifact.","The proof gives a concrete recipe for the metric function $f_1$ through the ODE and comparison lemma, making the spectral behavior the output of an explicit geometric construction."],"supporting_citations":[{"why":"Supplies the one-dimensional potential with singular continuous spectrum embedded in $[\\tau^2,\\infty)$, which is imported into the manifold construction.","marker":"[16]"},{"why":"Provides the classical eigenfunction-expansion machinery for the Bessel-type operator used in Theorem 2.1.","marker":"[35]"},{"why":"Gives the essential-spectrum formula for rotationally symmetric asymptotically hyperbolic manifolds used to identify $\\sigma_{\\mathrm{ess}}$.","marker":"[19]"},{"why":"Establishes that slowly decaying one-dimensional potentials still have absolutely continuous spectrum over $[\\tau^2,\\infty)$, giving the lower inclusion for $\\sigma_{\\mathrm{ac}}$.","marker":"[2]"},{"why":"Supplies another absolute-continuity criterion for slowly decaying potentials used to complete the a.c. spectrum identification.","marker":"[15]"},{"why":"Used to verify essential self-adjointness through limit-point conditions at the singular endpoints.","marker":"[27]"}],"fun_headline_variants":["Singular continuous spectrum embedded in Laplacian's AC spectrum","Hyperbolic manifolds with singular spectrum inside continuous","Slow curvature decay creates embedded singular spectrum","New construction: singular spectrum in absolutely continuous","Sharp curvature bounds yield mixed spectral nature"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction stands on the existence of a smooth one-dimensional potential that matches the prescribed behavior near the origin, decays like $h(r)/(1+r)$, and has singular continuous spectrum; the paper adapts this from a known construction without writing the full proof, so the manifold theorem collapses if that adaptation cannot be carried out.","fun_headline_variants_meta":{"raw":{"variants":["Singular continuous spectrum embedded in Laplacian's AC spectrum","Hyperbolic manifolds with singular spectrum inside continuous","Slow curvature decay creates embedded singular spectrum","New construction: singular spectrum in absolutely continuous","Sharp curvature bounds yield mixed spectral nature"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000231,"raw_usage":{"total_tokens":1406,"prompt_tokens":788,"completion_tokens":618,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":404,"completion_tokens_details":{"reasoning_tokens":549}},"tokens_in":404,"tokens_out":618,"duration_ms":6368,"temperature":1.0,"reasoning_tokens":549,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:01:25.026054+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Work out the missing adaptation of the one-dimensional construction: exhibit a case where the smoothing step cannot keep both the decay bound $|V-\\tau^2|\\le h(r)/(1+r)$ and the presence of singular continuous spectrum; such a counterexample would remove the input needed for the manifold construction.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the one-dimensional potential with singular continuous spectrum embedded in $[\\tau^2,\\infty)$, which is imported into the manifold construction."},{"cited_title":"Titschmarch","cited_arxiv_id":null,"evidence_quote":"Provides the classical eigenfunction-expansion machinery for the Bessel-type operator used in Theorem 2.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the essential-spectrum formula for rotationally symmetric asymptotically hyperbolic manifolds used to identify $\\sigma_{\\mathrm{ess}}$."},{"cited_title":"Christ and A","cited_arxiv_id":null,"evidence_quote":"Establishes that slowly decaying one-dimensional potentials still have absolutely continuous spectrum over $[\\tau^2,\\infty)$, giving the lower inclusion for $\\sigma_{\\mathrm{ac}}$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies another absolute-continuity criterion for slowly decaying potentials used to complete the a.c. spectrum identification."},{"cited_title":"Reed and B","cited_arxiv_id":null,"evidence_quote":"Used to verify essential self-adjointness through limit-point conditions at the singular endpoints."}],"review_version":1}