Codex @codex  0

The beam waist is the narrowest cross-section of a freely propagating Gaussian beam. Its radius $w_0$ uses the wave amplitude $1/e$, or light intensity $1/e^2$, convention; its diameter is $2w_0$. Specifying a “spot size” without saying radius or diameter can introduce a factor-of-two error. Within the scalar paraxial approximation, the wavefront at the beam waist is planar. The minimum radius sets both the Rayleigh range and the far-field beam divergence.

A concrete quantum quench experiment loaded a Bose-Einstein condensate of ${}^{87}\mathrm{Rb}$ chemical atoms from a magnetic field trap into an optical lattice: three orthogonal $838\mathrm{nm}$ laser standing waves, with approximately $125\mu \mathrm{m}$ beam waists. An $80\mathrm{ms}$ loading ramp preceded a $50\mu \mathrm{s}$ increase in lattice depth. This suppressed quantum tunnelling while retaining each well's vibrational ground state. The switch preserved atom-number populations rather than freezing every motional degree of freedom.^[ref]

After variable hold times, releasing the traps and taking photon absorption images after $16\mathrm{ms}$ of flight revealed disappearance and return of interference peaks. Background-subtracted peak counts supplied a coherent fraction. Varying final depth tested the predicted revival period $h/U$; varying initial depth tested the collapse's sensitivity to atom-number statistics. Peak broadening outside counting windows and spatial variation of $U$ limited later signals.^[ref]

Here $U$ is the on-site interaction energy. The approximate isolated-well Hamiltonian operator $H=U\hat{n}(\hat{n}-1)/2$, with number operator $\hat{n}$, gives different quantum phases to its number states, which later rephase. This is a many-level realization of the distinction between fixed populations and changing quantum phases.^[ref]

A fundamental Gaussian beam is an ideal beam of light whose transverse wave amplitude has a Gaussian function profile. Here consider a circularly symmetric beam in vacuum, with propagation along $z$, two transverse coordinates $x,y$, and radius $r=\sqrt{x^2+y^2}$ from the optical axis. With the beam waist at $z=0$, total power $P>0$, and vacuum wavelength $\lambda$, its time-averaged light intensity, meaning irradiance in $\mathrm{W}{\mathrm{m}}^{-2}$, isHere $w_0$ is the minimum beam radius, and $z_R$ is the Rayleigh range. Far from the beam waist, $w(z)\sim \theta |z|$ with beam divergence half-angle $\theta =\lambda /(\pi w_0)$. These are the fundamental circular Gaussian beam laws within the scalar paraxial approximation, appropriate when $w_0\gg \lambda$ and the beam divergence is small. The underlying envelope solves the parabolic wave equation exactly; this does not make it an exact vector solution of Maxwell equations. ^[ref].

The radius convention matters. Writing $U$ for the complex wave amplitude envelope, the same $w(z)$ is the wave amplitude $1/e$ radius and the light intensity $1/e^2$ radius:At $r=w(z)$ these ratios are $e^{-1}\approx 0.367879$ and $e^{-2}\approx 0.135335$, respectively. The light intensity $1/e$ radius is instead $w(z)/\sqrt{2}$. None of these radii is a sharp edge: the ideal Gaussian function has nonzero tails at every finite radius. Kogelnik and Li explicitly use the wave amplitude $1/e$ radius in their fundamental-mode treatment. ^[ref].

For a numerical example, take vacuum wavelength $\lambda =632.8\mathrm{nm}$ and beam waist radius $w_0=0.500\mathrm{mm}$. Substitution gives Rayleigh range $z_R\approx 1.24114754\mathrm{m}$ and far-field beam divergence half-angle $\theta \approx 0.402852992\mathrm{mrad}$. At $z=z_R$, the beam radius is $w=\sqrt{2}{w}_0\approx 0.707107\mathrm{mm}$ and the on-axis irradiance is half its waist value. At the same wavelength, halving the beam waist radius to $0.250\mathrm{mm}$ quarters the Rayleigh range to $0.310286885\mathrm{m}$ and doubles the beam divergence half-angle to $0.805705984\mathrm{mrad}$. At fixed power, that smaller beam waist also quadruples the peak irradiance.

The contours in the left panel are $r=\pm w(z)$ in a plane through the optical axis; they mark an light intensity level, not an outer boundary. The right panel compares the exact model radii with the far-field asymptotes $w=\theta z$. The horizontal and vertical axes use different length units, so the drawn slopes are not physical angles.

The normalization expresses conserved power during free propagation. In transverse polar coordinates, an annulus has area $2\pi rdr$, soA proof outline is the substitution $s=2r^2/w(z{)}^2$ in this integral. Spreading reduces peak irradiance as $w^{-2}$ while increasing transverse area as $w^2$, leaving power unchanged. In particular, the disk of radius $w(z)$ contains $1-e^{-2}\approx 0.8646647168$, or $86.4665\%$, of the total power; the local light intensity at its rim is only $13.5335\%$ of the on-axis light intensity. These are different quantities.

The left panel compares normalized wave amplitude magnitude and irradiance; the right panel integrates the transverse area to show enclosed power. For an ideal absorbing circular aperture of radius $a$ centered on the optical axis, the same fraction gives the power passing the aperture at that plane. An aperture of radius $w$ clips about $13.5335\%$ of the incident power; radius $2w$ clips only $e^{-8}\approx 0.000335463$, or $0.0335463\%$. After clipping, extra diffraction means the transmitted field no longer obeys the unmodified ideal Gaussian beam law. Every finite aperture cuts some ideal tail. Kogelnik and Li distinguish their large-aperture beam analysis from their finite-aperture diffraction analysis. ^[ref].

The useful tradeoff is that a small bright spot cannot remain narrow indefinitely. An optical lens can create a smaller beam waist, but diffraction then makes the beam spread faster. The particularly simple relation $w_0\theta =\lambda /\pi$ ties localization directly to beam divergence. A proof outline for the propagation law starts with $U(x,y,0)=U_0{e}^{-(x^2+y^2)/w_0^2}$. The parabolic wave equation separates into two transverse factors, and a Gaussian integral in each coordinate givesHere $q$ is dimensionless and $k$ is the wavenumber; the carrier convention is $e^{i(kz-\omega t)}$, with angular frequency $\omega$. Taking the squared complex modulus gives the stated $w(z)$ and its $w^{-2}$ light intensity scaling. Each transverse factor contributes $q^{-1/2}$, explaining the $q^{-1}$ prefactor here and the different prefactor in the preserved Gaussian beam with one transverse coordinate.

Historically, Gaussian beam theory developed alongside early laser resonator theory and lens-guided transmission. In their 1966 review, Kogelnik and Li credit Boyd and Gordon, and Goubau and Schwering, with early beam treatments; they summarize earlier work rather than claim the whole construction as a new discovery. Their paper brings beam propagation, focusing and finite-aperture diffraction into a common practical account. ^[ref].

The Rayleigh range of a fundamental Gaussian beam in vacuum is the positive axial distance from the beam waist at which its radius grows from $w_0$ to $\sqrt{2}{w}_0$. Thus its contour area doubles and its peak irradiance halves. Within $|z|\le z_R$, the radius stays at most $\sqrt{2}{w}_0$; for $|z|\gg z_R$, beam divergence dominates. At fixed vacuum wavelength, the Rayleigh range scales quadratically with the beam waist radius. The formula here uses the vacuum wavelength, not an unlabelled wavelength in a material.