---
title: Dicke State Initialization
url: https://www.emergentmind.com/topics/dicke-state-initialization
type: topic
---

# Dicke State Initialization

Dicke state initialization is the preparation of a many-body state in a fixed-excitation, permutation-symmetric sector of Hilbert space. For qubits, the standard Dicke state of weight \(k\) on \(n\) sites is
\[
\ket{D_{n,k}}=\binom{n}{k}^{-1/2}\sum_{\substack{x\in\{0,1\}^n\\ \mathrm{HW}(x)=k}}\ket{x},
\]
the equal-amplitude superposition of all computational-basis strings with Hamming weight \(k\). In collective-spin notation it is the fully symmetric state \(\ket{J=n/2,\;m=k-n/2}\). Initialization methods exploit this symmetry in distinct ways: some project onto Dicke eigenspaces by measurement, some synthesize exact unitaries, some use dissipative pumping into a steady state, and others follow adiabatic or resonance-selective trajectories through the Dicke ladder [2104.14310], [1904.07358].

## 1. State structure and symmetry classes

For spin-\(\tfrac12\) systems, Dicke states are the orthonormal basis of the fully symmetric subspace, and the relevant label is the excitation number \(k\), or equivalently the collective-spin magnetization \(m=k-n/2\). In this representation, the symmetric sector of \(N\) qubits has dimension \(N+1\), which is the basis used explicitly in symmetry-reduced control constructions for Ising-coupled systems [2302.12483].

The literature also distinguishes symmetric and asymmetric Dicke states. In the donor-spin silicon proposal, Dicke states are defined as common eigenstates of \(\hat J^2\) and \(\hat J^z\), with fully symmetric states corresponding to maximal total spin \(J=NI\), while states with \(J\neq NI\) are termed asymmetric Dicke states. That work further introduces a complete many-body basis \(\ket{J,M,\{j_{l,k}\}}\) obtained by iterative partitioning of the nuclei into subsets, so Dicke-state initialization is not restricted to the fully symmetric manifold alone [1109.5495].

Higher-dimensional generalizations preserve the same organizing principle. Spin-\(s\) Dicke states are defined by repeated action of the total lowering operator,
\[
\ket{D^{(s)}_{n,k}}=a^{(s)}_{n,k}\,(\mathbb S^-)^k\ket{0}^{\otimes n},
\]
with \(k=0,\dots,2sn\), and reduce to ordinary qubit Dicke states for \(s=\tfrac12\) [2402.03233]. A distinct generalization is the \(SU(d)\) qudit Dicke state \(\ket{D^n(\vec k)}\), the symmetric superposition of all permutations of a multiset with occupation vector \(\vec k=(k_0,\dots,k_{d-1})\), \(\sum_i k_i=n\) [2301.04989]. These extensions matter because they recast initialization as preparation of symmetry-constrained states in either collective-spin or occupation-number language rather than as a qubit-specific task.

## 2. Projection-based and heralded initialization

A direct way to initialize a Dicke state is to measure the collective quantum number that labels the symmetric sector. In the phase-estimation protocol for a spin ensemble, the \(N\) spin qubits are collectively coupled to one ancilla qubit through a \(ZZ\)-type interaction,
\[
U=e^{-i\chi t\sum_{i<j}\sigma_i^z\sigma_j^z},
\]
or an equivalent collective Ising interaction. Because Dicke states have well-defined total \(S_z\), they are eigenstates of the relevant unitary with eigenphase determined by the excitation number \(K\). Iterative quantum phase estimation then reads out the binary digits of that phase, and the measurement outcome projects the spin ensemble onto the corresponding Dicke state. Since \(K\) takes \(N+1\) values, the scheme uses \(\lceil\log_2 N\rceil+1\) ancilla measurements; the depth in ancilla rounds is therefore \(\mathcal O(\log N)\). The method is non-deterministic in the measurement-outcome sense, but conditional on the observed bit string the output state is the definite Dicke state \(\ket{D_{N,K}}\) [2104.14310].

The same projection logic extends to qudits. For spin-\(s\) Dicke states, one may first prepare a product state \(\ket{\psi(s,p)}^{\otimes n}\) whose Dicke-basis amplitudes are biased toward the target \(k\), and then apply quantum phase estimation to the operator
\[
U=\exp\!\left(2\pi i\,\mathbb K/2^\ell\right),
\]
where \(\mathbb K\) counts total digit sum. Measuring the QPE register projects onto \(\ket{D^{(s)}_{n,k}}\). The paper gives a log-depth version with depth \(\mathcal O(\log(sn))\) and a constant-depth variant using higher-dimensional ancillas and fan-out, at the cost of probabilistic repetition [2507.13308].

