# Patent

## Title
Method for estimating scan parameters from tomographic data

## Abstract

The methods and systems of the present invention is an algorithm which estimates motion inside objects that change during the scan. The algorithm is flexible and can be used for solving the misalignment correction problem and, more generally, for finding scan parameters that are not accurately known. The algorithm is based on Local Tomography so it is faster and is not limited to a source trajectory for which accurate and efficient inversion formulas exist.

## Background
CROSS REFERENCE TO RELATED APPLICATIONS
This application claims priority to co-pending U.S. patent application Ser. No. 13/152,997, entitled “An Algorithm for Motion Estimation from the Tomographic Data”, filed Jun. 3, 2011, which claims priority to U.S. Provisional Patent Application No. 61/351,614 filed on Jun. 4, 2010, the contents of which are herein incorporated in their entirety.


FIELD OF INVENTION
This invention relates to tomography and, in particular, to methods, systems and devices for tomography with motion estimation for reconstructing objects that change during the scan and misalignment correction for reconstructing objects when some scan parameters are not accurately known.
BACKGROUND OF THE INVENTION
Cardiac and, more generally, dynamic imaging is one of the top challenges facing modern computed tomography. When the object being scanned changes during data acquisition the classic tomographic reconstruction theory does not apply. In cardiac computed tomography there are two major groups of approaches for dealing with this issue. One is based on gating, i.e., selecting the computed tomography data which correspond to a fixed cardiac phase, and then using mostly that data for image reconstruction. The second approach, known as motion compensation, is based on incorporating a motion model into a reconstruction algorithm. Motion compensation algorithms are preferable, because they use all data and have the potential to provide good image quality with reduced x-ray dose. The main difficulty of using such algorithms is that the motion model needs to be known. There are motion estimation algorithms available, but significant research still needs to be done to improve efficiency, accuracy, and stability with respect to noise, flexibility, and the like.
The methods and systems of the present invention solve the problems associated with the prior art using a novel approach to motion estimation, which is based on local tomography (LT). The ultimate goal is a robust algorithm which can reconstruct objects that change during the scan. Since there is no formula that recovers the object f and motion function ψ from the tomographic data, the most realistic approach to finding f and ψ is via iterations. On the other hand, recovering both of them at the same time would result in an iterative problem of a prohibitively large size.
The best approach is to decouple the two tasks, motion estimation and motion compensation, as much as possible. Not all methods achieve this goal. For example, when finding ψ using registration, one uses the images of f at different times. In other words, finding ψ depends on the knowledge of f. This has undesirable consequences. When motion is not known, f is reconstructed with significant artifacts, making subsequent registration unreliable and inaccurate. In contrast, LT is an ideal candidate for decoupling. LT does not reconstruct pointwise values of f, but rather a gradient-like image of f with edges enhanced. Thus the only informative feature of LT is the location of edges.
SUMMARY OF INVENTION
A first objective is an algorithm for motion estimation from tomographic data that can be used for improved image reconstruction from CT data in the case when there is motion in the object (e.g., cardiac motion or breathing motion) during the scan.
A second objective is an algorithm for estimating scan parameters from tomographic data that can be used for correcting for the imperfections in the x-ray source trajectory or other scan parameter such as misalignment and the like.
The methods and systems of the present invention show that when any given edge is seen from the data from two or more source positions, then in the case of incorrectly known motion, the single edge “spreads” and becomes a double edge. As a result, the image looks more cluttered. A solution to the problems associated with the prior art is to iteratively improve the motion model so that image clutter is minimized. The present invention provides an empiric measure of clutter, referred to “edge entropy.” Note that the word “entropy” in the name is largely symbolic, since the present invention does not establish any properties that conventional entropy must possess. In the present invention motion estimation is completely independent of the knowledge of f, and the desired decoupling is achieved. No knowledge of f is required. The only thing needed is that f possess a sufficient number of edges, which is true for practically all f occurring in medical imaging. The use of LT has other benefits as well. (1) LT is very fast. First, it does not require global filtering. Second, backprojection is greatly simplified, since there is no need to compute complicated weights that are mandatory for quasi-exact motion compensating inversion formulas. The weights compensate for variable length of illumination for every voxel in an image. Clearly, high reconstruction speed is critically important for iterative-based motion estimation. (2) LT uses only local data; hence it is not sensitive to data truncation. (3) LT is very flexible and can be used with practically any source trajectory.
Let us mention some other attractive features of the present invention. First, it is local in time. Motion estimation is done inside a reasonably short time window, e.g., not much longer than the length of a short scan. This eliminates the need for making the periodicity assumption as described in S. Bonnet. A. Koenig, S. Roux, P. Hugonnard, R. Guillemaud, and P. Grangeat, Dynamic X-ray computed tomography, Proc. IEEE, 91 (2003), pp. 1574-1587, which frequently holds only approximately. Second, the approach is fairly general and can be used for several types of motion, e.g. cardiac, breathing, etc. Finally, with simple modifications the approach can be applied to solving other practically important problems. As an example we show how to solve a misalignment correction problem for a distorted circular scan. A similar iterative algorithm, which is based on the Feldkamp inversion formula, is described in Y. Kyriakou, et al., Simultaneous misalignment correction for approximate circular cone-beam computed tomography, Phys. Med. Biol. 53 (2008), pp. 6267-6289.
Since the algorithm of the present invention is based on LT, it is faster and is not limited to a source trajectory for which accurate and efficient inversion formulas exist. As before, estimation of the unknown source trajectory is completely decoupled from finding f, so for the latter purpose one can use any algorithm. For example, when the data are truncated, one might want to use an iterative reconstruction algorithm. If the two problems are coupled, using an iterative algorithm for finding f inside an iterative algorithm for estimating the source trajectory is prohibitively slow.
Further objects and advantages of this invention will be apparent from the following detailed description of preferred embodiments which are illustrated schematically in the accompanying drawing's.



BRIEF DESCRIPTION OF THE DRAWINGS
FIG. 1a shows x1x2-cross-sections of the phantom at time corresponding to view 101.
FIG. 1b shows x1x2-cross-sections of the phantom at time corresponding to view 900.
FIG. 1c shows x1x2-cross-sections of the phantom at time corresponding to view 501.
FIG. 2a shows x1x3-cross-sections of the phantom at time corresponding to view 101.
FIG. 2b shows x2x3-cross-sections of the phantom at time corresponding to view 900.
FIG. 2c shows x2x3-cross-sections of the phantom at time corresponding to view 501.
FIG. 3a shows x2x3-cross-sections of the phantom at time corresponding to view 101.
FIG. 3b shows x2x3-cross-sections of the phantom at time corresponding to view 900.
FIG. 3c shows x2x3-cross-sections of the phantom at time corresponding to view 501.
FIG. 4a shows a density plot of Bf at the beginning of iterations when zero motion is assumed for x1x2-cross-section through the center of the grid.
FIG. 4b shows images of the bright spots corresponding to density plots shown in FIG. 4a. 
FIG. 4c shows a density plot of Bf at the beginning of iterations when zero motion is assumed for x1x3-cross-section through the center of the grid.
FIG. 4d shows images of the bright spots corresponding to density plots shown in FIG. 4c. 
FIG. 4e shows a density plot of Bf at the beginning of iterations when zero motion is assumed for x2x3-cross-section through the center of the grid.
FIG. 4f shows images of the bright spots corresponding to density plots shown in FIG. 4c. 
FIG. 5a shows the a density plot of Bf at the end of iterations for cross-section x1x2 through the center of the grid.
FIG. 5b shows images of bright spots corresponding to the density plot shown in FIG. 5a. 
FIG. 5c shows the a density plot of Bf at the end of iterations for cross-section x1x2 through the center of the grid.
FIG. 5d shows images of bright spots corresponding to the density plot shown in FIG. 5c. 
FIG. 5e shows the a density plot of Bf at the end of iterations for cross-section x1x3 through the center of the grid.
FIG. 5f shows images of bright spots corresponding to the density plot shown in FIG. 5c. 
FIG. 6a shows a density plot of Bf at the beginning of iterations when a pure circular trajectory is assumed for cross-section x1x2 through the center of the grid.
FIG. 6b shows density plots of Bf at the end of iterations corresponding to FIG. 6a. 
FIG. 6c shows a density plot of Bf at the beginning of iterations when a pure circular trajectory is assumed for cross-section x1x3 through the center of the grid.
FIG. 6d shows density plots of Bf at the end of iterations corresponding to FIG. 6c. 
FIG. 6e shows a density plot of Bf at the beginning of iterations when a pure circular trajectory is assumed for cross-section x2x3 through the center of the grid.
FIG. 6f shows density plots of Bf at the end of iterations corresponding to FIG. 6c. 
FIG. 7a shows a density plot of Bf at the beginning of iterations based on ∂2/∂q2 for cross-section x1x2 through the center of the grid.
FIG. 7b shows the results of bright pixel detection using the LT function shown in FIG. 7a. 
FIG. 7c shows the results of bright pixel detection using the LT function based on the filter according to the present invention.
FIG. 7d shows a density plot of Bf at the beginning of iterations based on ∂2/∂q2 for cross-section x1x3 through the center of the grid.
FIG. 7e shows the results of bright pixel detection using the LT function shown in FIG. 7d. 
FIG. 7f shows the results of bright pixel detection using the LT function based on the filter according to the present invention.
FIG. 7g shows a density plot of Bf at the beginning of iterations based on ∂2/∂q2 for cross-section x1x2 through the center of the grid.
FIG. 7h shows the results of bright pixel detection using the LT function shown in FIG. 7g. 
FIG. 7i shows the results of bright pixel detection using the LT function based on the filter according to the present invention.
FIG. 8a shows a density plot of Bf at the end of iterations based on the filter of present invention for cross-section x1x2 through the center of the grid.
FIG. 8b shows the results of bright pixel detection using the LT function shown in FIG. 8a. 
FIG. 8c shows the results of bright pixel detection using the LT function based on the filter according to the present invention.
FIG. 8d shows a density plot of Bf at the end of iterations based on the filter of present invention for cross-section x1x3 through the center of the grid.
FIG. 8e shows the results of bright pixel detection using the LT function shown in FIG. 8d. 
FIG. 8f shows the results of bright pixel detection using the LT function based on the filter according to the present invention.
FIG. 8g shows a density plot of Bf at the end of iterations based on the filter of present invention for cross-section x2x3 through the center of the grid.
FIG. 8h shows the results of bright pixel detection using the LT function shown in FIG. 8g. 
FIG. 8i shows the results of bright pixel detection using the LT function based on the filter according to the present invention.



DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENT
Before explaining the disclosed embodiments of the present invention in detail it is to be understood that the invention is not limited in its application to the details of the particular arrangements shown since the invention is capable of other embodiments. Also, the terminology used herein is for the purpose of description and not of limitation.
The methods of the present invention provide an algorithm for tomography in the motion contaminated case. The motion contaminated case occurs when the object being scanned is undergoing some transformation during the scan. Thus, the phrases “the object is undergoing a transformation” and “there is some motion in the object” have the same meaning in this invention.
It is shown that micro locally, away from some critical directions, LT is equivalent to a pseudo differential operator of order one. LT also produces nonlocal artifacts that have the same strength as useful singularities. When motion is not accurately known, singularities inside the object f being scanned spread in different directions. For example, a single edge can become a double edge. In the case of a double edge, the image of f looks cluttered. Based on this observation the present invention provides an algorithm for motion estimation using an empiric measure of image clutter, referred to throughout the description as edge entropy. By minimizing edge entropy, the motion model is found. The algorithm is flexible and can also be used for solving the misalignment correction problem.
The following detailed description discloses cone-beam LT function Bf and establishes its main properties and then explains the location and strength of the nonlocal artifacts. As opposed to LT in the static case, it is not possible to find the direction of differentiation, which reduces the strength of the artifact by one order in the scale of Sobolev spaces. A similar result for a different geometry was recently reported in E. T. Quinto, Electron microscope tomography, Conference talk at workshop on Mathematical Methods in Emerging Modalities of Medical Imaging, Banff International Research Station, Banff, Canada, 2009. Then, explicit formulas for the shift between the singularities in Bf and f in the case when motion is known incorrectly is obtained. A similar result is described in A. Katsevich. Improved cone beam local tomography, Inverse Problems, 22 (2006), pp. 627-643 which gives only an implicit relation, and the model used for describing changes in f is different from the model used in the present invention. The novel motion estimation algorithm as well as a description of the motion model and definition of edge entropy is described and results of numerical experiments on motion estimation and misalignment correction are given.
Let C be a smooth curve in 3 

ls→z(s)∈3,|z′s(s)|≠0,  Eq. (1)

    
    
        where l⊂ is an interval. Usually the source moves along C with constant speed, so we identify s with time variable.
    
    


Fix any s0∈l. We refer to s=s0 as the reference time. To describe the motion inside the object being scanned, we introduce the function ψ. Suppose y=ψ(s,x) is the position of the particle at time s, which is located at x at the reference time s=s0. We assume that for each s∈l the function ψ(s,x):3→3 is a diffeomorphism. Physically this means that two distinct points cannot move into the same position. This assumption is quite natural, since cardiac motion is not infinitely compressible. The inverse of ψ is the function x=v(s,y):3→3. It gives the original position x of the particle at the reference time, which is located at y at time s. We assume that both psi and v are identity maps outside of some open set U, which contains the support of the object, and ψ, v∈C∞(l×3). As usual, we assume that C is at a positive distance from U. Obviously.

v(s,ψ(s,x))≡x,ψ(s,v(s,x))≡x.  Eq. (2)

Differentiating the first equation in equation (2) with respect to s and x gives useful identities

v′s(s,ψ(s,x))+∇v(s,ψ(s,x))ψ′s(s,x)≡0,∇v(s,ψ(s,x))∇ψ(s,x)≡Id.  Eq. (3)

where Id is the 3×3 identity matrix. In equation (3) and everywhere below we use the convention that the operator ∇ acts with respect to space variables. Thus ∇v(s,y)=∇yv(s,u) and ∇ψ(s,x)=∇xψ(s,x).
Since matter is conserved, the x-ray density at time s and point v is given by |∇v(s,y)|f(v(s,y)). Hence the data are

Df(s,β):=∫0∞|∇v(s,z(s)+tβ)|f(v(s,z(s)+tβ))dt,s∈l.  Eq. (4)

where β runs through a subset of the unit sphere determined by the detector. The human tissue is not compressible, so in most cases we can assume |∇v(s,y)|≈1 when performing numerical experiments.

The present invention introduces the following LT function:




  
    
      
        
          
            
              
                
                  
                    (
                    
                                            ⁢
                      f
                    
                    )
                  
                  ⁢
                  
                    (
                    x
                    )
                  
                
                =
                
                  
                    ∫
                    l
                  
                  ⁢
                  
                    
                      φ
                      ⁡
                      
                        (
                        
                          s
                          ,
                          x
                        
                        )
                      
                    
                    ⁢
                    
                      
                        ∂
                        2
                      
                      
                        ∂
                        
                          q
                          2
                        
                      
                    
                    ⁢
                    
                      
                        D
                        f
                      
                      ⁡
                      
                        (
                        
                          s
                          ,
                          
                            β
                            ⁡
                            
                              (
                              
                                s
                                ,
                                
                                  x
                                  +
                                  
                                    q
                                    ⁢
                                    
                                      
                                    
                                    ⁢
                                    
                                      Θ
                                      ⁡
                                      
                                        (
                                        
                                          s
                                          ,
                                          x
                                        
                                        )
                                      
                                    
                                  
                                
                              
                              )
                            
                          
                        
                        )
                      
                    
                  
                
              
              
            
            
              q
              =
              0
            
          
          ⁢
          
            d
            s
          
        
        ,
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          5
          )
        
      
    
  




where





  
    
      
        
          
            β
            ⁡
            
              (
              
                s
                ,
                x
              
              )
            
          
          =
          
            
              
                ψ
                ⁡
                
                  (
                  
                    s
                    ,
                    x
                  
                  )
                
              
              -
              
                z
                ⁡
                
                  (
                  s
                  )
                
              
            
            
              
              
                
                  ψ
                  ⁡
                  
                    (
                    
                      s
                      ,
                      x
                    
                    )
                  
                
                -
                
                  z
                  ⁡
                  
                    (
                    s
                    )
                  
                
              
              
            
          
        
        ,
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          6
          )
        
      
    
  




θ(s,x)):l×U→3\0 is a smooth function, and φ∈C0∞(l×U). Note that Equation (5) reduces to Equation (2.2) of A. Katsevich, Improved cone beam local tomography, Inverse Problems. 22 (2006), pp. 627-643, if β(s,x+qθ(s,x)) is replaced with β(q,x). Equation (2.2) of A. Katsevich, Improved cone beam local tomography, Inverse Problems, 22 (2006), pp. 627-643, was developed with the goal of reducing the global artifact inherent in cone-beam data inversion as much as possible. The additional flexibility provided by θ is needed for increasing computational efficiency. A slight change in the direction of differentiation away from the optimal one may lead to a significant speed-up at the expense of only a slight increase in the global artifact. The function φ in Equation (5) determines the time interval, which is used for motion estimation. Define

