Assume that $A \in \mathbb{R}^{n \times n}$ has nonnegative entries and $AA^T = I_n$ where $I_n$ is the identity matrix. Is it true that $A$ should be a permutation matrix?
EDIT: I seem to have a proof for doubly stochastic matrices based on the Birkhoff theorem. Here is another related question: Is the set of nonnegative matrices the conic hull of permutation matrices?