Abstract:
A methodology and concomitant system for three-dimensional near-field microscopy achieves subwavelength resolution of an object via total internal reflection. The features of this approach include: (i) the evanescent waves used for illumination encode on the scattered field the subwavelength structure of the scattering object—it is thus possible to obtain subwavelength resolved images of the sample as is done in other near-field techniques such as near-field scanning optical microscopy without the technical difficulties encountered with probe-sample interactions; and (ii) the results of the reconstruction are unambiguous in the sense that the relation between the scattered field and the three-dimensional structure of the sample, as described by the spatial dependence of the susceptibility, is made manifest.

Description:
BACKGROUND OF THE DISCLOSURE 
     1. Field of the Invention 
     This invention relates to tomography and, more particularly, to tomography wherein an image of an object is directly reconstructed with sub-wavelength resolution. 
     2. Description of the Background Art 
     Total internal reflection microscopy (TIRM) brings to conventional microscopy the added functionality of illumination by evanescent waves. Incorporation of evanescent waves in the illuminating field is an important development for several reasons. First, the exponential decay of such waves along one direction allows for the control of the depth of penetration of the illuminating field. Second, evanescent waves may be used to resonantly excite surface plasmon modes of the sample. Finally, and perhaps most importantly, evanescent waves may be employed to supercede the Rayleigh diffraction limit of order half the wavelength, λ/2. 
     TIRM has been in practical use for decades. It has primarily been used as a surface inspection technique, though the sensitivity of the field to distance along the decay axis has been utilized to advantage in applications such as the measurement of distance between two surfaces. Until recently the opportunities for transverse superresolution made possible by the high spatial frequency content of the probe field have been largely over-looked. However, there have been advances in the realization of super-resolved imaging utilizing TIRM. There had been an initial direct imaging approach resulting from the marriage of standing-wave illumination techniques and TIRM achieving transverse resolution of λ/7. A later approach in which the information content of the TIRM experiment for the case of weakly-scattered fields has been determined is reported by Fischer in “The information content of weakly scattered fields: implications for near-field imaging of three-dimensional structures”, published in Journal of Modern Optics, Vol. 47, No. 8, pages 1359-1374, 2000. 
     However, the art does not teach or suggest a technique for the reconstruction of a tomographic image of the object which is accomplished by making use of an analytic solution to an inverse scattering formulation with evanescent waves. 
     SUMMARY OF THE INVENTION 
     These shortcomings, as well as other limitations and deficiencies, are obviated in accordance with the present invention via a technique, referred to as total internal reflection tomography (TIRT,) whereby an object is probed with evanesent waves and then waves scattered from the object are processed with a prescribed mathematical algorithm to reconstruct the tomographic image. 
     In accordance with a broad method aspect of the present invention, a method for generating a tomographic image of an object includes: (1) probing the object with incident evanescent waves; (2) detecting waves scattered by the object, and (3) reconstructing the tomographic image of the object by executing a prescribed mathematical algorithm with reference to the incident evanescent waves and the scattered waves to generate the tomographic image with subwavelength spatial resolution. 
     A broad system aspect of the present invention is commensurate with the broad method aspect. 
     The features of the TIRT approach are at least three-fold: (i) the evanescent waves used for illumination encode on the scattered field the subwavelength structure of the scattering object. It is thus possible to obtain subwavelength resolved images of the sample as is done in other near-field techniques such as near-field scanning optical microscopy without the technical difficulties encountered with probe-sample interactions; and (ii) the results of the reconstruction are unambiguous in the sense that the relation between the scattered field and the three-dimensional structure of the sample, as described by the spatial dependence of the susceptibility, is made manifest. This is somewhat analogous to the transition from projection radiography to computed tomography. 
    
    
     BRIEF DESCRIPTION OF THE DRAWING 
     FIG. 1 illustrates a object/scatterer under test showing input evanescent waves generated at a prism face by total internal reflection an whereby the object scatters evanescent modes to the far zone; 
     FIGS. 2A and 2B depict direct reconstruction results for an exemplary scatterer using different parameters; 
     FIG. 3 is a high-level block diagram of a system for directly reconstructing the tomographic image of the scatterer; and 
     FIG. 4 is a flow diagram of the methodology for directly reconstructing the tomographic image of the scatterer. 
    
    
     DETAILED DESCRIPTION 
     1. Forward Problem 
     In this section we consider the scattering of evanescent waves from weakly-scattering dielectric media. In order to develop the physical ideas in a simple setting, we begin with the case of scalar waves. We then turn to the full vector theory of electromagnetic scattering thereby accounting for the effects of polarization. Note that the vector theory is essential since the scalar approximation to the scattering of electromagnetic waves is invalid when the dielectric susceptibility varies on subwavelength scales. 
     1.1 Scalar Case 
     Begin by considering an experiment in which a monochromatic scalar field is incident on a dielectric medium with susceptibility 72(r). The field incident on the sample will be taken to be an evanescent wave which is generated by total internal reflection at the interface of two half-spaces. One half-space, taken to be z≧0, will have the vacuum index of refraction 1 while the z&lt;0 half-space will have an index of refraction n. The scalar field U(r) obeys the reduced wave equation 
     
       
         ∇ 2   U ( r )+ k   0   2   n   2 ( z ) U ( r )=−4 πk   0   2 η( r ) U ( r ),  (1) 
       
     
     where k 0  is the free-space wavenumber, n(z) is the z-dependent index of refraction as described above, and the support of η(r) is contained in the z≧0 half-space. We represent the total field as the sum 
     
       
           U=U   i   +U   s ,  (2) 
       
     
     where U i  and U s  represent the incident and scattered fields, respectively. The incident field obeys the homogeneous equation 
     
       
         ∇ 2   U   i ( r )+ k   0   2   n   2 ( z ) U   i ( r )=0.  (3) 
       
     
     The scattered field obeys the equation 
     
       
         ∇ 2   U   s ( r )+ k   0   2   n   2 ( z ) U   s ( r )=4 πk   0   2 η( r ) U ( r ).  (4) 
       
     
     Equation (4) may be recast as the integral equation 
     
       
           U   s ( r )= k   0   2   ∫d   3   r′G ( r,r ′) U ( r ′)η( r ′),  (5) 
       
     
     where G(r,r′) is the Green&#39;s function. 
     The Green&#39;s function G(r,r′) satisfies the equation 
     
       
         ∇ 2   G ( r,r ′)+ n   2 ( z ) k   0   2   G ( r,r ′)=−4πδ( r−r ′)  (6) 
       
     
     and obeys the boundary conditions 
     
       
           G ( r,r ′)| z=0     +     =G ( r,r ′)| z=0     −   ,  (7) 
       
     
     
       
           {circumflex over (z)}·∇G ( r,r ′)| z=0     +=     {circumflex over (z)}·∇G ( r,r ′)| z=0     −   .  (8) 
       
     
     It may be seen that G(r,r′) admits the plane-wave decomposition                  G        (     r   ,     r   ′       )       =       i     2                 π            ∫                       2            qk   z     -   1            (   q   )              {     1   +         R   1          (   q   )            exp        [     2          ik   z          (   q   )            z   ′       ]           }          exp        [       ik        (   q   )       ·     (     r   -     r   ′       )       ]               ,           (   9   )                                
     where R 1 (q) is the reflection coefficient given by                  R   1     =           k   z          (   q   )       -       k   z   ′          (   q   )               k   z          (   q   )       +       k   z   ′          (   q   )             ,     
        with           (   10   )                   k   z          (   q   )       =         k   0   2     -     q   2                 (   11   )                     k   z   ′          (   q   )       =           n   2          k   0   2       -     q   2           ,           (   12   )                                
     and k(q)=(q, k z (q)). The plane wave modes appearing in Equation (7) are labeled by the transverse part of the wavevector q. The modes for which |q|≦k 0  correspond to propagating waves while the modes with |q|&gt;k 0  correspond to evanescent waves. 
     Consider now the situation in which the incident field is an evanescent planewave of the form 
     
       
           U   i ( r )=exp[ ik ( q )·r],  (13) 
       
     
     where q labels the transverse part of the incident wavevector. With reference to FIG. 1, if incoming wave  101  traverses prism  105  with index of refraction n, then k 0 ≦|q|≦nk 0 . Thus k z  is imaginary with the choice of sign dictated by the physical requirement that the field decay exponentially with increasing values of z. In the first Born approximation we replace the field by the incident field in the right hand side of equation (4) and obtain the following expression for the scattered field, which occurs because object  100  frustrates total internal reflection and scatters evanescent modes to the homogenous mode that propagates to the far field: 
     
       
           U   s ( r )= k   0   2   ∫d   3   r′G ( r,r ′) U   i ( r )η( r ′).  (14) 
       
     
     In the far zone of the scatterer, the leading term in the asymptotic expansion of the Green&#39;s function is given by the expression                  G        (     r   ,     r   ′       )       ∼       {     1   +         R   1          (   q   )            exp        [     2          ik   z          (   q   )            z   ′       ]           }            exp        (       ik   0        r     )       r          exp        [       -     ik        (   q   )         ·     r   ′       ]           ,           (   15   )                                
     where k(q) is parallel to r and |q|≦k 0 . Using this result and equation (14) we find that the scattered field behaves as an outgoing homogeneous wave of the form                    U   s          (   r   )       ∼         exp        (       ik   0        r     )       r          A        (       q   1     ,     q   2       )           ,           (   16   )                                
     where q 1  and q 2  are the transverse parts of the incident and outgoing wavevectors, respectively. Here A(q 1 ,q 2 ), which is the scattering amplitude associated with the scattering of evanescent plane waves with transverse wavevector q 1  into homogeneous plane waves with transverse wavevector q 2 , is related to the susceptibility of the scatting object by the expression 
     
       
           A ( q   1   ,q   2 )= k   0   2   ∫d   3   r {1 +R   1 ( q   2 )exp[2 ik   z ( q   2 ) z ]}exp{ i[k ( q   1 )− k ( q   2 )]· r }η( r ).  (17) 
       
     
     We will take up the inversion of this integral equation in Section 2.1. 
     1.2 Vector Case 
     We now turn to the vector theory of electromagnetic scattering. As before, we consider an evanescent wave which is incident on a dielectric medium with susceptibility η(r) and assume that the evanescent wave is produced at the interface of two half-spaces. We consider only nonmagnetic materials and accordingly will limit our attention to the electric field E which satisfies the reduced wave equation 
     
       
         ∇×∇× E ( r )− k   0   2   n   2 ( z ) E ( r )=4 πk   0   2 η( r ) E ( r ),  (18) 
       
     
     where k 0 is the free space wave number and n(z) is the background index of refraction as described in Section 1.1. We decompose the field into a sum of two parts, 
     
       
           E=E   i   +E   s .  (19) 
       
     
     The incident field E i  obeys the homogeneous equation 
     
       
         ∇×∇× E   i ( r )− k   0   2   n   2 ( z ) E   i ( r )=0.  (20) 
       
     
     The scattered field E s  obeys 
     
       
         ∇×∇× E   s ( r )− k   0   2   n   2 ( z ) E   s ( r )=4 πk   0   2 η( r ) E ( r ).  (21) 
       
     
     Equation (21) may be reformulated as the integral equation 
     
       
           E   α   s ( r )= k   0   2   ∫d   3   r′G   αβ ( r,r ′) E   β (   r ′)η( r ),  (22) 
       
     
     where G αβ (r,r′) is the Green&#39;s tensor for the half-space and the summation convention over repeated indices applies and will throughout. 
     The Green&#39;s tensor G αβ (r,r′) satisfies the equation 
     
       
         ∇×∇× G ( r,r ′)− k   0   2   n   2 ( z ) G ( r,r ′)=4πδ( r−r ′) I   (23) 
       
     
     where I is the unit tensor. The Green&#39;s tensor must also satisfy the boundary conditions 
     
       
           {circumflex over (z)}×G ( r,r ′)| z=0     +     ={circumflex over (z)}×G ( r,r ′)| z=0     −   ,  (24) 
       
     
     
       
           {circumflex over (z)}×∇×G ( r,r ′)| z=0     +     ={circumflex over (z)}×∇×G ( r,r ′)| z=0     −   .  (25) 
       
     
     Making use of a planewave decomposition, it may be found that                    G   αβ          (     r   ,     r   ′       )       =       i     2                 π            ∫                         2        q         k   z          (   q   )                S     α                 γ       -   1            (   q   )              g     γ                 δ            (     q   ,   z     )              S   δβ          (   q   )            exp        [       ik        (   q   )       ·     (     r   -     r     ′                    )       ]               ,           (   26   )                                
     where it is assumed that z&gt;z′&gt;0. Here the matrix S(q) rotates k(q) into the xz plane, or more explicitly                S        (   q   )       =            q          -   1            (           q   x           q   y         0             -     q   y             q   x         0           0       0            q              )               (   27   )                   g   xx     =         (         k   z          (   q   )         k   0       )     2          {     1   +         R   2          (   q   )            exp        [     2          ik   z          (   q   )            z   ′       ]           }         ,           (   28   )                   g   yy     =     1   +         R   1          (   q   )            exp        [     2          ik   z          (   q   )            z   ′       ]             ,           (   29   )                   g   zz     =         (          q          k   0       )     2          {     1   -         R   2          (   q   )            exp        [     2          ik   z          (   q   )            z   ′       ]           }         ,           (   30   )                   g   zx     =           -        q                 k   z          (   q   )           k   0   2            {     1   +       R   2          (   q   )          exp        [     2          ik   z          (   q   )            z   ′       ]           }         ,           (   31   )                   g   xz     =           -        q                 k   z          (   q   )           k   0   2            {     1   -         R   2          (   q   )            exp        [     2          ik   z          (   q   )            z   ′       ]           }         ,           (   32   )                                
     all other elements of g being zero, R 1 (q) is defined in equation (10), and R 2 (q) is given by                  R   2          (   q   )       =             k   z   ′          (   q   )       -       nk   z          (   q   )               k   z   ′          (   q   )       +       nk   z          (   q   )           .             (   33   )                                
     We take the incident field to be an evanescent plane wave with polarization E (0)   
     
       
           E   α   i ( r )= E   α   (0) exp [ ik ( q )· r],   (34) 
       
     
     where k(q) is the incident wavevector and k 0 ≦|q|≦nk 0 . Within the accuracy of the first Born approximation, we find that the scattered field is given by the expression 
     
       
           E   α   s ( r )= k   0   2   ∫d   3   r′G   αβ ( r,r ′) E   β   (0) exp[ ik ( q )· r ′]η( r ′).  (35) 
       
     
     In the far zone of the scatterer the Green&#39;s tensor assumes the asymptotic form                  G   αβ          (     r   ,     r   ′       )       ∼         S     α                 γ     †          (   q   )              g     γ                 δ            (     q   ,   z     )              S     δβ                       (   q   )              exp        (       ik   0        r     )       r          exp        [       -     ik        (   q   )         ·     r   ′       ]                 (   36   )                                
     where k(q) lies in the direction of r. Thus we find that the sccattered field becomes                    E   α   s          (   r   )       ∼         A   αβ          (       q   1     ,     q   2       )            E   β     (   0   )              exp        (       ik   0        r     )       r         ,           (   37   )                                
     where q 1  and q 2  are the transverse parts of the of the incident and outgoing wavevectors, respectively. A αβ (q 1 ,q 2 ) denotes the tensor scattering amplitude which is related to the susceptibility by 
     
       
           A   αβ ( q   1   ,q   2 )=∫ d   3   rw   αβ ( q   2   ,z )exp{ i[k ( q   1 )− k ( q   2 )]· r }η( r ),  (38) 
       
     
     where 
     
       
         w αβ ( q,z )= k   0   2   S   αγ   † ( q ) g   γδ ( q,z ) S   δβ ( q ).  (39) 
       
     
     Inversion of the above integral equation will be discussed in Section 2.2. 
     2. Inverse Problem 
     The inverse problem consists of reconstructing the susceptibility from measurements of the scattering amplitude. To this end we will construct the pseudoinverse solution of the integral equations (17) and (38). We begin by briefly reviewing the singular value decomposition (SVD) of linear operators on Hilbert spaces. Let A denote a linear operator with kernel A(x,y) which maps the Hilbert space H 1  into the Hilbert space H 2 . By the SVD of A we mean a representation of the form                  A        (     x   ,   y     )       =       ∑   n                       σ   n            g   n          (   x   )              f   n   *          (   y   )             ,           (   40   )                                
     where σ n  is the singular value associated with the singular functions f n  and g n . The {f n } and {g n } are orthonormal bases of H 1  and H 2 , respectively and are eigenfunctions with eigenvalues σ n   2  of the positive self-adjoint operators A*A and AA*: 
     
       
           A*Af   n =σ n   2   f   n   (41) 
       
     
     
       
           AA*g   n =σ n   2   g   n .  (42) 
       
     
     In addition, the f n  and g n  are related by 
     
       
           Af   n =σ n   g   n   (43) 
       
     
     
       
           A*g   n =σ n   f   n .  (44) 
       
     
     The pseudoinverse solution to the equation Af=g is defined to be the minimizer of ∥Af−g∥ with smallest norm. This well-defined element f + ∈N(A) ⊥  is unique and may be shown to be of the form f + =A + g, where the pseudoinverse operator A +  is given by A + =A*(AA*) −1  and N(A) 195   is the orthogonal complement of the null space of A. The SVD of A may be used to express A +  as                  A   +          (     x   ,   y     )       =       ∑   n                       1     σ   n              f   n          (   x   )                g   n   *          (   y   )       .                 (   45   )                                
     We now apply the foregoing to the inverse problem for scalar waves. 
     2.1 Scalar Case 
     The integral equation (17) may be rewritten in the form 
     
       
           A ( q   1   ,q   2 )=∫ d   3   rK ( q   1   ,q   2   ;r )η( r ),  (46) 
       
     
     where the scattering operator K(q 1 ,q 2 ;r) is given by 
     
       
           K ( q   1   ,q   2   ;r )=exp[ i ( q   1   −q   2 )·ρ]κ( q   1   ,q   2   ;z ),  (47) 
       
     
     with 
     
       
         κ( q   1   ,q   2   ;z )= k   0   2 {1 +R   1 ( q   2 )exp[2 ik   z ( q   2 )  z ]}exp[ i ( k   z ( q   1 )− k   z ( q   2 )) z ]χ( q   1   ,q   2 ).  (48) 
       
     
     Here we have assumed that A(q 1 ,q 2 ) is measured for (q 1 ,q 2 ), in the data set  and have introduced a function χ(q 1 ,q 2 ) which is unity if (q 1 ,q 2 ) ∈ and is zero otherwise. Note that  specifies the available orientations of the incoming and outgoing wavevectors while χ(q 1 ,q 2 ) enforces the constraints k 0 ≦|q 1 |≦nk 0  and |q 2 |≦k 0 . In general, the wavevectors q 1  and q 2  vary continuously over all space. If, however, the transverse support of η(r) is contained in the region [−L,L]×[−L,L], then q 1  and q 2  may be taken to be discrete and restricted to the set Λ={(n x π/L,n yπ/L): n   x ,n y =0,±1, . . . }. Thus η(r) may be expressed as the Fourier series                  η                   (     ρ   ,   z     )       =       ∑     q   ∈   Λ                c   q          (   z   )                       exp        (     iq   ·   ρ     )             ,           (   49   )                                
     where c q (z) are appropriate coefficients. 
     In order to obtain the SVD of K(q 1 ,q 2 ;r) it will prove useful to introduce the following identity:                  K        (       q   1     ,       q   2     ;   r       )       =       ∑     Q   ∈   Λ              exp        (     iQ   ·   ρ     )                     δ                   (     Q   +     q   2     -     q   1       )          κ        (       Q   +     q   2       ,       q   2     ;   z       )             ,           (   50   )                                
     where δ denotes the kronecker delta. Using this result, we find that the matrix elements of the operator KK* are given by                    KK   *          (       q   1     ,       q   2     ;     q   1   ′       ,     q   2   ′       )       =       ∑     Q   ∈   Λ              M        (       q   2     ,       q   2   ′     ;   Q       )                     δ                   (     Q   +     q   2     -     q   1       )                     δ        (     Q   +     q   2   ′     -     q   1   ′       )             ,           (   51   )                                
     where                  M        (       q   2     ,       q   2   ′     ;   Q       )       =       ∫   0   L                          z                     κ        (       Q   +     q   2       ,       q   2     ;   z       )              κ   *          (       Q   +     q   2   ′       ,       q   2   ′     ;   z       )             ,           (   52   )                                
     with L the range of η(r) in the {circumflex over (z)} direction. To find the singular vectors g QQ′  of K which satisfy 
     
       
           KK*g   QQ′ =σ QQ′   2   g   QQ′ ;  (53) 
       
     
     we will make the ansatz 
     
       
           g   QQ′ ( q   1   ,q   2 )= C   Q′ ( q   2   ;Q )δ( Q+q   2   −q   1 ),  (54) 
       
     
     where Q,Q′∈Λ. Equation (51) now implies that                  ∑       q   ′     ∈   Λ                         M        (     q   ,       q   ′     ;   Q       )              C     Q   ′            (       q   ′     ;   Q     )           =       σ     QQ   ′     2              C     Q   ′            (     q   ;   Q     )       .               (   55   )                                
     Thus C Q′ (q 2 ;Q) is an eigenvector of M(Q) labeled by Q′ with eigenvalue σ QQ′   2 . Since M(Q) is self-adjoint, the C Q′ (q 2 ;Q) may be taken to orthonormal. Next, the f QQ′  may be found from K*g QQ′ =σ QQ′ f QQ′  and are given by                  f     QQ   ′            (   r   )       =       1     σ     QQ   ′                ∑     q   ∈   Λ              exp        (       -   iQ     ·   ρ     )                         κ   *          (       Q   +   q     ,     q   ;   z       )                C     Q   ′     *          (     q   ;   Q     )       .                   (   56   )                                
     It follows that the SVD of K(q 1 ,q 2 ;r) is given by the expression                K        (       q   1     ,       q   2     ;   r       )       =       ∑     Q   ,     Q   ′                           σ     QQ   ′              f     QQ   ′     *          (   r   )                g     QQ   ′            (       q   1     ,     q   2       )       .                 (   57   )                                
     The SVD of equation (57) may now be used to obtain the pseudoinverse solution to the integral equation (46):                    η   +          (   r   )       =       ∑       q   1     ,                q   2                             K   +          (       r   ;     q   1       ,     q   2       )            A        (       q   1     ,     q   2       )             ,           (   58   )                                
     where K + (r;q 1 ,q 2 ) is the pseudoinverse of K(q 1 ,q 2 ;r). Using the result of equation (45), the pseudoinverse K +  may be seen to be given by                  K   +          (       r   ;     q   1       ,     q   2       )       =       ∑     Q   ,     Q   ′                           1     σ     QQ   ′                f     QQ   ′            (   r   )                g     QQ   ′     *          (       q   1     ,     q   2       )       .                 (   59   )                                
     Substituting equations (54) and (56) into equation (59) and using the spectral decomposition                    ∑     Q   ′                         1     σ     QQ   ′     2              C     Q   ′            (     q   ;   Q     )              C     Q   ′     *          (       q   ′     ;   Q     )           =       M     -   1            (     q   ,       q   ′     ;   Q       )         ,           (   60   )                                
     where M −1 (q,q′;Q) is the qq′ matrix element of M −1 (Q) we obtain                    η   +          (   r   )       =       ∑       q   1     ,     q   2     ,     q   2   ′                           ∑   Q                       exp        (       -                        Q   ·   ρ       )            δ        (     Q   +     q   2     -     q   1       )              M     -   1            (       q   2     ,       q   2   ′     ;   Q       )       ×       κ   *          (       Q   +     q   2   ′       ,       q   2   ′     ;          )            A        (       q   1     ,     q   2       )               ,           (   61   )                                
     which is the inversion formula for scalar TIRT. 
     2.2 Vector Case 
     The integral equation (38) may be rewritten in the form 
     
       
           A   αβ ( q   1   ,q   2 )= ∫d   3   rK   αβ ( q   1   ,q   2   ;r )η( r ),  (62) 
       
     
     where the scattering operator K αβ (q 1 ,q 2 ;r) is given by 
     
       
           K   αβ ( q   1   ,q   2   ;r )=exp[ i ( q   1   −q   2 )·ρ]κ αβ ( q   1   ,q   2   ;z ),  (63) 
       
     
     and 
     
       
         κ αβ ( q   1   ,q   2   ;z )= w   αβ ( q   2   ;z )exp[ i ( k   z ( q   1 )− k   z ( q   2 )) z ]χ( q   1   ,q   2 ).  (64) 
       
     
     As in the scalar case we have assumed that A(q 1 , q 2 ) is measured for (q 1 , q 2 ), in the data set  and have introduced the appropriate blocking function χ(q 1 , q 2 ). The vector integral equation (62) differs from its scalar counterpart equation (46) only by a factor associated with the polarization. Evidently, by measuring a fixed component of the scattered field for a particular incident direction we see that the scalar inversion formula (61) may be used to reconstruct η(r). 
     We now consider the SVD for the vector case. This is a simple generalization of the scalar case. Following the previous development we find that the SVD of K αβ (q 1 ,q 2 ;r) is of the form                  K     α                 β            (       q   1     ,       q   2     ;   r       )       =       ∑     Q   ,     Q   ′                           σ     QQ   ′              f     QQ   ′     *          (   r   )                g     QQ   ′       α                 β            (       q   1     ,     q   2       )       .                 (   65   )                                
     Here the singular functions are given by 
     
       
           g   QQ′   αβ ( q   1   ,q   2 )= C   Q′   αβ ( q   2   ;Q )δ( Q+q   2   −q   1 ),  (66) 
       
     
     
       
         
           
             
               
                 
                   
                     
                       f 
                       
                         QQ 
                         ′ 
                       
                     
                      
                     
                       ( 
                       r 
                       ) 
                     
                   
                   = 
                   
                     
                       1 
                       
                         σ 
                         
                           QQ 
                           ′ 
                         
                       
                     
                      
                     
                       
                         ∑ 
                         
                           q 
                           ∈ 
                           Λ 
                         
                       
                        
                       
                           
                       
                        
                       
                         
                           exp 
                            
                           
                             ( 
                             
                               
                                 - 
                                  
                               
                                
                               
                                   
                               
                                
                               
                                 Q 
                                 · 
                                 ρ 
                               
                             
                             ) 
                           
                         
                          
                         
                           
                             κ 
                             * 
                           
                            
                           
                             ( 
                             
                               
                                 Q 
                                 + 
                                 q 
                               
                               , 
                               
                                 q 
                                 ; 
                                 z 
                               
                             
                             ) 
                           
                         
                          
                         
                           
                             
                               C 
                               
                                 Q 
                                 ′ 
                               
                               * 
                             
                              
                             
                               ( 
                               
                                 q 
                                 ; 
                                 Q 
                               
                               ) 
                             
                           
                           . 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   67 
                   ) 
                 
               
             
           
         
                 
         
             
         
      
     
     The C Q′   αβ (q 2 ; Q) are eigenfuntions of M αβ   α′β′ (q 2 , q′ 2 ; Q) with eigenvalues=σ QQ′   2                     ∑       q   ′     ∈   Λ                           M     α                 β         α   ′          β   ′              (     q   ,       q   ′     ;   Q       )              C     Q   ′         α   ′          β   ′              (       q   ′     ;   Q     )           =       σ     QQ   ′     2            C     Q   ′       α                 β            (     q   ;   Q     )           ,           (   68   )                                
     where                               M     α                 β         α   ′          β   ′              (       q   2     ,       q   2   ′     ;   Q       )       =       ∫   0   L                          z                       κ     α                 β            (       Q   +     q   2       ,       q   2     ;   z       )                κ       α   ′          β   ′       *          (       Q   +     q   2   ′       ,       q   2   ′     ;   z       )       .                   (   69   )                                
     The pseudoinverse solution to the integral equation (62) is 
     given by                    η   +          (   r   )       =       ∑       q   1     ,     q   2                             K     α                 β     +          (       r   ;     q   1       ,     q   2       )              A     α                 β            (       q   1     ,     q   2       )             ,           (   70   )                                
     where                  K     α                 β     +          (       r   ;     q   1       ,     q   2       )       =       ∑     Q   ,     Q   ′                           1     σ     QQ   ′                f     QQ   ′            (   r   )                  g     QQ   ′     αβ     *          (       q   1     ,     q   2       )       .                 (   71   )                                
     More explicitly, we have                    η   +          (   r   )       =       ∑       q   1     ,     q   2     ,     q   2   ′                           ∑   Q                       exp        (       -                        Q   ·   ρ       )            δ        (     Q   +     q   2     -     q   1       )              (       M     -   1            (   Q   )       )       α                 β         α   ′          β   ′              (       q   2     ,     q   2   ′       )     ×       κ       α   ′          β   ′       *          (       Q   +     q   2   ′       ,       q   2   ′     ;   z       )              A     α                 β            (       q   1     ,     q   2       )               ,           (   72   )                                
     which is the inversion formula for vector TIRT. 
     3. Regularization 
     In order to avoid numerical instabilty and set the resolution of the reconstructed image to be comensurate with the available data, the SVD inversion formulas must be regularized. In particular, we replace 1/a in the inversion formulas (61) and (72) by R(σ) where R is a suitable regularizer. where R is a suitable regularizer. The effect of regularization is to limit the contribution of the small singular values to the reconstruction. One way to do this is to simply cutoff all a below some cutoff σ c . That is we set                  R                   (   σ   )       =       1     σ   2          θ                   (     σ   -     σ   c       )         ,           (   73   )                                
     θ denoting the usual Heavyside step function. Alternatively a smooth cutoff, such as that derived by the Tikhonov method, may be employed. 
     4. Example 
     To demonstrate the feasibility of the inversion using a scalar formalation, for simplicity, the reconstruction of η(r) has been obtained for a collection of spherical scatterers. This collection is representative of physical structures which may be imaged, such as a nano-structured material; the collection presents the necessary dielectric contrast to effect direct reconstruction. The forward data was calculated by considering the scattering of evanescent waves from a homogeneous sphere including multiple scattering terms by means of a partial wave expansion. Consider a sphere of radius a centered at the point r 0  with refractive index n, n being related to the scattering potential or susceptibility by the expression n 2 =1+4πη. It may be found that                  A        (       k   1     ,     k   2       )       =       exp        [               (       k   1     -     k   2       )       ·     r   0       ]              ∑     l   =   0     ∞            (       2      l     +   1     )          A   l            P   l          (         k   ^     1     ·       k   ^     2       )               ,           (   74   )                                
     where A l  are the usual partial wave expansion coefficients, P l  are the Legendre polynomials, and {circumflex over (k)}=k/{square root over (k·k*)}. Since evanescent waves are considered, the argument of the Legendre polynomials in equation (74) may exceed unity. The series may nonetheless be shown to be convergent due to the rapid decay of the A l  with increasing l. 
     The forward data was obtained for a collection of four spheres of radius λ/20. All scatterers are present simultaneously in the forward computation with inter-sphere scattering neglected. The incident evanescent waves were taken to have transverse wave vectors q 1  on a Cartesian grid with spacing k 0 /4 such that k 0 ≦|q|≦nk 0 , n being the refractive index of the prism used to generate the incident waves. Values of q 2  were also taken on the grid with spacing k 0 /4 and |q 2 |≦k 0 , consistent with a measurement scheme in which the scattered field is measured in the far zone of the lower half-space. The spheres are arranged in two layers, one equatorial plane conincident with the z=λ/20 plane, the other with the z=λ/4 plane. In each layer, one sphere was taken to have susceptibility 4πη=0.44 (index n=1.2) and one sphere was taken to have susceptibility 4πη=0.4+0.48i (index n=1.1+0.2i). In each of the experiments, complex Gaussian noise of zero mean was added to the signal at various levels. The experiments were performed for two different prisms, namely, for FIG. 2A, the prism has an index of n=10, as might be encountered in the infrared range, and for FIG. 2B, an index n=4, as might be encountered in the visible range. The data sets are thus composed of 4980×49 points for the higher-index prism, and 752×49 data poins for the lower-index prism. The regularization parameter σ c  was taken to be 10 −6  in computing the tomographic image at z λ/20 and 10 −5  at z=λ/4. 
     One can see from the reconstructions of FIGS. 2A and 2B that the real and imaginary parts of the susceptibility may be found separately and that the reconstructions are subwavelength resolved. The resolution depends both on the size of the regularization parameter, which indirectly sets the number of singular functions used in the reconstruction, and on the depth, a consequence of the fact that the probe fields decay exponentially into the sample, resulting in loss of high-frequency Fourier components of the spatial structure of the susceptibility. The tomographs at the z=λ/20 layer are more highly resolved for the higher-index prism than for the lower-index prism, but there is little difference at the z=λ/4 layer. 
     5. System 
     As depicted in high-level block diagram form in FIG. 3, system  300  is a tomography system for generating an image of an scatterer/object using measurements of scattered waves emanating from an object in response to waves illuminating the object. In particular, object  100  is shown as being under investigation. System  300  is composed of: source  320  for probing the object  100  through prism  105 ; data acquisition detector  330  for detecting the scattering data corresponding to the scattered waves from object  100  at one or more locations proximate to object  100 ; position controller  340  for controlling the locations of detectors  330  and sources  320 ; and computer processor  350 , having associated input device  360  (e.g., a keyboard) and output device  370  (e.g., a graphical display terminal). Computer processor  350  has as its inputs positional information from controller  340  and the measured scattering data from detector  330 . Even though the scatterer is shown as being present in FIG. 3, actually two sets of measurements are obtained, namely, one set with the scatterer removed, and another set with the scatterer present, to provide the necessary data for image reconstruction, as detailed above. 
     Computer  350  stores a computer program which implements the direct reconstruction algorithm; in particular, the stored program processes the measured scattering data to produce the image of the object or object under study using a prescribed mathematical algorithm. The algorithm is, generally, determined with reference to an integral operator relating the scattering data to the forward scattering operator as expressed by integral equation (17) or equation (38). 
     6. Flow Diagram 
     The methodology carried out by the present invention is set forth in high-level flow diagram  400  of FIG. 4 in terms of the illustrative system embodiment shown in FIG.  3 . With reference to FIG. 4, the processing effected by block  410  enables source  320  and data acquisition detector  330  so as to measure the scattering data emanating from scatterer  100  due to illuminating waves from source  320 . These measurements are passed to computer processor  350  from data acquisition detector  330  via bus  331 . Next, processing block  420  is invoked to compute the kernel expressed by equation (17) or equation (38), which may for efficiency be pre-computed and stored. In turn, processing block  430  is operated to execute the reconstruction algorithm set forth in equation (17) or equation (38), thereby determining the scattering potential η(r). Finally, as depicted by processing block  440 , the reconstructed tomographic image corresponding to η(r) is provided to output device  370  in a form determined by the user; device  370  may be, for example, a display monitor or a more sophisticated three-dimensional display device. 
     Although the present invention have been shown and described in detail herein, those skilled in the art can readily devise many other varied embodiments that still incorporate these teachings. Thus, the previous description merely illustrates the principles of the invention. It will thus be appreciated that those with ordinary skill in the art will be able to devise various arrangements which, although not explicitly described or shown herein, embody principles of the invention and are included within its spirit and scope. Furthermore, all examples and conditional language recited herein are principally intended expressly to be only for pedagogical purposes to aid the reader in understanding the principles of the invention and the concepts contributed by the inventor to furthering the art, and are to be construed as being without limitation to such specifically recited examples and conditions. Moreover, all statements herein reciting principles, aspects, and embodiments of the invention, as well as specific examples thereof, are intended to encompass both structural and functional equivalents thereof. Additionally, it is intended that such equivalents include both currently know equivalents as well as equivalents developed in the future, that is, any elements developed that perform the function, regardless of structure. 
     In addition, it will be appreciated by those with ordinary skill in the art that the block diagrams herein represent conceptual views of illustrative circuitry embodying the principles of the invention.