Spherical n-lunes: billiards and eigenvalues

Isabel Salavessa; Pedro Freitas

REVIEW 2 major objections 4 minor 21 references

Spherical n-lunes: billiards and eigenvalues

T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For spherical lunes with angle π/p, this paper computes every Dirichlet eigenvalue and proves Pólya's conjecture for all large eigenvalue orders.

desk verdict 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. read the letter →

arxiv 2608.09557 v1 pith:BI6G57W5 submitted 2026-08-10 math.SP

Pedro Freitas , Isabel Salavessa This is my paper · ORCID

classification math.SP MSC 37C2735P1535J0535J2535P20

keywords sphericallunesgeodesicbilliardsLaplace-BeltramieigenvaluesPólyaconjecturedihedralgroupsreflectionHilbert-Poincaréseriestwo-termasymptotics

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the 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.

Credit 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.

Minor 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.

Bottom 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.

Referee Report

2 major / 4 minor

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.

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 (2)

[Section 4.1 and Lemma 4.3] 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.
[Appendix B and Theorem 6.5] 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.

minor comments (4)

[Theorem E and Lemma 4.3] 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.
[Throughout] 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.
[Abstract] There is a typo in the abstract: 'geoesic billiards' should be 'geodesic billiards'.
[Section 4.1] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the spectral derivation is self-contained; self-citations are published independent support, and the Weyl-group completeness transfer is a correctness gap, not a circular reduction.

full rationale

The central claims are not circular. Theorem E's multiplicities are computed from the Hilbert-Poincaré series of the dihedral group (Lemma 4.2, Appendix A), not from the Pólya inequalities that Theorem D later tests, so no fitted input is renamed a prediction. The eventual Pólya statements and the generalized two-term formula in Theorem B are algebraic consequences of the explicit spectrum and its chain multiplicities, not restatements of an assumed target. Self-citations are present but are not load-bearing circularity: [FMS, Lemma A.1] supplies a published sharp factorial inequality used in Lemma 6.3, and [FS, Lemma 1] is a published tiling lemma; both are external mathematical results with stated assumptions, so under the stated rules they count as independent support and do not raise the score. The one genuine soft spot is the completeness direction of Theorem E: Section 4.1 imports the reciprocal statement from [BB, Prop. 7] and says the framework 'holds in the same way' for every dihedral D_p, although D_p is a Weyl group only for p=2,3,4,6. Appendix A proves the anti-invariant polynomial factorization and the Poincaré series but does not prove that every Dirichlet eigenfunction extends to an anti-invariant harmonic polynomial for non-crystallographic p. This is an omitted proof or correctness risk, not a circular reduction: the claimed completeness is assumed from an external theorem, not derived from data, and no equation is identified with its own input. Hence the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no fitted parameters or new postulates. Its burden rests on standard invariant theory, spectral asymptotics, and the authors' previously published sharp inequalities; the only nonstandard step is the extension of the reflection-group spectral framework to all dihedral groups, which is argued in Appendix A.

assumptions (4)

domain assumption Berard-Besson reflection-group spectral computation: Dirichlet (resp. Neumann) eigenfunctions on a domain tiled by a finite reflection group are restrictions of anti-invariant (resp. invariant) harmonic polynomials on the sphere ([BB, Prop.
Used in Section 4.2 (Lemma 4.3) to derive the explicit multiplicity formula from the Hilbert-Poincare series; completeness of the basis is taken from [BB].
domain assumption The Safarov-Vassiliev/Vassiliev two-term Weyl asymptotic formula (1.3) applies to lunes with opening angle theta<pi when the nonperiodicity and nonblocking conditions hold.
Invoked in Section 2.2 and Theorem 3.1 3a) to conclude eventual Polya for irrational lunes.
standard math Sharp rising-factorial upper bound (R+1)^{n-1} <= ((R+1)(R+n-1)+(n-2)(n-3)/6)^{(n-1)/2} for all n>=2, R>=0 ([FMS, Lemma A.1]).
Used in Lemma 6.3 to prove monotonicity of Phi_n(p,R) in p, yielding the p>=n-1 sufficient condition in Theorem D.
standard math Faulhaber's formula for sums of powers with Bernoulli numbers is valid as used.
Used in Proposition 6.3 to expand the counting function k_+(K).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Spherical n-lunes: billiards and eigenvalues." pith.science (2026). https://pith.science/paper/BI6G57W5

@misc{pith2026260809557,
  author       = {Pith},
  title        = {Pith review of: Spherical n-lunes: billiards and eigenvalues},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BI6G57W5}},
  note         = {Machine review of arXiv:2608.09557}
}

