pith. sign in

arxiv: 2512.03017 · v4 · submitted 2025-12-02 · 🧮 math.GT · math.AT· math.CO

Hyperbolic links associated to Hamiltonian subgraphs in simple 3-polytopes

Nikolai Erokhovets This is my paper

Pith reviewed 2026-05-17 02:07 UTC · model grok-4.3

classification 🧮 math.GT math.ATmath.CO MSC 57M2557M50
keywords hyperbolic linksright-angled polytopesEulerian subgraphsBorromean rings3-manifoldsbranched coveringshyperbolic geometryfinite volume
0
0 comments X

The pith

Hyperbolic links C_Γ are parametrized by nonselfcrossing Eulerian subgraphs in right-angled hyperbolic 3-polytopes with 0, 2 or 4 finite vertices.

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

The paper shows how to build links in the 3-sphere from subgraphs of right-angled polytopes in hyperbolic space. It proves that these links have complete hyperbolic structures of finite volume exactly when the polytope has limited finite vertices and the subgraph is a suitable Eulerian cycle, theta-graph or K4-graph. A criterion is given for the link to be a collection of unlinked circles. If the link is nontrivial, it must contain the Borromean rings. This links combinatorial choices on the polytope to the geometry of the complement.

Core claim

We prove that hyperbolic links C_Γ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian K4-subgraphs in hyperbolic right-angled 3-polytopes of finite volume in L^3 with 0, 2 or 4 finite vertices. We give a criterion when the link C_Γ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings.

What carries the argument

The branched covering construction N(P,Γ) with involution τ such that the quotient is S^3 and the branch set is the link C_Γ, whose hyperbolicity follows from the right-angled finite-volume structure on P.

If this is right

  • Hyperbolic links of this type are completely classified by the allowed subgraphs in the specified polytopes.
  • Nontrivial links consisting of unlinked circles in this construction always contain the Borromean rings as a sublink.
  • The hyperbolicity criterion extends to similar links in 3-manifolds other than S^3.
  • Only polytopes with 0, 2 or 4 finite vertices admit such hyperbolic links via the construction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This could provide a systematic way to construct hyperbolic link complements with controlled properties for further study of their volume or invariants.
  • The motivation from the Efimov effect suggests that these links might model phenomena in quantum mechanics involving three-body interactions.
  • Future work might explore whether analogous results hold for polytopes in other constant curvature geometries.

Load-bearing premise

The 3-polytope must be right-angled and hyperbolic with finite volume and at most four finite vertices, while the subgraph must be a nonselfcrossing Eulerian cycle, theta-subgraph or K4-subgraph.

What would settle it

A single counterexample consisting of a qualifying Eulerian subgraph in a right-angled hyperbolic polytope whose link is hyperbolic but lacks the Borromean rings would falsify the claim about nontrivial unlinked links.

Figures

Figures reproduced from arXiv: 2512.03017 by Nikolai Erokhovets.

