Quasi-Fresnel Transform Overview

• Quasi-Fresnel transforms are Fresnel-type mappings with modified quadratic-phase kernels that simplify analysis through algebraic, geometric, or discrete adaptations.
• They generalize the classical Fresnel diffraction integral, enabling closed-form solutions for Gaussian-modulated analytic functions and non-planar propagation scenarios.
• Applications span photon propagation, computational imaging, and quantum optics, offering efficient numerical inversion and precise phase-space mappings.

Searching arXiv for recent and foundational papers on quasi-Fresnel transforms and closely related Fresnel/FrFT formulations. arXiv search query: "^^^^^^^^2all:quasi Fresnel transform OR ti:\2^^^^^^^^"Quasi-Fresnel\" OR abs:\2^^^^^^^^"quasi-Fresnel\"" The quasi-Fresnel transform is a family of quadratic-phase mappings that generalize, restrict, or discretize the Fresnel diffraction integral, rather than a single universally fixed operator. Across the cited works, the term denotes at least three closely related constructions: a Fresnel-type propagator written in fractional Fourier form; a closed, non-integral propagation law valid on a structurally restricted class of fields such as Gaussian-modulated analytic functions; and a task-tailored inverse or forward transform adapted to a particular geometry, sampling model, or inverse problem (&&&^^^^2all:quasi Fresnel transform OR ti:\2^^^^&&&, &&&^^^^2 OR abs:\2^^^^&&&, Feshchenko et al., 2017, Wei et al., 4 Aug 2025). The common thread is the replacement of a generic diffraction integral by a transform with retained quadratic-phase structure but additional algebraic simplification, geometric adaptation, or domain restriction.

^^^^2 OR abs:\2^^^^. Terminological scope and defining structure

In the surveyed literature, “quasi-Fresnel transform” functions as a contextual term for operators that remain recognizably Fresnel-like while departing from the standard plane-to-plane scalar diffraction integral. In some settings the departure is algebraic: the transform acts particularly simply on a restricted function class. In others it is geometric: the initial data are specified on a curved surface, a spherical cap, or a hidden surface rather than on a plane. In yet others it is computational: the operator is recast as a discrete, circulant, or directly invertible transform suited to numerical propagation or reconstruction (&&&^^^^2all:quasi Fresnel transform OR ti:\2^^^^&&&, Feshchenko et al., 2017, Ouyang et al., 2015).

Context	Transform object	Characterization
Cauchy–Riemann beams	Gaussian times entire function	Closed-form scaling and rotation map
Photon and FrFT optics	Quadratic-phase integral kernel	Fractional-order Fresnel/Fourier interpolation
Curved-surface, discrete, and inverse models	Geometry- or task-adapted operator	Generalized or approximate Fresnel-type transform

This suggests that the most stable encyclopedic definition is structural rather than nominal. A quasi-Fresnel transform is a Fresnel-type mapping whose kernel, action, or domain is modified so that propagation, transformation, or inversion becomes analytically or computationally simpler than in the unrestricted Fresnel case.

2. Quadratic-phase kernels and the fractional-order viewpoint

A major line of work identifies the quasi-Fresnel transform with a generalized quadratic-phase integral that is mathematically equivalent, or very close, to a fractional Fourier transform. In the photon-level propagator derived from quantized electromagnetic-field modes and the path-integral method, the transition amplitude has the same quadratic dependence on input and output coordinates as the FrFT kernel. After rescaling, the propagator can be written as

PRESERVED_PLACEHOLDER_^^^^2all:quasi Fresnel transform OR ti:\2^^^^

with PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2^^^^, so that $\alpha=0$ gives the identity, $0<\alpha<\pi/2$ gives the fractional or generalized Fresnel regime, and $\alpha=\pi/2$ gives the Fraunhofer or Fourier limit (&&&^^^^2 OR abs:\2^^^^&&&).

Closely related interpretations appear in coherent diffraction and spherical-wave formulations. In coherent x-ray diffraction, the FrFT is used to deal with coherent diffraction experiments from the Fresnel to the Fraunhofer regime, with intermediate propagation represented by a continuous order parameter $\alpha$ rather than by a binary near-field/far-field distinction (^^^^2 OR abs:\2 OR abs:\2all:quasi Fresnel transform OR ti:\22^^^^.^^^^2all:quasi Fresnel transform OR ti:\2^^^^6^^^^2all:quasi Fresnel transform OR ti:\2^^^^3^^^^2 OR abs:\2^^^^). In the light-ray treatment of fractional Fourier optics, scaling transverse spatial variables and angular-frequency variables turns the ray-transfer relation into a homogeneous rotation matrix, and diffraction between spherical emitter and receiver surfaces becomes a fractional-order Fourier transformation whose order is fixed by geometry (Fogret et al., 2023).