abstract

We characterise the periodic orbits of geodesic billiards on spherical lunes on $\mathbb{S}^{n}$. In the case of angle openings of the form $\pi/p$ for positive integer $p$ we fully determine their Dirichlet and Neumann spectra. We then show that lunes with an angle opening smaller than $\pi$ which is not a rational multiple of $\pi$, or those with an angle opening of the form $\pi/p$ for $p$ larger than one satisfy P\'{o}lya's conjecture eventually, independently of whether the corresponding geodesic billiards satisfy the nonperiodicity condition or not. For lunes with an angle opening $\pi/p$ we further provide a two-term asymptotic formula for the eigenvalues based on sharp upper and lower bounds, together with a corresponding two-term counting function established using the geoesic billiards approach. Finally,we give an explicit bound on $p$ in terms of the dimension ensuring the corresponding lunes satisfy P\'{o}lya's conjecture for all eigenvalues.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 17 canonical work pages

[1]

M.F.\ Atiyah and I.G.\ Macdonald, Introduction to Commutative Algebra, Westview Press (1969)

work page 1969
[2]

Bang, Eigenvalues of the Laplacian on a geodesic ball in the n-sphere, Chinese J

S.J. Bang, Eigenvalues of the Laplacian on a geodesic ball in the n-sphere, Chinese J. Math. 15 (1987), 237--245

work page 1987
[3]

B\' e rard and G

P. B\' e rard and G. Besson, Spectres et groupes cristallographiques. II.Domaines spheriques, Ann. Inst. Fourier (Grenoble) 30 (1980), 237--248

work page 1980
[4]

Berger, P

M. Berger, P. Gauduchon and E. Mazet,

work page
[5]

Besse, Manifolds all of whose geodesics are closed, Springer-Verlag, Berlin, Heidelberg, New York (1978)

A. Besse, Manifolds all of whose geodesics are closed, Springer-Verlag, Berlin, Heidelberg, New York (1978)

work page 1978
[6]

N.\ Bourbaki, Groupes et alg\' e bres de Lie, Chapitres 4 \` a 6 , \' E l\' e ments de Math\' e matique, Springer (1981)

work page 1981
[7]

Luzzini, L

D.\ Buoso, P. Luzzini, L. Provenzano, J. Stubbe, Semiclassical estimates for eigenvalue means of Laplacians on spheres, J. Geom. Anal. 33 :280 (2023)

work page 2023
[8]

Freitas, J

P. Freitas, J. Mao and I. Salavessa, P\' o lya-type inequalities on spheres and hemispheres , Ann. Inst. Fourier (Grenoble) 75 (2025), 979--1051

work page 2025

Show all 21 references

[9]

Freitas and I

P. Freitas and I. Salavessa, Families of non-tiling domains satisfying P\' o lya's conjecture , J. Math.\ Phys. \ 64 (2023), 121503. DOI:10.1063/5.0161050

2023 doi
[10]

Wang, P\' o lya's conjecture on S ^1 , preprint arXiv:2506.04341

P.\ Freitas and R.Z. Wang, P\' o lya's conjecture on S ^1 , preprint arXiv:2506.04341

arXiv
[11]

A.\ Gray Tubes, 2nd ed.\ Birkh\" a user Basel, Springer (2024)

2024
[12]

