Cone-beam reconstruction for the 2-circles plus line trajectory

Cone-beam reconstruction for the -circles plus line trajectory Yanbin Lu a,*, Jiansheng Yang a, John W. Emerson b, Heng Mao a, Yuanzheng Si a and Ming Jiang a a LMAM, School of Mathematical Sciences, Peking Universit Beijing, 1871, People s epublic of China b Department of Statistics, Yale Universit New Haven, CT, 6511, USA Abstract. The -circles plus lines trajectory is designed to solve the problem of limited physical space in a multimodality imaging system for the introduction of X-ray cone-beam CT. We apply the backprojection filtration algorithm proposed by Pack et al for X-ray cone-beam data to the standard -circles plus lines trajectory. We find that for every point inside the region between the two circles there exists at least one redundantly measured line (a line segment that connects two sources points, -line), and so the region can be fully covered by -lines. Furthermore, for about /3 of the points inside the region there exist two or more such -lines. The length of the line curve segment required by the algorithm can be as short as the distance between the two circles when the projections have no truncation. Numerical simulations validate the feasibility of the algorithm and the spiral resolution of cone-beam CT in the imaging system. Key words: Cone-beam CT, backprojection filtration algorithm, -circles plus line trajectory. 1. Introduction [Molecular imaging and multimodal imaging] Imaging modalities can be roughly classified into two categories: those which primarily provide structural information (such as Computed Tomography (CT) and Magnetic esonance Imaging (MI)) and those which primarily provide functional information (such as Positron Emission Tomography (PET) and Near Infrared Optical Tomography (OT)). Optical tomography is an emerging functional imaging technique. Its objective is to reconstruct the spatial distribution of optical parameters inside the medium based on measurements of transmitted light intensities on the surface [1]. Depending on the physical problem, OT can fall into many sub-categories, such as diffuse optical tomograph (DOT), florescence molecular tomography (FMT), and bioluminescence tomography (BLT). It has been recognized as a promising molecular imaging modality because of its sensitivit specificit low-cost and non-radiation characteristics. However, it often suffers from poor spatial resolution because of the high scattering nature of photons inside the tissue []. Thus hybrid systems that utilize multimodality data to combine the advantages of different imaging techniques have been explored. The use of structural information from CT or MI to penalize the objective function of OT has been studied by many research groups [1, 3, 4]. [The earlier cone-beam CT] The main aim of X-ray CT reconstruction is to recover the object s absorption coefficient using projection data acquired along a scanning source trajectory. Since Hounsfield reported the first x-ray computed tomography (CT) scanner in 1973 [5], reconstruction methods have made remarkable progress. Tuy proposed an exact reconstruction formulae with Tuy s data sufficiency condition for cone-beam CT [6]. elated to the adon transform, Smith s formula [7] and Grangeat s formula [8] provided two other classic formulae for cone-beam CT. To solve the long object problem for helical * Corresponding author: E-mail: luyanbin@pku.edu.cn. 1

