Exact entanglement probability distribution of bi-partite randomised stabilizer states

We study the entanglement properties of random pure stabilizer states in spin-1/2 particles. For two contiguous groups of spins of arbitrary size we obtain a compact and exact expression for the probability distribution for the entanglement values between the two sets. This allows for exact derivations of the average entanglement and the degree of concentration of measure around this average. We also give simple bounds on these quantities. We find that for large systems the average entanglement is near maximal and the measure is concentrated around it.