On upper bounds of frieze patterns
arXiv:2407.16717
Abstract
In this note, we show that the sequence of maximum values in frieze patterns of type is the sequence of Fibonacci numbers, and that of frieze patterns of type is the sequence of odd Fibonacci numbers.
Latest version with upper bounds in types An and Cn. Note associated to a Lean4 formalisation project available on GitHub