cone-beam CT, Wang et al proposed a Feldkamp-type algorithm [9, 1], and Kudo, Noo and Defrise proposed exact and approximate algorithms in [11-13]. [ecent development of cone-beam CT, helical CT] A series of new cone-beam formulae were developed in the past decade. They can be roughly classified into two categories: filtered-backprojection (FBP) approaches and backprojection-filtration (BPF) approaches. Katsevich reported the first exact shift-invariant FBP reconstruction formula for helical CT using more data than the Tam-Dannielson window [14], and then reduced the requirements in [15]. In his formula, one-dimensional filtrating of a derivative of the projection data was first done along particular lines on the detector, and the filtration results were backprojected to form the image. Its computation is more efficient than previous exact formulae. Zou and Pan then proposed a BPF format formula using data only in the Tam-Dannielson window [16]. They claim that the Hilbert transform of the absorption coefficient along a PI-line (which is also 1D filtrating) can be obtained by backprojection of a derivative of the projection data on this PI-line. Helical CT motivated theoretical research of cone-beam CT. Katsevich developed a general cone-beam FBP formula based on the Grangeat s formula using a general weight function [17]. Chen et al proposed an alternative derivation of the Katsevich algorithm based on the Tuy s formula with relaxed Tuy s data sufficiency condition [18]. Zhao et al gave their proofs for Katsevich s formula and extended Zou and Pan s formula to any interior point on an -line on a continuous scanning curve in the Tuy framework [19]. In this case, a redundantly measured line (-line) is a line segment connecting two separate source positions. Ye et al proposed a generalized BPF formula for reconstruction on -lines for a single smoothing scanning curve []. Ye and Wang proposed a FBP formula and gave suggestions of filtering directions for a smooth curve [1]. Pack et al proposed BPF reconstruction formulae for both a single smoothing curve and multiple smooth curves []. econstructions by their formulae could be more flexible by choosing -lines and M-lines in the image space. A measured line (M-line) is a radial line starting from a source position such that for every point in the intersection of this M-line and the object there is at least one -line passing through it. Pack and Noo also developed FBP reconstruction formula for multiple smooth curves [3]. All these formulae demanded that for every interior point there existed an -line passing through it. [Our work] In this paper we study a special scanning trajectory for X-ray cone-beam CT in a multimodality imaging system called the Kodak In-Vivo Imaging System FX (Carestream Health, Woodbridge, CT). The system can provide D X-ray images, florescence images, bioluminescence images and radioisotopic images, but the precise 3D reconstruction images can t be achieved from these images directly. In order to introduce the X-ray cone-beam CT, an innovation of the system is proposed here by implementing object movement mechanisms (such as rotation and translation mechanisms) into the system. Because the physical space in the imaging cabinet is very limited, we apply the general BPF algorithm for multiple smooth curves proposed by Pack et al [] to a special scanning trajectory: -circles plus line trajectory. This -circles plus line trajectory consists of two parallel circles with radius and a line orthogonal to the plane of the circles. It can be described as cos, sin, z1 if [, ),, a z1 z z1 if [,4 ) (1) cos, sin, z if [4,6 ) We find that the two-circles plus line trajectory has nice geometry properties for reconstruction. It is proved that for every point inside the region between the two circles, there exists at least one -line. This means that the region between two circles can be fully covered by -lines. Assuming

data sufficiency for reconstruction, that region can be fully reconstructed by using the general algorithm on many-curve source trajectory. Finall the number of -lines for each point can be determined. [Organization of paper] The paper is organized as follows. In Section, we review the BPF algorithm in [] and derive it for the -circles plus line trajectory. The geometry property of the -circles plus line trajectory is described, including the existence and calculation of -lines. Section 3 shows numerical simulations and Section 4 discusses characteristics of this trajectory and the data requirement of the algorithm. Section 5 concludes the paper.. Method.1 Notations 3 Let be a bounded convex neighbourhood of the object in. The 3D source trajectory a () consists of a union of smooth curves. One example is the -circles plus line trajectory defined by (1). Two assumptions of the trajectory are needed here: (1) a () locates outside ; () For interior source points of every single smooth curve, the tangent vector a '( ) da( ) / d is bounded, continuous and nonzero. Let r be a 3D point and f ( r ) : 3 be the 3D function of the objects absorption coefficient of X-ray. f (r) equals to zero for r. The cone-beam projection at a () is defined as g(, ) f ( a( ) t) dt () where 3 S is the unit vector in. The local coordinate can be introduced into the detector plane as show in Figure 1. Let the orthogonal projection of a () onto the detector plane be the origin of the detector plane and e w perpendicular to the detector plane. u vectors on the detector plane. e and e v are orthogonal unit Figure 1. Local orientation on detector plane. The origin of the detector plane locates at the orthogonal projection of a () onto the detector plane. e w perpendicular to the detector plane. e u and e v are orthogonal unit vectors on the detector plane. 3

