The -qubit Dicke state with excitations is the normalized equal superpositionwhere is the Hamming weight in the computational basis. The binomial coefficient counts the mutually orthogonal summands, proving normalization. Every permutation of the qubits leaves the vector unchanged. Splitting the sum according to the first bit and using givesTerms with zero coefficient are omitted at the endpoints. This recursion is useful for partial traces and for distributing a logical qubit among many symmetric physical qubits.
New to topics? Read the docs here!