φ(x,s,t):=v(s,z(s)+t(ψ(s,x)−z(s))),t>0,s∈I,x∈U.  Eq. (7)

For a fixed x∈U and s∈l, φ(x,s,t),t>0, is the pre-image of the ray with vertex at z(s) and passing through ψ(s,x). For a fixed x∈U, φ(x,s,t) defines a surface parameterized by s and t. For convenience, this surface is denoted φx. Using Equation (3), we get

φs(x,s,t):=v′s(s,{hacek over (y)})′∇v(s,{hacek over (y)})(z′s(s)′t(ψs(s,x)−z′s(s)))=∇v(s,{hacek over (y)}){[z′s(s)+t(ψ′s(s,x)−z′s(s))]−ψs(s,{hacek over (x)})},   Eq. (8)

φ′t(x,s,t):=∇v(s,{hacek over (y)})(ψ(s,x)−z(s)),  Eq. (9)

where

{hacek over (y)}(x,s,t)=z(s)+t(ψ(s,x)−z(s)),{hacek over (x)}=v(s,{hacek over (y)}).  Eq. (10)

If t≠1, then {hacek over (y)}=(x,s,t)≠ψ(s,x). The expression in brackets in Equation (8) is the velocity of the point {hacek over (y)}, if we regard it as a fixed point which divides the line segment with endpoints z(s) and ψ(s,x) in the ratio t:1−t. ψ′s(s,{hacek over (x)}) is the velocity of {hacek over (y)}, if it moves according to the motion function ψ. From Equations (8), (9), the surface φx is smooth at the point φ(x,s,t) if the difference of the two velocities is not parallel to the line segment. We say that φx is smooth if it is smooth at any point z∈φx, z≠r.
Proposition 1.
Suppose φx is smooth for all x∈U. The operator B defined by Equation (5) extends to a map ε′(U)→ε′(U), and

WF(Bf)⊂WFu(f)∪E(f,C,ψ),

E(f,C,ψ):={(x,η)∈T′′U\0:(y,ξ)∈N+φx∩WF(f),η=ξ·Εφ(x,s0,t0),y=φ(x,s0,t0)≠x,(s0,x)∈suppφ}.  Eq. (11)

Here N+φx is the co-normal bundle of φx. In short, g has an additional singularity at x if φx is tangent to singsupp f at some pointy y≠x. The singularities of Bf, which coincide with those of f, are “useful” (from the point of view of practical applications of tomography), while the set E(f, C, ψ) represents the artifact.
Proof.
Denote




  
    
      
        
          
            
              
                
                  
                    m
                    :=
                    
                      
                        inf
                        
                          
                            s
                            ∈
                            I
                          
                          ,
                          
                            x
                            ∈
                            U
                          
                        
                      
                      ⁢
                      
                        
                        
                          x
                          -
                          
                            z
                            ⁡
                            
                              (
                              s
                              )
                            
                          
                        
                        
                      
                    
                  
                  ,
                  
                    M
                    :=
                    
                      sup
                      
                        
                          s
                          ∈
                          I
                        
                        ,
                        
                          x
                          ∈
                          U
                        
                      
                    
                  
                
                
              
              ⁢
              x
            
            -
            
              z
              ⁡
              
                (
                s
                )
              
            
          
          
        
        ,
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          12
          )
        
      
    
  




and pick δ, 0<δ<m. Let w(t) be a function with the properties

w(t)∈C0∞([m−δ,M+δ]),w(t)=1,t∈[m,M].  Eq. (13)

This function is inserted in the integral in Equation (4) to ensure that the integration with respect to t is performed over a compact interval, which does not contain t=0.
Pick any g∈C∞(U) and consider the integral

<Bƒ,g>:=∫U(Bf)(x)g(x)dx,  Eq. (14)

where f∈C0∞(U). Substituting Equation (4) into Equation (5) and changing variables

t1+t/|ψ(s,x+qθ(s,x))−z(s)|  Eq. (15)

we get that the argument of f in Equation (14) becomes

z=v(s,z(s)+t1(ψ(s,x+qθ(s,x))−z(s)))  Eq. (16)

Applying Equation (2) gives




  
    
      
        
          v
          ⁡
          
            (
            
              s
              ,
              
                
                  
                    
                      ψ
                      ⁡
                      
                        (
                        
                          s
                          ,
                          z
                        
                        )
                      
                    
                    -
                    
                      z
                      ⁡
                      
                        (
                        s
                        )
                      
                    
                  
                  
                    t
                    1
                  
                
                +
                
                  z
                  ⁡
                  
                    (
                    s
                    )
                  
                
              
            
            )
          
        
        =
        
          x
          +
          
            q
            ⁢
            
              
            
            ⁢
            
              Θ
              ⁡
              
                (
                
                  s
                  ,
                  x
                
                )
              
            
          
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          17
          )
        
      
    
  




Since θ(s,x) is a smooth function, q is restricted to a small neighborhood of zero, and t1 is bounded away from zero, it is clear that Equation (17) defines a smooth diffeomorphism z→x=X(z, s, t, q). i) Taking the derivative with respect to q outside the integral in Equation (14). ii) interchanging the order of integration so that the integral with respect to t becomes the innermost one, and iii) changing variables x→z according to Equation (17), we get

<Bf,g>=<f,B′′g>,  Eq. (18)

where B′′g∈C∞(U). The first assumption of the proposition now follow, from continuity.

The proof Equation (11) is given below.
Next we compute the principal symbol of B. Besides the smoothness of φx, the additional assumptions we make in this calculation are that (1) φ′′st(x,s,t=1) is never a zero vector, and (2) φ′′st(x,s,t=1) and φ′t(x,s,t=1) are not parallel. Let us discuss these assumptions. Setting t=1 in Equation (9) and Equation (10) gives {hacek over (y)}=ψ(s,x) and




  
    
      
        
          
            Φ
            st
            ′′
          
          ⁡
          
            (
            
              x
              ,
              s
              ,
              
                t
                =
                1
              
            
            )
          
        
        =
        
          
            
              
                d
                
                  d
                  s
                
              
              ⁡
              
                [
                
                  ∇
                  
                    v
                    ⁡
                    
                      (
                      
                        s
                        ,
                        
                          ψ
                          ⁡
                          
                            (
                            
                              s
                              ,
                              x
                            
                            )
                          
                        
                      
                      )
                    
                  
                
                ]
              
            
            ⁢
            
              (
              
                
                  ψ
                  ⁡
                  
                    (
                    
                      s
                      ,
                      x
                    
                    )
                  
                
                -
                
                  z
                  ⁡
                  
                    (
                    s
                    )
                  
                
              
              )
            
          
          +
          
            
              ∇
              
                v
                ⁡
                
                  (
                  
                    s
                    ,
                    
                      ψ
                      ⁡
                      
                        (
                        
                          s
                          ,
                          x
                        
                        )
                      
                    
                  
                  )
                
              
            
            ⁢
            
              
                (
                
                  
                    
                      ψ
                      s
                      ′
                    
                    ⁡
                    
                      (
                      
                        s
                        ,
                        x
                      
                      )
                    
                  
                  -
                  
                    
                      z
                      s
                      ′
                    
                    ⁡
                    
                      (
                      s
                      )
                    
                  
                
                )
              
              .
            
          
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          19
          )
        
      
    
  




From the second equation in Equation (3),




  
    
      
        
          
            
              
                
                  d
                  
                    d
                    s
                  
                
                ⁡
                
                  [
                  
                    ∇
                    
                      v
                      ⁡
                      
                        (
                        
                          s
                          ,
                          
                            ψ
                            ⁡
                            
                              (
                              
                                s
                                ,
                                x
                              
                              )
                            
                          
                        
                        )
                      
                    
                  
                  ]
                
              
              ⁢
              
                ∇
                
                  ψ
                  ⁡
                  
                    (
                    
                      s
                      ,
                      x
                    
                    )
                  
                
              
            
            +
            
              
                ∇
                
                  v
                  ⁡
                  
                    (
                    
                      s
                      ,
                      
                        ψ
                        ⁡
                        
                          (
                          
                            s
                            ,
                            x
                          
                          )
                        
                      
                    
                    )
                  
                
              
              ⁢
              
                ∇
                
                  
                    ψ
                    s
                    ′
                  
                  ⁡
                  
                    (
                    
                      s
                      ,
                      x
                    
                    )
                  
                
              
            
          
          =
          0
        
        ,
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          20
          )
        
      
    
  




so

