 Solution

In quantum dense coding, a shared Bell pair lets Alice send two classical bits by transmitting one qubit. Use photon polarization as the computational basis, $|0⟩=|H⟩$, $|1⟩=|V⟩$, and define the Bell statesAlice and Bob initially share $|{\varphi }^{+}{⟩}_{AB}$. Alice encodes a two-bit message $(m,n)$ by applying the Pauli operator $X^n{Z}^m$ to her qubit:The last minus sign is a global phase. Alice transmits her photon to Bob, who now holds both qubits and uses a Bell-basis measurement to identify the message. The four Bell states are orthogonal, so an ideal Bell state analyzer decodes them without error. The resource cost is one previously shared Bell pair and one transmitted qubit per two classical bits; the shared quantum entanglement is consumed. Before transmission Bob's reduced density matrix is $I/2$ for every message, consistent with the no-communication theorem.

The BBO crystal supplies the polarization-entangled photon pair. An ultraviolet laser pumps this nonlinear optical crystal; spontaneous parametric down-conversion produces signal and idler photons with ${\omega }_p={\omega }_s+{\omega }_i$ and phase matching ${\mathbf{k}}_p={\mathbf{k}}_s+{\mathbf{k}}_i$. In a noncollinear type-II phase matching arrangement, collect the intersections of the two emission cones. The alternatives $|H{⟩}_A|V{⟩}_B$ and $|V{⟩}_A|H{⟩}_B$ must be indistinguishable in arrival time, spectrum and spatial mode. Compensation of birefringence and adjustment of the relative quantum phase then give $(|HV⟩+|VH⟩)/\sqrt{2}$; a local Pauli X gate converts it to $|{\varphi }^{+}⟩$. Half-wave plates and other waveplates implement Alice's Pauli gates. The BBO is the pair source; the message is encoded subsequently by the local optical elements.^[ref]

A basic passive linear optics Bell state analyzer with no extra resources identifies only two of the four polarization Bell states unambiguously. Thus the ideal two-bit capacity presupposes complete Bell-basis measurement; that basic optical implementation alone does not attain it deterministically.