Unitary Beam Splitter Transformation

• Unitary beam splitter transformation is a lossless, two-mode operation that mixes quantum optical fields using a 2×2 unitary matrix while conserving energy.
• It is implemented via precise control of parameters like theta and phi, with techniques such as MPLC achieving high fidelity in mode transformations.
• As a foundational component in quantum optics, it enables entanglement generation, universal multiport circuit construction, and advanced photonic state engineering.

A unitary beam splitter transformation is a linear, lossless, two-mode transformation that mixes input electromagnetic fields or quantum modes into output modes via a 2×2 unitary matrix. This transformation is foundational in quantum optics, photonic information processing, and the broader theory of linear interferometric networks, serving as the elementary operation for constructing universal multiport optical circuits, implementing entanglement, and performing arbitrary unitary transformations on photonic states. Recent developments, such as the multi-plane light converter (MPLC), have enabled the dynamic and programmable realization of arbitrary 2×2 unitaries in free-space with high fidelity (Martinez-Becerril et al., 2024).

1. Mathematical Structure of the Unitary Beam Splitter

A general lossless two-mode beam splitter implements a transformation on an orthonormal input basis $\{\ket{1},\ket{2}\}$, yielding output modes $\{\ket{1'},\ket{2'}\}$ via the action of a 2×2 unitary $U(\theta, \phi)$: $$U(\theta, \phi) = \begin{pmatrix} \cos\theta & i e^{-i\phi} \sin\theta \ i e^{+i\phi} \sin\theta & \cos\theta \end{pmatrix}, \quad \theta \in [0, \pi/2], \ \phi \in [-\pi, \pi)$$ The parameter $\theta$ determines the reflectivity $|R| = \sin^2\theta$ and transmissivity $|T| = \cos^2\theta$, while $\phi$ is an internal phase. Acting on an input field vector $(E_1^{\rm in}, E_2^{\rm in})^{T}$, the transformation is given by: $$\begin{pmatrix} E_1^{\rm out} \ E_2^{\rm out} \end{pmatrix} = U(\theta, \phi) \begin{pmatrix} E_1^{\rm in} \ E_2^{\rm in} \end{pmatrix}$$ The corresponding quantum operator form is $$\hat U_{BS}(\theta) = \exp[i\theta (\hat a_1^\dagger \hat a_2 + \hat a_2^\dagger \hat a_1)]$$, where $\hat a_{1,2}$ are bosonic annihilation operators (Martinez-Becerril et al., 2024, Bashmakova et al., 2024, Slaoui et al., 2023).

2. Operator Transformations and Physical Interpretation

In the Heisenberg picture, the beam splitter maps input mode operators $(\hat a_1, \hat a_2)$ to outputs $(\hat a_1', \hat a_2')$ as: $$\begin{pmatrix} \hat a_1' \ \hat a_2' \end{pmatrix} = U(\theta, \phi) \begin{pmatrix} \hat a_1 \ \hat a_2 \end{pmatrix}$$ Explicitly,

$$\hat a_1' = \cos\theta\,\hat a_1 + i e^{-i\phi} \sin\theta\,\hat a_2, \quad \hat a_2' = i e^{+i\phi} \sin\theta\,\hat a_1 + \cos\theta\,\hat a_2$$

This formulation preserves the canonical commutation relations and energy: $|\cos\theta|^2 + |\sin\theta|^2 = 1$. The transformation corresponds to an $SU(2)$ rotation in two-mode Fock space and is equivalent to a rotation on a two-dimensional Bloch sphere for single-photon dual-rail states (Ataman, 2014).

3. Realization Techniques: MPLC and Photonic Implementation

Modern MPLC systems realize arbitrary unitary transformations (including all 2×2 unitaries) by concatenating alternating phase masks and free-space propagation. Each phase mask multiplies the transverse field $\psi(x, y)$ by $e^{i\Phi_p(x, y)}$ and propagation is modelled by a unitary diffraction kernel. A sequence of $P$ such phase-diffraction layers $\{\mathcal{P}_p, \mathcal{D}_p\}$ implements an effective unitary $\mathbf{U}_d \approx U(\theta, \phi)$ when optimized for the desired input/output mode basis (Martinez-Becerril et al., 2024).

Experimental parameters include SLMs (e.g., Hamamatsu X10468-07, $792\times600$ pixels), beam waist and separation ($w_0 = 161.5\,\mu$m, $\Delta y = 704\,\mu$m), and a sequence of $P=5$ SLM planes with optional output phase correction yielding fidelities up to $0.85 \pm 0.03$ across the entire $U(2)$ manifold.

4. Embedding into Multiport and Universal Linear Networks

