Euler's partition theorem and lecture hall partition theorem

Euler's partition theorem was an important step in the establishment of Integer Partitions as a field in its own right.

It has attracted many great mathematicians' attention, including Sylvester, and has foreshadowed a number of further results.

Another deep result in Partition Theory is the beautiful Lecture Hall Partition Theorem, which is a finite version of Euler's identity.

In this work, we introduce the lecture hall length to partitions into distinct parts, and devise a bijection from partitions into odd parts to partitions into distinct parts, which unifies many results together.

Various recent theorems regarding the minima excludant and block index become immediate consequences of this bijection.

We also pose an interesting conjecture which may uncover a deep relation between Euler's partition theorem and lecture hall partition theorem.