Slater determinant antisymmetry; Pauli exclusion via dual-space dual-vector wedge

Slater determinant antisymmetrisation framework (Slater 1929 Phys Rev 34, 1293). Setup: a system of N identical fermions has antisymmetric N-body wavefunction Psi(1, ..., N) under particle exchange. The Slater determinant Psi =…