Abstract:In this paper, I will bijectively prove Andrews' refinement of the Alladi-Schur theorem. I will also reproduce Andrews' recursive relations for the Alladi-Schur polynomials.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to verify Andrews' improvement on the Alladi - Schur theorem through bijective proof. Specifically, the paper mainly focuses on the following points:
1. **Proving equivalence**: Prove the equivalence between Schur partitions and Alladi partitions. That is to prove the formula:
\[
|D(m,n)| = |C(m,n)|
\]
where \( D(m,n) \) represents the set of Schur partitions, and \( C(m,n) \) represents the set of Alladi partitions.
2. **Recursive relations**: Re - establish the recursive relations for Alladi - Schur polynomials established by Andrews. These recursive relations are used for the derivation of generating functions and are helpful for understanding the partition structure.
3. **Constructing bijective mappings**: Construct specific bijective mappings, such as Schur grouping map, Alladi grouping map, Schur reduction map, etc., to achieve the conversion from one partition set to another.
4. **The concept of minimal segments**: Introduce and define in detail the concept of "minimal segments", which is a new partition structure and is helpful for better understanding and dealing with complex partition problems.
5. **Proving the core theorems**: Prove key theorems, such as Theorem 1 and Theorem 5, by strong induction, thereby finally proving the existence and correctness of the bijection.
### Brief summary
The core problem of the paper is to prove the one - to - one correspondence between Schur partitions and Alladi partitions by constructing a series of bijective mappings, and to re - establish and extend Andrews' recursive relations regarding Alladi - Schur polynomials. This not only verifies the mathematical equivalence but also provides a new perspective and tool for studying this type of partition problems.
### Key formulas
- Partition equivalence formula:
\[
|D(m,n)| = |C(m,n)|
\]
- Generating function formula:
\[
\sum_{n,m\geq0} D(m,n)x^m q^n=\prod_{n = 1}^{\infty}(1 + xq^{2n - 1}+x^2 q^{4n - 2})
\]
- Recursive relation:
\[
p(x)=\lambda(x)p(xq^2)
\]
where \(\lambda(x)=1 + xq+x^2 q^2\).
These formulas play a key role in the paper, helping to establish the connections and recursive relations between partitions.