arXiv++ Combinatorics

In a binary groupoid $(G, *)$, a Fibonacci sequence is a recurrent sequence defined by $f_1 = a, f_2 = b, \ldots, f_n = f_{n - 2} * f_{n - 1}$. A universal Fibonacci sequence (UFS) is a singly or doubly infinite sequence whose set of suffixes coincides precisely with the set of all Fibonacci sequences in the groupoid. This paper studies UFS-groupoids, i.e., groupoids that admit a universal Fibonacci sequence (UFS). It is shown that every nontrivial UFS-groupoid is at most countable, locally cyclic, and non-power-associative; that the right-cancellative law holds for all but possibly one pair of elements; that no neutral element or zero element exists; and that there is at most one idempotent element. It has been proved that the class of UFS-groupoids is closed under taking subgroupoids and homomorphic images, but is not closed under finite direct products. A complete classification of UFS-groupoids is given in terms of the cardinality of $G$ and the periodicity of the UFS. Finite UFS-groupoids are described combinatorially via de Bruijn sequences. The number of distinct UFS-groupoids on a finite set is determined, and explicit constructions are provided for both finite and infinite cases across all periodicity classes.

In 1998, E. Couselo, S. González, V. T. Markov, and A. A. Nechaev introduced the notions of recursive codes and recursively differentiable quasigroups. They conjectured that recursive MDS codes of dimension $2$ and length $4$ exist over every finite alphabet of size $q \not\in \{2, 6\}$, and verified this conjecture in all cases except $q \in \{14, 18, 26, 42\}$. In 2008, V. T. Markov, A. A. Nechaev, S. S. Skazhenik, and E. O. Tveritinov resolved the case $q=42$ by providing an explicit construction. The present paper settles the outstanding case $q=26$. The construction rests upon methods for producing recursively differentiable quasigroups and recursive MDS codes via perfect cyclic Mendelsohn designs. Moreover, we sharpen several known bounds concerning the existence of recursively $n$-differentiable quasigroups of small orders.