Coverings with congruent and non-congruent hyperballs generated by doubly truncated Coxeter orthoschemes
Bibliographic record
Abstract
After the investigation of the congruent and non-congruent hyperball packings related to doubly truncated Coxeter orthoscheme tilings [Acta Univ. Sapientiae, Mathematica, 11, 2 (2019), 437–459], we consider the corresponding covering problems. In Non-fundamental trunc-simplex tilings and their optimal hyperball packings and coverings in hyperbolic space the authors gave a partial classification of supergroups of some hyperbolic space groups whose fundamental domains will be integer parts of truncated tetrahedra, and determined the optimal congruent hyperball packing and covering configurations belonging to some of these classes. In this paper, we complement these results with the investigation of the non-congruent covering cases and the remaining congruent cases. We prove, that between congruent and non-congruent hyperball coverings the thinnest belongs to the $\{7,3,7\}$ Coxeter tiling with density $\approx 1.26829$. This covering density is smaller than the conjectured lower bound density of L. Fejes Tóth for coverings with balls and horoballs. We also study the local packing arrangements related to $\{u,3,7\}$ $(6< u < 7, ~ u\in \mathbb{R})$ doubly truncated orthoschemes and the corresponding hyperball coverings. We prove, that these coverings are achieved their minimum density at parameter $u\approx 6.45953$ with covering density $\approx 1.26454$ which is smaller than the above record-small density, but this hyperball arrangement related to this locally optimal covering can not be extended to the entire $\mathbb{H}^3$. Moreover, we see that in the hyperbolic plane $\mathbb{H}^2$ the universal lower bound of the congruent circle, horocycle, hypercycle covering density $\sqrt{12}/\pi$ can be approximated arbitrarily well also with non-congruent hypercycle coverings generated by doubly truncated Coxeter orthoschemes.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
How this classification was reachedexpand
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.001 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.001 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.001 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.001 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.001 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from itClassification
machine, unvalidatedMachine predicted; a candidate call from one teacher head, not a consensus.
How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".