The Projection Theorem. Theorems on Extension and Separation. Dual Spaces and Transposed Operators. The Banach Theorem and the Banach-Steinhaus Theorem. Construction of Hilbert Spaces. L ~ 2 Spaces and Convolution Operators. Sobolev Spaces of Functions of One Variable. Some Approximation Procedures in Spaces of Functions. Sobolev Spaces of Functions of Several Variables and the Fourier Transform. Introduction to Set-Valued Analysis and Convex Analysis. Elementary Spectral Theory. Hilbert-Schmidt Operators and Tensor Products. Boundary Value Problems. Differential-Operational Equations and Semigroups of Operators. Viability Kernels and Capture Basins. First-Order Partial Differential Equations. Selection of Results. Exercises. Bibliography. Index.

Applied functional analysis, by Jean-Pierre Aubin; translated by Carole Labrousse. Pp 423. £16·50. 1980. ISBN 0-471-02149-0 (Wiley)

We deal with the problem of efficient and accurate digital computation of the samples of the linear canonical transform (LCT) of a function, from the samples of the original function. Two approaches are presented and compared. The first is based on decomposition of the LCT into chirp multiplication, Fourier transformation, and scaling operations. The second is based on decomposition of the LCT into a fractional Fourier transform followed by scaling and chirp multiplication. Both algorithms take ~ N log N time, where N is the time-bandwidth product of the signals. The only essential deviation from exactness arises from the approximation of a continuous Fourier transform with the discrete Fourier transform. Thus, the algorithms compute LCTs with a performance similar to that of the fast Fourier transform algorithm in computing the Fourier transform, both in terms of speed and accuracy.

/pdf/digital-computation-of-linear-canonical-transforms-1atklzt7b9.pdf

Digital Computation of Linear Canonical Transforms

This tutorial gives an overview of the use of the Wigner function as a tool for modeling optical field propagation. Particular emphasis is placed on the spatial propagation of stationary fields, as well as on the propagation of pulses through dispersive media. In the first case, the Wigner function gives a representation of the field that is similar to a radiance or weight distribution for all the rays in the system, since its arguments are both position and direction. In cases in which the field is paraxial and where the system is described by a simple linear relation in the ray regime, the Wigner function is constant under propagation along rays. An equivalent property holds for optical pulse propagation in dispersive media under analogous assumptions. Several properties and applications of the Wigner function in these contexts are discussed, as is its connection with other common phase-space distributions like the ambiguity function, the spectrogram, and the Husimi, P, Q, and Kirkwood–Rihaczek functions. Also discussed are modifications to the definition of the Wigner function that allow extending the property of conservation along paths to a wider range of problems, including nonparaxial field propagation and pulse propagation within general transparent dispersive media.

Wigner functions in optics: describing beams as ray bundles and pulses as particle ensembles

Computation of the fractional Fourier transform

Optical quantum information processing needs ultra-bright sources of entangled photons, especially from synchronizable femtosecond lasers and low-cost cw-diode lasers. Decoherence due to timing information and spatial mode-dependent phase has traditionally limited the brightness of such sources. We report on a variety of methods to optimize type-I polarization-entangled sources — the combined use of different compensation techniques to engineer high-fidelity pulsed and cw-diode laser-pumped sources, as well as the first production of polarization-entanglement directly from the highly nonlinear biaxial crystal BiB3O6 (BiBO). Using spatial compensation, we show more than a 400-fold improvement in the phase flatness, which otherwise limits efficient collection of entangled photons from BiBO, and report the highest fidelity to date (99%) of any ultrafast polarization-entanglement source. Our numerical code, available on our website, can design optimal compensation crystals and simulate entanglement from a variety of type-I phasematched nonlinear crystals.

/pdf/optimizing-type-i-polarization-entangled-photons-1q29uik3td.pdf

Optimizing type-I polarization-entangled photons

A finite two-dimensional oscillator is built as the direct product of two finite one-dimensional oscillators, using the dynamical Lie algebra su(2)x⊕su(2)y. The position space in this model is a square grid of points. While the ordinary `continuous' two-dimensional quantum oscillator has a symmetry algebra u(2), the symmetry algebra of the finite model is only u(1)x⊕u(1)y, because it lacks rotations in the position (and momentum) plane. We show how to `import' an SO(2) group of rotations from the continuum model that transforms unitarily the finite wavefunctions on the fixed square grid. We thus propose a finite analogue for fractional U(2) Fourier transforms.

https://iopscience.iop.org/article/10.1088/0305-4470/34/44/304/pdf

Finite two-dimensional oscillator: I. The Cartesian model

https://www.fis.unam.mx/~bwolf/Articles/106.pdf

Continuous vs. discrete fractional Fourier transforms

A finite two-dimensional radial oscillator of (N + 1)2 points is proposed, with the dynamical Lie algebra so(4) = su(2)x⊕su(2)y examined in part I of this work, but reduced by a subalgebra chain so(4)⊃so(3)⊃so(2). As before, there are a finite number of energies and angular momenta; the Casimir spectrum of the new chain provides the integer radii 0≤ρ≤N, and the 2ρ + 1 discrete angles on each circle ρ are obtained from the finite Fourier transform of angular momenta. The wavefunctions of the finite radial oscillator are so(3) Clebsch-Gordan coefficients. We define here the Hankel-Hahn transforms (with dual Hahn polynomials) as finite-N unitary approximations to Hankel integral transforms (with Bessel functions), obtained in the contraction limit N→∞.

Finite two-dimensional oscillator: II. The radial model

From quantum computation to quantum key distribution, many quantum-enhanced applications rely on the ability to generate pure single photons. Even though the process of spontaneous parametric downconversion (SPDC) is widely used as the basis for photon-pair sources, the conditions for pure heralded single-photon generation, taking into account both spectral and spatial degrees of freedom, have not been fully described. We present an analysis of the spatio-temporal correlations present in photon pairs produced by type-I, non-collinear SPDC. We derive a set of conditions for full factorability in all degrees of freedom—required for the heralding of pure single photons—between the signal and idler modes. In this paper, we consider several possible approaches for the design of bright, fiber-coupled and factorable photon-pair sources. We show through numerical simulations of the exact equations that sources based on: (i) the suppression of spatio-temporal entanglement according to our derived conditions and (ii) a tightly focused pump beam together with optimized fiber-collection modes and spectral filtering of the signal and idler photon pairs, lead to a source brightness of the same order of magnitude. Likewise, we find that both of these sources lead to a drastically higher factorable photon-pair flux, compared to an unengineered source.

https://iopscience.iop.org/article/10.1088/1367-2630/12/9/093027/pdf

Luis Edgar Vicent

Papers

Finite two-dimensional oscillator: I. The Cartesian model

Continuous vs. discrete fractional Fourier transforms

Finite two-dimensional oscillator: II. The radial model

Design of bright, fiber-coupled and fully factorable photon pair sources

Generalized radiometry as a tool for the propagation of partially coherent fields