Write and abbreviate the Dicke states by . Alice's shared resource has decomposition
Follow the actual circuit order: a controlled-NOT gate from the input to , a Hadamard gate on the input and a Pauli X gate on , followed by computational basis measurements. Just before measurement, the joint vector is
The Dicke states in each branch are orthogonal, so each branch has squared norm . Conditioning on outcome and normalizing therefore gives the state of the other parties:
This is the encoding used in Dicke-resource telecloning. The extra Pauli X gate on Alice's resource qubit is essential to the displayed ordering of the amplitudes.