φ′′st(x,s,t=1)=∇v(s,ψs,ψ(s,x)[(ψ′s(s,x)−z′s(s))−∇ψ′s(s,x)∇v(s,ψ(s,x))(ψ(s,x)−z(s))].  Eq. (21)

Since v is a diffeomorphism, φ′′st(x,s,t=1)=0 is equivalent to

z′s(s)=ψ′s(s,x)−∇ψ′(s,x)∇v(s,ψ(s,x))(ψ(s,x)−z(s)).  Eq. (22)

If the source rotates sufficiently fast compared to the motion of the medium. Equation (22) is never satisfied. Comparing Equation (21) with Equation (8) we get that φ′′st(x,s,t=1) and φ′t(x,s,t=1) are not parallel if

ψ(s,x)−z(s)∥(ψ′s(s,x)−z′s(s))−∇ψ′s(s,x)∇v(s,ψ(s,x))(ψ(s,x)−z(s)).  Eq. (23)

Assuming again that the source rotates sufficiently fast, Equation (23) is equivalent to the requirement that the tangent to the source trajectory never points into the region of interest. This is a common condition, which is satisfied by all practical scanning trajectories.
From Equations (4) and (5) we get




  
    
      
        
          
            
              
                (
                
                                    ⁢
                  f
                
                )
              
              ⁢
              
                (
                x
                )
              
            
            =
            
              
                ∫
                              
              ⁢
              
                
                  φ
                  ⁡
                  
                    (
                    
                      s
                      ,
                      x
                    
                    )
                  
                
                ⁢
                
                  w
                  ⁡
                  
                    (
                    t
                    )
                  
                
                ×
                
                  
                    ∂
                    2
                  
                  
                    ∂
                    
                      q
                      2
                    
                  
                
                ⁢
                
                  
                  
                    ∇
                    
                      v
                      ⁡
                      
                        (
                        
                          s
                          ,
                          
                            
                              z
                              ⁡
                              
                                (
                                s
                                )
                              
                            
                            +
                            
                              t
                              ⁢
                              
                                
                              
                              ⁢
                              
                                β
                                ⁡
                                
                                  (
                                  
                                    s
                                    ,
                                    
                                      x
                                      +
                                      
                                        q
                                        ⁢
                                        
                                          
                                        
                                        ⁢
                                        Θ
                                      
                                    
                                  
                                  )
                                
                              
                            
                          
                        
                        )
                      
                    
                  
                  )
                
              
            
          
          
        
        ⁢
        
          
            f
            (
            
              v
              ⁡
              
                (
                
                  s
                  ,
                  
                    
                      z
                      ⁡
                      
                        (
                        s
                        )
                      
                    
                    +
                    
                      t
                      ⁢
                      
                        
                      
                      ⁢
                      
                        β
                        ⁡
                        
                          (
                          
                            s
                            ,
                            
                              x
                              +
                              
                                q
                                ⁢
                                
                                  
                                
                                ⁢
                                Θ
                              
                            
                          
                          )
                        
                      
                    
                  
                
                )
              
            
            
          
          
            q
            =
            0
          
        
        ⁢
        
          d
          t
        
        ⁢
        
          
            d
            s
          
          .
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          24
          )
        
      
    
  




Representing f in terms of its Fourier transform and changing variables gives




  
    
      
        
          
            
              (
              
                                ⁢
                f
              
              )
            
            ⁢
            
              (
              x
              )
            
          
          =
          
            
              1
              
                
                  (
                  
                    2
                    ⁢
                    
                      
                    
                    ⁢
                    π
                  
                  )
                
                3
              
            
            ⁢
            
              
                ∫
                              
              ⁢
              
                
                  
                    f
                    ~
                  
                  ⁡
                  
                    (
                    ξ
                    )
                  
                
                ⁢
                
                  B
                  ⁡
                  
                    (
                    
                      x
                      ,
                      ξ
                    
                    )
                  
                
                ⁢
                
                  e
                  
                    
                      -
                      i
                    
                    ⁢
                    
                      
                    
                    ⁢
                    
                      ξ
                      ·
                      x
                    
                  
                
                ⁢
                
                  d
                  ξ
                
              
            
          
        
        ,
        
          

        
        ⁢
        
          
            B
            ⁡
            
              (
              
                x
                ,
                ξ
              
              )
            
          
          :=
          
            
              ∫
                          
            ⁢
            
              
                
                  Q
                  0
                
                ⁡
                
                  (
                  
                    x
                    ,
                    ξ
                    ,
                    s
                    ,
                    t
                  
                  )
                
              
              ⁢
              
                e
                
                  
                    -
                    i
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    ξ
                    ·
                    
                      (
                      
                        
                          Φ
                          ⁡
                          
                            (
                            
                              x
                              ,
                              s
                              ,
                              t
                            
                            )
                          
                        
                        -
                        x
                      
                      )
                    
                  
                
              
              ⁢
              
                d
                t
              
              ⁢
              
                d
                s
              
            
          
        
        ,
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          25
          )
        
      
    
  




where Q0(x, ξ, s, t)∈S2(U×3), the seminorms of Q0 as member of the symbol class S2 are uniformly bounded with respect to (s,t)∈2, and the asymptomatics of Q0 is given by

QO(x,ξ,s,t)=−φ(s,x)w(t|ψ(s,x)−z(s)|)|ψ(s,x)−z(s)|[(tξ·∇v(s,{hacek over (y)}(x,s,t))∇ψ(s,x)θ(s,x))+O(|ξ|],|ξ|→∞.  Eq. (26)

The term O(|ξ|) in Equation (26) is stable when differentiated with respect to s and t any number of times. Using Equations (8), (9), we get that at the stationary point of the phase

ξ·∇v(s,{hacek over (y)})([z′(s)+t(ψ′s(s,x)−z′(s))]−ψ′s(s,{hacek over (x)})=0,ξ·∇v(s,{hacek over (y)})(ψ(s,x)−z(s))=0.  Eq. (27)

If t=1, then x={hacek over (x)} and the first equation in, Equation (27) is trivially satisfied. Hence (s,t=1) is a stationary point if ξ is perpendicular to ∇v(s,{hacek over (y)})(ψ(s,x)−(z(s)), where {hacek over (y)}=ψ(s,x). By construction, ξ·φ′′st(x,s,t=1)≠0. Thus the stationary point is non-degenerate if ξ·φ′′st(x,s,t=1)≠0. In view of the second equation in Equation (27), the critical direction at any (s,x) is given by

ξCT(s,x):=φ′t(x,s,t)|t=1×φ′′st(x,s,t)|t=1.  Eq. (28)

Let sj=sj(x,ξ), j=1, 2, . . . be the solutions to Equation (27) with t=1. Assume ξ is away from a conic neighborhood of the set

Crit(x):={ξ∈3\0:ξ=ξCT(s,x),(s,x)∈suppφ}.  Eq. (29)

Then the critical points (sj, t=1) are non-degenerate, and by the stationary phase method




  
    
      
        
          
            B
            ⁡
            
              (
              
                x
                ,
                
                  σ
                  ⁢
                  
                    
                  
                  ⁢
                  ξ
                
              
              )
            
          
          =
          
            
              
                -
                2
              
              ⁢
              π
              ⁢
              
                
              
              ⁢
              σ
              ⁢
              
                
                  ∑
                  j
                
                ⁢
                
                  
                    φ
                    ⁡
                    
                      (
                      
                        
                          s
                          j
                        
                        ,
                        x
                      
                      )
                    
                  
                  ⁢
                  
                    
                    
                      
                        ψ
                        ⁡
                        
                          (
                          
                            
                              s
                              j
                            
                            ,
                            x
                          
                          )
                        
                      
                      -
                      
                        y
                        ⁡
                        
                          (
                          
                            s
                            j
                          
                          )
                        
                      
                    
                    
                  
                  ⁢
                  
                    
                      
                        
                        
                          ξ
                          ·
                          
                            Θ
                            ⁡
                            
                              (
                              
                                
                                  s
                                  j
                                
                                ,
                                x
                              
                              )
                            
                          
                        
                        
                      
                      2
                    
                    
                      
                      
                        ξ
                        ·
                        
                          
                            Φ
                            st
                            ′′
                          
                          ⁡
                          
                            (
                            
                              x
                              ,
                              
                                s
                                j
                              
                              ,
                              
                                t
                                =
                                1
                              
                            
                            )
                          
                        
                      
                      
                    
                  
                
              
            
            +
            
              O
              ⁡
              
                (
                1
                )
              
            
          
        
        ,
        
          
        
        ⁢
        
          σ
          ->
          
            ∞
            .
          
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          30
          )
        
      
    
  




Here we have used the second equation in Equation (3), that φ(x,s,t=1)≡x, and the signature of the Hessian of the phase at the stationary point equals zero. If we choose, for example,

θ(s,x)=φ′′st(x,s,t=1),  Eq. (31)

then Equation (30) becomes




  
    
      
        
          
            B
            ⁡
            
              (
              
                x
                ,
                
                  σ
                  ⁢
                  
                    
                  
                  ⁢
                  ξ
                
              
              )
            
          
          =
          
            
              
                -
                2
              
              ⁢
              π
              ⁢
              
                
              
              ⁢
              σ
              ⁢
              
                
                  ∑
                  j
                
                ⁢
                
                  
                    φ
                    ⁡
                    
                      (
                      
                        
                          s
                          j
                        
                        ,
                        x
                      
                      )
                    
                  
                  ⁢
                  
                    
                    
                      
                        ψ
                        ⁡
                        
                          (
                          
                            
                              s
                              j
                            
                            ,
                            x
                          
                          )
                        
                      
                      -
                      
                        y
                        ⁡
                        
                          (
                          
                            s
                            j
                          
                          )
                        
                      
                    
                    
                  
                  ×
                  
                    
                    
                      ξ
                      ·
                      
                        
                          Φ
                          st
                          ′′
                        
                        ⁡
                        
                          (
                          
                            x
                            ,
                            
                              s
                              j
                            
                            ,
                            
                              t
                              =
                              1
                            
                          
                          )
                        
                      
                    
                    
                  
                
              
            
            +
            
              O
              ⁡
              
                (
                1
                )
              
            
          
        
        ,
        
          
        
        ⁢
        
          σ
          ->
          
            ∞
            .
          
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          32
          )
        
      
    
  




Artifact.
We are now interested in solutions to Equation (27) with t≠1. Similarly to Equation (25), we have:




  
    
      
        
          
            (
            
                            ⁢
              f
            
            )
          
          ⁢
          
            (
            x
            )
          
        
        =
        
          
            1
            
              
                (
                
                  2
                  ⁢
                  
                    
                  
                  ⁢
                  π
                
                )
              
              3
            
          
          ⁢
          
            ∫
            
              
                
                  f
                  ~
                
                ⁡
                
                  (
                  ξ
                  )
                
              
              ⁢
              
                {
                
                  ∫
                  
                    
                      
                        Q
                        0
                      
                      ⁡
                      
                        (
                        
                          x
                          ,
                          ξ
                          ,
                          s
                          ,
                          t
                        
                        )
                      
                    
                    ⁢
                    
                      e
                      
                        
                          -
                          i
                        
                        ⁢
                        
                          
                        
                        ⁢
                        
                          ξ
                          ·
                          
                            Φ
                            ⁡
                            
                              (
                              
                                x
                                ,
                                s
                                ,
                                t
                              
                              )
                            
                          
                        
                      
                    
                    ⁢
                    
                      d
                      s
                    
                    ⁢
                    
                      d
                      t
                    
                  
                
                }
              
              ⁢
              
                
                  d
                  ξ
                
                .
              
            
          
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          33
          )
        
      
    
  