U ber die asymptotische Verteilung der Eigenwerte des Laplace-Operators f\

D.\ Gromes, \" U ber die asymptotische Verteilung der Eigenwerte des Laplace-Operators f\" u r Gebiete auf der Kugeloberfl\" a che , Math. Zeit. 94 , 110--121 (1966)

1966
[13]

E.\ Gutkin Billiard dynamics: An updated survey with the emphasis on open problems, Chaos 22 026116 (2012) DOI:10.1063/1.4729307

2012 doi
[14]

H\" o rmander, The spectral function of an elliptic operator , Acta Math

L. H\" o rmander, The spectral function of an elliptic operator , Acta Math. 121 (1968), 193--218

1968
[15]

J.E.\ Humphhreys, Reflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics 29, Cambridge University Press (1990)

1990
[16]

A.\ Machado and I.\ Salavessa, Grassmannian manifolds as subsets of Euclidean spaces, Differential Geometry, ed. L.A. Cordero, Santiago de Compostela, Spain, September 1984, Research Notes in Mathematics 131, 85-102, Pitman (1985);arXiv:2101.09731

1985 arXiv
[17]

P\' o lya, Mathematics and plausible reasoning: patterns of plausible inference, 2nd Edition, Princeton University Press (1968)

G. P\' o lya, Mathematics and plausible reasoning: patterns of plausible inference, 2nd Edition, Princeton University Press (1968)

1968
[18]

P\' o lya, On the eigenvalues of vibrating membranes

G. P\' o lya, On the eigenvalues of vibrating membranes. Proc. London Math. Soc. 11 (1961), 419--433

1961
[19]

Safarov and D

Yu. Safarov and D. Vassiliev, The asymptotic distribution of eigenvalues of partial differential operators , American Mathematical Society, series Translations of Mathematical Monographs, 155 , 1997

1997
[20]

D. G. Vassiliev, Two-term asymptotics of the spectrum of a boundary value problem in the case of piecewise smooth boundary , Dokl. Akad. Nauk SSSR 286 (1986), 1043--1046

1986
[21]

98, (2006)

G.\ Toth, Glimpses of Algebra and Geometry Undergraduate Texts in Mathematics (2nd ed.), Springer, p. 98, (2006)

2006

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [1]

M.F.\ Atiyah and I.G.\ Macdonald, Introduction to Commutative Algebra, Westview Press (1969)

work page 1969

[2] [2]

Bang, Eigenvalues of the Laplacian on a geodesic ball in the n-sphere, Chinese J

S.J. Bang, Eigenvalues of the Laplacian on a geodesic ball in the n-sphere, Chinese J. Math. 15 (1987), 237--245

work page 1987

[3] [3]

B\' e rard and G

P. B\' e rard and G. Besson, Spectres et groupes cristallographiques. II.Domaines spheriques, Ann. Inst. Fourier (Grenoble) 30 (1980), 237--248

work page 1980

[4] [4]

Berger, P

M. Berger, P. Gauduchon and E. Mazet,

work page

[5] [5]

Besse, Manifolds all of whose geodesics are closed, Springer-Verlag, Berlin, Heidelberg, New York (1978)

A. Besse, Manifolds all of whose geodesics are closed, Springer-Verlag, Berlin, Heidelberg, New York (1978)

work page 1978

[6] [6]

N.\ Bourbaki, Groupes et alg\' e bres de Lie, Chapitres 4 \` a 6 , \' E l\' e ments de Math\' e matique, Springer (1981)

work page 1981

[7] [7]

Luzzini, L

D.\ Buoso, P. Luzzini, L. Provenzano, J. Stubbe, Semiclassical estimates for eigenvalue means of Laplacians on spheres, J. Geom. Anal. 33 :280 (2023)

work page 2023

[8] [8]

Freitas, J

P. Freitas, J. Mao and I. Salavessa, P\' o lya-type inequalities on spheres and hemispheres , Ann. Inst. Fourier (Grenoble) 75 (2025), 979--1051

work page 2025