Heralded linear-optical generation is another measurement-conditioned route, but it differs sharply from destructive postselection. In the LQG-based optical protocol, arbitrary \(\ket{D_n^k}\) states are generated with \(3n+k\) photons by encoding the target symmetry in a Dicke digraph \(D_n^k\). The final state arises from the superposition of disjoint cycle covers of that digraph, and successful ancillary detections herald the run without destroying the output Dicke state. The protocol is explicitly designed to avoid the usual drawback of optical postselection, namely consumption of the resource state during verification [2512.20881].

## 3. Deterministic unitary circuit synthesis

Deterministic circuit constructions typically begin from an easily prepared unary seed state such as \(\ket{0}^{\otimes(n-k)}\ket{1}^{\otimes k}\) and implement a Dicke-state unitary \(U_{n,k}\). A foundational ancilla-free method is the inductive “split and cyclic-shift” construction, based on the recurrence
\[
\ket{n;\ell}
=
\sqrt{\frac{\ell}{n}}\,\ket{n-1;\ell-1}\otimes\ket{1}
+
\sqrt{\frac{n-\ell}{n}}\,\ket{n-1;\ell}\otimes\ket{0}.
\]
Its circuit size is \(O(\min(k,n-k)\cdot n)\), its depth is \(O(n)\), it requires no ancillas, and these asymptotics hold even on Linear Nearest Neighbor architectures [1904.07358].

Subsequent work reorganized this recursion into divide-and-conquer form. One line of results introduces a weight-distribution block \(WDB_{n,m,k}\) that coherently splits a unary-encoded Hamming weight between two subregisters with the correct binomial amplitudes, enabling recursive preparation on all-to-all and grid connectivities. This yields deterministic, ancilla-free circuits with total gate count \(O(kn)\), depth \(O(k\log(n/k))\) for all-to-all connectivity, and depth \(O(\sqrt{nk})\) for suitable grid layouts [2207.09998].

A later refinement compresses the divide layers further by mixing unary, one-hot, and binary encodings inside the recursion. For all-to-all connectivity, the resulting depth is
\[
O(\log(k)\log(n/k)+k),
\]
improving the previous \(O(k\log(n/k))\) bound. On an \((n_1\times n_2)\)-grid, the same balanced recursion gives depth \(O(k\log(n/k)+n_2)\) when \(k\ge n_2/n_1\), and an optimal-depth \(O(n_2)\) construction when \(k<n_2/n_1\). The paper also proves lower bounds of \(\Omega(\log n)\) for all-to-all connectivity and \(\Omega(n_2)\) for grid connectivity, establishing near-optimality in the corresponding regimes [2505.15413].

Hardware-oriented synthesis has focused on constant factors as much as asymptotics. On IBM heavy-hex devices, a divide-and-conquer implementation combined with improved Dicke-state unitaries was experimentally evaluated up to \(n=6\) qubits. For \(\ket{D_2^4}\), the reported fidelity is about \(0.87\), compared with a previous best reported value of \(0.53\), and measurement error mitigation typically increases the measured quantum fidelity by about \(0.1\) absolute [2112.12435]. A related gate-level optimization study showed that exploiting partially defined unitaries can reduce the generic deterministic circuit to
\[
5nk-5k^2-2n
\]
CNOT gates and
\[
4nk-4k^2-2n+1
\]
single-qubit gates for \(k>1\), and that the improved \(\ket{D_2^4}\) circuit performs better on `ibmqx2` than the earlier realization [2007.01681].

At the complexity-theoretic frontier, constant-depth exact preparation is known under stronger gate models. For \(k\le n/2\), there is a clean depth-\(d\) \(\QAC^0[\FANOUT_k]\) circuit of polynomial size that maps \(\ket{0^n}\) to \(\ket{D_k^n}\), and for \(k=\mathrm{polylog}(n)\) this becomes a plain \(\QAC^0\) construction using only multi-qubit Toffoli gates and single-qubit unitaries [2604.15298].

## 4. Driven-dissipative, adiabatic, and resonance-selective routes

