Application linéaire unitaire qui relie les opérateurs de modes optiques (ou bosoniques) d'entrée aux opérateurs de modes de sortie pour un diviseur de faisceau sans perte : typiquement a' = t a + r b et b' = t b − r* a (selon conventions de phase), avec |t|^2 + |r|^2 = 1, préservant les relations de commutation et le nombre total de photons dans le cas sans perte.

Principe

Un diviseur de faisceau est un dispositif passif, linéaire et conservant l'énergie dont l'action sur les amplitudes de mode est décrite par une matrice unitaire 2×2 ; quantiquement il mélange de façon cohérente les opérateurs d'annihilation et leurs phases, autorisant l'interférence et les corrélations non classiques.

Démonstration

Un diviseur 50:50 avec t = r = 1/√2 transforme des entrées à un photon : l'état d'entrée |1>_a|0>_b devient (|1>_a'|0>_b' + |0>_a'|1>_b')/√2, et deux photons identiques entrant par des ports différents produisent l'interférence Hong–Ou–Mandel, ressortant tous deux par le même port de sortie.

Mauvaise application

Traiter un diviseur de faisceau comme un simple répartiteur d'intensité classique dans des expériences à photon unique ou sensibles à la phase (en ignorant phases d'amplitude et indiscernabilité) conduit à des prédictions erronées : l'interférence quantique et les effets d'intrication disparaissent si l'on considère seulement les intensités.

Conséquence

L'utilisation correcte de la transformation du diviseur permet l'interférence contrôlée, la création et le routage de superpositions à un photon, la génération d'intrication et la mise en œuvre de portes et mesures optiques linéaires quantiques.

Inversion

Un dispositif absorbant, non linéaire ou bruyant qui ne peut être décrit par une matrice unitaire 2×2 (ou qui nécessite des modes auxiliaires de perte) n'applique pas la transformation idéale du diviseur et ne préserve pas la cohérence ou les statistiques du nombre de photons de la même manière.

Limite

La transformation standard suppose linéarité et absence de pertes (ou modélise les pertes par couplage à des modes auxiliaires). Elle s'applique aux modes bosoniques lorsque l'appariement de mode, la polarisation et les conventions de phase sont spécifiés ; des écarts surviennent en présence de dispersion, de non‑linéarités ou d'un mauvais recouvrement modal.

Tension sémantique

Tension entre l'image classique de 'partition d'intensité' et la perspective opérateur quantique où amplitudes, phases et indiscernabilité déterminent les issues ; les conventions de phase (signes, réflection complexe) produisent plusieurs représentations matricielles équivalentes mais différentes.

Synthèse

La transformation du diviseur de faisceau est la prescription unitaire pour mélanger de façon cohérente deux modes bosoniques : préciser la réflectivité/transmissivité d'amplitude et la convention de phase pour prédire interférence, intrication et statistiques de photons, et étendre le modèle par des modes auxiliaires pour inclure les pertes réalistes.