Within this viewpoint, the quasi-Fresnel transform is not merely “similar” to Fresnel diffraction. It is a generalized quadratic-phase propagator whose parameter continuously interpolates between no propagation, Fresnel propagation, and Fourier transformation. The significance of this formulation is that it makes the interpolation itself explicit, both analytically and geometrically.

3. Closed-form quasi-Fresnel maps for Cauchy–Riemann beams

A more restrictive but unusually explicit use of the concept appears in the study of Cauchy–Riemann beams. There the paraxial wave equation is solved for initial data of the form

$E(x,y,0)=\exp\!\left[-g(x^2+y^2)\right]f(x+iy),$

where $\Re(g)>0$ and $f$ is an entire analytic function. Because $f(x+iy)$ satisfies the Cauchy-Riemann equations, it is harmonic in the transverse plane and obeys

PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2all:quasi Fresnel transform OR ti:\2^^^^

This zero-eigenvalue property trivializes the action of the transverse Laplacian on the analytic factor and makes the operator algebra close on the Gaussian envelope (&&&^^^^2all:quasi Fresnel transform OR ti:\2^^^^&&&).

The propagated field is then obtained in closed form:

PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2 OR abs:\2^^^^

with PRESERVED_PLACEHOLDER_^^^^2 OR abs:\22^^^^ and PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2^^^^3. Instead of a generic Fresnel integral, propagation acts by complex rescaling of the Gaussian and by a rotated, scaled argument substitution in the analytic factor. The associated rotation angle is

PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2^^^^4

The same framework yields a closed expression for the Fraunhofer or Fourier transform of the beam class, so that Gaussian times entire function is mapped to Gaussian times the same entire function with transformed arguments (&&&^^^^2all:quasi Fresnel transform OR ti:\2^^^^&&&).

In this usage, the quasi-Fresnel transform is a restricted operator correspondence:

PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2^^^^5

It is not the general Fresnel kernel; it is a simpler mapping valid within a special function class. The paper also connects the inherent transverse rotation to a quantum Bohm potential, interpreted as an effective PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2^^^^6-dependent GRIN potential. A common misconception is that the simplification comes from Gaussianity alone. The cited derivation makes clear that the decisive structural ingredient is analyticity, via the Cauchy-Riemann condition and the vanishing transverse Laplacian eigenvalue (&&&^^^^2all:quasi Fresnel transform OR ti:\2^^^^&&&).

4. Generalizations beyond planar propagation

Another strand of the literature uses quasi-Fresnel in the sense of a generalized Fresnel diffraction integral defined on non-planar geometries. For scalar paraxial propagation in two-dimensional free space, when the initial field is specified on an arbitrary shaped monotonic curve PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2^^^^7 rather than on a plane, the resulting field amplitude depends on one a priori unknown function that is determined by a Volterra first kind integral equation. The derived propagation formula reduces to the standard Fresnel integral when PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2^^^^8, and to the tilted-surface case when PRESERVED_PLACEHOLDER_^^^^2 OR abs:\2^^^^9 (Feshchenko et al., 2017).

This is not a merely formal extension. The transform kernel incorporates local surface geometry through $\alpha=0$^^^^2all:quasi Fresnel transform OR ti:\2^^^^ and $\alpha=0$^^^^2 OR abs:\2^^^^, and the propagation law requires both the field on the curve and its transversal derivative. For a concave parabolic curve $\alpha=0$2, an exact solution is obtained in terms of Airy-function kernels. The cited applications include grazing-incidence X-ray mirrors, coherent imaging problems of X-ray optics, phase retrieval algorithms, and inverse problems in which the initial field amplitude is sought on a curved surface (Feshchenko et al., 2017).

A related generalization appears in spherical-surface diffraction. There, propagation from a spherical emitter to a spherical receiver is described by a matrix linking transverse spatial vectors and angular-frequency vectors. After scaling, the matrix becomes a homogeneous rotation matrix, and Fresnel diffraction phenomena are expressed directly through fractional-order Fourier transformations. The resulting kernel remains quadratic-phase but is geometry-dependent; this is a quasi-Fresnel operator in the sense of a generalized Fresnel transform between curved wavefronts rather than parallel planes (Fogret et al., 2023).

These formulations clarify that “quasi” need not mean approximate. In the curved-surface papers, it marks a transform that generalizes the classical Fresnel diffraction integral to a non-planar input manifold while preserving its paraxial quadratic-phase character.

