Ab initio exact diagonalization simulation of the Nagaoka transition in quantum dots