Figure 1
Figure 1. Figure 1: Enumeration of nonselfcrossing Eulerian cycles on the octahedron Example 3.7. Example 3.6 can be generalized as follows. It is known that any antiprism A(k) (A(3) is the octahedron) is an ideal right-angled 3-polytope (see [V17]). In [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Hyperbolic links corresponding to nonselfcrossing Eulerian cycles on the octahedron k-gon k-gon [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Nonselfcrossing Eulerian cycles on the antiprism Theorem 4.2 ([V17]). Any ideal right-angled 3-polytope can be obtained by operations of an edge-twist from some k-antiprism A(k), k > 3. Remark 4.3. Operations of an edge-twist are not applicable to the octahedron, hence all the other polytopes are obtained from k-antiprisms, k > 4. In [E19, Theorem 9.13] this result was improved [PITH_FULL_IMAGE:figures/fu… view at source ↗
Figure 4
Figure 4. Figure 4: Enumeration of nonselfcrossing Eulerian cycles on A(4) 1 2 3 4 5 6 7 8-gon 8-gon 7-gon 7-gon 6-gon 6-gon 6-gon 5-gon 5-gon [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Nonselfcrossing Eulerian cycles on A(4) and the corresponding polytopes Theorem 4.4 ([E19]). A 3-polytope is an ideal right-angled 3-polytope if and only if either it is a k-antiprism A(k), k > 3, or it can be obtained from the 4-antiprism by operations of a restricted edge-twist [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: An operation of an edge-twist The following result is straightforward from the definitions. Proposition 4.5. Any edge-twist transforms a nonselfcrossing Eulerian cycle to a nonselfcross￾ing Eulerian cycle on the new polytope. Corollary 4.6. The 3-antiprism A(3) (octahedron) has exactly 2 combinatorially different non￾selfcrossing Eulerian cycles, the 4-antiprism A(4) has exactly 7 combinatorially different… view at source ↗
Figure 7
Figure 7. Figure 7: Local transformation of the Eulerian cycle γ and the corresponding flip of the polytope Q [PITH_FULL_IMAGE:figures/full_fig_p010_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Transformation of the Hamiltonian cycle Γγ. Corollary 5.4. Each circle of the link CΓ corresponding to a Hamiltonian cycle Γ on a simple 3-polytope Q is linked to at least one other circle of CΓ. Construction 5.5 (Transformation of a nonselfcrossing Eulerian cycle along conjugated ver￾tices). Given two conjugated vertices v and w of a nonselfcrossing Eulerian cycle γ of an ideal right-angled 3-polytope P w… view at source ↗
Figure 9
Figure 9. Figure 9: Hamiltonian cycle on the dodecahedron right-angled hyperbolic 3-polytopes of finite volume and almost Pogorelov polytopes different from the 4-prism (cube) and the 5-prism (see [DO01, Theorem 10.3.1] and [E19, Theorem 6.5]). Moreover, all quadrangles of the resulting polytope arise from ideal vertices. A simple 3- polytope is called an almost Pogorelov polytope, if it is different from the simplex, has no … view at source ↗
Figure 10
Figure 10. Figure 10: The Hamiltonian cycle on the permutohedron corresponding to the Hamiltonian cycle on the ideal octahedron. with geometry L 2 × R after cutting along the incompressible torus corresponding to the 4-belt consisting of pentagons. Proof. For each quadrangle of Q the Hamiltonian cycle contains either two its opposite edges, or three of its edges. In the first case after shrinking the quadrangle becomes a bigon… view at source ↗
Figure 11
Figure 11. Figure 11: The Borromean rings corresponding to a Hamiltonian theta-graph on the cube [PITH_FULL_IMAGE:figures/full_fig_p016_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: The link corresponding to a Hamiltonian theta-graph on the dodecahedron [PITH_FULL_IMAGE:figures/full_fig_p016_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Cutting off a vertex Example 7.11. Let Γ0 be the Hamiltonian theta-graph on the simplex ∆3 , obtained by deletion of any edge from the graph G(∆3 ) = K4. Up to combinatorial symmetries it is a unique theta￾graph in G(∆3 ). The link CΓ0 is a trivial circle. Then for any pair (Q, Γ) obtained from (∆3 , Γ0) by a sequence of operations of cutting off a vertex the corresponding link CΓ is trivial. Theorem 7.12… view at source ↗
read the original abstract

In a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $\Gamma$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,\Gamma)$ with an involution $\tau$ such that $N(P,\Gamma)/\langle\tau\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,\Gamma)\to S^3$ is a link $C_\Gamma\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $\Gamma$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,\Gamma)$. We give a criterion when $S^3\setminus C_\Gamma$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_\Gamma$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. We give a criterion when the link $C_\Gamma$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 3 minor

Summary. The manuscript extends prior constructions of Mednykh–Vesnin by associating to a simple 3-polytope P and a Hamiltonian cycle, theta-subgraph or K4-subgraph Γ a link C_Γ in S^3 (or a more general 3-manifold) obtained as the branch set of a 2-sheeted cover. It states a hyperbolicity criterion for the complement S^3 ∖ C_Γ to admit a complete finite-volume hyperbolic structure, proves that all such hyperbolic links arise from nonselfcrossing Eulerian cycles, theta-subgraphs or K4-subgraphs inside right-angled finite-volume polytopes in L^3 having 0, 2 or 4 finite vertices, supplies a combinatorial criterion for the components of C_Γ to be mutually unlinked, and shows that every nontrivial unlinked example contains the Borromean rings.

Significance. The parametrization of hyperbolic links by Eulerian subgraphs of right-angled polytopes and the Borromean-rings containment result are concrete contributions that link combinatorial 3-polytope theory with hyperbolic link complements. The generalization beyond S^3 and the explicit motivation from the Efimov effect are noted strengths. The work supplies a systematic source of examples whose hyperbolicity is controlled by the polytope’s Andreev realization and the Eulerian condition on Γ.

major comments (1)
  1. [§3, Theorem 3.2] §3, Theorem 3.2: the statement that the hyperbolicity criterion is necessary as well as sufficient appears to rest on an exhaustion argument over all right-angled polytopes with at most four finite vertices; the manuscript should supply an explicit reference or short argument showing that every finite-volume right-angled polytope with 0, 2 or 4 finite vertices is covered by the Andreev-type realization used in the proof.
minor comments (3)
  1. [§2] The definition of “nonselfcrossing” Eulerian subgraph is used repeatedly but is introduced only in the middle of §2; moving the definition to the beginning of the section would improve readability.
  2. [Figure 4] Figure 4 (the K4-subgraph example) would benefit from an additional label indicating which edges belong to the Eulerian subgraph Γ.
  3. [§5] A short remark comparing the new unlinked-circles criterion with the classical Borromean-rings detection in link complements would help situate the result for readers outside toric topology.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for the constructive comment on Theorem 3.2. We respond to the major comment below.

read point-by-point responses

  1. Referee: [§3, Theorem 3.2] §3, Theorem 3.2: the statement that the hyperbolicity criterion is necessary as well as sufficient appears to rest on an exhaustion argument over all right-angled polytopes with at most four finite vertices; the manuscript should supply an explicit reference or short argument showing that every finite-volume right-angled polytope with 0, 2 or 4 finite vertices is covered by the Andreev-type realization used in the proof.

    Authors: We agree that the necessity direction in Theorem 3.2 relies on the observation that every finite-volume right-angled hyperbolic 3-polytope with 0, 2 or 4 finite vertices admits an Andreev realization compatible with the Eulerian subgraph condition. The proof proceeds by enumerating the possible combinatorial types (via the known restrictions on the number of finite vertices for right-angled polytopes in L^3) and verifying that each type satisfies the Andreev conditions when the subgraph is nonselfcrossing and Eulerian. To make this explicit, we will insert a short clarifying paragraph immediately preceding the statement of Theorem 3.2 that recalls the relevant classification facts for polytopes with at most four finite vertices and notes that Andreev's theorem applies uniformly to all such combinatorial types. This is a minor expository addition that does not change any results. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The manuscript extends the Mednykh-Vesnin branched-cover construction (cited from independent prior papers) by supplying an explicit hyperbolicity criterion for the resulting links C_Γ, a parametrization theorem that enumerates them via nonselfcrossing Eulerian subgraphs inside right-angled finite-volume L^3 polytopes, and two further combinatorial statements on unlinked components and Borromean containment. None of these steps reduces by definition or by internal fitting to the input data; each is a new necessary-and-sufficient condition or correspondence proved from the geometry of the 1-skeleton and the Andreev-type realization. No self-citation load-bearing, ansatz smuggling, or renaming of known results occurs. The derivation therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard axioms of hyperbolic geometry, properties of right-angled polytopes, and combinatorial graph theory on their 1-skeletons; no free parameters or new postulated entities are introduced.

axioms (2)
  • domain assumption Existence and uniqueness properties of complete hyperbolic structures of finite volume on link complements under stated graph conditions
    Invoked to establish the criterion for S^3 minus C_Γ and its generalizations.
  • domain assumption Standard facts about right-angled polytopes in L^3 and their finite-volume hyperbolic realizations
    Used to restrict the polytopes that admit the Eulerian subgraphs yielding hyperbolic links.

pith-pipeline@v0.9.0 · 5667 in / 1620 out tokens · 86265 ms · 2026-05-17T02:07:14.475513+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

26 extracted references · 26 canonical work pages · 1 internal anchor

  1. [1]

    Hamiltonian cycles in planar cubic graphs with facial 2 ?factors, and a new partial solution of Barnette's Conjecture

    Behrooz Bagheri Gh,, Tomas Feder, Herbert Fleischner, Carlos Subi. Hamiltonian cycles in planar cubic graphs with facial 2 ?factors, and a new partial solution of Barnette's Conjecture. arXiv:1806.05483v3

    work page arXiv

  2. [2]

    Bogachev, S

    N. Bogachev, S. Douba. Geometric and arithmetic properties of L\"obell polyhedra. Algebraic&Geometric Topology 25 :4 (2025) 2281--2295

    work page 2025

  3. [3]

    A novel characterization of cubic Hamiltonian graphs via the associated quartic graphs

    S. Bonvicini, T. Pisanski. A novel characterization of cubic Hamiltonian graphs via the associated quartic graphs. Ars Mathematica Contemporanea 12(2017), 1-- 24. ArXiv: 1508.01865v1

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  4. [4]

    Brinkmann, S

    G. Brinkmann, S. Greenberg, C. Greenhill, B.D. McKay, R. Thomas, P. Wollan. Generation of simple quadrangulations of the sphere. Discrete Mathematics. 2005, V. 305, P. 33--54

    work page 2005

  5. [5]

    Victor Buchstaber and Taras Panov, Toric Topology. Math. Surv. and Monogr., 204, Amer. Math. Soc., Providence, RI, 2015

    work page 2015

  6. [6]

    Bychkov, Anton A

    Boris S. Bychkov, Anton A. Kazakov, Dmitry V. Talalaev. Modern theory of electrical networks: from matrix theorem on trees to the theory of cluster manifold. Accepted to Russian Mathematical Surveys

    work page

  7. [7]

    Champanerkar, I

    A. Champanerkar, I. Kofman, J.S. Purcell, Right-angled polyhedra and alternating links. Algebr. Geom. Topol. 22(2), 739--784 (2022). ArXiv:1910.13131v2

    work page arXiv 2022

  8. [8]

    Chepakova

    D.V. Chepakova. Manifolds corresponding to 3 -dimensional ideal right-angled polytopes. Diploma work, Lomonosov Moscow State University, 2023

    work page 2023

  9. [9]

    Davis, B

    M.W. Davis, B. Okun. Vanishing theorems and conjectures for the 2 -homology of right-angled Coxeter groups. Geometry and Topology. 5 (2001), 7--74

    work page 2001

  10. [10]

    Graham Denham and Alexander I. Suciu. Moment-angle complexes, monomial ideals, and Massey products. Pure Appl. Math. Q. 3 (2007), no. 1, 25--60

    work page 2007

  11. [11]

    V. Efimov. Energy levels arising from resonant two-body forces in a three-body system. Physics Letters B. 33 :8 (1970)

    work page 1970

  12. [12]

    Erokhovets

    N.Yu. Erokhovets. Three-dimensional right-angled polytopes of finite volume in the Lobachevsky space: combinatorics and constructions. Proc. Steklov Inst. Math., 305 , 2019, 78--134

    work page 2019

  13. [13]

    Erokhovets

    N.Yu. Erokhovets. Canonical geometrization of orientable 3 -manifolds defined by vector-colourings of 3 -polytopes. Sb. Math., 213:6 (2022), 752--793, DOI:10.1070/SM9665, arXiv: 2011.11628

    work page doi:10.1070/sm9665 2022

  14. [14]

    Erokhovets

    N.Yu. Erokhovets. Cohomological rigidity of families of manifolds associated to ideal right-angled hyperbolic 3 -polytopes. Proc. Steklov Inst. Math., 318 (2022): 90--125. arXiv: 2005.07665v4

    work page arXiv 2022

  15. [15]

    Erokhovets

    N.Yu. Erokhovets. Manifolds realized as orbit spaces of non-free Z_2^k -actions on real moment-angle manifolds. Proc. Steklov Inst. Math., 326 (2024): 177--218, arXiv:2403.00492v1

    work page arXiv 2024

  16. [16]

    Hyperelliptic four-manifolds defined by vector-colorings of simple polytopes

    Nikolai Erokhovets and Elena Erokhovets. Hyperelliptic four-manifolds defined by vector-colorings of simple polytopes. ArXiv: 2407.20575v2

    work page arXiv

  17. [17]

    Three-Dimensional Small Covers and Links, arXiv:2408.12557v1

    Vladimir Gorchakov. Three-Dimensional Small Covers and Links, arXiv:2408.12557v1

    work page arXiv

  18. [18]

    F. Kardo s . A computer-assisted proof of a Barnette's conjecture: Not only fullerene graphs are Hamiltonian. SIAM Journal on Discrete Mathematics, 34 :1 (2020), 10.1137/140984737, arXiv: math.CO/14092440

    work page doi:10.1137/140984737 2020

  19. [19]

    Limonchenko

    Ivan Yu. Limonchenko. On Higher Massey Products and Rational Formality for Moment-Angle Manifolds over Multiwedges. Proc. Steklov Inst. Math., 305 (2019), 161--181

    work page 2019

  20. [20]

    William S. Massey. Higher order linking numbers, Journal of Knot Theory and Its Ramifications. 07 :03 (1998), 393--414. Originally published in Conference on Algebraic Topology, ed. Victor Gugenheim; a collection of papers presented at the University of Illinois at Chicago Circle, June 17-June 28, 1968

    work page 1998

  21. [21]

    A.D. Mednykh. Three-dimensional hyperelliptic manifolds. Ann. Global. Anal. Geom., 8:1 (1990), 13--19

    work page 1990

  22. [22]

    Repov s and Andrei Yu

    Du s an D. Repov s and Andrei Yu. Vesnin. On a Family of Hyperbolic Brunnian Links and Their Volumes Chapter 21(pp 495-503) in Essays on Topology, Editors L. Funar and A. Papadopoulos. Springer, 2025

    work page 2025

  23. [23]

    Topology of hyperbolic manifolds, defined by right-angled polytopes of finite volume

    D.A.Tsygankov. Topology of hyperbolic manifolds, defined by right-angled polytopes of finite volume. Diploma work, Lomonosov Moscow State University, 2025

    work page 2025

  24. [24]

    Thurston

    W.P. Thurston. The geometry and topology of three-manifolds. electronic version 1.1 of 2002. A version is currently available from the Mathematical Sciences Research Institute at the URL http://www.msri.org/publications/books/gt3m/

    work page 2002

  25. [25]

    A.Yu. Vesnin. Right-angled polyhedra and hyperbolic 3 -manifolds. Russian Math. Surveys, 72:2 (2017), 335--374

    work page 2017

  26. [26]

    Vesnin, A.D

    A.Yu. Vesnin, A.D. Mednykh. Three-dimensional hyperelliptic manifolds and Hamiltonian graphs, Siberian Math. J., 40:4 (1999), 628--643

    work page 1999