antisymmetric wave function