arXiv++ Combinatorics

We count Schreier sets that satisfy a neighborhood condition, including $k$-clustered, $k$-consecutive-free, $k$-neighbored, $k$-isolated, and closed under integral $2$-averages. For the first four conditions, we determine the initial counts and prove linear recurrence relations. For the last condition, we prove a recurrence that involves the divisor counting function.

A finite nonempty set $F\subset\mathbb{N}$ is Schreier if $\min F\ge |F|$. First, we prove a linear recurrence relation and compute initial counts for Schreier sets consisting of intervals. Two intervals of integers are separated if their union is not an interval. If $\mathcal J_{k,n}$ is the collection of Schreier sets that are the union of exactly $k$ separated intervals, then the sequence $(|\mathcal{J}_{k,n}|)_{n=1}^\infty$ satisfies the characteristic polynomial $p_k(x) = (x-1)^{2k+1}(x+1)^k$. Furthermore, we introduce the new concept of $k$-super-Schreier sets and let $\mathcal{S}_{k,n}$ denote the collection of $k$-super Schreier sets whose maximum is $n$. We show that the sequence $(|\mathcal{S}_{k,n}|)_{n=1}^\infty$ satisfies a Fibonacci-type recurrence with a remainder term expressible as a polynomial of $n$.

We demonstrate several common techniques for proving linear recurrences from counting Schreier-type sets. These techniques include formula-based arguments, bijective proofs, mathematical induction, the inclusion-exclusion principle, and the characteristic polynomial method. As new contributions, we examine symmetric maximal Schreier sets, Schreier sets that contain a prescribed integer, and Schreier sets that avoid integers belonging to a fixed arithmetic progression. Along the way, we employ useful techniques for identifying meaningful patterns in data and establishing technical identities. The results presented here, together with the diverse proof techniques employed, are expected to serve as a valuable resource for undergraduate researchers interested in this area.

A nonempty set $F$ is Schreier if $\min F\ge |F|$. Bird observed that counting Schreier sets in a certain way produces the Fibonacci sequence. Since then, various connections between variants of Schreier sets and well-known sequences have been discovered. Building on these works, we prove a linear recurrence for the sequence that counts multisets $F$ with $\min F\ge p|F|$. In particular, if we let $$\mathcal{A}^{(s)}_{p, n}\ :=\ \{F\subset \{\underbrace{1, \ldots, 1}_{s}, \ldots, \underbrace{n-1, \ldots, n-1}_{s}, n\}\,:\,n\in F\mbox{ and }\min F\ge p|F|\},$$ then $$|\mathcal{A}^{(s)}_{p, n}| = \sum_{i=0}^s|\mathcal{A}^{(s)}_{p, n-1-ip}|.$$ If we color $s$ copies of the same integer by different colors from $1$ to $s$, i.e., $\mathcal{B}^{(s)}_{p, n}:= $ $$\{F\subset \{1_{1}, \ldots, 1_{s}, \ldots, (n-1)_1, \ldots, (n-1)_{s}, n\}\,:\,n\in F\mbox{ and }\min F\ge p|F|\},$$ then $$|\mathcal{B}^{(s)}_{p, n}| = \sum_{i=0}^s \binom{s}{i}| \mathcal{B}^{(s)}_{p, n-1-ip}|.$$ Lastly, we count Schreier sets that do not admit multiples of a given integer $u\ge 2$ and witness linear recurrences whose coefficients are drawn from the $u$th row of the Pascal triangle and have alternating signs, except possibly the last one.

A finite nonempty set $F$ is said to be Schreier (maximal Schreier, respectively) if $\min F\ge |F|$ ($\min F = |F|$, respectively). For $k,n\in\mathbb{N}$, let $$s_{k,n}\ :=\ |\{F\subset\{k, 2k,\ldots, nk\}\,:\, F\mbox{ is Schreier and }nk\in F\}|.$$ We show that $(s_{k,n})_{n=1}^\infty$ is a subsequence with terms taken periodically from the Padovan-like sequence $(a_{k,n})_{n=0}^\infty$ defined as: $a_{k,0} = a_{k,1} = 1, a_{k, 2} = \cdots = a_{k, k} = 2$, and $$a_{k, n}\ =\ a_{k,n-k} + a_{k,n-k-1},\mbox{ for } n\ge k+1.$$ As an application, we obtain an alternative proof of the linear recurrence of $(s_{k,n})_{n=1}^\infty$ discovered by Beanland et al. Furthermore, a similar result holds for the sequence $(s^{(m)}_{k,n})_{n=1}^\infty$ that counts maximal Schreier sets. Finally, we prove that $$s^{(m)}_{k,n}\ =\ 2s_{k,n}-s_{k,n+1}, \mbox{ for all }n\ge 1.$$

