{"id":"beb6de2a-75a5-4805-ac94-831270ec29ea","arxiv_id":"2508.04069","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Improved lower bounds for higher eigenvalues of the poly-Laplace operator, including low-dimensional Pólya-type results and an unconditional improvement of the Li-Yau inequality in arbitrary dimension.","lead":"This paper derives new lower bounds for the higher eigenvalues of the poly-Laplacian on bounded domains, claiming improvements over the classic Li-Yau inequality for several related eigenvalue problems. If the proofs hold, the results sharpen known estimates for clamped plate, Stokes, and generalized Pólya conjecture problems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Arbitrary-dimension unconditional improvement likely hides a positivity or regularity assumption; if so, claim (3) narrows to conditional results.","rationale":"The reader's weakest_assumption already points to positivity/regularity/monotonicity. My concern agrees with the first two. The unconditional arbitrary-dimension improvement is the load-bearing part because it subsumes the low-dimensional cases and would imply a global strengthening of Li–Yau. For higher-order operators, eigenfunctions are not sign-definite, so any proof using the first eigenfunction as a weight is suspect. The abstract's contrast between 'restrictive conditions' and 'without any restrictive conditions' invites scrutiny of the proof's hidden hypotheses. Since the full text is inaccessible, the honest verdict remains UNVERDICTED; the proposed re-derivation would settle the concern. I have not found independent support (no code, no formal proof) in the abstract. The paper's claims are specific enough to be testable, which is a positive, but the absence of proof makes the unconditional claim unverified.","tokens_in":752,"tokens_out":12661,"duration_ms":142893,"concrete_test":"Independently re-derive the claimed arbitrary-dimension improvement for m=2 (clamped plate) using only the variational characterization and the Fourier-transform method, without invoking any positivity or regularity beyond boundedness of the domain. If the derivation fails or requires an additional condition, the 'unconditional' claim is false. This test is decisive because the standard Li–Yau proof for m=1 extends to higher order without positivity; the first point where a sign condition is inserted is exactly the hidden assumption.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the third bullet: an improved lower bound for poly-Laplacian eigenvalues in arbitrary dimension with no restrictive conditions. This is the broadest assertion and the one that would separate the paper from earlier Li–Yau extensions. For m=1 (Dirichlet Laplacian), improving Li–Yau is possible via weighted test functions because the first eigenfunction is positive. For m>1, the first Dirichlet eigenfunction of the poly-Laplacian is not positive on general bounded domains (the maximum principle fails for higher-order operators). If the proof's trial function or Fourier-quotient estimate invokes positivity of u_1, or assumes a boundary regularity condition such as C^{2m}, then the 'unconditional' claim is actually conditional. The abstract explicitly contrasts the conditional sharp bound (restrictive conditions) with the unconditional improvement; the line between them is the load-bearing assumption. Without access to the proof, the most plausible failure mode is that the improvement is obtained by a method that only works under an unstated sign or regularity condition, making the advertised scope false.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper (arXiv:2508.04069) claims to improve the Li–Yau lower bound for the higher eigenvalues λ_i of the poly-Laplacian on bounded domains. According to the abstract, the main results are: (1) improved eigenvalue inequalities in low dimensions for the Pólya conjecture, the clamped plate problem, and the poly-Laplacian; (2) a sharp lower bound in arbitrary dimension under certain restrictive conditions; and (3) an unconditional improved inequality in arbitrary dimension. The abstract also states that the results yield improvements for Stokes eigenvalue problems and the Generalized Pólya conjecture.","tokens_in":958,"tokens_out":1694,"duration_ms":22339,"significance":"If the claims are correct, the results would represent substantial progress in spectral geometry: improving the classical Li–Yau inequality for higher-order operators is a well-known open direction, and unconditional improvements in arbitrary dimension would be particularly notable. The paper also addresses long-standing conjectures such as Pólya's conjecture and the clamped-plate problem. However, the reported significance is entirely conditional on the proofs, which are not visible in the abstract-only submission. The distinction between the conditional sharp bound and the unconditional improvement is the crux of the paper; without seeing the arguments, no assessment of correctness or novelty can be made.","major_comments":[{"comment":"The central claim is an improved lower bound for λ_i in arbitrary dimension 'without any restrictive conditions.' This is load-bearing because for the Dirichlet Laplacian (m=1) Li–Yau improvements typically use the positivity of the first eigenfunction, while for m>1 the first eigenfunction of the poly-Laplacian is generally not positive. The abstract does not describe the method or the hypotheses. If the proof relies on a positivity condition, a boundary regularity condition, or a monotonicity assumption on λ_i / i^(2m/n), then the advertised scope would be narrower than stated. This concern is not a demonstrated error, but it is unverifiable from the abstract alone and needs an explicit statement of assumptions and proof mechanism.","section":"Abstract, bullet 3"},{"comment":"The abstract announces 'a series of deep eigenvalue inequalities' for the low-dimensional cases of the Pólya conjecture, the clamped plate problem, and the poly-Laplacian. No dimensions, explicit constants, or comparison statements are given. Since the value of such inequalities is precisely in their constants and the range of i for which they beat the Li–Yau bound, the absence of these details prevents any evaluation of the claimed 'improvement.'","section":"Abstract, bullet 1"},{"comment":"The phrase 'sharp lower bound in arbitrary dimension under some certain restrictive conditions' is vague. It is not stated what 'sharp' means here (asymptotically sharp, matching the leading constant of Weyl's law, or sharp for the first eigenvalue?), nor what the restrictive conditions are. Without these details, this claim cannot be checked, and the relationship between this conditional result and the subsequent unconditional one is unclear.","section":"Abstract, bullet 2"}],"minor_comments":[{"comment":"There is a typo in the abstract: 'poly-Laplacia' should be 'poly-Laplacian.' ","section":"Abstract, title/body"},{"comment":"The abstract uses 'deep' and 'sharp' without quantitative context; including the explicit inequalities or a statement of the constants would help the reader gauge the contribution.","section":"Abstract, general"}],"recommendation":"uncertain","confidential_remarks":"This is an abstract-only review; the full text was not available. The paper may well contain valid and significant mathematics, but the load-bearing 'unconditional' claim cannot be verified from the abstract. The stress-test concern about a hidden positivity or regularity assumption is plausible given the higher-order setting, but it is not a demonstrated flaw. I recommend that the editor obtain the full manuscript before making a decision; if the proof indeed supplies an unconditional improvement in arbitrary dimension, the paper could merit acceptance at a strong journal, provided the claims are precisely stated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The abstract is worth a look: it claims genuinely new improvements to Li-Yau bounds for the poly-Laplacian in low dimensions (Pólya, clamped plate, poly-Laplacian) and an unconditional improvement in arbitrary dimension, with consequences for Stokes and generalized Pólya problems. If the proofs hold, that's a real step forward in spectral geometry, and the claims are specific enough to be checked. What's new, on the face of it: the low-dimensional cases and the arbitrary-dimension unconditional improvement are the headline. The paper also promises a sharp bound under restrictive conditions, which is a weaker but still useful result. The abstract is clear and doesn't smell of circularity - there are no fitted constants or defined-by-construction quantities. The soft spot is the one the stress-test flags. For m>1, the first eigenfunction of the poly-Laplacian is not positive on general bounded domains, so any trial-function argument that uses positivity of u_1 would make the 'unconditional' claim conditional. The abstract explicitly contrasts the conditional sharp bound with the unconditional improvement, but without the proof we can't see whether that line is real or rhetorical. Also, 'sharp' and 'unconditional' are strong words; the constants and the exact conditions need scrutiny. Boundary regularity matters too - C^{2m} may be required. That said, I'm not willing to assume the paper is wrong. There are methods for higher-order operators that avoid positivity (Fourier-quotient arguments, harmonic trial functions, etc.), so the stress-test concern is a plausible failure mode, not a demonstrated flaw. The abstract is honest about the distinction between conditional and unconditional, which suggests the authors are aware of the issue. For peer review: yes, this deserves a serious referee. The claims are significant and checkable, and an editor should send it out to someone who can verify the estimates. For my own work, I'd wait until the proof is public and the constants are confirmed before citing it. It's absolutely a paper to bring to a reading group if the full text is available - the discussion about whether the unconditional bound is truly unconditional would be useful. In short: solid-looking abstract, significant if true, but the burden is on the proof. Send it to referees.","headline":"Promising abstract with a likely but unverified risk that the 'unconditional' arbitrary-dimension improvement hides a hidden positivity or regularity assumption.","tokens_in":625,"tokens_out":1557,"would_cite":false,"duration_ms":32770,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35P15","35J40","58J50"],"pacs":[],"model":"deepseek-v4-flash","headline":"New lower bounds improve Li-Yau inequality for poly-Laplacian","keywords":["poly-Laplacian","higher eigenvalues","Li-Yau inequality","Pólya conjecture","clamped plate problem","lower bounds","Stokes eigenvalues"],"falsifier":"Compute, for a specific domain such as the unit ball in $\\mathbb{R}^n$, the exact or numerically accurate first few eigenvalues of the poly-Laplacian and check whether the paper's claimed lower bound for individual $\\lambda_i$ exceeds the classical Li-Yau bound for every $i$. Any single counterexample domain and index $i$ would refute the unconditional claim.","tokens_in":628,"feed_emoji":"📐","tokens_out":2489,"duration_ms":28911,"temperature":0.7,"pith_summary":"This paper claims to improve the classical Li-Yau lower bound for the $i$-th eigenvalue of the poly-Laplace operator on bounded domains. In low dimensions it obtains new inequalities that strengthen the Pólya conjecture bounds for the clamped plate and the poly-Laplacian. In arbitrary dimension it proves a sharp bound under restrictive conditions and, separately, an unconditional improvement over Li-Yau. If correct, this would tighten known eigenvalue estimates that appear in the study of vibrating plates and Stokes flows.","feed_headline":"Sharper bounds for poly-Laplacian eigenvalues beyond Li-Yau","feed_subtitle":"Tighter eigenvalue estimates for higher-order operators could sharpen Pólya and clamped-plate results.","key_machinery":"The central object is the poly-Laplace operator $(-\\Delta)^m$ on a bounded domain, whose eigenvalue problem is $(-\\Delta)^m u = \\lambda u$ with appropriate boundary conditions. The Li-Yau inequality, a Fourier-transform-based bound on eigenvalue sums, serves as the baseline. The paper's improvements rest on refined trial-function constructions and comparisons of spectral quotients, which presumably sharpen the constant in the bound $\\lambda_i \\ge C \\, i^{2m/n}$.","core_discovery":"The central claim is that the higher eigenvalues of the poly-Laplacian, $(-\\Delta)^m u = \\lambda u$ with Dirichlet boundary conditions, satisfy lower bounds sharper than the Li-Yau inequality. Specifically, the authors derive low-dimensional improvements for the Pólya conjecture (lower bounds of the form $\\lambda_i \\ge C_{\\Omega} i^{2m/n}$ approaching the Weyl constant), a sharp lower bound in all dimensions under certain restrictive hypotheses, and an unconditional improvement over the Li-Yau constant in all dimensions. Their results also yield lower bounds for Stokes eigenvalue problems and support the Generalized Pólya conjecture.","pith_inferences":["The unconditional improvement in arbitrary dimension likely implies an asymptotic lower bound with an explicit error term, which could be tested numerically on irregular domains.","The techniques may extend to operators with mixed boundary conditions, where the Pólya conjecture remains open.","If the unconditional improvement holds uniformly, it would strengthen the known result that Weyl's law is approached from below, potentially narrowing the gap between the Li-Yau constant and the sharp Weyl constant."],"forward_implications":["If correct, eigenvalue sums for the poly-Laplacian are bounded below by constants closer to the Weyl asymptotic, supporting the Pólya conjecture in low dimensions.","The improved bounds transfer to biharmonic clamped plate problems, giving sharper lower bounds for vibration frequencies of clamped plates.","The Stokes eigenvalue problem gains lower bounds derived from the same inequalities.","The Generalized Pólya conjecture, concerning spectral asymptotics for higher-order operators, receives new supporting evidence."],"supporting_citations":[],"fun_headline_variants":["Poly-Laplacian eigenvalues beat Li-Yau bounds","Sharper lower bounds for poly-Laplacian eigenvalues","Tighter eigenvalue bounds for poly-Laplacian beyond Li-Yau","Poly-Laplacian eigenvalue estimates exceed Li-Yau","Improved lower bounds for higher poly-Laplacian eigenvalues"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The unconditional improvement in arbitrary dimension rests on an analytical inequality that is not specified in the abstract; the claim's advertised scope depends on that estimate holding for all bounded domains considered, rather than on a hidden regularity or positivity condition.","fun_headline_variants_meta":{"raw":{"variants":["Poly-Laplacian eigenvalues beat Li-Yau bounds","Sharper lower bounds for poly-Laplacian eigenvalues","Tighter eigenvalue bounds for poly-Laplacian beyond Li-Yau","Poly-Laplacian eigenvalue estimates exceed Li-Yau","Improved lower bounds for higher poly-Laplacian eigenvalues"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000502,"raw_usage":{"total_tokens":2234,"prompt_tokens":634,"completion_tokens":1600,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":378,"completion_tokens_details":{"reasoning_tokens":1535}},"tokens_in":378,"tokens_out":1600,"duration_ms":14797,"temperature":1.0,"reasoning_tokens":1535,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T00:54:17.929825+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a specific domain such as the unit ball in $\\mathbb{R}^n$, the exact or numerically accurate first few eigenvalues of the poly-Laplacian and check whether the paper's claimed lower bound for individual $\\lambda_i$ exceeds the classical Li-Yau bound for every $i$. Any single counterexample domain and index $i$ would refute the unconditional claim.","supporting_citations":[],"review_version":1}