Not all initialization schemes are gate-synthesis problems. In donor nuclear spins in silicon, cooperative pumping mediated by coupled donor electrons turns the electron system into a dissipative bridge that transfers population through a ladder of collective nuclear-spin states until the target Dicke state is the unique steady state. Only in situ Kane controls are required—electron initialization, ac A-gate control of hyperfine coupling, and J-gate control of exchange coupling—and the preparation is deterministic because the target is a steady state rather than the outcome of a finely timed coherent pulse. Numerical simulations with realistic parameters show that Dicke states of 10–20 qubits can be prepared with high fidelity; for 20 qubits, symmetric states are prepared sequentially with probability \(\ge 99.8\%\) in one control mode and \(\ge 99.5\%\) in an optimized faster mode, with preparation time \(t_p\sim 10~\mu\mathrm s\) [1109.5495].

Adiabatic protocols instead reshape the Hamiltonian so that a simple initial ground state morphs into a Dicke-state ground state. In a collective atomic ensemble or two-mode Bose–Einstein condensate, one may start from the spin coherent ground state of \(H_c=-J_x\) and interpolate toward
\[
H_n=\chi(J_z-nI)^2,
\]
whose ground state is \(\ket{J_z=n}\). Counterdiabatic driving adds approximate compensating operators \(L_1,\dots,L_4\) to suppress diabatic leakage. For \(N=30\) and short evolution time \(\chi_{\max}T=2\), the fidelity rises from about \(19\%\) without compensation to about \(91\%\) with \(L_1\), \(98.3\%\) with \(L_1\) and \(L_2\), and essentially unit fidelity with three or four operators [1510.07261].

Rapid adiabatic passage in the Dicke basis uses a different spectral feature: the avoided-crossing ladder created by one-axis twisting. With
\[
H=\chi S_z^2+\beta(t)S_z+\Omega(t)S_x,
\]
a chirped longitudinal field \(\beta(t)\) and transverse coupling \(\Omega(t)\) drive the system sequentially through neighboring Dicke states. Starting from the coherent spin state \(\ket{S,S}\), the passage can be halted at the chosen avoided crossing to prepare \(\ket{S,n}\) or interrupted earlier to generate a superposition relevant to extreme spin-squeezed metrological states. For small to moderate atom numbers, explicitly discussed up to roughly \(N\sim 1000\), the protocol is reported to be robust over a large parameter region, and the total time can be approximately independent of \(N\) if the chirp rate is scaled appropriately [2306.03190].

Selective-interaction schemes achieve initialization by isolating individual Dicke-ladder transitions. In the Dicke-Stark model, the Stark term makes the detunings depend on both photon number \(n\) and Dicke excitation number \(k\), so tuning \(\omega_q\) can render only one chosen transition resonant. For \(N=4\), successive selective TC and anti-TC resonances move the system from \(\ket{D_4^0}\ket{0}\) to \(\ket{D_4^4}\ket{0}\) in timed \(\pi/2\) pulses. The same machinery yields GHZ-state generation with reported final fidelity \(F=0.9952\) for the chosen parameters [2012.08104].

A closely related deterministic idea uses uniform all-to-all Heisenberg exchange. Starting from a Dicke state \(D_k^n\) and appending one qubit, simple time evolution under the exchange Hamiltonian plus a local \(R_z\) correction deterministically expands either \(D_k^n\to D_k^{n+1}\) or \(D_k^n\to D_{k+1}^{n+1}\). This gives an \(O(n)\)-step preparation method for arbitrary Dicke states, and a generalized all-coupled Hamiltonian can reduce the depth further in favorable cases [2008.06705].

## 5. Symmetry-restricted control and physical implementations

Initialization protocols often rely less on universal controllability than on controllability inside the symmetric manifold. For three qubits with all-to-all Ising coupling and global transverse controls,
\[
H(t)=H_{ZZ}+h_x(t)\mathcal X+h_y(t)\mathcal Y,
\]
the relevant task lives in the four-dimensional symmetric sector spanned by the Dicke basis \(\{\ket{D_a^3}\}_{a=0}^3\). Using the state-to-state controllability result attributed to Albertini and D’Alessandro for permutationally invariant initial and final states, a five-stage NMR-type sequence—three instantaneous global rotations and two finite Ising evolutions—prepares \(\ket{D_2^3}\) from \(\ket{000}\) with total duration
\[
T=\frac{\pi-\arccos(1/3)}{2J}\approx 0.95\,\frac{\hbar}{J},
\]
and generalizes to \(\ket{D_2^4}\) with \(T\approx 0.99\,\hbar/J\) [2302.12483].

