Schreier Multisets and the $s$-step Fibonacci Sequences

Hung Viet Chu,Nurettin Irmak,Steven J. Miller,Laszlo Szalay,Sindy Xin Zhang

2023-06-22

Abstract:Inspired by the surprising relationship (due to A. Bird) between Schreier sets and the Fibonacci sequence, we introduce Schreier multisets and connect these multisets with the $s$-step Fibonacci sequences, defined, for each $s\geqslant 2$, as: $F^{(s)}_{2-s} = \cdots = F^{(s)}_0 = 0$, $F^{(s)}_1 = 1$, and $F^{(s)}_{n} = F^{(s)}_{n-1} + \cdots + F^{(s)}_{n-s}, \mbox{ for } n\geqslant 2$. Next, we use Schreier-type conditions on multisets to retrieve a family of sequences which satisfy a recurrence of the form $a(n) = a(n-1) + a(n-u)$, with $a(n) = 1$ for $n = 1,\ldots, u$. Finally, we study nonlinear Schreier conditions and show that these conditions are related to integer decompositions, each part of which is greater than the number of parts raised to some power.

Combinatorics

What problem does this paper attempt to address?

The paper primarily explores the relationship between Schreier sets and s-step Fibonacci sequences, introducing the concept of Schreier multisets to study these sequences. Specifically, the paper attempts to address the following issues:

1. **The relationship between Schreier multisets and s-step Fibonacci sequences**:
- The authors define a special class of sets—Schreier multisets—and prove that the number of such sets is directly related to s-step Fibonacci sequences. Specifically, for any positive integer \( n \) and \( s \geq 2 \), the number of Schreier multisets satisfying certain conditions is exactly equal to the corresponding s-step Fibonacci number \( F^{(s)}_n \).

2. **The relationship between Schreier conditions and specific linear recurrence sequences**:
- By imposing different types of Schreier conditions, the authors derive a new class of sequences \( K^{(u)}_n \), where \( u \geq 2 \), and these sequences satisfy a specific linear recurrence relation \( K^{(u)}_n = K^{(u)}_{n-1} + K^{(u)}_{n-u} \). Additionally, it is proven that the number of sets satisfying certain Schreier conditions is equal to these sequences \( K^{(u)}_n \).

3. **Counting problems under nonlinear Schreier conditions**:
- The paper further considers nonlinear Schreier conditions (e.g., \( \sqrt{\text{min }A} \geq |A| \)) and studies the number of sets satisfying such conditions through their connection with integer partitions. Specifically, two sets \( S^p_n \) and \( A^p_n \) are defined, and it is proven that their quantities are related to specific integer partition counting sequences \( K_{n,p} \).

In summary, this paper explores the profound connections between Schreier multisets and Fibonacci sequences, specific linear recurrence sequences, and integer partition counting under nonlinear conditions by introducing and studying Schreier multisets and imposing different Schreier conditions.