Orthogonal basis for functions over a slice of the Boolean hypercube

We present an orthogonal basis for functions over a slice of the Boolean hypercube. Our basis is also an orthogonal basis of eigenvectors for the Johnson and Kneser graphs. As an application of our basis, we streamline Wimmer’s proof of Friedgut’s theorem for slices of the Boolean hypercube.