Consider the integral with respect to s and t. Pick some x0∈U, s0∈I, and t0≠1, and set

ξ0=φ′s(x0,s0,t0)×φ′t(x0,s0,t0),  Eq. (34)

Suppose s=(x,ξ) and t=(x,ξ) solve the system

ξ·φ′z(x,s,t)=0,ξ·φ′t(x,s,t)=0  Eq. (35)

for (x,ξ) a conic neighborhood of (x0,ξ0). In general there can be several solutions, but we are looking for the one close to (s0,t0). Obviously, s(x,ξ) and t(x,ξ) are homogeneous of degree zero in ξ.

Systems in Equation (35) and Equation (27 are the same. However, since t≈1, no additional insight is gained by representing φ in terms of ψ and v.
Let κ(x,ξ) be the Gaussian curvature of φx at the point y=φ(x,s(x,ξ),t(x,ξ)). When there is no motion, φx is a ruled surface with zero Gaussian curvature. In the presence of motion we can assume that, generically, κ(x,ξ)≠0. The Hessian of the phase at the stationary point is proportional to the curvature:




  
    
      
        
          
            det
            ⁡
            
              (
              
                
                  
                    
                      ξ
                      ·
                      
                        
                          Φ
                          ss
                          ′′
                        
                        ⁡
                        
                          (
                          
                            x
                            ,
                            s
                            ,
                            t
                          
                          )
                        
                      
                    
                  
                  
                    
                      ξ
                      ·
                      
                        
                          Φ
                          st
                          ′′
                        
                        ⁡
                        
                          (
                          
                            x
                            ,
                            s
                            ,
                            t
                          
                          )
                        
                      
                    
                  
                
                
                  
                    
                      ξ
                      ·
                      
                        
                          Φ
                          st
                          ′′
                        
                        ⁡
                        
                          (
                          
                            x
                            ,
                            s
                            ,
                            t
                          
                          )
                        
                      
                    
                  
                  
                    
                      ξ
                      ·
                      
                        
                          Φ
                          tt
                          ′′
                        
                        ⁡
                        
                          (
                          
                            x
                            ,
                            s
                            ,
                            t
                          
                          )
                        
                      
                    
                  
                
              
              )
            
          
          =
          
            
              κ
              ⁡
              
                (
                
                  x
                  ,
                  ξ
                
                )
              
            
            ⁢
            
              
                
                ξ
                
              
              2
            
            ⁢
            
              
                
                
                  
                    
                      Φ
                      s
                      ′
                    
                    ⁡
                    
                      (
                      
                        x
                        ,
                        s
                        ,
                        t
                      
                      )
                    
                  
                  ×
                  
                    
                      Φ
                      t
                      ′
                    
                    ⁡
                    
                      (
                      
                        x
                        ,
                        s
                        ,
                        t
                      
                      )
                    
                  
                
                
              
              2
            
          
        
        ,
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          36
          )
        
      
    
  




where x, ξ, s, and t satisfy Equation (35). By assumption φ′s and φ′t are linearly independent, i.e. φxO is smooth at y0=φ(x0,s(x0,ξ0),t(x0,ξ0)). Hence the right-hand side of Equation (36) is not zero x0, ξ0, s0, t0, the Hessian is non-degenerate, and the functions s(x,ξ),t(x,ξ) are locally well-defined and smooth. By the stationary phase method,

∫Q0(x,ξ,s,t)e−iξ·φ(x,s,t)dsdt=Q1(x,ξ)e−iξ·φ(x,s(x,ξ),t(x,ξ)),   Eq. (37)

where Q1 is a symbol from the class S1 in a conic neighborhood of (x0,ξ0) (cf. (26)), and the asymptotics of Q1 is given by





  
    
      
        
          
            
              Q
              1
            
            ⁡
            
              (
              
                x
                ,
                ξ
              
              )
            
          
          =
          
            
              c
              ⁢
              
                
                  
                    Q
                    0
                  
                  ⁡
                  
                    (
                    
                      x
                      ,
                      ξ
                      ,
                      
                        s
                        ⁡
                        
                          (
                          
                            x
                            ,
                            ξ
                          
                          )
                        
                      
                      ,
                      
                        t
                        ⁡
                        
                          (
                          
                            x
                            ,
                            ξ
                          
                          )
                        
                      
                    
                    )
                  
                
                
                  
                    
                    
                      det
                      ⁡
                      
                        (
                        
                          ξ
                          ·
                          
                            Φ
                            ′′
                          
                        
                        )
                      
                    
                    
                  
                  
                    1
                    /
                    2
                  
                
              
            
            +
            
              O
              ⁡
              
                (
                1
                )
              
            
          
        
        ,
        
          
            
            ξ
            
          
          ->
          ∞
        
        ,
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          38
          )
        
      
    
  




where ξ·φ′′ is the matrix in Equation (36), and constant c incorporates some powers of 2π and i. Combine Equation (33) and Equation (38):





  
    
      
        
          
            
              (
              
                                ⁢
                f
              
              )
            
            ⁢
            
              (
              x
              )
            
          
          =
          
            
              1
              
                
                  (
                  
                    2
                    ⁢
                    
                      
                    
                    ⁢
                    π
                  
                  )
                
                3
              
            
            ⁢
            
              ∫
              
                
                  
                    f
                    ~
                  
                  ⁡
                  
                    (
                    ξ
                    )
                  
                
                ⁢
                
                  
                    Q
                    1
                  
                  ⁡
                  
                    (
                    
                      x
                      ,
                      ξ
                    
                    )
                  
                
                ⁢
                
                  e
                  
                    
                      -
                      i
                    
                    ⁢
                    
                      
                    
                    ⁢
                    
                      a
                      ⁡
                      
                        (
                        
                          x
                          ,
                          ξ
                        
                        )
                      
                    
                  
                
                ⁢
                
                  d
                  ξ
                
              
            
          
        
        ,
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          39
          )
        
      
    
  