For a finite set $A\subset\mathbb{N}$ and $k\in \mathbb{N}$, let $ω_k(A) = \sum_{i\in A, i\neq k}1$. For each $n\in \mathbb{N}$, define $$a_{k, n}\ =\ |\{E\subset \mathbb{N}\,:\, E = \emptyset\mbox{ or } ω_k(E) < \min E\leqslant \max E\leqslant n\}|.$$ First, we prove that $$a_{k,k+\ell} \ =\ 2F_{k+\ell},\mbox{ for all }\ell\geqslant 0\mbox{ and }k\geqslant \ell+2,$$ where $F_n$ is the $n$th Fibonacci number. Second, we show that $$|\{E\subset \mathbb{N}\,:\, \max E = n+1, \min E > ω_{2,3}(E), \mbox{ and }|E|\neq 2\}|\ =\ F_{n},$$ where $ω_{2,3}(E) = \sum_{i\in E, i\neq 2, 3}1$.

A nonempty set $A\subset\mathbb{N}$ is $\ell$-strong Schreier if $\min A\geqslant \ell|A|-\ell+1$. We define a set of positive integers to be sparse if either the set has at most two numbers or the differences between consecutive numbers in increasing order are non-decreasing. This note establishes a connection between sparse Schreier-type sets and (restricted) partition numbers. One of our results states that if $\mathcal{G}_{n,\ell}$ consists of partitions of $n$ that contain no parts in $\{2, \ldots, \ell\}$, and \begin{equation*} \mathcal{A}_{n,\ell} \ :=\ \{A\subset \{1, \ldots, n\}\,:\, n\in A, A\mbox{ is sparse and }\ell\mbox{-strong Schreier}\}, \end{equation*} then $$|\mathcal{A}_{n,\ell}|\ =\ |\mathcal{G}_{n-1,\ell}|, \quad n, \ell\in \mathbb{N}.$$ The special case $\mathcal{G}_{n-1, 1}$ consists of all partitions of $n-1$. Besides partitions, integer compositions are also investigated.

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.

A set $A$ of positive integers is said to be Schreier if either $A = \emptyset$ or $\min A\ge |A|$. We give a bijective map to prove the recurrence of the sequence $(|\mathcal{K}_{n, p, q}|)_{n=1}^\infty$ (for fixed $p\ge 1$ and $q\ge 2$), where $$\mathcal{K}_{n, p, q} \ = \ \{A\subset \{1, \ldots, n\}\,:\, \mbox{either }A = \emptyset \mbox{ or } (\max A-\max_2 A = p\mbox{ and }\min A\ge |A|\ge q)\}$$ and $\max_2 A$ is the second largest integer in $A$, given that $|A|\ge 2$. When $p = 1$ and $q=2$, we have that $(|\mathcal{K}_{n, 1, 2}|)_{n=1}^\infty$ is the Fibonacci sequence. As a corollary, we obtain a new combinatorial interpretation for the sequence $(F_n + n)_{n=1}^\infty$.

Recently, a relation between Schreier-type sets and Turán graphs was discovered. In this note, we give a combinatorial proof and obtain a generalization of the relation. Specifically, for $p, q\ge 1$, let $$\mathcal{A}_q := \{F\subset\mathbb{N}: |F| = 1 \mbox{ or }F\mbox{ is an arithmetic progression with difference } q\}$$ and $$Sr(n, p, q)\ :=\ \#\{F\subset \{1, \ldots, n\}\,:\, p\min F\ge |F|\mbox{ and }F\in \mathcal{A}_q\}.$$ We show that $$Sr(n, p, q) \ =\ T(n+1, pq+1, q),$$ where $T(\cdot, \cdot, \cdot)$ is the number of edges of an $n$-vertex graph that is a modification of Turán graphs. We also prove that $Sr(n,p,q)$ is the partial sum of certain sequences.

We prove a linear recurrence relation for a large family of generalized Schreier sets, which generalizes the Fibonacci recurrence proved by Bird and higher order Fibonacci recurrence proved by the second author et al. Furthermore, we show a relationship between Schreier-type sets and Turán graphs.

Let $0\le α\le β\le 1$. For any finite set $B\subset\mathbb{N}$, we show that there exists a set $A\subset\mathbb{N}$ such that $\underline{d}(A+B) = α$ and $\bar{d}(A+B) = β$, where $\underline{d}(A+ B)$ and $\bar{d}(A+B)$ are the lower and upper asymptotic densities of the set $A+B$, respectively. This partially answers a question by Faisant et al. A theorem involving the so-called highly sparse sets was proved in the previous arXiv version of this note; however, as pointed out by Sai Teja Somu, the proof of the theorem was flawed. The theorem is now an open question.

Let $(F_n)_{n\ge 1}$ be the Fibonacci sequence. Define $P(F_n): = (\sum_{i=1}^n F_i)_{n\ge 1}$; that is, the function $P$ gives the sequence of partial sums of $(F_n)$. In this paper, we first give an identity involving $P^k(F_n)$, which is the resulting sequence from applying $P$ to $(F_n)$ $k$ times. Second, we provide a combinatorial interpretation of the numbers in $P^k(F_n)$.

We count the number of subsets of $\{1,2,\cdots,n\}$ under different conditions and study the sequence obtained as we let $n$ increase.