Analytic 3D vector non-uniform Fourier crystal optics in arbitrary $\bar{\bar{\varepsilon}}$ dielectric
Chenzhu Xie, Yong Zhang
TL;DR
This work develops a non-uniform Fourier crystal optics (LFCO) framework that unifies linear crystal optics, crystal optics, and Fourier optics to model nonlinear crystal processes in arbitrarily anisotropic dielectrics. By deriving a explicit $3\times 2$ transition matrix and introducing the material-matrix tetrahedron compass along with a crystal-2f experimental layout, the authors enable fully vectorial field calculations across linear and nonlinear interactions in reciprocal and real space. The approach reveals new spectral and real-space phenomena, including infinite families of optical singularities, heart-shaped L shorelines, double conical diffraction, and optical knots, and outlines pathways toward scalar, semi-vector, and full-vector nonlinear Fourier crystal optics, with applications to focal engineering and potential quantum nonlinear optics. Collectively, this framework provides a scalable, physics-grounded basis for large-scale nonlinear optical simulations in complex media, with implications for SPDC and other quantum nonlinear processes in 3D nonlinear photonic crystals.
Abstract
To find a suitable framework for nonlinear crystal optics(NCO), we have revisited linear crystal optics(LCO). At the methodological level, three widely used plane wave bases are compared in terms of eigenanalysis in reciprocal space and light field propagation in real space. Inspired by complex ray tracing, we expand M.V. Berry \& M.R. Dennis's 2003 uniform plane wave model to non-uniform Fourier crystal optics and ultimately derive the explicit form of its 3$\times$2 transition matrix, bridging the two major branches of crystal optics in reciprocal space, where either ray direction $\hat{k}$ or spatial frequency $\bar{k}_{\mathrmρ}$ serves as the input variable. Using this model, we create the material-matrix tetrahedral compass to conduct a detailed analysis of how the four fundamental characteristics of materials (linear/circular birefringence/dichroism) influence the eigensystems of the vector electric field in two-dimensional spatial frequency $\bar{k}_{\mathrmρ}$ domain and its distribution in three-dimensional $\bar{r}$ space with a crystal-2f configuration. Along this journey, we have uncovered new territories in LCO in both real and reciprocal space, such as infinite singularities arranged in disk-, ring-, and crescent-like shapes, ``L shorelines'' resembling hearts, generalized haunting theorem, double conical refraction, and optical knots it induces. We also present our model's early applications in focal engineering and NCO. As the opening chapter in a trilogy, this work connects crystal optics, Fourier optics, and nonlinear optics, while integrating theoretical, computational, and experimental physics, advancing all six domains.