where a(x,ξ):=ξ·φ(x,s(x,ξ),t(x,ξ)). If det(∂2a(x,ξ)/∂x∂ξ)≠0 at (x0,ξ0), then locally Equation (39) is a Fourier Integral Operator (FIO) associated with a canonical transformation, and the order of the operator equals one (see L., Hormander, The Analysis of Linear Partial Differential Operators. IV. Fourier Integral Operators. Spinger-Verlag, Berlin, 1985, pp. 25, 26). In view of Equation (30) this means that the artifacts and useful singularities can be of the same strength in the scale of Sobolev spaces.

Incorrectly Known Motion.
Suppose that instead of the motion function ψ we know its approximation ψ∈(s,x)=ψ(s,x)+∈ψ1(s,x). In this case the function φ of Equation (7) is replaced by

φ(∈x,s,t):=v(s,z(s)+t(ψ∈(s,x)−z(s))).  Eq. (40)

Consequently, the useful singularities of Bf no longer coincide with the singularities of f. To find the shift between them we assume that the error in ψ∈ is small, i.e., ∈→0, and find the first order approximation of the shift. If ∈=0, the function s(x,ξ) is determined from Equation (35) with t(x,ξ)≡1. If ∈≠0, we have to solve

ξ·φ′s(∈,x∈,s∈,t∈)=0, ξ·φ′t(∈,x∈,s∈,t∈)=0,

φ(∈,x∈,s∈,t∈)=φ(0,x,s,t=1).  Eq. (41)

Equations (41) means that the singularity of f at x is mapped into the singularity of Bf at x∈. Set x∈=x+Δx, s∈=s+Δs, , t∈=1+Δt. Expanding Equation (41) in the Taylor series around ∈=0, using Equation (35), and keeping the first order terms in ∈, gives

∈ξ·φ′′∈s+ξ·∇φ′sΔx+ξ·φ′′ssΔs+ξ·φ′′stΔt=0,

∈ξ·φ′′∈t+ξ·∇φ′tΔx+ξ·φ′′stΔs+ξ·φ′′ttΔt=0,

∈φ′∈+∇φΔx+φ′sΔs+φ′tΔt=0  Eq. (42)

All the derivatives in Equation (42) are computed at ∈=0,x,s=s(x,ξ), and t=1. Since φA(0,x,s,t=1)≡x, then ∇φ′s=0, φ′′ss=0, φ′s=0. The first and third equations in Equation (42) yield:




  
    
      
        
          
            Δ
            ⁢
            
              
            
            ⁢
            t
          
          =
          
            
              -
              ε
            
            ⁢
            
              
                ξ
                ·
                
                  Φ
                  
                    ε
                    ⁢
                    
                      
                    
                    ⁢
                    s
                  
                  ′′
                
              
              
                ξ
                ·
                
                  Φ
                  st
                  ′′
                
              
            
          
        
        ,
        
          
            Δ
            ⁢
            
              
            
            ⁢
            x
          
          =
          
            
              
                
                  ε
                  ⁡
                  
                    (
                    
                      ∇
                      Φ
                    
                    )
                  
                
                
                  -
                  1
                
              
              ⁡
              
                [
                
                  
                    
                      Φ
                      t
                      ′
                    
                    ⁢
                    
                      
                        ξ
                        ·
                        
                          Φ
                          
                            ε
                            ⁢
                            
                              
                            
                            ⁢
                            s
                          
                          ′′
                        
                      
                      
                        ξ
                        ·
                        
                          Φ
                          st
                          ′′
                        
                      
                    
                  
                  -
                  
                    Φ
                    ε
                    ′
                  
                
                ]
              
            
            .
          
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          43
          )
        
      
    
  




When t=1, ∇φ=Id, and

φ′t=∇v(ψ(s,x)−z(s)),φ′∈=∇vψ1(s,x).  Eq. (44)

Substituting into Equation (43) gives




  
    
      
        
          
            Δ
            ⁢
            
              
            
            ⁢
            x
          
          =
          
            
              ε
              ⁢
              
                
              
              ⁢
              
                ∇
                
                  
                    v
                    ⁡
                    
                      (
                      
                        s
                        ,
                        
                          ψ
                          ⁡
                          
                            (
                            
                              s
                              ,
                              x
                            
                            )
                          
                        
                      
                      )
                    
                  
                  ⁡
                  
                    [
                    
                      
                        c
                        ⁡
                        
                          (
                          
                            
                              ψ
                              ⁡
                              
                                (
                                
                                  s
                                  ,
                                  x
                                
                                )
                              
                            
                            -
                            
                              z
                              ⁡
                              
                                (
                                s
                                )
                              
                            
                          
                          )
                        
                      
                      -
                      
                        
                          ψ
                          1
                        
                        ⁡
                        
                          (
                          
                            s
                            ,
                            x
                          
                          )
                        
                      
                    
                    ]
                  
                
              
            
            +
            
              O
              ⁡
              
                (
                
                  ε
                  2
                
                )
              
            
          
        
        ,
        
          

        
        ⁢
        
          
        
        ⁢
        
          c
          =
          
            
              
                ξ
                ·
                
                  Φ
                  
                    ε
                    ⁢
                    
                      
                    
                    ⁢
                    s
                  
                  ′′
                
              
              
                ξ
                ·
                
                  Φ
                  st
                  ′′
                
              
            
            .
          
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          45
          )
        
      
    
  




By our assumption ξ·φ′st≠0, so Δx is indeed of order O(Å), ∈→0.
End of Proof of Proposition 1.
Using a partition of unity we may suppose that WF(f) is a subset of a sufficiently small conic neighborhood of (x0,ξ0) ∈T*U, and Q0≡0 (cf. Equations (26) and (33)) for (s,t) outside a sufficiently small neighborhood of (s0, t0) ∈l×. Initially we consider the case t0≠1. First of all, from Equations (4) and (5), (Bf)(x)≡0 outside a neighborhood of y0=φ(x0, s0, t0). In view of the partition of unity, Equation (4) needs to be modified by including a cut-off function depending on t. Passing to a finer partition of unity if necessary, Equation (33) implies that (Bf)(x) is smooth near y0 unless ξ0 is parallel to φ′s(x0, s0, t0)×φ′t(x0, s0, t0). If the two vectors are parallel, we multiply Equation (33) by φ1(x)eix·η, where φ1∈C0∞ and is supported in a neighborhood of y0, and η0≠ξ0·∇φ(x0, s0, t0). Integrating with respect to x and using the standard argument (see e.g. Y. V. Egorov and B.-W. Sehulze, Pseudo-differential Operators, Singularities, Applications, Birkhauser, Basel, 1997, p. 114), we get that (y0,η0)∉WF(Bf).
Suppose now t0=1. Since φ(x, s, t=1)≡x and ξ0=ξ0=ξ0·∇φ(x0, s0, t0=1), we get as before that (x0,ξ0)∉WF(ƒ) implies (x0,ξ0)∉WF(Bf), and Equation (11) is proven.
A Motion Estimation Algorithm.
The motion estimation algorithm of the present invention is base on LT. In the case of static objects, the discontinuities (or, edges) of f and Bf generally coincide (see e.g., D. Finch, L-R. Lan, and G. Uhlmann, Microlocal analysis of the x-ray transform with sources on a curve, in Inside Out: Inverse Problems and Applications. G. Uhlmann, ed., Cambridge University Press, Cambridge, UK, 2003, pp. 193-218: A. Katsevich. Improved cone beam local tomography, Inverse Problems, 22 (2006), pp. 627-43; A. K. Louis and P. Mass, Contour reconstruction in 3-1) X-ray CT, IEEE Trans. Med. Imaging, 12 (1993) pp. 764-769) except for the added singularities or artifacts in Bf and the singularities of f that are invisible from the data. As mentioned above, if there is some uncompensated motion in f, the edges or f and Bf no longer coincide. Practically this means that if motion is not known (or, is known incorrectly) edges in the reconstructed image spread out. A single edge produces multiple edges at several locations. Consequently, the reconstructed image looks clattered or random. We can use a measure of randomness in the reconstructed image Bf to gauge whether our motion model is accurate or not. In what follows we call this measure “edge entropy”. Using this idea, we summarize the proposed motion estimation algorithm as follows.
Assume some motion model;
Perform motion-compensated LT image reconstruction using current motion model:
Compute edge entropy of the LT image;
If edge entropy is low (i.e., the edges have not spread too much), stop. If edge entropy is high, change the motion model and go to step (2).
A similar idea was used in Y. Kyriakou, R. M. Lapp, L. Hillebrand, D. Ertel, and W. Kalender, Simultaneous misalignment correction for approximate circular cone-beam computed tomography. Phys. Med. Biol., 53 (2008), pp. 6267-6289, for misalignment correction in circular cone beam CT. The main novelty of our approach is that we use LT instead of global Feldkump type (FDK) reconstruction. On one hand, the use of LT allows us to significantly speed up the iterations. On the other hand, many tools that work with conventional images (most notably, image entropy) do not work with LT images, so we had to develop alternative tools from scratch. The following paragraphs describe the key steps of the algorithm in more detail.
Motion Model.
Let [st,sr]⊂l be a parameter/time window, which is used for motion estimation. The center point s0=(sl+sr)/2 is taken as reference time. The primary purpose of the algorithm of the present invention is to perform local (in time) motion estimation, thus the width of the window S:=sr−sl is usually rather short, in our experiments S is typically less than one gantry rotation. Let D⊂U denote the region where motion takes place. We assume that D is a rectangle, i.e. D:={(x1, x2, x3)∈3: Lk≦xk≦Rk, k=1, 2, 3}. To represent motion, we consider a regular grid over D. The grid planes are

