Timothy Chow of MIT has proposed a new Polymath project: resolve Rota’s basis conjecture.
What’s that? It’s this:
… if
, , , are bases of an -dimensional vector space (not necessarily distinct or disjoint), then there exists an grid of vectors ( ) such that 1. the
vectors in row are the members of the th basis (in some order), and 2. in each column of the matrix, the
vectors in that column form a basis of .
Easy to state, but apparently hard to prove!