Caterpillar decomposition conjecture for fully leafed Penrose subtrees
Caterpillar decomposition conjecture for fully leafed Penrose subtrees
Let be a fully leafed Penrose subtree. A Penrose tree is saturated if , where is the unique linear upper bound described in the source, and an appendix is a fully leafed induced subtree whose derived subtree contains precisely one leaf of -degree and at most two cells of -degree . Caterpillar decomposition conjecture.
(i) If is saturated, then is a caterpillar.
(ii) If is non-saturated, then there exist a saturated caterpillar and an appendix such that
This conjecture proposes that saturated fully leafed Penrose subtrees are exactly caterpillars, while every non-saturated one is obtained by grafting an appendix onto a saturated caterpillar. The source gives this as a formalization of observed structures; no resolution is stated.
Sources & referencesView supporting material
Primary source
Carole Porrier, Alain Goupil and Alexandre Blondin Massé, “The Leaf Function of Penrose P2 Graphs”, arXiv:2312.08262 (2025).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.