xk=ζik:=Lk+iΔxk,0≦i≦Nk+1,k=1,2,3.  Eq. (46)

where Δxk=(Rk−Lk)/Nk+1) is the step-size along the k-th axis. Thus, grid in Equation (46) has N1N2N3 interior nodes, and for each direction k there are Nk+2 planes xk=∫0k, . . . , xk=ζNk+1,k. Because of motion, the grid planes deform over time:

x1=ζi1+ai1(s)φ[(x2−L2)/(R2−L2)]φ[(x3−L3)/(R3−L3)],1≦i≦N1,

x2=ζi2+ai2(s)φ[(x1−L1)/(R1−L1)]φ[x3−L3)/(R3−L3)],1≦i≦N2,

x3=ζi3+ai3(s)φ[(x1−L1)/(R1−L1)]φ[(x2−L2)/(R2−L2)],1≦i≦N3.  Eq. (47)

Each line in Equation (47) defines a separate surface, which corresponds to a deformation of one of the original planes Equation (46). We assume that motion equals zero at the boundary of D, so the boundary grid planes (i.e. those given by xk=ζik, i=0 or Nk+1, k=1, 2, 3) do not deform. In Equation (47), the function φ is smooth, defined on the interval [0,1], and equals zero at both endpoints of the interval. Since the time window [sl,sr] is sufficiently short, we assume that the functions aik(s) are linear:

aik(s)=aik(s . . . s0)/(0.5S),k=1,2,3.  Eq. (48)

where aik, 1≦i≦Nk, k=1, 2, 3, are constants to be determined. Note that substituting s=s0 into Equation (47) gives the rectangular grid of Equation (46). Equations (47) and (48) allow us to describe motion of every point in D. To determine where a node from the original grid of Equation (46) is located at time s, we identify the three planes where the node is located, deform them according to Equation (47), and then find the point of intersection of the three resulting surfaces. Location of all other pixels is computed using trilinear interpolation.

Edge Entropy.
Suppose Bf is computed on a regular grid (xi1, xi2, xi3), 1≦ik≦Mk, k=1, 2, 3, which covers D. Suppose, for simplicity, that the step-size of the grid is the same along every axis and equals Δx. Nodes of the grid are denoted xi:=(xi1, xi2, xi3), where l=(i1, i2, i3). Of course, this grid should be much more dense than the one in Equation (46) (Mk>>Nk). We also need a shifted grid with nodes xl:=( xi1, xi2, xi3), where xik=xik+Δx/2, 1≦ik≦Mk−1, k=1, 2, 3. Introduce the distance function:

dist( xI, xJ)=max(|i1−j1|,|i2−j2|,i3−j3|).  Eq. (49)

Calculation of edge entropy consists of several steps. Let parameter κ, 0<κ<1, be fixed.
Using finite differences, compute the norm of the gradient at the nodes of the shifted grid |∇(Bf)( xl)|;
Compute the empirical histogram of the norm of the gradient;
Using the histogram, estimate the value M such that |∇(Bf)( xl)|M for 100κ percent of the points (such points are called “bright”);
4. By running a sliding window over the image compute the total number of points x1 whose distance (in the sense of Equation (49)) to the closest bright point equals either 2, 3, or 4;
Divide this number by the total number of nodes in the grid and multiply by 100) (to get percents). The result is the edge entropy of the image Bf.
Numerical Experiments.
The original phantom is a superposition of seven balls as shown FIGS. 1-3. FIGS. 1a, 1b and 1c show x1x2-cross-sections of the phantom at a time corresponding to 101, 900 and 501, respectively. FIGS. 2a, 2b and 2c show x1x3-cross-sections of the phantom at a time corresponding to 101, 900 and 501, respectively, respectively. FIGS. 3a, 3b and 3c show x2x3-cross-sections of the phantom at a time corresponding to 101, 900 and 501, respectively, respectively.
The motion of the medium is described by the function




  
    
      
        
          ψ
          ⁡
          
            (
            
              s
              ,
              x
            
            )
          
        
        =
        
          x
          +
          
            {
            
              
                
                  
                    
                      
                        
                          25
                          ⁢
                          
                            cos
                            ⁡
                            
                              (
                              
                                0.35
                                ⁢
                                
                                  (
                                  
                                    s
                                    -
                                    
                                      s
                                      0
                                    
                                  
                                  )
                                
                              
                              )
                            
                          
                          ⁢
                          Θ
                        
                        ,
                      
                    
                    
                      
                        
                          
                            
                            x
                            
                          
                          <
                          10
                        
                        ,
                      
                    
                  
                  
                    
                      
                        
                          25
                          ⁢
                          
                            cos
                            ⁡
                            
                              (
                              
                                0.35
                                ⁢
                                
                                  (
                                  
                                    s
                                    -
                                    
                                      s
                                      0
                                    
                                  
                                  )
                                
                              
                              )
                            
                          
                          ⁢
                          
                            
                              75
                              -
                              
                                
                                x
                                
                              
                            
                            65
                          
                          ⁢
                          Θ
                        
                        ,
                      
                    
                    
                      
                        
                          10
                          ≤
                          
                            
                            x
                            
                          
                          <
                          75
                        
                        ,
                      
                    
                  
                  
                    
                      
                        0
                        ,
                      
                    
                    
                      
                        
                          
                            
                            x
                            
                          
                          ≥
                          75
                        
                        ;
                      
                    
                  
                
                ⁢
                
                  

                
                ⁢
                
                  
                
                ⁢
                Θ
              
              =
              
                
                  (
                  
                    
                      cos
                      ⁢
                      
                        
                      
                      ⁢
                      
                        θ
                        2
                      
                      ⁢
                      cos
                      ⁢
                      
                        
                      
                      ⁢
                      
                        θ
                        1
                      
                    
                    ,
                    
                      cos
                      ⁢
                      
                        
                      
                      ⁢
                      
                        θ
                        2
                      
                      ⁢
                      sin
                      ⁢
                      
                        
                      
                      ⁢
                      
                        θ
                        1
                      
                    
                    ,
                    
                      sin
                      ⁢
                      
                        
                      
                      ⁢
                      
                        θ
                        2
                      
                    
                  
                  )
                
                .
              
            
          
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          50
          )
        
      
    
  




