Normalized volume spectra of right-angled hyperbolic polyhedra
Pith reviewed 2026-05-20 08:15 UTC · model grok-4.3
The pith
The normalized volumes of right-angled hyperbolic polyhedra occupy bounded intervals that are discrete at the bottom and dense near the top.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The spectrum Ω(R_ideal) belongs to the interval [1/6 v_oct, 1/2 v_oct] and both bounds are sharp; the spectrum is discrete in [1/6 v_oct, 1/4 v_oct) and everywhere dense in [1/4 v_oct, 1/2 v_oct]. The spectrum Ω(R_comp) belongs to [5/192 v_oct, 5/8 v_tet] with the upper bound sharp; it is discrete on [5/192 v_oct, 1/32 v_oct) and dense on [5/16 v_tet, 5/8 v_tet].
What carries the argument
The normalized volume ω(P) = vol(P)/ver(P), which rescales each polyhedron's volume by its vertex count so that volumes of polyhedra with different numbers of vertices become comparable.
If this is right
- Any ideal right-angled hyperbolic polyhedron has normalized volume at most half the volume of the regular ideal octahedron.
- Below one-quarter of the octahedron volume the possible normalized volumes for ideal polyhedra occur only at isolated points.
- Normalized volumes of ideal polyhedra can be made arbitrarily close to the upper bound of one-half the octahedron volume.
- Compact right-angled hyperbolic polyhedra cannot exceed five-eighths the volume of the regular ideal tetrahedron in normalized volume.
- In the upper part of their range the normalized volumes of compact polyhedra become dense.
Where Pith is reading between the lines
- The discreteness results suggest that only finitely many combinatorial types realize each small normalized volume, which could be checked by enumerating low-vertex right-angled polyhedra.
- The density statements imply that one can approximate any volume in the dense interval by a right-angled polyhedron, potentially useful for constructing manifolds with prescribed volume properties.
- The two families (ideal and compact) have overlapping but distinct normalized-volume ranges, hinting at a possible transition when vertices move from ideal to finite positions.
Load-bearing premise
Sequences of right-angled hyperbolic polyhedra exist that realize the stated upper bounds and fill the dense portions of the intervals while keeping all dihedral angles right and the geometry hyperbolic.
What would settle it
A single right-angled ideal hyperbolic polyhedron whose normalized volume lies strictly outside [1/6 v_oct, 1/2 v_oct], or a right-angled compact hyperbolic polyhedron whose normalized volume lies strictly outside [5/192 v_oct, 5/8 v_tet].
Figures
read the original abstract
Let a three-dimensional hyperbolic polyhedron $\mathcal P$ have finite volume $\mathrm{vol}(\mathcal P)$ and a finite number of vertices $\mathrm{ver}(\mathcal P)$. We call its normalized volume the quantity $\omega(\mathcal P) = \mathrm{vol}(\mathcal P)/ \mathrm{ver}(\mathcal P)$. If $\mathcal{R}$ is some set of hyperbolic polyhedra, then we assign to it the set of normalized volumes $\Omega (\mathcal R) = \{ \omega(\mathcal P) \mid \mathcal P \in \mathcal R \}$, which we call the spectrum of normalized volumes of the set $\mathcal R$. In the paper we consider the set $\mathcal R_{comp}$ of compact right-angled hyperbolic polyhedra and the set $\mathcal R_{ideal}$ of ideal right-angled hyperbolic polyhedra. We prove that the spectrum $\Omega (\mathcal R_{ideal})$ belongs to the interval $\left[\frac{1}{6} v_{\mathrm{oct}}, \frac{1}{2} v_{\mathrm{oct}} \right]$ and both bounds are sharp. Moreover, the spectrum is discrete in $\left[ \frac{1}{6} v_{\mathrm{oct}}, \frac{1}{4} v_{\mathrm{oct}} \right)$ and everywhere dense in $\left[ \frac{1}{4} v_{\mathrm{oct}}, \frac{1}{2} v_{\mathrm{oct}} \right]$, where $v_{\mathrm{oct}}$ is the volume of the regular ideal hyperbolic octahedron. We also establish that the spectrum $\Omega (\mathcal R_{comp})$ belongs to the interval $\left[ \frac{5}{192} v_{\mathrm{oct}}, \frac{5}{8} v_{\mathrm{tet}} \right]$ and the upper bound is sharp. Moreover, on the interval $\left[ \frac{5}{192} v_{\mathrm{oct}}, \frac{1}{32} v_{\mathrm{oct}} \right)$ the spectrum is discrete, while on the interval $\left[ \frac{5}{16} v_{\mathrm{tet}}, \frac{5}{8} v_{\mathrm{tet}} \right]$ it is everywhere dense, where $v_{\mathrm{tet}}$ is the volume of the regular ideal hyperbolic tetrahedron.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines the normalized volume ω(P) = vol(P)/ver(P) for finite-volume hyperbolic polyhedra P with finitely many vertices. It studies the spectra Ω(R_ideal) and Ω(R_comp) consisting of all such normalized volumes for the classes of ideal right-angled hyperbolic polyhedra and compact right-angled hyperbolic polyhedra, respectively. The main theorems assert that Ω(R_ideal) lies in [1/6 v_oct, 1/2 v_oct] with both endpoints achieved, is discrete on [1/6 v_oct, 1/4 v_oct), and is dense on [1/4 v_oct, 1/2 v_oct]; likewise Ω(R_comp) lies in [5/192 v_oct, 5/8 v_tet] with the upper endpoint achieved, is discrete on [5/192 v_oct, 1/32 v_oct), and is dense on [5/16 v_tet, 5/8 v_tet].
Significance. If the stated bounds, sharpness statements, and discreteness/density dichotomy hold, the work supplies a precise structural description of the possible normalized volumes attainable by right-angled hyperbolic polyhedra. Such polyhedra serve as fundamental building blocks for hyperbolic 3-manifolds and orbifolds; a complete understanding of their normalized-volume spectra would therefore constrain the geometry of finite-volume hyperbolic structures and could inform questions about volume minimization or rigidity in the presence of right angles. The explicit constants involving the regular ideal octahedron and tetrahedron volumes, together with the transition point separating discrete and dense regimes, constitute concrete, falsifiable predictions.
major comments (2)
- [section on upper bound for ideal spectrum] Proof of sharpness of the upper bound 1/2 v_oct for Ω(R_ideal) (abstract and the section containing the construction of the maximizing polyhedron): the argument must explicitly confirm that the limiting or glued object remains right-angled, i.e., that every dihedral angle stays exactly π/2 under the deformation or gluing parameters used to reach the bound. Without an independent verification that the angle condition is preserved (rather than merely controlling volume or cusp shape), the constructed object may exit R_ideal.
- [section on density in the upper interval for ideal polyhedra] Density statement for Ω(R_ideal) on [1/4 v_oct, 1/2 v_oct] (the section constructing the dense sequence P_n with ver(P_n)→∞): the limiting process must be shown to keep all dihedral angles fixed at π/2. If the parameters are chosen solely to adjust volume while the right-angled condition is only verified for base cases, the limit objects may fail to lie in R_ideal, undermining the density claim.
minor comments (2)
- [abstract] The constants v_oct and v_tet should be defined at their first appearance in the abstract and introduction, together with a brief reminder of their numerical values or explicit formulas.
- [introduction] Notation for the sets R_comp and R_ideal is introduced only in the abstract; a short paragraph in the introduction repeating the definitions would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and insightful comments on the preservation of the right-angled condition. We address each major comment below and will incorporate clarifications in the revised manuscript.
read point-by-point responses
-
Referee: Proof of sharpness of the upper bound 1/2 v_oct for Ω(R_ideal) (abstract and the section containing the construction of the maximizing polyhedron): the argument must explicitly confirm that the limiting or glued object remains right-angled, i.e., that every dihedral angle stays exactly π/2 under the deformation or gluing parameters used to reach the bound. Without an independent verification that the angle condition is preserved (rather than merely controlling volume or cusp shape), the constructed object may exit R_ideal.
Authors: We appreciate this observation. Our construction for the upper bound proceeds by gluing copies of the regular ideal octahedron (which has all dihedral angles π/2) along entire faces. Because the gluings identify faces with matching right angles and introduce no new edges with non-right angles, the resulting polyhedron remains in R_ideal at each finite stage; the limiting normalized volume is therefore attained within the class. We will add a dedicated paragraph in the relevant section that explicitly verifies dihedral-angle preservation under the gluing parameters, independent of volume control. revision: yes
-
Referee: Density statement for Ω(R_ideal) on [1/4 v_oct, 1/2 v_oct] (the section constructing the dense sequence P_n with ver(P_n)→∞): the limiting process must be shown to keep all dihedral angles fixed at π/2. If the parameters are chosen solely to adjust volume while the right-angled condition is only verified for base cases, the limit objects may fail to lie in R_ideal, undermining the density claim.
Authors: We agree that an explicit check is needed. The sequence P_n is obtained by successive combinatorial gluings of right-angled polyhedra (starting from the octahedron and smaller right-angled pieces) along faces; each gluing preserves dihedral angles of π/2 by the local geometry of the faces. The parameters control only the number of vertices and total volume while the angle condition is maintained inductively. We will revise the section to include a short inductive argument confirming that every P_n lies in R_ideal, so the accumulation points of their normalized volumes lie in the claimed dense interval. revision: yes
Circularity Check
No circularity; results derived from explicit geometric constructions and volume calculations in hyperbolic 3-space.
full rationale
The paper defines normalized volume ω(P) = vol(P)/ver(P) directly from hyperbolic volume and vertex count, then proves interval membership, sharpness, discreteness, and density for Ω(R_ideal) and Ω(R_comp) via constructions of right-angled polyhedra, gluings, and limiting processes that preserve dihedral angles π/2. These steps rely on standard hyperbolic geometry (e.g., ideal octahedron and tetrahedron volumes) and explicit families rather than any fitted parameter renamed as prediction, self-definitional loop, or load-bearing self-citation that reduces the central claims to inputs. The derivation chain is self-contained against external hyperbolic volume formulas and does not invoke uniqueness theorems or ansatzes from the authors' prior work in a circular manner.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms and volume properties of hyperbolic 3-geometry
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.1: spectrum Ω(R_ideal) belongs to [1/6 v_oct, 1/2 v_oct], discrete in [1/6 v_oct, 1/4 v_oct) and dense in [1/4 v_oct, 1/2 v_oct]
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
D. V. Alekseevskij, E. B. Vinberg, A. S. Solodovnikov,Geometry of spaces of constant curvature, in: Geometry II, Encyclopedia Math. Sci.29, Springer, Berlin (1993), 1–138. 3
work page 1993
-
[4]
S. A. Alexandrov, N. V. Bogachev, A. Yu. Vesnin, A. A. Egorov,On volumes of hyperbolic right-angled polyhedra, Sb. Math.214:2(2023), 148–165. 7, 11
work page 2023
-
[5]
E. M. Andreev,On convex polyhedra of finite volume in Lobachevskii space, Math. USSR-Sb.12:2(1970), 255–259. 3
work page 1970
-
[6]
E. M. Andreev,On convex polyhedra in Lobachevskii spaces, Math. USSR-Sb.10:3(1970), 413–440. 3
work page 1970
-
[7]
C. Atkinson,Volume estimates for equiangular hyperbolic Coxeter polyhedra, Algebraic & Geometric Topology 9(2009), 1225–1254. 2, 3, 6, 11
work page 2009
-
[8]
Belletti,The maximum volume of hyperbolic polyhedra, Trans
G. Belletti,The maximum volume of hyperbolic polyhedra, Trans. Amer. Math. Soc.374(2)(2021), 1125–1153. 1
work page 2021
-
[9]
N. Bogachev, S. Douba,Geometric and arithmetic properties of L¨ obell polyhedra, Algebr. Geom. Topol.25:4 (2025), 2281–2295. 8
work page 2025
-
[10]
A. A. Borisenko, A. Yu. Vesnin, N. M. Ivochkina,On the 100th anniversary of the birth of Aleksei Vasil’evich Pogorelov, Russian Math. Surveys74:6(2019), 1135–1157. 8
work page 2019
-
[11]
G. Brinkmann, S. Greenberg, C. Greenhill, B. D. McKay, R. Thomas, P. Wollan,Generation of simple quad- rangulations of the sphere, Discrete Mathematics305(2005), 33–54. 4, 5
work page 2005
-
[12]
S. D. Burton,The spectra of volume and determinant densities of links, Topology and its Applications211 (2016), 38–55. 2 20 A. EGOROV, A. VESNIN
work page 2016
- [13]
-
[14]
A. Champanerkar, I. Kofman, J. S. Purcell,Geometrically and diagrammatically maximal knots, Journal of the London Mathematical Society94:3(2016), 883–908. 2
work page 2016
-
[15]
F. Costantino, F. Gueritaud, R. van der Veen,On the volume conjecture for polyhedra, Geom. Dedicata179 (2015), 385–409. 1
work page 2015
- [16]
- [17]
- [18]
-
[19]
U. Haagerup, H. Munkholm,Simplices of maximal volume in hyperbolic n-space, Acta Math.147(1981), 1–11. 1
work page 1981
-
[20]
T. Inoue,Organizing volumes of right-angled hyperbolic polyhedra, Algebraic & Geometric Topology8(2008), 1523–1565. 7, 8, 9
work page 2008
-
[21]
T. Inoue,Exploring the list of smallest right-angled hyperbolic polyhedra, Experimental Math.31:1(2022), 165–183. 2, 9
work page 2022
-
[22]
A. Kwon,Fully augmented links in the thickened torus, Algebraic & Geometric Topology25:3(2025), 1411–1432. 3
work page 2025
-
[23]
A. Kwon, Y. H. Tham,On the volume density spectrum of fully augmented links, Journal of Knot Theory and Its Ramifications34:05(2025), 2550011. 2, 17
work page 2025
-
[24]
Lackenby,The volume of hyperbolic alternating link complements
M. Lackenby,The volume of hyperbolic alternating link complements. With an appendix by I. Agol and D. Thurston, Proc. London Math. Soc.88(2004), 204–224. 3, 4, 17
work page 2004
-
[25]
Milnor,Hyperbolic geometry: the first 150 years, Bull
J. Milnor,Hyperbolic geometry: the first 150 years, Bull. Amer. Math. Soc.6(1982), 9–24. 1, 5
work page 1982
-
[26]
A. V. Pogorelov,A regular partition of Lobachevskian space, Math. Notes1:1(1967), 3–5. 8
work page 1967
-
[27]
V. V. Prasolov.Elements of combinatorial and differential topology. AMS, 2022. 3
work page 2022
-
[28]
J. S. Purcell,An introduction to fully augmented links, Interactions between hyperbolic geometry, quantum topology and number theory, Contemp. Math.541, Amer. Math. Soc., Providence, RI, 2011, 205–220. 3, 4, 17
work page 2011
-
[29]
R. K. W. Roeder, J. H. Hubbard, W. D. Dunbar,Andreev’s theorem on hyperbolic polyhedra, Ann. Inst. Fourier Grenoble57(2007) 825–882. 3
work page 2007
-
[30]
W. P. Thurston,The Geometry and Topology of Three-Manifolds, Collected Works of William P. Thurston with Commentary, Vol. IV, With a preface by S. P. Kerckhoff, Edited by B. Farb, D. Gabai and S. P. Kerckhoff, American Mathematical Society, Providence, RI, 2022. 5
work page 2022
-
[31]
A. Yu. Vesnin,Three-dimensional hyperbolic manifolds of L¨ obell type, Siberian Math. J.28:5(1987), 731–734. 8
work page 1987
-
[32]
A. Yu. Vesnin,Volumes of hyperbolic L¨ obell 3-manifolds, Math. Notes64:1(1998), 15–19. 8
work page 1998
-
[33]
Vesnin,Volumes and Normalized Volumes of Right-Angled Hyperbolic Polyhedra, Atti Semin
A. Vesnin,Volumes and Normalized Volumes of Right-Angled Hyperbolic Polyhedra, Atti Semin. Mat. Fis. Univ. Modena Reggio Emilia57(2010), 159–169. 2
work page 2010
-
[34]
A. Yu. Vesnin,Right-angled polyhedra and hyperbolic 3-manifolds, Russian Math. Surveys72:2(2017), 335–374. 1
work page 2017
- [35]
-
[36]
A. Yu. Vesnin, A. A. Egorov,Upper bounds for volumes of generalized hyperbolic polyhedra and hyperbolic links, Siberian Math. J.65:3(2024), 534–551. 3, 4, 17
work page 2024
-
[37]
A. Yu. Vesnin, A. A. Egorov,The right-angled Coxeter group of minimal covolume in three-dimensional hyper- bolic space, Siberian Math. J.66:6(2025), 1374–1389. 19
work page 2025
-
[38]
A. Yu. Vesnin, D. Repovˇ s,Two-sided bounds for the volume of right-angled hyperbolic polyhedra, Math. Notes 89:1(2011), 31–36. 10 Sobolev Institute of Mathematics, Novosibirsk, Russia Email address:a.egorov2@g.nsu.ru Sobolev Institute of Mathematics, Novosibirsk, Russia Email address:vesnin@math.nsc.ru
work page 2011
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.