5. Discrete, inverse, and computational realizations

In sampled settings, the quasi-Fresnel idea is realized by discrete or directly invertible transforms that preserve Fresnel-type phase structure. The discrete Fresnel transform derived from infinitely periodic optical gratings is a linear trigonometric transform with a quadratic chirp kernel. Unlike earlier DFnT formulations, it has no degeneracy for all $\alpha=0$3, remains unitary and circulant, and satisfies a circular convolution theorem:

$\alpha=0$4

The transform was introduced from Talbot self-imaging, but its stated uses extend to optical and digital signal processing and numerical evaluation of the Fresnel transform (Ouyang et al., 2015).

In non-line-of-sight imaging, the Quasi-Fresnel Transform is introduced as a direct inversion framework between time-resolved wall measurements and a thin hidden scene represented by two-dimensional functions. The scene is parameterized as

$\alpha=0$5

and the transform maps the aggregated measurement to a complex-valued function from which albedo and depth are recovered. The method is explicitly described as “not a propagation operator per se, but a mathematical mapping suited for NLOS measurement-to-scene inversion,” even though its kernel is Fresnel-like and quadratic-phase (Wei et al., 4 Aug 2025).

The computational consequence is central to this usage. By replacing explicit three-dimensional volumetric processing with a two-dimensional aggregation and inversion pipeline, the method reduces runtime and memory demands by several orders of magnitude while maintaining imaging quality. The detailed exposition further states: prior $\alpha=0$6 volumetric methods require $\alpha=0$7 compute and $\alpha=0$8 memory, whereas the proposed Quasi-Fresnel approach uses $\alpha=0$9 compute and $0<\alpha<\pi/2$^^^^2all:quasi Fresnel transform OR ti:\2^^^^ memory; for $0<\alpha<\pi/2$^^^^2 OR abs:\2^^^^ data, memory drops from $0<\alpha<\pi/2$2 GB to $0<\alpha<\pi/2$3 MB, and runtime drops from tens of seconds or minutes to $0<\alpha<\pi/2$4 s (Wei et al., 4 Aug 2025).

A plausible implication is that, in computational imaging, quasi-Fresnel naming emphasizes direct invertibility and dimensionality reduction as much as optical analogy. The operator is “Fresnel-like” because of its quadratic phase, but it is designed around reconstruction efficiency rather than around free-space propagation alone.

6. Quantum-optical interpretations, quasiprobabilities, and conceptual debates

In quantum-optical settings, quasi-Fresnel constructions arise when Fresnel-type kernels are used to propagate amplitudes, transform characteristic functions, or represent unitary symplectic operators. At the photon level, the path-integral propagator leads to paraboloidal rather than spherical wave fronts, and the authors explicitly question the fundamental status of the Huygens-Fresnel principle in this regime. Their formulation argues that Fresnel’s integral is not just an approximation but has a more primal character for single-photon propagation, with experimental photon counting through a slit supporting the classical limit (&&&^^^^2 OR abs:\2^^^^&&&).

In phase-space theory, replacing the usual Fourier transform by a fractional Fourier transform yields complex quasiprobability distribution functions that are Fresnel transforms of characteristic functions instead of ordinary Fourier transforms. The defining example is

$0<\alpha<\pi/2$5

where the extra quadratic phase is the Fresnel-type modification that distinguishes the new distribution from the Wigner construction (&&&^^^^2 OR abs:\2^^^^9&&&).

A broader operator-theoretic generalization is developed through the Generalized Fresnel Operator, obtained by integration within an ordered product of operators. In that framework, the generalized Fresnel transform is the coordinate-space matrix element of a unitary operator representing symplectic group multiplication, and related constructions include the fractional Fourier transform, Hankel transform, wavelet transform, and Fresnel-Hadamard combinatorial transform (&&&2^^^^2all:quasi Fresnel transform OR ti:\2^^^^&&&). This suggests a more abstract definition: a quasi-Fresnel transform may be any unitary or integral transform that preserves the quadratic canonical structure of Fresnel propagation while extending it to multimode, entangled, or nonstandard phase-space variables.

Across these quantum and phase-space formulations, two clarifications recur. First, quasi-Fresnel does not automatically mean approximate; in several papers it names an exact transform within a chosen representation. Second, it does not always refer to the same physical object: depending on context, it may be a photon propagator, a quasiprobability transform, a symplectic unitary kernel, or a restricted beam-propagation law. The term therefore identifies a class of Fresnel-type structures rather than a single canonical formula.