The physical platforms proposed for Dicke-state initialization are correspondingly diverse. The phase-estimation projection scheme was analyzed for an ensemble of electronic spins at diamond NV centers collectively coupled to a superconducting flux qubit ancilla [2104.14310]. Cooperative pumping was formulated in the Kane-style silicon donor architecture [1109.5495]. Rapid adiabatic passage and counterdiabatic schemes target collective atomic systems and two-mode condensates [1510.07261], [2306.03190]. Exchange-based expansion was cast into a spintronic architecture of static spin qubits coupled indirectly through flying qubits emitted by a ferromagnetic reservoir [2008.06705]. Heralded linear-optical generation uses dual-rail qubits, asymmetric multiports, and \(n\)-port Fourier multiports in an LQG translation of the Dicke digraph [2512.20881].

This variety reflects a common structural point: Dicke-state initialization is easiest when the hardware natively preserves permutation symmetry or provides a collective control primitive. A plausible implication is that the distinction between “algorithmic” and “physical” preparation is often secondary to whether the device exposes the right collective conserved quantities.

## 6. Robustness, limitations, and conceptual boundaries

The main error channels depend strongly on the preparation paradigm. In ancilla-based phase estimation, fidelity is reduced by phase-estimation precision limits, ancilla decoherence, imperfect global \(ZZ\) coupling, measurement errors, and finite coherence times; because the protocol uses multiple sequential interrogations, errors accumulate, and feasibility requires interaction strength large enough that the total phase-estimation time remains short compared with decoherence times [2104.14310]. In cooperative pumping, unwanted processes arise from off-resonant coupling to other electron excited states, leakage due to finite \(N\)-dependent detuning, and nuclear dephasing, with leakage scaling roughly as \((\Gamma/\delta)^2\) when \(\delta\gg\Gamma\) [1109.5495]. In global-control pulse engineering, robustness analysis over the eight pulse parameters shows that the most sensitive parameter is the first rotation angle \(\alpha_1\), while two-parameter error landscapes are approximately elliptical because the infidelity is quadratic to leading order near the optimum [2302.12483].

A recurring boundary condition is preservation of the symmetric sector itself. In the driven Dicke model realized by transmons coupled to a 1D waveguide, the many-body reduction to collective operators \(\hat S_\pm,\hat S_z\) is valid when all transmons are identically driven, identically detuned, and placed at integer multiples of the wavelength. If the system is initialized in the symmetric ground state under those conditions, it remains in the \(S=N/2\) sector. However, the steady-state manifold is highly degenerate in the perfect model, and infinitesimal perturbations such as local dephasing, drive-phase gradients, spacing errors, or individual detunings can lift that degeneracy and qualitatively change the steady state, including selection of subradiant or dimerized attractors [2408.04935].

This should be distinguished from a different claim about superradiance. A non-Dicke initial state with nonzero dipole moment can still produce a superradiant burst; in that analysis, the decisive mechanism is decrease in the dispersion of the quantum phase, leading to synchronization of dipole-envelope phases, and the paper states explicitly that “the Dicke state is not necessary for SR” [1603.09214]. Taken together, these results suggest a precise conceptual boundary: Dicke-state initialization is not universally necessary for collective radiative enhancement, but it is necessary if the intended protocol depends on remaining inside an invariant permutation-symmetric Dicke manifold.

Higher-dimensional generalizations inherit the same trade-offs. Spin-\(s\) Dicke states admit a deterministic ancilla-free recursive circuit with total gate count \(\mathcal O(sk(2sn-k))\) [2402.03233]; arbitrary qudit Dicke states admit deterministic recursive circuits with size/depth \(\mathcal O(n^d)\) in the general \(d\)-level construction [2301.04989]; and exact canonical MPS representations provide deterministic sequential preparation, while QPE provides lower-depth probabilistic alternatives for both \(SU(2)\) spin-\(s\) and \(SU(d)\) Dicke states [2507.13308]. The broad picture is therefore not a single optimal initializer, but a family of symmetry-exploiting constructions whose best choice depends on whether the limiting resource is depth, ancilla count, measurement overhead, dissipative control, or hardware-native collective interactions.

Source: https://www.emergentmind.com/topics/dicke-state-initialization