Multi-Vector Embeddings are Provably More Expressive than Single Vector Embeddings | ResearchPod