The 2×2 beam splitter unitary is the primitive for constructing arbitrary $N$-mode unitaries in $U(N)$. Established decompositions (e.g., Reck, Clements, de Guise factorization) recursively express any $U(N)$ as a network of $SU(2)$ beam splitter layers and phase shifters:

• Each pair of adjacent modes $(k, k+1)$ is coupled via a parametrized beam splitter block embedded into the $N$-mode space.
• The Clements and Reck schemes order these operations in triangular or rectangular meshes, requiring $O(N^2)$ beam splitters.
• Recent constructions enable the same universality with repeated concatenation of identical $N$-port multiport beam splitters (MBSs), leveraging group-connectedness properties (e.g., Pontrjagin's theorem) (Yasir et al., 16 May 2025, Guise et al., 2017, Bouland et al., 2013).

Universal photonic circuits execute arbitrary $U(N)$ by tuning the reflectivity and phase of elementary beam splitter cells, with scaling rules determined by the underlying decomposition.

5. Quantum State Engineering, Entanglement, and Measurement Effects

Unitary beam splitters provide:

• Entanglement generation between Fock, coherent, and Gaussian states. For example, a coherent state input and vacuum yields product outputs, but superpositions (cat states) injected yield maximally entangled “Bell–cat” states for balanced ($\theta=\pi/4$) beam splitters (Slaoui et al., 2023).
• Preparation and heralded detection of squeezed Fock states are enabled by conditioning on photon subtraction in one output mode of a beam-splitted entangled Gaussian input. The conditional fidelity, resource requirements, and resilience to loss and detector inefficiency have been quantitatively evaluated. The energy cost is determined by the squeezing resource rather than the beam splitter itself (Bashmakova et al., 2024).
• Transformations of the full two-mode Gaussian state covariance structure, quantified by parameters $(a, b, d)$ in the $x$-quadrature representation.

6. Fidelity, Robustness, and Experimental Metrics

The fidelity $F_G$ between a target $U_t$ and implemented $U_e$ is defined as: $$F_G(U_t, U_e) = \frac{1}{M}\sum_{m=1}^M |\bra{m} U_t^\dagger U_e \ket{m}|^2$$ or, equivalently, by overlap integrals over the transformed spatial modes. Experimental fidelity is limited by SLM phase aberrations, misalignment, mode-mismatch, and diffraction loss—typical degradations of $~20\%$ are observed for realistic SLM phase gradients.

Loss and detector inefficiency reduce conditional measurement fidelity. Beam splitter protocols for non-Gaussian state generation outperform controlled-Z gates in total energy cost and robustness to optical loss but are more sensitive to quantum detection efficiency for multi-photon subtraction (Bashmakova et al., 2024).

7. Applications and Universality

Unitary beam splitter transformations are central to:

• Programmable linear interferometers in quantum information (boson sampling, quantum gates, mode demultiplexing) (Martinez-Becerril et al., 2024).
• State preparation protocols for quantum metrology, non-Gaussian resource states, and quantum error correction (Slaoui et al., 2023, Bashmakova et al., 2024).
• Universal circuit architectures using only a fixed beam splitter and tunable phase shifters (“any nontrivial beamsplitter is universal for linear optics” for $m\geq3$ modes) (Bouland et al., 2013).
• Direct spatial-mode reconfiguration in free-space and integrated photonics, enabling high-dimensional classical and quantum information processing (Yasir et al., 16 May 2025, Martinez-Becerril et al., 2024).

• (Martinez-Becerril et al., 2024) Martinez‐Becerril et al., "Reconfigurable unitary transformations of optical beam arrays"
• (Ataman, 2014) Spasibko, Leuchs et al., "Field operator transformations in Quantum Optics using a novel graphical method..."
• (Yasir et al., 16 May 2025) Grassellino et al., "Compactifying linear optical unitaries using multiport beamsplitters"
• (Guise et al., 2017) de Guise et al., "Simple factorization of unitary transformations"
• (Slaoui et al., 2023) Saharian, et al., "Interferometric phase estimation and quantum resources dynamics in Bell coherent-states superpositions..."
• (Bashmakova et al., 2024) Korolev et al., "Comparison of Controlled-Z operation and beam-splitter transformation for generation of squeezed Fock states by measurement"
• (Bouland et al., 2013) Aaronson & Arkhipov, "Generation of Universal Linear Optics by Any Beamsplitter"
• (Delgado et al., 2023) Calatayud et al., "Quantum random walks on a beam splitter array"
• (Nikolova et al., 2023) Nikolova & Ivanov, "Laser-free method for creation of two-mode squeezed state and beam-splitter transformation with trapped ions"