. General formula of Pack et.al The idea behind BPF algorithms is that the backprojection of derivatives of the projection data can be linearly transferred to the Hilbert transform of f (r) on a line segment. Here we introduce the formula for multiple source curves based on []. First, two important concepts must be introduced. As shown in Figure, redundantly measured lines (-lines) are line segments that connect two different source positions, and measured lines (M-lines) are radial lines from the source trajectory. Figure. Illustration of -lines and M-lines. -lines are line segments that connect two different source positions, and M-lines are radial lines from the source trajectory. [General formula] The differentiated backprojection (DBP) at r from source position a ) to a ) ( 1 ( on one single curve can be achieved by the backprojection of the derivates of projections D a'( ) D * * B( r, 1, ),, g u v d 1 a( ) r e u w D u v (3) g, (, r) g1, ( 1, r) r a( ) r a( 1 ) * * where D is the distance from a () to the origin of the detector, u (, r) and v (, r) are the local coordinates of the intersection point of the detector and the line connecting r and a (). _ * r a( ) eu * r a( ) ev u (, r) D, v (, x) D. (4) r a( ) ew r a( ) ew The relation between DBP and the Hilbert transform of f (r) is given below. For a fixed point r, suppose there exists N source intervals [ a( ), a( )] for i 1,..., N on the trajectory such that (1) each interval belongs to only one smoothing curve and () r, a( i ) and a( i1) are r a( ) on the same line for i 1,..., N 1. Let (, r) be the unit vector from a () to r. r a( ) i Define k 1 ( 1, r) ( N, r) and ki ( i 1, r) ( i, r) for i,..., N, and q i k j 1 j for i 1,...,N. Let K ( t, s, ) be the Hilbert transform of f (r) 3 along a line passing through s with direction i i 4

1 K( t, s, ) f ( s t' ) dt'. (5) ( t t') The relation between DBP and the Hilbert transform of f (r) is given by 1 N K(, r, ( N, r)) qn 1 q (,, ) i1 ib r i i. (6) qn 1 From (5) and (6), the Hilbert transform of f (r) on the M-line from a( N ) with the direction ( N, r) can be obtained. Once the Hilbert transform of the intersection of this M-line and have been calculated, Tricomi formula can be used for finite inverse Hilbert transform [4]. The computing details can be found in []. Using the inverse Hilbert transform, we will get the value of f (r) along this line. If can be covered by such M-lines, then f (r) can be obtained all over..3 M-line reconstruction formula for the -circles plus line trajectory 3 In this part we give the reconstruction formula for -circles plus line trajectory in. This trajectory consists of two parallel circle curves and a line curve segment orthogonal to the plane of the circles as shown in Figure 3. Figure 3. Illustration of the -circles plus line trajectory. a( ) and a( ) are the circle curves on z z and 1 z separatel and a ) is the line curve segment. z ( L C 1 C The two parallel circle curves have the same radius. The line curve segment is parallel to the line connecting the centres of the two circles. The line segment and the two circles intersect at the endpoints of the line curve segment. The line connecting the centres of the two circles is denoted as z axis, and the two circle curves locate at z z 1 and z z. The line curve segment is on the xz plane. The trajectory can be described as (1). M-line reconstruction requires that for each point in the intersection of the M-line and, there exists at least one -line passing through this point. In this case we choose M-lines that start from the line curve segment with direction parallel to the circle curves, such as the line from a ) with direction in Figure 4. There are two kinds of -lines. The first kind of -line connects source ( 3 positions on one of the two circles and the line, such as a ) a( ) in Figure 4 (a). The second kind ( 1 5

( 3 of -line connects source positions on the two circles, such as a ) a( ) in Figure 4(b). The M-line reconstruction formula for the -circles plus line trajectory has two cases because of the different choices of -lines. Case 1: Suppose r is on the first kind of -line, as shown in Figure 4(a). It is easy to verify k 1 1, k 1 and k 3 1, thus q 1 1, q 1 and q 3 1. Since q 3 1, the Hilbert transform of f (r) follows from (6). 1 3 K(, r, ) K(, r, ( 3, r)) K(, r, ( 1, r)) (,, ) q i1 ib r i. (7) i Case : Suppose r is on the second kind of -line, as shown in Figure 4(b). Then q 1, q 1, q 3 1 and q 4 1, so 1 4 K(, r, ) K(, r, ( 4, r)) K(, r, ( 1, r)) (,, ) q i1 ib r i. (8) i Then we can get f (r) along the M-lines using the inverse Hilbert transform. If is covered by such M-lines, then f (r) can be obtained all over. 1 (a) (b) Figure 4. Illustration of -lines and M-lines of the -circles plus line trajectory. M-lines start from the line curve segment source position a( 1 ) with direction parallel to the circle curves. There are two kinds of -lines: (a) connecting source positions on one of the two circle curves and the line curve segment, and (b) connecting source positions on the two circle curves..4 Geometry properties The reconstruction formula is based on both -lines and M-lines as mentioned previously. So it is important to investigate the existence of the -lines on this trajectory..4.1 The existence of -lines Suppose the -circles plus line trajectory is defined by (1). We use r ( x, convenience. The region inside the trajectory can be defined as CPL Theorem 1: ( x, : x y, z z z. CPL every point r inside 1 6 below for can be fully covered by -lines of the -circles plus line trajectory. That is, for CPL, there exists at least one -line passing through r.

In order to prove theorem 1, the region covered by the two different kinds of -lines will be proposed separately. The region covered by the first kind of -lines will be given by Lemma 1, and Lemma. The region covered by the second kind of -lines is given by Lemma 3 and 4. We consider the intersection of the -lines with a circular region z ( x, : x y, z z with z ( 1 t) z1 tz, t 1. The -lines from a fixed source position on the line curve segment to the circle curve segment on z z 1 are described in Lemma 1. Lemma 1: For a fixed point a( L) (,, ) on the line trajectory with z z, let L1 be the surface which consists of the -lines from a( L ) to the circle curve segment on z z 1. The z intersection of L 1 and z is a circle centred at z1 z z t,, z with radius 1 t z 1 1 z. 1 Proof: For a point a( B) cos( B), sin( B), z1 on the circle curve segment on z z 1, denote z z1 (1 t) z1 tz z1 z z1 t' t. (9) z z z z z z L 1 L 1 L 1 The -line a ( B) a ( L) intersects z at x 1 t' cos( ), sin( ), z t' B B 1,, t',, z 1 t' cos( ),sin( ), B B. (1) Since B [, ), the intersection curve is a circle centred at z z1 t,, z z1 with radius z z t 1 1 ' 1 t z. 1 The existence of -lines from the line curve segment to the circle curve segment on 1 described by Lemma. Lemma : For every point inside ( x, : ( x t) y (1 t), z z L 1, there exists at least one -line of the first kind. Proof: For any point ( x, L, if we can find L such that there exists a circle on 1 z containing ( x, with centre z1 z z t,, z and radius 1 t z 1 1 z, then by Lemma 1 the 1 point belongs to one -line from a ). It is equivalent to solve the equation ( L z z1 z z1 ) ( x t) y (1 t (11) z1 z1 with constrain condition z z. Let z z1 z z1 t' t, (11) is equivalent to z1 z1 ( x t' ) y (1 t') (1) with constrain condition ( x y ) t'. ( x) Since ( x, belonging to 1 t' t. So it follows that L 1 satisfies ( x t) y (1 t), which is equivalent to z (13) 7

( x y ) ( x) t. It is equivalent to t' t. It is easy to verify that t '1 by (13). Then we have z L ( ( x) z1 z z1) / t' z1 ( z z1). So the point ( x, belongs to one ( x y ) -line from a ) (,, z ) by Lemma 1. Since ( x, is chosen arbitrarily from ( L L L 1, Lemma is proved. The existence of -lines from the line curve segment to the circle curve segment on z z is described by Lemma. Lemma : For every point inside ( x, :( x (1 t) ) y t, z z L, there exists at least one -line of the first kind. Proof: considering the intersection of -lines from the line and the circle on z z, the conclusion can be proved similarly. The region covered by the second kind of -lines is given by Lemma 3 and 4. We also consider the intersection of the -lines with. The -lines from a fixed source position on the circle curve z segment on z z to the circle curve segment on z z 1 are described in Lemma 3. Lemma 3: For a fixed point a( A) ( cos( A), sin( A),, let C be the surface which consists of the -lines from a( A ) to the circle curve segment on z z 1. The intersection of C and is a circle centred at tcos( ), tsin( ), z ) with radius ( 1 t). at z ( A A Proof: For a point a ( B) ( cos( B), sin( B), z 1), the -line a ( A) a ( B) must intersects z x 1 t cos( B), sin( B), z1 t cos( A), sin( A), z tcos( A), tsin( A),(1 t) z1 tz 1 tcos( B),sin( B), tcos( ), tsin( ), z 1 tcos( ),sin( ), A A B B. (14) Since A is fixed and B belongs to [, ), the intersection points consist a circle centred at tcos( ), tsin( ), z with radius ( 1 t). A A The existence of -lines from the circle curve segment on z z to the circle curve segment on z z 1 is described by Lemma 4. Lemma 4: Define ( x, :(1 t) x y, z z C. For the inner points of C there exist two -lines of the second kind. For the boundary points of C, there exist only one -line of the second kind. Proof: For any ( x, C, if we can find A such that there exists a circle containing ( x, with centre t cos( A), t sin( A) and radius ( 1 t), then by Lemma 3 the point belongs to one -line from a( A ). Let x tcos( A ) and y tsin( A ), then it is equivalent to solve the equations ( x x) ( y y) x y t From (1) we have Letting (1 t) x y (1 t) /,. (15) x y. (16) x r y x y, the above equations have real solutions when 8

r (1 t) 4r t r / 4. (17) The inequality is equivalent to r r r (1 t) For any ( y r and r r or r ( x,, we have C (1 t) (1 t) x y (1 t) x or. Note that y x y, (1 t), (18) ( 1 t) x y r which exactly lead to. Then x, ) can be solved from (15). Two different solutions of (15) lead to two different A, which means two different -lines. Only one solution of (15) leads to only one So Lemma 4 is proved. Now we proof Theorem 1. Note that z C L1 L A, which means one -line.. By Lemma, Lemma and Lemma 4, for every point in z there exists at least one -line passing through that point. Since z can be chosen arbitraril Theorem 1 is proved. Figure 5 shows the region covered by when t 1/. C, L L 1, Figure 5. Illustration of and L z C L1 L (the smaller one), and the region between two solid circles is. The region inside the two dotted circles illustrate when t 1/. C (the larger one) L 1.4. The Number of -lines for Points in CPL In this chapter the number of -lines for points in Considering the circular region z ( x, : x y, z z CPL is given. with z ( 1 t) z1 tz for any t 1/. From Theorem 1, we already knew that. By Lemma, Lemma and Lemma 4, we can obtain the number of -lines z C L1 L for points in as shown in z Table 1. It is easy to obtain similar results when 1/ t 1 due to symmetry. When t 1/, we have and. For every point outside, there exist two -lines of the z C L1 L L1 L second kind. For every point inside ( ), there exist two -lines of both the first kind and the L 1 L 9

second kind. The centre of symmetry,,( z 1 z ) / O C has infinite -lines. For any [, ), the line connects a () and O C must intersect the upper circle curve segment at one a (') satisfied ' 4. Table 1. The number of -lines for points in when t 1/. z Number of -lines Number of -lines egion egion Description of the first kind of the second kind L / 1 C x y ( 1 t) 1 x y ( 1 t), x 1 t 1 1 C x 1 t, y 1 z / L 1 ( L \ L ) 1 C ( x t) y (1 t) x y ( x t) y (1 t) x y (1 t) ( x (1 t) ) y t 1 L L 1 C ( x (1 t) ) y t Theorem : For points which satisfy x z z1 y ( 1 t) ( t ) there exists only one z z -line (except for the original). The volume of these points is 1/3 of the volume of CPL. For Other /3 points, there exist more than two -lines. The conclusion can be obtained immediately by Table 1 for t 1/. Due to symmetr it is easy to obtain similar results when 1/ t 1..4.3 Calculation of -lines.4.. Here we give a way to calculate the -line for points inside Step 1: for points on, compute z t z z 1 ; z z1 Step : calculate whether the point belongs to ( x y, ) from (15). Then endpoints of the -line are C, L1 1 CPL. We propose a method based on or L. If it belongs to C, solve a( A) ( x / t, y / t, 1. (19) a( B) ( x, ( x tx, y t tz t 1 t z z1 If it belongs to L 1, t' t can be got from (13), then z L is obtained. The endpoint of z z L 1 -line on the line curve segment is a ) (,, z ) ( L L t' endpoint a( B) ( x, ( x,. If it belongs to 1 t' it belongs to ( ), both of the -lines can be chosen. C L 1 L. By the proportion t ', it is easy to get the other L, the computation is similar. If 1

.5 The procedure of the algorithm The algorithm can be implemented as follows. Step1: Choose suitable M-lines, for example, M-lines which can cover. Step: econstruction on M-lines. For any M-line, Step-1: Discretization. Discrete the intersection of the M-line and by determined sampling interval. Step-: Backprojection. For every discrete point on the M-line, Step--1: Compute the endpoint of the -line using the method in Section.4.3. Step--: Determine the backprojection interval [ i, i ], i 1,..., N following Figure 4. Step--3: Compute the weighted backprojection by (3) for every interval. Step--4: Compute the Hilbert transform along the M-line by (7) or (8). Step -3: Filtering. econstruct f (x) on the M-line by performing the finite inverse Hilbert transform. Step3: Interpolation. Obtain the reconstruction result in the nature coordinate system using linear interpolation. 3. Experiments [Introduction of simulation technique ()] This section presents two numerical experiments which demonstrate the feasibility of the algorithm proposed for the -circles plus line trajectory. The algorithm is implemented in the statistical programming environment [5]. It uses the bigmemory package to handle multiple-gigabyte matrices and to allow the algorithm to succeed even when the matrices exceed available AM [6]. [Simulation of Shepp-Logon phantom] In the first experiment we use a 3D low contrast Shepp-Logan phantom with ten ellipsoids. Table shows the parameters of the phantom. The support of the phantom is a cylinder with radius 1 and length. A rectangular detector plane consists of 6 6 detection pixels with a size of.4. The radius of the circle curve segment is 1. The two circles are located at z 1 and z 1 respectively. The length of the line curve segment is. The distance from the source to the detector plane is the same as the radius of the circle curve segment. Projections along the circle curve segment are acquired for every.5 degree. Projections along the line segment are acquired with sampling intervals of.1. We use the method mentioned in [] for the finite inverse Hilbert transform. The sampling interval of the M-lines is.. The reconstruction pixel is.5. M-lines from the line curve segment perpendicular to the z-axis are chosen in the reconstruction. Figure 6 shows the reconstruction images of the slices x and z. 5 respectively; the top slices are the original images while the bottom slices are reconstructed from noise-free data. We use the grey scale window [1.1, 1.3] to make low contrast features visible. Table. Parameters of the Shepp-Logan phantom. A, B, C are the lengths of half-axes of the ellipsoid. x, y and z are the coordinates of the centre of the ellipsoid. φ is the rotation angle around z -axis, μ is the incremental density. 11

No. A B C x y z φ μ 1.69.9.9.....664.874.88... -.98 3.41.16.1 -.. -.5 18 -. 4.31.11... -.5 7 -. 5.1.5.5..35 -.5. 6.46.46.46..1 -.5. 7.46.3. -.8 -.65 -.5.1 8.46.3..6 -.65 -.5 9.1 9.56.4.1.6 -.15.65 9. 1.56.56.1..1.65 -. [Simulation of Line-pair phantom] In the second experiment we use a line-pair phantom with more than 13 small cuboids to show the spiral resolution that the X-ray cone-beam CT in the multimodality imaging system introduced in Section 1 may achieve. The parameters are chosen to be the same as the real geometry parameters of the system. The phantom is a cuboid of 6mm*6mm*1mm. There are several thin slices inside the phantom whose heights are 5mm. The slices z mm, z 1. 9 mm, z 38 mm and y mm are used. Each slice consists of line pairs of various width and directions, and the length of the line pairs is 3mm. We choose widths of.7mm,.5mm,.3mm,.mm and.1mm for the simulations, compared with the pixel size.1mm of the reconstruction image. Each group of line pairs consists of 6 lines with the same width and interval (for example,.3mm). The values of the points on a single line are the same, and the values of the points on different lines are from. to. Figure 6. The cross-sections of the Shepp-Logan phantom at x (left) and z. 5 (right). The top slices are the original images while the bottom slices are reconstructed from noise-free data. We use the grey scale window [1.1, 1.3]. 1

The support of the phantom is a cylinder with radius of 3mm and length of 1mm. A rectangular detector plane consists of 8 16 detection pixels with a size of.1mm. The radius of the circle curve segment is 4mm. The two circles are located at z 6mm respectively. The length of the line curve segment is 1mm. Projections along the circle curve segment are acquired for every.5 degree. Projections along the line segment are acquired with a sampling interval of.5mm. The sampling interval of the M-lines is.5mm. The reconstruction pixel is.1mm. Figure 7 shows the reconstruction image of z mm; the left image is the full reconstruction image, and the right image is the top left part of the reconstruction image. The values in the images are the width of the corresponding line pairs. (a) (b) Figure 7. The pseudo-color reconstruction images of z mm. (a) the reconstruction image and (b) the top left part of the reconstruction image. The values in the image are the width of the corresponding line pairs (unit: mm). The image window is [.5, ]. 4. Discussion The reconstruction algorithm on the -circles plus line trajectory has three characteristics. First, the existence of -lines by theorem 1 ensures that region inside the trajectory can be fully reconstructed. Theorem shows that about /3 points inside the trajectory have at least two -lines. So the choice of -lines is feasible in the backprojection step. Second, this algorithm requires a very short source movement distance along the line curve segment when the projection data for the -circles plus line trajectory is sufficient for reconstruction. For example, in the second experiment the length of the line curve segment (or the distance of the two circles) is just the length of the line-pair phantom along the z-axis. Then the required translation length of the object movement mechanisms will be reduced to a proper level in the imaging cabinet of the Kodak multimodality imaging system, solving the problem of limited space in the introduction of X-ray cone-beam CT into the system. Third, the -circles plus line trajectory can be easily extended to N-circles plus line trajector defined by 13

cos( ), sin( ), zn,, z t ( )( z z ) if [(4n 4),(4n ) ) a( ) () n n n1 n if [(4n ),4n ) ( (4n ) ) with t n ( ) for n 1,..., N 1. The N-circles plus line trajectory consists of a series of parallel circles with radius and a line orthogonal to the plane of the circles. Since it can be divided into a series of -circles plus line curves, the reconstruction algorithm remains the same. The geometric properties are also similar to the -circles plus line trajectory. [Detector analysis] Katsevich has proposed a filtered backprojection algorithm for one circle plus line trajectory [7]. Suppose the region of interest (OI) is defined as {( x, : x y r, H z H}. The length of 4H the line curve segment in his algorithm is at least, more than two times the length of the OI, 1 r / while the length of the line curve segment can be just the length of the cylinder H for the -circles plus line trajectory. The requirement of the detector size of our algorithm is similar to that of the circle plus line trajectory. In Katsevich s algorithm, the detector size of the circular scan should r H satisfy u and v, and the detector size of the line scan should satisfy 1 r / 1 r / r H 1 u and v, a little larger than that of the circular scan; it is much 1 r / 1 r / 1 r / more suitable for shorter objects. A sufficient detector size for the -circles plus line trajectory is r H 1 r / u and v. Note that the requirements of the detector size are just 1 r / 1 r / 1 r / a little bigger than that of the circular scan of the circle plus line trajectory when r / is small. So the algorithm based on the -circles plus line trajectory could offer a much shorter distance of source movement along the line curve segment than that of the circle plus line trajectory with the similar size of projections, but projections along two circle curves are required. In Section 3, we simulated the spiral resolution of the X-ray cone-beam CT in the Kodak multimodality imaging system by the line pair phantom. The line pairs of.3mm can be distinguished clearly in Figure 7(b). This result shows that the spiral resolution of the system could achieve 3.3 LP/mm. The object movement mechanisms, including one rotation mechanism and one translation mechanism of high accurac have been employed for data acquisition of the -circles plus lines trajectory. The mechanisms are also convenient if it is necessary to implement circle or helical trajectories. 5. Conclusion [Conclusion] We have given a backprojection filtration algorithm for the -circles plus lines trajectory which could solve the problem of limited space in the Kodak multimodality imaging system for the introduction of X-ray cone-beam CT. The geometric properties of the trajectory are first proposed. The existence of -lines ensures that the region inside the trajectory can be fully reconstructed, and there are at least two -lines for about /3 points inside the trajectory. The algorithm can offer a shorter distance of source movement along the line curve segment with sufficient projection data. Numerical simulations demonstrate the feasibility of the algorithm and the spiral resolution of the X-ray cone-beam CT in the multimodality imaging system under construction. [Prospect] 14

Once the cone-beam CT is introduced into the system, the 3D X-ray reconstruction images can be obtained. At that time, 3D reconstruction of multimodality imaging will be studied. Acknowledgments This work is partially supported by NBPC (973 Program, 11CB8915), NSFC (63511, 68778), Key Laboratory of Machine Perception (Ministry of Education) of Peking Universit Microsoft esearch of Asia. We would like to thank Prof. Tie Zhou and Yu Zhou for valuable discussions. eferences [1] B. Brooksb "Combining near infrared tomography and magnetic resonance imaging to improve breast tissue chromophore and scattering assessment," Ph. D Thesis, Dartmouth College, Hanover, New Hamphire, 5. [] S.. Arridge and J. C. Schotland, "Optical tomography: forward and inverse problems," Inverse Problems, vol. 5, p. 131, 9. [3] P. K. Yalavarth et al., "Structural information within regularization matrices improves near infrared diffuse optical tomograph" Optics Express, vol. 15, pp. 843-858, 7. [4]. B. Schulz, et al., "Hybrid system for simultaneous fluorescence and X-ray computed tomograph" IEEE Transactions on Medical Imaging, vol. 9, pp. 465-473, Feb 1. [5] G. Hounsfield, "Computerized transverse axial scanning (tomography) : Part 1. Description of system," British Journal of adiolog vol. 46, pp. 116-1, 1973. [6] H. K. Tu "An inversion formula for cone-beam reconstruction," SIAM Journal on Applied Mathematics, vol. 43, pp. 546-55, 1983. [7] B. D. Smith, "Image reconstruction from cone-beam projections: necessary and sufficient conditions and reconstruction methods," IEEE Transactions on Medical Imaging, vol. 4, pp. 14-5, 1985. [8] P. Grangeat, "Mathematical framework of cone-beam 3D reconstruction via the 1st derivative of the adon-transform," Lecture Notes in Mathematics, vol. 1497, pp. 66-97, 1991. [9] G. Wang, et al., "Scanning cone-beam reconstruction algorithms for X-ray microtomograph" Proceedings of SPIE, vol. 1556 pp. 99-11, 199. [1] G. Wang, et al., "A general cone-beam reconstruction algorithm," IEEE Transactions on Medical Imaging, vol. 1, pp. 486-496, 1993. [11] H. Kudo, et al., "Cone-beam filtered-backprojection algorithm for truncated helical data," Physics in Medicine and Biolog vol. 43, pp. 885-99, 1998. [1] H. Kudo, et al., "Quasi-exact filtered backprojection algorithm for long-object problem in helical cone-beam tomograph" IEEE Transactions on Medical Imaging, vol. 19, pp. 9-91,. [13] M. Defrise, et al., "A solution to the long-object problem in helical cone-beam tomograph" Physics in Medicine and Biolog vol. 45, pp. 63-643,. [14] A. Katsevich, "Theoretically exact filtered backprojection-type inversion algorithm for spiral CT," SIAM Journal on Applied Mathematics, vol. 6, pp. 1-6,. [15] A. Katsevich, "An improved exact filtered backprojection algorithm for spiral computed tomograph" Advances in Applied Mathematics, vol. 3, pp. 681-697, 4. [16] Y. Zou and X. C. Pan, "Exact image reconstruction on PI-lines from minimum data in helical cone-beam CT," Physics in Medicine and Biolog vol. 49, pp. 941-959, 4. [17] A. Katsevich, "A general scheme for constructing inversion algorithms for cone beam CT," International Journal of Mathematics and Mathematical Sciences, vol. 1, pp. 135-131, 3. 15

[18] G. H. Chen, "An alternative derivation of Katsevich's cone-beam reconstruction formula," Medical Physics, vol. 3, pp. 317-36, 3. [19] S. Y. Zhao, et al., "A unified framework for exact cone-beam reconstruction formulas," Medical Physics, vol. 3, pp. 171-171, 5. [] Y. B. Ye, et al., "A general exact reconstruction for cone-beam CT via backprojection-filtration," IEEE Transactions on Medical Imaging, vol. 4, pp. 119-1198, 5. [1] Y. B. Ye and G. Wang, "Filtered backprojection formula for exact image reconstruction from cone-beam data along a general scanning curve," Medical Physics, vol. 3, pp. 4-48, 5. [] J. D. Pack, et al., "Cone-beam reconstruction using the backprojection of locally filtered projections," IEEE Transactions on Medical Imaging, vol. 4, pp. 7-85, 5. [3] J. D. Pack and F. Noo, "Cone-beam reconstruction using 1D filtering along the projection of M-lines," Inverse Problems, vol. 1, pp. 115-11, 5. [4] F. G. Tricomi, "On the finite Hilbert transformation," The Quarterly Journal of Mathematics, vol., pp. 199-11, 1951. [5] -Development-Core-Team. (1). : A Language and Environment for Statistical Computing. Available: http://www.-project.org/ [6] M. J. Kane and J. W. Emerson. (1). bigmemory: Manage massive matrices with shared memory and memory-mapped files. Available: http://www.bigmemory.org [7] A. Katsevich, "Image reconstruction for the circle and line trajector" Physics in Medicine and Biolog vol. vol. 49, pp. 559-57, 4. 16