Chapter 12: Photon Optics ========================= Source: Saleh and Teich, *Fundamentals of Photonics*, second edition, Chapter 12. In-text exercises ----------------- Exercise 12.1-1 — Photons in a Gaussian beam ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Step 1 — Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. .. _fop-exercise-12-1-1-illustration: .. figure:: /_static/knowledge_base/worked_exercises/fundamentals_of_photonics/exercise_illustrations/exercise_12_01_01.svg :alt: Illustrated calculation map for Exercise 12.1-1, Photons in a Gaussian beam :align: center :width: 95% **Figure 73 — Exercise 12.1-1: Photons in a Gaussian beam.** The diagram identifies the input quantities, physical operation, requested result, variable meanings, and an independent verification route. Every symbol in the variable strip is labeled on the model itself. **Step 2 — Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`integration identities `, and :ref:`exponential, logarithmic, and phasor identities `. **Step 3 — Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Normalize :math:`e^{-2\rho^2/W_0^2}` over the plane. The probability inside :math:`W_0` is :math:`\boxed{1-e^{-2}=0.8647}`; for :math:`n` independent photons the expected count is :math:`n(1-e^{-2})`. **Step 4 — State the numbered result.** The principal result obtained in the working is .. math:: :label: fop-exercise-12-1-1-result \boxed{1-e^{-2}=0.8647} **Step 5 — Check.** Equation :eq:`fop-exercise-12-1-1-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Exercise 12.1-2 — Mercury recoil ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Step 1 — Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. .. _fop-exercise-12-1-2-illustration: .. figure:: /_static/knowledge_base/worked_exercises/fundamentals_of_photonics/exercise_illustrations/exercise_12_01_02.svg :alt: Illustrated calculation map for Exercise 12.1-2, Mercury recoil :align: center :width: 95% **Figure 74 — Exercise 12.1-2: Mercury recoil.** The diagram identifies the input quantities, physical operation, requested result, variable meanings, and an independent verification route. Every symbol in the variable strip is labeled on the model itself. **Step 2 — Mathematical formulas used.** The working uses :ref:`algebraic rearrangement and dimensional checks `. **Step 3 — Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. :math:`p_\gamma=E/c` and :math:`v_r=p_\gamma/(198u)` give :math:`\boxed{v_r=7.93\times10^{-3}\ \mathrm{m/s}}`. From :math:`mv_{rms}^2/2=3kT/2`, :math:`v_{rms}=\boxed{194\ \mathrm{m/s}}`; thermal motion is about :math:`2.45\times10^4` times larger. **Step 4 — State the numbered result.** The principal result obtained in the working is .. math:: :label: fop-exercise-12-1-2-result v_{rms}=\boxed{194\ \mathrm{m/s}} **Step 5 — Check.** Equation :eq:`fop-exercise-12-1-2-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. Check that dimensions agree term by term, then test the simplest symmetry or limiting case for the expected sign and scale. Repeat the substitution with unrounded intermediate values and retain the displayed units; the final unit must have the requested dimension. Exercise 12.1-3 — One photon in a Mach--Zehnder ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Step 1 — Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. .. _fop-exercise-12-1-3-illustration: .. figure:: /_static/knowledge_base/worked_exercises/fundamentals_of_photonics/exercise_illustrations/exercise_12_01_03.svg :alt: Illustrated calculation map for Exercise 12.1-3, One photon in a Mach–Zehnder :align: center :width: 95% **Figure 75 — Exercise 12.1-3: One photon in a Mach–Zehnder.** The diagram identifies the input quantities, physical operation, requested result, variable meanings, and an independent verification route. Every symbol in the variable strip is labeled on the model itself. **Step 2 — Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`trigonometric and small-angle identities `, and :ref:`algebraic rearrangement and dimensional checks `. **Step 3 — Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. The chosen output probability is :math:`\boxed{P_D=\cos^2(\pi d/\lambda)}` (the other port has sine squared; port labels may swap). At a nonunity value the photon state is a coherent superposition of the two output possibilities, not a classical fraction in each arm. **Step 4 — State the numbered result.** The principal result obtained in the working is .. math:: :label: fop-exercise-12-1-3-result \boxed{P_D=\cos^2(\pi d/\lambda)} **Step 5 — Check.** Equation :eq:`fop-exercise-12-1-3-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Exercise 12.1-4 — Gaussian wavepacket uncertainty ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Step 1 — Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. .. _fop-exercise-12-1-4-illustration: .. figure:: /_static/knowledge_base/worked_exercises/fundamentals_of_photonics/exercise_illustrations/exercise_12_01_04.svg :alt: Illustrated calculation map for Exercise 12.1-4, Gaussian wavepacket uncertainty :align: center :width: 95% **Figure 76 — Exercise 12.1-4: Gaussian wavepacket uncertainty.** The diagram identifies the input quantities, physical operation, requested result, variable meanings, and an independent verification route. Every symbol in the variable strip is labeled on the model itself. **Step 2 — Mathematical formulas used.** The working uses :ref:`Fourier-transform and convolution identities `, :ref:`integration identities `, and :ref:`exponential, logarithmic, and phasor identities `. **Step 3 — Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Normalize :math:`|a(t)|^2=e^{-t^2/(2T^2)}` to obtain :math:`\sigma_t=T` and :math:`\sigma_z=cT`. Fourier transformation gives :math:`\sigma_\omega=1/(2T)`, so :math:`\boxed{\sigma_E\sigma_t=\hbar/2}` and, with :math:`p_z=E/c`, :math:`\boxed{\sigma_z\sigma_p=\hbar/2}`. **Step 4 — State the numbered result.** The principal result obtained in the working is .. math:: :label: fop-exercise-12-1-4-result \boxed{\sigma_z\sigma_p=\hbar/2} **Step 5 — Check.** Equation :eq:`fop-exercise-12-1-4-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. Transform dimensions and the expected even/odd or conjugate symmetry provide an independent check on signs and scale factors. Exercise 12.2-1 — Mean thermal-mode energy ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Step 1 — Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. .. _fop-exercise-12-2-1-illustration: .. figure:: /_static/knowledge_base/worked_exercises/fundamentals_of_photonics/exercise_illustrations/exercise_12_02_01.svg :alt: Illustrated calculation map for Exercise 12.2-1, Mean thermal-mode energy :align: center :width: 95% **Figure 77 — Exercise 12.2-1: Mean thermal-mode energy.** The diagram identifies the input quantities, physical operation, requested result, variable meanings, and an independent verification route. Every symbol in the variable strip is labeled on the model itself. **Step 2 — Mathematical formulas used.** The working uses :ref:`exponential, logarithmic, and phasor identities ` and :ref:`algebraic rearrangement and dimensional checks `. **Step 3 — Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Average :math:`nh\nu` over the geometric distribution to get :math:`\boxed{\bar E=h\nu/[e^{h\nu/kT}-1]}`. For :math:`h\nu\ll kT`, expand the exponential and recover :math:`\bar E\to kT`; increasing frequency or lowering temperature suppresses the mean energy exponentially. End-of-chapter problems ----------------------- **Step 4 — State the numbered result.** The principal result obtained in the working is .. math:: :label: fop-exercise-12-2-1-result \boxed{\bar E=h\nu/[e^{h\nu/kT}-1]} **Step 5 — Check.** Equation :eq:`fop-exercise-12-2-1-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. Check that dimensions agree term by term, then test the simplest symmetry or limiting case for the expected sign and scale. Problem 12.1-5 — Combining photon energies ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. (a) :math:`eV=hc/\lambda` gives :math:`\boxed{V=1.425\ \mathrm V}` at 0.87 micrometres. (b) Sum-frequency energy gives :math:`1/\lambda_3=1/1.06+1/10.6`, hence :math:`\boxed{\lambda_3=0.9636\ \mathrm{\mu m}}`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-1-5-result \boxed{\lambda_3=0.9636\ \mathrm{\mu m}} **Check.** Equation :eq:`fop-problem-12-1-5-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. Check that dimensions agree term by term, then test the simplest symmetry or limiting case for the expected sign and scale. Repeat the substitution with unrounded intermediate values and retain the displayed units; the final unit must have the requested dimension. Problem 12.1-6 — Exponential radial beam ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`integration identities `, :ref:`exponential, logarithmic, and phasor identities `, and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Radial normalization uses :math:`2\pi\int_0^\infty\rho e^{-\rho/\rho_0}d\rho`. Inside :math:`\rho_0`, :math:`\boxed{P=1-2/e=0.26424}`; one million photons therefore give :math:`\boxed{2.6424\times10^5}` on average. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-1-6-result \boxed{2.6424\times10^5} **Check.** Equation :eq:`fop-problem-12-1-6-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. Differentiation of an antiderivative, or normalization of a definite integral, checks the integration step. Problem 12.1-7 — Momentum comparisons ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. The 10-J light pulse has :math:`p=E/c=\boxed{3.336\times10^{-8}}` kg m/s; the 1-g body has :math:`10^{-5}` kg m/s; a nonrelativistic electron at :math:`c/10` has :math:`2.73\times10^{-23}` kg m/s. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-1-7-result p=E/c=\boxed{3.336\times10^{-8}} **Check.** Equation :eq:`fop-problem-12-1-7-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. Check that dimensions agree term by term, then test the simplest symmetry or limiting case for the expected sign and scale. Problem 12.1-8 — Gaussian photon momentum ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`vector-calculus identities `, and :ref:`integration identities `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. The angular-spectrum probability is Gaussian; integration inside the :math:`1/e^2` divergence angle gives :math:`\boxed{1-e^{-2}}`. Every plane wave component still has :math:`|\mathbf p|=E/c`, but its direction is random; the mean axial momentum is slightly below :math:`E/c`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-1-8-result \boxed{1-e^{-2}} **Check.** Equation :eq:`fop-problem-12-1-8-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.1-9 — Ideal atom levitation ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. :math:`F_g=mg=1.63\times10^{-26}` N. One absorbed 1-eV photon per second gives :math:`5.34\times10^{-28}` N, so :math:`\boxed{30.5}` photons/s and :math:`\boxed{4.88\times10^{-18}\ \mathrm W}` balance gravity. Perfect reflection doubles momentum transfer and halves the rate to 15.2 photons/s. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-1-9-result \boxed{4.88\times10^{-18}\ \mathrm W} **Check.** Equation :eq:`fop-problem-12-1-9-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. Check that dimensions agree term by term, then test the simplest symmetry or limiting case for the expected sign and scale. Repeat the substitution with unrounded intermediate values and retain the displayed units; the final unit must have the requested dimension. Problem 12.1-10 — One cavity photon ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`stationary-value condition ` and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. :math:`k=10^5\pi/d`, so the in-medium wavelength is 0.20 micrometres, free wavelength :math:`\boxed{0.300\ \mathrm{\mu m}}`, and energy :math:`\boxed{4.13\ \mathrm{eV}}`. The high-order standing-wave position is nearly uniform over 1 cm, :math:`\sigma_x\simeq d/\sqrt{12}`; momentum has equal :math:`\pm\hbar k` outcomes. Their product greatly exceeds :math:`\hbar/2`; this is not a minimum-uncertainty packet. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-1-10-result \boxed{4.13\ \mathrm{eV}} **Check.** Equation :eq:`fop-problem-12-1-10-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. Check that dimensions agree term by term, then test the simplest symmetry or limiting case for the expected sign and scale. Repeat the substitution with unrounded intermediate values and retain the displayed units; the final unit must have the requested dimension. Problem 12.1-11 — Single-photon beating ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`integration identities `, :ref:`trigonometric and small-angle identities `, and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Normalize over one beat period: :math:`p(t)=T^{-1}[1+\cos(2\pi t/T)]`; it vanishes at :math:`\boxed{t=T/2}`. Resolving which energy to better than :math:`h|\nu_2-\nu_1|` requires :math:`\Delta t\gtrsim1/[4\pi|\Delta\nu|]`, of the beat-period order, destroying the timing information needed to see the interference. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-1-11-result \boxed{t=T/2} **Check.** Equation :eq:`fop-problem-12-1-11-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. The zero-angle or paraxial limit supplies an independent sign and magnitude check whenever that limit is part of the model. Problem 12.1-12 — Beamsplitter momentum ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities ` and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Before incidence :math:`\mathbf p=\hbar\mathbf k_i`. Afterward measurement returns :math:`\hbar\mathbf k_t` with probability :math:`T` or :math:`\hbar\mathbf k_r` with probability :math:`R=1-T`; before measurement the photon occupies their coherent superposition. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-1-12-result R=1-T **Check.** Equation :eq:`fop-problem-12-1-12-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.2-2 — One photon per cycle ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Photon rate is :math:`\nu` and photon energy :math:`h\nu`, so :math:`\boxed{P=h\nu^2=hc^2/\lambda^2}`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-2-result \boxed{P=h\nu^2=hc^2/\lambda^2} **Check.** Equation :eq:`fop-problem-12-2-2-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. Check that dimensions agree term by term, then test the simplest symmetry or limiting case for the expected sign and scale. Problem 12.2-3 — Poisson moments ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`product, quotient, and chain rules `, :ref:`expectation, variance, and probability identities `, and :ref:`integration identities `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Using :math:`\sum\bar n^n/n!=e^{\bar n}` proves normalization. Differentiating that generating function once and twice gives :math:`\boxed{\langle n\rangle=\bar n}` and :math:`\boxed{\operatorname{var}n=\bar n}`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-3-result \boxed{\operatorname{var}n=\bar n} **Check.** Equation :eq:`fop-problem-12-2-3-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.2-4 — Weak coherent He--Ne beam ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`exponential, logarithmic, and phasor identities `, and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Total mean in 100 ns is :math:`PT/(hc/\lambda)=31.86`; inside :math:`W_0`, :math:`\boxed{\bar n=27.55}`. Poisson RMS fluctuation is :math:`\boxed{5.25}` and zero-count probability :math:`\boxed{e^{-27.55}=1.08\times10^{-12}}`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-4-result \boxed{e^{-27.55}=1.08\times10^{-12}} **Check.** Equation :eq:`fop-problem-12-2-4-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.2-5 — Bose--Einstein counts ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`integration identities `, and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Geometric-series sums give normalization, mean :math:`\bar n`, and variance :math:`\bar n+\bar n^2`. Mean flux one/ns over 20 ns gives :math:`\bar n=20`, so :math:`\boxed{P(0)=1/(1+\bar n)=1/21}`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-5-result \boxed{P(0)=1/(1+\bar n)=1/21} **Check.** Equation :eq:`fop-problem-12-2-5-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.2-6 — Negative-binomial limits ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`exponential, logarithmic, and phasor identities `, and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Set :math:`M=1` to recover the geometric distribution. For fixed :math:`\bar n` and :math:`M\to\infty`, use :math:`(1+\bar n/M)^{-M}\to e^{-\bar n}` and the factorial ratio :math:`\to M^n/n!`; the result is Poisson. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-6-result M=1 **Check.** Equation :eq:`fop-problem-12-2-6-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.2-7 — Multimode thermal variance ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities ` and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Independent mode means/variances add. With total :math:`\bar n=M\bar n_1`, :math:`\boxed{\sigma_n^2=\bar n+\bar n^2/M}`; more modes average thermal bunching toward Poisson statistics. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-7-result \boxed{\sigma_n^2=\bar n+\bar n^2/M} **Check.** Equation :eq:`fop-problem-12-2-7-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.2-8 — Gamma-mixed Poisson process ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`integration identities `, and :ref:`exponential, logarithmic, and phasor identities `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Insert the gamma density in Mandel's integral :math:`P(n)=\int e^{-w}w^n p(w)dw/n!`. The remaining gamma integral is :math:`\Gamma(n+M)` and simplification gives exactly the negative-binomial distribution of Problem 12.2-6. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-8-result P(n)=\int e^{-w}w^n p(w)dw/n! **Check.** Equation :eq:`fop-problem-12-2-8-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.2-9 — Doubly stochastic moments ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities ` and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Conditional Poisson moments are :math:`E[n|W]=W` and :math:`\operatorname{var}(n|W)=W`. Total expectation/variance therefore give :math:`\boxed{E[n]=E[W]}` and :math:`\boxed{\operatorname{var}n=E[W]+\operatorname{var}W}`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-9-result \boxed{\operatorname{var}n=E[W]+\operatorname{var}W} **Check.** Equation :eq:`fop-problem-12-2-9-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Repeat the substitution with unrounded intermediate values and retain the displayed units; the final unit must have the requested dimension. Problem 12.2-10 — Partitioned coherent light ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`exponential, logarithmic, and phasor identities `, and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Binomial thinning of a Poisson generating function :math:`G(z)=e^{\bar n(z-1)}` gives :math:`G_R(z)=G[T+Rz]=e^{R\bar n(z-1)}`. Thus reflected counts remain Poisson with mean/variance :math:`\boxed{R\bar n}`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-10-result \boxed{R\bar n} **Check.** Equation :eq:`fop-problem-12-2-10-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.2-11 — Partitioned thermal light ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities ` and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Apply the same substitution to geometric :math:`G(z)=[1+\bar n(1-z)]^{-1}`. It remains geometric with mean :math:`R\bar n` and variance :math:`R\bar n+(R\bar n)^2`, proving all three parts. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-11-result G(z)=[1+\bar n(1-z)]^{-1} **Check.** Equation :eq:`fop-problem-12-2-11-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.2-12 — Absorber thinning ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`exponential, logarithmic, and phasor identities `, and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. :math:`d\bar n/dx=-\alpha\bar n` gives :math:`\bar n(x)=\bar n_0e^{-\alpha x}`. Coherent input remains Poisson with that mean under independent absorption. A single photon survives thickness :math:`d` with probability :math:`\boxed{e^{-\alpha d}}`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-2-12-result \boxed{e^{-\alpha d}} **Check.** Equation :eq:`fop-problem-12-2-12-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Problem 12.3-1 — Binomial light ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities `, :ref:`integration identities `, and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. Send an :math:`M`-photon number state through a beamsplitter of transmission :math:`p`. The binomial theorem proves normalization and gives :math:`\bar n=Mp`, :math:`\sigma^2=Mp(1-p)`, and :math:`\boxed{\mathrm{SNR}=\bar n/(1-p)}` for power SNR :math:`\bar n^2/\sigma^2`. :math:`p\to0` approaches Poisson thinning; :math:`p\to1` approaches a noiseless number state. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-3-1-result \boxed{\mathrm{SNR}=\bar n/(1-p)} **Check.** Equation :eq:`fop-problem-12-3-1-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Repeat the substitution with unrounded intermediate values and retain the displayed units; the final unit must have the requested dimension. Problem 12.3-2 — Discrete-uniform source ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ **Definitions and setup.** Symbols are local to this item and follow the chapter convention. Each physical quantity and supplied numerical value is introduced at its first use below; angles are in radians unless a degree symbol is shown, and units are retained through numerical substitution. **Mathematical formulas used.** The working uses :ref:`expectation, variance, and probability identities ` and :ref:`algebraic rearrangement and dimensional checks `. **Worked derivation.** The calculation is kept in symbolic form until the governing relation has been rearranged for the requested quantity. For uniform integers :math:`0,\ldots,2\bar n`, finite sums give :math:`\sigma^2=\bar n(\bar n+1)/3` and :math:`\boxed{\mathrm{SNR}=3\bar n/(\bar n+1)}`. Relative to Poisson SNR :math:`\bar n`, it is quieter for :math:`\bar n<2`, equal at 2, and noisier above 2; its SNR is exactly three times the single-mode thermal value :math:`\bar n/(1+\bar n)`. **Numbered result.** The principal result obtained in the working is .. math:: :label: fop-problem-12-3-2-result \boxed{\mathrm{SNR}=3\bar n/(\bar n+1)} **Check.** Equation :eq:`fop-problem-12-3-2-result` can be checked by substituting it back into the preceding governing relation and reversing the algebraic steps. For a probability result, verify the zero-to-one bounds; when a full distribution is present, also verify normalization and nonnegative variance. Repeat the substitution with unrounded intermediate values and retain the displayed units; the final unit must have the requested dimension.