Greedy Packing of Nested Rings: Placement Rules, a Golden Counterexample, and a Tribonacci Floor
Abstract
We study packings of annuli of a common width, allowing each ring to nest inside the hole of a larger one. The objectives of maximizing contact area and cardinality diverge: area is superadditive in the radius, cardinality is not. Under superincreasing radii, every descending greedy maximizes every positive, strictly increasing, superadditive objective. More strongly, any choice among feasible containers yields the lexicographically maximal feasible set, for containers of arbitrary shape in every dimension. This placement irrelevance holds unconditionally for at most three rings and fails at four in disks and squares; twin instances exclude every universal rule based only on the observable state. Write ρ=maxi(∑j>irj)/ri. The additive model has threshold exactly $1$. For disks we prove the exact global threshold τ=φ, with no failure at ρ≤φ, for every finite inventory, even with independent hole radii. The key geometric theorem states that, under golden tail bounds, an entire disk list fits a circular container if and only if its three largest disks fit; this supplies the uniform exchange of parents that the threshold proof needs. The Tribonacci constant T≈1.83929 remains the exact floor of a rigid subfamily. A dimension-reduction lemma transfers spherical sharpness results to all dimensions d≥2, and a separate argument proves the golden threshold for at most five rings in those dimensions. For square pans, a Cartesian confinement criterion gives twins and a family proving τ□≤ Y≈1.6845; its optimality is open. For independent holes, the exact universal area guarantee under ρ≤κ<1 is min(1,κ−2−1), with threshold 1/√2. The repository has 122 Lean theorems. Euclidean geometry, forest assembly and continuity remain written proofs; numerical checks do not substitute for them.
Related
- A counterexample to Nagamochi's scoring lemma and a new rectangle packing bound
- On periods of the Tribonacci sequence modulo primes
- Tribonacci numbers that are palindromic concatenations of two distinct repdigits
- Inverse powers and 2-adic properties of binary 3 x 3 matrices associated with the Tribonacci sequence
- Pillai's equation between k-generalized Pell numbers and Tribonacci numbers
BibTeX
@misc{martin2026greedy,
title = {{Greedy Packing of Nested Rings: Placement Rules, a Golden Counterexample, and a Tribonacci Floor}},
author = {Javier Aguilar Martín},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.15554},
eprint = {2609.15554},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.15554},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Greedy Packing of Nested Rings: Placement Rules, a Golden Counterexample, and a Tribonacci Floor
AU - Javier Aguilar Martín
PY - 2026
DA - 2026/09/15
PB - arXiv
DO - 10.48550/arxiv.2609.15554
UR - https://arxiv.org/abs/2609.15554
AB - We study packings of annuli of a common width, allowing each ring to nest inside the hole of a larger one. The objectives of maximizing contact area and cardinality diverge: area is superadditive in the radius, cardinality is not. Under superincreasing radii, every descending greedy maximizes every positive, strictly increasing, superadditive objective. More strongly, any choice among feasible containers yields the lexicographically maximal feasible set, for containers of arbitrary shape in every dimension. This placement irrelevance holds unconditionally for at most three rings and fails at four in disks and squares; twin instances exclude every universal rule based only on the observable state. Write ρ=max_i(∑_j>ir_j)/r_i. The additive model has threshold exactly $1$. For disks we prove the exact global threshold τ=φ, with no failure at ρ≤φ, for every finite inventory, even with independent hole radii. The key geometric theorem states that, under golden tail bounds, an entire disk list fits a circular container if and only if its three largest disks fit; this supplies the uniform exchange of parents that the threshold proof needs. The Tribonacci constant T≈1.83929 remains the exact floor of a rigid subfamily. A dimension-reduction lemma transfers spherical sharpness results to all dimensions d≥2, and a separate argument proves the golden threshold for at most five rings in those dimensions. For square pans, a Cartesian confinement criterion gives twins and a family proving τ_□≤ Y≈1.6845; its optimality is open. For independent holes, the exact universal area guarantee under ρ≤κ<1 is min(1,κ^−2−1), with threshold 1/√2. The repository has 122 Lean theorems. Euclidean geometry, forest assembly and continuity remain written proofs; numerical checks do not substitute for them.
ER -