This Disclosure relates to optical devices configured to perform a complex Fourier transform of an input function.
The Fourier Transform is a ubiquitously useful mathematical operation. The Fourier Transform (FT) is used in many different computational applications, generally implemented through a Fast Fourier Transform (FFT) algorithm. Such algorithms scale as O(n·log n) with the size of the transform, n. Performing the FFT is computationally intensive and often represents a system performance bottleneck. Memory bandwidth is a limitation. In 2015, an 8K×8K FFT takes about 0.6 s on a fast computer using a high performance graphics card. Performing larger FFTs faster is highly desirable for many applications.
Fourier transforms may be carried out optically. The 2D Fourier transform occurs naturally in coherent optics. An optical co-processor could be used instead of an FFT algorithm to find the optical Fourier transform (OFT) with significant performance advantages. This represents a true FT, where the complex result is expressed in the complex amplitude of the resulting light field (i.e. magnitude and phase). However, when performing an optical Fourier transform of a complex function, most conventional methods are only capable of detecting its amplitude only and its phase information is lost, for example cameras detect |amplitude|2. Therefore, information needed for describing or representing the complex Fourier transform is often incomplete and the full complex to complex Fourier transform cannot be determined. Phase detectors are available, but they do not scale well, are not very accurate and are mechanically and/or optically complex.
The Optical Fourier Transform arises naturally in a 2f optical system.
It may be understood that if the input light is not collimated, distances may be calculated for the sensor, lens, and camera such that the Fourier transform still appears. That is, the relative positions of the SLM 101, the Fourier transform lens 103 and the camera sensor 105 may be determined such that the Fourier transform of an image displayed on the SLM 101 is captured by the camera sensor 105.
In operation, the SLM 101 is driven by a computer to “display” a numerical function tinput(x,y), where x and y are spatial coordinates. The SLM 101 comprises a 2D array of elements which are each arranged to spatially modulate received light. The SLM 101 may spatially modulate the phase, amplitude and/or polarisation of light. The term “display” is used herein to describe that each element of the 2D array of elements may be individually controlled or driven such that a function may be represented on the SLM 101. In this example, the 2D array of elements of the SLM 101 spatially modulate the amplitude and phase of coherent, collimated laser light 102 of wavelength λ, effectively encoding light 102 with the function tinput(x,y). The SLM 101 may therefore be described as having a complex transmission profile tinput(x, y). The spatially modulated light 104 is then received by the Fourier transform lens 103, which has a focal length f. This results in a Fourier transform Uf(u,v) of the numerical function Atinput(x,y) forming at the rear focal plane of the Fourier transform lens 103, where u and v are spatial frequency coordinates. The photodetector array 105 is positioned at the rear focal plane of the Fourier transform lens to capture the intensity distribution of the converging light 106. The SLM 101 is of the transmissive type, where the light passes through the device, but a reflective SLM types is equally applicable. Reflective SLMs have a mirror incorporated behind the liquid crystal layer that reflects the light back through the liquid crystal and electrode layers.
If the light field at one focal point of a lens is collimated and has an amplitude A modulated by a complex function input, the light field at the second focal point is given by:
Uf(u,v)=(ejkf/jλz)F{Atinput(x,y)} (1)
where ejkf/jλz is a global term which can in general be neglected. The Fourier transform F has arisen optically.
Such a system can be used as a ‘co-processor’ to implement an optical Fourier transform. The input to such a system is the SLM 101, for example, a liquid crystal, micromechanical, or solid state device. The output is the photodetector array 105, for example, a camera sensor which samples the optical Fourier transform at a given resolution, which should be appropriate to the input resolution and the optical scaling of the system.
This Summary is provided to introduce a brief selection of disclosed concepts in a simplified form that are further described below in the Detailed Description including the drawings provided. This Summary is not intended to limit the claimed subject matter's scope. Aspects of an invention are defined in the appended independent claims.
This Disclosure recognize a primary obstacle to using the optical Fourier transform in place of the FFT for general purpose computation is recovery of the phase of the generally complex result. Cameras recover only the intensity. The intensity I is related to the complex amplitude A by:
I=A*A (2)
where * represents complex conjugation.
This Disclosure solves the problem of recovering a signal from the intensity of its FT is important and has been extensively studied, where in general, iterative algorithms are used. In contrast to known iterative algorithms, this Disclosure provides a deterministic method which is enabled by having direct access to the input function. This Disclosure addresses the forward FT problem, not the backwards FT problem addressed by known phase retrieval algorithms.
In summary, this disclosure relates to optical devices and a method to recover the phase of the optical Fourier transform with intensity only measurements, ultimately permitting full complex-to-complex FTs to be performed optically. That is, there is disclosed herein a method to find the complex Fourier transform of a complex input function z(x) using only intensity measurements. This method depends on having access to the input function, and being able to perform simple manipulations on it.
There is provided an optics-based method including the steps of:
The inventors have devised a method that allows the full complex optical Fourier transform of an input function to be determined by calculations based on optical measurements of corresponding amplitude components. The inventors have recognised that this may be achieved by decomposing an input function into component functions having a Fourier transform in which the phase is constrained to a discrete number of possible values. In this respect, the phase may be described as being “quantised”, “constrained to discrete values” or “discretised”. The phase component is determined based on measurements of the amplitude component. It may therefore be understood that there is provided a hybrid optical-mathematical technique for determining the phase component of a complex Fourier transform.
The methods disclosed herein may be distinguished from so-called phase retrieval algorithms, such as those based on the Gerchberg-Saxton algorithm, in which an approximation of the phase information in the Fourier (frequency) domain is obtained from amplitude information in the spatial domain using an iterative process based on feedback. In contrast, methods in accordance with the present disclosure use both the real and imaginary part of the input function to directly calculate the phase function in the Fourier (frequency) domain based on optical measurements. Accordingly, full complex-to-complex forward Fourier transforms may be performed at high-speed with execution time independent of the size of the function.
Methods disclosed herein provide at least the following advantages:
Advantageously, a method of performing a forward complex Fourier transform using information obtained in the optical domain is provided wherein the phase component of the forward complex Fourier transform is determined. Further advantageously, very few physical measurements are needed to perform a full complex to complex optical Fourier transform and they can be made in parallel. Further advantageously, the optical Fourier transform is performed within the refresh time of the optical system with no dependence on the resolution. Yet further advantageously, larger Fourier transforms can be performed without an increase in processing time by upscaling the optical system performing the optical Fourier transform.
Embodiments of the present disclosure will now be described with reference to the accompanying drawings in which:
Example embodiments are described with reference to the drawings, wherein like reference numerals are used to designate similar or equivalent elements. Illustrated ordering of acts or events should not be considered as limiting, as some acts or events may occur in different order and/or concurrently with other acts or events. Furthermore, some illustrated acts or events may not be required to implement a methodology in accordance with this Disclosure.
Some disclosed embodiments are described in 1 dimension (1D). However, it may be readily understood that such embodiments naturally extend to 2D.
Phase-Determination
The present disclosure may be conveniently understood with reference to embodiments in which an input function and its Fourier transform are pixelated. That is, in embodiments, the complex Fourier transform of the input function is a pixelated representation of the complex Fourier transform of the input function comprising a spatial array of elements, wherein each element comprises an amplitude value and a phase value. In this respect, the complex optical Fourier transform of an input function may be considered as comprising two components: an amplitude function and a phase function. It may be understood that a discrete input corresponds to a discrete Fourier transform and the Nyquist-Shannon sampling theorem applies. In embodiments, the amplitude function of the complex Fourier transform of the input function is represented by the amplitude values of the elements. In embodiments, the phase function of the complex Fourier transform of the input function is represented by the phase values of the elements. However, it may be understood that the present disclosure is not limited to pixelated functions provided that the input is a continuously modulated light field.
In embodiments, the first amplitude function 202 is measured. In embodiments, the first amplitude function 202 is measured by a spatial light detector such as a CCD- or CMOS-based camera. The skilled person will understand that a number of different ways of measuring the amplitude function of an optical Fourier transform may be equally used. However, the phase function 203 cannot be easily measured. Therefore, a full Fourier transform cannot readily be performed by straightforward optical means only. However, the inventors have addressed this issue and provided a method in which the phase function of the optical Fourier transform is determined or derived based on optical intensity measurements of the corresponding amplitude function and, more specifically, changes in the amplitude function of the Fourier transform caused by changes to the input function.
In embodiments, the input function is changed by applying a so-called perturbation function to the input function to create a perturbed (input) function. It may be understood that a perturbation function is a function which provides a small change to the input function which leads to a corresponding small change to the Fourier transform of the input function. In embodiments, a perturbed (input) function is created by adding or subtracting (i.e. vector addition/subtraction of) a perturbation function p(x, y) to/from the input function. The applied perturbation changes the amplitude function of the optical Fourier transform. In embodiments, the optical Fourier transform of the perturbation function p(x, y) is in phase or out of phase with the optical Fourier transform of the unperturbed function.
Embodiments are described with reference to
The perturbation function is a function which has an optical Fourier transform “OFT” with a known phase and amplitude profile. The OFT must be in phase or out-of-phase with the function being perturbed. It must not be π/2 out of phase with the function being perturbed, as then it is in quadrature and the amplitude of the Fourier transform will not vary with the phase of the unperturbed function.
It may be understood that any function with an FT which is non-zero across the Fourier plane and is not π/2 out of phase with the input is suitable.
Advantageously, when using a 2D array of elements, all of the electronic mathematical operations may be performed at the element level. They lend themselves towards massive parallelism (application-specific integrated circuits, field-programmable gate arrays), making the task computationally efficient.
In embodiments, the amplitude value of each element in the Fourier transform of the unperturbed (input) function is compared with the amplitude value of the corresponding element in the Fourier transform of the perturbed (input) function in order to establish the phase value of the corresponding element in the Fourier domain. Notably, this is achievable because the input function is chosen such that the phase of its Fourier transform is constrained to a plurality of possible phase values which may be distinguished by applying an appropriate perturbation function as described.
In summary, there is therefore provided a method of determining a phase value of an element in a spatial array of elements arranged to form a pixelated representation of a complex Fourier transform of a function, wherein each element comprises an amplitude value and a phase value, wherein the phase value is constrained to a plurality of possible phase values, the method including: measuring a first amplitude value for the element by performing an optical Fourier transform of the function and detecting the light intensity at the element; and measuring a change in the amplitude value of the element caused by applying a perturbation function to the function.
The change in the amplitude value of the element caused by applying the perturbation function may be determined in a variety of ways. In an embodiment shown in
There is therefore provided a method wherein the step of measuring a change in the amplitude value of the element includes: adding the perturbation function to the function to form a perturbed function; performing an optical Fourier transform of the perturbed function and detecting a second amplitude value of the element; and comparing the first amplitude value to the second amplitude value.
Optionally, there is provided a method wherein the change in the amplitude value caused by applying a perturbation function to the function is determined by subtracting the first amplitude value from the second amplitude value to form a difference value.
In embodiments, the difference function 208 is further processed.
The determined phase function 209b is the phase function of the Fourier transform of the input function. Accordingly, the phase values of the elements of the spatial array of elements arranged to form a pixelated representation of a Fourier transform of a function are determined. The method works because of the nature of the input function. Specifically, the phase of the optical Fourier transform of the input function is constrained to a plurality of possible phase values which may be distinguished by the method described herein.
Embodiments in which the phase is constrained to two values are described in the following by way of example only with reference to
An individual element in the Fourier plane 220 may be considered as having an amplitude component and a phase component which can be represented together by a single point on an Argand diagram. The amplitude value on the Argand diagram is represented by the distance of the point from the origin and the phase is represented by the angular position of the point relative to the positive real axis. Points on the real axis of an Argand diagram may be considered as having a phase “constrained” to nπ radians, where n is an integer. The positive real axis has a constrained phase of 2nπ radians. The negative real axis has a constrained phase of (2n+1)π. Points on the imaginary axis of an Argand diagram may be considered as having a phase constrained to (n+1/2)π radians only. Points lying on the positive imaginary axis have a constrained phase of (2n+1/2)π radians. Points lying on the negative imaginary axis have a constrained phase of (2n+3/2)π radians.
A first function 315 is shown by the bold line lying on the first real axis 311. Complex values of the first function do not have an imaginary component. Complex values of the first function have a phase of either zero radians or π radians. Points lying on the real axis 311 have a phase of π radians leftwards of the first origin point 313 and zero radians rightwards of the first origin point 313. The first function may be described as having a phase “constrained” to nπ radians, where n is an integer.
Likewise,
The inventors have recognized that if the phase of the Fourier transform of the input function is “constrained”, it is possible to determine the phase component by measuring the effect on the amplitude component caused by adding a perturbation function in the spatial domain. It may be said that the method is applicable to input functions having a Fourier transform which is “constrained” on the Argand diagram.
There is therefore provided a method as described herein, wherein each element (in the spatial array of elements arranged to form a pixelated representation of a complex Fourier transform of the function) comprises an amplitude value and a phase value in which the phase is constrained to two possible phase values.
In embodiments, one of the two possible phase values is nπ radians, where n is an integer. In embodiments, one of the two possible phase values is (n+1/2)π radians, where n is an integer.
It may be understood that there are other manners in which the phase of the optical Fourier transforms of the input function may be constrained. In embodiments, the input function takes a form in which the optical Fourier transform has a constrained phase of +1/3π radians or +2/3π radians or any other conceivable combination.
However, in particularly advantageous embodiments, the two possible phase values are separated by an odd number of π radians. In such cases, points which make up the Fourier transform of the function form a straight line on the Argand diagram. There is therefore provided a method wherein the phase is constrained to two values and the difference between the two values is (2n+1)π radians, where n is an integer. This puts the two possible values on opposite sides of the Argand diagram. This is advantageous because it allows the two phase values to be conveniently distinguished by application of a perturbation.
The perturbation function is chosen to have a “broad” Fourier transform which therefore contributes to the amplitude value of all elements in the Fourier domain. In an embodiment, the perturbation function is chosen to contribute a small additive value to the amplitude value of all elements in the Fourier domain. In another embodiment, the perturbation function is chosen to contribute a small subtractive value to the amplitude value of all elements in the Fourier domain.
In an embodiment, the perturbation function is a so-called δ-function or delta function, or discrete approximation thereof. That is, the perturbation function has a small value around x=0 and is zero elsewhere. This corresponds to a single element in the centre of the spatial domain 210 having low amplitude surrounded by an array of elements with zero amplitude. Advantageously, in the Fourier domain, a delta function corresponds to a very broad feature. For example, a single pixel for the perturbation function p(x) would lead to the broadest sinc function of the optical Fourier transform P(u) of p(x) in the Fourier plane.
In advantageous embodiments, the function P(u) is in phase or π out of phase with the optical Fourier transform of the input function f(x).
By the linearity of the Fourier transform (and by extension the optical Fourier transform), if F(u) is the unperturbed function and F′(u) the perturbed function:
F′(u)=F(u)+P(u) (3)
The perturbed function is given by:
F′(u)=(√|F(u)|2)ej(φ=(m,n))+ε (4)
F′(u)=+(√|F(u)|2)+ε if φ=m (5a)
F′(u)=−(√|F(u)|2)+ε if φ=n (5b)
where ε=ε (u) is a small positive real number, where m is the first of two possible phase values of F(u) and n is the second of two possible values of F(u) and where m is also the phase of P(u). In embodiments, it is necessary that m and n in equation 4 satisfy equations 5a and 5b, respectively. For example, in embodiments, where m has a value of 0 and n has a value of π, equations 5a and 5b hold true. A camera, for example, detects the intensities |F(u)|2 and |F′(u)|2.
The intensities of the F(u) and F′(u) are compared. If the intensity increases, then the perturbation is exactly in phase with the function; if the intensity decreases, then the perturbation is exactly anti-phase with the function.
|F′(u)|2−|F(u)|2{φ(u)=m if >0
{φ(u)=n if <0 (6)
There is therefore provided a method as herein described, wherein the Fourier transform of the perturbation comprises an amplitude function and a phase function in which the phase is one of the plurality of possible phase values.
Advantageously, the effect of a sinc amplitude function P(u) with constant phase at the Fourier plane contributes a small additive or subtractive value to the amplitude value of all elements in the Fourier domain 220. Whether the contribution is subtractive or additive depends on whether the Fourier transform of the input function at any element is in phase or out of phase with the Fourier transform of the perturbation function at a single element in the Fourier domain 220.
Likewise,
The functions shown in
Table 1 below shows the form of Fourier transforms of four forms of functions.
Table 1 shows that the Fourier transform of a real even function is purely real, therefore having a phase constrained to 0 or π, and the Fourier transform of a real odd function is purely imaginary, therefore having a phase constrained to π/2 or −π/2.
It may be understood that the perturbation function may be chosen based on the nature of the input function. In embodiments, the perturbation function is selected such that its optical Fourier transform has a phase value which is constrained to one of the plurality of possible phase values of the optical Fourier transform of the input function. For example, if the input function is real and odd, then a suitable perturbation function would be a real and odd or imaginary and even. This would cause the Fourier transforms of both the input function and the perturbation function to have a phase that was constrained to π/2 or −π/2.
The even and odd functions e(x) and o(x) may be optically Fourier transformed to form the Fourier transform functions E(u) and O(u) shown in equations 7 and 8:
Embodiments take advantage of the symmetry properties of the FT shown in Table 1. The FT of an even function is purely real, and the Fourier transform of an odd function is purely imaginary. Thus, we have constrained the phase for E(u) and O(u) to one of two discrete values as shown below in equations 9 and 10.
E(u)=√(|E(u)|2)ejφ(u), φ(u)€{0,π} (9)
O(u)=√(|O(u)|2)ejφ(u), φ(u)€{π/2,−π/2} (10)
There is therefore provided a method as herein described wherein the input function is an even function or an odd function.
It may be understood that any generally narrow DC (or zero frequency) function is suitable for use as the perturbation function as it will lead to a wide function in the Fourier domain. In embodiments, the perturbation function is found by an optimisation method (i.e. designed by a computer algorithm) to satisfy the requirements that the FT of the perturbation function is non-zero across the Fourier plane and is not pi/2 out of phase with the input. In embodiments, the perturbation function adjusts the amplitude (grayscale) value of a single pixel in order to alter the values of all pixel values in the Fourier domain. For example, the DC (or zero frequency) pixel in the input function may be adjusted by a grayscale value of one unit.
The finite width of the SLM pixels leads to an overall sinc envelope over the replay field (the Fourier domain). A perfect delta function will lead to the broadest sinc function over the Fourier domain. However, replicating the perfect delta function is not possible using an SLM with a finite pixel width. It is desirable that the effect of the perturbation function is to add a small additive value of equal magnitude to all pixels in the Fourier domain. A delta function on an SLM leads to unequal additive values being applied across the Fourier domain. In embodiments, this is compensated for by multiplying the pixel values by 1/sinc. It may be understood that a sinc function in the Fourier domain is also created by the input function itself. Each rectangular pixel of the SLM samples the input function and creates its own sinc function in the Fourier domain. In embodiments, the effect of these sinc functions may also be compensated for in a similar fashion to that of the sinc function created by the perturbation function.
The methods described herein may be performed using the optical components of
In embodiments, there is therefore provided a method wherein the step of measuring the first amplitude value includes: displaying the input function on a spatial light modulator; illuminating the spatial light modulator to form spatially modulated light; Fourier transforming the spatially modulated light using a Fourier transform lens; and detecting the intensity at the element.
Square rooting the detected intensity at the pixel allows a measurement of the amplitude to be obtained. In embodiments, there is therefore provided a further step of square-rooting the detected intensity, optionally wherein the step of detecting the intensity at the element comprises detecting the intensity using a photodetector.
It may be understood that the methods as herein described may be part carried out using optical means and part carried out using computing means. Performing the Fourier transform of an input function may be completed in a series of discrete steps, wherein some steps are carried out using optical means and some steps are carried out using computing means.
There is therefore provided a device for determining a phase value of an element in a spatial array of elements arranged to form a pixelated representation of a complex Fourier transform of a function, wherein each element comprises an amplitude value and a phase value in which the phase is constrained to a plurality of possible phase values, the device including: an optical system arranged to measure the amplitude value at the element and changes in the amplitude value at the element caused by applying a perturbation function to the function; and a processor arranged to: determine the phase value at the element from the measured amplitude value at the element and the measured changes in the amplitude value at the element caused by applying a perturbation function to the function.
In embodiments, the optical system includes: a spatial light modulator arranged to display the input function; a light source arranged to illuminate the spatial light modulator to form spatially modulated light; a Fourier transform lens arranged to receive the spatially modulated light and Fourier transform the spatially modulated light; a photodetector arranged to detect the intensity distribution at the element at the Fourier plane of the Fourier transform lens.
In embodiments, the spatial light modulator and the Fourier transform lens are separated by a distance equal to the focal length of the Fourier transform lens and the Fourier transform lens and the photodetector are separated by a distance equal to the focal length of the Fourier transform lens. However, the skilled person will understand how to determine the position of the components if the light is not collimated.
In embodiments, no lens is used, and the camera is placed very far away from the SLM in the optical far field. As used herein an “optical far field” refers to a distance where the Fraunhofer approximation is valid. That is, the distance z from the aperture of the camera to the SLM satisfies z>>k(x2)/2, where k is the optical wavenumber (2π/λ) and where x is the size of the aperture. In some embodiments, the SLM has a very small pixel size such that the Fraunhofer approximation is satisfied. In some embodiments, the combination of the distance between the camera and the SLM and the pixel size of the SLM is chosen such that the Fraunhofer approximation is satisfied.
Complex Fourier Transform
The inventors have also realized that any input function may be decomposed into a plurality of sub-functions in which the phase function of the Fourier transform of each sub-function may be separately determined by the above method and combined together to form the phase component of the Fourier transform of the input function. There is therefore provided a new hybrid computation-optical technique for determining full complex Fourier transforms. In summary, the method includes: decomposing an input function into a plurality of sub-functions; performing the phase-determination method set out above for each sub-function to find a phase function for each sub-function; and combining phase and amplitude functions of the sub-functions to form the complex Fourier transform of the input function.
An overview of the method of determining the complex Fourier transform of a complex input function z(x) in accordance with an embodiment is illustrated in the flow chart of
An optical Fourier transform of the sub-function 710a is carried out in step S702a in order to generate an amplitude function 720a which is detectable by a suitable optical detector. For example, the amplitude function 720a may be measured using a photodetector array. A perturbation is applied to the sub-function 710a in step S703a in order to generate a perturbed sub-function 730a. An optical Fourier transform of the perturbed sub-function 730a is carried out in step S704a. The amplitude function of the Fourier transform of the perturbed sub-function 730a is also measured by, for example, a photodetector array. Changes in the measured amplitude function 720a caused by applying the perturbation are determined in step S705a from which the phase function 750a of the complex Fourier transform of the sub-function is determined. The measured amplitude functions 720a-720d and the determined phase functions 750a-750d are combined in step S709 in order to form the full complex Fourier transform 790 of the input function 700, as will be described in greater detail below.
Although
Embodiments and figures relate to pixelated functions and Fourier transforms by way of example only. It may be understood that the methods disclosed herein are applicable to any input function comprising amplitude and phase information.
It may be understood that there is provided a method of performing a complex Fourier transform of an input function comprising amplitude and phase information, the method including the steps of: decomposing the input function into a plurality of sub-functions, wherein the Fourier transform of each sub-function comprises an amplitude function and a phase function in which the phase is constrained to a plurality of possible phase values; determining the phase function of the Fourier transform of each sub-function by measuring the amplitude function of an optical Fourier transform of the sub-function and changes in the amplitude function of the optical Fourier transform caused by applying a perturbation function to the sub-function; combining the determined phase functions and the measured amplitude functions for each sub-function to form the complex Fourier transform of the input function.
Advantageously, a method of performing a Fourier transform is provided wherein computing resources are effectively outsourced to the optical domain. This allows larger Fourier transforms to be carried out faster than using digital electronic computing means alone. Further advantageously, a method is provided in which a full complex Fourier transform of an input function can be carried out using optically-detected amplitudes only. This enables full complex Fourier transforms to be carried out substantially in the optical domain. The rate at which Fourier transforms may be performed in the optical domain can be of the order of the refresh rate of the optical means, which is faster than can be completed using computer algorithms using cost equivalent computer processing means.
In embodiments, the input function is decomposed in a two-stage process. The input function z(x) can be represented in complex form, having a real part R{z(x)} and an imaginary part jI{z(x)}:
z(x)=R{z(x)}+jI{z(x)} (11)
z(x)=a(x)+jb(x) (12)
a(x) and b(x) represent the real part and the real component of the imaginary part, respectively;
a(x) and b(x) are, therefore, purely real functions.
a(x) and b(x) may be subsequently decomposed themselves into sub-functions.
As explained earlier, the method of determining the phase for each sub-function is simplified in cases in which the phase of the optical Fourier transform of the sub-function is constrained to two possible phase values.
There is therefore provided a method as described herein, wherein the step of decomposing the input function into a plurality of sub-functions comprises decomposing the input function into a plurality of sub-functions, wherein the Fourier transform of each sub-function comprises an amplitude function and a phase function in which the phase is constrained to two possible phase values.
It may be understood that there are several ways in which the phase of the optical Fourier transforms of the input function may be constrained to two possible values.
In embodiments, there is provided a method wherein the difference between the two possible phase values for at least one of the sub-functions is (2n+1)π radians, where n is an integer. In embodiments, one of the two possible phase values for at least one of the sub-functions is nπ radians, where n is an integer. In embodiments, one of the two possible phase values for at least one of the sub-functions is (n+1/2)π radians, where n is an integer.
In embodiments, the number of possible phase values of the optical Fourier transform of a sub-function is constrained to a plurality of possible phase values by selecting the sub-function to be either an even function or an odd function.
The real function f(x), representing either a(x) or b(x) from equation 12, may be decomposed into its even and odd components, given by equations 13 and 14, respectively.
e(x)=1/2(f(x)+f(−x)) (13)
o(x)=1/2(f(x)−f(−x)) (14)
Such that:
f(x)=e(x)+o(x) (15)
The even and odd components have the property that:
e(x)=e(−x) (16)
o(x)=−o(−x) (17)
This is illustrated graphically for the case of a 1D function in
An embodiment representing how the input function may be decomposed into a plurality of sub-functions comprising only odd functions and even functions is shown in the flow chart of
There is therefore provided a method as herein described wherein the plurality of sub-functions comprises a first plurality of sub-functions and a second plurality of sub-functions and the step of decomposing the input function into the plurality of sub-functions comprises: determining the real component and the imaginary component of the input function; decomposing the real component of the input function into a first plurality of sub-functions; decomposing the imaginary component of the input function into a second plurality of sub-functions. There is further provided a method wherein the first plurality of sub-functions is a first even function and a first odd function and wherein the second plurality of sub-functions is a second even function and a second odd function.
Advantageously, in accordance with the present disclosure, when the input function is decomposed into a first even function and a first odd function and a second even function and a second odd function, only eight optical measurements are required to perform a full complex to complex optical Fourier transform. It may also be appreciated that these measurements could be made in parallel. With eight SLMs of arbitrary resolution, higher precision than the hardware accuracy allows can be achieved by performing multiple optical Fourier transforms over different bit-planes of an arbitrary precision input function.
In embodiments, each sub function is subjected to the phase-determination method described previously.
It may therefore be understood that in embodiments, there is provided a method including the step of measuring changes in the amplitude function caused by applying a perturbation function which comprises: adding the perturbation function to the sub-function to form a perturbed sub-function; performing an optical Fourier transform of the perturbed sub-function and detecting the amplitude function of the Fourier transform of the perturbed sub-function; and comparing the measured amplitude function of the Fourier transform of the sub-function to the amplitude function of the Fourier transform of the perturbed sub-function. In embodiments, the amplitude is obtained by square rooting intensity.
It may be understood that the each sub-function and its Fourier transform can be represented in a pixelated array. Each sub-function is therefore represented as a 2D array of elements as shown for the input function 201 in
In embodiments, the methods described herein further comprise the step of forming the complex Fourier transform of each sub-function using the determined phase function and measured amplitude function for each sub-function.
There is therefore provided a method as described herein, wherein the complex Fourier transform of the sub-function is a pixelated representation of the complex Fourier transform of the sub-function comprising a spatial array of elements, wherein each element comprises an amplitude value and a phase value. Further, wherein the amplitude function of the complex Fourier transform of the sub-function is represented by the amplitude values of the elements and wherein the phase function of the complex Fourier transform of the sub-function is represented by the phase values of the elements.
It may be appreciated from the following that the perturbation is chosen based on the nature of the sub-functions. In embodiments in which the plurality of sub-functions comprises even functions and odd functions, the perturbation functions are given by:
E′(u)=E(u)+P(u) (18)
E′(u)=(√|E(u)|2)ej(φ={0,π})+ε (19)
E′(u)=+(√|E(u)|2)+ε if φ=0
E′(u)=−(√|E(u)|2)+ε if φ=π (20)
O′(u)=O(u)+P(u) (21)
O′(u)=(√|O(u)|2)ej(φ={π/2,−π/2})+εejπ/2 (22)
O′(u)=j(+(√|O(u)|2)+ε) if φ=π/2
O′(u)=j(−(√|O(u)|2)+ε) if φ=−π/2 (23)
where ε=ε (u) is a small positive real number. As before, the camera detects the intensities |E′(u)|2 and |O′(u)|2.
The intensities of the unperturbed and perturbed functions are compared. If the intensity increases, then the perturbation is in phase with the function; if the intensity decreases, then the perturbation is anti-phase with the function,
|E(u)′|2−|E(u)|2 {φ(u)=0 if >0
{φ(u)=π if <0 (24)
|O(u)′|2−|O(u)|2 {φ(u)=π/2 if >0
{φ(u)=−π/2 if <0 (25)
It may therefore be understood that in embodiments, there is provided a method wherein the changes in the amplitude function of the optical Fourier transform caused by applying a perturbation function to the sub-function are determined by subtracting the measured amplitude function of the Fourier transform of the sub-function from the amplitude function of the Fourier transform of the perturbed sub-function to form a difference function. In embodiments, the sign of the difference function is used to determine the phase function of the Fourier transform of each sub-function.
Having performed the methods described for each sub-function, the information needed to obtain the complex Fourier transform of the real function f(x) is available. This is given by:
where |E(u)|2 and |O(u)|2 are the intensities which may be directly measured by a camera (the first two measurements), and the phases φ(u) are uniquely constrained by the change in intensity after application of the perturbation (the second two measurements).
This procedure is applied twice to the functions real functions a(x) and b(x) from equation 12, to obtain the complex functions A(u) and B(u), which represent the complex Fourier transform of the real part 770a and the complex Fourier transform of the imaginary part 770b, respectively.
The Fourier transform of the real part 701 and the real component of the imaginary part 702 are represented by A(u) and B(u), respectively, in equations 31 and 32.
Provided that the complex Fourier transform of real part 701 and the real factor of the imaginary part 702 (A(u) and B(u)) of the input function 700 can be found it is possible to recombine them to form the complex Fourier transform 790 of the input function 700. The full complex Fourier transform of the complex function z(x), which represents the input function 700, is then obtained by equation 33.
F{z(x)}=Z(u)=A(u)+jB(u) (33)
In embodiments the methods described herein further comprise the step of combining the respective complex Fourier transforms of the sub-functions to form the complex Fourier transform of the input function.
The measured amplitude functions 720a-720d may be combined with the determined phase functions 750a-750d in step S709 in different ways. In embodiments, the complex Fourier transforms of real part 701 and the real component of the imaginary part 702 are found and then combined to form the complex Fourier transform 790 of the input function 700.
There is therefore provided a step of combining the determined phase functions and measured amplitude functions which comprises adding together the respective complex Fourier transforms of the first plurality of sub-functions to form the real component of the Fourier transform of the input function; and adding together the respective complex Fourier transforms of the second plurality of sub-functions to form the imaginary component of the Fourier transform of the input function, wherein the real component of the Fourier transform of the input function and the imaginary component of the Fourier transform of the input function form the complex Fourier transform of the input function.
The inventors have recognized that the method of decomposing an input function into its real and imaginary parts, and combining the optical Fourier transforms of the real and imaginary parts to form the complex Fourier transform of the input function advantageously makes use of the linearity of Fourier transforms. This provides a resource efficient method for performing the Fourier transform of an input function.
Methods disclosed herein may be performed using the optical apparatus of
There is therefore provided a method as described herein wherein the step of measuring the amplitude function of an optical Fourier transform of the sub-function comprises: displaying or representing the sub-function on a spatial light modulator; illuminating the spatial light modulator to form spatially modulated light; Fourier transforming the spatially modulated light using a Fourier transform lens; and detecting the spatial intensity distribution at the Fourier plane of the Fourier transform lens. There is also provided a step of square-rooting the detected spatial intensity distribution. There is further provided a step of detecting the spatial intensity distribution at the Fourier plane of the Fourier transform lens comprising detecting the spatial intensity distribution at the Fourier plane of the Fourier transform lens using a photodetector array.
It should be understood that, as explained earlier, the nature of the perturbation function is chosen based on the nature of the sub-function. In an embodiment, the perturbation function is a delta function. In an embodiment, the Fourier transform of the perturbation comprises an amplitude function and a phase function in which the phase is one of the plurality of possible phase values. In other embodiments, the perturbation function may be any arbitrary function. It may be understood that a method may be employed for determining what the Fourier transform of the perturbation function should be for any arbitrary perturbation function. In embodiments, a step of performing the Fourier transform of the perturbation function is carried out. The Fourier transform is then fed back automatically to allow calculation of the phase of the Fourier transform of the input function using the methods described herein. In embodiments, this step may be carried out independently of other steps of the method.
Some of the steps of the methods described herein may be carried out by computing means, some may be carried out by optical means and some may be carried out by both computing means and optical means. For example, the step S701 of decomposing the input function 700 and the step S709 of combining the measured amplitude functions 720a-720d with the determined phase functions 750a-750d may be carried out by computing means. Optical means may be used to perform the step S702a of optically Fourier transforming the sub-function 710a, the step S703a of perturbing the sub-function and the step S704a of optically Fourier transforming the perturbed sub-function 730a. Both optical and computing means are required to perform the step 705a of detecting changes in the measured amplitude function. It may be understood that the computing means and optical means therefore work together as a system to perform methods disclosed herein.
Advantageously, with currently available 8K spatial light modulators for display applications, a full optical Fourier transform could be performed in approximately 20 ms, compared with approximately 600 ms on a powerful digital computer (at the time of writing).
Further advantageously, as larger spatial light modulators become available, larger optical Fourier transforms can be performed with no time penalty. In addition, power savings from an optical system of this type are substantial. The spatial light modulators and light source (typically a low power laser) only require a few watts of power.
There is therefore provided a device for performing a complex Fourier transform of an input function comprising amplitude and phase information comprising: a processor arranged to decompose an input function into a plurality of sub-functions, wherein the Fourier transform of each sub-function comprises an amplitude function and a phase function in which the phase is constrained to a plurality of possible phase values; and an optical system arranged to measure the amplitude function of an optical Fourier transform of the sub-function and changes in the amplitude function of the optical Fourier transform caused by applying a perturbation function to the sub-function; wherein the processor is further arranged to: determine the phase function of the complex Fourier transform of each sub-function from the measured amplitude function of the optical Fourier transform of the sub-function and the measured changes in the amplitude function of the optical Fourier transform caused by applying a perturbation function to the sub-function; and combine the determined phase functions and the measured amplitude functions of optical Fourier transforms of the sub-functions to form the complex Fourier transform of the input function.
In embodiments, the optical system further comprises: a spatial light modulator arranged to display the sub-function; a light source arranged to illuminate the spatial light modulator to form spatially modulated light; a Fourier transform lens arranged to receive the spatially modulated light and Fourier transform the spatially modulated light; a photodetector array arranged to detect the spatial intensity distribution at the Fourier plane of the Fourier transform lens.
In an embodiment, the spatial light modulator and the Fourier transform lens are separated by a distance equal to the focal length of the Fourier transform lens and the Fourier transform lens and the photodetector array are separated by a distance equal to the focal length of the Fourier transform lens.
In embodiments, the SLM is driven by signals which are DC balanced. DC balancing is attractive as an additional part of the methods described herein. If a signal is not DC balanced, the DC term in the optical Fourier transform can be much brighter than the rest of the transform, making it hard to record the optical Fourier transform on a system with a given dynamic range. The odd component o(x) is inherently DC balanced. In embodiments, the even component is shifted so that ebal(x)=e(x)−<e(x)> is also DC balanced. In embodiments, this adjustment is compensated for in the optical Fourier transform by changing the DC offset appropriately.
A requirement of the methods described herein is obtaining the appropriate optical modulation. In order to display o(x) and ebal(x) (wherein ebal(x) is a DC balanced form of e(x)) it is necessary to be able to display positive and negative numbers. That is, the SLM needs to be able to display continuous amplitude and constrained phase—in embodiments, binary phase such as ({0, π})—as represented by the first function 315 in
It may be understood that this could be achieved in a number of ways and the present disclosure is not therefore limited to the examples given in the following. In embodiment, a two-pass modulation setup is used where two separate SLMs are used to achieve the correct modulation. The SLMs could be arranged in either a series or a parallel arrangement. Examples of such arrangements are shown in
In operation, the collimated light 1120 is modulated by the first SLM portion 1103a such that it has a first polarisation profile. The polarisation of the modulated light 1130 is rotated twice, once by the first plate portion 1104a and once by the second plate portion 1104b. The phase double shifted light 1160 is given a second polarisation profile by the second SLM portion 1103b. The polariser 1106 then selects the appropriate polarisation states from the doubly modulated light 1170 to form polarisation selected light 1180, which has the amplitude profile of the intended function or perturbed function. The polarisation selected light 1180 is then Fourier transformed by the Fourier transform lens 1107 and the optical Fourier transform of the function or perturbed function is detected by the photodetector array 1108. It may be understood that the phase shift at the first plate portion 1104a and the second plate portion 1104b depends on the polarisation state, which may have been modulated by the SLM. Hence the shift which occurs at the first plate portion 1104a is not necessarily the same as the shift which occurs at the second plate portion.
In operation, the first polariser 1206 polarises the collimated light 1220. The polarised light 1230 is modulated by the first SLM portion 1203a to provide modulated light 1240 with a first polarisation profile. The first lens portion 1205a, the second mirror 1222 and the second lens portion 1205b optically relay the modulated light 1240 to allow it to pass through the second SLM portion 1203b. The optically relayed light 1260 is modulated further by the second SLM portion 1203b and the double modulated light 1270 from the second SLM portion 1203b possessing the amplitude profile of the intended function or perturbed function is then Fourier transformed by the Fourier transform lens 1207. The polariser 1206 then selects the appropriate polarisation states to form polarisation selected light 1280, which has an amplitude and phase profile. The polarisation selected light 1280 is then detected by the photodetector array 1208. In this embodiment, the SLM type is chosen such that wave plates are not needed to achieve the appropriate amplitude and phase modulation.
In operation, the collimated light 1320 is given a first polarisation profile by the first SLM portion 1303a. The inverting lens 1305 and collimating lens 1311 form an optical relay in which the half wave plate 1304 and polariser 1306 are contained. The polarisation of the modulated light 1330 is rotated by the half wave plate 1304, and the polariser 1306 then selects the appropriate polarisation states from the combination of the first polarisation profile to form polarisation selected light 1370, which has a first amplitude profile. The double modulated light 1380 provided by the second SLM portion 1303b has a second amplitude profile, which is that of the intended function or perturbed function. The double modulated light 1380 is then Fourier transformed by the Fourier transform lens 1307 and the optical Fourier transform of the function or perturbed function is detected by the photodetector array 1308.
As well as the architectures shown in
Examples of architectures having reflective SLMs are shown in
In operation, the collimated light 1420 is given a first polarisation profile by the first SLM 1403. The inverting lens 1411 and collimating lens 1412 form an optical relay in which the wave plate 1404 and second polariser 1416 are contained. The polarisation of the modulated light 1445 is rotated by the wave plate 1404, and the second polariser 1416 then selects the appropriate polarisation states from the combination of the first polarisation profile to form polarisation selected light 1470, which has a first amplitude profile. The double modulated light 1490 provided by the second SLM 1423 has a second amplitude profile, which is that of the intended function or perturbed function. The double modulated light 1490 is then Fourier transformed by the Fourier transform lens 1407 and the optical Fourier transform of the function or perturbed function is detected by the photodetector array 1408. It may be understood that the first and second beam splitters 1421, 1422 take some of the modulated light 1445 off on a different optical path. The first and second beam splitters 1421, 1422 could be of a polarising or non-polarising type. Only the relevant optical paths are shown in
In operation, the collimated light 1514 is given a first polarisation profile by the first SLM. The inverting lens 1505 and collimating lens 1508 form an optical relay in which the second wave plate 1506 and polariser 1507 are contained. The polarisation of the modulated light 1516 is rotated by the second wave plate 1506, and the polariser 1507 then selects the appropriate polarisation states from the first polarisation profile to form polarisation selected light 1519, which has a first amplitude profile. The double modulated light 1521 provided by the second SLM 1509 has a second amplitude profile, which is that of the intended function or perturbed function. The double modulated light 1521 is then Fourier transformed by the Fourier transform lens 1510 and the optical Fourier transform of the function or perturbed function is detected by the photodetector array 1511.
The apparatuses in
This modulation capability can be represented on an Argand diagram.
It is possible to fulfil this criterion using an appropriate algorithm to select the SLMs and the placement and type of the wave plates and polarisers in the design of any of the embodiments shown in
The complex Fourier transform output of input functions provided by disclosed methods and optical systems have a wide variety of applications that can all benefit from the specific improvements to signal processing by computer-related technology that is provided, which provides operation beyond the of use of a computer in its ordinary signal processing capacity. Disclosed improvements are at least one of superior speed and higher energy efficiency. Such applications include fields such as data processing, image processing, scientific computing, and numerical simulations. In the specific field of numerical weather prediction it is advantageous to transform data from the spatial domain into the frequency domain, and back again, via a Fourier transform operation. The purpose of this transform for weather prediction is to facilitate the more accurate calculation of physical quantities required by the weather simulation. In particular, frequency-domain (spectral) methods provide for a more accurate determination of derivatives. A disclosed hardware-based optical system can be used to replace the Fourier transform algorithms presently implemented by software.
Those skilled in the art to which this Disclosure relates will appreciate that many other embodiments and variations of embodiments are possible within the scope of the claimed invention, and further additions, deletions, substitutions and modifications may be made to the described embodiments without departing from the scope of this Disclosure.
Number | Date | Country | Kind |
---|---|---|---|
1517076 | Sep 2015 | GB | national |
This application is a continuation-in-part (CIP) application of PCT application number PCT/GB2016/053015 filed on Sep. 28, 2016, that claims the benefit of UK Application number GB20150017076 filed on Sep. 28, 2015, which are both herein incorporated by reference in their entirety.
Number | Name | Date | Kind |
---|---|---|---|
5416618 | Juday | May 1995 | A |
6421163 | Culver | Jul 2002 | B1 |
20050018295 | Mendlovic | Jan 2005 | A1 |
20060262403 | Ludwig | Nov 2006 | A1 |
20070003145 | Goldenberg | Jan 2007 | A1 |
20090052794 | Ludwig | Feb 2009 | A1 |
Number | Date | Country |
---|---|---|
2503379 | Sep 2012 | EP |
2003530564 | Oct 2003 | JP |
Entry |
---|
Robert A. Gonsalves, “Small-phase solution to the phase-retrieval problem”, Optics Letters, vol. 26, No. 10, May 15, 2001, pp. 684-685. |
Xinyang Li, et al., “Principle of a linear phase retrieval method and its application in adaptive optics system”, Proc. of SPIE, vol. 7018, Advanced Optical and Mechanical Technologies in Telescopes and Instrumentation, Jul. 23, 2008, pp. 70183Y-1-70183Y-8. |
Christoph U. Keller, et al., “Extremely fast focal-plane wavefront sensing for extreme adaptive optics”, Proceedings of SPIE, vol. 8447, pp. 844721-1 to 844721-10, Sep. 13, 2012. |
A. J. MacFaden, et al., “Characterization, design, and optimization of a two-pass twisted nematic liquid crystal spatial light modulator system for arbitrary complex modulation”, Journal of the Optical Society of America A, vol. 34, No. 2, Feb. 2017, pp. 161-170. |
Number | Date | Country | |
---|---|---|---|
20180217629 A1 | Aug 2018 | US |
Number | Date | Country | |
---|---|---|---|
Parent | PCT/GB2016/053015 | Sep 2016 | US |
Child | 15938994 | US |