This collaboration between the three physicists and Tao actually started its life in a /r/math comment thread! One of the reddit commenters pointed the physicist (I don't know which of the three was asking the question) to a mathoverflow answer of Tao's resolving a similar question. Here's the posts and it's followups:

https://www.reddit.com/r/math/comments/ci665j/linear_algebra...