{"id":"56fdd060-7eab-4324-8b65-8b7b1a1397aa","arxiv_id":"1908.05051","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The exponent α=(n-2)/n is the critical threshold for uniform eigenvalue bounds of the weighted Laplacian with weight ρ^α: bounded below it, unbounded above it on manifolds of revolution.","lead":"This paper studies the eigenvalues of a weighted Laplacian on a compact curved space with boundary, where the weight is a power of the density. It shows that the exponent (n-2)/n is the critical threshold: below it the eigenvalues stay uniformly bounded, above it they can blow up.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1's proof invokes Lemma 4 on the bounded domain M but only verifies the (2,N;1)-covering property for the ambient space; if M does not inherit it, the test-function construction collapses.","rationale":"After reading the paper in good faith, the central claim is the dichotomy at α=(n−2)/n: Theorem 1 gives a uniform upper bound for α below the critical value, Theorem 2 gives unboundedness above. The upper bound is the main new result, so the place it is least secure is the proof of Theorem 1. The proof relies on Lemma 4, a covering lemma that requires a (2,N;1)-covering property on the metric measured space. The text verifies this property for the ambient manifold (M~,d0~,μ), but then the proof's own notation (F⊂M in Lemma 4; 'a generic subset V of M' in the proof) shows Lemma 4 is being applied to M with the restricted distance. The inheritance of the covering property from the ambient to a bounded open submanifold is not shown, and the completeness hypothesis of Lemma 4 is not satisfied by M in general. This is precisely the reader's weakest assumption. I find no grounds to call the theorem false; the gap is structural rather than numerical, and plausible repairs exist. The other gaps the reader lists are less load-bearing: Theorem 2 for all k follows immediately from λ_k ≥ λ_1, and Lemma 6 can be fixed by using a small geodesic ball with volume comparison. Therefore the conditional verdict is appropriate; a revision should close the covering-property gap before acceptance.","tokens_in":8650,"tokens_out":15123,"duration_ms":138865,"concrete_test":"Prove or disprove the following: for every C^1 bounded domain M of a complete Riemannian manifold with Ricci ≥ -(n-1), the metric measured space (M,d0,μ) satisfies the (2,N;1)-covering property with a constant N depending only on n. Concretely, attempt to cover an arbitrary ball B_M(x,r), x∈M, r≤1, by N_n balls of radius r/2 in M, combining Bishop–Gromov in the ambient with the uniform volume lower bound |M∩B(x,r)| ≥ c_n r^n that follows from the C^1 cone condition. If the covering property is proven, insert the argument into §2 and Theorem 1 stands; if a counterexample is found, the proof of Theorem 1 is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is in §2, Proof of Theorem 1. The proof states: 'Since Ric(˜g0)>−(n−1)˜g0, the metric measured space (M~,d0~,μ) satisfies the (2;N;1)-covering property ... and we can apply Lemma 4. Define the distance d0 as the restriction on M of the distance d0~.' The subsequent construction, however, treats the sets from Lemma 4 as subsets of M: the second case says 'Fj is a generic subset V of M and Gj=V_{r0}', and the functions u_A, u_V are defined using d0 on M. Thus Lemma 4 is effectively being applied to (M,d0,μ), not to the ambient space. Two hypotheses of Lemma 4 are not established for M: (i) completeness — a bounded open domain with C^1 boundary is not complete in the restricted distance; (ii) the (2,N;1)-covering property — the paper verifies it only for (M~,d0~), and it is not automatic that every M-ball of radius r≤1 can be covered by N M-balls of radius r/2. Although any subset of a doubling space is doubling with a possibly enlarged constant, the proof of inheritance for this small-scale covering property requires handling centers outside M and boundary truncation; no such argument appears. If (ii) fails, Lemma 4 cannot be invoked, and the construction of k+1 disjointly supported test functions with controlled Rayleigh quotients collapses. Consequently Theorem 1, the paper's main upper bound, is not established as written. The gap appears fixable (e.g., apply Lemma 4 to the ambient and intersect the G_j with M before applying Lemma 5, or prove the covering property for M via Bishop–Gromov plus a C^1 cone condition), but the current text leaves it open.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the spectrum of the weighted Neumann Laplacian associated to the equation −div(σ∇u)=λρu on a compact Riemannian manifold M with C^1 boundary, in the conformal case σ=ρ^α with α>0 and fixed total mass of ρ. The main results are: (i) for n>2 and α∈(0,(n−2)/n), a uniform upper bound λ_k(ρ,ρ^α)|M|_g^{2/n} ≤ A_n k^{2/n} + B_n |M|_{g0}^{2/n} holds for every metric g conformal to the restriction g0 of a complete background metric with Ricci curvature bounded below; (ii) for α∈((n−2)/n,1), the supremum λ*_{k,α} is infinite on manifolds of revolution of dimension n>2; (iii) in dimension one, the same unboundedness holds for all α∈(0,1). The paper also discusses the critical exponent α=(n−2)/n via previous conformal-spectrum results.","tokens_in":8989,"tokens_out":20348,"duration_ms":179207,"significance":"The results give a clean dichotomy at α=(n−2)/n for eigenvalue bounds under a mass constraint, extending previous work by Colbois–El Soufi and Colbois–El Soufi–Savo. The proofs are constructive: no free parameters are fitted, the densities are explicit, and the upper-bound proof relies on standard tools (Bishop–Gromov comparison, Hassannezhad's covering lemma, and Hölder interpolation). The unboundedness proofs for α>(n−2)/n are short and appear correct. If the gap in the proof of Theorem 1 is repaired, the paper will make a solid contribution to the spectral geometry of weighted Laplacians.","major_comments":[{"comment":"The proof verifies the (2,N;1)-covering property for the ambient space (M~,d~0,μ) and then declares 'we can apply Lemma 4', but the subsequent construction treats the sets from Lemma 4 as subsets of M and uses the restricted distance d0. Lemma 4 requires the metric measured space to be complete and locally compact, which (M,d0) is not: M is a bounded open domain with C^1 boundary, so Cauchy sequences may converge to boundary points outside M. The proof therefore does not establish the hypotheses of Lemma 4 for the space on which the test functions are actually defined.","section":"Section 2, proof of Theorem 1"},{"comment":"Even setting completeness aside, the (2,N;1)-covering property for (M,d0) is not proved. The property for the ambient space does not automatically imply the same property for its subset M, because an M-ball of radius r with center near the boundary is the intersection of an ambient ball with M, and it is not immediate that this intersection can be covered by N M-balls of radius r/2; the paper contains no boundary-truncation argument. Since the construction of k+1 disjointly supported test functions with the lower bound μ(F_j)>μ(M)/(c^2(k+1)) depends on applying Lemma 4 to (M,d0,μ), Theorem 1 is not established as written. The gap appears fixable, for example by applying Lemma 4 to a complete metric space containing M such as the metric completion of M, or by applying it to the ambient and then intersecting the G_j with M and proving the needed measure bounds for the intersections; the authors should supply one of these arguments.","section":"Section 2, proof of Theorem 1"}],"minor_comments":[{"comment":"The title contains a typo: 'EIGENV ALUES' should be 'EIGENVALUES'.","section":"Page 1, title"},{"comment":"The sentence 'We said in the introduction that the spectrum of (1.2) is discrete' is self-referential and should be rephrased.","section":"Page 1, introduction"},{"comment":"The relation 'g0 = ric0 g' is confusing; consider writing g = ric0^{-1} g0 or using a clearer wording to indicate that g0 and g are homothetic.","section":"Page 3, Remark 1"},{"comment":"It would clarify to state explicitly that Bishop–Gromov comparison is applied to the ambient balls, and that the balls in M have volume no larger than the corresponding ambient balls.","section":"Page 4, inequality (2.2)"},{"comment":"The inequality 'λ1(˜ρm, ˜ρα_m)>m·m^{-1/2}=m^{1/2}' omits the constant from the lower bound of ∫ρ_m; the conclusion is valid for m large, but the step should be worded as 'for m sufficiently large'.","section":"Page 8, proof of Proposition 7"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of math.SP and the results are interesting. The main theorem's proof has a genuine gap that appears fixable, so I recommend major revision rather than rejection. The authors should also double-check the statement of Lemma 4 against [Has11] to ensure the hypotheses match the metric space actually used."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nHere is my read on Kouzayha and Pétiard's \"Eigenvalues of the Laplacian with density.\"\n\nThe paper does one new thing worth knowing: it identifies α=(n-2)/n as the critical exponent for uniform eigenvalue bounds of the weighted Laplacian -div(ρ^α ∇u)=λρu with fixed total mass, and proves the dichotomy in both directions—boundedness below the exponent, unboundedness above it, with an additional 1D result covering the whole range α∈(0,1). The upper bound for α∈(0,(n-2)/n) is genuinely new; the unboundedness part is largely a corollary of Colbois–El Soufi–Savo's Witten Laplacian lower bound, but the 1D construction is an explicit ODE argument that stands on its own.\n\nThe paper is mostly sound. The Hölder interpolation in §2 is correct—the condition nα/(n-2)<1 is exactly what makes the measure integral behave—and the conformal invariance of the n-Dirichlet energy combined with Bishop–Gromov is the right tool. The citation pattern is honest; the paper extends the referenced results rather than repeating them.\n\nThe soft spot is real and load-bearing for Theorem 1. Lemma 4 is applied to the metric measured space (M̃,d̃0,μ) even though the test functions are then built on the bounded domain M with the restricted distance d0. M is not complete, and the (2,N;1)-covering property for M is not established. This is not a cosmetic gap: without the covering property on (M,d0), the construction of k+1 disjointly supported functions with controlled Rayleigh quotients does not follow. The gap looks fixable—for instance, by applying Lemma 4 in the ambient and then intersecting the sets with M, or by proving the covering property directly for bounded C^1 domains using Bishop–Gromov plus a cone condition—but the current text does not do it.\n\nTwo smaller points: the Euclidean chart estimate in Lemma 6 should acknowledge that the volume form is only comparable to Euclidean, not equal; this is minor because the density is concentrated near 0. And the \"Theorem 2 is only proved for k=1\" concern is not a gap, since λ_k≥λ_1 for all k≥1.\n\nMy bottom line: the main theorem is not fully established as written, but the paper deserves a serious referee. The question is natural, the proof strategy is clear, and the gap is almost certainly repairable. I'd send it to review with a request to address the covering property in detail.\n\nBest,","headline":"The paper identifies the correct critical exponent and the dichotomy is plausible, but Theorem 1's proof has a real covering-property gap that needs repair before the upper bound is fully established.","tokens_in":9641,"tokens_out":7301,"would_cite":false,"duration_ms":70248,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58J50","35P15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that (n-2)/n is the sharp threshold for universal upper bounds on the weighted Laplacian spectrum under fixed mass.","keywords":["weighted Laplacian","eigenvalue estimates","Laplacian with density","critical exponent","conformal spectrum","manifolds of revolution","Neumann boundary conditions","Rayleigh quotient"],"falsifier":"On the unit ball in $\\mathbb{R}^3$ with $\\alpha=1/2$, take densities $\\rho_m=e^{-m|x|^2}$ normalized to total mass $|B|$ and compute $\\lambda_1(\\rho_m,\\rho_m^{1/2})|B|^{2/3}$ numerically for increasing $m$; Theorem 2 predicts growth at least like $m^{1/4}$, so a bounded sequence would falsify the unboundedness claim for manifolds of revolution.","tokens_in":8413,"feed_emoji":"♾️","tokens_out":12022,"duration_ms":112722,"temperature":0.7,"pith_summary":"This paper studies the eigenvalues of the weighted Laplacian $-\\operatorname{div}(\\rho^\\alpha \\nabla u)=\\lambda\\rho u$ with Neumann conditions on a compact manifold with boundary, keeping the total mass $\\int_M \\rho\\,dV_g=|M|_g$ fixed. It establishes a dimension-dependent threshold $\\alpha=(n-2)/n$: for every $\\alpha$ below the threshold, the $k$-th eigenvalue obeys a universal upper bound after the normalization $|M|_g^{2/n}$, uniform over conformal metrics and densities. For $\\alpha$ above the threshold, no such bound can hold on manifolds of revolution: radial Gaussian densities make the first normalized eigenvalue arbitrarily large. The threshold matters because it is purely dimensional and separates stable spectral estimates from blow-up.","feed_headline":"Weighted Laplacian bounds hold only below exponent (n-2)/n","feed_subtitle":"Above that exponent, Gaussian densities push the first eigenvalue to infinity on manifolds of revolution.","key_machinery":"The argument is carried by the Rayleigh quotient $R(g,\\rho,\\rho^\\alpha)(u)=\\int_M|\\nabla u|^2\\rho^\\alpha\\,dV_g\\big/\\int_M u^2\\rho\\,dV_g$ and by a Hölder interpolation inequality that exposes the threshold: $$\\int_G |\\nabla u|^2\\rho^\\$\\alpha$\\,dV_g \\le \\left(\\int_G |\\nabla u|^n\\,dV_{g_0}\\right)^{2/n}\\mu(G)^\\$\\alpha$ |G|_{g}^{(n-2)/n-\\$\\alpha$},$$ with $\\mu=\\rho\\,dV_g$. The factor $\\left(\\int_G|\\nabla u|^n\\,dV_{g_0}\\right)^{2/n}$ is conformally invariant, so the only metric-dependent volume factor has exponent $(n-2)/n-\\alpha$, positive exactly below the threshold. A metric-measure covering property (every ball of radius $r\\le1$ covered by $N$ balls of radius $r/2$) provides $k+1$ disjoint annuli or neighbourhoods with controlled volumes and masses, and Bishop–Gromov comparison bounds the conformal energy on each piece.","core_discovery":"The central discovery is that $(n-2)/n$ is the sharp dividing line between boundedness and unboundedness of the conformally normalized weighted spectrum. On any bounded $C^1$ domain of a complete Riemannian manifold with Ricci curvature at least $-(n-1)$, Theorem 1 proves that for every metric conformal to the restricted metric, every $\\alpha\\in(0,(n-2)/n)$, and every density with fixed total mass, $\\lambda_k(\\rho,\\rho^\\alpha)|M|_g^{2/n}\\le A_n k^{2/n}+B_n|M|_{g_0}^{2/n}$ with constants depending only on $n$. Conversely, on a manifold of revolution of dimension $n>2$ and $\\alpha\\in((n-2)/n,1)$, Theorem 2 shows the supremum $\\lambda^*_{k,\\alpha}$ is infinite; the proof uses radial Gaussian densities $e^{-m|x|^2}$, whose first eigenvalue grows like a positive power of $m$. In dimension 1 the same unboundedness is proved for every $\\alpha\\in(0,1)$.","pith_inferences":["Editorial extension: the Gaussian blow-up construction in Theorem 2 only uses a small Euclidean cube around the origin, so the same argument may show $\\lambda^*_{1,\\alpha}=+\\infty$ for $\\alpha>(n-2)/n$ on every compact manifold with boundary, not only manifolds of revolution.","Editorial extension: Theorem 1 is stated on the open interval below the threshold, but the Hölder estimate with $\\alpha=(n-2)/n$ has a vanishing volume exponent and still leaves a $k^{2/n}$ factor; one would therefore expect the same uniform bound to hold at the critical exponent, consistent with the conformal-spectrum result.","Editorial extension: the one-dimensional proof constructs densities whose $\\alpha-1$ power is quadratic; the same explicit family could be used to test sharp growth rates or explicit eigenfunctions for Sturm–Liouville operators with power-law weights."],"forward_implications":["For any admissible domain with $\\alpha< (n-2)/n$, the normalized $k$-th weighted eigenvalue is bounded by $A_n k^{2/n}+B_n|M|_{g_0}^{2/n}$ uniformly over conformal metrics and fixed-mass densities.","On revolution manifolds with $\\alpha> (n-2)/n$, $\\lambda^*_{k,\\alpha}=+\\infty$ already at $k=1$, so no upper bound depending only on the geometry can exist.","In dimension 1, the supremum $\\lambda^*_{1,\\alpha}$ is infinite for every $\\alpha\\in(0,1)$, making the one-dimensional case even more unstable than the higher-dimensional threshold.","At the threshold $\\alpha=(n-2)/n$, the weighted problem becomes the unweighted Laplacian in the conformal metric $\\rho^{2/n}g$, which recovers the known conformal-spectrum upper bound depending on the conformal volume invariant $V([g])$.","If the Ricci lower bound is written as $\\mathrm{Ric}(\\tilde g)>-(n-1)\\mathrm{ric}_0\\tilde g$, the additive constant in the bound is multiplied by $\\mathrm{ric}_0$, so the estimate scales correctly under homothetic changes."],"supporting_citations":[{"why":"Supplies the fixed-mass conformal argument for $\\alpha=0$ that Theorem 1 generalizes.","marker":"[CES19]"},{"why":"Supplies the covering-property lemma that produces $k+1$ disjoint test sets with controlled Rayleigh quotients.","marker":"[Has11]"},{"why":"Provides the technical covering results on metric measure spaces used inside the $k+1$-set lemma.","marker":"[GYY04]"},{"why":"Provides the complementary technical estimate used in the same covering lemma.","marker":"[CM08]"},{"why":"Gives the Bishop–Gromov comparison theorem used to bound the conformal energy of annuli under the Ricci lower bound.","marker":"[Zhu97]"},{"why":"Supplies the Gaussian density example with $\\lambda_1(\\rho_m,\\rho_m)>m$ that Theorem 2 turns into unboundedness for $\\alpha$ above the threshold.","marker":"[CESS15]"}],"fun_headline_variants":["Sharp threshold at (n-2)/n for weighted Laplacian bounds","Gaussian densities push first eigenvalue to infinity above threshold","Critical exponent splits weighted Laplacian spectrum bounds","Above (n-2)/n, weighted spectrum can be unbounded","Weighted Laplacian: (n-2)/n is the dividing line"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The upper-bound proof assumes that the distance on the domain $M$ obtained by restricting the ambient distance still has the uniform small-ball covering property needed for the $k+1$ disjoint test functions; the paper verifies this property for the ambient complete manifold but not for its restriction to $M$, so a boundary geometry that makes the restricted covering constant blow up would break the proof of Theorem 1.","fun_headline_variants_meta":{"raw":{"variants":["Sharp threshold at (n-2)/n for weighted Laplacian bounds","Gaussian densities push first eigenvalue to infinity above threshold","Critical exponent splits weighted Laplacian spectrum bounds","Above (n-2)/n, weighted spectrum can be unbounded","Weighted Laplacian: (n-2)/n is the dividing line"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000247,"raw_usage":{"total_tokens":1521,"prompt_tokens":901,"completion_tokens":620,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":517,"completion_tokens_details":{"reasoning_tokens":530}},"tokens_in":517,"tokens_out":620,"duration_ms":6237,"temperature":1.0,"reasoning_tokens":530,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:26:38.012106+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On the unit ball in $\\mathbb{R}^3$ with $\\alpha=1/2$, take densities $\\rho_m=e^{-m|x|^2}$ normalized to total mass $|B|$ and compute $\\lambda_1(\\rho_m,\\rho_m^{1/2})|B|^{2/3}$ numerically for increasing $m$; Theorem 2 predicts growth at least like $m^{1/4}$, so a bounded sequence would falsify the unboundedness claim for manifolds of revolution.","supporting_citations":[],"review_version":1}