3 problems

Hamiltonian-path conjecture. The equalities

Sharpness conjecture. For every $n\geq 3$, there exists an $n$-cube antichain $S$ such that

Projection conjecture. If all projections $\pi_j$ are injective, then