From Rings to Top-Hat beams

Technical Summary: From Rings to Top-Hat Beams

Problem Statement
Many applications in material processing, laser surgery, and quantum technologies require laser beams with uniform transverse intensity profiles (top-hat or flat-top beams) rather than the peaked profiles of Gaussian beams or the central nulls of vortex beams. While top-hat beams ensure consistent depth in ablation and controlled thermal deposition, their analytical modeling is challenging. Existing approaches typically approximate these profiles using high-order super-Gaussian functions or flattened Gaussian series. However, the paraxial propagation of super-Gaussian beams cannot be expressed in terms of elementary functions, necessitating computationally intensive split-step Fourier simulations or high-order modal expansions prone to spatial frequency aliasing. Furthermore, previous works generally generated top-hat profiles at the source plane ($z=0$), lacking analytical or numerical results for the generation of such profiles at propagation distances $z > 0$.

Methodology
The authors develop an exact analytical framework for the paraxial propagation of a specific family of structured light beams that can continuously transition between ring-shaped annular profiles and uniform top-hat distributions. The initial field $E(r, \theta; 0)$ is defined as a superposition of two components, both carrying an azimuthal phase factor $e^{il\theta}$:

1. A Gaussian-weighted power-law core ($e^{-ar^2} r^l$).
2. A singular inverse-quadratic modulation term ($e^{-b/r^2}$).

The propagation is governed by the paraxial Helmholtz equation. The authors solve the Fresnel diffraction integral in cylindrical coordinates for the total field by treating the two components separately:

• The Core Component: The Gaussian-weighted power-law term is solved using an operator algebra approach, yielding an exact solution related to Cauchy-Riemann beams. This term scales self-similarly with a complex beam parameter $w(z)$.
• The Singular Component: The inverse-quadratic term, which does not close a Lie algebra under commutation with the transverse Laplacian, is handled via the Fresnel diffraction integral. By applying the Anger-Jacobi identity and integrating over the radial variable using a specific identity from Gradshteyn and Ryzhik, the authors derive an exact closed-form expression involving an infinite series of modified Bessel functions of the second kind ($K_\nu$).

The total propagated field is the linear superposition of these two exact solutions. The relative amplitudes of the two components ($\alpha$ and $\beta$) serve as tuning parameters to control the interference between the ring-forming core and the axis-filling singular term.

Key Results
The study presents exact closed-form expressions for the propagated field at arbitrary planes $z$. The results are validated experimentally using a spatial light modulator (SLM) in a standard 4f optical system illuminated by a He-Ne laser ($\lambda = 632.8$ nm).

1. Ring Beams ($l \neq 0$): For non-zero topological charges, the interference between the Cauchy-Riemann term and the Bessel series produces annular profiles with a dark core. The Bessel contribution partially fills the central region at intermediate distances, modulating the annular contrast without destroying the topological protection of the vortex. The analytical model shows excellent qualitative agreement with experimental 3D intensity distributions.
2. Superposition of Charges: The framework successfully models the linear superposition of beams with distinct topological charges (e.g., $l_1=1$ and $l_2=10$). The resulting petal-like patterns maintain strict rotational symmetry determined by the charge difference, with the analytical structure allowing direct evaluation of orbital angular momentum density redistribution without numerical simulation.
3. Top-Hat Regime ($l = 0$): In the fundamental mode, the helical phase singularity is suppressed. By tuning the ratio of the coefficients $\beta/\alpha$, the singular term fills the central intensity null. The paper demonstrates a continuous transition from a centrally peaked profile to a uniform top-hat plateau at a specific propagation distance, after which the beam diffracts while maintaining uniformity. Unlike super-Gaussian approximations, this analytically derived top-hat profile does not develop spatial oscillations (ripples) during propagation.

Significance and Claims
The paper claims to bridge a longstanding gap in structured-light theory by providing a closed-form, grid-free analytical solution for beam propagation that achieves the profile versatility of numerical beam-shaping methods. The primary significance lies in the ability to:

• Eliminate Numerical Complexity: The solution requires only the evaluation of elementary functions and a rapidly convergent series of Bessel functions, offering a computational cost far lower than split-step Fourier simulations or super-Gaussian modal expansions.
• Enable Systematic Design: Because the solution is closed-form, it allows for the real-time optimization and systematic design of optical systems (such as diffractive elements and metalenses) without iterative numerical optimization.
• Control Top-Hat Formation: The framework demonstrates that a top-hat profile can be generated at a specific distance $z > 0$ (rather than just at the source) by balancing the Gaussian decay width and the singular modulation range. This provides experimentalists with two independent parameters ($a$ and $b$) to place the top-hat plateau at a desired working distance.
• Preserve Topological Features: The model accurately captures the propagation of vortex ring beams and their superpositions, preserving topological features like dark cores and petal symmetries without numerical artifacts.

The authors note that while the current work focuses on the paraxial regime, future extensions could address non-paraxial corrections, atmospheric turbulence, and partially coherent sources.