{"id":"be0befc6-b803-4eec-a10e-c6b014c08a06","arxiv_id":"2608.09557","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Spherical lunes with angle pi/p have explicitly determined spectra and satisfy Polya's eigenvalue conjecture eventually when p>1.","lead":"This paper analyzes billiard paths and vibration eigenvalues on spherical lunes, the wedge-shaped regions between two planes through the center of a sphere. It fully determines the spectra for lunes with angle pi/p and shows they satisfy Polya's conjecture eventually, a bound relating eigenvalues to the domain's volume.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem E's completeness step for non-crystallographic D_p is imported from [BB, Prop. 7]; if that proposition requires Weyl-group hypotheses, the full-spectrum claim and its Pólya corollaries lack a proof for p=5,7,...","rationale":"The reader's weakest assumption identifies the same point I find most load-bearing: Theorem E depends on identifying the Dirichlet spectrum with anti-invariant harmonic polynomials under D_p, and that identification is imported from a Weyl-group statement. I agree this is the place where the argument is least secure. However, I do not think this should change the verdict: the paper's other main ingredients are independently coherent, and there is strong circumstantial evidence that the missing completeness step is standard. In particular, for n=2 the claimed multiplicities floor(K/p) can be verified by elementary separation of variables, and for a chamber of a finite reflection group the odd reflection of a Dirichlet eigenfunction is normally smooth when the boundary hyperplanes are totally geodesic. The main risk is therefore not a false spectrum but an omitted justification of a known reflection principle in the non-crystallographic setting. Since the reader already returned CONDITIONAL, my read leaves that verdict unchanged: the concern should be addressed by either a citation check or a short proof in a revision, but it does not warrant rejection of the central claim.","tokens_in":55983,"tokens_out":12909,"duration_ms":133319,"concrete_test":"Re-derive the step that every Dirichlet eigenfunction of L^n_{pi/p} extends to a D_p-anti-invariant eigenfunction of S^n: reflect u alternately across the two boundary meridians; because those reflections generate D_p and u=0 on the walls, the odd extension is a global eigenfunction if it is smooth. Verify smoothness via the standard elliptic reflection principle, which uses only the total-geodesic character of the boundary hyperplanes and not crystallographic data. If the extension is shown to be smooth for p=5,7,..., the completeness concern is resolved and [BB]'s Weyl restriction is irrelevant. As an independent numerical cross-check, compute the first dozen Dirichlet eigenvalues of L^3_{pi/5} by a spectral method and compare against Theorem E's list; any mismatch would refute the claim, while agreement would support it.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem E: the Dirichlet spectrum of L^n_{pi/p} is exactly {K(K+n-1): K>=p} with the stated multiplicities. The forward direction—every Dirichlet eigenfunction is the restriction of a D_p-anti-invariant harmonic polynomial—is not proved in the manuscript. Section 4.1 imports the reciprocal direction from [BB, Prop. 7], which was formulated for Weyl/crystallographic groups, and then asserts without proof that the framework 'holds in the same way' for every dihedral group D_p, although D_p is a Weyl group only for p=2,3,4,6. Appendix A supplies the Hilbert-Poincaré series and the factorization E(xi)=prod g(xi,beta_k), but that only shows anti-invariant polynomials restrict to eigenfunctions; it does not prove completeness. If the required odd-reflection/Schwarz extension across the two boundary meridians needs a crystallographic condition, then Theorem E, and with it Corollary C and Theorem B, would fail for p=5,7,... This is the load-bearing soft spot. It is likely repairable by a direct reflection-principle argument, since the group generated by reflections in the two boundary hyperplanes is finite D_p for every p, but as written it is an unproved transfer of a Weyl-group theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies geodesic billiards and Laplace eigenvalues on spherical lunes. Theorem A classifies periodic billiard trajectories: for rational opening θ=mπ/p all admissible trajectories are periodic with 2p segments, while for irrational θ only the equatorial geodesic is periodic. For dihedral lunes L^n_{π/p} the paper claims Theorem E, an explicit description of the Dirichlet spectrum (and, in Lemma 4.3, the Neumann spectrum) in terms of eigenvalues K(K+n−1) with explicit multiplicities obtained from Hilbert–Poincaré series of D_p-anti-invariant harmonic polynomials. From this it derives a generalized two-term eigenvalue asymptotic (Theorem B), eventual Pólya conjecture for irrational lunes and for p≥2 (Corollary C), and a quantitative Pólya threshold (Theorem D). Appendices contain reflection-group computations, numerical thresholds for n≤50, a counting-function treatment via [SV], and supporting inequalities.","tokens_in":56198,"tokens_out":11956,"duration_ms":115443,"significance":"If the spectral identification is fully justified, this is a valuable paper: it gives the first complete spectra for spherical lunes beyond hemispheres, provides an explicit non-constant second-term asymptotic, and shows that convex domains with all billiard trajectories periodic can still satisfy Pólya eventually. The paper is largely self-contained in its algebraic parts, the multiplicities are explicit rather than fitted, and the sharp inequalities in Appendix D and Theorem B are concrete and checkable. The main caveat is the completeness direction of the reflection-group method for non-crystallographic dihedral groups, which the paper currently imports rather than proves.","major_comments":[{"comment":"The proof of Lemma 4.3 identifies a Dirichlet eigenvalue of L^n_{π/p} with an eigenvalue K(K+n−1) of S^n by reading the Hilbert–Poincaré series of anti-invariant harmonic polynomials. This only proves that anti-invariant spherical harmonics restrict to eigenfunctions, the direction established in Appendix A, Lemma A.1. The converse, that every Dirichlet eigenfunction extends to a D_p-anti-invariant harmonic polynomial on S^n, is imported from [BB, Prop. 7] via the assertion in Section 4.1 that the framework 'holds in the same way' for all dihedral groups D_p. Since D_p is not a Weyl group except for p=2,3,4,6, and the cited proposition belongs to a paper whose setting is crystallographic, this transfer is not justified as written. This completeness step is load-bearing: without it, Theorem E, and hence Corollary C and Theorem B for p=5,7,..., do not follow. The gap is repairable by a direct odd-reflection argument, because the group generated by the reflections in the two boundary meridians is finite D_p for every integer p, but the argument must be written out, or [BB, Prop. 7] must be quoted with hypotheses that explicitly cover non-crystallographic finite Coxeter groups.","section":"Section 4.1 and Lemma 4.3"},{"comment":"The optimal values p*_Φ(n)=p*(n) for n≤50, and the 'iff' statement for 3≤n≤8, are stated as results of computations, but the appendix reproduces only tables and a few representative cases. For instance, the n=9, p=2 verification is an explicit degree-17 polynomial, while the n=3,...,8 and n=10,...,50 entries are not accompanied by certificates or by the code that generated them. Since Theorem D and Theorem 6.5 depend on these values, please include a reproducible verification (for example, a short script or an explicit finite reduction), or spell out the complete by-hand checks.","section":"Appendix B and Theorem 6.5"}],"minor_comments":[{"comment":"The rising factorial in the multiplicity formula is not consistently displayed; without the overline the formula appears to divide ordinary powers by (n−2)! and is not integer-valued.","section":"Theorem E and Lemma 4.3"},{"comment":"The notation N_2 is used without definition (for example, in Theorem A and Corollary C); please define it as the set of integers at least 2.","section":"Throughout"},{"comment":"There is a typo in the abstract: 'geoesic billiards' should be 'geodesic billiards'.","section":"Abstract"},{"comment":"The identical completeness question for the Neumann spectrum is not discussed separately; the same justification as for the Dirichlet case should be supplied or explicitly cited.","section":"Section 4.1"}],"recommendation":"major_revision","confidential_remarks":"The completeness gap flagged in my first major comment is likely repairable by a Schwarz-reflection argument, so I would not recommend rejection. I would ask the editor to require the authors either to prove the extension result for general dihedral groups or to cite a version of [BB, Prop. 7] that explicitly covers non-crystallographic finite Coxeter groups. The Appendix B tables should also be backed by reproducible verification, since they feed into Theorem D."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the bottom line: this paper gives the full Dirichlet spectrum of spherical lunes L^n_{pi/p} for every n and p, and uses it to prove eventual Polya's conjecture for p>1 despite completely periodic billiards. That is a real, substantial result. The soft spot is not the Hilbert-Poincare machinery but one imported step: the extension of the Berard-Besson completeness argument from Weyl groups (p=2,3,4,6) to arbitrary dihedral groups is stated in Section 4.1 without proof. The stress-test note is right that Theorem E's 'every Dirichlet eigenfunction is the restriction of a D_p-anti-invariant harmonic polynomial' is exactly the direction [BB, Prop. 7] would have to cover, and the paper does not check that proposition's hypotheses for non-crystallographic p. That said, this is likely a small gap rather than a fatal one—the group generated by the two boundary reflections is finite D_p for every p, and a direct reflection-principle argument should go through. It just isn't written down.\n\nCredit where due: Theorem A (periodic orbit classification) is self-contained and clean; Theorem E's explicit multiplicity formula visibly extends Gromes' S^2 result to all dimensions; and the generalized two-term asymptotic with the sharp bounded oscillating coefficient (Theorem B) is a nice addition. The eventual-Polya corollary for irrational and rational lunes is honest: there is no claim of resolving the Euclidean conjecture, and the hemisphere failure for n>2 is correctly noted.\n\nMinor concerns: Appendix B's optimal p*(n) values for n<=50 are stated without reproducible code, and the n=3..8 'iff' relies on direct polynomial inspection rather than a fully written-out check. Those are minor, but a reproducibility note or code would help trust the tables. Appendix C's phase-shift calculations are long; I didn't verify every line, but nothing obvious jumped out.\n\nBottom line: send it to a serious referee. The main theorem is important, the algebra is detailed, and the flagged gap is explicit and repairable. I would want the completeness step either proved or properly referenced before treating the paper as fully settled.","headline":"Real new spectral results for spherical lunes, with one unproved completeness step for non-crystallographic dihedral groups that is likely repairable but should be fixed.","tokens_in":56779,"tokens_out":3263,"would_cite":true,"duration_ms":31267,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37C27","35P15","35J05","35J25","35P20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For spherical lunes with angle π/p, this paper computes every Dirichlet eigenvalue and proves Pólya's conjecture for all large eigenvalue orders.","keywords":["spherical lunes","geodesic billiards","Laplace-Beltrami eigenvalues","Pólya conjecture","dihedral groups","reflection groups","Hilbert-Poincaré series","two-term asymptotics"],"falsifier":"Compute the first few Dirichlet eigenvalues of a non-crystallographic dihedral lune such as $L^{3}$_{π/5} by an independent numerical or variational method. The formula predicts a simple first eigenvalue 35 and a second distinct eigenvalue 48 with multiplicity 2; an extra eigenvalue below 35 or a multiplicity different from 1,2,... for the first two chains would disprove the identification of the spectrum with anti-invariant harmonic polynomials.","tokens_in":55724,"feed_emoji":"📐","tokens_out":8127,"duration_ms":75454,"temperature":0.7,"pith_summary":"This paper proves that spherical lunes cut out by an angle π/p have completely explicit Laplace spectra, in every dimension n≥2. From those spectra it derives a sharp two-term asymptotic formula with a bounded, oscillating coefficient and shows that Pólya's conjecture holds for all sufficiently large eigenvalue orders, even though the geodesic billiard on such a lune is completely periodic and so the standard nonperiodicity condition fails. It also proves the same eventual Pólya statement for lunes whose angle is an irrational multiple of π, where the billiard is nonperiodic. A quantitative version gives explicit ranges of p in terms of n for which the conjecture holds for every eigenvalue. The whole argument is carried by the identification of Dirichlet eigenfunctions with anti-invariant harmonic polynomials under the dihedral group of symmetries of a regular p-gon.","feed_headline":"Exact spectra for dihedral lunes settle Polya eventually","feed_subtitle":"All Dirichlet eigenvalues of L^n_{π/p} are known; large-order Polya and sharp two-term asymptotics follow.","key_machinery":"The load-bearing object is the Hilbert–Poincaré series of the graded algebra of anti-invariant homogeneous harmonic polynomials on $R^{{n+1}}$ with respect to the dihedral group D_p, the symmetry group of a regular p-gon, acting on the last two coordinates. The lune L^n_{π/p} is one chamber of this reflection group, so Dirichlet eigenfunctions on the lune are exactly the restrictions of D_p-anti-invariant harmonic polynomials on the sphere: polynomials that change sign under every reflection in D_p and are harmonic. The series HP_{H^a(n+1)}(T) = T^p / ((1−T)^{n−1}(1−T^p)) encodes, degree by degree, the dimension of those polynomials, and extracting coefficients yields the multiplicities in Theorem E. The reflection argument treats D_p on the same footing as the crystallographic Weyl groups, although the paper notes that the completeness step comes from the Weyl-group setting.","core_discovery":"The central discovery is Theorem E: the Dirichlet eigenvalues of L^n_{π/p} are exactly K(K+n−1) with K≥p, with multiplicity m_{n,p}[K(K+n−1)] = ∑_{s=0}^{⌊K/p⌋−1} (sp + (K mod p) + 1)^{n−2}/(n−2)!. On the paper's terms, this is the complete Dirichlet spectrum of these lunes. From this formula the paper proves a generalised two-term asymptotic expansion λ_k = (n!p)^{2/n} $k^{{2/n}}$ + c(p,k) $k^{{1/n}}$ + o($k^{{1/n}}$) whose coefficient c(p,k) oscillates between (n!p)^{1/n}(p−1) and (n!p)^{1/n}(p+1) within each chain of equal eigenvalues, and derives eventual Pólya inequalities in the Dirichlet case for θ/π irrational and for θ=π/p with p≥2. It also characterises the billiard dynamics: rational lunes have all admissible trajectories periodic with period 2p, while irrational lunes have only the equatorial geodesic periodic.","pith_inferences":["The completeness of the anti-invariant polynomial model for non-crystallographic p, such as p=5,7,8,..., is inherited from the Weyl-group case; if that extension ever failed for some p, the multiplicity formula and all later conclusions would need re-examination for that p.","The explicit multiplicities turn Pólya's conjecture for each fixed n and p into a finite family of one-variable polynomial inequalities M_{n,p,r}(m)≥0, which suggests an algorithmic certificate for dimensions beyond the 50 tabulated in the paper.","The oscillating coefficient suggests reading eigenvalue chains as spectral clusters: within one chain, the second term of the expansion slides linearly with the position inside the chain. This cluster mechanism may be the reason rational lunes escape the nonperiodicity-based two-term theory, and it offers a template for other domains with periodic billiards.","The paper's billiard theorem covers rational openings mπ/p with m>1, but the full explicit spectrum is obtained only for m=1, where the lune is a single chamber of D_p. Extending the spectral computation to multi-chamber rational lunes is a natural open direction."],"forward_implications":["Every spherical lune with opening angle below π satisfies Pólya's conjecture eventually in the Dirichlet case, whether the angle is an irrational multiple of π or of the form π/p with p≥2.","For dimensions 3≤n≤8, all dihedral lunes L^n_{π/p} with p≥2 satisfy Pólya's conjecture for every eigenvalue; for n≥9, p≥n−1 suffices, while p below roughly 0.120754n is guaranteed to fail via the first eigenvalue.","The generalised two-term formula is sharp: along the highest and lowest orders of each K-chain, the coefficient c(p,k) attains its extreme values, so the approximation is genuinely two-term with a bounded oscillating second coefficient.","The geodesic-billiard approach yields a two-term counting-function inequality with total phase shift q(y,η)=−(n+2p−1)π; the oscillatory nature of Q(λ) means the ordinary quasi-Weyl counting formula with one continuous coefficient does not hold.","Because dihedral lunes tile the hemisphere, the Neumann side of Pólya's conjecture follows from known hemisphere results; the paper's new work is entirely on the Dirichlet side."],"supporting_citations":[{"why":"Supplies the reflection-group completeness step and the Hilbert–Poincaré series method that identifies Dirichlet spectra with anti-invariant harmonic polynomials.","marker":"[BB]"},{"why":"Supplies the nonperiodicity and nonblocking conditions, the two-term asymptotic framework, and the phase-shift formalism used for the counting function.","marker":"[SV]"},{"why":"Provides the earlier hemisphere results, the sharp eigenvalue inequalities, and the rising-factorial estimates used throughout the Pólya analysis.","marker":"[FMS]"},{"why":"Contributes the tiling lemma that upgrades eventual Pólya satisfaction to all orders for sufficiently large p.","marker":"[FS]"},{"why":"Supplies the earlier two-dimensional lune result that the paper extends to all dimensions and to explicit spectra.","marker":"[Gr]"},{"why":"Provides the two-term asymptotic result for piecewise smooth boundaries that makes the irrational-lune argument valid.","marker":"[V]"},{"why":"Establishes the hemisphere Neumann results used to conclude the Neumann side for dihedral lunes via tiling.","marker":"[BLPS]"},{"why":"Supplies the multiplicity formula for hemispherical eigenvalues that enters the summands of the lune multiplicity computations.","marker":"[Ba]"}],"fun_headline_variants":["Exact spectra for spherical lune billiards","Rational lunes: full Dirichlet spectrum determined","Pólya conjecture holds eventually for lunes","Lune billiards: periodic orbits and eigenvalue asymptotics","Dihedral lunes: exact eigenvalues and Pólya bound"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that the reflection-group method that completely describes Dirichlet spectra on hemispherical chambers remains complete when the dihedral group D_p is not one of the crystallographic Weyl groups with p=2,3,4,6.","fun_headline_variants_meta":{"raw":{"variants":["Exact spectra for spherical lune billiards","Rational lunes: full Dirichlet spectrum determined","Pólya conjecture holds eventually for lunes","Lune billiards: periodic orbits and eigenvalue asymptotics","Dihedral lunes: exact eigenvalues and Pólya bound"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000376,"raw_usage":{"total_tokens":2018,"prompt_tokens":973,"completion_tokens":1045,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":589,"completion_tokens_details":{"reasoning_tokens":967}},"tokens_in":589,"tokens_out":1045,"duration_ms":10005,"temperature":1.0,"reasoning_tokens":967,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:08:09.814321+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the first few Dirichlet eigenvalues of a non-crystallographic dihedral lune such as $L^{3}$_{π/5} by an independent numerical or variational method. The formula predicts a simple first eigenvalue 35 and a second distinct eigenvalue 48 with multiplicity 2; an extra eigenvalue below 35 or a multiplicity different from 1,2,... for the first two chains would disprove the identification of the spectrum with anti-invariant harmonic polynomials.","supporting_citations":[],"review_version":1}