Here s0 is reference time, θ1=70°, θ2=30°. In this section the units of length are always mm. The detector array is curved and passes through the isocenter. Pixel size on the detector is 0.5 along columns, and 10−3 radians along rows. The source trajectory is circular: x1=R cos s, x2=R sin s, x3=0, and the source to isocenter distance is R=600. There are 1000 projections per one rotation, 0≦s<2π. The time corresponding to projection 501 was chosen as reference time s0=π.
For motion estimation we used only the data corresponding to the range of projections. The data are simulated using ray tracing as described, e.g., in A. Katsevich. Motion compensated local tomography, Inverse Problems, 24 (2008), 045013. Following the common practice in medical imaging, the changes in density were not tracked due to motion (S. Rit, D. Sarrut, and L. Desbat, Comparison of analytic and algebraic methods for motion compensated cone-beam CT reconstruction of the thorax. IEEE Trans. Med. Imaging, 28 (2009), pp. 1513-1525). This is equivalent to setting |∇v|=1 in Equation (4).
The function Bf is computed on the 112×112×112 regular grid covering the cube −75≦xk≦75, k=1, 2, 3. To make the resulting algorithm as numerically efficient as possible, we use the simplest version of the motion compensated LT. To this end the derivative ∂2/∂q2 in Equation (5) is replaced by the second derivative of the cone beam data along detector rows.
Let Dl be a box-like region bounded by six neighboring planes Equation (46). As is easily seen, the values of Bf(x) for all x∈Dl depend only on the six parameters describing the deformation of the six planes that form its boundary. Minimization of edge entropy uses this observation and is done using the following approach.
Step 1. Let aik, i=1, . . . Nk, k=1, 2, 3, be the current best estimate of the motion parameters. Let some Δa≠0 be given. Pick one of the Dl's. Let ai1k1, . . . ai6k6 be the six parameters affecting the chosen region. Compute 36 subimages Bf(x), x∈Dl, corresponding to the sets ãi1k1, . . . , ãi6k6, where each ãik equals either aik, or aik−Δa, or aik+Δa. Store all the subimages on the disk, and repeat for all Dl's.
Step 2. Run the loop over all 3N1+N2+N3 sets aik, i=1 . . . Nk, k=1, 2, 3, where each ãik equals either aik, or aik−Δa, or aik+Δa. This is done by reading the appropriate subimages from the disk and combining them into a single image of Bf(v), x∈D. Then compute edge entropy for the obtained image. From the 3N1+N2+N3 sets of parameters find the one which produces the image with the smallest entropy.
Steps 1 and 2 constitute a single iteration. The initial values of aik are chosen to be zero (which is the no motion assumption). The value of Δa is chosen from some a priori considerations. After the end of each iteration, the optimal set of parameters identified at Step 2 is passed on to Step 1. Also, the value of Δa is decreased. In our experiments we used Δainitial=10, Δanew=0.75Δaold, and three iterations were performed.
Results of experiments are shown in FIGS. 4 and 5. FIG. 4 shows the initial image of Bf computed under the (incorrect) assumption of no motion. FIG. 5 shows the final image of Bf computed for the motion model, that was determined by the algorithm. In these experiments we used N1=N2=N3=4 (cf. (47)). We used κ=0.0125 to compute edge entropy. At the beginning of iterations (FIG. 4) the value of entropy is 9.81%, and at the end −8.40% (FIG. 5).
To illustrate another application of the present invention we use it for solving a misalignment correction problem in the case of a distorted circular scan. Suppose that under the ideal circumstances the source trajectory is a circle. Suppose that because of mechanical instabilities the actual trajectory is a distorted circle given by




  
    
      
        
          
            x
            1
          
          =
          
            R
            ⁢
            
              
            
            ⁢
            cos
            ⁢
            
              
            
            ⁢
            s
          
        
        ,
        
          
            x
            2
          
          =
          
            R
            ⁢
            
              
            
            ⁢
            sin
            ⁢
            
              
            
            ⁢
            s
          
        
        ,
        
          
            x
            3
          
          =
          
            
              ∑
              
                n
                =
                1
              
              N
            
            ⁢
            
              
                c
                n
              
              ⁢
              
                
                  cos
                  ⁡
                  
                    (
                    ns
                    )
                  
                
                .
              
            
          
        
      
    
    
      
        Eq
        .
        
          
        
        ⁢
        
          (
          51
          )
        
      
    
  




Here cn, n=1, 2, . . . , N, are unknown and are to be determined from the tomographic data. Suppose, for simplicity, that the detector always contains the x3-axis, its center has the same x3-coordinate as the source, and is perpendicular to the source to center line. Thus, the detector moves along the x3-axis in the same way as the source. It is clear that, similarly to the motion contaminated case, if source trajectory is known with error, the edges spread and the image looks more random. Consequently, the procedure outlined earlier applies here as well (with the optimization of the “motion model” replaced by the optimization of the “trajectory model”). In our numerical experiment we used the same seven-ball phantom as before (only it is not moving now), and took N=5 with c1=c3=c5=5, c2=c4=−5. Other parameters: source to isocenter distance R and size of reconstruction grid are the same as in the first experiment. As initial approximation all ci's were taken to be zero. Optimization was done using the Nelder-Mead simplex algorithm, see J. Nelder and R. Mead, A simplex method for function minimization. Comput. J., 7 (1965), pp. 308-313. At the end of iterations the computed constants are 3.58, −5.87, 4.81, −5.36, 4.52. Initial entropy was equal 20.1%, and at the end of iterations it was 8.44%. See FIG. 6 for the density plots of Bf.
In the case of noise-free for low noise) data, the algorithm based on LT as outlined above works well. If data are sufficiently noisy, the proposed scheme is unstable. Indeed, to compute the LT function we differentiate the data two times. Then, to find bright pixels, we differentiate the image one more time. To make the algorithm more robust observe that instead of ∂2/∂q2 Equation (5) we can use almost any even convolution kernel which preserves singular support. It was found empirically that convolving the tomographic data along data rows with die kernel, whose frequency characteristic is given by |λ|0.2 produces good results. In FIG. 7, left two columns, we see the LT images and the results of bright pixel detection using the filter ∂2/∂q2 in Equation (5) in the case of (erroneous assumption) of zero motion in the data. The right column of FIG. 7 shows the results of bright pixel detection using the new filter. As is seen, the latter is much less noisy than the former. In FIG. 8 we see the reconstructions at the end of iterative motion estimation. Left column shows the intermediate “local” tomography image, middle column shows the results of bright pixel detection. Note that these images are computed from the noisy data in the process of iterations and correspond to the motion model with the least edge entropy. Even though the filter is no longer local, we keep using the name “local tomography” to emphasize the fact that we still do not reconstruct density values (as opposed to conventional “global tomography”). To better illustrate our results we computed the traditional LT function from the noise-free data using the computed motion model, see the right panel. It is clearly seen from these images that the edges are now much less spread than they were at the beginning of iterations.
Discussion. In this patent application. LT in the motion contaminated case was studied. It is shown that microlocally, away from same critical directions, LT is equivalent to a pseudo-differential operator of order one. LT also produces non-local artifacts that are of the same strength as useful singularities. As opposed to the static case, here it is not possible to choose the direction of differentiation to reduce the strength of the artifact by one order in the scale of Sobolev spaces. On the other hand, if motion is sufficiently small, it is expected that choosing θ as in Equation (31) which is analogous to what was done in A. Katsevich. Improved cone beam local tomography, Inverse Problems, 22 (2006), pp. 627-643 (compare Equation (32) with Equation (2.11) in Katsevich (2006)), may help reduce the artifacts. Then we consider the case when motion is not accurately known. It is shown that when a singularity is seen from two different source positions, it spreads in different directions. A single edge becomes a double edge. Based on this observation we propose an algorithm for motion estimation. The algorithm is quite flexible and is used for solving the misalignment correction problem.
While the invention has been described, disclosed, illustrated and shown in various terms of certain embodiments or modifications which it has presumed in practice, the scope of the invention is not intended to be, nor should it be deemed to be, limited thereby and such other modifications or embodiments as may be suggested by the teachings herein are particularly reserved especially as they fall within the breadth and scope of the claims here appended.

## Claims

1. A method for estimating scan parameters from tomographic data, the method comprising:
collecting tomographic data of an object during a scan, wherein one or more parameters of the scan are not accurately known;
reconstructing an image of the object, wherein the information about the object in the image useful for estimating the scan parameters pertains only to one or more edges of the object image, the edges defined as sharp spatial features inside the object;
estimating the one or more scan parameters using the reconstructed image of the object; and
repeating the reconstructing of the image of the object and the estimating of the one or more scan parameters two or more times to improve the estimate of the one or more scan parameters, wherein the reconstructing of the image of the object and the estimating of the one or more scan parameters are repeated until a number of edges of the object having a predetermined characteristic are below a preselected threshold.

2. The method of claim 1, wherein estimating the one or more scan parameters using the reconstructed image of the object further comprises, analyzing a spatial distribution of the edges of the object in the reconstructed image of the object.

3. The method of claim 2, wherein analyzing a spatial distribution of the edges of the object in the reconstructed image of the object is based on a prevalence of double edges in the reconstructed image, wherein double edges are defined as edges located close to each other.

4. The method of claim 3, wherein reconstructing an image of the object further comprises:
assuming one or more values for the one or more parameters of the scan that are not accurately known; and
using the assumed one or more values during the reconstructing of the image of the object.

5. The method of claim 4, further comprising:
making the conclusion that the assumed values of the parameters are not close to the actual values of the parameters when a large number of double edges are detected; and
making the conclusion that the assumed values of the parameters are close to the actual values of the parameters when a small number of double edges are detected.