$\newcommand{\ket}[1]{\lvert #1 \rangle}\newcommand{\Ket}[1]{\left| #1 \right>}$
Versión corta
Debido a que usted puede utilizar beamsplitters para dividir un coherentes de estado en un producto tensorial de muchos independientes de bajo número de fotones coherentes de los estados.
Versión larga
Si usted envíe $\ket{α}$ en un beamsplitter de coeficiente de transmisión $t$ y el coeficiente de reflexión $r$ ( $|r|^2+|t|^2=1$ ), se puede obtener el producto de dos independientes coherente estados $\ket{tα}⊗\ket{rα}$. Esta propiedad caracteriza coherente de los estados, ya que cualquier otro estado de entrada conduce a un enredo en la salida de la beamsplitter.
Desde la salida de estado es un producto del estado, las estadísticas de cualquier medición realizada en una salida independiente de las de una medida perdormed en la otra salida. Además, el beamsplitter ser un componente pasivo, el número total de fotones de el estado de entrada de $\ket{\alpha}$ es la suma del número de fotones en las salidas.
Ahora, usted puede también agregar beamsplitters en las salidas, y la construcción de un árbol de divisores de haz,con $N≫|α|^2$ salidas balanceadas, la transformación de la entrada coherente estado $\ket{α}$ en el producto de $N$ coherente estados $\Ket{\tfrac{α}{\sqrt{N}}}^{⊗N}$. Como antes, el número total de fotones se conserva, por lo tanto la estadística del número de fotones de $\ket α$ es la suma de los $N$ salidas independientes, cada uno con una pequeña promedio de número de fotones $\tfrac{|α|^2}{N}$. Al $N→∞$, la única distribución de tener esta propiedad es la distribución de Poisson. QED.
Enlace con independencia de los sucesivos evento de detección de
Tenga en cuenta que, en el razonamiento anterior, el beamsplitters no necesitan ser objeto de dividir las vigas. Cualquier cosa que cambia la base del espacio-tiempo de los modos que hace el trabajo. En particular, deje que su estado coherente en la modalidad correspondiente a un pulso de luz. También puede "rebanada" el pulso en $N$ cortos intervalos de tiempo. Esta descripción es exactamente equivalente a la beamsplitter anterior, y corresponde a la intuición formulado por @AccidentalFourierTransform y @ThomasS anterior acerca de la independencia de los sucesivos detección de los fotones eventos.
En todas las descripciones anteriores, he supone implícitamente que el otro puerto de cada beamsplitter está vacía, que se recibe el vacío de estado $\ket0$. Este crucial supuesto, todavía está presente por encima de cuando me "rebanada" el estado coherente en muchos timeslices, la inicial $N-1$ vacua estar en el espacio-tiempo de los modos que son ortogonales a la original lightpulse.